Sheaves & Birational Geometry

← Back to Domain-Specific Families

Abstractions about sheaves, line bundles, and cohomological invariants in geometry, covering exact sheaf sequences (canonical, Euler, exponential), divisors and divisor-class groups (Picard group, Jacobian variety), cohomology and complexes (Dolbeault cohomology, elliptic complexes, Bockstein spectral sequence), and birational classification tools like the minimal model program.

22 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Bockstein Spectral Sequence — Use successive mod-p homology pages and higher Bockstein differentials to distinguish p-power torsion from free homology.
• Calabi–Yau manifold — A compact Kähler complex manifold with trivial canonical bundle, admitting a Ricci-flat Kähler metric.
• Canonical Sheaf — In mathematics, the canonical bundle of a non-singular algebraic variety V of dimension n over a field is the line bundle \,!\Omega^n = \omega , which is the n th exterior power of the cotangent bundle \Omega on V .
• Castelnuovo–Mumford Regularity — Locate the least projective twist whose diagonal higher-cohomology vanishings persist, yielding one integer bound on global generation, Hilbert-function stabilization, and graded syzygy degrees.
• Contraction Morphism — Map a projective variety onto another without a nontrivial finite Stein factor, so the fibers remain connected.
• Divisor (Algebraic Geometry) — An algebraic-geometric divisor records codimension-one zero-and-pole data as a Weil cycle or compatible local Cartier equations, with class and line-bundle relations set by the space.
• Dolbeault Cohomology — Measure complex-geometric obstructions by taking ∂̄-closed forms modulo ∂̄-exact forms in each bidegree.
• Elliptic Complex — An elliptic complex is a differential-operator chain whose principal-symbol sequence is exact at every nonzero cotangent vector.
• Euler sequence — A canonical exact sequence of sheaves on projective space relating relative differentials to twists of the structure sheaf.
• Exponential Sheaf Sequence — In mathematics, the exponential sheaf sequence is a fundamental short exact sequence of sheaves used in complex geometry.
• Jacobian variety — A curve's Jacobian is the abelian variety of its degree-zero line-bundle classes, turning divisor equivalence into algebraic group geometry.
• Local Tate Duality — Local Tate duality perfectly pairs complementary-degree Galois cohomology of a finite module and its dual over a p-adic local field.
• Logarithmic Form — A complex meromorphic differential form whose form and exterior derivative have controlled first-order behavior along a specified reduced divisor.
• Logarithmic pair — In algebraic geometry, a logarithmic pair consists of a variety, together with a divisor along which one allows mild logarithmic singularities.
• Mal'cev's criterion — In differential geometry, Mal'cev's criterion, proved by Anatoly Mal'cev, states that a simply connected nilpotent Lie group admits a lattice, i.e., a discrete co-compact subgroup, if and only if the associated Lie algebra admits a basis such that the structure constants are rational.
• Minimal Model Program — A birational-classification program that follows canonical-divisor-negative extremal directions through contractions and flips, seeking a model with nef log canonical divisor or a Mori fiber-space endpoint while admitting only controlled singularities.
• Picard Group — Classify invertible line-bundle classes on a fixed locally ringed base, with tensor product making them an abelian group.
• Projective variety — In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space.
• Sheaf of Modules — A sheaf whose local sections are modules over a sheaf of rings, with scalar multiplication compatible with restriction and gluing.
• Vector-valued differential form — In mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V.
• Zariski Tangent Space — The residue-field dual of a point's local maximal ideal modulo its square, recording first-order directions of an algebraic variety or scheme.
• Étale morphism — An étale morphism is a scheme morphism that is smooth of relative dimension zero, equivalently locally of finite presentation, flat, and unramified, providing the algebraic analogue of a local isomorphism.