How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Abelian Varieties, Base Change, and Arithmetic Models
1 · Prerequisites
- Abelian Categories
- Adjunctions Units and Counits
- Affine Algebraic Sets and Coordinate Rings
- Affine Schemes and the Structure Sheaf
- Algebraic Closure, Embeddings, and Separability
- Algebraic Differentials Separability and Smooth Local Presentations
- Algebraic Extensions, Extension Degree, and Finite Fields
- Algebraic Spaces, Stacks, and Derived Algebraic Geometry Foundations
- Algebraic Zariski Main for Quasi-Finite Morphisms
- Artinian Rings and Length
- Associated Primes and Primary Decomposition
- Binary Operations, Monoids, Groups and Subgroups
- Blowups, Exceptional Divisors, and Strict Transforms
- Cardinal Arithmetic, Cofinality and the Alephs
- Cartier and Weil Divisors Line Bundles and Picard Groups
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Chain Conditions, Semisimple Modules and the Wedderburn–Artin Theorem
- Chain Homotopy and the Homotopy Category
- Classical Affine Varieties: Coordinate Rings, Morphisms, and Rational Maps
- Cohomology of Quasi Coherent Sheaves on Affine and Projective Schemes
- Combinatorial Classes and the Symbolic Method
- Compactness
- Compactness in Metric Spaces
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Convergence: Nets and Filters
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Cyclic Groups and Direct Products
- Dedekind Domains and Ideal Classes
- Delta Functors and Universality
- Depth and Cohen Macaulay Modules
- Derived Categories
- Derived Functors
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Diagonals Separated Morphisms and Valuative Uniqueness
- Dimension Constructible Images and Dimensions of Fibres
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Double Complexes Exact Couples and Convergence
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Etale Covers and the Etale Fundamental Group
- Exactness and the Member Calculus
- Ext and Balanced Resolutions
- Fibre Products Base Change and Scheme Theoretic Fibres
- Finite Counting, Factorials and Binomial Coefficients
- Finite Fields and Cyclotomic Extensions
- Finite Proper and Projective Morphisms
- Flat Smooth and Etale Morphisms
- Flatness and Faithful Flatness
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- Free Modules, Exact Sequences, Projective and Injective Modules
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Grothendieck Spectral Sequences and Computations
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Group Schemes of Finite Type over a Field
- Groups of Multiplicative Type and Arithmetic Tori
- Henselian Rings and Equicharacteristic Cohen Structure
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Functors and Projective Hilbert Schemes
- Homogeneous Resultants and Projective Intersection Length
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Integral Extensions and Going Up
- Inverse Limits and Noetherian Completion
- Inverse Systems Profinite Groups and Completion
- Kahler Differentials Conormal Sequences and Infinitesimal Lifting
- Koszul Complexes and Regular Sequences
- Krull Dimension and Height Theorems
- Limits and Colimits
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Localisation of Modules and Support
- Long Exact Sequences in Homology
- Mapping Cones Cylinders and Chain Triangles
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Modules over a Principal Ideal Domain and the Canonical Forms
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Morphisms Local Rings and Rational Maps of Affine Varieties
- Noether Normalisation and Nullstellensatz
- Noetherian Rings and Hilbert Basis
- Nonaffine Algebraic Groups, Barsotti-Chevalley, and Abelian Varieties
- Normal Subgroups and Quotient Groups
- Normalization Finiteness for Affine Domains
- Number Fields Rings of Integers and Discriminants
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Polynomial Rings, the Division Algorithm and Roots
- Preadditive and Additive Categories and Biproducts
- Presheaves Sheaves Stalks and Sheafification
- Prime Spectra and Radicals
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Proj Projective Schemes Twisting Sheaves and Ampleness
- Projective Algebraic Sets Projective Morphisms and Cones
- Projective and Injective Resolutions
- Quasi Coherent and Coherent Sheaves and Vector Bundles
- Rees Modules Artin Rees and Hilbert Samuel Theory
- Reflective Subcategories and the Adjoint Functor Theorems
- Regular Local Rings and Homological Dimension
- Relations, Functions, and Quotients
- Residues Serre Duality for Curves and the Full Riemann Roch Theorem
- Riemann Roch for Curves via Euler Characteristics
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Schemes Subschemes and Morphisms Locally of Finite Type
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sheaf Cohomology Cech Cohomology and Comparison
- Sheaf Operations Exactness Ringed Spaces and Module Pullback
- Simple Field Extensions and the Construction of the Complex Numbers
- Smooth Proper Curves Divisors Genus and Ramification
- Smooth-Projective Serre Duality and Flag-Variety Line Bundles
- Solvability by Radicals and Kummer Theory
- Spectral Sequences
- Splitting Fields
- Subobject Lattices Generators and the Grothendieck Axioms
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tensor Products of Modules
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Diagram Lemmas in an Abelian Category
- The Field of Fractions and Localisation
- The Formal Laurent Series Field ℝ((t⁻¹)): Cauchy Complete, Non-Archimedean, Not Complete
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Galois Correspondence
- The Holomorphic Inverse Function Theorem and Weierstrass Preparation
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Tor Flatness and Global Dimension
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Triangulated Categories
- Uniform Spaces: the Three Definitions
- Universal Coefficients and Kunneth Theorems
- Universal Properties, Representables and the Yoneda Lemma
- Valuation Rings and Discrete Valuation Rings
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Yoneda Extensions and Homological Dimension
- Zariski Tangent Spaces, Regular Points, Smoothness, and Bertini
- Zariski Topology on Prime Spectra
2 · Summary
This page develops the theory of abelian varieties over a field together with their arithmetic models over a discrete valuation ring. It constructs the dual abelian variety and the Poincare bundle, develops theta groups, Mumford maps and polarizations with their square degrees, and then builds the Neron model of an abelian variety over an arbitrary discrete valuation ring, proving the Neron-Ogg-Shafarevich criterion in residue characteristics prime to the torsion prime and good reduction, conditional coherent cohomology base change, and prime-to-residue-characteristic torsion specialization for abelian schemes.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Group schemes over a base scheme
Definition
Let be a scheme. An -group scheme is a group object in the category of -schemes: an -scheme , with structure morphism , together with -morphisms called multiplication, unit section and inverse, such that the following identities of -morphisms hold. The fibre product is the one of Fibre product of schemes and exists by Existence of all scheme fibre products; the canonical identifications used below are those of Uniqueness of the fibre product.
(Associativity) as morphisms .
(Unit laws) and under the canonical identifications above.
(Inverse laws) and as morphisms , where and are induced by the universal property of the fibre product.
A morphism of -group schemes is an -morphism with , and , where is the induced morphism.
Functor of points. For an -scheme put . The composites , and make a group, and this structure is natural in by the universal property of the fibre product. A morphism of -group schemes induces homomorphisms compatible with the transition maps of . For and of finite type this is the notion of Group schemes of finite type over a field, and the group object diagrams above are equivalent to the requirement that each be a group naturally in . The definition is a condition on given data and quotes no new existence statement.
Commutativity. is commutative when , where is the exchange isomorphism; equivalently, each is abelian.
Closed subgroup schemes. A closed subgroup scheme of is a closed immersion for which there exist -morphisms , , with , and ; since is a monomorphism these morphisms are unique if they exist, becomes an -group scheme and a morphism of -group schemes. A closed subgroup scheme is normal when is a normal subgroup of for every -scheme ; equivalently, the conjugation morphism , , factors through .
Kernels. For a morphism of -group schemes, the kernel is the fibre product formed with and the unit section , so that is the base change of along and is a closed immersion whenever is one, in particular whenever is separated over ; the induced -morphisms make an -group scheme, and for every -scheme the sequence is exact.
Base change. For any morphism , the base change of Base change of objects, morphisms and properties carries an induced -group structure with obtained from under the canonical isomorphism . It satisfies for every -scheme , regarded as an -scheme via ; this is the base-change convention used for all group schemes on this page. In particular a morphism of -group schemes base changes to a morphism of -group schemes.
Finite etale schemes over a complete local ring and splitting
Statement
Assume AC. Let be a Noetherian local ring which is complete and separated for its maximal ideal , with residue field , and let be a finite etale -scheme. Then the reduction map is a bijection. If in addition has no nontrivial finite separable field extension, then every finite etale -algebra of rank is isomorphic to as an -algebra, and is a disjoint union of copies of .
Facts & Assumptions
Given: AC, a complete separated Noetherian local ring with residue field , and a finite etale -scheme .
Reduction is an equivalence between finite etale -algebras and finite etale -algebras, for complete and separated; more generally for a nilpotent ideal in a commutative ring, reduction gives such an equivalence (Finite étale algebras over a complete local ring are determined by reduction, Finite étale algebras lift uniquely through nilpotent thickenings, both assuming AC).
A module-finite commutative -algebra is finite etale over if and only if is finitely presented and flat as an -module with ; then is finite projective locally free, its rank is locally constant and equals the number of geometric points in a fibre (Finite étale algebras have finite locally free underlying modules, assuming AC).
At a point of a locally finite-type morphism whose stalk of relative differentials vanishes, the residue-field extension is finite separable; in particular a finite etale field extension , viewed as , has finite separable (Unramified residue extensions are finite separable, assuming AC).
A commutative Artinian ring is the product of its localizations at its finitely many maximal ideals, and a local Artinian ring which is a domain is a field; a regular local ring is a domain (An Artinian ring is canonically the finite product of its localizations at its maximal ideals, An Artinian integral domain is a field, regular local rings are domains and cohen macaulay).
A smooth morphism has geometrically regular fibres, and an etale morphism is smooth (Étale morphism of schemes).
Proof
Write with a finite etale -algebra. By [F1] the reduction functor is an equivalence from finite etale -algebras to finite etale -algebras. An equivalence is fully faithful, so it induces bijections natural in ; under the anti-equivalence of affine schemes these are the maps given by reduction. Hence is a bijection.
Assume now that has no nontrivial finite separable extension, and let be a finite etale -algebra. As a finite-dimensional commutative -algebra, is Artinian, so with each local Artinian by [F4]. Each is a direct factor of , hence finite etale over ; being etale over the field it is smooth of relative dimension zero, so its only fibre is geometrically regular and in particular regular by [F5]. A regular local ring is a domain, and a local Artinian domain is a field by [F4], so is a field; as a finite etale field extension of it is finite separable over by [F3], hence equals . Therefore for , and every finite etale -algebra is a product of copies of .
Let be a finite etale -algebra of rank ; by [F2] its rank equals the -dimension of , which is a finite etale -algebra, so by step 1.2. Since reduction is an equivalence by [F1], it is essentially surjective and reflects isomorphisms, so ; consequently is the disjoint union of copies of . The complete Noetherian local hypotheses are exactly those stated, and AC is available for both the lifting equivalence [F1] and the classification suppliers [F2]-[F4].
S-dense open subschemes and S-rational maps
Definition
Let be a locally Noetherian scheme (Locally Noetherian and Noetherian schemes) and let and be smooth -schemes (Smooth morphism of schemes). An open subscheme (Open immersions of schemes) is -dense if for every the fibre is Zariski dense in the fibre (Scheme-theoretic fibre). Fiberwise, and the intersection of two dense open subsets of a topological space is dense; hence finite intersections of -dense open subschemes of are again -dense in . Similarly, if is -dense and open in and is open, then is -dense in , since is dense in .
An -rational map is an equivalence class of -morphisms defined on -dense open subschemes , where two such morphisms and are equivalent if they coincide on an -dense open subscheme of . We say is defined at a point if some representative is defined on an open subscheme containing . The union of the domains of all representatives is an -dense open subscheme , the domain of definition of . When is separated the representatives agree on their intersections and glue to a morphism on ; without separatedness such a global representative need not exist. This is the relative version of Rational maps of integral finite-type schemes.
Base change. The notions -dense and -rational are preserved by arbitrary base change . The domain of definition is compatible with flat base change in a sharp sense: if and are smooth of finite type over and is separated over , if is an -rational map and is flat, then the base-changed -rational map satisfies (BLR 2.5/6, Proposition 6). Flatness is essential: over , the -rational map given by on the -dense open has domain exactly , since is not regular at any prime containing . After base change to it is the zero rational map, which extends over the whole affine line. Thus the domain of definition does not commute with this non-flat base change.
A collection of fibrewise rational maps with informal specialization compatibility is not used on this page as an equivalent definition of an -rational map: an actual representative on an -dense open subscheme is required, and all extension arguments below produce such representatives.
A normal Noetherian domain is the intersection of its height-one localizations
Statement
Assume AC. Let be a Noetherian normal domain (normal noetherian ring) with fraction field , so that is integrally closed in . Then, inside , the intersection running over all height-one prime ideals of . Equivalently, a rational function which is regular at every height-one point of is regular.
Facts & Assumptions
Given: AC, a Noetherian normal domain with fraction field , and an element with , .
A Noetherian ring is normal when every prime localization is an integrally closed domain; for a domain this means integrally closed in its fraction field (normal noetherian ring). A normal Noetherian domain satisfies Serre's condition : for every prime (normal domain implies s two, assuming AC).
A nonzero module over a Noetherian ring has an associated prime (A nonzero module over a Noetherian ring has an associated prime, assuming DC, hence in particular under AC); a prime is associated to exactly when for some , equivalently when embeds in (Associated primes are exactly primes of embedded cyclic residue modules).
For a Noetherian local ring and a nonzero finite module , if and only if (The local depth-zero associated-prime criterion, assuming AC).
If is Noetherian, finite, and is -regular, then (Depth drops by one after quotienting by a regular element, assuming AC).
A height-one prime localization of a Noetherian integrally closed domain is a discrete valuation ring (Height-one localizations of normal Noetherian domains are DVRs).
Proof
The inclusion holds because every contains , compatibly with the common fraction field ; all rings involved are subrings of .
Suppose . Then , so the class of in the finite nonzero -module generates a nonzero cyclic submodule . By [F2] has an associated prime , say for some ; then because annihilates .
The localized module is nonzero, since : if satisfied , then , a contradiction. As and the annihilator of the image of in this localization is , the associated-prime depth criterion [F3] gives .
Since is a domain and , the element is -regular and lies in the maximal ideal ; the regular-element depth formula [F4] applied to gives , so .
By the condition of [F1], , so ; since we also have , hence , and is a discrete valuation ring by [F5].
Finally . Indeed, for the annihilator of one has , since implies and hence . If , write with , , ; then , so , contradicting . Thus every outside lies outside for some height-one prime , and with step 1.1 the intersection equals .
The last step also yields the standard Hartogs form: an element of contained in for every height-one prime lies in , so on a normal Noetherian scheme a rational function regular in codimension one is regular.
Neron models, the Neron mapping property and weak Neron models
Definition
Let be a Dedekind scheme (Dedekind domains) with function field , and let be a smooth separated -scheme of finite type. For an -scheme , its generic fibre is , the fibre of over the generic point of (Scheme-theoretic fibre); it is a -scheme. An -model of is an -scheme together with a specified isomorphism of -schemes.
A Neron model of over is an -model which is smooth (Smooth morphism of schemes), separated (Separated morphism of schemes), of finite type (Locally finite type and finite type morphisms), and which satisfies the Neron mapping property: for every smooth -scheme and every -morphism there is a unique -morphism extending , that is, with under the specified identifications.
Equivalently, represents the functor from smooth -schemes to sets, so by the Yoneda lemma a Neron model of is determined up to a unique isomorphism: applying the property to and to its identity -morphism shows that any two Neron models of admit a unique -isomorphism over .
Local nature. For a closed point the local ring is a discrete valuation ring with fraction field , and is a Neron model of over the local Dedekind scheme whenever is a Neron model of over ; conversely, an -model of finite type over is a Neron model if each of its localizations at closed points is. The finite-type hypothesis is essential for this converse. Thus the notion is local on .
Weak Neron models. A scheme over the Dedekind scheme satisfies the extension property for etale points at a closed point if for each etale local -algebra (a local ring with a local homomorphism that is etale, Étale morphism of schemes), with fraction field , the canonical map is surjective. A weak Neron model of is a smooth separated finite-type -model of satisfying the extension property for etale points at every closed point of . When is separated over the displayed map is injective by the valuative criterion of separatedness, so the extension property is then a bijection.
The Neron mapping property applied to shows that a Neron model of is unique up to a unique isomorphism inducing the specified identity on and, applied to etale -schemes , shows that a Neron model is in particular a weak Neron model. This definition asserts no existence statement: it describes what it means for a model to be a Neron model, and every existence claim on this page is a theorem with its own hypotheses. The weak Neron property is not asserted here to characterize Neron models.
The chord-tangent group law on a smooth short Weierstrass cubic
Statement
Assume AC, inherited from Riemann-Roch and scheme-theoretic descent. Let be a field of characteristic different from , let with , and let be the short Weierstrass cubic with origin .
Then is a smooth projective geometrically integral curve of genus one over , and the chord-tangent law makes it an abelian variety over : for and in the affine chart with , the slope is whenever the chosen denominator is nonzero, and the sum is while for inverse pairs and for a doubled two-torsion point; the inverse is . The law is a morphism , and all group identities hold as morphisms.
Facts & Assumptions
Given: AC, a field with , elements with , and the cubic with origin .
A curve over is a geometrically integral, separated, finite-type -scheme of dimension one; is a closed subscheme of , which is proper over , and the Jacobian criterion detects smoothness geometrically (Curves over a field, Finite-dimensional projective space is proper over every base, Relative Jacobian criterion with its presentation hypothesis, projective space points, Scheme-theoretic fibre).
A smooth plane curve of degree has genus , so a smooth plane cubic has genus one (The genus of a smooth plane curve in terms of its degree). Two plane curves of degrees without common component meet in a divisor of degree , weighted by local length and residue degree (Algebraic Bezout formula as a sum of local scheme lengths, assuming AC).
On a smooth proper geometrically integral genus-one curve, and ; Riemann-Roch reads (The canonical bundle of a genus-one curve is trivial, The full Riemann-Roch theorem for divisors on a smooth proper curve, both assuming AC). The degree is a homomorphism with kernel (Picard group of a scheme, The degree of a divisor descends to the Picard group of a normal proper curve, assuming AC). A genus-one curve with a rational point has a degree-three very ample line bundle embedding it as a plane cubic (A genus-one curve with a rational point embeds as a plane cubic).
A rational map from a smooth curve over to a proper -scheme extends to a morphism; two morphisms from a reduced source that agree on a dense open are equal (Rational maps from a smooth curve to a proper scheme are morphisms, Agreement on a schematically dense open, both assuming AC).
Morphisms satisfying an fppf descent datum descend; morphisms between finitely presented schemes over a filtered colimit of fields descend to a finite stage; algebraic closures exist (Scheme morphisms satisfy fppf descent, Finite-stage descent of finitely presented schemes and their morphisms, Assuming Choice, every field has an algebraic closure, assuming AC). The group scheme conventions are Abelian varieties over a field.
Proof
The cubic is smooth over : on the affine chart a common zero of and would force , and , hence , and in the chart the gradient at is nonzero because at ; the Jacobian criterion is compatible with field extension, so is smooth over every extension of . If were reducible, its components would be plane curves of positive degrees summing to , and by [F2] they would meet in a nonempty divisor, at whose points would not be regular, a contradiction; hence is geometrically integral and, being a closed subscheme of , proper of dimension one over . Its genus is one by [F2], so is a curve in the sense of [F1] of genus one.
Since , the class has degree , and the assignment defines a map : the difference of two degree-one divisors has degree zero. It is bijective. Indeed, for the sheaf has degree one and by Riemann-Roch and triviality of the canonical bundle in [F3], so it admits a nonzero section whose divisor is effective of degree one; then . Uniqueness holds because , so the effective divisor of degree one in a degree-one class is unique.
Let and let be the line through and , tangent at when ; write for the divisor of the corresponding hyperplane section, which has degree by [F2]. The restriction of to is isomorphic to : the coordinate restricts to a section whose divisor is , since on the chart the equation of is , so the intersection with the line is the point with multiplicity three. Hence . For the vertical line through the intersection divisor is , so . Combining, , that is, in , : the assignment of step 2.1 converts the chord-tangent operation into addition in the abelian group . Consequently the operation is commutative and associative, has identity , and inverse ; and in the affine chart the standard substitution of the line in gives the displayed formulas, with as in the statement when the chosen denominator is nonzero.
The operation is algebraic. On with affine coordinates define on the first open and on the second, and consider the morphism . On this is the sum computed in step 3.1 with , and on , its value is , which is the sum of the inverse pair . The two opens cover the affine square: if the first pair vanishes then and , i.e. , and then the second pair is , which cannot vanish at a point of the smooth curve by step 1.1. Hence the sum is a morphism on ; the extension at pairs involving is established next.
Over the law extends to the full product and its group identities hold: for each the translation is a rational map from the smooth curve to the proper scheme , hence a morphism by [F4]; and are mutually inverse on a dense open and hence everywhere by [F4]; for arbitrary and avoiding and the expression is defined and regular near , these local morphisms agree on dense opens and hence glue to a morphism extending the law of step 4.1. Since the group identities are identities of morphisms between reduced schemes over and hold on the dense set of -points described in step 3.1, they hold everywhere by [F4]; the inverse is a regular involution.
Since and are finitely presented, [F5] descends the morphism of step 5.1 to some finite extension inside . Its restriction to is the -defined morphism of step 4.1: this equality can be checked after the faithfully flat extension . The two pullbacks over therefore agree on . This open is schematically dense in : on affine charts restriction to the dense open is injective before base change, and a finite principal-open cover computes its sections by a finite equalizer; tensoring over the field preserves these injections and equalizers. Thus separatedness and [F4] make the pullbacks equal even when is nonreduced. The finite faithfully flat extension is an fppf cover, so [F5] descends the law to . The unit and inversion are already defined over , and the group identities hold after the faithfully flat extension to , hence over . The smooth proper geometrically integral curve with this law is an abelian variety.
Prime-to-characteristic torsion bound for affine commutative groups
Statement
Assume AC and DC (The Axiom of Choice, The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain). Let be an algebraically closed field and let be a smooth, connected, commutative affine group scheme of finite type over ; put . For every prime and every integer , where is the -torsion subgroup scheme and is its group of -points.
Facts & Assumptions
Given: AC and DC, an algebraically closed field , a smooth connected commutative affine finite-type -group with , a prime and an integer .
The right regular representation of an affine finite-type group scheme over an arbitrary field contains a finite-dimensional subrepresentation with a closed immersion, allowing nonreduced (Affine finite-type group schemes have faithful finite-dimensional representations).
A smooth connected finite-type -group scheme is geometrically integral; over the algebraically closed field this says is a domain (Connected finite-type groups are geometrically connected, which assumes AC).
Over an algebraically closed field, the strong Nullstellensatz says that the ideal of polynomials vanishing on the zero locus of an ideal in a polynomial ring is its radical (Strong Nullstellensatz: I(V(I)) equals the radical of I, which assumes AC).
For an abelian group the group algebra has -basis the distinct group-like elements , with , and for every -algebra (Diagonalizable groups and their character modules, Split diagonalizable groups are dual to abelian groups).
For a finite-type -domain with fraction field , (Affine-domain dimension equals transcendence degree).
Proof
By [F1] fix a closed immersion of -group schemes, and for let be its matrix. Since is a group homomorphism and is commutative, , so the -span of the set is a finite-dimensional commutative subalgebra. Let be a nonzero -stable subspace of minimal dimension. If some -element has an eigenspace inside with , then is a smaller nonzero -stable subspace, a contradiction; if every element of acts as a scalar on , then every line in is -stable; hence in either case and is a common eigenvector. Applying this argument to and then to the successive quotients by the lines produced yields a filtration with for all and all ; in a basis adapted to this filtration every is upper triangular.
Put , let be the kernel of the map sending each matrix coordinate to its pullback under , and write . The map is surjective because is a closed immersion into , and its kernel is . For every , vanishes at every common zero of and in the polynomial ring : such a zero is an invertible matrix satisfying the equations of the closed subscheme , hence is a -point of and is upper triangular by step 1.1. Applying [F3] in gives . After quotienting by and identifying , this says . Since is a domain by [F2], is radical and therefore . Thus the coordinate functions below the diagonal vanish scheme-theoretically on , so factors through the closed subgroup scheme of upper triangular matrices. In particular the diagonal characters (the images in of the diagonal coordinate functions) are units and satisfy in the Hopf algebra .
Let be the subalgebra generated by . It is a Hopf subalgebra because the are group-like units. Its group-like elements are the monomials for , and distinct group-like elements of a Hopf algebra over a field are linearly independent: a shortest nontrivial relation with distinct and all becomes, after applying and subtracting the tensor product of the relation with , the relation ; the for are linearly independent by minimality of , so for all , a contradiction. Hence where is the quotient of by the relations , with -basis the distinct ; by [F4] this is the coordinate Hopf algebra of the diagonalizable group , and is the morphism dual to the inclusion .
The ring is a domain, being a subalgebra of the domain by [F2]. If had a nonzero element of finite order , then in , and both factors are nonzero because distinct group-like elements are linearly independent by step 3.1 and the second factor is a sum of distinct group-likes with coefficient . This contradicts that is a domain, so is torsion-free; as a finitely generated torsion-free abelian group, for some . Since is a finite-type -domain contained in , its fraction field embeds in , whence by [F5].
Let be the homomorphism induced by . A point lies in precisely when for all , that is, precisely when its matrix is upper unitriangular; write with strictly upper triangular, so . If and has finite order , then and , so the minimal polynomial of divides both and ; in characteristic zero is squarefree, so the gcd is and . If and , then , so has -power order. Hence an element of of order dividing with that lies in equals the identity: it has order dividing both and a -power, hence order . Consequently the restriction is injective.
Since , evaluation gives , whose -torsion is because is algebraically closed and , of cardinal . By step 5.1, , and by step 4.1, so . AC is used through [F2] and [F3]; DC is inherited from the faithful-representation supplier chain [F1] as declared.
Strict henselization of a DVR and smooth sections
Statement
Assume AC and DC. Let be a discrete valuation ring with fraction field , residue field and a fixed uniformizer , and fix a separable closure of .
There exists a strictly henselian discrete valuation ring , the strict henselization of , which is the filtered colimit of the pointed local etale -algebras with residue embeddings into . It is faithfully flat over , has residue field , has uniformizer , and is a filtered colimit of local etale -algebras.
Let be a strictly henselian local ring with separably closed residue field (for instance ), and let be a smooth -scheme. Every -point of the special fibre lifts to a -section of ; the set of specializations of sections of is dense in . For the final assertion, assume additionally that is a strictly henselian DVR with fraction field and uniformizer . If is smooth, integral and of finite type over of pure relative dimension with nonempty special fibre , and is a dense open subscheme of its generic fibre, then some -section of has generic point in ; for this is the specialization of BLR 5.3/7 used in the finite translate enlargement.
Facts & Assumptions
Given: AC and DC, a DVR with fraction field , residue field , uniformizer , and separable closure ; , , , and as in the statement.
Henselian local rings are characterized by unique lifting of simple roots of monic polynomials (Henselian pairs and Henselian local rings, A local ring is Henselian exactly when simple residue roots lift uniquely). Together with the standard-etale charts [F2], this lifts a residual rational point of an etale neighbourhood uniquely.
An etale morphism is locally standard etale: locally on source and target it is a localization of a monogenic presentation by a monic polynomial with invertible derivative (Étale morphisms are locally standard étale, which assumes AC).
A locally finitely presented morphism is smooth at a point exactly where a standard smooth chart with a unit Jacobian minor exists; such charts are flat with geometrically regular fibres (Relative Jacobian criterion with its presentation hypothesis, which assumes AC).
A nonzero Noetherian local ring of dimension one is regular if and only if it is a discrete valuation ring, and every DVR is a principal ideal domain (one dimensional regular local rings are dvrs, Every DVR is a PID).
Over a principal ideal domain flatness is equivalent to torsion-freeness (Over a principal ideal domain flatness is equivalent to torsion-freeness); a flat local ring homomorphism whose closed fibre is nonzero is faithfully flat (A flat ring map is faithfully flat exactly when it detects proper ideals and is surjective on spectra).
Every nonempty smooth finite-type scheme over a field has a closed point with finite separable residue field; over a separably closed field this is a rational point (A nonempty smooth scheme has a finite separable point, which assumes AC).
Proof
Consider the directed system of pairs , where is a local -algebra which is etale over and whose residue field embeds as an -subalgebra over those already chosen, with transition maps the local -algebra maps over . Each such is flat over because etale maps are flat; its residue field is a finite separable extension of , so and ; being regular of dimension one it is a DVR with uniformizer by [F4]. The transition maps are injective local maps preserving . In the union over the directed system, every nonzero element lies in a finite stage as times a unit, and every nonzero ideal has a least such exponent, so it is principal; hence is a DVR with uniformizer and residue field , realized as a filtered colimit of local etale -algebras.
The ring embeds into a separable closure of and hence is -torsion-free, so it is -flat by [F5] and -faithfully flat because it is local with nonzero closed fibre. Its strict henselianity follows from the colimit description: an etale neighbourhood of a point with residual coefficients involves finitely many elements of , hence is defined at a finite stage, and adjoining that pointed neighbourhood to the directed system exhibits its residual lift in the limit; this proves the henselian neighbourhood-lifting criterion of [F1] without assuming the individual stages are henselian.
Let be smooth over and let . By [F3] choose a standard smooth chart around with and a unit Jacobian minor. Cutting the chart by the coordinate differences with chosen lifts of the residue coordinates to that are not involved in that minor produces an etale -scheme through : the original equations and the coordinate differences have a unit Jacobian minor. Its special fibre has the same -point . The henselian lifting property of [F1] gives a -section of this etale neighbourhood, hence a section of through .
Every nonempty open of the smooth special fibre contains a -rational point by [F6], since is separably closed; step 3.1 lifts that point to a section of . Thus the specializations of sections meet every nonempty open and are dense in . Empty special fibre makes the density assertion vacuous.
Now suppose is a strictly henselian DVR with fraction field , is smooth integral of finite type with nonempty special fibre, and is dense. Give its reduced closed structure and let be its schematic closure. Its ideal is saturated under multiplication by , since it contracts an ideal after inverting . At a generic point of a special-fibre component, the local ring has maximal ideal , because the smooth special fibre is reduced and its local ring there is a field. Since is integral and flat, is a nonzero nonunit; the principal ideal theorem (Krull's principal ideal theorem) gives , and is regular, hence a DVR by [F4]. The localized ideal of is nonzero (the generic complement is proper in the integral ) and -saturated, so it is all of : every nonzero proper DVR ideal is and fails saturation. Thus misses every special-fibre generic point. A rational point of the nonempty smooth open exists by [F6] and lifts to a section by step 3.1. Its generic point cannot lie in the closed , since its specialization does not. This gives a section with generic point in .
Finite Cartier duality, exactness and exponent
Statement
Assume AC and DC. Let be a field. A finite -scheme is an affine -scheme whose coordinate ring is a finite-dimensional -algebra; the rank of a finite -group scheme is .
Let be a finite commutative -group scheme with coordinate algebra of rank . The vector-space dual , with multiplication dual to and comultiplication dual to the multiplication of , is a commutative Hopf -algebra, and is a finite commutative -group scheme of rank representing the functor on -algebras: the -points of are the group-like elements of , equivalently the all-test characters of . Evaluation and double vector-space duality give a natural Hopf isomorphism , and is functorial in .
Cartier duality is a contravariant additive equivalence of the category of finite commutative -group schemes with itself, and it preserves exactness with arrows reversed; a sequence of finite commutative -group schemes is exact if and only if its Cartier dual is. A finite commutative of rank is killed by : the endomorphism is zero. This holds for nonreduced and for dividing .
In particular, for there is an isomorphism of finite commutative -group schemes.
Facts & Assumptions
Given: AC, DC, a field , a finite commutative -group scheme of rank , and an integer .
The coordinate algebra of an affine -group scheme is a commutative Hopf -algebra with comultiplication , counit and antipode ; a group-like element is an element with and (Coordinate Hopf algebras for multiplicative type).
Affine -group schemes are contravariantly equivalent to commutative Hopf -algebras, a group character corresponds precisely to a group-like element of its coordinate algebra, and these correspondences commute with field extension (The affine Hopf dictionary used for multiplicative type).
The quotient of a separated finite-type -group scheme by a closed normal subgroup scheme is represented by a separated finite-type -group scheme, the projection is faithfully flat of finite presentation with scheme-theoretic kernel , and the quotient is universal for homomorphisms killing (Normal subgroup quotients of finite-type group schemes exist as fppf scheme quotients, which assumes AC).
A homomorphism of separated finite-type -group schemes with trivial scheme-theoretic kernel is a closed immersion, and its scheme-theoretic image is a closed subgroup scheme (Finite-type algebraic group monomorphisms are closed immersions, which assumes AC).
A commutative Artinian ring is the product of its localizations at its finitely many maximal ideals (An Artinian ring is canonically the finite product of its localizations at its maximal ideals); in particular a zero-dimensional finite-type -scheme is finite.
A tensor product of free modules is free with the pairwise tensor basis, and the dual of a finite free module has the dual basis (The elementary tensors of two bases form the product basis of the tensor product).
For a square matrix over a commutative ring, ; in particular multiplication by a unit of a finite free algebra has invertible determinant (For every positive-sized square matrix over a commutative ring, ).
Proof
Let and . Define the comultiplication of as the transpose of the multiplication of , its multiplication as the transpose of , its unit as the transpose of , its counit as the transpose of the unit of , and its antipode as the transpose of the antipode. Transposing the commutative diagrams that express coassociativity, the counit and antipode identities, commutativity of and cocommutativity of (the latter because is commutative) gives the corresponding identities for : finite-dimensional duality is an exact contravariant equivalence of finite-dimensional -vector spaces and carries commutative diagrams to commutative diagrams. Hence is a commutative Hopf -algebra with , and is an affine -group scheme of rank by [F1] and [F2].
For every -algebra , an -point of , that is, a -algebra map , corresponds by transpose to a group-like element of : multiplicativity and unitality of the map are exactly the identities and for the transpose . By the character/group-like dictionary in [F2] these are exactly the -group homomorphisms , and the correspondence is natural in . Therefore represents the stated functor, and transposing a Hopf map dualizes to a Hopf map , so is a functor.
The evaluation map is an isomorphism of -vector spaces because is finite dimensional, and it is compatible with , the multiplication, the unit, the counit and the antipode, since both sides are obtained by transposing the structure maps twice; hence it is a Hopf isomorphism, and accordingly naturally. The same evaluation pairing gives the stated biduality.
Fix a -algebra , a point and a character ; by step 2.1 the character is a group-like unit of . Translation by is the -automorphism of with inverse , so it induces an -algebra automorphism of , and multiplication by induces an invertible -linear endomorphism of the free -module of rank . Because is a character, and , so . Taking determinants gives , where ; conjugation preserves determinants, multiplication by the scalar multiplies determinants by , and is invertible by [F7] applied to the invertible endomorphism . Cancelling the unit yields in .
Apply step 4.1 to , of rank . Fix a -algebra and , represented by a group-like element as in step 2.1. Pass to and take the universal point , which via is a character of . Evaluation of that character on is exactly . The determinant identity of step 4.1 consequently gives . Thus the character corresponding to is trivial, and by the representing identification of step 2.1. This proves on every test. Duality is faithful by step 3.1, and dualizing multiplication by gives multiplication by (composition of a character with is its -th power), so . The use of a universal character after base extension, rather than only characters over the original , retains infinitesimal points.
Let be a morphism of finite commutative -group schemes. Its scheme-theoretic kernel is a closed subgroup scheme, and its scheme-theoretic image is a closed subgroup scheme by [F4]; quotients of finite commutative group schemes by closed subgroup schemes are finite by [F3], [F5], since the faithfully flat quotient of the zero-dimensional scheme is a separated finite-type -scheme of dimension zero. The kernel and image identifications make the category of finite commutative -group schemes abelian: finite products and products of morphisms exist, every morphism has a kernel and a cokernel, and the fppf kernel-image identities hold. More explicitly, the induced map from to the scheme-theoretic image of has trivial kernel, hence is a closed immersion by [F4]; it is schematically dominant by the definition of the image, hence is an isomorphism. Thus coimage equals image. Cartier duality is an additive contravariant equivalence by steps 2.1 and 3.1 (it exchanges products with coproducts because dualizes to ), and an additive equivalence of abelian categories preserves kernels and cokernels, hence carries exact sequences to exact sequences with the arrows reversed.
For one has with , so the elements , , are group-like and form a -basis; by steps 1.1 and 2.1 the dual basis elements of satisfy and . Thus is the algebra of -valued functions on with pointwise multiplication and the comultiplication dual to addition modulo , that is, .
The construction nowhere uses reducedness of : the determinant argument is over the finite free -module , and it applies also when divides the rank .
Abelian schemes over a base
Definition
Let be a scheme. An abelian scheme over of relative dimension is an -group scheme in the sense of Group schemes over a base scheme such that:
- is smooth (Smooth morphism of schemes);
- is proper (Proper morphisms);
- is locally of finite presentation (Locally finite presentation morphisms);
- every geometric fibre is connected of dimension (Geometric properties of fibres, Scheme-theoretic fibre); equivalently, the relative dimension is constant equal to (Relative dimension of a smooth morphism at a point) and every geometric fibre is nonempty and connected.
Equivalently, an abelian scheme over is a smooth proper -group scheme whose geometric fibres are abelian varieties of dimension in the sense of Abelian varieties over a field; smoothness and properness make the fibres smooth proper connected group schemes, and conversely a family of abelian varieties of constant dimension which is a smooth proper -group scheme is an abelian scheme. The condition on geometric fibres makes locally constant on and equal to on each connected component of . Since is proper, it is separated, and the unit section is a closed immersion, being a section of a separated morphism. The group law, inverse and unit are those of the -group scheme structure; they are automatically -morphisms of finite presentation.
No projectivity of over is asserted: an abelian scheme over a general base need not be projective over that base, and none of the results on this page assumes it. The base is not required to be Noetherian.
An S-rational map defined after a faithfully flat smooth base change is defined
Statement
Assume AC. Let be locally Noetherian (Locally Noetherian and Noetherian schemes), let be separated over (Separated morphism of schemes), and let be an -rational map between smooth finite-type -schemes (S-dense open subschemes and S-rational maps). Let be a faithfully flat morphism of smooth finite-type -schemes (Faithfully flat scheme morphism) such that the base-changed -rational map is represented by an -morphism defined on all of . Then is represented by an -morphism defined on all of . This is BLR 2.5/5; no arbitrary base change is used.
Facts & Assumptions
Given: AC, a locally Noetherian base , a separated -scheme , smooth finite-type -schemes , an -rational map and a faithfully flat -morphism such that is defined everywhere and equal to a morphism .
An -rational map is an equivalence class of -morphisms on -dense opens, with domain of definition ; base change preserves these notions, and for separated smooth finite-type targets the domain commutes with flat base change (S-dense open subschemes and S-rational maps).
A faithfully flat, quasi-compact, locally finitely presented morphism is a cover for fppf descent of morphisms: a morphism whose two pullbacks to agree descends uniquely (Scheme morphisms satisfy fppf descent, assuming AC). Faithfully flat morphisms are surjective (Faithfully flat scheme morphism).
For a separated target, morphisms from any source that agree on a schematically dense open are equal (Agreement on a schematically dense open, assuming AC). A smooth morphism is flat with geometrically reduced fibres (Smooth morphism of schemes). On affine charts of a smooth finite-type map with Noetherian, a finite prime filtration of the -module tensors exactly with the flat -algebra and filters by the rings . Each is flat over the domain , hence injects into its reduced generic fibre and is reduced. In a reduced Noetherian ring every associated prime is minimal: the ring injects into the finite product of its minimal-prime domain quotients, so the annihilator of a nonzero element is the intersection of those minimal primes where its image is nonzero; if this annihilator is prime, it equals one of those minimal primes. Flatness over makes every nonzero base element a nonzerodivisor, so these minimal primes contract to . The associated-prime theorem for a finite filtration then shows every associated prime of is the generic point of a component of some fibre. If an open meets every fibre densely but , this finite ideal has an associated prime; it is also associated in , so its point lies in , where the restriction kernel has zero stalk, a contradiction. Hence is schematically dense. These uses are supplied by Finite modules over Noetherian rings admit prime filtrations, A nonzero module over a Noetherian ring has an associated prime, and Associated primes in a short exact sequence.
If is schematically dense and is flat, then is schematically dense in . Locally take and an affine ; flatness makes flat over . The open is quasi-compact since is locally Noetherian. A finite principal-open cover computes as a finite equalizer of localizations of ; tensoring this equalizer with flat computes and preserves the injection . Thus , which is the required schematic density. Flatness is stable under base change (Flatness is stable under arbitrary base change).
The given hypotheses make faithfully flat, quasi-compact, and locally of finite presentation. To see the latter two properties, work locally on affine Noetherian opens . For affine charts and with , both and are finite-type -algebras; generators of over also generate it over , so is finite type over . The ring is Noetherian because it is of finite type over the Noetherian ring , and a finite-type algebra over is finitely presented, proving local finite presentation (Subalgebra generated by a subset, algebras of finite type, and module-finite algebras, Locally finite presentation morphisms, Every algebra of finite type over a Noetherian ring is a Noetherian ring, If is Noetherian then is Noetherian for every , Finite type is affine-local on source and target). For quasi-compactness, cover any quasi-compact open by finitely many affine opens each lying over an affine Noetherian open . Each is open in the Noetherian finite-type -scheme , hence is quasi-compact; therefore is quasi-compact. Faithful flatness is given (Faithfully flat scheme morphism).
Proof
Let . Since is smooth over and is -dense, [F3] makes schematically dense in . Its pullback is schematically dense in by [F4]. The everywhere-defined representative and the morphism agree on an -dense open by the definition of ; that open is schematically dense in the smooth scheme by [F3]. Separatedness of and [F3] therefore give .
Put and let be the composite of either projection with . This map is flat: each projection is a base change of the flat map , hence flat by [F4], and compositions of flat morphisms are flat. The open is schematically dense in by [F4]. By step 1.1, the two pullbacks of agree on , where both are the composite of the common map to with . As is separated over , [F3] gives equality of these pullbacks on all of .
By [F5], is faithfully flat, quasi-compact and locally finitely presented; by step 2.1 the two pullbacks of to agree. Fppf descent of morphisms [F2] therefore gives a unique -morphism with .
The morphism extends : on , the morphisms and pull back along the faithfully flat morphism to the same map by step 1.1. Uniqueness in [F2] makes them equal. Hence is a morphism on all of whose restriction to the -dense open represents , so it represents the -rational map . [F2, step 1.1, step 3.1].
Indeterminacy of a rational map into an affine scheme is of pure codimension one
Statement
Assume AC. Let be a ring, let be a normal Noetherian -scheme (normal noetherian ring) and let be a finitely generated -algebra (Subalgebra generated by a subset, algebras of finite type, and module-finite algebras). Here an -rational map means an equivalence class of -morphisms on dense open subschemes, agreeing on a dense open of their intersection; on the disjoint integral components of the normal this extends the field-case convention of Rational maps of integral finite-type schemes. For such a map the indeterminacy locus of is empty or of pure codimension one in . In particular, if is defined at every point of height at most one, then extends uniquely to an -morphism .
Facts & Assumptions
Given: AC, a ring , a normal Noetherian -scheme , a finitely generated -algebra , and an -rational map .
Choose -algebra generators of , so that is a closed subscheme of cut out by the ideal of all defining relations; a morphism is the same as an -algebra map , equivalently a choice of regular functions satisfying those relations (Subalgebra generated by a subset, algebras of finite type, and module-finite algebras).
A normal Noetherian domain with fraction field satisfies in ; equivalently, an element of regular at every height-one point of is regular (A normal Noetherian domain is the intersection of its height-one localizations, assuming AC). A rational map on an integral scheme is given by a morphism on a dense open, and two morphisms agreeing on a dense open of an integral scheme coincide (Rational maps of integral finite-type schemes).
Proof
Let and choose generators of over as in [F1]. On the dense open where is represented, the pullbacks are rational functions on . On an integral affine chart with fraction field , the lie in , and a morphism is given exactly by an -algebra map , i.e. by elements satisfying every defining relation of . Since those relations vanish on the dense open where is defined, they vanish as rational functions; hence is defined at a point if and only if all lie in the local ring .
On an integral affine chart , the nonregular locus of is , where : membership in is equivalent to containing an element outside . If is a prime minimal over , then . Apply [F2] to the normal Noetherian local domain : there is a height-one prime at which is not regular, with . All chains below survive localization, so has height one in . Nonregularity implies , and minimality of therefore gives . Every irreducible component of thus has codimension one.
By step 1.1 the indeterminacy locus of on is the union of the pole loci of . If all are regular on , this locus is empty and is a morphism on . Otherwise it is the union of finitely many closed subsets each of which is of pure codimension one by step 2.1; a finite union of pure-codimension-one closed subsets of a Noetherian scheme has all its irreducible components of codimension one, so the indeterminacy locus is of pure codimension one.
If is defined at every point of height at most one, then by step 2.1 no pole locus meets the height-one points of , so each pole locus is empty; thus all are regular on every affine chart, and the local morphisms glue to an -morphism extending , unique because is separated over and two extensions agree on the dense domain of by [F2]. Finite generation of over is used to have finitely many ; the relation ideal need not be finitely generated, so that a common regular locus can be exhibited.
Uniqueness, weak Neron property, etale base change and local nature of Neron models
Statement
Assume AC. Let be a Dedekind scheme with function field (Locally Noetherian and Noetherian schemes) and let be a Neron model of the smooth separated finite-type -scheme (Neron models, the Neron mapping property and weak Neron models). Then:
(a) is unique up to a unique -isomorphism inducing the identity on the generic fibre;
(b) is a weak Neron model of : it satisfies the extension property for etale points at every closed point of ;
(c) for every etale morphism (Étale morphism of schemes) with function field , the base change is a Neron model of ;
(d) is a Neron model over if and only if is a Neron model over for every closed point ; thus the notion is local on the base;
(e) if is a -group scheme, then its multiplication, inverse and unit extend uniquely to , making an -group scheme.
The arguments apply the mapping property directly. No converse from the weak Neron property to the full mapping property is asserted for an arbitrary scheme or for a model whose generic fibre alone carries a group law.
Facts & Assumptions
Given: AC, a Dedekind scheme with function field , a smooth separated finite-type -scheme , and a Neron model of with its Neron mapping property.
The Neron mapping property: for every smooth -scheme and every -morphism there is a unique -morphism extending it; the weak Neron model is defined by the extension property for etale points (Neron models, the Neron mapping property and weak Neron models).
Etale morphisms are smooth; smooth and flat morphisms are stable under base change and composition, and etale morphisms are stable under base change (Étale morphism of schemes, Smooth morphism of schemes, Flatness is stable under arbitrary base change, Smoothness survives base change and composition).
Two morphisms from a reduced scheme to a separated scheme that agree on a schematically dense open subscheme are equal (Agreement on a schematically dense open, assuming AC). For the generic fibre, which need not be open, the agreement assertion holds for a flat source over the integral base : the equalizer is closed by separatedness; on affine base and source charts its ideal becomes zero after tensoring with . Every element of that ideal is therefore killed by a nonzero base element, while flatness makes the source coordinate ring torsion-free, so the ideal is zero. In particular this applies to every smooth source and its overlaps (Separated morphism of schemes, Scheme-theoretic fibre, Smooth morphism of schemes).
Morphisms between finitely presented schemes descend along filtered limits of affine base schemes, and equality descends after a later stage. In particular, is the filtered limit of open neighbourhoods of (Finite-stage descent of finitely presented schemes and their morphisms). Smooth morphisms are locally standard smooth, so their finite-presentation presentations and invertible Jacobian minors descend to smooth neighbourhoods after shrinking (Locally standard smooth iff flat with geometrically regular fibres).
Proof
Let be another Neron model of . Applying the mapping property of to the identity -morphism gives over , and applying the mapping property of to the identity gives ; the composites and extend the identity -morphisms and both sides are -morphisms, so by the uniqueness clause they are identities. This proves (a).
Let be closed and an etale local -algebra with fraction field . It is a filtered limit of pointed etale neighbourhoods with open and containing . The given -point of descends to the generic fibre of one such neighbourhood after passing to a later stage, by [F4]. Each is smooth, so the Neron property extends that stage point to ; base change along the limit gives the required -point of . Thus the extension property for etale points holds at every closed point and is a weak Neron model, proving (b).
For (c), let be etale with function field and let be a smooth -scheme with a -morphism . The composite is smooth by [F2], and composed with the projection is a -morphism ; by the mapping property it extends uniquely to an -morphism . Combining this with the structure morphism gives an -morphism extending , and uniqueness follows from the uniqueness in the -mapping property. Since is smooth separated of finite type over by [F2] and has generic fibre , it is a Neron model of .
For (d), first suppose is a Neron model over . Cover a smooth -scheme by affine standard-smooth charts. Their finite-presentation presentations and invertible Jacobian minors descend along the filtered limit of open neighbourhoods of to smooth charts over some neighbourhood, by [F4]; the generic-fibre morphism to descends at a later stage by the same finite-presentation lemma. Apply the Neron property over to each descended smooth neighbourhood and pass to the limit. These local extensions agree on overlaps by uniqueness, so they glue to an extension over . Uniqueness follows from separatedness and density of the generic fibre.
Conversely, suppose each localization is a Neron model. First take a smooth finite-type -scheme and a -morphism . For each closed , the local property gives . Since and are of finite presentation over the noetherian base, [F4] descends this map to for some open neighbourhood of , with generic restriction after a further shrinking if needed. These neighbourhoods cover the closed points of , and together with the generic point cover . The descended maps agree on overlaps because they agree on , which is schematically dense in the flat scheme , and is separated. They therefore glue to an extension . For an arbitrary smooth , cover it by finite-type open subschemes, apply this argument on each, and glue by uniqueness. This proves the converse and the locality assertion.
For (e), assume is a -group scheme with multiplication , inverse and unit . Apply the mapping property to the smooth -schemes , and and the -morphisms , and : this yields -morphisms , and extending them uniquely. Each group identity, for example associativity, is an identity between -morphisms from the reduced smooth -scheme to the separated -scheme ; it holds after restriction to the generic fibre, which is schematically dense by [F3], so it holds everywhere. Thus is an -group scheme.
Two-torsion and uniqueness of the group law on a Weierstrass cubic
Statement
Assume AC. Let be a field of characteristic not or , let with , and let be the smooth cubic with , regarded as an abelian variety by The chord-tangent group law on a smooth short Weierstrass cubic. Then:
(a) scheme-theoretically, is the disjoint union of and in the affine chart ; its geometric points are and the three points with ; in particular if and only if has no root in ;
(b) if carries any abelian-variety structure with unit section , then that group law equals the chord-tangent law.
Facts & Assumptions
Given: AC, a field of characteristic not or , with , the cubic with origin , and an abelian-variety group law on with unit .
The chord-tangent law makes an abelian variety over with inversion and with the affine formulas of The chord-tangent group law on a smooth short Weierstrass cubic; in particular the difference of the two laws is measured by the identity morphism of the underlying curve.
A -morphism from a smooth geometrically integral group variety to an abelian variety which sends the unit to the unit is a group homomorphism (Pointed morphisms from smooth geometrically integral groups to abelian varieties are homomorphisms, assuming AC).
Every abelian variety is commutative (A proper geometrically connected group variety is commutative), and the definitions and conventions are those of Abelian varieties over a field.
Proof
In the chord-tangent law, if and only if , i.e. if and only if is fixed by the inversion . For write ; the fixed-point condition is , hence because , and such points satisfy . These equalities also compute the scheme-theoretic kernel: is equivalent on all tests to equality of identity and inversion. On its ideal is . Near use the chart with coordinates , ; inversion sends to , so its equalizer has ideal , defining the single reduced point .
The polynomial has three distinct roots in an algebraic closure: a common root of and its derivative would force in the smoothness computation, i.e. would give , and hence , contrary to the hypothesis; so the discriminant is nonzero. Hence consists exactly of and the three points over the roots, and exactly when the cubic has no -root. These are two-torsion points, not inflection points; inflection points satisfy instead.
For (b), let be the given abelian-variety law with unit . The identity morphism carries the unit of the chord-tangent law to the unit of , and the source is a smooth geometrically integral group variety and the target an abelian variety, so by [F2] it is a group homomorphism; being an isomorphism of schemes, it is an isomorphism of group varieties, so the two laws coincide. The reverse implication is the same statement read backwards, and both laws are commutative by [F3].
Prime-to-residue-characteristic Tate modules and inertia
Definition
Assume AC and DC, inherited from the multiplication and strict-henselization suppliers. Let be an abelian variety over a field (Abelian varieties over a field), fix a separable closure of , and let be a prime different from . For each the multiplication-by- endomorphism of is finite and faithfully flat and is finite locally free by Nonzero multiplication on an abelian variety is finite and faithfully flat. It is etale because the differential of multiplication by at the identity is the unit times the identity; translations give an invertible differential everywhere, and Relative Jacobian criterion with its presentation hypothesis makes multiplication etale, as is its pullback along the unit section. The -adic Tate module is the inverse limit along the transition maps given by multiplication by , with the underlying inverse system of finite discrete groups (Inverse systems and inverse limits of modules, The inverse limit of finite groups carries the subspace topology from the product of discrete factors). Thus an element is a sequence with and ; coordinatewise scalar multiplication by (A profinite group is a topological group isomorphic to an inverse limit of finite discrete groups) makes a -module. It is given the subspace topology from the product of the finite discrete torsion groups, so it is a profinite group and scalar multiplication is continuous. The absolute Galois group acts coordinatewise on , and this action is -linear.
Let now be a discrete valuation ring with fraction field , and choose a strict henselization with fraction field embedded in through the fixed separable closure (Strict henselization of a DVR and smooth sections). The inertia group is The Tate module is unramified at when acts trivially on it. This definition specifies the action and the test; no freeness, torsion or reduction criterion is assumed.
Strict henselian etale sections
Statement
Assume AC and DC as inherited from the stated suppliers. Let be a strictly henselian local ring with separably closed residue field (Henselian pairs and Henselian local rings) and let be a separated etale finite-type -scheme. Then:
(a) reduction induces a bijection ;
(b) the union of the images of all -sections of is a finite etale -scheme isomorphic to a disjoint union of copies of , where ; it contains the whole closed fibre , and its complement has empty closed fibre and no -sections.
Facts & Assumptions
Given: AC and DC, a strictly henselian local ring with separably closed residue field and maximal ideal , and a separated etale finite-type -scheme .
Etale morphisms are locally standard etale: locally on source and target, is with monic and invertible on the localization (Étale morphisms are locally standard étale, assuming AC).
Over a henselian local ring, a simple root of a monic polynomial lifts uniquely, and idempotents lift uniquely (A local ring is Henselian exactly when simple residue roots lift uniquely, Idempotents lift uniquely in a Henselian pair, both assuming AC); the strictly henselian property is the henselian pair condition of Henselian pairs and Henselian local rings used through these criteria.
Here strictly henselian means henselian local with separably closed residue field. No DVR hypothesis or construction as a strict henselization is required; the henselian condition is that of Henselian pairs and Henselian local rings.
Proof
Let and choose a standard etale chart localized at around as in [F1]. The image of the chart in is an open neighbourhood of the image point, which is the closed point of the local scheme ; hence it is all of . Write for the residue class of at ; it is a simple root of the monic polynomial because is invertible on the chart. By the simple-root lifting criterion [F2] there is a lift with and , so evaluation at defines an -section of the chart and hence of reducing to . Thus is surjective.
Two sections of with equal reduction have equalizer ; the diagonal of an etale morphism is an open immersion, so it is open, and separated over makes it closed, while it contains the closed point by hypothesis; since is connected (it is a local scheme), the equalizer is all of , so . Hence reduction is injective, and with step 1.1 it is bijective; this proves (a).
For a section , its image is open, being the base change of the etale diagonal, and closed because is a closed immersion as a section of the separated morphism . Two distinct sections have disjoint images: their equalizer is open and closed by the same argument as in step 2.1, and it is empty because it is a proper closed subset of the connected scheme (it misses the closed point since the sections have distinct reductions by the bijection of step 2.1). Hence the images of the sections, one for each point of the finite set , form disjoint open and closed subschemes each isomorphic to via .
Since is etale and finite type over the field , the closed fibre is a disjoint union of finitely many copies of (finite separable extensions of the separably closed field are trivial), so the closed fibre is covered by the closed points , and . Hence , the disjoint union of the section images, is finite etale over , and every section of meets and therefore lies in ; the complement has empty closed fibre and admits no -section. This proves (b).
The identity model of a smooth group with abelian generic fibre
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , and let be a smooth separated finite-type -group scheme (Group schemes over a base scheme) whose generic fibre is an abelian variety (Abelian varieties over a field). Then is an open -subgroup scheme of , smooth, separated and of finite type over , with geometrically connected fibres. On each geometric fibre of , the orbits of are exactly the connected components of that fibre.
Facts & Assumptions
Given: AC and DC, a DVR with fraction field and residue field , a smooth separated finite-type -group scheme with abelian generic fibre , and the identity component of the special fibre.
is an abelian variety, hence connected; is a smooth finite-type -group scheme with finitely many connected components, the identity component being open and a subgroup scheme (Abelian varieties over a field, Group schemes over a base scheme).
A connected smooth finite-type group scheme over a field is geometrically connected, and a smooth connected such group is geometrically integral; these statements propagate through field extension (Connected finite-type groups are geometrically connected, assuming AC).
A scheme which is smooth over a discrete valuation ring is flat over it, and a closed subscheme of a scheme over a DVR whose generic and special fibres are both empty is empty; a morphism of -schemes whose restriction to the generic fibre and to the special fibre both factor through an open subscheme factors through it (Locally Noetherian and Noetherian schemes, Group schemes over a base scheme).
Proof
The set is open in : by [F1], has finitely many connected components, so is closed in . Since the special fibre is closed in , this complement is closed in . Its complement in is exactly , which is therefore open. It is an open subscheme, hence smooth, separated and of finite type over . Its generic fibre is the connected abelian variety and its special fibre is , connected; by [F2] the special fibre is geometrically connected and the generic fibre is geometrically connected, so the fibres over the two points of are geometrically connected.
The multiplication, inverse and unit of restrict to : the multiplication maps into and into because is a subgroup scheme; hence the preimage is an open subscheme containing both and . The complement of this preimage inside the open subscheme is closed with empty generic and special fibres, hence empty by [F3]; therefore restricts to . The same argument with the inverse and the unit section (whose value at the closed point lies in ) shows that is an -subgroup scheme of .
Let be a geometric point of . If lies over the generic point, is connected by [F2]; if lies over the closed point, and because the identity component of a smooth group scheme over a field is geometrically connected by [F2]. Thus is the identity component of the smooth group .
On a geometric fibre , translation by a point is an isomorphism carrying the identity component onto the connected component of ; since is the identity component by step 2.2, the orbit of under is exactly the connected component of . Hence the orbits of on each geometric fibre are the connected components, as claimed.
Dilatations and defect computation
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field , residue field , uniformizer , and let be a strict henselization. Let be a finite-type flat -scheme with smooth generic fibre of relative dimension , and let be a closed subscheme.
(a) The -chart of the blowup is flat over and universally receives a unique -morphism over from every given -morphism with flat over whose special morphism factors through ; it is called the dilatation of along . Dilatations commute with unramified flat base change of DVRs and with products. A closed immersion of flat -schemes, with centre , induces a closed immersion of the corresponding dilatations; this is not a claim that arbitrary closed base change gives a cartesian square.
(b) For a section , the defect is the length of the torsion submodule of ; it vanishes if and only if is smooth along , and for smooth generic fibre it equals the minimum valuation of the maximal-rank Jacobian minors of a standard presentation of generic codimension, and is bounded uniformly over all .
(c) A morphism between smooth -schemes of the same relative dimension is etale exactly at the points where its relative differential determinant is invertible; in particular means that the special-fibre cotangent space at the rational specialization of has dimension .
Facts & Assumptions
Given: AC and DC, a DVR with uniformizer , fraction field and residue field , a strict henselization , a flat finite-type -scheme with smooth generic fibre of dimension , a closed subscheme , and a section of .
The standard charts of an affine blowup present the -chart as , the quotient of by its -power torsion; the Rees-Proj blowup is locally H-projective over , hence proper, and the valuative criterion gives unique lifting of sections (Affine blowup standard charts and overlaps, Affine blowup algebras: normal form, nonzerodivisors, reducedness, domains, Blowups of finite type ideals are locally H-projective, and proper, Valuative criterion for properness, the last three assuming AC).
Local fibre dimension is upper semicontinuous and bounded above by tangent dimension (Local fibre-dimension bound from polynomial quasi-finiteness); smooth morphisms have locally free differentials of rank the relative dimension, and the Jacobian criterion detects standard smooth charts by unit minors (Differentials of a smooth morphism, Relative Jacobian criterion with its presentation hypothesis, Locally standard smooth iff flat with geometrically regular fibres, Etale morphisms are the formally etale morphisms locally of finite presentation).
Over a DVR, flat is equivalent to torsion-free; smooth total spaces are regular, regular local rings are UFDs and the regular local rings of smooth fibres have the stated divisorial properties; the normal-domain intersection formula gives Hartogs extension in codimension one (Over a principal ideal domain flatness is equivalent to torsion-freeness, Every DVR is a PID, Regularity ascends and descends along a flat local homomorphism, Regular local rings are unique factorization domains, A normal Noetherian domain is the intersection of its height-one localizations).
Proof
For an affine chart with ideal cutting out on the special fibre and containing , the -chart of the blowup has coordinate ring modulo its -power torsion, by [F1]. This ring is -torsion-free by construction, hence flat over the DVR by [F3]. If is flat over and the special morphism factors through , then the images of the generators in are divisible by : they vanish modulo because the factorization makes them lie in , so with unique, multiplication by being injective on the flat, hence -torsion-free ring . Sending kills all torsion and defines the unique -morphism from to the -chart; the blowup is locally H-projective over , hence proper, and the valuative criterion gives the unique lifting of sections.
For an unramified flat extension of DVRs , remains a uniformizer up to a unit. The inclusion stays injective after tensoring with , and its image is precisely the subalgebra generated by and the images . Thus it is the dilatation algebra after base change. For two flat models, the tensor product of their dilatation algebras is flat over and is generated over by the fractions from both centre ideals; the product centre has ideal . The universal property checked componentwise therefore identifies this tensor product with the product-centre dilatation. Finally, for a flat closed subscheme with affine ring , the homomorphism , where is the image of , is surjective: the target is generated by the images of and , and -power torsion maps to zero. These affine surjections glue to the asserted closed immersion. The unique local factorizations in step 1.1 likewise glue for any flat source scheme .
Let be a morphism between smooth -schemes of equal relative dimension . Near choose etale coordinates , using a unit minor of a standard smooth presentation, and denote the pulled-back coordinate functions on by . If the relative differential determinant of is a unit at , the form a basis of there. In a standard smooth presentation of in variables, append the graph equations to its relation equations. Their differentials have a unit minor, so the composite is etale at by [F2]. Because is etale, this implies is etale: for a nilpotent lifting problem over , unique lifting over first gives the lift into , and formal unramifiedness of forces its composite into to be the prescribed map. Local finite presentation then gives etaleness by [F2]. Conversely, if is etale, the same lifting property identifies its relative differential map with an isomorphism of the two locally free rank- modules, so its determinant is a unit.
For a section of with smooth generic fibre of dimension , the module is finitely generated over the DVR, hence the direct sum of a free part and a torsion part, and is the length of that torsion part. If , the differential vector space at the rational specialization of has dimension ; the generic section specializes to the special section, so the upper semicontinuity of local fibre dimension [F2] gives special local dimension at least , while tangent dimension bounds it above by . Choosing local equations with independent differentials exhibits a standard smooth ambient of relative dimension containing locally along ; flatness makes the local dimension of equal to its special-fibre dimension plus one, namely , which is the local dimension of the smooth ambient at that rational point. A regular local domain has no nonzero ideal whose quotient has the same dimension, so the defining ideal of in is zero locally. Hence agrees with the smooth ambient near the specialization and factors through the smooth locus. Hence is smooth along , and conversely smoothness makes locally free, so its torsion vanishes.
Choose a finite affine cover of and presentations . Put . A section whose specialization lies in this chart factors through the chart, since an open subset of containing its closed point is the whole spectrum. Evaluation of the Jacobian gives a presentation of generic rank . Smith normal form over the DVR shows that the torsion length is the sum of the valuations of its nonzero diagonal entries; equivalently it is the minimum valuation of the minors. This proves the asserted numerical formula, with the size-zero minor interpreted as .
Let be the ideal generated by these minors before evaluation. Smoothness of the pure relative-dimension- generic fibre says the Jacobian has rank at every generic-fibre point, hence . Expressing as a finite linear combination of minors over and clearing denominators gives for some . After evaluating any -section in this chart, the minor ideal therefore contains , so step 5.1 gives . A section over factors through a chart containing its specialization just as above, and the finite maximum gives the uniform bound. Finally, step 4.1 identifies defect zero with smoothness along the section and with a -dimensional special cotangent space; step 3.1 supplies the determinant criterion in (c).
Affine codimension-one neighbourhoods and divisors
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results.
(a) On a finite-type separated normal scheme over an affine Noetherian base, finitely many points of codimension at most one lie in a single affine open subscheme.
(b) For a normal Noetherian separated scheme and a dense affine open subscheme , the complement has pure codimension one in ; if is regular in addition, its reduced support is an effective Cartier divisor. If is flat over a discrete valuation ring and meets every irreducible component of the special fibre, then is the closure of its generic fibre complement, so it contains no special-fibre component.
Facts & Assumptions
Given: AC and DC, an affine Noetherian base ring and a finite-type separated normal -scheme with points of codimension at most one.
Valuative uniqueness holds for separated schemes: a valuation ring admits at most one centre on a separated scheme dominating a given centre (Valuative uniqueness detects separatedness, Valuative criterion for properness); at distinct codimension-one points this identifies the normal local rings with distinct DVRs in the function field.
Hartogs for normal Noetherian domains: a rational function on a normal Noetherian domain which is regular at every height-one point is regular (A normal Noetherian domain is the intersection of its height-one localizations, assuming AC); the scheme Zariski Main Theorem and the regular-local UFD property give the corresponding divisorial statements (Scheme Zariski Main factorization for separated quasi-finite morphisms, Regular local rings are unique factorization domains, Regularity ascends and descends along a flat local homomorphism, Locally standard smooth iff flat with geometrically regular fibres).
Rational sections of line bundles correspond to Cartier divisors, and finite prime avoidance is available (Rational sections of line bundles are Cartier divisors, An ideal contained in a finite union of prime ideals lies in one of them).
Proof
Reduce to a connected normal component of . Its generic point lies in every nonempty affine open, so discard it from the list; if the list becomes empty, any affine open suffices. Remove repeated points. For the remaining codimension-one points put , viewed as rank-one valuation rings in the common function field . The are pairwise distinct: if two points gave centres of the same valuation of , both would dominate the same valuation ring and separatedness would force by [F1]. Two distinct rank-one valuation rings in are incomparable: if and the uniformizer of is invertible in , then , so is a field, and otherwise every has inverse in and cannot lie in ; hence inclusion forces equality.
Fix and, for each , choose . Multiplying a sufficiently high power of by a uniformizer of gives with and . If there is only one valuation, take to be its uniformizer; otherwise begin with one and construct successively: to add a new index , replace the preceding sum by . Choose so large that its new term has strictly smaller valuation than at and at every earlier index where has negative valuation. At an earlier index where that valuation is nonnegative, the old negative valuation persists. Thus cancellation is excluded at every required index, and , for all . Put . Increasing makes and all for arbitrarily large. For prescribed targets , the sum consequently approximates at every to any fixed finite precision.
Let . The residue map is surjective: approximate a representative in modulo its maximal ideal and approximate zero at all other valuations, using step 2.1. Thus its kernel is maximal. These are all the maximal ideals: an element of is invertible exactly when all its valuations vanish, so the nonunits are the union of the , and finite prime avoidance [F3] makes every maximal ideal one of the . The approximation of step 2.1 separates the , realizes arbitrary prescribed residues, and shows : for one approximates at and to high order at the other indices by some , and then with , so , the reverse inclusion being immediate.
Choose affine charts around and finite -algebra generators of . By step 3.1 write with and . Let be the -algebra generated by all these numerators and denominators, and put , so inside . Each of the finitely many generators of lies in , where represents . Writing those generators as fractions in and multiplying their denominators gives with . Since , write with ; both and are units in . The two inclusions just constructed induce mutually inverse homomorphisms, inside , between and : lies in and becomes invertible after inverting , while lies in and becomes invertible after inverting . All defining relations and both inverse identities hold because these are subrings of the same field. To identify an actual principal open of , write in ; then and . Thus contains and is isomorphic to .
The inverse morphisms agree on every overlap: they agree at the common generic point, their source is integral, and separatedness of makes their equalizer closed. Their maps to likewise agree on overlaps of the , since all are defined by the inclusion . Consequently these isomorphisms glue to an isomorphism from the open onto the open . Let define its closed complement. For every prime corresponding to , ; finite prime avoidance gives . Then is affine and contains all . A normal Noetherian scheme has finitely many disjoint open and closed integral components; applying this construction on each component with a prescribed point and taking the finite disjoint union gives (a), including any generic points discarded in step 1.1.
For (b), work on one integral component of , with function field , and write there. If an irreducible component of the closed boundary has generic point of codimension at least two, choose an affine normal chart containing and avoiding every other boundary component. Every height-one point of then belongs to . For each , its restriction to is regular at all these points, so [F2] places in . This gives a single ring homomorphism : sums, products, the unit and every relation are preserved inside . Thus it defines an actual morphism , with no finite-generation assumption on needed. On the dense open it is the identity inclusion into ; separatedness of makes the composite equal to the inclusion everywhere. Its image would put in , a contradiction. Hence every boundary component has codimension one. If is regular, at each point its finitely many boundary prime ideals are principal in the regular local UFD. Their intersection is generated by the product of their distinct prime generators, a nonzerodivisor; these reduced ideals glue to the reduced boundary subscheme, making it an effective Cartier divisor. The same argument on the finitely many normal components proves (b) for general .
Finally let be flat over a discrete valuation ring and let meet every irreducible component of the special fibre. A prime divisor contained in the boundary and dominating the base would meet the generic fibre; a prime divisor contained in the special fibre would be a component of it, which is excluded by the fibre-density hypothesis. Hence every boundary prime meets the generic fibre, so the closure of the generic complement contains the whole boundary and is contained in it by closedness; the boundary is therefore the closure of its generic complement and contains no special-fibre component.
Base change and products of abelian schemes
Statement
Assume AC, inherited from the smoothness and properness stability suppliers. Let and be abelian schemes over of relative dimensions (Abelian schemes over a base), and let be a morphism (Base change of objects, morphisms and properties). Then:
(a) the base change is an abelian scheme of relative dimension , with -group structure induced by that of , and for with image the fibre is the base change of abelian varieties (Fibres after base change);
(b) the product is an abelian scheme of relative dimension with the product group law;
(c) kernels of homomorphisms of abelian schemes commute with arbitrary base change by their fibre-product definition, and the base change of a finite locally free subgroup scheme is again finite locally free of the same rank.
Scheme-theoretic images are not asserted to commute with arbitrary base change.
Facts & Assumptions
Given: AC and abelian schemes , of relative dimensions , and a morphism .
An abelian scheme is a smooth proper finitely presented -group scheme with connected geometric fibres of constant dimension (Abelian schemes over a base); assuming AC for the named stability suppliers, smoothness, properness, local finite presentation, flatness and relative dimension are stable under base change and preserved by products (Flatness is stable under arbitrary base change, Smoothness survives base change and composition, Properness survives arbitrary base change, Local finiteness conditions under base change, Relative dimension of a smooth morphism at a point).
Fibres of a base change are computed by the fibre product of fibres (Fibres after base change); the group operations of an -group scheme base change to give the induced -group structure, and products inherit the componentwise group law.
Proof
The base change is smooth, proper and locally of finite presentation by the stability statements in [F1]; its geometric fibres are base changes of geometric fibres of , hence nonempty and connected of dimension , and the relative dimension is . The base-changed group operations give an -group scheme structure. For a point the fibre identification is the base-change compatibility of fibres in [F2].
For the product, is smooth, proper and locally of finite presentation, its geometric fibres are products of nonempty connected smooth proper schemes over an algebraically closed field, and a product of nonempty connected schemes over an algebraically closed field is connected (indeed the product of geometrically connected schemes over a field with a rational point in the appropriate sense is geometrically connected); the relative dimension is . The componentwise group law makes it an -group scheme. This proves (b).
Kernels of -group scheme homomorphisms are defined by the fibre product with the unit section, so they commute with arbitrary base change by associativity of fibre products, as asserted in (c); a finite locally free subgroup scheme of rank pulls back to a finite locally free subgroup scheme of the same rank because finite locally free modules and isomorphisms pull back along the base change. Scheme-theoretic images are not claimed to commute with arbitrary base change, and nothing here asserts that.
Weil's extension theorem for rational maps into smooth separated group schemes
Statement
Assume the Axiom of Choice and the Axiom of Dependent Choice, inherited from the descent and purity suppliers. Let be a regular Noetherian base scheme (Locally Noetherian and Noetherian schemes), let be a smooth -scheme, and let be a smooth separated -group scheme of finite type (Group schemes over a base scheme, Smooth morphism of schemes, Separated morphism of schemes). If an -rational map (S-dense open subschemes and S-rational maps) is defined in codimension at most one, that is, at every height-one point of , then is defined everywhere and extends uniquely to an -morphism .
Facts & Assumptions
Given: AC and DC, a regular Noetherian base , a smooth -scheme , a smooth separated finite-type -group scheme , and an -rational map with domain containing every height-one point of .
Domains of -rational maps and their behaviour under flat and faithfully flat base change are S-dense open subschemes and S-rational maps and An S-rational map defined after a faithfully flat smooth base change is defined.
The indeterminacy locus of a rational map into an affine scheme over a normal Noetherian base is empty or of pure codimension one (Indeterminacy of a rational map into an affine scheme is of pure codimension one, assuming AC).
A regular local ring is a UFD and a normal domain, Krull's principal ideal theorem holds, and smoothness over a regular base yields regular local rings of the total space with geometrically regular fibres (Regular local rings are unique factorization domains, regular local rings are normal, Krull's principal ideal theorem, Regularity ascends and descends along a flat local homomorphism, Locally standard smooth iff flat with geometrically regular fibres, Fibres of a smooth morphism are smooth, Fibre product of schemes).
Proof
Work locally on and , with affine and of finite type, so the finite-type descent lemma [F1] applies. The total spaces and are regular by [F3]. Form on and let be its maximal domain. On , is the unit: it is the unit on the dense open , so separatedness gives equality wherever both morphisms are defined.
Suppose , with image . Choose an affine open containing and shrink around so lands in . Choose an integral regular affine neighbourhood of in . The open is nonempty: every neighbourhood of meets , where . It is therefore dense in and represents an ordinary rational map . Let be its maximal domain. Then , and , since at a diagonal point where is defined its value lies in . By [F2], is pure codimension one. Its intersection with the diagonal is contained in , which has codimension at least two in .
At the reduced support of is cut out by a product of prime elements in the regular local UFD . Its restriction to the regular local ring of the diagonal is nonzero, because is dense in the diagonal, and is a nonunit, because . The principal ideal theorem [F3] then gives a codimension-one component of locally at , contradicting step 2.1. Hence contains the diagonal.
Put . Its first projection is flat, as a restriction of a smooth projection. For every geometric point of , the open in the corresponding fibre of the second factor contains the diagonal point and is nonempty; it meets the fibrewise dense open , so is surjective. Thus is faithfully flat, and on represents everywhere. Both and are smooth of finite type over the locally Noetherian base in this local calculation, so [F1] descends it to a morphism . These local extensions glue uniquely, since they agree on the schematically dense domain of and is separated.
Good reduction of an abelian variety over a Dedekind scheme
Definition
Let be a Dedekind scheme (Dedekind domains) with function field , and let be an abelian variety over (Abelian varieties over a field). One says that has good reduction over if there exists an abelian scheme (Abelian schemes over a base) together with an isomorphism of -schemes; such an is an abelian scheme model of over . For a discrete valuation ring with fraction field (Discrete valuation rings) this is the local notion at its closed point, and has potential good reduction if there is a finite extension such that has good reduction over the normalization of in .
For a closed point , the reduction of at is , which is an abelian variety over the residue field of dimension . Good reduction is a property of the pair ; the definition asserts no existence statement, and in particular no claim is made that every abelian variety has good reduction.
The rigidified relative Picard functor and the dual abelian variety
Definition
Assume AC for the site-level sheafification construction. Let be an abelian scheme (Abelian schemes over a base) with unit section . For an -scheme write and ; a rigidified line bundle on is a pair consisting of an invertible sheaf on (Invertible sheaves) and a trivialisation along the unit section.
The rigidified relative Picard functor is the fppf sheaf on the category of -schemes associated (Fppf sheaves of sets and sheafification, Sheafification exists for the fppf site) with the functor with group law given by tensor product of rigidified line bundles, identity the trivially rigidified structure sheaf and inverse by the dual pairing. An -scheme representing is called a relative Picard scheme of ; its identity component is written , and when this exists and is an abelian scheme over it is called the dual abelian variety of . A Poincare sheaf is the universal rigidified invertible sheaf on .
The algebraically trivial subfunctor of consists of the classes whose geometric-fibre restrictions are algebraically equivalent to zero, where algebraic equivalence is the equivalence relation generated by differences of fibres in connected finite-type families of line bundles; this definition of the subfunctor does not presuppose a representing scheme, and once a Picard scheme exists the appropriate identity-component theorem identifies the subfunctor with . The notation "degree zero" here refers to this subfunctor and is not numerical degree on when . For over a field the dual means a representing abelian variety for this subfunctor; representability of , the existence of and the Poincare sheaf remain claims of the commissioned theorem, and no link from this definition to that theorem is a dependency. The functor is considered with the fppf topology; all test objects are arbitrary -schemes, and flatness and local finite presentation enter only through the definitions of abelian schemes and invertible sheaves used above (Flat morphism of schemes, Locally finite presentation morphisms, Group schemes over a base scheme).
Sheafification is taken on a fixed set-sized big fppf site containing the test schemes in use, as in the cited construction; the convention imposes no finite-type or reducedness restriction on those tests. AC selects representatives and equality refinements in the plus construction, not line bundles or a representing Picard scheme.
Universal structure-sheaf sections of an abelian scheme
Statement
Assume AC and DC as inherited from coherent cohomology and base change. Let be an abelian scheme (Abelian schemes over a base). For every morphism the unit map of the base-changed abelian scheme is an isomorphism, with inverse given by evaluation along the identity section; consequently every geometric fibre has and universally.
Facts & Assumptions
Given: AC and DC, an abelian scheme , a morphism and the base change .
An abelian scheme is smooth, proper and finitely presented with connected geometric fibres (Abelian schemes over a base).
A proper geometrically integral scheme over a field has global functions equal to the field (Global functions on proper integral schemes form a finite extension of the base field).
For a proper flat finitely presented morphism and a finitely presented flat sheaf, the higher direct images form a perfect complex compatible with base change; the finite-free base-change criterion turns surjectivity of the degree-zero fibre map into universal base change and finite local freeness (Universal finite projective cohomology complex over any base, Finite-free local criterion for cohomology and base change).
A morphism of finite locally free modules of the same rank which is an isomorphism on every residue-field fibre is an isomorphism; a local basis computation with Nakayama identifies the unit map (A morphism of sheaves is an isomorphism exactly when it is an isomorphism on every stalk, Assuming the Axiom of Choice, Nakayama's lemma).
Proof
Work over an affine open , shrinking further so the complex of [F3] is finite free and concentrated in nonnegative degrees. At any , the geometric fibre is smooth and connected, hence integral: regular local rings prevent its finitely many irreducible components from meeting, and connectedness leaves only one. Thus is geometrically integral and [F2] gives . The actual base-change map is surjective, because the global constant section maps to a basis of its target.
Apply the finite-free criterion in [F3] with to the map just proved surjective. Its preceding map in degree is also surjective, since has no negative terms. The criterion consequently makes finite locally free and gives for every -algebra locally near . Its residue-field rank is one by step 1.1. Since was arbitrary, these neighbourhoods cover , proving that is invertible and universally compatible with base change.
The unit map is a morphism of invertible sheaves which over each geometric fibre is an isomorphism (it sends to the constant function ); by [F4] it is an isomorphism, and the identity section gives an inverse by pullback of functions, since . The same argument applied to and to arbitrary base change, including nonreduced , gives universally. This argument uses stalkwise and fibrewise isomorphisms supplied by the coherence theorem; it does not infer morphism equality from geometric points.
Prime to characteristic multiplication is etale
Statement
Assume AC and DC as inherited from the stated suppliers. Let be a locally Noetherian scheme, let be a smooth, separated, commutative group scheme of finite type over (Group schemes over a base scheme, Smooth morphism of schemes), and let be invertible on (that is, a unit of locally). Then the multiplication-by- endomorphism and the kernel are etale. If moreover for a discrete valuation ring with strict henselization and separably closed residue field and has characteristic not dividing , then reduction gives a bijection .
Facts & Assumptions
Given: AC and DC, a locally Noetherian base , a smooth separated commutative finite-type -group scheme , an integer invertible on , and, for the last clause, a DVR with strict henselization and separably closed residue field .
On a smooth group scheme the tangent space at every point is identified with the translation of the tangent space at the identity, and the differential of a group homomorphism is translation-equivariant; the differential of at the identity is times the identity because is the sum of copies of the identity morphism in the group law (Group schemes over a base scheme, Smooth morphism of schemes).
On smooth schemes of equal relative dimension the relative Jacobian criterion makes a morphism etale exactly where its differential determinant is invertible; standard smooth presentations and base change give the same over each affine open of the base (Relative Jacobian criterion with its presentation hypothesis, Base change and composition of standard smooth presentations, Differentials of a smooth morphism, Étale equals flat and unramified in finite presentation).
Over a strictly henselian local ring with separably closed residue field, reduction is a bijection on points of a separated etale finite-type scheme (Strict henselian etale sections, Unramified residue extensions are finite separable).
Proof
At the identity the differential is multiplication by on the tangent space, because is the composite of the -fold group law and the differential of the group law at the identity is addition; translation identifies the tangent space at every other point with the tangent space at the identity and conjugates at that point with the corresponding tangent map, so the differential of is everywhere multiplication by the unit on the locally free tangent sheaf.
Since is smooth over of constant relative dimension on each connected component and is a morphism between smooth schemes of the same relative dimension, the relative Jacobian criterion in [F2] applies: is etale exactly where the determinant of its differential is a unit, which by step 1.1 holds everywhere since is invertible on . Hence is etale. The scheme is the pullback of along the identity section, so it is etale over as a base change of an etale morphism; it is separated and of finite type because is.
Negative is handled by composing with the inversion, which is an isomorphism of over . The graph-Jacobian computation of step 2.1 works over each affine open of , so it does not need to be a DVR or Noetherian beyond the local Noetherian hypothesis.
In the DVR case, is separated etale of finite type, and after the base change to the strictly henselian ring with separably closed residue field the general section result [F3] gives that reduction is bijective. This specialization statement is asserted only in this DVR/strictly henselian setting.
Defect decrease and finite smoothening
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , and let be a strict henselization.
(a) If is a centre whose -points that lift to -sections of are schematically dense in , and is a smooth open subscheme on which is locally free, then the -dilatation of along lowers the positive defect by at least one for every section specializing in .
(b) For separated, flat and of finite type over an arbitrary discrete valuation ring with smooth generic fibre, there is a finite sequence of blowups in special-fibre centres, proper and generically isomorphisms, whose smooth locus contains the image of every -section of .
Facts & Assumptions
Given: AC and DC, a DVR with uniformizer , fraction field , residue field , a strict henselization , a separated flat finite-type -scheme with smooth generic fibre, and a closed centre with schematically dense liftable -points.
Dilatation charts and the defect computation are Dilatations and defect computation: the -chart is flat with its universal property, and the defect is the torsion length of , computed by Jacobian-minor valuations and bounded uniformly on .
A finitely generated algebra over a field which is injective into a product of copies of the separable closure after evaluation is geometrically reduced, and the smooth locus of a reduced finite-type scheme over a perfect field is dense; separatedness and differential rank control the descent of smoothness through field extensions (Finitely generated extensions of a perfect field are separably generated, Differentials of a separably generated field extension, Field tests for geometric regularity).
A coherent sheaf on a reduced finite-type scheme is free on a dense open of every component (Generic freeness over a Noetherian domain).
Proof
Let have schematically dense -points. On an affine chart with coordinate ring , evaluation at the -points embeds into a product of copies of ; tensoring with any field extension , every relation involves finitely many coefficients, so the embedding remains injective, and is reduced because is separable algebraic over . Hence is reduced and is geometrically reduced. Extending to a perfect closure, the function field of each component is separably generated and the differential rank equals the transcendence degree, so the relative Jacobian criterion produces a smooth neighbourhood of every generic point; smoothness descends through field extensions by [F2]. Therefore the smooth locus of is dense and open, and the restriction of to it is free on a dense open by [F3].
Shrink around a specialization in , so is smooth of dimension and is free of rank . Choose lifts whose differentials give its basis, with vanishing on and the mapping to a basis of . Embed into affine space with these as initial coordinates. Independent rows of the remaining relation differentials cut out a smooth ambient of dimension containing , with these differentials as a basis. Locally has ideal : its displayed equations define a smooth subscheme of dimension containing , hence agree with locally. Put and . For write . Since the map identifies the chosen bases, , so every . Thus with . On every liftable section through , and ; hence . Schematic density of those specializations gives . Therefore .
In the dilatation of write . Since , each relation becomes with in the saturated ideal of the dilatation of . Along a lifted section, the Jacobian rows for have -entries and -entries . Choose a maximal-rank minor realizing the old defect in [F1], of size , where is the generic relative dimension at the section. The corresponding minor of the divided equations is multiplied by , with according to its selected coordinate columns. The new defining ideal may have additional generators, so its minimum minor valuation is at most this value: . If , the generic closed immersion agrees near the generic section by smoothness and equal dimension; the ideal vanishes locally at the specialization by flatness and schematic density, so the original section is already smooth. Thus positive defect implies , proving (a).
For a set of nonsmooth -sections, let be the reduced closure of their specializations. It satisfies the liftable density condition by construction. Let be its dense smooth open where is locally free, and let be the sections specializing there. Repeat with , obtaining , and continue. The dimensions of the nonempty centres strictly decrease, so this gives a finite partition with the specialization closure of . In particular is permissible for the whole current : every section of meeting it belongs to and specializes in . Blowing up uniquely lifts sections by properness; those through the centre lie in its -chart, since the pulled-back ideal contains and is contained in . Their positive defects decrease by step 3.1, while all sections outside the centre are unaffected.
Use induction first on the uniform maximal defect from [F1], and within a fixed on the partition length . The case is smooth. Blow up as in step 4.1 and apply the induction to its lifted subset . All resulting centres stay over in the nonsmooth locus, so the other are unaffected. Once is smooth, the remaining sections have defect at most and their canonical partition has length , since the modification is an isomorphism away from ; apply the second induction. This terminates with finitely many permissible special-fibre blowups, proper and generically isomorphisms, smoothing every section of . Initially take to be all nonsmooth sections of . Centres always avoid the smooth locus, so initially smooth sections remain smooth. This proves (b) over every DVR, using no completeness, excellence or perfect-residue hypothesis.
K-morphisms from smooth models into abelian schemes extend uniquely
Statement
Assume AC and DC. Let be a Dedekind scheme with function field , let be an abelian scheme (Abelian schemes over a base), and let be a smooth -scheme of finite type. Then restriction along the generic fibre is a bijection
Facts & Assumptions
Given: AC and DC, a Dedekind scheme with function field , an abelian scheme , a smooth finite-type -scheme , and a -morphism .
A smooth scheme over the regular Dedekind base is regular, hence normal (Regularity ascends and descends along a flat local homomorphism, Locally standard smooth iff flat with geometrically regular fibres, regular local rings are normal). Its local rings at the generic points of special fibres are discrete valuation rings with fraction field the function field of the component (Height-one localizations of normal Noetherian domains are DVRs, Scheme-theoretic fibre); points and field-valued points correspond as in Field-valued points and local-ring points.
A proper morphism satisfies the valuative criterion of properness, so a morphism from the generic point of a valuation ring extends uniquely (Valuative criterion for properness, Abelian schemes over a base).
Weil's extension theorem for rational maps into smooth separated group schemes over a regular Noetherian base: a rational map defined in codimension at most one extends uniquely (Weil's extension theorem for rational maps into smooth separated group schemes, S-dense open subschemes and S-rational maps, assuming AC and DC).
A morphism into a finitely presented target over a filtered limit of affine schemes descends to a finite stage. For an affine neighbourhood of , its local ring is the filtered limit of the rings of principal neighbourhoods of ; hence an -morphism spreads to an open neighbourhood of (Finite-stage descent of finitely presented schemes and their morphisms).
Proof
Restriction produces a well-defined map , injective because is separated over and is schematically dense in the flat -scheme ; so it remains to show surjectivity.
For each height-one point of lying over a closed point , [F1] gives a DVR whose fraction field is the function field of the component of containing . The restriction of gives a point of over that fraction field, and properness [F2] extends it to an -morphism . By [F4] this map spreads to an open neighbourhood of in . Its restriction to equals , since they agree at the generic point and is separated. Independently, spreads to a morphism on an open neighbourhood containing the whole generic fibre: work locally on a finite-type affine open of the Dedekind base, apply [F4] to its generic localization and the finitely presented smooth source and target, and then glue the resulting restrictions by separatedness. Put . This is an open subscheme containing the generic fibre and every vertical height-one point; every horizontal height-one point lies in the generic fibre. For each closed , contains the generic points of all components of the smooth, hence reduced fibre , so is -dense. The local extensions agree with each other and with on overlaps: the generic fibre is schematically dense in every open subscheme of the flat , and is separated. Thus they glue to a morphism , which represents an -rational map defined at every height-one point.
The base is regular Noetherian and is smooth over , so Weil's extension theorem [F3] applies to the -rational map represented in step 2.1. It extends uniquely to an -morphism restricting to . This proves surjectivity and hence the bijection. Uniqueness also follows from separatedness and schematic density of . The argument is applied componentwise; components of a smooth scheme over a Dedekind base are disjoint locally.
The theorem of the square and the Mumford homomorphism into the Picard group
Statement
Assume the Axiom of Choice. Let be an abelian variety over a field (Abelian varieties over a field), let be an invertible sheaf on (Picard group of a scheme), and let denote translation by for a field extension . Then the theorem of the square holds: for all , functorially in . Consequently the Mumford map is a group homomorphism and lands in the degree-zero part of the rigidified Picard functor (The rigidified relative Picard functor and the dual abelian variety); it is compatible with field extension.
Facts & Assumptions
Given: AC, an abelian variety over , an invertible sheaf on , a field extension and points .
For an invertible sheaf on , the cube theorem gives on , where sums the indexed coordinates (The theorem of the cube for an abelian variety). The supplier assumes AC and DC; AC implies DC, since a choice function on the nonempty successor sets of a serial relation defines a sequence by recursion.
The Picard group consists of isomorphism classes of invertible sheaves with tensor product, and the rigidified relative Picard functor and its degree-zero part are as defined in The rigidified relative Picard functor and the dual abelian variety, Picard group of a scheme.
Proof
Pull the identity of [F1] back along , . Its factors involving are , , and . The remaining factors are the constant line bundles with fibres , and , each a one-dimensional -vector space and therefore isomorphic to the trivial line bundle. Removing these constant factors gives . Although trivializations of the constant factors need not be canonical, the resulting equality of Picard classes is canonical and is preserved by field extension.
The square identity shows that in : expand the first factor using the square identity and cancel . Hence is a group homomorphism, and it is natural in because the constructions and are defined over .
For degree zero: is represented by the difference of the two line bundles and , which occur as fibres of the connected family over under the translation family; hence its geometric-fibre restrictions are algebraically equivalent to zero, and lands in the algebraically trivial subfunctor of [F2], i.e. in the degree-zero part of the rigidified Picard functor.
Fibrewise constant morphisms from an abelian scheme factor through the base
Statement
Assume AC and DC. Let be an abelian scheme (Abelian schemes over a base), let be any morphism, write with structure morphism and unit section , and let be any scheme. If a morphism sends each geometric fibre of to a single point, then as morphisms .
Facts & Assumptions
Given: AC and DC, an abelian scheme , a morphism , a scheme and a morphism which is constant on geometric fibres over .
is an isomorphism for every base change, with inverse evaluation along the identity section (Universal structure-sheaf sections of an abelian scheme, assuming AC and DC).
A proper morphism has closed image, and properness is stable under base change; the base change is proper (Proper morphisms are closed, Properness survives arbitrary base change, Abelian schemes over a base).
Morphisms into an affine scheme correspond to ring maps on global sections (Morphisms to an affine scheme and global sections).
Proof
Fix and choose an affine open containing the image point of the fibre ; this is possible because the fibre image is a single point. The complement is closed, and since is proper by [F2] the set has closed image in ; by construction that image misses . Choose an affine neighbourhood of disjoint from the image; then for is closed in and disjoint from , so lands in . Thus over an affine neighbourhood of every point the map factors through an affine target.
On the structure morphism is proper and the restriction corresponds by [F3] to a ring map . The universal-sections lemma [F1] identifies , so this ring map factors through and defines a morphism with . Evaluating along the unit section gives , so .
The local factorizations of step 2.1 agree on overlaps: on both and equal evaluated there, because restricted to the unit section is an isomorphism onto the base; hence they glue to a morphism with , and by the same evaluation. Therefore . This controls nilpotents: the factorization is an identity of morphisms, not merely of geometric points.
Field prime to characteristic torsion and Tate module
Statement
Assume AC and DC as inherited from the stated suppliers. Let be an abelian variety of dimension over a field and let be prime. Then for every :
(a) , and multiplication by induces surjective transition maps ;
(b) (Prime-to-residue-characteristic Tate modules and inertia), and the natural projections give ;
(c) an automorphism of over (in particular an inertia group element) acts trivially on if and only if it acts trivially on every .
Facts & Assumptions
Given: AC and DC, an abelian variety of dimension over a field , a prime , and a separable closure .
Multiplication by on an abelian variety is finite, flat and surjective of degree in the sense that is finite locally free of rank ; when is invertible in the field, the group has elements (Nonzero multiplication on an abelian variety is finite and faithfully flat, assuming AC and DC).
For invertible, and are etale, so the geometric points of are the separable ones, and reduction is injective on torsion over strictly henselian bases (Prime to characteristic multiplication is etale).
A finite abelian -group with elements killed by , whose -torsion has elements is isomorphic to (Fundamental theorem of finite abelian groups: elementary-divisor form); separable closures exist and are unique up to -isomorphism (Assuming Choice, separable closures exist and are base-isomorphic).
Proof
By [F1] is finite locally free of rank ; by [F2] it is etale over , so its geometric points are separable and . In particular has elements, and is a finite abelian -group whose -torsion has elements; by the elementary divisor classification [F3], .
Multiplication by maps into with kernel of order . The order computation in step 1.1 makes its image have order , so it is surjective. Choose a basis of and recursively lift each basis vector through these maps. The lifted vectors form a basis of over : a relation, after applying , has all coefficients divisible by by the basis property in ; multiplying the lifted vectors by gives the original basis of , so the remaining coefficients are zero modulo . Independence and the equal orders then give generation. DC (and hence the assumed AC) permits the countable recursive choice of compatible bases. These compatible bases identify the inverse system with the reductions of , and hence identify its inverse limit with that module.
The projections are surjective by the compatible-basis construction. Their kernel is . Indeed the inclusion from right to left follows because is killed by . Conversely, for a compatible sequence with , put . Compatibility gives , so , and , so . Also , giving the reverse inclusion. This proves .
For (c), an element of acts on coordinatewise and on each by functoriality; the quotient identifications of step 3.1 are -equivariant, so acts trivially on if and only if it acts trivially on each quotient, i.e. on every finite torsion group. This is an elementary group argument on top of the multiplication supplier; no duality statement is asserted, and the choice assumptions of [F1] persist.
Projective weak models and rational mapping
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field , residue field , and strict henselization , and let be an abelian variety over of dimension .
(a) There is a smooth separated finite-type -model of with ; no excellence, bounded-model theorem or flattening hypothesis is used.
(b) A weak model collection for receives every generic rational map from a smooth -scheme with irreducible special fibre as an -rational map into one of its members.
(c) Weak models remain weak after the base change at a generic point of a special fibre.
Facts & Assumptions
Given: AC and DC, a DVR with fraction field , residue field and strict henselization , an abelian variety of dimension , and a weak model collection for .
An abelian variety over is projective, and the schematic closure of in a projective -space is proper of finite type with generic fibre ; proper morphisms satisfy the valuative criterion, and the finite permissible smoothening produces a finite sequence of generically identical special-fibre blowups whose smooth locus contains every -section (Every abelian variety over a field is projective, Valuative criterion for properness, Defect decrease and finite smoothening, Schematic closure and agreement on a dense open, Strict henselization of a DVR and smooth sections).
Over a Noetherian base , a fibre-dense open of a smooth -scheme is schematically dense. A prime filtration of remains a filtration after tensoring with a flat smooth -algebra , with factors . Each factor is flat over the domain and injects into its generic fibre, which is geometrically regular and reduced. Fibre density makes restriction injective on that generic fibre, hence on each factor, and induction makes restriction injective on . This proves density without asserting that the associated primes of are minimal. Flat tensor products preserve finite kernels and equalizers (Finite modules over Noetherian rings admit prime filtrations, Filtered colimits of abelian groups are exact, S-dense open subschemes and S-rational maps).
Domains of -rational maps descend along faithfully flat smooth maps and commute with flat base change, the graph closure being computed by finite kernels of restriction maps; morphisms into a separated target that agree on a schematically dense open are equal (S-dense open subschemes and S-rational maps, An S-rational map defined after a faithfully flat smooth base change is defined, Scheme morphisms satisfy fppf descent, Agreement on a schematically dense open); images of finitely presented morphisms are constructible (Constructible images for finite-presentation affine maps).
Proof
By [F1] choose a projective embedding of over , let be the schematic closure of in the corresponding projective -space, and note that is proper of finite type over with generic fibre . Its chart rings are -torsion-free, since schematic closure contracts the generic ideal, so is flat over the DVR. For every , the valuative criterion of properness extends uniquely to an -point of ; applying the finite permissible smoothening theorem [F1] to produces a finite sequence of special-fibre blowups, proper and generically identical, whose smooth locus contains every such section. The smooth locus of the resulting model is therefore a smooth separated finite-type -model of with , proving (a).
For a fibre-dense open in a smooth scheme over a Noetherian base, apply the filtration argument of [F2] on an affine source chart. More explicitly, a function zero on maps to zero in the last factor's generic fibre, because that fibre is reduced and meets every irreducible component. Flatness over the domain injects the factor into its generic fibre. The function therefore lies in the previous filtration submodule, where it still restricts to zero; induction through the finite filtration gives zero. Thus restriction is injective. The same proof applies after any Noetherian base change for which the source remains smooth and remains fibre-dense, in particular the DVR localizations and strict henselizations used here. Schematic graph closures commute with flat base change because restriction kernels do: compute restriction with a finite affine cover of , use its finite equalizer, and tensor with a flat algebra. No claim that a smooth algebra over an arbitrary Noetherian base has only minimal associated primes is used.
The graph closure of a rational map is computed on a finite affine cover by kernels of restriction maps, so it commutes with flat base change and the domain of definition is the open where the graph projection is an isomorphism; if a faithfully flat pullback of that projection is an isomorphism, affine ring descent gives the isomorphism before pullback by [F3]. Hence domains descend along faithfully flat source maps and commute with flat base changes, and representatives agreeing on a schematically dense open of a separated target are equal. This is the BLR relative-rational-map statement of Chapter 2, Section 5 in the form used below.
For (b), shrink fibre-densely so the generic rational map is defined on its whole generic fibre: the closure of the excluded proper generic closed set is nowhere dense in the smooth irreducible special fibre by the DVR dimension argument. Let be its schematic graph closure for each of the finitely many members of the weak collection, with projection to . After passing to , every rational special point of lifts to a section by [F1]; its generic image extends to a section of some by weakness, and the paired section lies in by schematic closure. These special points are dense. Constructibility [F3] and finiteness of the collection therefore force some image to contain the generic point of the original special fibre (this can be checked after the faithfully flat strict-henselian extension). Choose over . The graph is flat and generically isomorphic to , so and the DVR lie in the same function field. The former is a local ring dominating that DVR; a proper overring of a DVR in its fraction field inverts the uniformizer and cannot dominate it, so the two rings coincide. Finite-type affine presentations and clearing denominators spread this stalk equality to an isomorphism on neighbourhoods of and . Composing its inverse with the other graph projection extends the generic map on an -dense open of , proving (b).
For (c), put and . A point of uses only finitely many coordinates and relations, so it is defined over the fraction field of a pointed local etale neighbourhood of . Spread that neighbourhood to an etale scheme near its special generic point , and spread the point to a generic rational map . Shrink to the open consisting of the generic fibre and the special component containing , so (b) supplies an -rational map into some defined at . Localizing and then passing to extends the given point to an -section of . Thus the base-changed finite collection is weak. The extension may have transcendence degree; no finite-separable identification of the two fraction fields is used.
Rigidification and effective descent of line bundles
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety over a field with identity (Abelian varieties over a field) and let be a -scheme, with , unit section , and projection . Then the rigidified line-bundle functor of The rigidified relative Picard functor and the dual abelian variety is an fppf sheaf on all -schemes, rigidified line bundles have no nontrivial automorphisms, and the normalization identifies the rigidified classes over with .
Facts & Assumptions
Given: AC and DC, an abelian variety with identity , a -scheme , and the base-changed abelian scheme .
For every the unit map is an isomorphism with inverse evaluation along ; in particular every global function comes from the test base (Universal structure-sheaf sections of an abelian scheme, assuming AC and DC).
Global sections are compatible with flat field base change, so the computation of may be done after extending the base field (Global sections commute with extension of scalars over a field); faithfully flat descent of modules and algebras is effective (Faithfully flat descent of modules and algebras is effective).
Proof
For an affine test the universal-sections statement [F1] gives compatibly with base change; on a finite affine Cech cover of the cohomology complex computing is obtained by tensoring the field cohomology complex, whose is , and hence has . It follows that the normalization is well defined on isomorphism classes and identifies rigidified classes with : tensoring by constants is exactly the ambiguity removed by the trivialisation along .
A rigidified line bundle has no nontrivial automorphism: an automorphism of is a unit of acting on , and compatibility with the rigidification forces it to restrict to along ; since is a section, the unit is . Consequently isomorphism data on overlaps of an fppf cover are unique and therefore automatically satisfy the cocycle condition.
Let be an fppf cover and suppose a rigidified line bundle is given on together with an isomorphism of its two pullbacks to ; by step 2.1 this isomorphism is unique and satisfies the cocycle condition, so the usual effective descent for invertible modules [F2] produces an invertible sheaf on ; the rigidification descends because it is a morphism whose pullbacks agree. Hence the rigidified functor is already an fppf sheaf, without invoking representability, and the identification of step 1.1 is compatible with the sheaf structure.
For general one first verifies the assertions over an algebraic closure using the field-compatibility of global sections in [F2] and then descends the resulting identifications along the faithfully flat field extension; the rigidification data are defined over and descend by [F2]. No representability of the Picard functor is used anywhere.
Fibres of abelian schemes and unit-preserving morphisms
Statement
Assume AC and DC. Let be a scheme, let and be abelian schemes of relative dimensions (Abelian schemes over a base), and let . Then:
(a) the fibre is an abelian variety of dimension over ;
(b) the multiplication of is commutative and the inversion is the morphism ;
(c) every -morphism with is a homomorphism of -group schemes;
(d) consequently, on a connected base, any two abelian-scheme group structures on the same smooth proper -scheme with the same unit section coincide.
Facts & Assumptions
Given: AC and DC, abelian schemes , and a point .
An abelian scheme has smooth proper connected geometric fibres of constant dimension (Abelian schemes over a base); the fibre over is the base change to (Scheme-theoretic fibre, Field-valued points and local-ring points).
Every abelian variety over a field is commutative, and a pointed morphism from a smooth geometrically integral group variety to an abelian variety is a homomorphism (A proper geometrically connected group variety is commutative, Pointed morphisms from smooth geometrically integral groups to abelian varieties are homomorphisms, Abelian varieties over a field).
A morphism of abelian schemes over which is constant on every geometric fibre factors through the base (Fibrewise constant morphisms from an abelian scheme factor through the base).
Proof
The fibre is smooth, proper and geometrically connected of dimension over by [F1], hence an abelian variety of dimension ; this is (a).
For commutativity, let be the commutator morphism , using the group law; it sends the unit sections to the unit. For each geometric point of the base, the fibre of over is , and by the field-level commutativity [F2] the commutator is constant, equal to the identity, on each geometric fibre of the second projection; by [F3] applied to the base change (second projection), factors through the base, and evaluating at the first unit section gives , hence as morphisms. This proves the first claim of (b), including nilpotents.
For the inverse: and agree on the closed subscheme by the group axioms, so the inverse is as defined; this is the second claim of (b).
For (c), let satisfy and consider the defect morphism on , using the group law of . On each geometric fibre of the first projection, the field-level pointed-morphism theorem [F2] makes constant, equal to ; by [F3] it factors through the base and evaluation at gives , so is additive; compatibility with the unit is assumed, so is a homomorphism of -group schemes. For (d), two group structures on the same -scheme with the same unit section have an identity morphism which preserves the unit, hence is a homomorphism by (c), and being an isomorphism of underlying schemes it identifies the two structures.
Polarizations and the Mumford isogeny attached to an ample line bundle
Definition
Assume AC for the cited square theorem. Let be an abelian variety over a field (Abelian varieties over a field), and suppose a dual abelian variety with its universal normalized Poincare bundle on has been supplied (The rigidified relative Picard functor and the dual abelian variety).
For an invertible sheaf on the Mumford morphism is the homomorphism of The theorem of the square and the Mumford homomorphism into the Picard group; it is represented by the family on , rigidified along both identity factors, where is the group law, are the projections, is the structure morphism for the constant factor, and is the identity section; in particular , and the map used here has domain .
A polarization of is a homomorphism such that, after extension of scalars to an algebraic closure of , there exists an ample invertible sheaf on (Absolute ampleness by affine section opens) with . A principal polarization is a polarization of degree one, where the degree of a polarization is the finite locally free rank of the associated isogeny, once is known to be an isogeny.
This definition is conditional on the supply of the dual and the Poincare bundle; symmetry under the bidual identification, finiteness and the isogeny property, existence of the dual, and existence and square degree of polarizations are conclusions to be proved in the subsequent commissioned theorem and are not assumed as existence assertions here. Defining these conditional terms does not create a dependency from this definition back to that theorem.
Special fibre torsion growth detects properness
Statement
Assume AC and DC as inherited from the stated suppliers. Let be a field and let be a smooth commutative finite-type -group scheme of dimension . Fix a prime . If for every , then the identity component is an abelian variety over (in particular is proper).
Facts & Assumptions
Given: AC and DC, a field , a smooth commutative finite-type -group scheme of dimension , and a prime with for all .
Over the algebraic closure, the identity component of a smooth connected commutative group variety is an extension of an abelian variety by a smooth connected affine group (Barsotti-Chevalley over a perfect field: unique smooth affine normal subgroup); the affine part has a prime-to-characteristic torsion bound (Prime-to-characteristic torsion bound for affine commutative groups, assuming AC and DC).
On an abelian variety of dimension , (Field prime to characteristic torsion and Tate module). For a finite-type group scheme over a field, the identity is a closed rational point and the diagonal is the inverse image of the identity under , so the group scheme is separated (Group schemes over a base scheme); consequently prime-to-characteristic multiplication has etale finite-type kernel by Prime to characteristic multiplication is etale, and over a field that kernel is finite etale. Thus passage from to changes no torsion points. Geometric properness descends through field extensions (Properness over a field can be checked after field extension).
Proof
Over write with smooth connected affine of dimension and an abelian variety of dimension , so that ; this is the Barsotti-Chevalley decomposition of [F1]. The torsion of maps to with fibres that are torsors under , of cardinal at most by [F1], while by [F2]. Hence .
The group has finitely many connected components, say of them, and translation by a torsion point in a component embeds that component's torsion into (subtracting a torsion point identifies the component with and preserves torsion), so . Comparing with the hypothesis gives for all , which forces .
Therefore is trivial and is an abelian variety. By [F2], each is finite etale, so passage from to changes no torsion points; the count is therefore already available over . Geometric properness of descends from to by [F2], so is proper over and, being smooth connected commutative and proper, is an abelian variety over . This bound suffices for the arithmetic applications and avoids asserting a stronger exact exponent.
Invariant volume and finite minimal classes
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field , uniformizer , residue field . For the model assertions fix an abelian variety and a nonzero invariant top form on ; models are smooth separated finite-type -models of this fixed with nonempty irreducible special fibre. Their order is the valuation of at the special generic point. Two models are equivalent when they have isomorphic -dense opens inducing the identity on .
(a) A smooth -dimensional -group scheme has a nowhere-vanishing invariant top form; on a smooth model with irreducible special fibre, times the generic form extends to a generator, where measures the vanishing of the normalized form.
(b) An -rational, generically identical map between smooth models with irreducible special fibre satisfies , with equality if and only if is etale on its domain; in particular equal orders imply is an open immersion on its domain.
(c) Orders have a finite minimum and there are finitely many equivalence classes of minimal models; minimal representatives remain minimal and cover all minimal classes after the base change at a generic point of a special fibre, after splitting special components.
Facts & Assumptions
Given: AC and DC, a DVR with uniformizer , fraction field and residue field , and a smooth finite-type -group scheme (or a smooth model with irreducible special fibre).
The cotangent space at the identity of a smooth group scheme is locally free of rank the relative dimension and is translation-invariant, so its top exterior power trivializes the sheaf of invariant -forms (Differentials of a smooth morphism, Locally standard smooth iff flat with geometrically regular fibres); Hartogs extension in codimension one and the pure-codimension-one support of zeros of sections are available on regular total spaces (A normal Noetherian domain is the intersection of its height-one localizations, Regular local rings are unique factorization domains, Rational sections of line bundles are Cartier divisors).
A morphism between smooth schemes of equal relative dimension is etale exactly where its relative differential determinant is invertible, and a quasi-finite birational separated morphism onto a normal target with reduced source is an open immersion (Etale morphisms are the formally etale morphisms locally of finite presentation, Scheme Zariski Main factorization for separated quasi-finite morphisms, Regularity ascends and descends along a flat local homomorphism).
A weak model collection receives every generic rational map from a smooth -scheme with irreducible special fibre, and weak models remain weak after base change to a special-fibre generic local ring (Projective weak models and rational mapping).
Proof
On a smooth -dimensional group scheme the cotangent module at the identity is free of rank over the DVR. Choose a generator of its top exterior power and translate it by the group law; the translation trivialization gives an invariant top form which generates at every point, hence is nowhere vanishing. For a smooth model with irreducible special fibre, let be the valuation of its nowhere-vanishing generic invariant form at the special generic point, and write there. The normalized form has neither zeros nor poles along the special component, and none along horizontal prime divisors since the generic invariant form is nowhere zero. Hartogs therefore extends it over the regular total space. Its zero locus would have a prime-divisor component by [F1], but no such divisor is available, so it is a generator everywhere. This proves (a). For an abelian variety, left and right invariance agree by commutativity, so the general bounded modular-character argument is unnecessary.
Let be -rational and generically identical between smooth models with irreducible special fibres. Pulling back the normalized invariant form of along gives a rational form on whose scalar coefficient relative to the normalized form of is times a unit; invariance under the generic identification and the divisor computation of step 1.1 give . If equality holds, the relative differential determinant of is a unit on its domain, so is etale there by [F2]; a generically identical etale separated morphism with reduced source onto a normal target is an open immersion by the Zariski Main Theorem argument in [F2]. This proves (b).
Split a finite weak model collection into its finitely many models with irreducible special fibre. By [F3], every smooth model with irreducible special fibre has an -rational map, generically the identity, into some member . Step 2.1 gives , so the finite minimum of the collection's orders is a lower bound for all model orders. Conversely each is itself a model, so a member attaining that minimum is minimal among all models. A minimal maps into a with the same order; step 2.1 makes that map an open immersion on a fibre-dense domain, giving equivalence with one of the finitely many minimal collection members. After the smooth-DVR base change , [F3] keeps the collection weak, and the uniformizer and the normalized volume orders of its split components are unchanged. The same lower-bound argument therefore preserves the minimum and covers all minimal classes by the base-changed representatives, proving (c).
Cube-derived square over DVR
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , and let be a smooth separated finite-type -group scheme whose generic fibre is abelian, with identity component as in The identity model of a smooth group with abelian generic fibre.
(a) For an abelian variety and every invertible sheaf on , the square obstruction on is pulled back from the first two factors.
(b) Every invertible sheaf on satisfies the theorem of the square for the translation action of .
No Picard representability, dual abelian variety, Chevalley decomposition or Raynaud theorem is used.
Facts & Assumptions
Given: AC and DC, a DVR with fraction field and residue field , a smooth separated finite-type -group scheme with abelian generic fibre, and an invertible sheaf on .
The theorem of the cube: for an abelian variety over a field and every invertible sheaf on expressed in the standard way, the alternating product of its pullbacks under the partial sums is trivial (The theorem of the cube for an abelian variety); the field-level theorem of the square is its two-variable consequence (The theorem of the square and the Mumford homomorphism into the Picard group).
The identity component is an open subgroup scheme with geometrically connected and geometrically irreducible fibres, and its orbits on geometric fibres are the connected components (The identity model of a smooth group with abelian generic fibre).
Smooth total spaces over the DVR are regular, regular local rings are UFDs, so Weil divisors are locally Cartier and generic divisors extend by closing their prime supports; the Cartier divisor/rational section correspondence is available, and scheme Hartogs extends sections defined in codimension one (Regularity ascends and descends along a flat local homomorphism, Locally standard smooth iff flat with geometrically regular fibres, Regular local rings are unique factorization domains, Rational sections of line bundles are Cartier divisors, A normal Noetherian domain is the intersection of its height-one localizations, Scheme Zariski Main factorization for separated quasi-finite morphisms).
Proof
Write the cube identity for in the standard form read as an isomorphism of pullbacks on modulo the constant identity-fibre factors. This is a literal line-bundle pullback identity, and specialising and cancelling the constant factors gives the theorem of the square on the first two factors, proving (a) over without any Picard or duality input.
Now let be an invertible sheaf on and consider the square defect line bundle on : the restriction of the square identity to the generic fibre is supplied by step 1.1 for the abelian generic fibre, and the difference of the two sides extends to a line bundle on the smooth total space. Extend the generic base line bundle on by regular divisor closure using [F3]: the closure of a generic Cartier divisor is Cartier because the regular local rings of the smooth total spaces are UFDs, and Hartogs extends the defining equations in codimension one. The residual square obstruction is then a line bundle with a vertical divisor.
Because has geometrically irreducible fibres by [F2], every vertical prime divisor on is the inverse image of a special-fibre component of , hence is pulled back from the last factor. Restricting the square obstruction to makes the square identity trivial, so the residual line bundle pulled back from is pulled back from ; it can therefore be absorbed into the base line bundle on . Hence the square identity holds for on with the -translation action, proving (b).
The argument uses only the published cube theorem, divisor closure in regular total spaces and the component structure of [F2]; no Picard scheme, dual abelian variety, Chevalley decomposition or Raynaud theorem is used. The same statement applies after the base changes used later, since the hypotheses are stable under flat base change of DVRs.
Hilbert divisor charts and the Picard diagonal
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be a projective geometrically integral scheme over a field . Write for the fppf sheafification of . When a rational point is supplied, normalization along identifies it with the sheaf of -rigidified line bundles; for an abelian variety this is The rigidified relative Picard functor and the dual abelian variety. Then:
(a) sufficiently positive relative effective Cartier divisors with fixed Hilbert polynomial form a finite-type open Hilbert chart ;
(b) on every test of the appropriate open positive-class subfunctor, the pullback of is a smooth proper surjective -scheme, fppf-locally a projective-space bundle. If the test class is represented by a line bundle on , the pullback is . In general it can be a nonsplit form of projective space; when a rational point is supplied, rigidification removes this obstruction;
(c) the diagonal of the Picard sheaf is represented and quasi-compact, and the Picard scheme is separated once representability holds.
Facts & Assumptions
Given: AC and DC, a projective geometrically integral -scheme , and a very ample line bundle on .
The Hilbert scheme represents projective flat families with fixed Hilbert polynomial, and its relative effective-divisor locus is open: on a flat finitely presented family, being cut out fibrewise by a regular element with invertible ideal is open by the local flatness criterion and Nakayama, the bad locus being closed and proper over the base (Projective Hilbert schemes represent all flat finitely presented families, Noetherian fibrewise flatness for a module finite over the target, Assuming the Axiom of Choice, Nakayama's lemma, Proper morphisms are closed, Constructible images for finite-presentation affine maps).
Relative Castelnuovo-Mumford regularity conditions are finitely many higher-cohomology vanishings, the universal finite cohomology complex computes them compatibly with base change, and regularity propagates to all required nonnegative twists; Serre vanishing makes every individual test family locally lie in such a chart (Regularity gives generation, multiplication, and vanishing, Universal finite projective cohomology complex over any base, Cohomology and base change for proper flat coherent families, Serre global-generation criterion for ampleness, Ampleness is invariant under positive powers, Absolute ampleness by affine section opens).
A flat equivalence relation of finite type with a monomorphism to the square, on a separated finite-type scheme with flat projections, has a saturated open with quotient (A flat finite-type equivalence relation has a generic scheme quotient); arbitrary test families descend to finitely generated algebras by finite-presentation spreading (Finite-stage descent of finitely presented schemes and their morphisms, Faithfully flat descent of modules and affine algebras is effective).
Geometrically integral proper fibres have only scalar global functions, and their nonzero sections of invertible sheaves are regular (Global functions on proper integral schemes form a finite extension of the base field). Over arbitrary test algebras, a finite affine Cech cover of the separated -scheme gives , since tensoring over preserves its equalizer. The nonempty smooth locus of a geometrically integral finite-type -scheme has a point over a finite separable extension (A nonempty smooth scheme has a finite separable point). Finite free universal cohomology complexes and affine algebra descent represent and descend the isomorphism locus below; the Picard functor is sheafified as above (Fppf sheaves of sets and sheafification, Sheafification exists for the fppf site, projective space points).
Proof
Fix the very ample on . The relative effective-divisor functor is an open subscheme of the Hilbert scheme by [F1]: being cut out by a fibrewise regular element with invertible ideal is open, and for a fixed Hilbert polynomial the divisor scheme is finite type and quasi-projective. Impose a fixed Castelnuovo-Mumford regularity bound by finitely many higher-cohomology vanishings with respect to ; by [F2] these vanishings propagate to all nonnegative twists and are computed by the universal finite cohomology complex, so they cut out an open positive chart ; do not define openness by an infinite intersection of vanishings. Serre vanishing ensures that after twisting by a sufficiently high power of every individual test family lies locally on its base in such a chart. A line bundle satisfying these conditions has finite locally free sections of positive rank, compatibly with every base change.
Given , choose an fppf covering on which has a line-bundle representative . On its divisor fibre is : fibrewise nonzero sections, including twists by base line bundles, give exactly the relative effective Cartier divisors, since the geometric fibres are integral. Positivity makes locally free of positive rank and compatible with base change by step 1.1. The two pullbacks of these projective bundles have canonical identifications, because both represent the same divisor-class fibre functor; they satisfy the cocycle condition. These projective spaces descend to a scheme: locally their common rank is , the canonical relative anticanonical bundle is and its section algebra and homogeneous embedding equations descend by faithfully flat module/algebra descent. Taking the descended relative Proj gives a projective scheme whose pullback is the projective bundle; the canonical identifications glue these schemes on . Its smoothness, properness and surjectivity follow from the projective-space description after the cover (flatness descends and the geometric fibres are projective spaces). A representative on itself gives the displayed projective bundle directly. If exists, normalize representatives along ; scalar global functions make every rigidified isomorphism unique, so their descent data satisfy the cocycle condition and descend a line bundle on . Without this last conclusion is not asserted. This proves (b) on arbitrary tests.
The linear-equivalence relation is represented: two divisor families are equivalent when their classes agree, whose projections are smooth projective bundles: the test carries the universal divisor line bundle, so the represented-case clause of step 2.1 applies. It is a monomorphism into the square. Hence the generic quotient theorem [F3] applies and yields a nonempty saturated open with a quotient representing the corresponding open subfunctor of the Picard sheaf; all-test statements reduce to finitely generated test algebras by finite-presentation spreading.
First suppose a point is supplied. On a Noetherian product of divisor charts normalize along . Apply [F2] to and , locally choosing finite free complexes in nonnegative degrees. Their degree-zero kernels represent sections on every test, and evaluation at is represented by linear chain maps to (a finite free complex permits such a representative). Impose the finitely many linear equations , , in the product of the two degree-zero affine vector bundles. The product is a global function, hence a scalar by [F4], and its value at is , so . Thus this closed affine scheme represents exactly the unique rigidified isomorphism when one exists. It represents the diagonal and is of finite presentation. For general , pass to a finite separable extension having a rational point by [F4]. The affine representations of the equality-of-classes functor carry canonical descent data, even when the chosen rational points differ on overlaps; affine descent [F3] makes the diagonal affine over . Finite-presentation spreading and fppf-local representatives extend this conclusion from chart products to arbitrary tests.
To check separatedness once representability holds, apply the valuative criterion. After a faithfully flat field extension a rational section is available, so normalize a line bundle on for a DVR whose class is generically zero. Choose inverse generic trivializing sections. Proper coherent cohomology makes their section modules finite over , and flatness of the line bundles injects them into the generic section spaces. Rescale each generic section by a power of the uniformizer until it extends and its reduction is nonzero: a finite torsion-free module over a DVR is a lattice, and the exact sequence for multiplication by the uniformizer makes the reduction map on global sections injective. On the integral special fibre the product of these two nonzero sections is nonzero. Their global product is a scalar by [F4], so it is a unit of . The extended sections are therefore inverse trivializations after rescaling by that unit; normalization at the section makes the generic isomorphism extend uniquely. This proves the valuative criterion, and hence separatedness of the locally finite-type Picard representative.
Finally the universal Hilbert ideal is flat over its Noetherian chart base, and on a fibre where it is a line bundle the Noetherian fibrewise-flatness criterion makes it flat and the finite-flat local-freeness criterion makes it rank one; the locus is open, and proper projection of its failure gives the divisor open in the Hilbert chart. Arbitrary test families descend locally to finitely generated -algebras by finite-presentation spreading of the line bundle and its inverse, so the representing opens and linear-system universal properties apply to every test.
Multiplication by n on an abelian scheme is finite flat, and etale for n invertible
Statement
Assume AC and DC as inherited from the finite-flatness and flatness-by-fibres suppliers. Let be locally Noetherian, let be an abelian scheme of relative dimension (Abelian schemes over a base), let , and let be multiplication by . Then is finite, flat and surjective of degree , and is a finite flat -group scheme of rank . If is invertible on , then is etale and is finite etale of rank .
Facts & Assumptions
Given: AC and DC, a locally Noetherian base , an abelian scheme of relative dimension , and .
On every geometric fibre, multiplication by is finite, flat and surjective with kernel of order ; on an abelian variety, is a finite faithfully flat isogeny of degree (Nonzero multiplication on an abelian variety is finite and faithfully flat).
Properness and quasi-finiteness imply finiteness; quasi-finiteness is checked on fibres (A proper quasi-finite morphism is finite, Finite-fibre and pointwise characterizations of quasi-finiteness); flatness of a finite morphism can be checked fibrewise in the Noetherian setting (Noetherian fibrewise flatness for a module finite over the target); etaleness of an equal-relative-dimension morphism is detected by invertibility of the differential determinant (Étale equals flat and unramified in finite presentation, Differentials of a smooth morphism, Étale morphism of schemes).
The group law of is commutative, so is a group homomorphism, and fibrewise structures are as in Fibres of abelian schemes and unit-preserving morphisms; base change and products preserve abelian schemes (Base change and products of abelian schemes).
Proof
By [F1] every geometric fibre of has finite kernel of order , so is quasi-finite; it is proper because is proper over , hence finite by [F2]. Consequently is finite over and of finite type.
Flatness of follows by applying the Noetherian flatness-by-fibres criterion [F2] to the local tower for , with : smoothness makes flat over , and the field-level multiplication theorem makes the special-fibre module flat over the special-fibre target. Constancy of the rank then follows from the rank on geometric fibres, so is finite flat of degree and has rank .
If is invertible on , then the differential of at the identity is multiplication by the unit on the locally free sheaf of invariant differentials (the differential of the group law is addition), and translation-equivariance spreads this to every point; the equal-relative-dimension criterion of [F2] therefore makes etale, and , being the pullback along the identity section, is finite etale of rank .
An abelian scheme is the Neron model of its generic fibre
Statement
Assume AC and DC. Let be a Dedekind scheme with function field , and let be an abelian scheme (Abelian schemes over a base). Then is a Neron model (Neron models, the Neron mapping property and weak Neron models) of its generic fibre : for every smooth -scheme and every -morphism there is a unique -morphism extending .
Facts & Assumptions
Given: AC and DC, a Dedekind scheme with function field , an abelian scheme , a smooth -scheme , and a -morphism .
For a smooth finite-type -scheme , every -morphism extends uniquely to (K-morphisms from smooth models into abelian schemes extend uniquely).
A smooth morphism is locally of finite presentation; over the locally Noetherian scheme , every point of a smooth -scheme has an open neighbourhood of finite type over (Smooth morphism of schemes, Locally Noetherian and Noetherian schemes).
Two -morphisms from a flat -scheme to a separated -scheme agreeing on the generic fibre are equal. Indeed their equalizer is closed; on a chart over an affine integral open , its ideal vanishes after tensoring with . Flatness makes the chart ring -torsion-free, so that ideal is zero. This argument uses the closed diagonal (Separated morphism of schemes) and generic localization (Scheme-theoretic fibre); it does not require the generic fibre to be open.
Proof
First suppose is of finite type over . Then [F1] gives the unique extension of . This proves the mapping property for finite-type smooth test schemes.
For an arbitrary smooth -scheme , use [F2] to cover it by open subschemes of finite type over . Apply step 1.1 to each restriction , obtaining . On an overlap , the maps agree on the schematically dense generic fibre, so they agree everywhere by [F3]. The glue to an -morphism extending . The same density and separatedness give uniqueness. Thus satisfies the full Neron mapping property; the weak property is a consequence, and no group law on a general model is constructed.
Separated minimal union and translations
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , let be a strict henselization, and let be an abelian variety. Then there exists a smooth separated finite-type faithfully flat -model of , formed by gluing finitely many minimal representatives of along . Moreover, for with smooth of finite type over and a generic point of its special fibre, every translation of by a point of , where , extends to an -birational self-map of which is an open immersion on its -dense domain of definition. This assertion supplies a rational map; it does not assert extension over the omitted points.
Facts & Assumptions
Given: AC and DC, a DVR with fraction field , residue field , a strict henselization , and an abelian variety .
Invariant top forms on smooth models define an order; the normalized-form comparison proves that a birational rational map whose generic isomorphism preserves the chosen invariant form cannot decrease order, and equality makes it an open immersion on its domain. Smooth models over the regular DVR are regular, hence normal. There are finitely many minimal equivalence classes, and their representatives remain minimal after the indicated smooth-DVR base changes, after splitting special-fibre components (Invariant volume and finite minimal classes, Regularity ascends and descends along a flat local homomorphism, Locally standard smooth iff flat with geometrically regular fibres, regular local rings are normal).
A finite weak Neron model collection receives every generic rational map from a smooth DVR model with irreducible special fibre; its weak property and the minimal representatives are compatible with the generic smooth-DVR base changes used here (Projective weak models and rational mapping, Invariant volume and finite minimal classes). Since the special fibres of its smooth finite-type members are regular with finitely many disjoint irreducible components, replacing each member by the finitely many opens consisting of its generic fibre together with one special component preserves the weak property (Smooth morphism of schemes).
The schematic closure of the generic diagonal is flat over a DVR, and a morphism to a separated target is determined by its restriction to a schematically dense open of a reduced source (Schematic closure and agreement on a dense open, Agreement on a schematically dense open).
Compatible identifications along a common open glue schemes; separatedness is equivalent to the diagonal being a closed immersion, and closed immersions are local on the target (Compatible open pieces of ringed or locally ringed spaces glue, Schemes, Separated morphism of schemes, The diagonal morphism, Closed immersions are local on the target).
A separated quasi-finite morphism factors locally as an open immersion followed by a finite morphism; a finite birational algebra over a normal domain is the domain itself (Scheme Zariski Main factorization for separated quasi-finite morphisms, regular local rings are normal).
Proof
Choose finitely many representatives of all minimal equivalence classes using [F1]. For , let be the schematic closure of the generic diagonal . It is integral and flat over by [F3]. Suppose its special-fibre support has dense image in . The ambient product is regular of dimension , and the generic diagonal has codimension there; its closure therefore has dimension . A component of has dimension at most , since it is a height-one component cut out by the nonzero divisor . A component dominating the -dimensional is consequently generically finite over it. At its generic point , the projection is quasi-finite. It is separated and birational, because its generic-fibre map is the identity. On an affine neighbourhood of , [F5] factors it as an open immersion into a finite scheme. The reduced closure of the birational generic component in that finite scheme is finite birational over the normal coordinate ring of and lies in its fraction field, so normality makes it equal to that coordinate ring. Thus is an isomorphism near and . The other projection then gives an -birational map between and ; their minimality and [F1] imply they are equivalent, contrary to their representing distinct classes. The same argument applies to the projection to . Therefore both special-fibre projection images are nowhere dense. Remove their closures from the special fibres, for all finitely many pairs, and write for the resulting open models. The generic diagonal is now closed in each for .
Glue the along their common open generic fibre by the identity. The identity and cocycle conditions hold because every overlap is the same . The resulting scheme is smooth and of finite type over , since these properties hold on its open cover by the . Its diagonal is a closed immersion: on this follows from separatedness of , and on for its image is the closed generic diagonal established in step 1.1; closedness is local on the target by [F4]. Every special fibre remains nonempty after removing nowhere-dense closed subsets, so is surjective; it is flat because it is smooth. Thus is a smooth separated finite-type faithfully flat -model of .
First take . Let be an irreducible component of the special fibre of , and let , an open model with irreducible special fibre. By [F1] it is minimal. Split the finite weak model collection in [F2] into open models with irreducible special fibre; this preserves its weak property. For , apply [F2] to to obtain an -rational map into one such member, with generic fibre . Let be the invariant top form on . On the domain of , the pullback of the normalized generator is times the normalized generator on , because . Regularity of this pullback gives . Minimality of gives the reverse inequality, so the orders are equal. The pullback of the normalized top form is then a unit, so the relative differential determinant is a unit and is etale on its domain. It is separated and birational, hence quasi-finite; [F5] and normality of show it is an open immersion there. In particular is minimal and belongs to one of the finitely many classes represented in step 1.1. Composing with the representative's identity birational map gives an open-immersion extension of into on that domain. Doing this for each gives compatible rational maps because their generic restrictions are all ; they glue to an -rational self-map of . On its domain the glued map still pulls back the normalized invariant top form to a unit, so it is etale; it is birational, and [F5] makes it an open immersion. The same construction for gives the inverse birational map, since the composites agree with the identity on and [F3] gives dense-open agreement.
For a generic smooth-DVR extension , where is smooth and of finite type over and is a generic point of its special fibre, base change the construction to . The weak model property and the representatives' minimality persist by [F1, F2], after splitting the special fibres into their irreducible components. The argument of step 3.1 therefore applies to each component of and every , where , giving the claimed -birational open immersion.
Divisor ampleness and quasi-projectivity of group models
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , and let be a smooth separated finite-type -group scheme with abelian generic fibre.
(a) Every effective Cartier divisor on whose complement is affine and fibre-dense gives an ample invertible sheaf .
(b) is quasi-projective over ; the embedding is produced by an explicit affine-section chart construction and does not apply a proper-source very-ample theorem to .
Facts & Assumptions
Given: AC and DC, a DVR , a smooth separated finite-type -group scheme with abelian generic fibre, and an effective Cartier divisor with affine fibre-dense complement.
A finite cover by affine nonvanishing loci of positive-power sections makes a line bundle ample (Absolute ampleness by affine section opens). For the faithfully flat base extension , ampleness descends as follows. For any coherent on the separated finite-type -scheme, global sections commute with this flat base change: a finite affine cover and its affine intersections compute sections by a finite equalizer. If the pulled-back line bundle is ample, the pulled-back twists of are globally generated for all sufficiently large powers by Serre global-generation criterion for ampleness. The evaluation map downstairs pulls back to that surjective evaluation map; its cokernel is zero by Descent of vanishing along a faithfully flat morphism. Thus all these twists are globally generated downstairs, and Serre's criterion gives ampleness.
Sections over the nonvanishing locus of a section extend after multiplying by powers of that section, and affine-locus covers produce projective embeddings; closed-immersion locality on the target and stable positive powers are available (Extend a quasi-coherent section after multiplying by a power, Generating line-bundle sections define a morphism to projective space, Closed immersions are local on the target, Ampleness is invariant under positive powers, Immersion of schemes).
The identity component has geometrically connected fibres with orbits the connected components, the theorem of the square holds on for the -action, and the affine codimension-one neighbourhood lemma supplies -dense affine opens with effective horizontal Cartier boundary (Cube-derived square over DVR, Affine codimension-one neighbourhoods and divisors, Strict henselization of a DVR and smooth sections).
Proof
By [F1] it suffices for ampleness to exhibit a finite cover of by affine nonvanishing loci of sections of positive powers of , or to descend the same statement along a faithfully flat extension. Fibre-density of the complement means that meets every -orbit, and after base change to a strict henselization the theorem of the square [F3] gives a linear equivalence for suitable translates. The associated sections have nonvanishing loci , where ; for a prescribed geometric point, the two conditions on define dense opens in the geometrically integral -fibre. Section values are dense there by [F3], including after extension of its field: an evaluation injection into the product of the fields of section values stays injective after field extension, as can be checked using finitely many linearly independent coefficients. Hence some section meets both conditions. These loci cover , and quasi-compactness extracts a finite subcover. Each such locus is affine: it is the intersection of two affine opens in the separated scheme over the affine base. The affine-locus definition in [F1] gives ampleness of over the strict henselization, and fpqc ampleness descent in [F1] gives it over . This proves (a).
For (b), choose an -dense affine open supplied by the codimension-one neighbourhood lemma and its effective horizontal Cartier boundary ; by (a) is ample. Choose finitely many affine section opens covering and raise the to a common positive degree; each is a finite-type -algebra with finitely many generators , and the section-extension lemma [F2] extends each to a global section of a sufficiently large common power of , whose ratios to are exactly on .
Including the in a finite global section list with no common zero defines a map by [F2]; on the projective chart for its preimage is and the coordinate-ring map is surjective because the ratios include all generators , so the map is a closed immersion into the union of these projective charts by closed-immersion locality. That union is open in projective space, so the map is a locally closed immersion and is quasi-projective over ; no properness of is used. This proves (b).
Picard representation by generic quotient and translates
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety over an algebraically closed field . Then the rigidified relative Picard functor of (The rigidified relative Picard functor and the dual abelian variety) is represented by a separated locally finite-type -group scheme, with a universal rigidified invertible sheaf, on every test scheme, including nonreduced tests.
Facts & Assumptions
Given: AC and DC, an abelian variety over an algebraically closed field , and the rigidified Picard sheaf of .
The rigidified functor is an fppf sheaf, normalization identifies classes with , and rigidified bundles have no nontrivial automorphisms (Rigidification and effective descent of line bundles, assuming AC and DC).
The Hilbert divisor charts give an open positive chart mapping to as a relatively projective-space bundle, with a represented flat finite-type linear-equivalence relation and a saturated quotientable open whose quotient is an open subfunctor of (Hilbert divisor charts and the Picard diagonal, A flat finite-type equivalence relation has a generic scheme quotient).
Represented fppf sheaves glue along open subfunctors, and closed subsets of finite-type -schemes are detected on closed points with residue field by the Nullstellensatz (Scheme morphisms satisfy fppf descent, Gluing affine schemes along compatible open isomorphisms, Over an algebraically closed field, every maximal ideal is an evaluation ideal).
Proof
Let be the image of the saturated open of the divisor chart in ; by [F2] is an open subfunctor, not merely a set of geometric classes. For a test , restrict to the open on which the pullback has the fixed Hilbert polynomial and the finite positive-regularity conditions of the chart; polynomial local constancy and the finite-cohomology vanishing conditions make open, and finite-presentation descent handles arbitrary tests. Over the divisor map is the faithfully flat open projective-space bundle of sections of [F2], and saturation makes the preimage of invariant under its kernel pair, so it descends to an open of and hence of ; on that open the pullback is represented by the quotient . The fppf sheaf quotient equality identifies with , giving an open immersion of represented functors .
Translate by every rigidified class over , i.e. consider the subfunctors for ; every -valued class lies in such a translate because choosing (nonempty since is a nonempty locally finite-type open) gives . For an arbitrary test, pull the union of the translates back to each finite-type positive divisor chart of [F2] for every polynomial and sufficiently high twist: this pullback is open and contains every closed point of the chart, since closed points have residue field ; its closed complement is therefore empty by the Nullstellensatz [F3]. The positive divisor charts, with twists reversed, cover fppf-locally on every test: locally a sufficiently positive twist has locally free nonzero sections, and a fibrewise nonzero section exists after the projective-space cover of [F2]. Hence every test pulls back to the union of the translates.
The represented open overlaps of the translates with identity transition maps glue along the open cover of step 2.1 to a scheme representing the full functor on all tests, including nonreduced and non-Noetherian tests, by the gluing and descent statements of [F3]; the universal rigidified invertible sheaf is obtained by gluing the universal bundles of the chart quotients, and separatedness was proved on the divisor charts in [F2]. This chart argument does not assume that every geometric class descends to .
Good reduction supplies a Neron model
Statement
Assume AC and DC. Let be a Dedekind scheme with function field and let be an abelian variety over with good reduction over (Good reduction of an abelian variety over a Dedekind scheme). Then admits a Neron model over , namely any abelian scheme model of , and this model is unique up to a unique -isomorphism inducing the specified identity on . In particular, for a discrete valuation ring with fraction field , every abelian variety over with good reduction has a Neron model over , and that Neron model is proper and smooth over .
Facts & Assumptions
Given: AC and DC, a Dedekind scheme with function field , an abelian variety with good reduction, and an abelian scheme model of .
By definition of good reduction there is an abelian scheme with (Good reduction of an abelian variety over a Dedekind scheme).
An abelian scheme over a Dedekind scheme is a Neron model of its generic fibre, and Neron models are unique up to a unique isomorphism over the generic fibre (An abelian scheme is the Neron model of its generic fibre, Neron models, the Neron mapping property and weak Neron models).
Proof
Let be an abelian scheme model of , supplied by [F1]. By [F2] satisfies the Neron mapping property; since is smooth, separated and of finite type, it is a Neron model of .
Any two Neron models of are related by a unique -isomorphism inducing the specified identity on , by the uniqueness clause of [F2], so the model is unique up to unique isomorphism over the specified generic fibre; it is proper and smooth because it is an abelian scheme. In the DVR case the same statement applies to .
Good reduction is stable under base change of the base
Statement
Assume AC and DC. Let be a Dedekind scheme with function field , let be an abelian variety with good reduction over witnessed by an abelian scheme , and let be a dominant morphism of Dedekind schemes with function field (for instance the normalization of in a finite extension , or the localisation of at a point). Then is an abelian scheme and has good reduction over ; the model is the base change of the model . In particular good reduction is preserved by finite extensions of the function field and by localisation of the base. Nothing is asserted about the converse: descent along ramified base change can fail, as recorded on the companion examples page.
In addition, every abelian variety over a number field has good reduction at all but finitely many finite places.
Facts & Assumptions
Given: AC and DC, a Dedekind scheme with function field , an abelian scheme , a dominant morphism of Dedekind schemes, and, for the second clause, an abelian variety over a number field .
Abelian schemes are stable under base change: is an abelian scheme of the same relative dimension, with generic fibre (Base change and products of abelian schemes, Base change of objects, morphisms and properties, Good reduction of an abelian variety over a Dedekind scheme).
Objects and morphisms of finite presentation descend along filtered colimits, and properness descends along such stages (Finite-stage descent of finitely presented schemes and their morphisms, Finite-stage descent of properness for finitely presented schemes); the ring of integers is a free -module of rank the degree and a Dedekind domain, and algebraic numbers have bounded denominators (The ring of integers has rank the degree, Rings of integers are Dedekind domains, Clearing denominators for an algebraic number).
The smooth locus is open, and the perfect complex of cohomology of a proper flat finitely presented sheaf is compatible with base change; a proper geometrically integral fibre has global functions equal to its base field (The smooth locus is open, Proper morphisms are closed, Universal finite projective cohomology complex over any base, Global functions on proper integral schemes form a finite extension of the base field).
Proof
By [F1] the base change is an abelian scheme and its generic fibre is ; hence has good reduction over with model , and since is dominant the function field extension is defined. This proves the base-change stability statements, and no converse assertion is made.
For the number-field clause write as the filtered colimit of the rings , ; by [F2] the finitely presented abelian variety descends to a proper finitely presented model over some , and multiplication, unit, inverse and their finitely many identities descend at a common later stage. The smooth locus of the descended model is open, and its closed nonsmooth locus has closed image under the proper structure morphism and misses the generic point, so inverting one further integer removes it. Smoothness over the Dedekind base then gives flatness of the structure sheaf, and the removed closed set is finite.
Choose the universal finite projective cohomology complex of the structure sheaf over a stage by [F3]. Over its differentials split, so the complex is the direct sum of its finite-dimensional cohomology and contractible pairs; all bases, inverse matrices and chain identities involve finitely many denominators and spread after inverting one further integer. The degree-zero remaining module has rank one because by [F3]. Therefore every geometric fibre has degree-zero cohomology of dimension one by universal cohomology comparison and is connected: a disconnected proper fibre would produce independent nontrivial clopen idempotents. Smoothness gives relative dimension after discarding any components absent generically, whose closed proper images miss the generic point.
The resulting smooth proper finitely presented group scheme with geometrically connected fibres is an abelian scheme by Abelian schemes over a base; the places removed form a finite set of closed points of , and localizing at every remaining place proves that has good reduction there. This supplies the number-field spreading clause directly rather than using base-change stability as a substitute for spreading.
Connected smooth quasiprojective model with proper special fibre is proper
Statement
Assume AC and DC as inherited from the stated suppliers. Let be a discrete valuation ring and let be a smooth separated finite-type quasi-projective -scheme whose generic fibre is an abelian variety. If the special fibre is proper and geometrically connected, then is proper over . Applied to the connected identity model of a smooth group scheme with abelian generic fibre, becomes an abelian scheme.
Facts & Assumptions
Given: AC and DC, a DVR with residue field , uniformizer , and a smooth separated finite-type quasi-projective -scheme with abelian generic fibre and proper geometrically connected special fibre.
The quasi-projective identity model with abelian generic fibre is Divisor ampleness and quasi-projectivity of group models; schematic closures are contracted from the generic fibre, and a smooth scheme is flat hence schematically dense (Schematic closure and agreement on a dense open, Over a principal ideal domain flatness is equivalent to torsion-freeness, Every DVR is a PID).
The perfect-complex machinery for a proper flat finitely presented morphism: the cohomology of is computed by a bounded finite projective complex concentrated in degrees , with naturality in base algebras (Universal finite projective cohomology complex over any base); Noetherian completion is flat and faithfully flat, and properness descends along faithfully flat maps (The completion of a Noetherian ring is flat, Completion of a finite module is extension of scalars, A flat ring map is faithfully flat exactly when it detects proper ideals and is surjective on spectra, Properness descends through fpqc base change); a morphism from a proper source to a separated target is proper (Morphisms from a proper scheme to a separated one are proper), and proper integral fibres have constant functions (Global functions on proper integral schemes form a finite extension of the base field, Projective coherent finiteness and large twist vanishing).
Proof
Properness descends along the faithfully flat completion by [F2], so it suffices to treat a complete DVR. In that case view as an open subscheme of its projective schematic closure in by [F1]; the closure is -torsion-free on coordinate charts because its ideal is contracted from the generic fibre, so is flat over , and because the generic fibre is proper, hence closed in projective space. The finite -module injects into by flatness, and every element is integral over the integrally closed ring , so .
If were disconnected, a nontrivial clopen partition would define compatible idempotents on the nilpotent thickenings , which share the same underlying space. Applying the finite projective complex of [F2] to the proper flat and gives ; finite projective modules over complete are complete and inverse limits preserve kernels, so . The compatible idempotents would therefore produce a nontrivial idempotent in , impossible; hence is connected.
The open immersion has proper source and separated target, hence is proper by [F2], so its image is closed and open and nonempty in the connected ; it is therefore all of , and is an isomorphism. Since the generic fibres already coincide, the closed complement has empty fibres over both points of , hence is empty and is proper over .
Applied to the identity component of a smooth separated finite-type -group scheme with abelian generic fibre: is quasi-projective (Divisor ampleness and quasi-projectivity of group models), smooth separated finite type with geometrically connected fibres, so if its special fibre is proper then is proper by steps 1.1 and 2.1 and is an abelian scheme over . This lemma does not claim that arbitrary smooth connected group models are quasi-projective, and the argument retains the AC and DC assumptions of the perfect-complex supplier.
Abelian scheme torsion specialization is unramified
Statement
Assume AC and DC as inherited from the stated suppliers. Let be a discrete valuation ring with fraction field , residue field and strict henselization , let be an abelian scheme of relative dimension , and let be prime. Then for every :
(a) is finite etale over of rank ;
(b) over , specialization identifies the geometric generic points of with the special separable points, and the inertia group acts trivially on , hence on the Tate module.
Facts & Assumptions
Given: AC and DC, a DVR with fraction field , residue field and strict henselization , an abelian scheme of relative dimension , and a prime .
Multiplication by is finite flat of degree on an abelian scheme, and etale when is invertible on the base; properness and quasi-finiteness imply finiteness (Multiplication by n on an abelian scheme is finite flat, and etale for n invertible, A proper quasi-finite morphism is finite, Prime to characteristic multiplication is etale, Abelian schemes over a base).
The geometric torsion of the generic fibre is and the rank is locally constant (Field prime to characteristic torsion and Tate module).
Over a strictly henselian local ring with separably closed residue field, a finite etale scheme splits as a disjoint union of copies of the base, reduction is a bijection on sections, (Strict henselian etale sections). The chosen valuation determines and inertia (Prime-to-residue-characteristic Tate modules and inertia, Strict henselization of a DVR and smooth sections).
Proof
By [F1] the morphism is finite, flat and of degree , and since is invertible on it is etale; its kernel , the pullback along the identity section, is finite etale of rank by [F2] (the rank is locally constant and equals on the generic fibre of the connected base ). This proves (a).
Base change to : the scheme is finite etale over the strictly henselian local ring with separably closed residue field , so by [F3] it is a disjoint union of copies of ; in particular every geometric generic point is already rational over , and reduction is a bijection between the generic geometric points and the special separable points. Consequently fixes every point of , so the inertia group acts trivially; the same holds on the inverse limit , because inertia acts coordinatewise on the inverse limit and fixes every torsion coordinate. This is the precise finite-etale smooth-proper specialization statement used here; it is not general smooth proper base change for higher cohomology.
Remarks
For a nonhenselian DVR this proves triviality of the chosen inertia subgroup. Equivariance with the residue Galois group concerns the decomposition subgroup of the chosen valuation, not the full absolute Galois group of .
Birational group law
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , let be a strict henselization, let be an abelian variety, and let be the separated minimal model of Separated minimal union and translations. Then the generic multiplication of extends to an -birational associative law on whose universal left and right translations are birational. Here an -birational group law is an -rational multiplication on which is associative wherever the compositions are defined and whose universal translations and are -birational self-maps of .
Facts & Assumptions
Given: AC and DC, a DVR with fraction field , an abelian variety , the separated minimal model of over , and the generic multiplication .
Over , each translation by an -point extends to an -birational self-map of , an open immersion on its -dense domain (Separated minimal union and translations).
Domains of -rational maps, descent of representatives along faithfully flat maps, and equality of morphisms agreeing on a schematically dense open of a reduced source (S-dense open subschemes and S-rational maps, An S-rational map defined after a faithfully flat smooth base change is defined, Scheme morphisms satisfy fppf descent, Agreement on a schematically dense open).
Proof
Let be a generic point of the special fibre of the first copy of , and put and . The canonical map is an -point coming from the first, parameter factor. Apply [F1] to and on the second copy . Their rational-domain open immersions are inverse on fibre-dense open subsets. By finite-presentation spreading (Finite-stage descent of finitely presented schemes and their morphisms) their domains, maps and inverse identities spread over a neighbourhood of in the parameter . Thus and its inverse are defined near all special-fibre generic points of projecting to : after localization these are generic points of the special fibre of , and the local domains are -dense. Every special-fibre component of the product projects dominantly onto a special component of the first factor, since both factors are smooth and their fibre components are geometrically regular. Repeating for its finitely many , and adjoining the generic translation and its inverse on the open generic fibre, gives fibre-dense domains for a rational map and its inverse. On overlaps the maps agree on the generic fibre and hence agree by separatedness and flatness. Restricting the two domains to where the compositions are defined gives inverse open immersions; these restrictions remain fibre-dense by the local inverse construction. Hence is -birational, and its second projection defines an -rational extension of .
Apply the same argument with the second factor as parameter: its canonical -point, not a point of the variable first factor, supplies the translation. This constructs the other universal map and its rational inverse. Both are -birational on fibre-dense open domains.
The two constructions agree generically on the common dense open where both are defined, because both restrict to the generic multiplication of ; by separatedness of and schematic density of the domain ([F2]) they define a single -rational map . Associativity holds wherever the composed expressions are defined: both sides restrict to the associative law of on a schematically dense open, so by [F2] they agree; consequently is an -birational group law with birational universal translations, as claimed.
Coherent Kunneth, the tangent bound and the proper-image dual
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety of dimension over an algebraically closed field . Then:
(a) , and the tangent space of the Picard functor at the origin is ;
(b) the identity component is a smooth proper connected group scheme of dimension ;
(c) every ample invertible sheaf on gives a Mumford isogeny with finite scheme-theoretic kernel.
Facts & Assumptions
Given: AC and DC, an abelian variety of dimension over an algebraically closed field , and an ample invertible sheaf on .
Coherent cohomology over a field is computed by the double Cech complex of two finite separated affine covers, with the Kunneth formula and the vanishing of higher cohomology on affine opens; the cup product makes a graded commutative algebra, and the addition law makes it a connected graded Hopf algebra (Cech cohomology computes quasi-coherent cohomology on a separated scheme, Kunneth over a field, Cup-product laws, Leray spectral sequence for sheaf cohomology, Grothendieck vanishing on a Noetherian space).
The Picard functor is represented by a separated locally finite-type group scheme with universal rigidified bundle (Picard representation by generic quotient and translates); the Mumford map and the theorem of the square are The theorem of the square and the Mumford homomorphism into the Picard group and The theorem of the cube for an abelian variety.
Invariant differentials trivialize : translation identifies the cotangent space at every point with that at the identity (Differentials of a smooth morphism); the identity component of a smooth group over a perfect field is geometrically connected, regular points form a dense open, and regular equals smooth over a perfect field (Connected finite-type groups are geometrically connected, Dense regular loci on every component, Regular equals smooth over a perfect field); ample powers are very ample after a proper morphism and amplify under tensor products and pullback along finite morphisms (Every abelian variety over a field is projective, High powers of an ample line bundle embed a proper scheme, Ampleness is invariant under positive powers, Finite pullback preserves absolute ampleness, Segre embedding and its line bundle, Global functions on proper integral schemes form a finite extension of the base field).
Proof
By [F1] compute by the double Cech complex of two finite separated affine covers: on products of affine intersections the sections are tensor products, the two augmented Cech directions compute cohomology because affine quasi-coherent higher cohomology vanishes, and field Kunneth gives with Koszul signs. The addition law makes a connected graded Hopf algebra in which every element of is primitive. If are linearly independent, apply the -fold coproduct to and project to : the result is the signed sum over permutations of the independent tensors , all coefficients being , so it is nonzero even in characteristic two. Hence and therefore by the vanishing above dimension ; no Borel structure theorem is needed.
The exponential sequence on the dual numbers identifies the rigidified Picard tangent space with , so its dimension is at most by step 1.1.
It remains to justify finiteness of . The kernel is represented by the Picard scheme just constructed, and the normalized family is trivial on by the universal property of the kernel. Over the algebraic closure, is a smooth connected proper subgroup, hence an abelian subvariety: a reduced finite-type group over a perfect field is smooth by translating its nonempty smooth locus. Restricting to and pulling back by makes trivial; it is ample because is ample, inversion is an automorphism and tensor products of ample sheaves are ample. A trivial ample line bundle on a proper integral variety forces dimension zero: a high power embeds it, but all sections of the trivial bundle are scalars, so the embedding is constant. Hence , so is zero-dimensional proper finite type and therefore finite, including its nonreduced structure. This is the EGM argument of the cited chapter; no pre-existing ample-kernel theorem is presumed.
For an ample , the square and cube theorems [F2] with the kernel argument of step 3.1 define with finite scheme-theoretic kernel, hence image of dimension . Since is proper and separated, the image of is closed, connected and of dimension ; at the identity , while its embedding dimension is bounded by by step 2.1. Thus is regular of dimension , and translation makes smooth. The closed image has the same local dimension, so its defining ideal in this regular local domain is zero. It is therefore open and closed in the connected group , hence itself, and is a smooth proper connected group of dimension ; is an isogeny. The identity component represents precisely algebraically trivial classes on all tests: a connected family of line bundles maps into one connected component of the Picard scheme, so differences of its fibres lie in ; conversely the universal bundle on the connected finite-type scheme connects every geometric point to the identity. Since is open, a classifying map factors through it exactly when every geometric fibre class lies there, including on nonreduced tests. Invariant differentials trivialize by [F3].
Strictification
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , let be a smooth separated faithfully flat finite-type -scheme, and let be an -birational group law on with birational universal translations (Birational group law). Then there is an -dense model open on which is a strict birational group law. More precisely, its multiplication is defined on an open , and the two universal translations restrict to open immersions there whose domains and images are dense over each of the two projections. Thus every test-valued first or second coordinate gives a test-birational translation, with cancellation on arbitrary tests. The model open is smooth, separated, faithfully flat and of finite type over . If is already a group scheme and the generic law is its everywhere-defined group law, can be chosen with ; this includes the commissioned abelian minimal model.
Facts & Assumptions
Given: AC and DC, a DVR , a smooth separated faithfully flat finite-type -scheme , and an -birational group law with birational universal translations.
For a quasi-compact open in a smooth of relative dimension , the locus where fails to be dense in a fibre is constructible: the complement has local fibre dimension at most , the locus where the fibre has local dimension is closed by upper semicontinuity, and its image is constructible (Local fibre-dimension bound from polynomial quasi-finiteness, Constructible images for finite-presentation affine maps).
If a constructible subset of a Noetherian space has nonempty irreducible closure , it contains a nonempty open of : write as a finite union of locally closed subsets in . Their closures cover , so irreducibility makes one dense; its closed part is then all of , and it contains the nonempty open . Thus a constructible subset omitting the generic point of an irreducible component has nondense closure in that component. This proves the general topological form used here; Dense constructible subsets contain an open supplies its classical-variety instance. Smooth total spaces over a DVR are regular, and their local rings at special-fibre generic points are DVRs with uniformizer (Regularity ascends and descends along a flat local homomorphism, one dimensional regular local rings are dvrs). These facts prove the special-generic closure exclusion in step 2.1; no assertion about arbitrary constructible closures over a DVR is assumed.
-dense opens are schematically dense and behave well under base change; representatives of -rational maps agree on schematically dense opens of separated targets and descend along faithfully flat maps (S-dense open subschemes and S-rational maps, An S-rational map defined after a faithfully flat smooth base change is defined, Scheme morphisms satisfy fppf descent, Agreement on a schematically dense open).
Proof
Choose an -dense open where is defined and both universal translations and are open immersions; birationality provides such a common domain by intersecting domains of the maps and their inverses. Set , and , all -dense. For each projection , let be its constructible bad-density locus for , supplied by [F1]. Every generic point of every generic or special fibre of lies outside , since contains the generic points of all product-fibre components.
The closure of each omits every fibre generic point. On the generic fibre this follows from constructibility and the first assertion of [F2]. Its generic part has a reduced schematic closure whose ideal is saturated under multiplication by . At a special-fibre generic point , the local ring is a DVR by [F2]. A nonzero proper ideal of that DVR cannot be -saturated: divide an element repeatedly to obtain a unit. The localized closure ideal is nonzero because the generic bad locus is nondense in its integral component. Hence this generic-part closure misses . The special part is constructible within and omits its generic points; [F2] makes its closure nondense there as well. Thus is an -dense open. Set ; over it is dense along both projections.
Define , with images and in . To check density, base change to a field and fix a point . The translation is an open immersion with dense image in the fibre; intersecting that image with remains dense. Its inverse image imposes , so is dense along . The same argument with proves density along . Since preserves and preserves , it also proves dense along and along .
For the remaining densities fix and put over the chosen field. The open immersions and identify respectively with and , dense opens by the construction of . Requiring both input coordinates to lie in cuts two dense opens of , so is dense in . Its -image is , dense along the first projection; its -image is , dense along the second. All domains and images therefore have both-projection density.
The restricted rational law on is associative by its agreement with the original law on schematic dense domains. Its universal translations are the open immersions above, and both-projection density remains schematic density after arbitrary coordinate base change in the smooth family by [F3]. Thus they give the required test-birational translations and cancellation. The open is smooth, separated and finite type; it meets every special-fibre component and the generic fibre, so it is surjective and flat over , hence faithfully flat. If already carries an everywhere-defined group law, choose to include , where both universal translations are isomorphisms. The generic bad loci are then empty, so . This is the BLR model-open strictification needed by completion.
Finite-field descent of the dual and the Poincare bundle
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety over a field . Then the algebraically trivial rigidified Picard subfunctor of is represented by an abelian variety of dimension , together with a normalized Poincare bundle on , and the formation and full universal property are compatible with field extension.
Facts & Assumptions
Given: AC and DC, an abelian variety over a field .
Over an algebraically closed field the entire rigidified Picard functor is represented by a separated locally finite-type group scheme (Picard representation by generic quotient and translates); its identity component is smooth proper of dimension (Coherent Kunneth, the tangent bound and the proper-image dual); the universal rigidified bundle is obtained by evaluation at the identity map of the representative, and its restriction to normalized on both axes gives the Poincare bundle (Rigidification and effective descent of line bundles).
Finite data spread from the algebraic closure to a finite extension: objects and morphisms of finite presentation descend along filtered colimits; morphisms and isomorphisms of finitely presented line bundles also descend to finite stages, and compatible morphisms descend along finite faithfully flat field extensions; and a scheme projective over a finite field extension is projective over the ground field (Finite-stage descent of finitely presented schemes and their morphisms, Finite-stage descent of finitely presented quasi-coherent sheaves, Scheme morphisms satisfy fppf descent, Faithfully flat descent of modules and algebras is effective).
The affine-orbit descent for a finite-field extension applies to a smooth proper connected group scheme whose finite descent orbits lie in affine opens, and the orbit condition follows from Serre vanishing for a high power of a very ample line bundle and sections avoiding finitely many closed specializations (Finite field descent is effective for schemes with affine-contained descent orbits, Every abelian variety over a field is projective, High powers of an ample line bundle embed a proper scheme, Ampleness is invariant under positive powers, Finite pullback preserves absolute ampleness, Projective coherent finiteness and large twist vanishing, Global functions on proper integral schemes form a finite extension of the base field, Segre embedding and its line bundle).
Proof
Work over an algebraic closure and write for the represented full rigidified Picard functor and for its identity component. By [F1], is smooth proper connected of dimension , hence an abelian variety and projective. We establish the algebraically trivial identification directly. The connected components of the locally finite-type scheme are open and closed, and translation identifies them with cosets of . A rigidified line-bundle family on a connected finite-type parameter scheme gives a morphism to , whose image lies in one connected component; therefore differences of its geometric fibre classes lie in . A chain of such differences has the same property. Conversely, restricting the universal rigidified bundle on to gives a connected finite-type family whose identity fibre is trivial and whose fibre at any geometric point has class , proving that every -class is algebraically trivial. For an arbitrary test scheme , its classifying morphism factors through the open subscheme exactly when all geometric fibre classes lie in : the inverse image of the complementary open-and-closed components is empty if it has no geometric point. This argument also retains every nilpotent of , since factorization through an open imposes no reduction. Thus represents the entire algebraically trivial rigidified subfunctor on all tests. Restricting the universal bundle and normalizing on both axes now gives the Poincare bundle.
For arbitrary , spread , a projective embedding, its group operations and the rigidified Poincare bundle from to a finite extension by [F2]. The resulting natural transformation to the algebraically trivial rigidified functor is an isomorphism after base change to . For an affine -test and a rigidified algebraically trivial bundle on , its unique classifying morphism over and the isomorphism with the pulled-back Poincare bundle descend to for some finite extension inside , by the finite-presentation statements of [F2]. Uniqueness is detected after faithful field extension: two classifying morphisms for the same bundle become equal over by [F1], hence were equal already. This also applies on the finite cover's double overlap, including its nilpotents, by tensoring that overlap with over and using the all-test universal property over . Thus the local classifying morphism has equal pullbacks and descends along the finite fppf cover by [F2]; the bundle isomorphism descends by module descent and rigidity. Affine-test extensions glue uniquely, proving the universal property over on every test scheme.
Consequently carries a canonical descent datum over from the uniqueness of representatives of the same base-changed functor; the datum includes the entire nonreduced tensor algebra and satisfies the cocycle by uniqueness. The scheme is smooth, proper, connected, projective over , hence as a -scheme projective too, since is finite and projective. Every finite descent orbit lies in an affine open of this projective scheme: choose a closed specialization of each of its finitely many points; for a high power of a very ample line, Serre vanishing makes the map to the fibres at those finitely many closed points surjective, and a section nonzero at each of them has an affine nonvanishing locus; nonvanishing at a specialization implies nonvanishing at the original point. The exact finite-field descent lemma [F3] now descends , including inseparable .
Module descent gives the Poincare bundle , compatible morphism descent gives the group law and the rigidifications, and the sheaf isomorphism descends, proving the full universal property over and its compatibility with field extension.
Strict law graph calculus
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring, a smooth separated faithfully flat finite-type -scheme, and a strict -birational group law on (Strictification). Then:
(a) embeds into the functor of relative birational self-maps of , and the closure of the multiplication graph in has all three two-coordinate projections which are open immersions with both-projection dense images;
(b) for a section and a point , the section translation is defined at if and only if the law is defined at ;
(c) products of section translations are computed by the graph triple: if the law is defined at the relevant pairs, then where is the third coordinate of the graph.
Facts & Assumptions
Given: AC and DC, a DVR , a smooth separated faithfully flat finite-type -scheme , and a strict -birational group law on .
Strictness: on an open dense over both projections, the universal left and right translations are open immersions with both-projection dense images; the law is associative as an -rational map (Strictification).
The graph of a rational map has a schematic closure containing it as a schematically dense open; since the graph domain is smooth and reduced, the closure is reduced. Schematic density survives product with the flat -scheme . Fibre-dense opens in smooth finite-presentation schemes remain schematically dense after arbitrary test-scheme base change, and two morphisms into a separated target which agree on a schematically dense open agree everywhere (Schematic closure and agreement on a dense open, Projective weak models and rational mapping, Agreement on a schematically dense open).
A finite-type morphism with at most one point in each geometric fibre is quasi-finite. A separated quasi-finite birational morphism from a reduced source to a normal target is an open immersion componentwise: apply Zariski Main locally, then use that a finite birational algebra inside the target's fraction field equals the normal domain (Scheme Zariski Main factorization for separated quasi-finite morphisms, Regularity ascends and descends along a flat local homomorphism, Locally standard smooth iff flat with geometrically regular fibres, regular local rings are normal).
Pullback of a faithfully flat morphism is faithfully flat and detects equality of morphisms: if two maps become equal after pullback along a faithfully flat cover, they were equal before pullback (Faithfully flat scheme morphism).
Proof
For an -scheme , let be the group of -birational self-maps of . Strictness [F1] makes each section act by a -birational left translation , naturally in . This defines . It is a monomorphism: if , then on the common dense domain the maps and from to agree. They factor as the universal right translation after and , respectively. The right translation is an open immersion by [F1], so cancellation gives on that dense open; [F2] makes the open schematically dense, hence the equality holds on . Since is faithfully flat, [F4] gives . Associativity also gives whenever is defined.
Let be the schematic closure of the graph of , with coordinates . On the open locus in where , the maps and are defined. This locus is dense over the first three coordinates by the two-projection density of and the open-immersion property of the strict translations in [F1]. On the intersection with the graph over , associativity makes the two morphisms agree on the dense open where the associative identity is represented; as the target is separated, [F2] gives equality on their common domain. The graph over , after product with the flat scheme , is schematically dense in ; hence [F2] extends this equality to the whole common domain in . Pulling back along any -valued triple shows as -birational maps. In particular, if is defined, then , proving (c); conversely, for fixed any two coordinates of a triple in , the third is unique by the monomorphism of step 1.1 and invertibility in .
Each projection is a monomorphism: for every , a triple satisfies the translation relation of step 2.1, so any two of its coordinates determine the third. It is finite type, hence quasi-finite by [F3]. On the graph over , is the identity onto , while and are the universal left and right translations; these are open immersions with dense images by [F1]. Thus each is birational on every component it meets. The target is normal because it is smooth over the regular DVR . Applying [F3] componentwise shows each is an open immersion. Its image contains respectively , the left-translation image, and the right-translation image, all dense over both projections, so the images are dense over both projections. This proves (a).
The open immersion identifies with an open , and the third coordinate defines on . This is the full domain: any local morphism extending has graph in the closed , since it agrees with the graph over on a schematically dense open. For a section and a -point of , if is defined at , pullback along shows is defined at . Conversely, if is defined at , choose an open neighbourhood on which it is a morphism and consider , , where . On the T-dense open where the strict law defines , this graph factors through ; universal schematic density [F2] therefore makes it factor through on . Hence , so the law is defined there. This proves (b) for every test scheme. For an -section , the graph closure of maps into . Its two projections are finite-type monomorphisms by the monomorphism of and , and are birational because is an -birational map. The target is normal; [F3] makes both projections open immersions with dense images, as used for translate gluing.
Homogeneous bundles and Mumford surjectivity
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety over a field and let be an invertible sheaf on . Then the Mumford homomorphism (Coherent Kunneth, the tangent bound and the proper-image dual) is zero exactly when the class of lies in the connected component ; if is nontrivial and homogeneous, then for every . Over an algebraic closure every homogeneous invertible sheaf is of the form for some and a fixed ample ; the equality holds as a sheaf on all tests.
Facts & Assumptions
Given: AC and DC, an abelian variety , an invertible sheaf on , and a fixed ample invertible sheaf .
Over an algebraic closure the entire rigidified Picard functor is represented on all tests by Picard representation by generic quotient and translates, while its identity component and the dual/Poincare bundle are supplied by Coherent Kunneth, the tangent bound and the proper-image dual and Finite-field descent of the dual and the Poincare bundle. The field-level square homomorphism and cube identity are The theorem of the square and the Mumford homomorphism into the Picard group and The theorem of the cube for an abelian variety. For any test family the normalized square defines a morphism : its fibre classes are translation differences, hence algebraically trivial, and it is rigidified on both axes. Uniqueness and effective descent of rigidified bundles are Rigidification and effective descent of line bundles.
Cohomology of coherent sheaves on is computed by Cech complexes with Kunneth and Leray techniques, and the rigid-factor lemma applies to morphisms from products with an abelian factor (Cech cohomology computes quasi-coherent cohomology on a separated scheme, Kunneth over a field, Leray spectral sequence for sheaf cohomology, Universal finite projective cohomology complex over any base, Cohomology and base change for proper flat coherent families, Grothendieck vanishing on a Noetherian space, Rigidity for a proper geometrically integral factor).
Proper geometrically integral schemes have only scalar global functions (Global functions on proper integral schemes form a finite extension of the base field). For ample , has finite scheme-theoretic kernel over an algebraic closure (Coherent Kunneth, the tangent bound and the proper-image dual).
Proof
Work first over an algebraic closure. The Poincare family on , where , gives through [F1] a morphism ; it is zero on and on . The proper-factor rigidity lemma [F2] makes it zero everywhere, as an identity of morphisms. Thus every family classified by has zero Mumford map, even on nonreduced tests. The normalized square defines the map for any bundle as in [F1]. For a bundle over the ground field it is a homomorphism: the square identity establishes addition on geometric points, and the two resulting morphisms from the reduced to separated therefore agree. For a test family, locally its classifying map lands in a component of the full Picard scheme. Each component is a translate of , and its universal family is a fixed bundle tensored with the Poincare family. Tensor product adds normalized-square maps, so the preceding vanishing makes this family map the base change of the fixed bundle's homomorphism. Consequently the construction gives homomorphisms on all tests and commutes with base change.
Let be a ground-field bundle with ; by the normalized-square universal property its square family is trivial, giving after trivializing the constant identity fibre. Pulling back along gives . If has a nonzero section, inversion gives a nonzero section of ; their product is a nonzero scalar by integrality and [F3], so is trivial. A nontrivial therefore has . If is the least degree with , multiplication pullback followed by restriction along is the identity on , but Kunneth identifies the intermediate group with . This contradiction proves vanishing in every degree. Flat field base change gives the same vanishing over the original field.
Over an algebraic closure suppose has zero Mumford map but is not for any , and put . On a -fibre it is the nontrivial bundle , whose Mumford map is zero by step 1.1. Step 2.1 and the universal cohomology complex give , hence . On a -fibre its class is , since the other factors are constant lines; it has zero cohomology away from the finite kernel supplied by [F3]. All thus have finite support. They have no higher cohomology, so the second Leray sequence identifies their global sections with and makes every direct image zero. Derived base change then makes every fibre cohomology zero, contradicting the trivial bundle on the fibre at . Therefore every such is a Mumford translate for the fixed ample .
A zero-Mumford test family has, by step 3.1 on each geometric fibre, all its fibre classes in the open identity component of the represented Picard scheme. Its classifying map therefore factors through , including its nilpotent structure; no reduced-test argument is used. Conversely, step 1.1 makes every -classified family have zero Mumford morphism. Thus the kernel sheaf is exactly on all tests over an algebraic closure. Rigidified bundle descent and the field-compatible dual of [F1] descend this equality to . This proves the asserted criterion, vanishing and geometric surjectivity.
Separated translate gluing
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a strictly henselian discrete valuation ring with fraction field and residue field , let be a smooth separated finite-type -scheme with a strict -birational group law , and let be an -section of . Then gluing to a left translate along the closed section-translation graph produces a smooth separated finite-type -scheme containing as an -dense open subscheme and extending the strict law to a strict law on .
Facts & Assumptions
Given: AC and DC, a strictly henselian discrete valuation ring , a smooth separated finite-type -scheme with a strict birational group law , and a section .
For a strict law the graph closure of the section translation has two-coordinate projections that are open immersions with dense images, and section translation is defined at exactly when the law is defined at (Strict law graph calculus).
Gluing along open subschemes is available, and rational maps agree when they agree on schematically dense opens of separated reduced targets and descend along faithfully flat maps (Gluing affine schemes along compatible open isomorphisms, S-dense open subschemes and S-rational maps, An S-rational map defined after a faithfully flat smooth base change is defined, Scheme morphisms satisfy fppf descent, Agreement on a schematically dense open).
A separated quasi-finite birational morphism with integral source and normal target is an open immersion, by the finite-birational component argument in Scheme Zariski Main factorization for separated quasi-finite morphisms. Smooth schemes over a DVR are regular and normal, as established in [F1].
Proof
Let be the graph closure of the section translation ; by [F1] its two projections are open immersions onto -dense open subschemes. Gluing to a copy along is therefore gluing along an open subscheme, giving a smooth finite-type -scheme containing as an -dense open subscheme; the closedness of the graph in the separated product makes separated.
Write for the canonical copy map, which extends the left translation by on its original domain. Let be the strict-law domain in , with translation images and . On define . On , consisting of with and , define . Together with on these morphisms agree on overlaps by associativity and schematic density [F2], and give on . For any fixed , strictness makes the conditions on in dense: right translation by is birational, and the domain of right translation by is dense. Thus is dense along its second projection. The domains and are dense along the first projection; since is fibre-dense in , these facts make dense along both projections of . No definition on the whole fourth chart is needed for this density assertion.
The universal translations on each of are open immersions: on conjugate the original translations by the copy isomorphism ; on compose the original translations with the open-immersion right translation by and with . Hence the glued translations are quasi-finite. They are birational and separated, and their source and target are regular componentwise; [F3] makes them open immersions. The left-translation image contains and , so it is dense along both projections. The right-translation image contains and , giving first-projection density and second-projection density over . Over a second coordinate , its image from is the set of products on the dense domain just described; the composite of the birational right translations by and has dense image in , hence in . This gives second-projection density over as well. Thus is strict. Associativity follows from its agreement with on schematically dense domains.
Dual isogenies, Cartier-dual kernels and canonical biduality
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let and be abelian varieties over a field and let be an isogeny, that is, a surjective homomorphism whose scheme-theoretic kernel is finite; write , so is finite flat of degree . Let be the dual abelian varieties with normalized Poincare bundles (Finite-field descent of the dual and the Poincare bundle, The rigidified relative Picard functor and the dual abelian variety). Then:
(a) [dual isogeny] the rule on -points defines a homomorphism of abelian varieties, and is contravariantly functorial in ;
(b) [kernel] there is an isomorphism of -group schemes onto the Cartier dual of (Finite Cartier duality, exactness and exponent);
(c) [degree] is finite flat of degree ;
(d) [biduality and functoriality] the canonical morphism given on -points by the class of the switched normalized Poincare bundle is an isomorphism. For composable homomorphisms and , duality satisfies , , and . It is additive: for homomorphisms with the same source and target, . The kernel and degree assertions in (b) concern isogenies.
Facts & Assumptions
Given: AC and DC, abelian varieties over a field , an isogeny with kernel and degree , and the dual abelian varieties , with normalized Poincare bundles.
The dual abelian variety represents the degree-zero rigidified relative Picard functor on all -schemes, with normalized Poincare bundle on , and the formation is compatible with field extension; moreover the rigidified relative Picard functor is an fppf sheaf and rigidified line bundles have no nontrivial automorphisms (Finite-field descent of the dual and the Poincare bundle, Rigidification and effective descent of line bundles, The rigidified relative Picard functor and the dual abelian variety).
For every invertible sheaf on an abelian variety and every test scheme the Mumford homomorphism vanishes exactly when the class of lies in ; when is normalized along the identity and , one has , and the Mumford map is compatible with pullback along homomorphisms: (Homogeneous bundles and Mumford surjectivity, The theorem of the square and the Mumford homomorphism into the Picard group). Every abelian variety is projective and hence admits an ample invertible sheaf (Every abelian variety over a field is projective).
Finite Cartier duality is an exact contravariant equivalence on finite commutative -group schemes, of rank represents the all-test characters , and is killed by (Finite Cartier duality, exactness and exponent).
The quotient exists as a separated finite-type -group scheme, the projection is faithfully flat of finite presentation with scheme-theoretic kernel and is an -torsor; any homomorphism of finite-type -group schemes with trivial kernel is a closed immersion (Normal subgroup quotients of finite-type group schemes exist as fppf scheme quotients, Finite-type algebraic group monomorphisms are closed immersions).
Modules and commutative algebras with descent data along a faithfully flat map are effectively descended, the descent equivalence is monoidal, and finitely generated locally free modules are detected after faithfully flat base change (Faithfully flat descent of modules and algebras is effective).
For every abelian variety (in particular , and their duals) and every base change the unit map is an isomorphism; in particular , so every unit on is a unit pulled back from (Universal structure-sheaf sections of an abelian scheme). The theorem of the cube holds for abelian varieties, and multiplication is finite faithfully flat of rank with finite locally free kernel (The theorem of the cube for an abelian variety, Nonzero multiplication on an abelian variety is finite and faithfully flat).
Proof
The kernel is a finite -group scheme, and since exists and the homomorphism has kernel , the induced morphism is a closed immersion [F4] which is surjective because is surjective; since is reduced, a surjective closed immersion into has zero defining ideal and is therefore an isomorphism, so is the quotient map and in particular a faithfully flat -torsor of finite presentation of degree .
For a -scheme and a rigidified line bundle on define ; this is a rigidified line bundle on (pullback of the rigidification), and it is degree zero: for one has , so by [F2] , hence . The rule is compatible with base change in and with tensor products, and pullback of bundles is contravariant, so is a contravariant additive functor; since source and target are represented by and , Yoneda's lemma promotes to a homomorphism of -group schemes.
The canonical morphism is defined by the switched normalized Poincare bundle: for a test , the pullback is a rigidified line bundle on which is degree zero along , hence it represents a morphism by the universal property [F1], and is a homomorphism of group schemes because the biextension identities of are multiplicative in the second variable, which is the theorem of the cube [F6].
We compute . Let be a -scheme and let , so there is an isomorphism of rigidified line bundles. Since is an -torsor [step 1.1], the pair is exactly a descent datum for the trivial line bundle along : an isomorphism over satisfying the cocycle condition. Write for the unit attached to ; by [F6] every such unit is pulled back from . The cocycle condition becomes in , so is precisely an -valued character, that is, an element of by [F3].
The character in step 2.1 is independent of the chosen trivialization: changing it by a base unit conjugates the scalar action trivially. Conversely, a character gives an -linearization of ; monoidal effective descent [F5] gives a line bundle on with and an induced rigidification. It remains to place in on the entire test scheme. Since by [F3], , so its -th tensor-power descent datum is trivial and is rigidified-trivial. Multiplicativity of the normalized square family gives by [F2]. Thus the pointed morphism factors through the finite affine -group supplied by [F6]. The universal structure-sheaf equality for in [F6] identifies maps to this relative affine target with algebra maps to , so the morphism factors through ; evaluation at the identity makes that factor the zero section. Hence on all tests, and [F2] gives . The constructions are inverse and natural, and tensor products agree with products of characters. Therefore as fppf group sheaves, and hence as group schemes by representability.
Consequently is finite (its kernel is finite) and , so its image is a closed connected subgroup of dimension , hence all of ; thus is an isogeny. Applying the quotient-torsor argument of step 1.1 to it proves finite flatness, with , using that Cartier duality preserves ranks [F3].
To prove that is an isogeny, choose an ample line bundle on and put , , an isogeny by [F2]. Let and be the normalized Poincare bundles of and . By the definition of , on . The defining dual-pullback identity also gives . Pulling these identities to identifies with . The normalized bundle is symmetric, so the universal property of yields . Every pullback in this comparison has the displayed product domain; in particular lies on . Since has finite kernel, does too, and equal dimensions make its proper image all of . The quotient-torsor argument makes it a finite flat isogeny.
Degrees multiply for compositions of isogenies, and by step 4.1 applied to we have . Taking degrees in gives , hence ; a finite flat morphism of degree one is an isomorphism, so is an isomorphism.
Finally, and are immediate from . For homomorphisms with common source and target, the cube identity gives for every degree-zero rigidified bundle on [F2]; hence , which is under the tensor group law of . The identity follows from the definition of by the switched normalized Poincare bundles and uniqueness of representing morphisms, since both sides are represented by the same pullback of the switched bundle.
Theta extensions, splitting and isotropic descent
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety over a field and let be an invertible sheaf on , with Mumford homomorphism and the closed subgroup scheme of Homogeneous bundles and Mumford surjectivity.
(a) [theta group] For every finite subgroup scheme the theta group is a central extension of fppf sheaves of groups whose commutator factors through an alternating bilinear pairing . The pairing satisfies on subgroups mapped by the homomorphism into , and on subgroups of ; moreover whenever .
(b) [splitting of commutative extensions] Let be algebraically closed and let be an extension of commutative fppf sheaves of groups with finite commutative. Then the extension splits: there is a homomorphism with composite equal to the identity.
(c) [isotropic descent] Let be algebraically closed, let be finite and suppose is trivial on . Then admits an -linearization and descends along the isogeny : there is a line bundle on the abelian variety with .
Facts & Assumptions
Given: AC and DC, an abelian variety over a field , an invertible sheaf on with and , and a finite subgroup scheme .
The dual abelian variety and the normalized Poincare bundle exist and satisfy the all-test universal property; the Mumford map is a homomorphism with as a sheaf on all tests (Finite-field descent of the dual and the Poincare bundle, Homogeneous bundles and Mumford surjectivity).
Automorphisms of an invertible sheaf are scalars: as an fppf sheaf, and rigidified line bundles have no nontrivial automorphisms, so the only automorphisms of a translation isomorphism compatible with a fixed trivialization are scalars (Rigidification and effective descent of line bundles).
Cartier duality is an exact contravariant equivalence on finite commutative -group schemes, , and a finite commutative of rank is killed by (Finite Cartier duality, exactness and exponent).
For a finite subgroup of a separated finite-type group scheme the quotient exists as an abelian variety and is a faithfully flat -torsor of finite presentation; every homomorphism of finite-type -group schemes with trivial kernel is a closed immersion (Normal subgroup quotients of finite-type group schemes exist as fppf scheme quotients, Finite-type algebraic group monomorphisms are closed immersions).
Modules and algebras with descent data along faithfully flat maps are effectively descended, and morphisms of schemes descend along fppf covers; an fppf-covering morphism is submersive, so images and open conditions may be checked after the cover (Faithfully flat descent of modules and algebras is effective, Scheme morphisms satisfy fppf descent, Fpqc covers are universally submersive).
A nonempty finite scheme over an algebraically closed field has a rational point (Over an algebraically closed field, every maximal ideal is an evaluation ideal); for a unit on a scheme the finite free cover is faithfully flat and makes an -th power, so on is an fppf epimorphism (A flat ring map is faithfully flat exactly when it detects proper ideals and is surjective on spectra).
Proof
Define the theta functor on -schemes by letting be the set of pairs with and an isomorphism of line bundles on , where is translation. The product makes a group sheaf for the fppf topology, with unit ; the projection , is a homomorphism onto , as an fppf sheaf: for the difference is pulled back from a line bundle on , which becomes trivial on an fppf cover, and conversely such a local isomorphism makes its rigidified Picard class zero.
The scalars act on each pair by , exhibiting as a central subgroup with ; conjugation by on is trivial because is commutative, and the commutator lies in since is commutative. Its value is the scalar (with the evident identifications), which depends only on the classes of modulo scalars by [F2]; thus it defines a pairing , alternating because , and bilinear because the commutator is multiplicative in each variable. The identity is immediate from pullback of automorphisms, from the tensor product of automorphisms, and for since then and the pairing is constant on the complete variety .
We prove (b). Let be a commutative extension with finite commutative of rank , and let be algebraically closed. Since is killed by [F3], the endomorphism lands in , so is a homomorphism whose restriction to is . Let , a subgroup sheaf of containing . For an fppf-local point lift to ; then and is an fppf epimorphism on [F6], so locally and maps to ; hence is an fppf epimorphism with kernel , i.e. is a -torsor over the finite scheme and is therefore representable and finite.
Restricting along the closed immersion gives the central extension of fppf group sheaves whose commutator is the restriction of ; this is statement (a).
By Cartier exactness [F3] the dual is an fppf epimorphism of finite commutative group schemes. As is nonempty finite over the algebraically closed field , it has a rational point, so , and surjectivity on -points (a morphism of finite type schemes over an algebraically closed field which is fppf surjective is surjective on closed points) provides a character whose restriction to is the tautological character.
Consider the multiplication morphism , . It is an fppf epimorphism: for with and locally , the element lies in , so ; its kernel is , so is a -torsor. The morphism satisfies for , hence is invariant under the kernel and descends along the fppf cover to a morphism [F5]. On one has , and is a homomorphism because is multiplicative and , hence , is commutative. Therefore , , is an isomorphism with inverse , and is an isomorphism; the extension splits.
We prove (c). If is trivial on , then every commutator in is trivial, so is commutative; by (b) the extension splits. A homomorphic section assigns to each an isomorphism with , which is precisely an -linearization of covering the translation action of on .
With this linearization, is an -equivariant line bundle on the -torsor [F4]; the fppf descent equivalence of modules [F5] produces a line bundle on with . The descended module is invertible of rank one because is faithfully flat and rank-one local freeness is checked after such base change; this proves (c).
Poincare cohomology at the identity
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety of dimension over a field , let be its dual and let be the normalized Poincare bundle on , with second projection . Then for , and is the length-one skyscraper sheaf at the origin of . In particular the statement retains infinitesimal scheme lengths and does not replace the origin by its reduced point.
Facts & Assumptions
Given: AC and DC, an abelian variety of dimension over a field , its dual with normalized Poincare bundle on and second projection .
The Poincare bundle is the universal rigidified line bundle; for every the fibre is the corresponding degree-zero line bundle on , and it is trivial exactly at (Finite-field descent of the dual and the Poincare bundle, Homogeneous bundles and Mumford surjectivity).
Every nontrivial homogeneous invertible sheaf on has vanishing cohomology in all degrees, and for all tests (Homogeneous bundles and Mumford surjectivity).
For a proper finite presentation flat family there are an integer and a bounded complex of finite free -modules concentrated in degrees , together with a canonical isomorphism for every -algebra ; the sheaves are coherent, and a coherent module on supported at the closed point has finite length (Universal finite projective cohomology complex over any base, Cohomology and base change for proper flat coherent families).
Cohomology of coherent sheaves on an abelian variety is computed by Cech complexes with Kunneth, Leray and cup-product structure, and vanishes above ; and by Serre duality and triviality of the canonical bundle (Cech cohomology computes quasi-coherent cohomology on a separated scheme, Kunneth over a field, Cup-product laws, Leray spectral sequence for sheaf cohomology, Grothendieck vanishing on a Noetherian space, Serre duality for locally free sheaves on a smooth projective variety).
Over a regular local ring of dimension with regular parameter system , the powers form a regular sequence, so each Koszul complex has no cohomology below degree ; filtered colimits of modules are exact, so the Cech complex on has for (Regular Sequences Give Acyclic Koszul Complexes, regular local rings are domains and cohen macaulay).
Minimal finite free complexes over a local ring are obtained by splitting off contractible summands; their differentials vanish after reduction to the residue field, and a finite-length submodule of a free module over a domain of positive dimension is zero (Assuming the Axiom of Choice, Nakayama's lemma, Completion of a finite module is extension of scalars).
Two projective resolutions of the same module over a ring are homotopy equivalent, and chain maps between resolutions lift the identity; enough projectives and comparison lifts are available (Projective resolutions of the same object are homotopy equivalent over that object, A morphism has a comparison lift between the supplied projective resolutions, A chosen chain of projective epimorphisms gives a projective resolution).
Proof
Put and , a regular local ring of dimension . For the fibre is a nontrivial degree-zero bundle on , hence a nontrivial homogeneous bundle; by [F2] all its cohomology vanishes, so the formation of is supported at the closed point , and by [F4] for and .
Local acyclicity claim. Let be a bounded complex of finite free modules over the -dimensional regular local ring with for and all of finite length. Then for . For the proof choose a regular parameter system and let be the augmented Cech complex in degrees . By [F5] is the filtered colimit of the Koszul complexes on , each with no cohomology below , so for . Form the bounded double complex . Computing first, its page vanishes in degrees below because does and starts in degree , so the total cohomology vanishes below . Computing first, each is a direct sum of localizations and hence flat, so ; since is finite length it is killed by a power of the maximal ideal, and lies in the maximal ideal, so every nonempty localization of vanishes: for and . The second spectral sequence degenerates and identifies the total cohomology in degree with ; comparing with the first computation gives for .
Since is proper and is flat over , applying [F3] over produces a bounded finite free complex; cancel its contractible summands over the local ring to obtain a minimal complex . Its reduction has zero differentials, and fibre cohomology vanishes above , so its terms vanish above . Thus lies in degrees with canonical isomorphisms for every -algebra ; in particular is a finite-length -module by [F3] and step 1.1, and , with degree-zero and degree- dimensions one by [F4]; after minimalization these determine the endpoint ranks.
Apply the local acyclicity claim to : for , so by step 1.1 the complex has cohomology only in degree , where is a finite-length -module. Form the shifted dual complex , so with the usual dual signs; it is again a bounded complex of finite free modules in degrees . Away from the closed point the finite-length cohomology of localizes to zero, so becomes split exact there and hence so does its dual ; therefore each is supported at the closed point and has finite length. The local acyclicity claim applied to gives for .
If , the smooth geometrically connected zero-dimensional pointed variety is , as is its dual, so the conclusion is immediate. Suppose . The minimal complex of step 2.1 has endpoint ranks one, since . Thus , and the dual complex has endpoint ranks one too. By step 3.1 its sole cohomology is the terminal cokernel , where is the ideal generated by the entries of its last differential, equivalently by the entries of the first differential . The module has finite length, and minimality ensures .
Tensor with . Its first differential vanishes because all entries lie in , and it has no negative terms, so . The universal cohomology identification of [F3] turns the basis vector of into a section of over . Its reduction is a nonzero section of , hence nowhere zero. Since the Artinian local scheme has the same underlying point as , Nakayama makes this section a trivialization everywhere; normalize its value at the identity to give a rigidified trivialization. The universal property [F1] therefore makes the classifying map factor through the origin. As this map is the natural map induced by , it follows that . Hence and .
Thus is a minimal finite free complex over concentrated in degrees with for and ; it is a minimal free resolution of shifted by . Comparing it with the Koszul resolution of on a regular parameter system by chain lifting [F7] shows that the two complexes are homotopy equivalent, and dualizing back by (an exact anti-equivalence on finite free complexes, carrying the Koszul resolution to its dual) yields that is quasi-isomorphic to : the dual Koszul complex has sole cohomology in degree . Therefore for and as an -module.
Translating step 6.1 back through the identification of step 2.1 gives for and a coherent sheaf supported at with stalk , i.e. the length-one skyscraper ; the identification is natural in the local ring, so the global statement follows.
Finite translate completion and uniqueness
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , let be a strict henselization, and let be a smooth separated faithfully flat finite-type -scheme with a strict -birational group law. Then finitely many section translates of yield a smooth separated finite-type -scheme on which the multiplication of is everywhere defined, and is an -group scheme containing as a fibre-dense open subscheme. Any two group completions of the birational law are canonically isomorphic. The uniqueness assertion also holds after arbitrary base change: more generally it holds for smooth separated finitely presented group schemes over a base containing the same smooth faithfully flat finitely presented fibre-dense open with the same strict law.
Facts & Assumptions
Given: AC and DC, a DVR with fraction field and residue field , a strict henselization , and a smooth separated faithfully flat finite-type -scheme with a strict birational group law .
The strict graph has open-immersion two-coordinate projections and both-projection dense images; section translation is defined at a point exactly when the law is defined at the pair (Strict law graph calculus). Gluing a left translate along its closed graph preserves smoothness, separatedness, finite type and strictness (Separated translate gluing).
Over the strictly henselian base every dense open of either fibre is met by a section, and sections meet all fibre-dense opens (Strict henselization of a DVR and smooth sections); rational maps descend along faithfully flat maps and agree on schematically dense opens of separated targets (S-dense open subschemes and S-rational maps, An S-rational map defined after a faithfully flat smooth base change is defined, Scheme morphisms satisfy fppf descent, Agreement on a schematically dense open).
Proof
Successively glue translates whenever a section translation of the original is not defined everywhere as a map . Let be the domain of its original multiplication with values in . By the graph open-immersion property [F1] these are increasing opens of the fixed Noetherian scheme . If the next translation is undefined at , its newly glued translate defines it there; graph calculus then puts in . Such strict increases cannot continue indefinitely in a Noetherian space. Thus for a finite enlargement , every original section translation is everywhere defined.
Fix a geometric pair in . Strict graph calculus [F1] makes the auxiliary locus of where and is in the original law domain open and fibre-dense in . By [F2] some section meets this locus: on the special fibre use smooth section lifting, and on the generic fibre use the generic-open assertion on a component with nonempty special fibre. Then the map is defined near the pair, since its inner product lies in the original and is everywhere defined by step 1.1. Associativity identifies this map with the original rational multiplication. It follows that the extended strict law on is a morphism on the entire original .
To extend the law to all of , choose an auxiliary at a generic point of the fibre over a given pair . The strict graph projections [F1] put and on a fibre-dense open auxiliary locus. Their product is defined by step 2.1, and associativity gives . This gives the rational law a regular representative on a smooth faithfully flat auxiliary cover, so domain descent [F2] makes it regular at . The same argument makes the division map regular everywhere. The strict translation monomorphism into the relative birational-map group, supplied by [F1], now identifies with a subset closed under multiplication and division for every test . It is nonempty since faithful flatness and smoothness over the strictly henselian DVR give an -section. Hence it is a subgroup: division gives the unit and inverses, and associativity holds by the strict law and schematic density. These natural operations are scheme morphisms by their construction, so is the claimed smooth separated finite-type group completion.
For uniqueness over a base , let be smooth separated finitely presented group completions containing the same smooth faithfully flat finitely presented fibre-dense . Each acts faithfully by birational translations on for every test : the domain is fibre-dense, and equality of translations implies equality of the translating sections after the faithfully flat dense domain cover of . The multiplication map is smooth, since it is a restriction of group multiplication, and surjective: in each geometric fibre, for a prescribed , the dense opens and intersect. It is quasi-compact and locally finitely presented. On the kernel pair of , two pairs from have the same product in , hence the same product of birational translations of by [F1]; faithfulness for makes their -images equal. Fppf morphism descent [F2] gives with composite equal to . Reversing the roles gives an inverse, by surjectivity of the covers. The isomorphism fixes (compare translations, using their faithful action) and preserves group multiplication by the same comparison. Faithfulness also proves uniqueness. This proof applies to arbitrary pullback bases, including the tensor-product bases used for descent.
Symmetric homomorphisms are Mumford maps
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety over a field , and let be a symmetric homomorphism, that is, under the canonical biduality identification (Dual isogenies, Cartier-dual kernels and canonical biduality, Polarizations and the Mumford isogeny attached to an ample line bundle). Then there is a finite separable field extension and an invertible sheaf on with . In particular the conclusion holds over every separably closed field, including fields of characteristic two.
Facts & Assumptions
Given: AC and DC, an abelian variety over a field and a symmetric homomorphism .
Dual isogenies, their Cartier-dual kernels, degrees and the canonical biduality are constructed in Dual isogenies, Cartier-dual kernels and canonical biduality; the Poincare bundle is the universal normalized bundle (Finite-field descent of the dual and the Poincare bundle).
For put ; the biextension identities give , so for symmetric one has , and the commutator pairing of has values in on (Dual isogenies, Cartier-dual kernels and canonical biduality, Theta extensions, splitting and isotropic descent).
If is algebraically closed and is finite with trivial on , then descends along : there is a line bundle with when (Theta extensions, splitting and isotropic descent).
Over an algebraically closed field the rigidified relative Picard functor is represented by a separated locally finite-type group scheme with a universal rigidified bundle; the Mumford map depends only on the class of the bundle modulo , and as a sheaf (Picard representation by generic quotient and translates, Homogeneous bundles and Mumford surjectivity).
The locus where coherent equations vanish is represented by closed subschemes compatible with base change, projective twists of coherent ideals on a projective family are eventually globally generated, their cohomology is finite and vanishes in high degree, and finite-field scheme descent is effective when the finite descent orbits lie in affine opens (Finite field descent is effective for schemes with affine-contained descent orbits, Eventual generation of coherent projective twists, Projective coherent finiteness and large twist vanishing, Cohomology and base change for proper flat coherent families, Scheme morphisms satisfy fppf descent).
Multiplication is finite faithfully flat of rank and is an fppf epimorphism (Nonzero multiplication on an abelian variety is finite and faithfully flat); a nonempty smooth finite-type scheme over a field has a closed point with finite separable residue field (A nonempty smooth scheme has a finite separable point).
Proof
Work first over an algebraic closure of and write again for . Put and . The Poincare biextension identities expand into . Thus the normalized square family of is the product of the two cross families. The first represents , and the switched second represents by the defining dual-pullback and biduality identities in [F2]. Hence . Tensor multiplicativity gives , so .
Now let be arbitrary and consider the fppf sheaf on -schemes whose -points are the relative Picard classes of invertible sheaves on , normalized along the identity with . If and , then identifies with by [F4], so is an -torsor for the fppf topology.
Restrict the alternating bilinear commutator pairing to , which is legitimate because by step 1.1. Its values lie in : bilinearity gives . For , lift fppf-locally to with and by [F6]. Then . Descent of equality proves isotropy on the full group scheme , including characteristic two. This uses on its actual domain and does not extend outside .
Apply the isotropic descent of [F3] with and the quotient morphism : since is trivial on , the line bundle descends through , so there is an invertible sheaf on with . Then , using . Therefore is a homomorphism whose image lies in , a finite group scheme; since is proper and geometrically integral, every map from to a finite affine scheme factors through , so a pointed homomorphism to that finite scheme is zero, so .
The realization over in step 3.1 descends to a finite extension : an invertible sheaf is described by finitely many generators and transition functions on a finite affine cover, and the equality of its Mumford morphism with is described by finitely many equations on affine covers; all their algebraic coefficients lie in a finite extension. Call this realizing bundle on . Tensoring with the universal Poincare bundle identifies with on all tests by the kernel equality [F4]. In particular is fppf-locally nonempty, as required in step 1.2, and carries the canonical descent datum obtained from equality of its classifying functor over . This datum satisfies the cocycle by uniqueness of the functor identification. The scheme is projective, since it is an abelian variety. Its finite descent orbits lie in affine opens: choose closed specializations of the finitely many orbit points and a sufficiently high very ample power; Serre vanishing and eventual generation in [F5] supply a section nonzero at each specialization, whose nonvanishing affine open contains the whole orbit. The finite-field descent theorem [F5] therefore descends to a finite-type -scheme representing , including inseparable . This argument requires only the represented dual and its universal bundle and does not presume that the full Picard scheme has already been constructed over .
The scheme is smooth over : it is an -torsor by step 1.2, is smooth over by [F1], and smoothness is fppf-local. It is nonempty because after extending scalars to the realization of step 3.1 gives a -point of . Since is a nonempty smooth finite-type -scheme, the finite-separable-point theorem [F6] provides a closed point whose residue field is finite and separable over ; the tautological bundle at is an invertible sheaf on with , as required.
The square degree of a Mumford map
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety of dimension over a field and let be a nondegenerate invertible sheaf on , that is, is finite. Then where is the finite locally free rank of the isogeny ; the identity retains characteristic-dividing degrees and the full nonreduced scheme length of . Consequently the degree of every polarization of (Polarizations and the Mumford isogeny attached to an ample line bundle) is a perfect square.
Facts & Assumptions
Given: AC and DC, an abelian variety of dimension over a field , a nondegenerate invertible sheaf on , and the Mumford map .
For the normalized Poincare bundle on one has for and , the length-one skyscraper at the origin (Poincare cohomology at the identity).
The Mumford map is a homomorphism compatible with field extension, and on (Polarizations and the Mumford isogeny attached to an ample line bundle, Homogeneous bundles and Mumford surjectivity). The dual has dimension and is geometrically integral (Finite-field descent of the dual and the Poincare bundle, Abelian varieties over a field). Finite flatness for the nondegenerate map is proved in step 1.1, rather than assumed from a theorem whose input already is an isogeny.
A morphism from a proper scheme to a separated scheme is proper, and proper quasi-finite morphisms are finite (Morphisms from a proper scheme to a separated one are proper, A proper quasi-finite morphism is finite). Over an algebraically closed field, the image-plus-generic-fibre dimension formula applies to irreducible classical varieties (Image dimension and the generic fibre formula). The quotient by a closed normal subgroup is represented, with faithfully flat finite-presentation projection, and a finite-type group homomorphism with trivial scheme-theoretic kernel is a closed immersion (Normal subgroup quotients of finite-type group schemes exist as fppf scheme quotients, Finite-type algebraic group monomorphisms are closed immersions). A finite flat module over a Noetherian local ring is free (A finite flat module over a local ring is free).
Cohomology of coherent sheaves on and on is computed by Cech complexes, satisfies Kunneth over a field, vanishes above the dimension, and carries the Leray spectral sequence; Euler characteristics are additive in short exact sequences and multiplicative for external tensor products (Cech cohomology computes quasi-coherent cohomology on a separated scheme, Kunneth over a field, Grothendieck vanishing on a Noetherian space, Leray spectral sequence for sheaf cohomology, Euler characteristic is additive in short exact sequences, Cup-product laws).
Flat base change for the proper flat family is supplied by the exact nonnegative universal cohomology complex: tensoring its kernel and cokernel descriptions by a flat base-change ring commutes with cohomology, and the natural comparisons are the geometric base-change maps (Universal finite projective cohomology complex over any base, Cohomology and base change for proper flat coherent families).
The abelian variety is projective by Every abelian variety over a field is projective. Translation trivializes its cotangent bundle: a basis at the identity extends by translation to a basis everywhere, and taking its top exterior power trivializes the canonical bundle (Differentials of a smooth morphism). Serre duality on this smooth projective variety gives and ; the canonical bundle of is trivial (Serre duality for locally free sheaves on a smooth projective variety, Abelian varieties over a field).
Proof
Put , finite by hypothesis. The morphism is proper by [F6]. After any algebraically closed field extension, each nonempty fibre is a translate of as a scheme, hence finite. Thus is quasi-finite and therefore finite by [F6]. Its geometric image is closed and irreducible. The image-dimension formula, with zero-dimensional generic fibre, gives image dimension ; since the geometrically integral target has dimension , this closed image is the whole target. Surjectivity descends to . Form the fppf quotient of [F6]. The induced homomorphism has trivial scheme-theoretic kernel: any kernel section lifts fppf-locally to a section of , and means , whose quotient class is zero. Hence is a closed immersion by [F6]; it is surjective because is surjective. The target is reduced, so the ideal of this surjective closed immersion is zero and is an isomorphism. Consequently is faithfully flat. Together with its already proved finiteness, this makes a finite flat module on each Noetherian affine target chart. It is free at each local ring by [F6]; a local basis and its inverse spread to a neighbourhood because the module is finitely presented. Thus is finite locally free. Its rank is constant on the connected target and its fibre at zero is , so that rank is . This proves the exact flatness needed for the following base change, including nonreduced .
Consider the Cartesian square with , the morphism , and projections and . By flat base change [F4] applied to [F1] we have , where is finite of length by [F2]. Since by [F2], the direct images of under vanish except in degree , where they equal .
The Leray spectral sequence of for has only the row, supported on the finite scheme ; hence , which is for and zero otherwise. Therefore , with the full scheme length, including any characteristic-dividing part.
We compute the same Euler characteristic by an automorphism. Let be the automorphism , with inverse . Then , where and is the constant pullback of a line bundle from the base field; this is immediate from . Because is supported on the finite scheme [step 2.1], tensoring by the base-pulled line bundle does not change the Euler characteristic: it tensors the finite-length cohomology by the rank-one bundle , preserving all lengths. Hence .
Since is an automorphism and is pulled back from the base, , and by Kunneth multiplicativity for external tensor products [F3] this is , the last equality by Serre duality [F5]. Combining with steps 3.1 and 3.2 gives , hence .
Finally let be a polarization. By definition for an ample invertible sheaf on , and is an isogeny with by step 4.1. Degree and Euler characteristic are unchanged by field extension (the degree is the rank of a finite locally free morphism, and coherent cohomology is compatible with flat field base change [F4]), so is a perfect square in .
Effective ample-pair and group descent from a strict henselization
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field and residue field , and let be a chosen strict henselization. Let be a smooth separated finite-type -scheme with a strict -birational group law and let be its base change.
(a) [ample pair descent] If is an ample pair over (a finite-type -scheme with an ample invertible sheaf) equipped with a descent datum relative to , then there are a finite-type -scheme and an ample invertible sheaf on with compatibly with the datum.
(b) [group descent] If is a smooth separated finite-type -group scheme with abelian generic fibre containing a fibre-dense open whose descent datum is effective, and if the group operations of are compatible with the canonical descent datum on , then the compatible group descent datum on is effective: there is a smooth separated finite-type -group scheme with compatibly with the operations and with the descended open .
(c) [completion] In the commissioned abelian completion situation, where is the given abelian variety and is the group completion of the strict law on with a stable fibre-dense open , the canonical descent datum on satisfies the triple cocycle and extends uniquely to a group descent datum on ; this datum is effective by (b), and the descended open is fibre-dense in .
Facts & Assumptions
Given: AC and DC, a discrete valuation ring with fraction field and residue field , a strict henselization , a smooth separated finite-type -scheme with strict -birational group law, and a group completion of the strict law on .
The group completion of a strict birational group law over exists as a smooth separated finite-type group scheme containing the law as a fibre-dense open subscheme, is unique up to canonical isomorphism, and the stable fibre-dense open carries the strict law (Finite translate completion and uniqueness).
An ample invertible sheaf has a finite cover by affine nonvanishing section opens. Every positive-power section has quasi-affine nonvanishing locus: raise the affine-cover sections and to the same degree; on the functions have affine principal nonvanishing loci covering . Localization of sections identifies each such locus with the corresponding distinguished open of , so the canonical map is an open immersion. These localization and section-extension statements are Extend a quasi-coherent section after multiplying by a power; ampleness is Absolute ampleness by affine section opens. The completion with abelian generic fibre is quasi-projective and admits an ample invertible sheaf cut out by a fibre-dense affine-complement divisor, after choosing a fibre-dense affine subopen of the stable open downstairs and pulling it back (Divisor ampleness and quasi-projectivity of group models, Affine codimension-one neighbourhoods and divisors).
Effective descent of modules and commutative algebras along faithfully flat maps is available, with the descended object described as the invariants; the same holds for graded algebras and their graded pieces (Faithfully flat descent of modules and affine algebras is effective, Faithfully flat descent of modules and algebras is effective).
An fpqc covering morphism is submersive, so images of saturated open subschemes are open and can be tested after base change; compatible morphisms between the quasi-compact quasi-separated schemes used here descend along fpqc covers by the affine-cover argument in step 3.1; quasi-compact quasi-affine schemes embed as open subschemes of the spectra of their global-section algebras, retaining the open subscheme as part of the construction, and finite type, separatedness and flatness descend; smoothness will be checked from finite presentation and geometric regularity, and open immersions will be descended as stable open subschemes (Fpqc covers are universally submersive, Fpqc descent of properness components, Flatness descends along faithfully flat base change, Field tests for geometric regularity).
Morphisms from a reduced source to a separated target agree if they agree on a schematically dense open. Rational maps descend along the faithfully flat smooth source maps in the cited interface; this is distinct from the fpqc base-extension morphism descent proved in step 3.1 (An S-rational map defined after a faithfully flat smooth base change is defined, Agreement on a schematically dense open, S-dense open subschemes and S-rational maps).
Proof
For an ample pair with its compatible pair descent datum, form the graded section algebra . Flat base change of sections on a finite affine cover and its intersections follows by tensoring their equalizer; hence the pair datum induces compatible descent data on each graded piece and on multiplication. Ampleness gives a finite cover of by nonvanishing opens of positive-degree sections, each quasi-affine. These opens, rather than an asserted identity with , will construct the descended scheme.
By effective affine algebra descent [F3] applied to the graded pieces, the datum descends to a graded -algebra with compatibly with the datum. Every section of over is a finite sum of -multiples of descended sections of the same degree, because the tensor identification is an isomorphism of graded modules; hence if a section generates at a point, at least one descended section does too.
Here is the required morphism descent for the faithfully flat quasi-compact base extension , without a local finite presentation assumption on that extension. Given a compatible morphism between descended schemes, cover by affine opens . The opens are saturated under the cover's kernel pair because the two pullbacks of agree. Their images are open in by fpqc submersivity, and saturation makes their pullbacks exactly the original opens. On an affine open in such an image, corresponds to a ring map . Compatibility puts its image in the faithfully flat equalizer , by [F3]; it therefore descends a unique morphism . The descended maps agree on overlaps because their pullbacks agree, and glue to . This also descends isomorphisms by descending their inverses. A compatible open immersion is a stable open upstairs, whose open image descends by the same saturated-open argument, and the induced isomorphism descends as just proved. No fppf assertion is applied to .
For each descended homogeneous section of positive degree, its nonvanishing locus is a quasi-affine open subscheme stable under the descent datum, and it descends: embed into of its global-section algebra, descend that algebra by [F3], and take the image of this stable open in the descended spectrum under the faithfully flat spectrum map; stability makes the inverse image of the image exactly , and submersivity [F4] makes the image open. These descended opens glue compatibly because compatible morphisms and open immersions descend by step 3.1, producing a finite-type -scheme ; the invertible sheaf descends on each affine chart by module descent and glues by uniqueness of descent, giving on with . To verify ampleness downstairs, cover each quasi-affine by distinguished affine opens of its global-section spectrum contained in . Their defining functions extend after multiplication by powers of by [F2]; multiplying once more by makes their global nonvanishing loci lie inside , where they are exactly those affine opens. These affine section loci cover , so is ample by its definition. This proves (a).
In (b), choose a fibre-dense affine open downstairs using the codimension-one neighbourhood lemma in [F2]. Its pullback is stable under the descent datum. On the regular smooth -scheme , its reduced complement is an effective Cartier divisor with no vertical components by [F2]; equivalently it is the closure of its generic boundary. Stability of makes and stable with their canonical pair cocycle. Since has abelian generic fibre and is affine and fibre-dense, the ampleness theorem in [F2] makes ample. Apply (a) to this ample pair to obtain the scheme with its given descent datum. Multiplication, inverse and unit now descend as compatible morphisms by step 3.1, and their group identities hold downstairs since they hold after the faithfully flat extension. The original stable open descends to the specified by morphism and open-immersion descent.
The descended is finite type and separated by fpqc descent of these properties [F4], and flat over because is flat and flatness descends [F4]; since is Noetherian and is finite type, is locally of finite presentation. For each residue field, geometric regularity of the fibres descends along the faithfully flat map by [F4]; the smoothness criterion now gives that is smooth over . The descended open is open by descent of open immersions and is fibre-dense because fibre-density is checked after the faithfully flat base change and stabilized by the datum.
Finally consider the case (c): is the group completion of the strict law on , and is the stable fibre-dense open model of the given abelian generic variety. Its generic completion is that abelian variety, so has the abelian generic fibre required in (b). Over each of the two pullbacks and the triple tensor product, the pulled-back completions solve the same strict birational law; by the uniqueness part of [F1] they are canonically isomorphic, so the canonical isomorphism on extends uniquely to a group isomorphism of completions and the triple cocycle holds automatically since the triple-pullback completion is unique. This extends the datum on uniquely to a group descent datum on , which is effective by (b); the descended open remains fibre-dense by step 6.1.
Polarizations and ampleness under Picard twists
Statement
Assume AC and DC as inherited from the supplied scheme and cohomology results. Let be an abelian variety over a field and let be an ample invertible sheaf on (Absolute ampleness by affine section opens). Then:
(a) the Mumford map is a symmetric isogeny, and the bundle is ample;
(b) every abelian variety admits a polarization (Polarizations and the Mumford isogeny attached to an ample line bundle);
(c) if is algebraically trivial (a class in ) then is ample, so ampleness is invariant under twists by algebraically trivial bundles;
(d) for a symmetric homomorphism the bundle is ample if and only if is ample.
Facts & Assumptions
Given: AC and DC, an abelian variety over a field , an ample invertible sheaf on , and the normalized Poincare bundle on .
The Mumford map is a homomorphism, as a sheaf on all tests, and over an algebraic closure every algebraically trivial bundle is of the form for a fixed ample (Homogeneous bundles and Mumford surjectivity). Over an algebraic closure an ample bundle gives a Mumford isogeny with finite scheme-theoretic kernel (Coherent Kunneth, the tangent bound and the proper-image dual, Statement (c)); the dual identifies with the base change of (Finite-field descent of the dual and the Poincare bundle). A proper quasi-finite morphism is finite (A proper quasi-finite morphism is finite).
Under biduality, classifies the switched normalized Poincare bundle, and dualizing a homomorphism pulls back line bundles (Dual isogenies, Cartier-dual kernels and canonical biduality). The normalized square is invariant under exchanging its two -factors (Polarizations and the Mumford isogeny attached to an ample line bundle). These descriptions permit the symmetry comparison in step 1.1; the lemma on symmetric homomorphisms does not supply symmetry as a premise.
, whence , so the two bundles differ by an algebraically trivial class (Polarizations and the Mumford isogeny attached to an ample line bundle, Homogeneous bundles and Mumford surjectivity).
Every abelian variety is projective, positive powers of ample bundles are ample and sufficiently high powers are very ample, ample pulls back along finite morphisms, the external Segre tensor of ample bundles is ample, and ampleness descends under field extension (Ampleness of a given line bundle descends under field extension; Every abelian variety over a field is projective, High powers of an ample line bundle embed a proper scheme, Ampleness is invariant under positive powers, Finite pullback preserves absolute ampleness, Segre embedding and its line bundle, Global functions on proper integral schemes form a finite extension of the base field).
Proof
By [F1], is an isogeny with finite scheme-theoretic kernel. Every geometric fibre of is, after choosing a point in it, a translate of that geometric kernel. In particular is proper and quasi-finite, since it is closed in and has a finite geometric fibre; [F1] makes it finite over . Surjectivity follows from geometric surjectivity after the field extension, so is an isogeny. By [F3], has Mumford map , the same as ; since as a sheaf [F1], the two bundles differ by an algebraically trivial class: with . For symmetry, the family classifying on the second copy of is obtained by switching the Poincare factors and pulling back along on the other factor. It is therefore the switched bundle , where . The family classifying is . Since multiplication is commutative, the two normalized bundles are isomorphic, including their rigidifications on both axes. The all-test universal property gives , which proves symmetry rather than assuming it. For the bundle comparison in [F3], diagonal pullback of gives up to a constant line. For any homomorphism , translation commutation and pullback of Picard classes give ; with and additivity of duality this gives and hence the asserted .
We first prove (c). Let and let be ample. Over an algebraic closure, [F1] gives for some point , so is the pullback of an ample bundle under an isomorphism, hence ample. Ampleness is a geometric condition checked after faithfully flat field extension, so is ample over ; this is (c).
Statement (a) now follows: since is ample and differs from it by the algebraically trivial class of step 1.1, (c) gives that is ample.
For (b), is projective by [F4], so there exists an ample invertible sheaf on ; then is a symmetric isogeny by (a) and is ample. Since is the Mumford map of an ample bundle already over , it satisfies the geometric ample-realization definition of a polarization.
For (d), let be symmetric, now allowing to be any invertible sheaf, and put . The identity [F3], which holds without ampleness, gives ; by [F1] this means for an algebraically trivial . If is ample, then is ample by [F4] and is ample by step 1.2. Conversely, if is ample, applying step 1.2 to and makes ample, and [F4] then makes ample.
The dual abelian variety, the Poincare bundle and polarizations
Statement
Assume AC and DC as inherited from projectivity and the supplied cohomology machinery. Let be an abelian variety over a field , of dimension . Then:
(a) [existence and duality] the degree-zero part of the rigidified relative Picard functor of (The rigidified relative Picard functor and the dual abelian variety) is representable by an abelian variety , the dual abelian variety, of dimension , with universal Poincare sheaf on ; the canonical homomorphism is an isomorphism;
(b) [functoriality] is a contravariant functor on abelian varieties over , and for every isogeny the dual is an isogeny with kernel the Cartier dual of and degree ;
(c) [Mumford maps] for every invertible sheaf on the Mumford homomorphism exists; if is ample then is a symmetric isogeny with finite kernel ; every symmetric homomorphism is for some invertible sheaf after base change to a separably closed field;
(d) [polarizations] an ample makes a polarization, every abelian variety admits a polarization, the degree of a polarization is a perfect square, and is projective.
Facts & Assumptions
Given: AC and DC, an abelian variety of dimension over a field , and the rigidified relative Picard functor of The rigidified relative Picard functor and the dual abelian variety.
The algebraically trivial rigidified Picard subfunctor is represented by an abelian variety of dimension with a normalized Poincare bundle on , and the formation and universal property are compatible with field extension (Finite-field descent of the dual and the Poincare bundle).
Duality is contravariantly functorial on homomorphisms: for composable homomorphisms and , ; it is additive for parallel homomorphisms , so . If is an isogeny, then is an isogeny with kernel and degree . The canonical biduality morphism is an isomorphism and is natural in (Dual isogenies, Cartier-dual kernels and canonical biduality, Normal subgroup quotients of finite-type group schemes exist as fppf scheme quotients).
The theorem of the square makes a homomorphism into the degree-zero part for every invertible sheaf (The theorem of the square and the Mumford homomorphism into the Picard group); ample bundles give symmetric isogenies and every symmetric homomorphism is a Mumford map over a separably closed field, with finite separable realization in general (Polarizations and ampleness under Picard twists, Symmetric homomorphisms are Mumford maps).
Every abelian variety is projective and therefore carries an ample invertible sheaf; the degree of any polarization equals for an ample realizing it (Every abelian variety over a field is projective, The square degree of a Mumford map, Polarizations and the Mumford isogeny attached to an ample line bundle).
Proof
Clause (a) is [F1]: the degree-zero rigidified Picard subfunctor is represented by an abelian variety of dimension with universal normalized Poincare sheaf on , and the formation is compatible with field extension. The canonical morphism is an isomorphism by [F2], which is the biduality statement of (a).
Clause (b) is [F2]: pullback of rigidified bundles defines the dual homomorphism for every homomorphism. Composition is contravariant for composable homomorphisms , , and additivity is for parallel homomorphisms . When is an isogeny, is an isogeny with kernel and degree . Thus is a contravariant functor, and the duality identities used here have the required domains.
Clause (c): for an invertible sheaf the Mumford map is a homomorphism into by [F3]; if is ample, [F3] gives that is a symmetric isogeny with finite kernel . Conversely, if is symmetric, then over a separably closed extension field [F3] realizes as for an invertible ; over an arbitrary field the realization exists after a finite separable extension in general, as stated.
Clause (d): if is ample, [F3] shows that is a symmetric isogeny with ample, so it is a polarization by definition; every is projective by [F4] and hence carries an ample , giving a polarization. For any polarization realized by an ample over an algebraic closure, [F4] gives , a perfect square, and the degree is unchanged by field extension. Projectivity of is [F4].
Full minimal model embedding
Statement
Assume AC and DC as inherited from the supplied algebra and scheme results. Let be a discrete valuation ring with fraction field , residue field and a chosen strict henselization , and let be an abelian variety. Let be the smooth separated finite-type faithfully flat -model of supplied by Separated minimal union and translations, with strictification , and let be the descended group completion over of the strict law on (Effective ample-pair and group descent from a strict henselization). Then contains the full model , not only its strictification , as an -dense open subscheme.
Facts & Assumptions
Given: AC and DC, a discrete valuation ring with fraction field and residue field , a strict henselization , an abelian variety , the separated minimal model of Separated minimal union and translations with strictification , and the descended group completion containing as an -dense open.
is smooth, separated, finite type and faithfully flat over the regular Noetherian base , integral with generic fibre , and is an -dense (fibre-dense) open subscheme carrying a strict -birational group law; is an open subscheme of the smooth separated finite-type -group scheme , which descends to the smooth separated finite-type -group scheme containing (Separated minimal union and translations, Effective ample-pair and group descent from a strict henselization, S-dense open subschemes and S-rational maps).
A rational map from a smooth -scheme to a smooth separated finite-type -group scheme over a regular Noetherian base which is defined at every height-one point extends uniquely to an -morphism (Weil's extension theorem for rational maps into smooth separated group schemes).
On a smooth finite-type -scheme the total space is regular, hence normal and locally factorial, and a nonzero rational section of a line bundle has a Cartier divisor of pure codimension one; a Noetherian normal domain is the intersection of its height-one localizations, so a rational function regular at every height-one point is regular (Regularity ascends and descends along a flat local homomorphism, Locally standard smooth iff flat with geometrically regular fibres, Regular local rings are unique factorization domains, Rational sections of line bundles are Cartier divisors, A normal Noetherian domain is the intersection of its height-one localizations).
A smooth -group scheme has translation-invariant top forms; a morphism between smooth models of equal relative dimension is etale where its top differential is an isomorphism (Invariant volume and finite minimal classes, Dilatations and defect computation). Two morphisms from a reduced source to a separated target agree on the entire source if they agree on a schematically dense open (Agreement on a schematically dense open). Descent additionally requires a faithfully flat cover and equality of the two pullbacks; no descent is inferred from reducedness or separatedness alone.
Zariski's main factorization: a separated quasi-finite morphism to a quasi-compact base factors as an open immersion followed by a finite morphism, locally on the base (Scheme Zariski Main factorization for separated quasi-finite morphisms).
Proof
The generic fibre of is , and is the group completion of the strict law on ; hence the identity of defines a rational map over which on is the given open immersion . Every height-one point of lies either in the generic fibre (where is defined, since it is the identity of ) or is a generic point of an irreducible component of the special fibre. Since is -dense, its complement contains no irreducible component of any fibre, so contains the generic point of every component of the special fibre; therefore is defined at every height-one point of .
The base is a regular Noetherian scheme, is smooth over and is a smooth separated finite-type -group scheme, so the codimension-one extension criterion [F2] applies to and produces a unique -morphism extending . On the generic fibre is the identity of , so is birational.
We show that is etale. Its top differential is a section of the invertible sheaf . It is a unit on , where is the given open immersion, and on the generic fibre, where it is the identity. Thus it is nonzero generically, and its zero divisor can only be supported in . Step 1.1 shows that contains every height-one point. Since is regular and integral, the zero locus of a nonzero section of an invertible sheaf is an effective Cartier divisor of pure codimension one, unless empty. There is no possible codimension-one support, so the section is nowhere zero and the top differential is an isomorphism. The differential criterion [F4] makes etale. This argument requires no global trivialization of the canonical bundle of the preliminary model.
The morphism is separated, because and are separated over , and it is quasi-finite: it is etale, hence locally quasi-finite, and it is a morphism of finite type between quasi-compact schemes, hence quasi-compact; a quasi-compact locally quasi-finite morphism is quasi-finite. Being etale and birational, and having reduced integral source and normal target (smooth over the DVR), it is an open immersion: apply Zariski's main factorization [F5] locally on to write with an open immersion and finite. Replace by the reduced closure of its birational generic component, which still contains . Its coordinate algebra is a finite integral subalgebra of the common function field containing the normal target algebra, so it equals that target algebra. Thus is an isomorphism on this component and is an open immersion.
Consequently identifies with an open subscheme of containing ; since the completion already contains as an -dense open by [F1], the larger image of is -dense in . This is the assertion that the descended completion contains the full separated minimal model , not only the strictification , as an -dense open.
Existence of Neron models for abelian varieties over a discrete valuation ring
Statement
Assume AC and DC. Let be an arbitrary discrete valuation ring with fraction field and residue field , and let be an abelian variety over . Then there exists a smooth separated finite-type -group scheme with generic fibre such that for every smooth -scheme restriction is bijective. The model is unique up to a unique isomorphism inducing the given identity on generic fibres. No excellence, completeness, perfect-residue-field or reduction-type hypothesis is imposed.
Facts & Assumptions
Given: AC and DC, an arbitrary discrete valuation ring with fraction field and residue field , and an abelian variety over .
There exists a smooth separated finite-type faithfully flat -model of carrying a birational group law with birational universal translations; the law restricts to a strict law on an -dense model open , whose multiplication domain is an open of with strict universal translations, given by graph closures (Separated minimal union and translations, Birational group law, Strictification, Strict law graph calculus).
Over a strict henselization , finitely many section translates complete the strict law to a smooth separated finite-type -group scheme containing as a fibre-dense open, uniquely; the canonical descent datum on this completion is effective and gives a smooth separated finite-type -group scheme containing , and the full model embeds in as an -dense open (Finite translate completion and uniqueness, Effective ample-pair and group descent from a strict henselization, Full minimal model embedding).
If is a regular Noetherian base, smooth over , a smooth separated finite-type -group scheme, and an -rational map is defined at every height-one point of , then it extends uniquely to an -morphism (Weil's extension theorem for rational maps into smooth separated group schemes).
Domains of -rational maps are fibre-dense; morphisms into a separated target that agree on a schematically dense open agree everywhere (S-dense open subschemes and S-rational maps, Agreement on a schematically dense open).
Morphisms descend along faithfully flat, quasi-compact, locally finitely presented covers when the two pullbacks agree (Scheme morphisms satisfy fppf descent, Faithfully flat scheme morphism). A finitely presented open neighbourhood and morphism over a filtered-colimit local ring spread to a finite stage (Finite-stage descent of finitely presented schemes and their morphisms).
Two smooth separated finite-type -models of satisfying the extension property are uniquely isomorphic over compatibly with their specified generic-fibre identifications; Neron models over Dedekind bases are compatible with etale base change (Uniqueness, weak Neron property, etale base change and local nature of Neron models, Neron models, the Neron mapping property and weak Neron models).
Proof
By [F1] construct the separated minimal model of , its strictification , and finally by [F2] the descended smooth separated finite-type -group scheme with generic fibre and as an -dense open.
To prove the mapping property, let be a smooth -scheme and a -morphism. Work first with of finite type; arbitrary is covered by finite-type opens and the unique extensions glue. Put . On its generic fibre define by , using the group law of . For each generic point of an irreducible component of , the local ring is a DVR, with fraction field , and restriction of along gives a point of . The translation supplier Separated minimal union and translations extends translation by this point to an -birational self-map of which is an open immersion on its -dense domain. This domain contains the generic point of every component of the special fibre of , so extends at the corresponding generic points of . Since is the filtered colimit of the rings of affine neighbourhoods of , finite-presentation descent [F5] spreads a quasi-compact open neighbourhood and its morphism to to a neighbourhood in of each such point. There are finitely many vertical generic points. Together with the generic fibre, these neighbourhoods form an -dense open in ; the local maps agree on overlaps because the generic fibre is schematically dense in each overlap and is separated ([F4]), so they glue to an -rational map . It is defined at every height-one point of : the horizontal ones lie in , and each vertical height-one point is the generic point of a component of just treated. Since is smooth over the regular Noetherian DVR and is a smooth separated finite-type group scheme, [F3] extends uniquely to a morphism .
Let be the dense open embedding from [F2], and let and be inversion and multiplication on . Define by On this is , independent of . The projection is faithfully flat, quasi-compact and locally finitely presented because is smooth, finite type and faithfully flat. On , the two pullbacks of agree on the generic fibre, hence everywhere by [F4] and separatedness of . Fppf descent [F5] therefore gives a unique -morphism with ; its generic fibre is . Uniqueness follows because any two extensions agree on the schematically dense generic fibre and is separated. This proves existence and uniqueness of the extension for all smooth .
Uniqueness of the model: if and both satisfy the extension property with generic fibre , then the identity of extends to -morphisms and . Both composites extend the identity of , hence equal the respective identities by the uniqueness clause of the extension property (applied to the models themselves); so uniquely, and [F4] identifies the canonical isomorphism.
The construction used only an arbitrary discrete valuation ring: the minimal model, strictification, strict-henselian completion, effective group descent and Weil extension all hold without excellence, completeness, perfect residue field or any restriction on the reduction type, so the stated class is exactly as claimed.
The Neron-Ogg-Shafarevich criterion in residue characteristic prime to l
Statement
Assume AC and DC as inherited from the stated suppliers. Let be a discrete valuation ring with fraction field and residue field , let be an abelian variety of dimension with finite-type Neron model (Existence of Neron models for abelian varieties over a discrete valuation ring, Neron models, the Neron mapping property and weak Neron models), and let be a prime. Then the following are equivalent:
(a) has good reduction over , i.e. there is an abelian scheme over with generic fibre (Good reduction of an abelian variety over a Dedekind scheme);
(b) the Neron model is an abelian scheme over ;
(c) all the torsion groups , , are fixed pointwise by the inertia group ;
(d) the Tate module is unramified at (Prime-to-residue-characteristic Tate modules and inertia).
Facts & Assumptions
Given: AC and DC, a discrete valuation ring with fraction field , residue field and strict henselization , an abelian variety of dimension , its finite-type Neron model , and a prime .
An abelian scheme over with generic fibre is a Neron model of , and Neron models of smooth separated finite-type -schemes are unique up to a unique -isomorphism inducing the identity on generic fibres (An abelian scheme is the Neron model of its generic fibre, Uniqueness, weak Neron property, etale base change and local nature of Neron models).
For an abelian scheme of relative dimension and , each is finite etale over of rank , and over specialization identifies its geometric generic points with its special separable points; the inertia group acts trivially on and on the Tate module (Abelian scheme torsion specialization is unramified, Prime to characteristic multiplication is etale).
For a field and , and is free of rank ; an automorphism of over acts trivially on if and only if it acts trivially on every (Field prime to characteristic torsion and Tate module, Prime-to-residue-characteristic Tate modules and inertia).
Over a strictly henselian local ring with separably closed residue field, a separated etale finite-type scheme satisfies by reduction. A Neron model has the extension property for etale local points; for this follows by finite-stage approximation, and separatedness makes bijective (Strict henselian etale sections, Uniqueness, weak Neron property, etale base change and local nature of Neron models, Neron models, the Neron mapping property and weak Neron models).
If is a smooth commutative finite-type group scheme of dimension over a field of characteristic with for every , then is an abelian variety; a smooth separated finite-type quasi-projective -scheme with abelian generic fibre and proper geometrically connected special fibre is proper over and an abelian scheme on its identity component; a smooth group scheme over a discrete valuation ring has an open identity component with connected generic and special fibres (Special fibre torsion growth detects properness, Connected smooth quasiprojective model with proper special fibre is proper, Divisor ampleness and quasi-projectivity of group models, The identity model of a smooth group with abelian generic fibre).
The Neron group scheme is commutative: its generic group law is commutative, and the two multiplication morphisms agree on the schematically dense generic fibre because is separated (Agreement on a schematically dense open). For a smooth commutative -group scheme, if is a unit then is etale: its differential at the identity is multiplication by on the locally free Lie module, and translations identify the differential at every point; apply the equal-relative-dimension criterion (Group schemes over a base scheme, Differentials of a smooth morphism, Dilatations and defect computation). Its kernel is therefore a separated etale finite-type -scheme, though it need not be finite.
Proof
(a)(b). If has good reduction with abelian scheme model , then is a Neron model of by [F1], so by uniqueness and is an abelian scheme. Conversely if is an abelian scheme over with generic fibre , then is an abelian scheme model of , i.e. (a) holds.
(c)(d). By definition of the inertia group and of the unramified Tate module [F3], acts trivially on if and only if it acts trivially on every finite quotient , which is precisely (c).
(c)(b). Assume all -torsion is inertia-fixed. By [F6], multiplication by on the smooth group scheme is etale, so its kernel is a separated etale finite-type -scheme. We do not need this kernel to be finite: over , [F4] gives the reduction bijection The weak Neron property and separatedness identify with , compatibly with the group laws. Therefore where and the last equality is hypothesis (c). By [F3], this set has cardinality . Now apply [F5] to the smooth commutative finite-type special fibre of dimension : its identity component is an abelian variety, hence proper.
(b)(c). If is an abelian scheme, [F2] gives that each is finite etale of rank over and that inertia acts trivially on the geometric torsion points; under the identification this is exactly the pointwise invariance of (c).
The identity component is an open smooth separated finite-type -subgroup scheme with generic fibre and geometrically connected special fibre [F5]. It is quasi-projective by [F5], so the connected-model properness criterion makes it proper over ; a smooth proper -group scheme with abelian generic fibre of dimension is an abelian scheme. By [F1], this abelian scheme is a Neron model of . Both and are now Neron models of the same generic fibre, so uniqueness [F1] identifies them; hence is an abelian scheme, proving (b).
The implications (a)(b) (step 1.1), (b)(c) (step 2.1), (c)(d) (step 1.2) and (c)(b) (steps 1.3 and 2.2) close the cycle, proving the equivalence of (a)–(d).
Good reduction, coherent base change, and unramified torsion
Statement
Assume the Axiom of Choice and the Axiom of Dependent Choice, inherited from the cohomology-and-base-change suppliers. Let be a Dedekind scheme with function field , let be an abelian scheme of relative dimension , and let be its generic fibre. Then:
(a) [good reduction] is an abelian variety with good reduction over , the abelian scheme model is unique up to a unique -isomorphism inducing the specified identity on , and is the Neron model of ; for every closed point the fibre is an abelian variety of dimension over .
(b) [base change] For every morphism the base change is an abelian scheme of relative dimension , it represents the base change of the good reduction data, and if is a Dedekind scheme with function field and is dominant so that is defined, then has good reduction over .
(c) [coherent cohomology and base change] Fix , and a coherent -module flat over , and let be the cohomology-and-base-change map. If is surjective, then there is an affine open neighbourhood of such that for every the base-change map is an isomorphism; if moreover is surjective, then is finite locally free on a neighbourhood of . For and the unit map is an isomorphism, with inverse evaluation along the identity section, and for a line bundle flat over the higher direct images are finite locally free wherever the successive base-change maps are surjective.
(d) [residue restrictions] No restriction on the residue characteristic of is imposed in (a)-(c); the finite flatness conclusions in (c) are stated under the exact surjectivity hypotheses of the cohomology-and-base-change theorem, because fibrewise cohomology of smooth proper families need not be locally constant in residue characteristic .
(e) [prime-to-residue-characteristic etale good reduction] Locally let be a discrete valuation ring, its fraction field and its residue field, an abelian variety and a prime different from . Then has good reduction over if and only if inertia acts trivially on , equivalently on for every .
Facts & Assumptions
Given: AC and DC, a Dedekind scheme with function field , an abelian scheme of relative dimension with generic fibre , and the base-change maps of Cohomology and base-change map.
The generic fibre of an abelian scheme is an abelian variety of the same dimension, fibres of abelian schemes are abelian varieties, and base change of an abelian scheme is an abelian scheme of the same relative dimension (Abelian schemes over a base, Abelian varieties over a field, Base change and products of abelian schemes).
An abelian scheme over a Dedekind scheme is the Neron model of its generic fibre, is unique as an abelian scheme model up to a unique isomorphism inducing the specified identity on the generic fibre, and every abelian variety with a good-reduction model admits a Neron model (An abelian scheme is the Neron model of its generic fibre, Good reduction supplies a Neron model, Good reduction is stable under base change of the base).
Cohomology and base change for a proper finite-presentation morphism and a coherent sheaf flat over the base gives the following conclusions: surjectivity of the base-change map at a point propagates to an isomorphism on an affine neighbourhood for arbitrary test bases, and surjectivity in degrees and makes finite locally free there (Cohomology and base change for proper flat coherent families, Locally free sheaves of finite rank). The unit map and its inverse by identity-section evaluation are supplied by Universal structure-sheaf sections of an abelian scheme. The finite local freeness assertion for higher direct images uses the stated successive surjectivity hypotheses.
Every abelian variety over the fraction field of an arbitrary DVR has a finite-type Neron model by Existence of Neron models for abelian varieties over a discrete valuation ring (with AC and DC as assumed here). For such a model the local Neron-Ogg-Shafarevich criterion for : good reduction, the Neron model being an abelian scheme, inertia-fixed -power torsion and an unramified Tate module are equivalent (The Neron-Ogg-Shafarevich criterion in residue characteristic prime to l, Prime-to-residue-characteristic Tate modules and inertia).
For an abelian scheme, -torsion is finite etale of full rank and specializes to the geometric special torsion over a strict henselization (Abelian scheme torsion specialization is unramified, Prime to characteristic multiplication is etale).
Proof
Clause (a): the generic fibre is an abelian variety of dimension over the function field by [F1], and the abelian scheme itself is an abelian scheme model, so has good reduction over by definition; the fibre is an abelian variety of dimension for every closed by [F1]. Any abelian scheme model of is a Neron model of by [F2], and such models are uniquely isomorphic compatibly with their specified generic-fibre identifications, so has exactly this compatible uniqueness and is the Neron model.
Clause (b): for every the base change is an abelian scheme of relative dimension and represents the base change of the model by [F1]; it is therefore again a good-reduction model. If is Dedekind, dominant and is its function field, then has good reduction over with model by [F2].
Clause (c): the map is the base-change map of Cohomology and base-change map, and [F3] gives, under surjectivity, an affine open with an isomorphism for every , and under the additional surjectivity of the finite local freeness of on a neighbourhood. For the degree surjectivity condition is automatic. For and , [F3] identifies the unit map with inverse given by evaluation along the identity section; for a line bundle flat over , the successive-surjectivity clause yields finite locally free higher direct images where the base-change maps are isomorphisms.
Clause (e): locally near a closed point of the base is a discrete valuation ring with fraction field and residue field , and the arbitrary-DVR existence theorem in [F4] first supplies a finite-type Neron model for the abelian variety in (e). Applying the criterion in [F4] to that model gives the equivalence between good reduction of over , the Neron model being an abelian scheme, pointwise inertia-fixed -power torsion, and an unramified Tate module, for every . For an abelian scheme model, [F5] shows that each is finite etale of rank and commutes with every base change, specializing over a strict henselization to the special geometric torsion; this is the finite-torsion route to the criterion and claims no all-degree smooth-proper etale cohomology theorem.
Clause (d): the arguments in steps 1.1–1.3 are the scheme-theoretic identity, base-change and cohomology-and-base-change statements, none of which restricts the residue characteristic; only the surjectivity hypotheses of the cohomology-and-base-change theorem are used in (c), which is exactly why the finite-flatness conclusions are stated conditionally.
Combining steps 1.1–2.1 proves clauses (a)-(e); in particular both the coherent cohomology clauses (c)-(d) and the prime-to-residue-characteristic etale clause (e) are retained.
5 · Examples, counterexamples and false statements
None yet.
Sources
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 21, Springer 1990 (Chapter 1 sections 1-2, Chapter 2 section 2.5, Chapter 3 sections 3.1-3.5, Chapter 4 sections 4.2-4.4, Chapter 7 section 7.2, Chapter 8 section 8.1, Chapter 10 section 10.2)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (preliminary version 2012), Chapter 6 sections 1-3 and Chapter 7 sections 1-3
- D. Lombardo, Abelian varieties, Luxembourg Summer School on Galois representations lecture notes (2018), Chapter 1 sections 1-7 and Chapter 2 sections 4-5
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 2.3/5-10 (finite etale lifting over complete local rings)
- The Stacks Project, Tag 04GK (finite etale algebras over henselian local rings)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 21, Springer 1990 (2.5 S-Rational Maps, from the section opening through Proposition 6; Chapters 1-6, 7.2, 8.1)
- The Stacks Project, Tag 031T and Tag 0AVK (Hartogs for normal domains)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 2.5/1 and scheme Hartogs in owner-arithmetic-models/neron-source/closure-supplement.md
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 21, Springer 1990 (1.2/1 Definition 1 and 1.1/1 Definition 1; Chapters 1-6, 7.2, 8.1)
- J. S. Milne, Abelian Varieties, v2.00 (2008), Chapter I sections 3, 5, 8, 11, 17
- J. S. Milne, Elliptic Curves, v2.0, Chapter III (Weierstrass equations and the group law)
- D. Lombardo, Abelian varieties, Luxembourg Summer School on Galois representations lecture notes (2018), Chapter 1 sections 1-7
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 7.3/2-3 and 7.4/5; local proof route in owner-arithmetic-models/etale-source/closure-packet.md
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 2.2/13-14 and 2.3/5-10; local proof in owner-arithmetic-models/neron-source/closure-supplement.md
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 7.3/2-3 (finite Cartier duality and exponent)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (preliminary version 2012), Chapter 6 sections 1-3
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 21, Springer 1990, 1.2/8 and Chapter 7
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 2.5/5 (descent of S-rational maps)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 4.4/2 (indeterminacy of maps into affine targets)
- The Stacks Project, Tag 031T (Hartogs for normal schemes)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 1.2/2-6 (uniqueness, weak property, etale base change, local nature, group law)
- J. S. Milne, Elliptic Curves, v2.0, Chapter III (two-torsion and the group law)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 7.4/5 and the Tate-module criterion for good reduction
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 7.3/3 (sections of etale schemes over strictly henselian rings)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 6.4 (identity components over a DVR)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 2.2/8-10 and 3.2/1-2, 3.3/1-3 (dilatations and the defect of smoothness)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 6.4/4 and 6.5 condition (a); local proof in owner-arithmetic-models/neron-source/closure-supplement.md
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 4.4/1 (Weil extension, regular base specialization)
- J. S. Milne, Abelian Varieties, v2.00 (2008), Chapter I sections 3, 5, 8, 11, 17 (good reduction)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 1.2/8 and Chapter 7
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 8.1 (rigidified line bundles and the relative Picard functor)
- J. S. Milne, Abelian Varieties, v2.00 (2008), Chapter I sections 3, 5, 8 (structure sheaf of an abelian scheme)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 7.3/2(b) (multiplication by n prime to the residue characteristic)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 3.3/5 and 3.4/1-2 (finite permissible smoothening)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 4.4/4 (extension of K-morphisms into abelian schemes)
- J. S. Milne, Abelian Varieties, v2.00 (2008), I.5.5-I.5.6 (theorem of the square)
- J. S. Milne, Abelian Varieties, v2.00 (2008), Chapter I sections 3, 5, 8 (rigidity)
- J. S. Milne, Abelian Varieties, v2.00 (2008), Chapter I sections 11 and 17 (Tate modules)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 3.1 final paragraph and 3.5/3-4 (projective weak models and rational mapping); proof closure in owner-arithmetic-models/neron-source/closure-supplement.md
- S. Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 8.1 (rigidified line bundles and fppf descent)
- J. S. Milne, Abelian Varieties, v2.00 (2008), Chapter I sections 3, 5, 8 (fibres and pointed morphisms)
- J. S. Milne, Abelian Varieties, v2.00 (2008), Chapter I sections 5 and 8, and Chapter III (polarizations)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 7.4 (component growth and properness detection); proof in owner-arithmetic-models/etale-source/closure-packet.md
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 4.2/1-3 and 4.3 (invariant volume, comparison, finite minimal classes)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 6.3 (the square from the cube, abelian generic fibre)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), Chapters 2-3, 6-9, 11 (relative divisors and the Picard scheme); closure in owner-arithmetic-models/dual-source/proof-closure-packet.md
- S. Kleiman, The Picard Scheme, Theorem 4.8 divisor-chart proof (quotient step replaced locally by the published generic quotient)
- J. S. Milne, Abelian Varieties, v2.00 (2008), Chapter I sections 3, 5, 8 (multiplication by n)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 1.2/8 (an abelian scheme is a Neron model of its generic fibre)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 4.3/4 (separated minimal union and translations)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 6.1/7 and 6.4/2-3 (divisor ampleness and quasi-projectivity)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), Chapters 6-9; local closure in owner-arithmetic-models/dual-source/proof-closure-packet.md
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 1.2/8 and 1.3/1 (good reduction and Neron models)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 1.3 and Chapter 7 (base change of good reduction; spreading over number fields)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 6.5 and EGA IV3 15.7.10 (properness from the special fibre); local proof in owner-arithmetic-models/neron-source/closure-supplement.md
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 7.3/2 and 7.4 (torsion of abelian schemes and inertia)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 4.3/5 (birational group law from the minimal model)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), 2.17-2.19 and Chapter 6 (Picard tangent and ampleness); closure in owner-arithmetic-models/dual-source/proof-closure-packet.md
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 5.2/2 and 2.5/1 (strictification of a birational group law)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), Chapters 8-9 (dual abelian variety and Poincare bundle)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 5.2/4 and 5.3/1-4 (graph calculus of a strict law)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), Chapter 8 (homogeneous bundles and Mumford surjectivity)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 5.3/5 (gluing a translate)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), 6.13-6.20 (dual abelian variety)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 8.1 (rigidified line bundles and the dual abelian variety)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), 8.1-8.11 (theta groups, extensions by Gm and descent of line bundles)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 8.1 (rigidified Picard functor and Poincare bundle)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), 9.1-9.6 (cohomology of the Poincare bundle)
- D. Mumford, Abelian Varieties (1970), III.13 and the Fourier-Mukai computation of Rp_2(P)
- Bosch, Lutkebohmert, Raynaud, Neron Models (1990), 5.3/6-8 and 5.1/3-4 (finite translate completion and uniqueness)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), 11.1-11.2 (symmetric homomorphisms are Mumford maps over a finite separable extension)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 8.1 (rigidified Picard functor)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), 9.1-9.12 (Riemann-Roch and the square degree of a polarization)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), 5.2 (finite kernels and finite flat isogenies)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 6.1/4, 6.1/6 and 6.5/1-6.5/2 (effective descent and group completions)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), 11.4-11.6 (ampleness and polarizations)
- B. Edixhoven, G. van der Geer, B. Moonen, Abelian Varieties (2012), Chapters 6, 8, 9 and 11 (dual abelian variety, Poincare bundle, Mumford maps and polarizations)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 8.1 (rigidified relative Picard functor and dual abelian variety)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 5.1/5 final assertion (the completion contains the full minimal model)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 1.3/1 and 4.4/4 (existence of Neron models and the mapping property)
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), 7.4/5 (Neron-Ogg-Shafarevich)
- J.-P. Serre, J. Tate, Good reduction of abelian varieties, Ann. of Math. 88 (1968), Theorem 1
- S. Bosch, W. Lutkebohmert, M. Raynaud, Neron Models (1990), Chapter 1 (good reduction) and 7.4/5 (Neron-Ogg-Shafarevich)
- A. Grothendieck, EGA III (cohomology and base change)