Intersection Sheaves for Abel maps
Jason Michael Starr

TL;DR
This paper develops a variant of intersection sheaves, extending the Deligne pairing, to define Abel maps in rational simple connectedness, and studies related classifying stacks.
Contribution
It introduces a new construction of intersection sheaves with desirable properties for Abel maps in rational simple connectedness.
Findings
Extended intersection sheaves to broader schemes.
Defined Abel maps using the new intersection sheaves.
Analyzed properties of classifying stacks for Abel maps.
Abstract
Intersection sheaves, i.e., the Deligne pairing, were first introduced by Deligne in the setting of Poincare duality for etale cohomology, and later in his work on the determinant of cohomology. Intersection sheaves were generalized from smooth schemes to Cohen-Macaulay schemes by Elkik, and then beyond Cohen-Macaulay schemes by Munoz-Garcia. To define the Abel maps arising in rational simple connectedness on the natural parameter spaces of rational sections, we need a variant of the construction of Munoz-Garcia that has the good properties of the construction using det and Div. In addition, we prove basic properties of the classifying stacks that arise in the definition of the Abel maps.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometric and Algebraic Topology · Advanced Numerical Analysis Techniques
Intersection Sheaves for Abel Maps
Jason Michael Starr
Department of Mathematics
Stony Brook University
Stony Brook, NY 11794
Abstract.
Intersection sheaves, i.e., the Deligne pairings, were first introduced by Deligne in the setting of Poincaré duality for étale cohomology, and later in his work on the determinant of cohomology. Intersection sheaves were generalized from smooth schemes to Cohen-Macaulay schemes by Elkik, and then beyond Cohen-Macaulay schemes by Munoz-Garcia. To define the Abel maps arising in rational simple connectedness on the natural parameter spaces of rational sections, we need a variant of the construction of Munoz-Garcia that has the good properties of the construction using det and Div. In addition, we prove basic properties of the classifying stacks that arise in the definition of Abel maps.
1. Introduction
The Deligne pairing, or intersection sheaf, was introduced for families of smooth, proper curves in [SGA73, Exposé XVIII] as part of the proof of Poincaré duality in étale cohomology. It was developed for more general smooth morphisms in [Del87] where Deligne also enriched the determinant of cohomology in many ways. In contrast to the Chow-theoretic pushforward of an intersection product of divisor classes, which it closely mirrors, the intersection sheaf respects nilpotence of the target (some versions of Chow theory do not), it is integral in the sense that there are no denominators, and it is defined for a robust class of targets including mixed characteristic schemes. It is well-adapted to refined versions such as in Arakelov theory. Finally, and this is crucial here, via its additivity property it extends from -torsors, i.e., invertible sheaves, to torsors for more general group schemes of multiplicative type.
Intersection sheaves satisfying the axioms of the original construction were extended to families of (not-necessarily-smooth) Cohen-Macaulay schemes in [Elk89], and finally extended to non-Cohen-Macaulay schemes in [MnGa00]. The construction of the Abel map in [dJHS11] is a special case of an intersection sheaf in relative dimension [math]. The intersection sheaf in relative dimension [math] extends the usual norm of invertible sheaves and Cartier divisors for a finite, flat morphism to morphisms that are not necessarily finite and flat. The construction in [dJHS11] in terms of det and Div, cf. [KM76], is essentially the original construction. In addition to satisfying the axioms of intersection sheaves, the det-Div construction gives a formula for the contribution to the intersection sheaf from the locus where the morphism is not finite and flat. This is crucial in [dJHS11]: that formula implies that the Abel maps are compatible with the inductive structure on the moduli spaces of stable sections coming from “boundary” correspondences between these moduli spaces.
In positive characteristic, the stacks of stable sections are not Deligne-Mumford stacks. Even in positive characteristic, the Hilbert scheme is a projective scheme that parameterize sections and their specializations. The Hilbert scheme parameterizes closed subschemes that are not necessarily Cohen-Macaulay. Thus, the appropriate version of intersection sheaves is [MnGa00]. However, the formula for the contribution to the intersection sheaf from the non-flat locus is not part of that construction. Our main result is that the construction of [MnGa00] gives the same intersection sheaves as the det-Div construction in our setting. The result, Proposition 5.3, shows that the det-Div construction of the intersection sheaf extends to the non-Cohen-Macaulay setting and satisfies many of the usual axioms: enough axioms so that it agrees with every other construction satisfying these axioms, including the construction of [MnGa00].
Since the intersection sheaves are multiadditive, they naturally extend to torsors for for , i.e., ordered -tuples of invertible sheaves. Combined with fppf descent, which we quickly review in Section 6, this leads to an extension of intersection sheaves to intersection torsors for more general group schemes than . Of course this was part of Deligne’s original construction, allowing him to define the intersection pairing on torsors for finite, flat, commutative group schemes. To define Abel maps for fibrations of higher Picard rank , the relevant group schemes are tori that are not necessarily split. Corollary 7.2 gives the extension of intersection sheaves to intersection torsors for tori.
The strategy of the proof of existence of sections in [dJHS11] and [Zhu] is to ascend up the tower of moduli spaces of stable sections via the boundary correspondences and to prove that “eventually” the fibers of the Abel map are rationally connected. The terms in this tower are indexed by the degree of a torsor on a curve together with its natural partial ordering, so degrees of torsors are also important. Proposition 8.4 gives a degree map satisfying some natural properties.
2. Axioms and the Basic Construction
For every morphism of schemes that is proper, that is fppf of pure relative dimension , and that is cohomologically flat in degree [math], the relative Picard functor is an algebraic space over , .
Definition 2.1**.**
Let be a morphism that is proper, fppf of pure relative dimension , and cohomologically flat in degree [math]. An intersection datum for is a tuple
[TABLE]
of an integer , a -scheme , a proper, fppf morphism of relative dimension that is projective fppf locally over , a proper, perfect morphism of -schemes, and an -tuple of invertible sheaves on .
For fixed , an isomorphism between -tuples and is an -tuple of isomorphisms of invertible sheaves . For a datum as above and for a morphism of -schemes, , the pullback datum is
[TABLE]
A relative intersection sheaf for is an assignment to every intersection datum of a section over of that satisfies the following axioms.
- (0)
The assignment is invariant under isomorphism of -tuples. 2. (i)
The assignment is -invariant. 3. (ii)
The assignment is multiadditive in the invertible sheaves, i.e.,
[TABLE] 4. (iii)
The assignment is compatible with pullback, i.e., the intersection sheaf of the pullback datum is the pullback to of the section of over . 5. (iv)
For , for every -module homorphism that is regular when restricted to every fiber of , for the associated Cartier divisor , equals . 6. (v)
If equals [math], then equals .
Remark 2.2**.**
By (i), axioms (ii) and (iv) for the last argument imply the analogous axiom for every argument. By (ii) and (iii), it follows that if any is isomorphic to a pullback from , then is the neutral section of over . In particular, if is empty, this is the neutral section. By (iii) and fppf descent for morphisms, it suffices to construct satisfying the axioms after fppf base change of . So, it suffices to construct when is projective. Since every proper morphism of relative dimension is projective fppf locally over , it is convenient to state the definition this way.
Definition 2.3**.**
For every Noetherian scheme , denote by the Grothendieck group of bounded, perfect complexes of -modules with its usual ring structure and lambda operations. For every locally constant function , (continuous for the Zariski topology and the discrete topology), define to be the corresponding element in . The rank of a perfect complex at a point is the alternating sum of the ranks of the terms of any bounded complex of locally free sheaves on a neighborhood that is locally quasi-isomorphic to the perfect complex. This depends only on the perfect complex, and it is locally constant in the point and additive for exact triangles. Hence it defines a group homomorphism . This is a ring homomorphism; denote the kernel by . Together with the usual lambda operations this makes into an augmented -ring (technically it splits into a tensor product of the augmented -rings of the connected components of ). For every integer , and for every ordered -tuple of elements with ranks , denote by the element .
Remark 2.4**.**
The element is in the gamma filtration on . The gamma filtration is the filtration by ideals that is smallest among those such that every element is in and that is “strictly” compatible with pullbacks to all projective space bundles (so that we can use the “splitting principle”) in the following sense. For every projective bundle of relative dimension and with relative Serre twisting sheaf , an element is in if and only if is in , cf. [Man69, Corollary 8.10]. The operation is multiadditive for sum in . For invertible sheaves , the operation is not multiadditive for tensor product of invertible sheaves. However, it is multiadditive for tensor products modulo the next piece of the gamma filtration, . The intersection sheaf below extends to an additive map defined on . If that map annihilates , then the ideal sheaf is multiadditive for tensor products. It seems difficult to prove directly that any one of the constructions of the intersection sheaf annihilates .
Hypothesis 2.5**.**
Let be a Noetherian scheme. Let , be morphisms of algebraic spaces.
Lemma 2.6**.**
If is smooth, and if is locally fppf, then every -morphism is a perfect morphism in the sense of [BGI71, Définition III.4.1]. If is separated and is proper, then also is proper.
Proof.
Since is smooth, the immersion is a regular immersion, hence an LCI morphism. By [BGI71, Proposition VIII.1.7], is a perfect morphism. If is separated, then is a closed immersion, hence proper. Since is locally fppf, also
[TABLE]
is locally fppf. Hence by [BGI71, Corollaire III.4.3.1], also is perfect. If is proper, then is proper. Finally by [BGI71, Proposition III.4.5], the composition is perfect, i.e., is perfect. Also, if is proper and if is separated, then both and are proper. Then the composition is proper. ∎
Hypothesis 2.7**.**
Assume that is flat of constant relative dimension . Assume that is flat of constant relative dimension for an integer . Assume that is a proper, perfect -morphism.
By [BGI71, Proposition III.4.8], for every perfect complex of bounded amplitude on , also is a perfect complex of bounded amplitude on . Thus, by [KM76], there is an associated invertible sheaf on . This is additive for direct sum, and even for distinguished triangles of perfect complexes. By this additivity property, extends to an additive homomorphism from the Grothendieck group of virtual classes of perfect complexes on to the Picard group of .
Definition 2.8**.**
Assuming Hypothesis 2.7, for every ordered -tuple of invertible sheaves on , the intersection sheaf or Deligne pairing relative to , , is the invertible sheaf on obtained by applying to the virtual class
The virtual class is basically the cup product of the K-theoretic first-Chern-classes (up to twisting by the K-theory class of an invertible sheaf). This is an explicit alternating sum of K-theory classes of invertible -modules, and of this class is the alternating tensor product of the corresponding terms. The intersection sheaf is functorial for the category of ordered -tuples of invertible -modules with isomorphisms as the morphisms. This is also -equivariant for permutation of the terms of . If any is isomorphic to , then the intersection sheaf is isomorphic to .
3. Regular Sequences
The intuition of intersection sheaves is stated most simply in terms of regular sequences, and this is the basis of the construction for many authors. Whether or not it is the basis of any particular construction, it is a key technique for proving properties of the intersection sheaves.
Let be an -module homomorphism,
[TABLE]
Hypothesis 3.1**.**
Assume that , and assume that every fiber of satisfies Serre’s condition (if equals , then conditions and are equivalent). Assume that the restriction of to every fiber of is a regular sequence.
Proposition 3.2**.**
Under the above hypotheses, there exists , an -module homomorphism whose restriction to every fiber of is injective. The closed subset contains . Finally, for every virtual linear combination of locally free -modules of virtual rank , is isomorphic to .
Proof.
Denote by the Koszul complex of . This is the free differential graded -algebra on . It is a complex of locally free sheaves concentrated in degrees . In degree , the associated locally free sheaf is
[TABLE]
Thus, the -theory class of is , for the invertible sheaf
[TABLE]
By the hypothesis, the only nonzero homology sheaf of this complex is in degree [math], and that homology sheaf is . By hypothesis, this is flat over of relative dimension .
Because the fibers of satisfy , every point of of depth is a generic point of its -fiber, and every point of of depth is either a generic point or a codimension point of its -fiber. By hypothesis, after restricting to the fiber over each point of , the support of has dimension . Since the -fiber has dimension , the fiber of over every codimension [math] point of is disjoint from the support of . Similarly, the fiber of over every codimension point of intersects the support of in a zero-dimensional scheme. Altogether, satisfies the transversality hypothesis relative to , [KM76, Definition, p. 50]; in fact it even satisfies the hypothesis after restricting to the fiber over every point of .
By [KM76, Proposition 9], there is an associated Div section
[TABLE]
and for every locally free sheaf of rank , is canonically isomorphic to . (Please note: the statement of the proposition is only for , but the proof of the proposition works for all .)
In particular, for equal to , is canonically isomorphic to . Using additivity of , for every virtual linear combination of locally free -modules, is isomorphic to . ∎
Deligne’s study of the functoriality of in is used to prove important properties of such as additivity. Let and be invertible sheaves on . Let
[TABLE]
be -module homomorphisms. Then is an invertible sheaf on , and there is a tensor product -module homomorphism,
[TABLE]
There is a useful compatibility between the Koszul complexes , , , and .
There are natural morphisms of differential graded -algebras, and . There are morphisms of complexes of -modules,
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Since and are invertible sheaves, these are even homomorphisms of differential graded modules over . The direct sum is a morphism of complexes of -modules,
[TABLE]
Define to be the mapping cone of ,
[TABLE]
[TABLE]
[TABLE]
This is a differential graded -algebra. There is a mapping cone short exact sequence,
[TABLE]
The morphism is a homomorphism of differential graded -algebras, and is a homomorphism of differential graded -modules.
There is a natural morphism of differential graded -algebras, . The zero map,
[TABLE]
is a homomorphism of differential graded -modules. The mapping cone is just
[TABLE]
[TABLE]
[TABLE]
This is a differential graded -algebra. There is a mapping cone short exact sequence,
[TABLE]
The morphism is a homomorphism of differential graded -algebras, and is a homomorphism of differential graded -modules.
Lemma 3.3**.**
The complexes of -modules, and , are isomorphic.
Proof.
Consider the diagram
[TABLE]
[TABLE]
[TABLE]
It is straightforward to check that is a morphism of complexes. Also, each of and is an isomorphism. Thus, is an isomorphism of complexes of -modules. ∎
In what follows, all we need is existence of this isomorphism; we need no other compatibilities. That is fortunate: the isomorphism above is not unique, and is not an isomorphism of differential graded -algebras. Nonetheless, it is a lifting to perfect differential graded -algebras of an elementary homomorphism of -algebras. Since is an acyclic complex, is a quasi-isomorphism. Thus, in the derived category of complexes of -modules, there is a distinguished triangle,
[TABLE]
[TABLE]
When is a regular sequence, this distinguished triangle is a lifting to complexes of locally free sheaves of the short exact sequence of -modules,
[TABLE]
Hypothesis 3.4**.**
Assume that , and assume that every fiber of satisfies Serre’s condition (if equals , then conditions and are equivalent). Assume that the restriction of to every fiber of is a regular sequence.
Proposition 3.5**.**
Under the above hypotheses, there is an equality of effective Cartier divisors, . In particular, there is an isomorphism of intersection sheaves,
Proof.
Because the sequence is regular on every fiber of , so are the subsequences and . Also, for every fiber of , since both and are regular on the quotient by , also is regular on the quotient by . Thus, also the sequence is regular on every fiber of . Thus all of the Cartier divisors above are defined.
Tensoring the Koszul complex with the short exact sequence in Equation 2 gives a mapping complex short exact sequence,
[TABLE]
[TABLE]
The derived functor preserves mapping cones. Thus there is a mapping cone short exact sequence,
[TABLE]
[TABLE]
The third complex is acyclic. By hypothesis, satisfies hypothesis relative to , [KM76, Definition, p. 50]. In other words, the open complement of contains all depth [math] and depth points of , and is acyclic on . By [KM76, Proposition 9], there is a Div Cartier divisor of , and this Cartier divisor is acyclic on . By Krull’s Hauptidealsatz, every minimal prime over a principal ideal (assuming that there are any such primes) has height [math] or . Thus, the Div Cartier divisor is trivial, . Finally, by [KM76, Theorem 3], also of the middle complex is good, and the associated Div Cartier divisor is trivial.
Tensoring the Koszul complex with the mapping cone short exact sequence in Equation 1 gives another mapping cone short exact sequence,
[TABLE]
[TABLE]
The derived functor preserves mapping cones. Thus there is a mapping cone short exact sequence,
[TABLE]
[TABLE]
The first and third complexes on satisfy hypothesis relative to . Thus, the first and third complexes on are good, [KM76, p. 47]. By [KM76, Theorem 3(ii)], also the middle complex on is good, and the “sum” of the Div Cartier divisors of the first and third complex equals the Div Cartier divisor of the middle complex. By Lemma 3.3, the middle complex above is isomorphic to the middle complex from the previous paragraph. That complex had trivial Div Cartier divisor. Thus, the middle complex above has trivial Div Cartier divisor. Therefore, the Div Cartier divisor of the first complex is the inverse Cartier divisor of the Div Cartier divisor of the third complex. Combined with Proposition 3.2, this precisely gives
[TABLE]
∎
This is the basic additivity of intersection sheaves under a regularity hypothesis. Via the -equivariance and usual methods of multilinear algebra, this implies other properties. The following property is helpful in proving additivity with no regularity hypothesis.
For , let and be invertible -modules with -module homomorphisms,
[TABLE]
Let , , , and be invertible -modules with -module homomorphisms,
[TABLE]
[TABLE]
Define , resp. . Define , resp. .
Denote , a set with elements. For every partition , one of or contains . Define , resp. , , to be the length- sequence of invertible sheaves where for , equals or depending on whether or , and where equals , resp. , , or , resp. , , depending on whether or . Similarly, define to be the length- sequence of invertible sheaves as above, where , resp. , equals or , resp. or , depending on whether or . For each of these sequences, there is a corresponding sequence , resp. , , of -module homomorphisms , resp. , , using the -module homomorphisms from the previous paragraph. Finally, let be a sequence of integers indexed by all partitions of .
Hypothesis 3.6**.**
Assume that , and assume that every fiber of satisfies Serre’s condition (if equals , then conditions and are equivalent). Assume that for every partition of , the restriction of the sequence to every fiber of is a regular sequence.
Corollary 3.7**.**
Under the above hypotheses, there is an equality of Cartier divisors (written additively),
[TABLE]
In particular, there is an isomorphism of intersection sheaves,
[TABLE]
Proof.
It suffices to prove for every partition that the Cartier divisor equals , using multiplicative notation. This follows from Proposition 3.5. ∎
4. Properties
There are a few straightforward properties of the intersection sheaf. For every morphism , denote by the fiber product , and denote by the projection .
Lemma 4.1**.**
Assuming Hypothesis 2.7, assuming that is fppf of pure relative dimension , then is proper and perfect. For every ordered -tuple of invertible -modules, there is an isomorphism of invertible sheaves on ,
[TABLE]
This isomorphism is natural in and in .
Proof.
The morphism is perfect by [BGI71, Corollaire III.4.7.1]. It is proper since it is a base change of a proper morphism. Pullback under is a ring homomorphism from the -ring of virtual perfect complexes on to the -ring of virtual perfect complexes on . Similarly, is compatible with , [KM76, p. 46]. The lemma follows from these compatibilities. ∎
Similarly, for a morphism of Noetherian schemes , denote , denote , and denote the projection. The same proof proves the following.
Lemma 4.2**.**
Assuming Hypothesis 2.7, the morphism is proper and perfect. For every ordered -tuple of invertible -modules, there is an isomorphism of invertible sheaves on ,
[TABLE]
This isomorphism is natural in and in .
Hypothesis 4.3**.**
Let be an fppf morphism. Let be a nonempty finite set of closed subschemes that are each -flat of constant relative dimension . Let be an invertible sheaf on . Let be a -relatively ample invertible sheaf on .
Lemma 4.4**.**
Under the above hypotheses, there exists an integer such that for every , after base change from to a Zariski cover, there exists a homomorphism of coherent sheaves such that , resp. , is injective after restriction to every fiber of , resp. after restriction to every fiber of . Thus, the support of , resp. , is a -flat Cartier divisor in , resp. in .
Proof.
By semicontinuity, there exists such that for all , surjects onto the sections of on each fiber of . Thus, every homomorphism defined on a fiber of extends to a Zariski neighborhood of that point. For a homomorphism , resp. , if the restriction to a fiber of is injective, then , resp. , is injective with flat cokernel on a Zariski open neighborhood of that fiber, [Mat89, Theorem 23.7]. Thus, to construct a Zariski neighborhood of a fiber of and as above, it suffices to prove the result for the fiber. Thus, assume that is for a field .
By primary decomposition, there are finitely many associated points of , resp. of the finitely many closed subschemes . By ampleness, up to increasing , for every , there exists that is an isomorphism on the stalks at each of the finitely many associated points. Since the set of zero divisors in a Noetherian ring is precisely the union of the associated primes, is injective, resp. each is injective. ∎
Hypothesis 4.5**.**
Let be an fppf morphism. Let be a nonempty finite set of closed subschemes that are each -flat of constant relative dimension . Let be a -relatively ample invertible sheaf on . Let be an integer, and let be . Let be a finite collection of invertible sheaves on .
Lemma 4.6**.**
Under the above hypotheses, for every integer , after base change from to a Zariski cover of , there exists a sequence of integers and there exists a collection of homomorphisms of coherent sheaves such that for every and for every finite subset of size , the sequence is regular on every fiber of . Thus the closed subscheme of cut out by this regular sequence is -flat of constant relative dimension ; is empty when equals . Moreover, the set of sequences for which there exists such a datum has the following property: for every , for every , there exists an integer such that for every , there exists with in .
Proof.
This is proved by induction on . When equals [math], this follows from Lemma 4.4. Thus, by way of induction, assume that , and assume the result is proved for smaller values of . Partition as . By the induction hypothesis, after base change to a Zariski cover of , there exists and there exists such that for every and for every subset of size , the sequence is regular on all fibers of . Thus the closed subscheme of cut out by this regular sequence is -flat of relative dimension .
For every and as above, consider the collection of -flat closed subschemes of where for every , varies over all subsets of size . When is the empty set, interpret as .
By Lemma 4.4, there exists an integer such that for every integer , after replacing by a Zariski cover once more, there exists that is regular after restriction to every fiber of . Thus, since the restriction to each fiber of of is regular, and also is regular on each fiber of , the entire sequence is regular on each fiber of . The result follows by induction on .
Moreover, since for every as above, for every , the element is in , also the observation about follows by induction on . ∎
A first application of this is in the special case that every is .
Lemma 4.7**.**
In Lemma 4.6, if every is , then for every integer , after base change from to a Zariski cover of , there exists and as in the lemma and satisfying the extra hypothesis that .
Proof.
By Lemma 4.6, there exists some sequence of integers , not necessarily all equal, and there exists a sequence of homomorphisms as in the lemma. Now let be the least common multiple of all , i.e., for each there exists a positive integer such that . Set equal to . Then every is a homomorphism . Since is regular, is also regular, [Mat89, Theorem 16.1]. ∎
5. The Main Result
Definition 5.1**.**
A Stein factorization of is a pair of finitely presented morphisms,
[TABLE]
such that equals , such that is quasi-finite, and such that the natural homomorphism of -algebras,
[TABLE]
is an isomorphism.
If is proper, then there exists a Stein factorization of . Assuming that a Stein factorization exists, for every invertible sheaf on , the natural homomorphism of -modules,
[TABLE]
is an isomorphism. Moreover, Stein factorizations are compatible with fppf base change (they are compatible with arbitrary base change if is proper and cohomologically flat in degree [math]).
Hypothesis 5.2**.**
Assume that is flat of constant relative dimension . Assume that every fiber of satisfies Serre’s condition (if equals , then conditions and are equivalent). Assume that is flat of constant relative dimension for an integer . Assume that is a proper, perfect -morphism.
Proposition 5.3**.**
As above, let be a Noetherian scheme. Let be a flat morphism of constant relative dimension , and assume that all fibers are . Let be a finite type, flat morphism of constant relative dimension for . Let be a proper, perfect -morphism. Assume that there exists an invertible sheaf on that is -ample. All of the following hold after base change of by a Zariski cover, setting ; resp. if there exists a Stein factorization of , the following hold without base change for as in the Stein factorization.
- (i)
For every -tuple of invertible sheaves, , there exists an invertible sheaf on and an isomorphism of -modules,
[TABLE]
[TABLE] 2. (ii)
For every virtual perfect complex on of virtual rank , there exists an invertible sheaf on and an isomorphism of -modules,
[TABLE] 3. (iii)
For every -module homomorphism whose restriction to every fiber of is injective, for the closed subscheme that is the effective Cartier divisor of , there exists an invertible sheaf on and an isomorphism of -modules,
[TABLE]
Proof.
For a Stein factorization, since equals for every invertible sheaf on , the invertible sheaves , , and are uniquely determined and can be constructed after base change from to a Zariski cover of . Thus, in what follows, we perform such base changes freely.
(i) Denote by . Denote by a set of size , . Denote by , resp. , , the subset , resp. , . For every subset , define to be the subset of .
Define to be the subset of the power set of consisting of A subset is of type if for the subset , one of the following hold:
[TABLE]
Define to be the collection of all subsets of this type. Said differently fails to be in if and only if contains the subset or contains the subset . Notice, since has size , every in has size .
By Lemma 4.7, after base change of to a Zariski cover, there exists an integer and sections ,
[TABLE]
such that for every subset , the restriction of to every fiber of is a regular sequence. Up to replacing by , assume that equals .
For every in of size , we next define a length- sequence of sections of ample invertible sheaves whose restriction to every fiber of is a regular sequence. Thus the zero scheme of this regular sequence is flat over . If , by considering the intersection with fibers of , every fiber of is nonempty, and hence has pure dimension . If equals , then over every connected open subcheme of where has some nonempty fiber, then every fiber is nonempty of pure dimension , but there may well be connected components of over which is empty.
For , define to be . By construction, this is a regular sequence on every fiber of . For every subset , whose size automatically satisfies , on every fiber of , both of the sequences and are regular. Since both the images and are regular modulo the sequence , also is regular modulo , i.e., is a regular sequence on every fiber of . For the set , define to be the sequence of length . Define to be the zero scheme of this sequence.
By Lemma 4.6 applied to the closed subschemes and the sequence of invertible sheaves , there exists a sequence of positive integers and a sequence of -module homomorphisms,
[TABLE]
such that for every in with size and for every finite subset whose size satisfies , the sequence is regular when restricted to every fiber of .
Define and define to be ,
[TABLE]
For every in with size , for every subset of size , both of the following sequences are regular when restricted to fibers of : and . Thus, also the sequence is regular.
For every , define and . Similarly, define , , , and . For every , define to be , and define to be . Define , resp. , to be , resp. . Define , resp. , to be , resp. .
Let be a partition of . If , resp. if , by construction the sequence
[TABLE]
respectively the sequence
[TABLE]
is regular on every fiber of . Thus, also the sequence
[TABLE]
respectively the sequence
[TABLE]
is regular on every fiber of . Thus, the hypotheses of Corollary 3.7 are satisfied. In particular, for every invertible sheaf on ,
[TABLE]
[TABLE]
In the K-group of locally free -modules, there is an identity,
[TABLE]
[TABLE]
Denote . Via the multiadditivity of the operation , in the K-group there is an identity,
[TABLE]
Since and det are additive, using Proposition 3.5, it follows that equals an alternating tensor product of invertible sheaves . Thus, by Corollary 3.7, there is an isomorphism
[TABLE]
(ii) Via the same strategy as in the proof (i), this follows from the corresponding statement in Proposition 3.2.
(iii) Since equals , it suffices to prove an identity
[TABLE]
for an invertible -module . Since is a ring homomorphism of K-rings,
[TABLE]
Thus, by the projection formula,
[TABLE]
Finally, the resolution of gives an identity,
[TABLE]
for . ∎
The projectivity hypothesis on is only necessary fpqc locally.
Corollary 5.4**.**
In the previous proposition, replace the hypothesis that there exists a -ample invertible sheaf on with the hypothesis that for some fpqc morphism there exists a -ample invertible sheaf on . Also assume that has a Stein factorization. Then the proposition still holds.
Proof.
Because of compatibility of pushforward and flat base change, the base change of the Stein factorization,
[TABLE]
is a Stein factorization of . Now use the same observation as in the previous proof: because equals for every invertible sheaf on , the invertible sheaves , , and are uniquely determined. Thus, the invertible sheaves on constructed using Proposition 5.3 satisfy the fpqc descent condition. ∎
Corollary 5.5**.**
Let be a morphism that is proper, fppf of pure relative dimension , and cohomologically flat in degree [math]. Also assume that every geometric fiber of satisfies Serre’s condition . Then there exists a relative intersection sheaf for as in Definition 2.1. Moreover, this intersection sheaf is unique.
Proof.
By the proposition, the intersection sheaves from Definition 2.8 satisfies the axioms from Definition 2.1. Moreover, the proof of the proposition proves that, via Axioms (ii) and (iii), the intersection sheaf for an arbitrary -tuple of invertible sheaves can be reconstructed from those -tuples of invertible sheaves that admit sections forming a regular sequence of length . For such -tuples, Axiom (iv) and induction on reduces to the case that . For , Axiom (v) uniquely determines the intersection sheaf. Thus, the relative intersection sheaf is unique. ∎
6. Tori and Torsors
The intersection sheaves above are sufficient to construct Abel maps in case the target has Picard rank one. To deal with higher Picard rank, it is necessary to generalize the intersection sheaf from -torsors to torsors for a more general group scheme over , as in [SGA73, Exposé XVIII, Formulaire 1.3.8]. The group scheme will be isomorphic to a product of copies of , i.e., a split torus, after pullback by a finite, étale morphism . Unfortunately, cohomological flatness in degree [math] is not preserved by finite, étale morphisms.
Example 6.1**.**
Let be a field. Let be a smooth, projective, geometrically connected curve over of genus . For simplicity assume that has a -point, so that there exists an invertible sheaf on representing the relative Picard functor. The pushforward is flat and of formation compatible with arbitrary base change when restricted over the open complement of the unique -point parameterizing the dualizing sheaf . On every open neighborhood of , this sheaf is neither flat nor of formation compatible with arbitrary base change.
Let be a dense open subset. On , define to be the commutative, coherent sheaf of algebras
[TABLE]
where equals [math]. Define to be the relative Spec, . The projection is projective, flat, and even LCI. Since equals , is cohomologically flat in degree [math] if and only if does not contain the distinguished -point . Now let be the finite, étale morphism of degree associated to a nontrivial -torsion invertible sheaf on . This extends uniquely to a finite, étale morphism of degree , . The morphism is cohomologically flat in degree [math] if and only if contains neither nor . Thus, it can happen that is cohomologically flat in degree [math], yet is not cohomologically flat in degree [math].
Hypothesis 6.2**.**
Let be quasi-compact. Let be a morphism that is proper, fppf of pure relative dimension , and whose geometric fibers are reduced, are , and have only finite geometric covers. That last hypothesis says that for every étale morphism satisfying the valuative criterion of properness (but need not be quasi-compact) and with having only finitely many connected components, then is a finite morphism. These hypotheses holds if is normal or if is an at-worst-nodal curve of “compact type”.
Definition 6.3**.**
A torus over is a smooth group scheme over that is étale locally isomorphic to for an integer , the rank of the torus. The Cartier dual of is the étale group scheme over whose associated étale sheaf of Abelian groups is the sheaf . This sheaf is locally constant with fiber .
The group scheme is never quasi-compact if . However, since is quasi-compact, is a countable increasing union of open subschemes that are quasi-compact. Because is quasi-compact, and because of the hypothesis on the geometric fibers of , for the smallest open and closed subscheme of containing a specified quasi-compact open, is finite over . For every geometric point of , some contains a (finite) set of generators for the geometric fiber (as a group). Again using that is quasi-compact, there exists a that generates as a group scheme.
Example 6.4**.**
If we drop the hypothesis on the fibers of , this can easily fail. For instance, let be a nodal plane cubic, let be the unique finite, étale morphism of degree with connected domain, and let be the étale group scheme that is isomorphic to on each of the two irreducible components of , yet where the glueing isomorphisms at the two nodes differ by an infinite order automorphism of , e.g., . Presumably there is a hypothesis weaker than unibranch that works and that allows the fibers to be nonreduced (yet ). Reducedness of fibers is useful not only here, but also because it implies cohomological flatness in degree [math] of for all finite, étale covers of .
For every set , denote by the étale -scheme together with a set map that represents the functor associating to every étale -scheme the collection of all set maps . Thus the sheaf of is locally constant with fiber . locally defines an isomorphism of the constant sheaf In particular, is the étale group scheme over with fiber .
Lemma 6.5**.**
There exists a finite, étale, surjective morphism representing the functor that associates to every -scheme the set of all isomorphisms of étale group -schemes, , mapping the basis elements of into the subscheme .
Proof.
This is straightforward. Since both and are finite, étale over , the Hom scheme is finite, étale over . The universal morphism over extends to a morphism of group schemes . The target is étale locally isomorphic to , thus the determinant of is étale locally well-defined up to a sign. This determinant is an étale locally constant function. Thus, there is an open and closed subscheme of that is the locus on which this determinant is or . As an open and closed subscheme of a finite, étale scheme over , also is a finite, étale scheme over . Since is étale locally isomorphic to and since generates the group scheme on all geometric fibers, is surjective. ∎
Remark 6.6**.**
By the lemma, is a split multiplicative group on . By adjointness of pullback and restriction of scalars, there is a natural morphism of group schemes . Checking étale locally, this morphism is unramified and locally split. Thus, the lemma is just a global version of the “standard” argument that every torus embeds in the torus of a “permutation module”.
For a morphism , define , resp. . Denote the projections by
[TABLE]
[TABLE]
A descent datum of an affine -scheme relative to is a pair of an affine morphism and an isomorphism of -schemes, such that the following cocycle condition or descent condition is satisfied,
[TABLE]
For descent data and , an morphism between these descent data is an morphism of -schemes, such that equals . The identity is a morphism, and the composition of two morphisms is an morphism. Thus, descent data form a category.
For every affine morphism , the associated descent datum is with projection and with equal to the natural isomorphism
[TABLE]
For an morphism of affine -schemes, , the associated morphism of descent data is ,
[TABLE]
Every descent datum isomorphic to the descent datum associated to an affine -scheme is an effective descent datum. The basic result of effective fpqc descent is the following.
Theorem 6.7**.**
[Gro62*, Théorème 2, p. 190-19]**
Assume that is faithfully flat and quasi-compact. For every pair of affine -schemes, and , every morphism of the associated descent datum is associated to a unique morphism of -schemes. Every descent datum of affine schemes relative to is effective.*
This is relevant here because -torsors are affine and fpqc. Thus, they can be used both as the affine scheme and the fpqc cover in the previous theorem. In particular, this leads quickly to an existence result for “induced torsors”. Let and be faithfully flat, finitely presented group schemes over a scheme . Let be a morphism of -group schemes. Denote by the left -action by multiplication on the right by the inverse, . For every left -torsor , say , , there is an induced “diagonal” left action of on ,
[TABLE]
Altogether, this makes into a -torsor over . (This is the reason for using the inverse of the right -action on ; so that it commutes with the left regular action of on itself.) The goal is to construct a left -torsor and a -invariant, left -equivariant morphism realizing as a -torsor over . In particular, is a categorical quotient of the diagonal action. Thus, if exists, then it is unique up to unique isomorphism. This strong uniqueness insures the cocycle condition for a descent datum.
Corollary 6.8**.**
There exists a left -torsor and a morphism that is -equivariant, that is invariant for the diagonal -action, and that realizes as a -torsor over for its diagonal -action.
Proof.
Since is fpqc, and since is isomorphic to as a -torsor after passing to an fpqc cover of , also the projection morphism is fpqc. By Theorem 6.7, [Gro62, Théorème 2, p. 190-19], it suffices to construct an -descent datum for and satisfying the conditions. Because of the strong uniqueness, both the morphism in the descent datum and the cocycle conditions are automatic. Thus, it suffices to prove the existence of a -torsor over and a morphism from the -pullback of to that is left -equivariant, that is -invariant, and that realizes as a -torsor over .
Since is a -torsor, the following morphism is an isomorphism,
[TABLE]
Thus, there is an induced isomorphism,
[TABLE]
This is an isomorphism from the trivial -torsor over to the pullback by of the -torsor . Consider the following morphism,
[TABLE]
This is left -equivariant, it is -invariant, and it realizes as a -torsor over . Since is an isomorphism, there is a unique morphism
[TABLE]
such that equals . Thus, is also left -equivariant, it is -invariant, and it realizes as a -torsor over . ∎
The operation induces a -morphism of classifying stacks.
Definition 6.9**.**
For as in Hypothesis 6.2 and for a torus over , denote by the -stack classifying -torsors. This is a quasi-compact, quasi-separated algebraic -stack with affine diagonal. Denote by the -stack . For every morphism of tori over , denote by , resp. by , the -morphism defined by .
Proposition 6.10**.**
If is proper and fppf, then is an algebraic -stack that is locally finitely presented and whose diagonal is quasi-compact and separated. If satisfies Hypothesis 6.2, then has a coarse moduli space that is locally finitely presented and quasi-separated (typically not separated). Assuming, moreover, that has geometrically reduced fibers and that the finite part of the Stein factorization of is étale, fppf locally is a gerbe for a commutative, fppf group scheme that is the kernel of a morphism of tori. Finally, assuming further that a -trivializing, finite, étale, surjective cover of is geometrically integral over the Stein factorization of , and assuming there exists a -section of , then this gerbe is split, i.e., there is a section .
Proof.
By [Lie06, Proposition 2.3.4] and [Ols06, Theorem 1.5], is a locally finitely presented algebraic -stack whose diagonal is quasi-compact and separated. The proof that the diagonal is quasi-separated is roughly the same as the proof that has a coarse moduli space, so here it is quickly. By Lemma 6.5, there exists a finite, étale morphism such that is isomorphic to . Quasi-separatedness of this stack is equivalent to quasi-compactness of the Isom scheme for -torsors and over , not only for -torsors on , but also for -torsors on every base change . By fpqc descent, Theorem 6.7, [Gro62, Théorème 2, p. 190-19], -torsors on are equivalent to descent data of -torsors. On , the -torsors are equivalent to -tuples of invertible sheaves. So the Isom scheme is an -fold fiber product over of the Isom schemes of the component invertible sheaves. These Isom schemes are quasi-compact by [Gro63, Corollaire 7.7.8]. The scheme parameterizing the isomorphism on is again described in terms of Isom schemes of invertible sheaves on . This Isom scheme is again quasi-compact by [Gro63, Corollaire 7.7.8]. Of course to descend, this data must satisfy the cocycle condition. These are closed conditions: the subscheme parameteizing data satisfying the cocycle condition is a closed subscheme. A closed subscheme of a quasi-compact scheme is again quasi-compact. Thus, altogether, the stack is quasi-separated.
In the same way, the coarse moduli functor of -torsors over is relatively a finitely presented, affine scheme over the coarse moduli functor of -torsors on . Since the pullback of to is , this functor is a quasi-separated, locally finitely presented algebraic -space by Hypothesis 6.2 and [Art69, Theorem 7.3].
Next, assume that has geometrically reduced fibers and that is étale. Then for every étale cover , the finite part of the Stein factorization, , is étale. In particular, after a finite, étale base change of , assume that is a disjoint union of copies of . After a further fppf base change, essentially by , assume that there is an -tuple of sections splitting the morphism . After a further finite, étale base change of , there exist finite, étale morphism and a trivialization , , such that is the Stein factorization and such that there exists a lift, , of each section .
Thus, assume now that has geometrically integral fibers, and assume that there exists a section of the Stein factorization. This induces a section . Since is projective and flat with integral geometric fibers, every automorphism of a -torsor is just multiplication by a -section of . Denote by the rigidified stack of -torsors together with a trivialization as -torsors. By Theorem 6.7, [Gro62, Théorème 2, p. 190-19], every automorphism of such a pair is uniquely determined by the induced automorphism of the corresponding object of . As noted above, these automorphisms are trivial. Thus, the stack is an algebraic space. There is a forgetful morphism . This is a torsor for the pullback to of the group scheme : any two trivializations differ by post-composing by multiplication by a section of . Thus, the induced map of coarse moduli spaces is an isomorphism, i.e., is equivalent, as a -stack and thus also as a -algebraic space, to the coarse moduli space . Therefore, the morphism admits a section.
There is a commutative group scheme over defined as the pushforward via of the Isom scheme of the torsor . For the finite, étale covers , resp. , there are associated group schemes and . Again using Theorem 6.7, [Gro62, Théorème 2, p. 190-19], there is an exact sequence of commutative group schemes,
[TABLE]
where sends to By construction, both and are tori: is isomorphic to the Weil restriction of for the finite, étale cover , and is the Weil restriction of a split torus for the finite, étale cover arising from its Stein factorization over . Thus, étale locally on , the morphism is a morphism between split tori. Choosing splittings of these tori, is equivalent to an integer valued matrix. Considering the Smith normal form of this matrix, is equivalent to a product of copies of and copies of finite, flat group scheme for various integers (possibly divisible by the characteristic, thus not necessarily étale). The -morphism is a gerbe for this group scheme . ∎
7. Intersection Torsors
There is a category whose objects are pairs of a finite, étale morphism and a torus on . For objects and , a morphism from the first to the second is a pair of a -morphism (automatically finite and étale) and a morphism of group schemes over , (note, this is contravariant in the second argument). Composition and identities are defined in the evident manner. This category is fibered over the category of finite, étale -schemes, and each fiber category is an additive category (it is not an Abelian category, because there are no cokernels satisfying the usual axioms for an Abelian category). The clivage associates to and the object .
For a -torsor on , there is an associated torsor on for . By Corollary 6.8, there is an associated -torsor on . This pullback torsor is contravariant in and covariant in .
Definition 7.1**.**
Let be a morphism satisfying Hypothesis 6.2. For every object of , an intersection datum for is a tuple
[TABLE]
of an integer , a -scheme , a proper, fppf morphism of relative dimension that is projective fppf locally over , a proper, perfect morphism of -schemes, an -tuple of invertible sheaves on , and a torsor over for . For fixed , an isomorphism between -tuples and is an -tuple of isomorphisms between the component invertible sheaves , and an isomorphism of torsors under . For a datum as above, and for a morphism in , , the -pullback of the datum is the datum
[TABLE]
[TABLE]
Similarly, for a datum as above and for a morphism of -schemes, , the pullback datum is
[TABLE]
A relative intersection torsor for is an assignment to every intersection datum of a section over of that satisfies all of the following axioms.
- (0)
The assignment is invariant under isomorphism of -tuples. 2. (i)
The assignment is -invariant in . 3. (ii)
The assignment is additive in every argument of . 4. (iii)
The assignment is compatible both for -pullbacks and for pullbacks of -schemes. 5. (iv)
For every , for every section that is regular on every fiber of , for the associated Cartier divisor ,
[TABLE] 6. (v)
If equals [math], and if equals , then for the -torsor of an invertible sheaf , equals .
Corollary 7.2**.**
Let be a morphism satisfying Hypothesis 6.2. Also assume that every geometric fiber of satisfies Serre’s condition . Then there exists a relative intersection torsor for , and this intersection torsor is unique.
Proof.
This is a consequence of Corollary 5.5 and fpqc descent, Theorem 6.7, [Gro62, Théorème 2, p. 190-19]. Corollary 5.5 gives a relative intersection torsor whenever is the split torus : for a -torsor with associated to an invertible sheaf , the intersection -torsor has associated to the invertible sheaf . Additivity in the last argument implies that this is compatible with -pullbacks for morphisms .
Having constructed the relative intersection torsor whenever is a split torus, now Lemma 6.5 and fpqc descent, Theorem 6.7, [Gro62, Théorème 2, p. 190-19], extends the relative intersection torsor to general torsors . The cocycle condition for fpqc descent is precisely compatibility with -pullbacks. ∎
8. Degrees
The last aspect of Abel maps has to do with degrees of torsors. For this, we make a strong hypothesis that is satisfied in the case of Abel maps.
Hypothesis 8.1**.**
Let be an excellent, Noetherian scheme. Let be a projective, smooth morphism of pure relative dimension .
Definition 8.2**.**
For every finite, flat morphism with smooth, for every torus on , define to be the pushforward with respect to of the cocharacter lattice (as an étale sheaf). This is contravariant in , it is covariant in , and it is compatible with étale base change of .
The étale group scheme is the natural target for the degree map. In particular, when is Spec of a finite field, this degree is a logarithmic height, and the map to is a “multiheight” as in [BGS94], [Gub97].
Definition 8.3**.**
A degree datum for is a tuple
[TABLE]
of a finite, flat morphism such that is smooth, a torus on , a -tuple of invertible sheaves on , and a -torsor on . Isomorphisms and pullbacks are as in Definition 7.1. A relative degree map for is an assignment to every degree datum of a section of over that satisfies all of the following axioms.
- (0)
The assignment is invariant under isomorphism. 2. (i)
The assignment is -invariant in . 3. (ii)
The assignment is additive in every argument of . 4. (iii)
The assignment is compatible with base change of . 5. (iv)
For every finite, flat morphism such that is smooth, for every -tuple of invertible sheaves on , for every -torsor on ,
[TABLE] 6. (v)
For every morphism of tori ,
[TABLE] 7. (vi)
When has connected geometric fibers, and when equals , for the associated invertible sheaf of , equals the virtual rank of .
Proposition 8.4**.**
Under Hypothesis 8.1, there exists a relative degree map. The relative degree map is unique. Denoting by also the étale group scheme over whose étale sheaf is as above, the relative degree map defines a morphism of -schemes, .
Proof.
This is proved by the same method as in the proof of Corollary 7.2. The definition of the degree in the general case reduces to the case that equals . The main point is that for every element , the virtual rank of is zero. Since the virtual rank is locally constant, this can be checked after base change to the residue field of a point of . Now the claim follows by Riemann-Roch, cf. [Man69, Corollary 8.10, Proposition 16.12]. Modulo , the rule is multiadditive. Since is also additive for the K-group, it follows that is multiadditive.
For every -tuple , is in . For every virtual object in the K-ring having virtual rank and determinant , the class is congruent to modulo . Since the gamma filtration is multiplicative, the virtual rank of on is the same as . In particular, for as above, for an invertible sheaf on , the virtual object has virtual rank [math] and determinant equal to . Thus, via the projection formula,
[TABLE]
[TABLE]
∎
Since is smooth, the geometric fibers are reduced, and the same holds for all finite, étale covers. Thus, for every finite, étale morphism , the morphism is cohomologically flat in degree [math]. Since the geometric fibers of are smooth curves, they satisfy Serre’s condition . Thus, the hypothesis above implies Hypothesis 6.2.
Definition 8.5**.**
For every algebraic stack over , define to be the -stack whose objects are commutative diagrams
[TABLE]
together with a -morphism over , . Here is a morphism of schemes, and is a flat, proper morphism of relative dimension . When is the classifying stack , the -stack above is denoted .
By Lemma 2.6, is perfect and proper. Every flat, proper morphism of relative dimension is projective fppf locally over , cf. [dJHS11, Proposition 3.3]. Thus, by Corollary 7.2, there is an intersection torsor that is a section of over .
Proposition 8.6**.**
The -section of defines a -morphism When the diagram above is a family of stable sections over , this -morphism agrees with the -morphisms constructed in [dJHS11] and [Zhu].
Proof.
By the axioms, the intersection torsor is functorial for pullback in and for isomorphism of -torsors over . Thus, this is a -morphism. The construction of an intersection torsor via det and Div is precisely how the Abel maps are constructed in [dJHS11] and [Zhu]. ∎
Hypothesis 8.7**.**
Let be an excellent, Noetherian scheme. Let be a projective, smooth morphism of pure relative dimension , i.e., a family of projective, smooth curves over (not necessarily geometrically connected).
Denote by the finite part of the Stein factorization of . Since is smooth, is finite and étale. Since has relative dimension , the relative degree map defines a morpism of -schemes,
[TABLE]
Proposition 8.8**.**
Assuming Hypothesis 8.7, resp. assuming both Hypothesis 8.7 and that contains a characteristic [math] field, the stack is smooth and the coarse moduli space is fppf, resp. is smooth and the coarse moduli space is quasi-compact and smooth. Also the degree morphism is fppf, resp. the morphism is surjective and smooth.
For each field and -valued point , for as in Lemma 6.5, for every -point of with degree , the norm is a -point of with degree . Thus is surjective if has a -point.
The degree morphism is a torsor for the kernel . Locally on for the fppf topology, the kernel group scheme admits a finite morphism to an Abelian scheme. Thus is a proper, fppf group scheme, resp. it is an extension of a (commutative) finite, étale group scheme over by an Abelian scheme over .
Proof.
Since is étale over , to prove that is flat and finitely presented, resp. smooth, it is equivalent to prove that is flat and finitely presented over , resp. smooth over . This can be checked fppf locally on . By Proposition 6.10, after fppf base change of , the stack is a gerbe over for a commutative, fppf group scheme that is the kernel of a morphism of tori. In characteristic [math], is a smooth group scheme. Thus, to prove that is fppf, resp. to prove that is smooth in characteristic [math], it suffices to prove that is smooth over .
The infinitesimal deformation theory of , and more general “restriction of scalars” stacks, is given in [Ols06, Section 5.7]. The pullback by the identity section of the relative sheaf of differentials of is a locall free sheaf over . The cotangent complex of is isomorphic to the pullback of the complex concentrated in cohomological degree , i.e., . This is a pullback because the group scheme is commutative; for a non-commutative group scheme , twist by the universal -torsor and the adjoint action on the sheaf of left-invariant differential . For an Artinian scheme , for a quotient by a square-zero ideal
[TABLE]
for a morphism , for a -torsor over , the obstruction to deforming is an element in , and this vanishes because has dimension . Thus, is smooth over .
Therefore the kernel of the degree morphism is an fppf group scheme, resp. a smooth group scheme in characteristic [math]. Because the degree morphism is flat and finitely presented, resp. smooth in characteristic [math], this morphism of group schemes is a torsor under the kernel assuming that the morphism is surjective.
To prove surjectivity in the general case, it suffices to prove surjectivity in case equals for a field . To prove surjectivity of points (not surjectivity of the induced map of -points), it suffices to check after base change to a larger field. Thus, consider the special case that there exists a finite, étale, surjective morphism and an isomorphism . Assume, moreover, that for the Stein factorization , also is geometrically integral over . Finally, assume that there exists a -point of . By Lemma 6.5 this holds after a finite field extension of . By Proposition 6.10, under these hypotheses the stacks are split gerbes over the coarse moduli spaces, so they have the same (isomorphism classes of) -points. For every -point of and for every -point of of degree , by Definition 8.3(iv) and Proposition 8.4, the norm has degree . Thus, to prove that is (geometrically) surjective, it suffices to prove the same for . Via , the degree morphism is
[TABLE]
This is the -Weil restriction of the associated morphism of -schemes,
[TABLE]
Since the degree of equals , this degree morphism is surjective, and even is surjective. Thus also is surjective on -points. Since this holds for all sufficiently large field extensions, the degree morphism is surjective on points (on geometric points always, and on rational points assuming that has a -point). Note, moreover, that the kernel of the degree morphism is an Abelian scheme over . Since is finite and étale, the -Weil restriction is also an Abelian scheme over .
Denote by the quotient torus, , for the unramified morphism of tori on . By the same proof as in Proposition 6.10, is an fppf group scheme on that is, fppf locally, a product of a torus and a commutative, finite, flat group scheme. The quotient by is also such an fppf group scheme, cf. Corollary 6.8. By the long exact sequence of fppf cohomology, there is an exact sequence of fppf group schemes,
[TABLE]
The scheme is affine, and every locally closed subscheme of is separated. Thus, is separated. Then the same argument also implies that is separated. So the kernel of is a closed subgroup scheme. Altogether, is an -torsor over the closed image of .
Since is a product of a torus and a finite, flat group scheme, in order to prove that is a finite, flat group scheme, it suffices to prove that has finite order . Denote by the degree of the finite, étale morphism . For a torsor on , is multiplication of by . Since equals the kernel of , has order . Therefore is a commutative, finite, flat group scheme that is étale locally a product of group schemes over .
Also, since is torsion-free, the degree of equals [math] if and only if the degree of equals [math]. Thus, the image under of is the intersection of the closed image of with . This intersection is a closed subgroup scheme of an Abelian scheme over . Altogether, is a commutative, proper group scheme over that is fppf. In characteristic [math], such a group scheme is a direct product of an Abelian scheme and a commut is an extension of a finite, étale group scheme by an Abelian variety. In characteristic [math], such a group scheme is an extension of a finite, étale group scheme by an Abelian scheme (the Abelian scheme is the connected component of the identity). Of course over geometric points of , this extension is split by Chevalley’s structure theorem. ∎
Proposition 8.9**.**
With hypotheses as in Proposition 8.8, assume that equals for a field, and assume that is a geometrically integral curve of genus . The exponent of the torsion group divides the degree of every residue field of every closed point for every finite, étale, surjective morphism such that is isomorphic to .
Proof.
For each such field extension , replacing be the irreducible component that contains the -point, then is a geometrically integral -curve with a -point. Thus, by Proposition 8.8, is surjective, i.e., is surjective. Since is the -Weil restriction of , for every , the multiple is the Weil restriction of . Thus, for a -point of whose -degree equals , the -degree of the norm equals . So the order of in the cokernel of divides . ∎
Finally, in order to make sense of the asymptotics of quantities depending on the degree, there is a notion of a “positive structure”, i.e., a monoid of positive degrees.
Definition 8.10**.**
A positive structure on is an open and closed subscheme that is a submonoid scheme, that generates a finite index subgroup scheme of , and that is sharp, i.e., it contains no subgroup scheme other than the trivial group scheme. The positive structure is saturated, resp. finitely generated, if its fibers over geometric points of are saturated (for multiplication by positive integers), resp. finitely generated (as a commutative monoid).
Lemma 8.11**.**
Every saturated positive structure generates .
Proof.
This can be checked after base change to geometric points of . By hypothesis, for every , there exists an integer such that is contained in the subgroup generated by . Every nonnegative linear combination of elements of is an element of . Thus there exists such that equals . Thus is in . Since and since is in , also is in . Thus is in , i.e., is in . Since this submonoid is saturated, is in . Therefore is in the subgroup generated by . ∎
Lemma 8.12**.**
Let and be a trivializing finite, étale cover as above. Assume, moreover, that is Galois with Galois group . For every -stabilized positive structure on , the intersection of with is a positive structure on . If is saturated, resp. finitely generated, then also is saturated, resp. finitely generated.
Proof.
The intersection is an open and closed subscheme that is a subsemigroup scheme and contains only the trivial group scheme. It remains to check that generates a finite index subgroup scheme. This can be checked on geometric fibers over . Denote by the index in of the subgroup generated by . Denote by the order of . For every geometric point , by hypothesis, the element in is a -linear combination of elements of , say
[TABLE]
Then also
[TABLE]
By hypothesis, each is in . Thus the sum is an element of that is -invariant. By descent, this is an element in , thus it is in . So the subgroup generated by has finite index dividing .
The intersection of a saturated submonoid of an Abelian group with a subgroup is also saturated. Thus, if is saturated, then is also saturated. Over geometric points of , is isomorphic to . Assume that is a finitely generated monoid. The intersection of any finite collection of finitely generated monoids in is a finitely generated monoid (the problem of algorithmically finding a finite set of generators is known as the “vertex enumeration problem”). In particular, the intersection of the finitely generated monoid and the finitely generated monoid (even subgroup) is a finitely generated monoid . ∎
9. Acknowledgments
I am grateful to Aise Johan de Jong and Eduardo Esteves who each pointed out that an Abel map as in [dJHS11] must exist under weaker hypotheses. I thank Yi Zhu for many discussions about Abel maps through the years. I thank Chenyang Xu for many discussions; this work grew from our joint project on rational points over global function fields for rationally simply connected varieties. I was supported by NSF Grants DMS-0846972 and DMS-1405709, as well as a Simons Foundation Fellowship.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[Art 69] M. Artin. Algebraization of formal moduli. I. In Global Analysis (Papers in Honor of K. Kodaira) , pages 21–71. Univ. Tokyo Press, Tokyo, 1969.
- 2[BGI 71] P. Berthelot, A. Grothendieck, and L. Illusie, editors. Théorie des intersections et théorème de Riemann-Roch . Springer-Verlag, Berlin, 1971. Séminaire de Géométrie Algébrique du Bois-Marie 1966–1967 (SGA 6), Dirigé par P. Berthelot, A. Grothendieck et L. Illusie. Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussila, S. Kleiman, M. Raynaud et J. P. Serre, Lecture Notes in Mathematics, Vol. 225.
- 3[BGS 94] J.-B. Bost, H. Gillet, and C. Soulé. Heights of projective varieties and positive Green forms. J. Amer. Math. Soc. , 7(4):903–1027, 1994.
- 4[Del 87] P. Deligne. Le déterminant de la cohomologie. In Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985) , volume 67 of Contemp. Math. , pages 93–177. Amer. Math. Soc., Providence, RI, 1987.
- 5[d JHS 11] A. J. de Jong, Xuhua He, and Jason Michael Starr. Families of rationally simply connected varieties over surfaces and torsors for semisimple groups. Publ. Math. Inst. Hautes Études Sci. , (114):1–85, 2011.
- 6[Elk 89] R. Elkik. Fibrés d’intersections et intégrales de classes de Chern. Ann. Sci. École Norm. Sup. (4) , 22(2):195–226, 1989.
- 7[Gro 62] Alexander Grothendieck. Fondements de la géométrie algébrique. [Extraits du Séminaire Bourbaki, 1957–1962.] . Secrétariat mathématique, Paris, 1962.
- 8[Gro 63] A. Grothendieck. Éléments de géométrie algébrique. III. Étude locale des schémas et des morphismes de schémas. Inst. Hautes Études Sci. Publ. Math. 11 (1961), 349-511; ibid. , (17):137–223, 1963. http://www.numdam.org/item?id=PMIHES_1961__11__5_0 .
