Analytic and Algebraic Geometry
Analytic and Algebraic Geometry
Analytic and Algebraic Geometry
Indranil Biswas
Archana S. Morye
A.J. Parameswaran Editors
Analytic
and Algebraic
Geometry
Analytic and Algebraic Geometry
Anilatmaja Aryasomayajula
Indranil Biswas Archana S. Morye
•
A.J. Parameswaran
Editors
123
Editors
Anilatmaja Aryasomayajula Archana S. Morye
Department of Mathematics School of Mathematics and Statistics
IISER Tirupati University of Hyderabad
Tirupati, Andhra Pradesh Hyderabad, Telangana
India India
This work is a co-publication with Hindustan Book Agency, New Delhi, licensed for sale in all countries
in electronic form only. Sold and distributed in print across the world by Hindustan Book Agency, P-19
Green Park Extension, New Delhi 110016, India. ISBN: 978-93-86279-64-4 © Hindustan Book
Agency 2017.
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
This work is subject to copyright. All rights are reserved by the Publishers, whether the whole or part
of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission
or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar
methodology now known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publication does not imply, even in the absence of a specific statement, that such names are exempt from
the relevant protective laws and regulations and therefore free for general use.
The publishers, the authors and the editors are safe to assume that the advice and information in this
book are believed to be true and accurate at the date of publication. Neither the publishers nor the
authors or the editors give a warranty, express or implied, with respect to the material contained herein or
for any errors or omissions that may have been made. The publishers remains neutral with regard to
jurisdictional claims in published maps and institutional affiliations.
For more than ten years, Indranil Biswas and A. J. Parameswaran of Tata In-
stitute of Fundamental Research, Mumbai are organizing an annual international
conference on the topics around Analytic and Algebraic Geometry. The first
part of the conference is held at the Tata Institute of Fundamental Research
and the second part in some other institute. These conferences are primarily in-
tended to facilitate interactions, between mathematicians in India and in other
countries, working in related areas. Another purpose of these conferences is to
have series of lectures by experts on topics of interest to mathematicians in
India. These annual conferences have initiated a large number of collaborative
works in Mathematics.
In 2015, a conference on Analytic and Algebraic Geometry was held at the
Tata Institute of Fundamental Research and the University of Hyderabad. This
volume is an outcome of that conference, although not all speakers submitted
their lecture material.
There are fifteen articles in this volume. The main purpose of the articles
is to introduce recent and advanced techniques in Analytic and Algebraic Ge-
ometry. We have attempted to give recent developments in the area to target
mainly young researchers, who are new to this area. We have also added some
research articles to give examples of how to use these techniques to prove new
results.
Our sincere thanks to the School of Mathematics, the University of Hyderabad
for their generous financial and logistic support for this conference.
Editors
Contents
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
About the Editors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
Marco Antei
On the Bumpy Fundamental Group Scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Anilatmaja Aryasomayajula
Heat Kernels, Bergman Kernels, and Cusp Forms . . . . . . . . . . . . . . . . . . . . . . . 19
Usha N. Bhosle
On a Conjecture of Butler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Indranil Biswas and Mahan Mj
A Survey of Low Dimensional (Quasi) Projective Groups . . . . . . . . . . . . . . . . 49
Niels Borne
Parabolic Sheaves and Logarithmic Geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Emre Coskun
A Survey of Ulrich Bundles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
Ananyo Dan
Noether-Lefschetz Locus and a Special Case of the Variational
Hodge Conjecture: Using Elementary Techniques . . . . . . . . . . . . . . . . . . . . . 107
A. El Mazouni and D.S. Nagaraj
Tangent Bundle of P2 and Morphism from P2 to Gr(2, C4 ) . . . . . . . . . . . . . . 117
Michel Emsalem
Twisting by a Torsor. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Viktoria Heu and Frank Loray
Hitchin Hamiltonians in Genus 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
Inder Kaur
Smoothness of Moduli Space of Stable Torsion-free Sheaves with Fixed
Determinant in Mixed Characteristic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
Johan Martens
Group Compactifications and Moduli Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
viii Contents
Archana S. Morye
The Serre-Swan Theorem for Ringed Spaces. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207
Georg Schumacher
An Extension Theorem for Hermitian Line Bundles . . . . . . . . . . . . . . . . . . . . . 225
Tathagata Sengupta
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant 1 in
Characteristic 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
About the Editors
Marco Antei∗,†
Abstract
In this short paper we first recall the definition and the construction of the
fundamental group scheme of a scheme X in the known cases: when it is defined
over a field and when it is defined over a Dedekind scheme. It classifies all the
finite (or quasi-finite) fpqc torsors over X. When X is defined over a noetherian
regular scheme S of any dimension we do not know if such an object can be
constructed. This is why we introduce a new category, containing the fpqc
torsors, whose objects are torsors for a new topology. We prove that this new
category is cofiltered thus generating a fundamental group scheme over S, said
bumpy as it may not be flat in general. We prove that it is flat when S is a
Dedekind scheme, thus coinciding with the classical one.
1. Introduction
In his famous [SGA1] Alexander Grothendieck constructs the étale fundamental
group π ét (X, x) of a scheme X, endowed with a geometric point x : Spec(Ω) →
X. It is a pro-finite group classifying the étale covers over X. Grothendieck
elaborates for π ét (X, x) a specialization theory ([SGA1], Chapitre X) but it
seems he is not entirely satisfied of it. Indeed at the end of the aforementioned
tenth chapter he claims (here we freely translate from French1 ) that
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_1
2 Marco Antei
2. Over a Field
The main references for the material contained in this sections are certainly
[No76] and [No82], but also [Sz09], Chapter 6. Other references will be provided
when necessary for more detailed results.
on serait en droit à s’attendre que les “vrais” groupes fondamentaux des fibres géométriques
d’un morphisme lisse et propre f : X → Y forment un joli système local sur X, limite
projective de schémas en groupes finis et plats sur X.
2 Cette conjecture extrêmement séduisante est malheureusement mise en défaut par un
exemple inédit de M. Artin, déjà lorsque les fibres de f sont des courbes algébriques de genre
donné g ≥ 2.
On the Bumpy Fundamental Group Scheme 3
3 In these notes we are using Nori’s setting, though it has been observed several times
that his tannakian construction would hold for any field k provided X satisfies the condition
H 0 (X, OX ) = k, which is automatically satisfied when k is perfect.
4 Of course this name has been given later; in Nori’s works those vector bundles did not
We also observe that if the category C has a final object then C is cofiltered
if and only if for any triple of objects A, B, C and for any pair of morphisms
f : A → C, g : B → C there exists, in C, the fibre product A ×C B then the
category5 . This is a nice exercise left to the reader. We can now state the main
result of this section, due to Nori:
Theorem 2.4. Let X be a reduced and connected scheme over any field k and
let x ∈ X(k) be a k-rational point. Then the category F(X) is cofiltered.
(Y1 , G1 , y1 ) (Y2 , G2 , y2 )
OOO oo
OOO ooo
OOO ooo
OO' wooo
(Y0 , G0 , y0 )
and we want to prove that this diagram has a fibre product in F(X). We chose
as a candidate the triple given by (Y3 , G3 , y3 ) := (Y1 ×Y0 Y2 , G1 ×G0 G2 , y1 ×y0 y2 )
and we need to prove that it is an object of F(X). It is not trivial to prove
that Y1 ×Y0 Y2 is faithfully flat over X and it is at this point that we use our
hypothesis on X, that we have assumed to be reduced and connected. Once we
prove that (Y3 , G3 , y3 ) is a torsor over X we are done.
The importance of this result is that we can now wonder whether or not we
can compute the projective limit of all the finite pointed torsors over X. But
since F(X) is cofiltered and all the morphisms in F(X) are affine then this limit
exists, what we obtain is again a universal triple (X̃, π(X, x), x̃); unsurprisingly
we call again the pro-finite k-group scheme π(X, x) the fundamental group
scheme of X in x and X̃ the universal π(X, x)-torsor (pointed at x̃). The fact
that no confusion can arise is a consequence of the following
5 Alternatively if C has a final object U , if there exist finite products (i.e. fibre products
of objects over U ) and if for any triple of objects A, B, C and for any pair of morphisms
f : A → C, g : B → C there exists, in C, a forth object D in C closing the diagram, then the
category C is cofiltered
6 Marco Antei
Theorem 3.1. Let S, X and x like before. Let us moreover assume that one
of the following assumptions is satisfied:
Proof. The strategy being the same as for the field case, we take three objects
of F(X) (Yi , Gi , yi ), i = 0, ..., 2 and two morphisms as follows
(Y1 , G1 , y1 ) (Y2 , G2 , y2 )
OOO oo
OOO ooo
OOO ooo
OO' wooo
(Y0 , G0 , y0 )
and we want to prove that this diagram has a fibre product in F(X). Unfortu-
nately in general the triple given by (Y1 ×Y0 Y2 , G1 ×G0 G2 , y1 ×y0 y2 ) is not a
good candidate as G1 ×G0 G2 may easily be not flat (though finite) over S. But
we can hopefully do the following: we can consider (Y1 ×X Y2 , G1 ×S G2 , y1 ×S y2 )
On the Bumpy Fundamental Group Scheme 7
(which is certainly a torsor), its generic fibre (which is a torsor over Xη ), the
natural closed immersion
Lemma 3.2. Notations are those of Theorem 3.1. Let us moreover assume
that one of the assumptions given in Theorem 3.1 is satisfied. Let (Y, G, y) be
an object of F(X) and (T, H, t) an object of F(Xη ) contained in (Yη , Gη , yη )
(i.e. we are considering a morphism (T, H, t) → (Yη , Gη , yη ) whose induced
morphism on the group schemes H → Gη is a close immersion). Then the
triple (T , H, t) obtained as the Zariski closure of (T, H, t) in (Yη , Gη , yη ) is an
object of F(X).
Exactly like before we thus have a fundamental group scheme π(X, x) of X
in x and a universal π(X, x)-torsor over X dominating, by a unique morphism,
every finite pointed torsor over X.
Working over a base scheme with dimension > 0 gives us a lot of freedom
that we do not have when we are over a field: for example dealing with affine
S-group schemes we immediately notice that there are many group objects over
S whose fibres are finite group schemes. Of course there are finite and flat group
schemes, which we already considered, but quasi-finite and flat group schemes
(not necessarily finite) can also be considered. Finally, if we are brave enough,
we can also consider non flat quasi-finite group schemes, but for this we need
to wait until §4. We now conclude this section with a brief overview on the
“quasi-finite and flat” world: again we have a Dedekind scheme S, a scheme
X faithfully flat and of finite type over S, we fix a section x ∈ X(S) and we
wonder whether we can build a universal torsor dominating all the quasi-finite
torsors over X (i.e. torsors whose structural group is an affine quasi-finite and
flat S-group scheme). We now have a new, but similar, question: is the category,
that we denote by Qf (X), of quasi-finite pointed torsors over X cofiltered? At
the end of this section we will explain why it can be useful to work in this new
setting; first we state an existence result:
Theorem 3.3. Let S, X and x like before. Let us moreover assume that X is
integral and normal and that for each s ∈ S the fibre Xs is normal and integral.
Then the category Qf (X) is cofiltered.
8 Marco Antei
Proof. The proof is quite long and though the strategy is similar to that of
Theorem 3.1, the details are a bit more complicated and we refer the reader to
[AEG15], §5.2.
π qf (X, x) → π(X, x)
it can thus be easier for π qf (X, x), though not easy, to obtain information about
it from its fibres.
4. Any Dimension
We have seen that when the base scheme S has dimension 1 the whole picture
becomes more complicated. But there is at least a very useful property that we
used a lot: over a Dedekind domain a finitely generated module is flat if and
only if it is torsion free. This is no longer true when dim(S) ≥ 2 so to build
a fundamental group scheme classifying all the (quasi-)finite torsors might be
very hard. From now until the end of the paper, unless stated otherwise, S will
be a locally Noetherian regular scheme, thus in particular when dim(S) = 0
(resp. dim(S) = 1) then S is the spectrum of a field (resp. a Dedekind scheme).
What we are suggesting in the reminder of these short notes is a new approach
to study the existence of the fundamental group scheme for such a base scheme
S. As fqpc torsors can be difficult to study globally in this new setting we first
introduce new torsors, for a new Grothendieck topology, whose description can
be a bit cumbersome, but they will globally behave well. Usual fpqc torsors
will be a particular case. Let us do it by steps.
On the Bumpy Fundamental Group Scheme 9
R[x] R[x]
G := Spec and H := Spec ;
xp − x, πx xp , πx
they are quasi finite R-group schemes of finite type when provided with co-
multiplication, counit and coinverse given respectively by Δ(x) := x ⊗ 1 + 1 ⊗
x; ε(x) := 0; S(x) := −x. We immediately observe that neither G nor H are
S-flat: indeed x is, in both cases, a R-torsion element. Their generic fibers are
trivial K-group schemes while the special fibers Gs and Hs (of G and H respec-
tively) are isomorphic to (Z/pZ)k and αp,k respectively. When char(K) = p
then G can be easily recovered as the kernel of the morphism (Z/pZ)R → M1
(sending x
→ πx) where Mn := Spec xp −πR[x]
n(p−1) x is the finite and flat R-group
scheme defined in [Ma03, §3.2], so in particular G is finite and not just quasi-
finite. In a similar way H can be recovered as the kernel of the morphism
M1 → M2 (sending x
→ πx).
Remark 4.9. Let R be a discrete valuation ring of positive equal characteristic
p. Let Mn be as in Example 4.8. We define Hij := ker(ϕ : Mi → Mj )
(where ϕ# : x
→ π j−i x)). We observe, for instance, that there is a natural
group scheme morphism u : H12 → H13 whose corresponding morphism on
the coordinate rings is given by u# : xpR[x] R[t]
,π 2 x → tp ,πt , x
→ t. It is immediate
to observe that for all s ∈ Spec(R) the restriction us : H12,s → H13,s is an
isomorphism though u is not an isomorphism: indeed u# is not injective. This
phenomenon cannot happen in the flat schemes world.
Remark 4.10. Notations being as in Remark 4.9 we observe that H13 can be
both seen as a trivial H13 -torsor and as a trivial H12 -torsor. This phenomenon
is not entirily new as even in the easiest case where X = S is the spectrum
of a positive characteristic field then a μp -trivial torsor can also be seen as a
αp -trivial torsor.
These short examples show that it is easy and very natural to encounter
non flat quasi-finite group schemes.
β β×α
/
Z σZ Z × H
Proof. The proof for the two categories being essentially the same here we only
consider Qf (X, x). Since Qf (X, x) has a final object, it is sufficient to prove
that given three objects (Yi , Gi , yi ), i = 0, 1, 2 of Q(X, x) and two morphisms
ϕi : (Yi , Gi , yi ) → (Y0 , G0 , y0 ), i = 1, 2, there exists a forth object (Y3 , G3 , y3 )
and two morphisms ψi : (Y3 , G3 , y3 ) → (Yi , Gi , yi ), i = 1, 2 such that ϕ1 ◦ ψ1 =
ϕ2 ◦ ψ2 . We simply take the fiber product (Y3 , G3 , y3 ) := (Y2 ×Y0 Y1 , G2 ×G0
On the Bumpy Fundamental Group Scheme 13
the limit running through all the objects of Qf (X, x), which exists as the
morphisms are affine.
Definition 4.14. We call π Bqf (X, x) the bumpy fundamental group scheme.
In a similar way we obtain
the limit running through all the objects of F(X, x). This triple is universal in
the obvious sense already mentioned. The S-affine group scheme π B (X, x) will
be called the finite bumpy fundamental group scheme.
It is worth repeating that it is not known whether the fpqc pointed finite
(resp. quasi-finite) torsors form a cofiltered category for such a general base
scheme S, but all of them are already inside F(X, x) (resp. Qf (X, x)) and
so provided the fundamental group scheme π(X, x) classifying all the finite
pointed fpqc torsors (resp. the quasi-finite fundamental group scheme π qf (X, x)
classifying all the quasi-finite pointed fpqc torsors) exists, there would be a
natural morphism π B (X, x) → π(X, x) (resp. π Bqf (X, x) → π qf (X, x)).
14 Marco Antei
2. X is integral and normal and that for each s ∈ S the fibre Xs is normal
and integral
Proof. The proof is similar to (and can be deduced from) [AEG15], Proposition
4.2, Proposition 5.2, Proposition 5.5 and we leave to the reader all the details.
Here we only prove that π B (X, x) → π(X, x) is an isomorphism when S =
Spec(R) where R is a discrete valuation ring (this is thus a subcase of case
(1)): it is sufficient to prove that any object of F(X, x) is preceded by a finite
fpqc torsor, that means that if Y → X is a finite bumpy G-torsor then there
exist a finite and flat R-group scheme H and a finite fpqc H-torsor Z → X
and a morphism (of pointed torsors) Z → Y . So let Yη be, as usual, the generic
fibre of Y : it is a finite fpqc Gη -torsor over Xη . We claim that the Zariski
closure Yη of Yη in Y is a fpqc-torsor over X under the action of the R-finite
and flat group scheme obtained as the Zariski closure Gη of Gη in G. Following
[EGAIV.2] (2.8.3) we deduce an action Yη ×S Gη → Yη compatible with the
action of G on Y . Thus, in particular, the canonical morphism
u : Yη ×S Gη → Yη ×X Yη
On the Bumpy Fundamental Group Scheme 15
Yη ×S Gη
u / Yη ×X Yη
_ _
i j
Y ×S G
v / Y ×X Y
Δ2
/ Y η × X Yη
Yη
p p×p
Yη /Gη / Yη /Gη ×X Yη /Gη
Δ1
Acknowledgments
We would like to thank A. Aryasomayajula, I. Biswas, A. Morye, A.
Parameswaran and T. Sengupta for the wonderful meeting that they organ-
ised in both Tata Institute of Fundamental Research (TIFR, Mumbai) and
University of Hyderabad (UoH) and for inviting me to actively participate to
this event. We would also like to thank the referee for his very useful comments
and remarks.
References
[AEG15] M. Antei, M. Emsalem, C. Gasbarri, Sur l’existence du schéma en groupes
fondamental, arXiv:1504.05082v2 [math.AG]
[BoVi] N. Borne, A. Vistoli , The Nori fundamental gerbe of a fibered category,
Journal of Algebraic Geometry (to appear).
[DeMi82] P. Deligne, J. S. Milne, Tannakian Categories, in Hodge Cycles, Motives,
and Shimura Varieties, Lectures Notes in Mathematics 900, Springer-
Verlag, (1982), 101-227.
[SGA3] M. Demazure, A. Grothendieck Schémas en groupes. I: Propriétés
générales des schémas en groupes. Séminaire de Géométrie Algébrique
du Bois Marie 1962/64 (SGA 3). Lecture Notes in Mathematics, Vol. 151
Springer-Verlag, Berlin-New York 1970
[EGAI] A. Grothendieck, Éléments de géomérie algébrique. I. Le langage des
schémas. Publications Mathématiques de l’IHÉS, 4, (1960).
[EGAIV.2] A. Grothendieck, Éléments de géomérie algébrique. IV. Étude locale des
schémas et des morphismes de schémas. 2, Publications Mathématiques
de l’IHÉS, 24, (1965).
[EGAIV.3] A. Grothendieck, Éléments de géomérie algébrique. IV. Étude locale des
schémas et des morphismes de schémas. 3, Publications Mathématiques
de l’IHÉS, 28 (1966).
[Ga03] C. Gasbarri, Heights of vector bundles and the fundamental group scheme
of a curve. Duke Math. J. 117 (2003), no. 2, 287–311.
[SGA1] A. Grothendieck, Revêtements étales et groupe fondamental, Séminaire de
géométrie algébrique du Bois Marie, (1960-61).
[Ha77] R. Hartshorne, Algebraic Geometry, GTM, Springer Verlag (1977).
On the Bumpy Fundamental Group Scheme 17
[Li02] Q. Liu, Algebraic geometry and arithmetic curves, Oxford Science Publi-
cations (2002).
[Ma03] S. Maugeais, Relèvement des revêtements p-cycliques des courbes ra-
tionnelles semi-stables, Math. Ann. 327 (2003), no. 2, 365–393.
[No76] M. V. Nori, On the representations of the fundamental group, Compos.
Math. 33 (1976), 29–42.
[No82] M. V. Nori, The fundamental group-scheme, Proc. Ind. Acad. Sci. (Math.
Sci.) 91 (1982), 73–122.
[Sz09] T. Szamuely, Galois groups and fundamental groups. Cambridge Studies
in Advanced Mathematics, 117. Cambridge University Press, Cambridge,
2009.
[Vi05] A. Vistoli, Grothendieck topologies, fibered categories and descent theory.
Fundamental algebraic geometry, 1–104, Math. Surveys Monogr., 123,
Amer. Math. Soc., Providence, RI, 2005.
[Wa79] W. C. Waterhouse, Introduction to affine group schemes. Graduate Texts
in Mathematics, 66. Springer–Verlag, New York–Berlin, 1979
[WW80] W.C. Waterhouse, B. Weisfeiler, One-dimensional affine group schemes,
Journal of Algebra, 66, 550-568 (1980).
Heat Kernels, Bergman Kernels, and
Cusp Forms
Anilatmaja Aryasomayajula∗
Abstract
In this article, we describe a geometric method to study cusp forms, which relies
on heat kernel and Bergman kernel analysis. This new approach of applying
techniques coming from analytic geometry is based on the micro-local analysis
of the heat kernel and the Bergman kernel from [3] and [2], respectively, using
which we derive sup-norm bounds for cusp forms of integral weight, half-integral
weight, and real weight associated to a Fuchsian subgroup of first kind.
1. Introduction
This is both a survey and a research article elucidating heat kernel and Bergman
kernel methods for studying cusp forms. We describe a geometric approach of
Bouche and Berman to study sup-norm bounds for sections of a positive line
bundle defined over a compact complex manifold. We then apply these methods
to study cusp forms associated to a Fuchsian subgroup of first kind, which
yields optimal results when the Fuchsian subgroup is cocompact. However, this
approach does not give optimal results when the Fuchsian subgroup is cofinite.
But an extension of the methods of Bouche to cuspidal neighborhoods should
allow one to derive optimal bounds for cusp forms, even when the Fuchsian
subgroup is cofinite.
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_2
20 Anilatmaja Aryasomayajula
1.1. Notation. Let C denote the complex plane. For z ∈ C, let x = Re(z)
and y = Im(z) denote the real and imaginary parts of z, respectively. Let
H = {z ∈ C| y = Im(z) > 0}
be the upper half-plane. Let Γ ⊂ PSL2 (R) be a Fuchsian subgroup of the first
kind acting by fractional linear transformations on H. We assume that Γ admits
no elliptic elements.
Let X be the quotient space Γ\H of genus g > 1. The quotient space X
admits the structure of a hyperbolic Riemann surface of finite volume. We allow
X to have genus g = 1, if X is not compact.
We denote the (1, 1)-form corresponding to the hyperbolic metric of X,
which is compatible with the complex structure on X and has constant negative
curvature equal to minus one, by μhyp (z). Locally, for z ∈ X, it is given by
i dz ∧ dz
μhyp (z) = · .
2 Im(z)2
Let μshyp (z) denote the rescaled hyperbolic metric μhyp (z)/ volhyp (X), which
measures the volume of X to be one.
For k ∈ R>0 , let ν denote the factor of automorphy of weight k with the
associated character being unitary. Let S k (Γ, ν) denote the complex vector
space of weight-k cusp forms with respect to Γ and ν. Let {f1 , . . . , fjk } denote
an orthonormal basis of S k (Γ, ν) with respect to the Petersson inner product.
Then, for z ∈ X, put
k ,ν
jk
BX (z) := y k |fi (z)|2 .
i=1
k ,ν k
When the associated character is trivial, we put BX (z) = BX (z).
k ,ν
1.2. Sup norm bounds for the function BX (z). Let the Fuch-
sian subgroup Γ be cocompact, i.e. X is a compact Riemann surface. With
notation as above, for k ∈ 12 Z (or 2Z), we have the following estimate
1 k
lim sup BX (z) = O(1), (1)
k z∈X k
where the implied constant does not depend on the modular curve Y0 (N ).
In [5], extending their method from [6], Jorgenson, Kramer, and Friedman
k
derived sup-norm bounds for the the Bergman kernel BX (z), associated to
any hyperbolic Riemann surface X (compact or noncompact of finite volume).
When X is a compact hyperbolic Riemann surface, they showed that
k
sup BX (z) = O(k),
z∈X
22 Anilatmaja Aryasomayajula
k ,ν
sup BX (z) = OA (k),
z∈A
where {λkn }n≥0 denotes the set of eigenvalues of k (counted with multiplici-
ties), and {ϕn }n≥0 denotes a set of associated orthonormal eigenfunctions.
Let {si } denote an orthonormal basis of H 0 (M, L⊗k ). For any z ∈ M , the
Bergman kernel is given by
k
BM ,L (z) := si (z)2L⊗k . (6)
i
For any z ∈ M and t ∈ R>0 , from the spectral expansion of the heat kernel
k
KM ,L (t; z, w) described in equation (5), it is easy to see that
k k k k
BM ,L (t; z) ≤ KM ,L (t; z, z) and lim KM ,L (t; z, z) = BM ,L (t; z). (7)
t
1 k n
αj
lim n
K M ,L (t; z, z) = n
, (8)
k k j=1
(4π) sinh(αj t)
Using equations (7) and (8), in Theorem 2.1 in [3], Bouche derived the
following asymptotic estimate
1 k
lim B (z) = O detω c1 (L)(z) , (9)
k k n M ,L
where the implied constant does not depend on X, and the convergence of the
above limit is uniform in z ∈ X.
When M is a noncompact complex manifold, using micro-local analysis of
the Bergman kernel, in [2], Berman derived the following estimate
1 k
lim sup n
BM ,L (z) ≤ detω c1 (L)(z) .
k k
Furthermore, let A be any compact subset of M . Then, for any z ∈ A, from
the proof of Corollary 3.3 in [2], we have
1 k
lim n BM ,L (z) = OA detω c1 (L)(z) , (10)
k k
Let ωX denote the line bundle of cusp forms of weight 12 over X. Then, for any
k ∈ 12 Z, cusp forms of weight-k with respect to Γ are global section of the line
⊗2k
bundle ωX . Furthermore, recall that for any f ∈ ωX , i.e., f a weight- 12 cusp
form, the Petersson metric on the line bundle ωX is given by
Remark 1. For any z ∈ X and k ∈ 2Z, from the definition of the Bergman
k/2 ⊗k/2
kernel BX,ΩX (z) for the line bundle ΩX from equation (6), we have
k/2 k
BX,ΩX (z) = BX (z).
Heat Kernels, Bergman Kernels, and Cusp Forms 25
Similarly, for any z ∈ X and k ∈ 12 Z, from the definition of the Bergman kernel
⊗2k
BX,Ω
2k
X
(z) for the line bundle ωX from equation (6), we have
k
BX,ω
2k
X
(z) = BX (z). (13)
⊗2 1
c1 (ωX )(z) = μhyp (z),
4π
⊗2
⊗2
1
which shows that the line bundle ωX is positive, and detμhyp c1 (ωX )(z) = 4π .
Using equation (13), and applying estimate (9) to the complex manifold X with
its natural Hermitian metric μhyp and the line bundle ωk⊗2k , we find
1 k 1 2k ⊗2
lim BX (z) = lim BX,ω X
(z) = O det μhyp 1c (ω X )(z) = O(1).
k k k k
Remark 4. For a fixed k ∈ R>0 , and let ωX,k,ν denote the line bundle of
weight-k cusp forms with the factor of automorphy ν, and associated character
being unitary. Then, for any n ∈ Z, cusp forms of weight-nk with respect to Γ
⊗n
and ν n are global section of the line bundle ωX,k,ν n . Furthermore, recall that
for any f ∈ ωX,k,ν , the Petersson metric on the line bundle ωX,k,ν is given by
n
nk ,ν
BX,ω
n
X,k,ν n
(z) = BX (z). (15)
1 nk ,ν n
lim sup B (z) = O(1),
n z∈X nk X
i k
c1 ωX,k,ν (z) = − ∂∂ log y k |f (z)|2 = μhyp (z),
2π 4π
which shows that the line bundle ωX,k,ν is positive, and
k
detμhyp c1 (ωX,k,ν )(z) = 4π . Using equation (15), and applying estimate
(9) to the complex manifold X with its natural Hermitian metric μhyp and the
⊗n
line bundle ωX,k,ν n , we find
1 nk ,ν n 1 n 1
lim BX (z) = lim BX,ωX,k,ν n (z) = O detμhyp c1 ωX,k,ν (z) = O(1).
n nk n nk k
Proof. The proof of the theorem follows from estimate (10), and from similar
arguments as in Theorem 5.
Acknowledgements
Firstly, the author would like to thank the hospitality of the department of
Mathematics at University of Hyderabad, where the article was realized. The
author would like to thank J. Kramer and J. Jorgenson for introducing him to
the area of automorphic forms and heat kernels.
The author would also like to express his gratitude to T. Bouche for pro-
viding him with helpful references, and to Archana S. Morye, for many helpful
discussions and remarks. The author would also like to thank R. S. Steiner for
his communications.
The author acknowledges the support of INSPIRE research grant
DST/INSPIRE/04/2015/002263.
References
[1] A. Aryasomayajula, Heat kernel approach for sup-norm bounds for cusp forms of
integral and half-integral weight, Archiv der Mathematik 106, (2016), 165–173.
[2] R. J. Berman, Bergman kernels and local holomorphic Morse inequalities, Math.
Z. 248, (2004), 325–344.
[3] T. Bouche, Asymptotic results for Hermitian line bundles over complex mani-
folds: The heat kernel approach, Higher-dimensional complex varieties, 67–81,
de Gruyter, Berlin, 1996.
[4] E. M. Kiral, Bounds on Sup-norms of Half Integral Weight Modular Forms, Acta
Arithmetica, Vol. 165, (2014), 385-399.
[5] J. Friedman, J. Jorgenson, and J. Kramer, Uniform sup-norm bounds on average
for cusp forms of higher weights, To appear in Volume dedicated to the Memory
of Friedrich Hirzebruch, Springer-Verlag, Berlin.
28 Anilatmaja Aryasomayajula
Usha N. Bhosle∗,†
1. Introduction
Syzygy bundles over smooth curves (as well as higher dimensional smooth va-
rieties) have been studied for several years now. Let L be a line bundle on a
smooth curve X. Given a subspace V of the space of sections of L which gener-
ates L, the kernel ML,V of the evaluation map V ⊗ OX → L is called a Syzygy
bundle or a Kernel bundle or a Lazarfeld bundle. These bundles have several
applications, applications to Syzygy problems, Greens conjectures, Minimal
Resolution conjectures, Theta functions, Picard bundles. They also play an
important role in Brill-Noether theory for higher ranks and coherent systems.
Eighteen years back, D.C. Butler made a conjecture about the semistability
of ML,V for general (L, V ) [15]. The conjecture was proved recently by Peter
Newstead, myself and Leticia Brambila-Paz [8].
In this article, we first present a short survey of previous work on the con-
jecture of Butler and related conjectures. Then we state our main results and
sketch the idea of the proofs. We end with a discussion of some applications of
Kernel bundles and generalisations of some results on Kernel bundles to nodal
and cuspidal curves.
2. Preliminaries
Let X be an integral smooth projective curve of genus g. Let E denote a vector
bundle of rank n on X and p : E → X the projection map. For x ∈ X, the
fibre Ex := p−1 x is a vector space of dimension n. We recall that a section s
E-mail: [email protected]
† This article was written during author’s tenure as Raja Ramanna Fellow in Indian In-
stitute of Science, Bangalore. It was finalised during the visit of the author to Instituto de
Ciencias Matematicas under the Indo-European Mary Curie research program MODULI in
June-July 2015. The author thanks both the institutes for excellent working conditions.
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_3
30 Usha N. Bhosle
μ(E) := d(E)/r(E) .
Definition 2.1. A vector bundle E is called semistable if for every sub bundle
F ⊂ E,
μ(F ) ≤ μ(E) .
A vector bundle F is called stable if for every proper sub bundle F of E,
μ(F ) < μ(E).
evV : X × V → E
by (x, s)
→ s(x), x ∈ X, s ∈ V.
If this map is surjective, then E is said to be generated by V .
0 → ML,V → X × V → L → 0 .
If V = H 0 (X, L), the complete linear system, then ML,V is simply denoted by
ML .
We call the pair (L, V ) a general linear series of type (d, n) if L is a general
element of the Jacobian (of degree d) of X and V is a general subspace of
dimension n of H 0 (X, L).
On a Conjecture of Butler 31
• Paranjape K. and Ramanan S. [25] deal with the particular but important
case L = KX , the canonial bundle of X. They show that for any curve
X, ML is semistable and it is stable if X is not hyper elliptic (i.e. X is
not a double cover of P1 ).
• Ein and Lazarsfeld [17] proved that for any curve X, the vector bundle
ML is semistable if d ≥ 2g, stable if d > 2g.
Butler [15] generalised their results to higher ranks replacing L by a
vector bundle E of higher rank . He proved that for any curve X, the
vector bundle ME is semistable if μ(E) ≥ 2g and stable if μ(E) > 2g.
32 Usha N. Bhosle
d(N ) − i
h0 (X, N ) ≤ + 1,
2
for all line bundles N on X. The maximum such integer i is called the
Clifford index of X.
4. The Conjectures
Much less was known about ML,V if V is not a complete linear system, we list
a few conjectures about semistability and stability of ML,V .
4.2. The Stability Conjectures. There are many variants of the sta-
bility conjecture, we consider two of them.
Definition 4.4. A curve X is called a Petri curve if for any line bundle N on
X, the multiplication map
Petri curves form a (specified) Zariski open subset in the moduli space of
curves. Hence a Petri curve is a general curve, the converse is not true.
Thus, Conjecture 4.5 implies Conjecture 4.3 (not conversely).
In Conjectures 4.3 and 4.5, we have assumed that g ≥ 3. Why? What
happens if g ≤ 2 ?
1. Case g = 0.
For g = 0, X = P1 , the projective line. By a theorem of Grothendieck,
any vector bundle on P1 is isomorphic to a direct sum of line bundles, in
particular it is not stable for rank n ≥ 2.
34 Usha N. Bhosle
2. Case g = 1
For g = 1, the curve is an elliptic curve. By a result of Tu [32], there are
no stable vector bundles of rank n and degree d on an elliptic curve if n
and d are not coprime. If (n, d) = 1, then semistability is equivalent to
stability over any curve. For any elliptic curve, ML,V is stable if and only
if d ≥ n + 1 and (n, d) = 1 [19].
3. Case g = 2
For any curve of g = 2, ML,V is stable if and only if d ≥ n + 2, d = 2n [7].
∗
For d = 2n, E = ML,V is a vector bundle of rank n with degree 2n and
h (X, E) ≥ n + 1. Then by the Riemann-Roch theorem h1 (X, E) ≥ 1 so
0
It is more convenient to fix the genus g of the curve and the number n and
consider conditions on d in terms of g and n. Theorem 5.2 can be restated as
follows.
Then, for the general linear series (L, V ) of type (d, n + 1), ML,V is stable.
When g is odd, the inequality < in the hypothesis can be replaced by ≤.
The following corollaries to the main theorems present short lists of possible
exceptions to Conjecture 4.5 for n = 5, 6, 7.
Corollary
g 5.6. [8, Corollary 6.3] Suppose that n = 5, g ≥ 3 and d ≥ g + 5 −
6 .
Corollary
g 5.8. [8, Corollary 6.5] Suppose that n = 6, g ≥ 3 and d ≥ g + 6 −
7 .
• If C and (L, V ) are general, then ML,V is stable except possibly when
g = 3, d = 14; g = 4, d = 14, 15; g = 5, d = 14, 15, 16 or g = 6, d = 16.
Corollary
g 5.10. [8, Corollary 6.7] Suppose that n = 7, g ≥ 3 and d ≥ g + 7 −
8 .
We could certainly continue with higher values of n, but these would become
increasingly complicated. However, we obtained some simple statements, which
lead to improved results for Conjecture 4.3, especially when n is prime.
4(n−1)2
• n ≥ 17, n + 5 ≤ g ≤ gn , d = 3n, 4n, where gn = 3n−5 .
6. Coherent Systems
The proofs of our theorems use the theory of coherent systems. We briefly recall
the basic definitions and results on coherent systems.
Definition 6.2. For any real number α, a coherent system (E, V ) of type
(r, d, k) is α-stable if, for any proper coherent subsystem (E , V ) of type
(r , d , k ) of (E, V ),
d + αk d + αk
< .
r r
38 Usha N. Bhosle
G0 G1 GL
0 − − −− α1 − − −− α2 − − − − −− αL −−−−−
6.2. The moduli space GL . Let X be a Petri curve. Let GL (n, d, n+1)
denote the moduli space of coherent systems of type (n, d, n + 1) for large α.
(1) 0 → ML,V → X × V → L → 0
gives
(2) 0 → L∗ → X × V ∗ → E → 0, E = ML,V
∗
,
On a Conjecture of Butler 39
and from the comology exact sequence of the sequence (2), we see that V ∗ ⊂
H 0 (E) as H 0 (L∗ ) = 0. Note that L = detE. Thus (L, V ) gives a generated
coherent system (E, V ∗ ) of type (n, d, n + 1).
Conversely, starting with such (E, V ∗ ), we can recover (L, V ) if E is
semistable by dualising sequence (2). The semistability of E implies that
H 0 (E ∗ ) = 0 and so V ⊂ H 0 (L).
This is called the dual span construction. Conjecture 4.1 (respectively Con-
jecture 4.3) is equivalent to the existence of a generated coherent system (E, V ∗ )
of type (n, d, n+1) with E semistable (respectively E stable) on a general curve.
Conjecture 4.5 is equivalent to showing that U (n, d, n + 1) = ∅ where
For : Intersecting U (n, d, n+1) with the open subset of GL (n, d, n+1) consisting
of generated coherent systems, we get an open subset consisting of generated
(E, V ∗ ) with E stable. Then by the dual span construction, E ∗ = ML,V for
some general (L, V ) proving conjecture 4.5.
Proof. Suppose that (E, W ) ∈ U (n, d, n+1). Let Lc be any effective line bundle
of degree c and let s be a non-zero section of Lc .The section s induces a linear
map H 0 (E) → H 0 (E ⊗ Lc ). Denote the image of W under this map by W ⊗ s.
Then (E ⊗ Lc , W ⊗ s) ∈ U (n, d + cn, n + 1).
Thus, for fixed g and n, we need to prove Conjecture 4.5 only for at most
n values of d.
40 Usha N. Bhosle
Let
U c := {(E, W ) ∈ GL (n, d, n + 1)|E not stable} ,
be the complement of U (n, d, n + 1). We need to show that either this set is
empty or it has dimension strictly less than the dimension of GL (n, d, n + 1).
If C is Petri, we can assume that (E, W ) is generated and h0 (E ∗ ) = 0. If E
is not stable, there exists a stable subbundle E1 of E with μ(E1 ) ≥ μ(E) and
hence an extension of coherent systems
0 → (E1 , V1 ) → (E, W ) → (E2 , V2 ) → 0 (6.1)
with E1 stable and (Ei , Vi ) of type (ni , di , ki ). Note that (E2 , V2 ) is generated
and h0 (E2∗ ) = 0. It follows that
1 g
k2 ≥ n2 + 1, 1 + g− ≤ μ(E2 ) ≤ μ(E) ≤ μ(E1 ). (6.2)
n2 n2 + 1
The hardest part of the proof is to estimate the dimensions of the spaces of
such coherent systems in several cases of (ni , di , ki ) satisfying (6.2).
This uses a lot of our work on coherent systems including the Ext groups for
coherent systems and the wall crossing formulas for moduli of coherent systems.
Finally it gives the following key theorem.
Theorem 6.5. Suppose that C is a Petri curve, g ≥ 2, n ≥ 2 and
g (n2 − n − 2)g
g+n− ≤d<g+n+ . (6.3)
n+1 2(n − 1)2
Then, for the general linear series (L, V ) of type (d, n + 1), ML,V is stable.
When g is odd, the inequality < in the hypothesis can be replaced by ≤.
Using this theorem and our other results as well as Theorems 5.1 and 5.2 , on
the conjectures, we solve Conjecture 4.1 completely and get many new results
on Conjectures 4.3 and 4.5. We compute complete lists of possible exceptions to
Conjectures 4.3 and 4.5 for n = 5, 6, 7. In principal, we can give such complete
lists for any given rank n, it gets more and more complicated as n increases.
7. Some Applications
∗
The bundle ML,V and its dual ML,V have been extensively studied over many
years, mainly because of their applications in syzygy problems. The Koszul
cohomology groups encode certain properties of ML,V and its exterior powers
(see, for example, [2, section 2.1]) and are fundamental in the study of syzygies
(see, among others, [2] for a general account, and [18] for the Minimal Res-
olution Conjecture). For an overview of early work in this area, see [20]. We
discuss a few of these below.
On a Conjecture of Butler 41
H 0 (X, Λi ML,V ⊗ ξ) = 0 ∀i = 0, · · · , n ,
for a general line bundle ξ with d(ξ) = g−1+ id
n (i.e., ML,V satisfies Raynaud’s
Property). Aprodu, Farkas and Ortega showed that if μ = d/n is an integer
then MRC holds for a general embedding X → Pn (i.e., given by a general
linear system (L, V )) of a general curve X and for all μ, n ≥ 1 [1].
The ideal generation conjecture (IGC) is a particular case of MRC. Let
X → Pn be the embedding given by the linear system (L, V ). Let Γ ⊂ X be a
(large enough) general set of points and γ the number of elements of Γ. Let IΓ
and IX denote the ideals of Γ and X in Pn . The IGC states that the quotient
ideal IΓ /IX is generated by minimal number of generators, precisely
g−1+γ
b1,u = max {d − n(du − n + 1 − g), 0} , u = 1 + .
d
The IGC holds for a generic curve X and a general embeding X → Pn [1].
0 → M → P(V ) × V → O(1) → 0
where O(1) is the tautological ample line bundle on P(V ) and the last but
one map is an evaluation map. Then M ∼ = ΩP(V ) ⊗ O(1), where ΩP(V ) is the
cotangent bundle of P(V ). Pulling back Euler sequence to X by φV ,
0 → φ∗V (M ) → X × V → L → 0 ,
showing that
φ∗V (M ) ∼
= ML,V .
42 Usha N. Bhosle
p+1
dp+1 ((s1 ∧ · · · ∧ sp+1 ) ⊗ f ) = (s1 ∧ · · · ∧ ŝj ∧ · · · ∧ sp+1 ) ⊗ sj f ,
j=1
Theorem 8.3. Let E be a torsionfree sheaf on Y with μ(E) ≥ 2g(Y ) such that
E is generated by global sections.
We need a new strategy to prove Theorems 8.2 and 8.3. We first prove both
the theorems for lower genera and then use induction on (arithmetic) genus to
prove both of them together for all genera.
D(D(KY )) ∼
= D(KY ) ∼
= ⊕g(Y )−1 OY (1), h0 (Y, D(KY )) = 2g(Y ) − 2 .
D(D(KY )) ∼
= KY , h0 (Y, D(KY )) = g(Y ) .
are surjections.
Theorem 8.4(3) was proved for smooth curves Y by Noether and was inter-
preted as the canonical embedding of a smooth curve is projectively normal.
2. If Y is nonhyperelliptic, then
To investigate the singular set of B(n, d, k), we define the Petri map for a
torsionfree sheaf E as the map
dual to the natural map φ : Ext1 (E, E) → H 0 (Y, E)∗ ⊗H 1 (Y, E). If E is locally
free, the Petri map is the usual one given by multiplication of sections.
We prove that the Petri map h is injective for all vector bundles E ∈
B (n, d, k) − B (n, d, k + 1) except in the following case: Y is hyperelliptic,
d = 2, n = 1 and k = 2. We use this to show the following:
Let C denote a component of B(n, d, k) such that C is not contained in
B(n, d, k + 1). Then we show that dim C = β(n, d, k) and the regular locus
Creg of C is given by
B(n, n + gl, n + l) ∼
= U s (l, n + gl), B̃(n, n + gl, n + l) ∼
= U (l, n + gl)
B (n, n + gl, n + l) ∼
= U s (l, n + gl), B̃ (n, n + gl, n + l) ∼
= U s (l, n + gl).
If k ≤ n+ d−2n n n
g−1 , then B (n, d, k) and B̃(n, d, k) are nonempty. B (n, d, k)
has m irreducible components each of dimension βg−1 (n, d−n, k), m being
the number of nodes.
In particular B(n, d, k) is nonempty if k ≤ n + d−2n
g−1 .
References
[1] M. Aprodu, G. Farkas and A. Ortega, Minimal resolutions, Chow forms of K3
surfaces and Ulrich bundles, arXiv 1212.6248v4, to appear in J. Reine Angew.
Math.
On a Conjecture of Butler 47
[2] M. Aprodu and J. Nagel, Koszul Cohomology and Algebraic Geometry, Uni-
versity Lecture Series 62, American Mathematical Society, Providence RI
2010.
[3] E. Arbarello, M. Cornalba, P. A. Griffiths and J. Harris, Geometry of Algebraic
curves Volume I, Springer-Verlag, New York 1985.
[4] E. Ballico and G. Hein, On the stability of the restriction of T P n to projective
curves, Arch. Math. 71 (1998), 80–88.
[5] A. Beauville, Some stable vector bundles with reducible theta divisor,
Manuscripta Math. 110 (2003), 343–349.
[6] U. N. Bhosle, Brill-Noether theory on nodal curves. Internat. J. Math., Vol.
18, No. 10 (2007) 1133-1150.
[7] U. N. Bhosle, L. Brambila-Paz and P. E. Newstead, On coherent systems of
type (n, d, n + 1) on Petri curves, Manuscripta Math. 126 (2008), 409–441.
[8] U. N. Bhosle, L. Brambila-Paz and P. E. Newstead, On linear systems and a
conjecture of D.C. Butler. International Journal of Mathematics, Vol. 26, No.
1 (2015), (Published online).
[9] S. B. Bradlow, O. Garcia-Prada, V. Muñoz and P. E. Newstead, Coherent
systems and Brill-Noether theory, Internat. J. Math. 14, no. 7, (2003) 683–
733.
[10] S. B. Bradlow, O. Garcia-Prada, V. Mercat, V. Muñoz and P. E. Newstead,
Moduli spaces of coherent systems of small slope on algebraic curves, Comm.
in Algebra 37 (2009), no. 8, 2649–2678
[11] U. N. Bhosle, S. K. Singh, Brill-Noether loci and generated torsionfree sheaves
over nodal or cuspidal curves. Manuscripta math. 141, Issue 1, (2013), 241-
271.
[12] L. Brambila-Paz, Non-emptiness of moduli spaces of coherent systems, Inter-
nat. J. Math. 19 (2008), no. 7, 779 –799.
[13] L. Brambila-Paz and A. Ortega, Brill-Noether bundles and coherent systems
on special curves, Moduli Spaces and Vector Bundles, ed. L. Brambila-Paz et
al., LMS Lecture Notes Series 359, CUP, Cambridge 2009.
[14] D. C. Butler, Normal generation of vector bundles over a curve, J. Diff. Geom.
39 (1994) 1–34.
[15] D. C. Butler, Birational maps of moduli of Brill-Noether pairs, preprint,
arXiv:alg-geom/9705009.
[16] C. Camere, About the stability of the tangent bundle of Pn restricted to a
curve, C. R. Acad. Sci. Paris, Ser. I 346 (2008), 421–426.
[17] L. Ein and R. Lazarsfeld, Stability and restrictions of Picard bundles with
an application to the normal bundles of elliptic curves, Complex projective
geometry (Trieste 1989/Bergen 1989), ed. G. Ellingsrud, C. Peskine, G. Sac-
chiero and S. A. Stromme, LMS Lecture Notes Series 179, 149–156, CUP,
Cambridge 1992.
48 Usha N. Bhosle
[18] G. Farkas, M. Mustaţă and M. Popa, Divisors on Mg,g+1 and the minimal
resolution conjecture for points on canonical curves, Annales Sci. de L’École
Normale Supérieure 36 (2003), 553–581.
[19] H. Lange and P. E. Newstead, Coherent systems on elliptic curves. Internat.
J. Math. Vol. 16, No. 7 (2005) 787-805.
[20] R. Lazarsfeld, A sampling of vector bundle techniques in the study of linear
series, Proceedings of the first college on Riemann surfaces held in Trieste,
Italy, November 9 - December 18, 1987, ed. M. Cornalba et al., 500–559,
World Scientific Publishing Co. Teaneck, NJ 1989.
[21] V. Mercat, Le problème de Brill-Noether pour les fibrés stables de petite
pente, J. Reine Angew. Math. 506 (1999), 1–41.
[22] V. Mercat, Fibrés stables de pente 2, Bull. Lond. Math. Soc. 33 (2001) 535–
542.
[23] E. Mistretta, Stability of line bundles transforms on curves with respect to low
codimensional subspaces, J. Lond. Math. Soc. (2) 78 (2008), no. 1, 172–182.
[24] E. Mistretta and L. Stoppino, Linear series on curves: stability and Clifford
index, Internat. J. Math. 23 (2012), no. 12, doi: 10.1142/S0129167X12501212.
[25] K. Paranjape and S. Ramanan, On the canonical ring of a curve, Algebraic
Geometry and Commutative Algebra in Honor of Masayoshi Nagata (1987)
503–516.
[26] M. Popa, Generalized theta linear series on moduli spaces of vector bundles
on curves, arXiv 0712.3192.
[27] M. Popa, On the base locus of the generalised theta divisor, C. R. Acad. Sci.
Paris Sér. I Math. 329 (1999), no.6, 507–512.
[28] O. Schneider, Stabilité des fibrés p EL et condition de Raynaud, Ann. Fac.
Sci. Toulouse Math. (6) 14 (2005), no. 3, 515–525.
[29] M. Teixidor i Bigas, Green’s conjecture for the generic r-gonal curve of genus
g ≥ 3r − 7, Duke Math. J. 111 (2002), no.2, 195–222.
[30] M. Teixidor i Bigas, Syzygies using vector bundles, Trans. Amer. Math. Soc.
359 (2007), no.2, 897–908.
[31] M. Teixidor i Bigas, Existence of coherent systems. II, Internat. J. Math. 19
(2008), No.10, 1269–1283.
[32] L. Tu, Semistable vector bundles over elliptic curves, Adv. Math. 98 (1993)
1–26.
[33] C. Voisin, Green’s generic syzygy conjecture for curves of even genus lying on
a K3 surface, J. European Math. Soc. 4 (2002), 363–404.
[34] C. Voisin, Green’s canonical syzygy conjecture for generic curves of odd genus,
Compositio Math. 141 (2005), no.5, 1163–1190.
A Survey of Low Dimensional (Quasi)
Projective Groups
Abstract
A brief survey of some recent results on projective and quasiprojective groups
of low cohomological dimensions was presented by the second author at the
conference in Hyderabad University in March 2015. This is a slightly expanded
version of the talk. Part of the survey involves joint work with H. Seshadri and
A. J. Parameswaran.
1. Motivational Questions
There are a couple of strands that have fed into work of several people, in
particular the authors, over the last few years.
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_4
50 Indranil Biswas and Mahan Mj
Nash [Na] and Tognoli proved that any smooth closed connected mani-
fold may be realized as the real locus XR of a smooth projective variety. This
prompted Nash to ask:
Question 1.5. Can any smooth closed connected manifold may be realized as
the real locus XR of a rational variety?
Question 1.5 is often called the Nash Conjecture, though it is very likely
the shortest-lived conjecture in mathematical history lasting −38 years. It was
disproved in dimension 2 by Commessatti [Co] in 1914. It was disproved in
dimension 3 by Kollár in [Kol5].
We shall refer to the complex locus X of M = XR as a complexification
of M .
The class of quasiprojective or affine complexifications poses different ques-
tions. In this article we shall later have occasion to review a class of affine or
quasiprojective complexifications called minimal or good complexifications
[Ku, To, Mc, BiMj2, BMP2].
2. 3-manifold Groups
Question 1.2 was answered positively by Dimca and Suciu [DiSu]:
1 −→ N −→ G −→ Q −→ 1
1 −→ N −→ G −→ Q −→ 1
be the exact sequence (2.1) such that G is a Kähler group and Q is an infinite,
not virtually cyclic, fundamental group of some closed 3-manifold. Then there
exists a finite index subgroup Q of Q such that either Q is a finite index
subgroup of the 3-dimensional Heisenberg group or Q = π1 (Σ × S 1 ), where Σ
is a closed oriented surface of positive genus.
(The 3-dimensional Heisenberg group consists of the unipotent upper tri-
angular elements of GL(3, Z).)
The next theorem deals with the case that G is the fundamental group of
a compact complex surface.
54 Indranil Biswas and Mahan Mj
be the exact sequence (2.1) such that G is the fundamental group of a compact
complex surface and Q is an infinite, not virtually cyclic, fundamental group of
some closed 3-manifold. Then there exists a finite index subgroup Q of Q such
that Q is the fundamental group of a Seifert-fibered 3-manifold with hyperbolic
or flat base orbifold. Also there exists a finite index subgroup G of G such that
G is the fundamental group of an elliptic complex surface X which is a circle
bundle over a Seifert-fibered 3-manifold.
In Theorem 2.4, setting N to be the trivial group we conclude that Q is not
the fundamental group of a compact complex surface if Q is infinite and not
virtually cyclic.
Stronger results when X is of Kodaira Class VII, or admits an elliptic
fibration, are given in [BMS].
As a consequence of Theorems 2.3 and 2.4 we also get the following result,
the first part of which was proven by J. Hillman [Hi98] based on work of
Wall [Wa86]. The second part follows from Theorem 2.3 and the fact that the
product of the Heisenberg group with Z has Z ⊕ Z ⊕ Z as its abelianization.
Theorem 2.5. Let M be a closed orientable 3 manifold. Then
(i) M × S 1 admits a complex structure if and only if M is Seifert fibered.
(ii) M × S 1 admits a Kähler complex structure if and only if M = Σ × S 1
where Σ is a compact surface.
In [Ko3], Kotschick generalized Theorem 1.2 in a different direction, by
allowing compact 3-manifolds with boundary:
Theorem 2.6 ([Ko3]). Let G be the fundamental group of an arbitrary compact
three-manifold, possibly with boundary. Then G is a Kähler group, if and only
if it is either finite or the fundamental group of a closed orientable surface.
5. Good Complexifications
A good complexification [Ku, To] of a closed smooth manifold M is defined
to be a smooth affine algebraic variety U over the real numbers such that M
is diffeomorphic to U (R) and the inclusion
U (R) −→ U (C)
Theorem 5.1 ([Ku, To]). Let M admit a good complexification. Then χ(M ) ≥
0. Further, if χ(M ) > 0, then b2i+1 (M ) = 0 for all i.
Curiously, the proof of Theorem 5.3 in [BiMj2] is direct and there is virtually
no use of the method or results of [Ku, To, DPS, FrSu].
The main tools come from recent developments in 3-manifolds:
Theorem 5.6.
free abelian for every one-ended finitely presented group [Ge, Section 13.7],
[GeMi1, GeMi2]. (Geoghegan’s conjecture was formulated originally as a ques-
tion in 1979 [Gui].) This conjecture has been established (in a stronger form)
for several special classes of groups arising naturally in the context of geo-
metric group theory: One-relator groups, free products of semistable groups
with amalgamation along infinite groups, extensions of infinite groups by in-
finite groups, (Gromov) hyperbolic groups, Coxeter groups, Artin groups and
so on [Mi1, Mi2, Mi3, MT1, MT2]. In [BiMj1] we establish this conjecture for
holomorphically convex groups.
The key ingredients in the proofs of Theorem 6.1, Corollary 6.2 and Propo-
sition 6.3 include
References
[Ag] I. Agol, The virtual Haken conjecture. With an appendix by Agol, Daniel
Groves, and Jason Manning. Doc. Math. 18 (2013), 1045–1087
[ABCKT] J. Amorós, M. Burger, K. Corlette, D. Kotschick and D. Toledo, Funda-
mental groups of compact Kähler manifolds. Mathematical Surveys and
Monographs 44, American Mathematical Society, Providence, RI, 1996.
[Ar95] D. Arapura, Fundamental groups of smooth projective varieties. In: Cur-
rent topics in complex algebraic geometry (Berkeley, CA, 1992/93), 1–16,
Math. Sci. Res. Inst. Publ., vol. 28, Cambridge Univ. Press, 1995.
[ArNo] D. Arapura and M. Nori, Solvable fundamental groups of algebraic varieties
and Kähler manifolds. Compositio Math. 116 (1999), 173–188.
[Ar] V. I. Arnold, Distribution of ovals of the real plane algebraic curves, the
involutions of four-dimensional smooth manifolds, and the arithmetic of in-
tegral quadratic forms. Funkt. Anal. Prilozen 5 (1971), 1–9; English transl.,
Funct. Anal Appl. 5 (1972), 169–175
[AO] V. I. Arnold and O. A. Oleinik, The topology of real algebraic varieties.
Vestnik Moscov. Gos. Univ. Ser. 1 (1979), 7–17; English transl., Moscow
Univ. Math. Bull. 34 (1979), 5–17
[AFW] M. Aschenbrenner, S. Friedl and H. Wilton, 3-manifold groups. Preprint
arXiv:1205.0202v2
[Bas] H. Bass, Covering theory for graphs of groups. Jour. Pure and Appl. Alg.
89 (1993), 3–47.
[Bau] I. Bauer, Irrational pencils on non-compact algebraic manifolds. Internat.
J. Math. 8 (1997), 441–450.
[BiMj1] I. Biswas and M. Mj, H1 -semistability for projective groups. Math. Proc.
Cambridge Philos. Soc. 162 (2017), 89–100.
[BiMj2] I. Biswas and M. Mj, Quasiprojective three-manifold groups and complex-
ification of three-manifolds. Int. Math. Res. Notices 2015 no. 20, 10041–
10068.
[BiMj3] I. Biswas and M. Mj, One relator Kähler groups. Geom. Topol. 16 (2012),
no. 4, 2171–2186.
[BMP] I. Biswas, M. Mj and D. Pancholi, Homotopical Height. Internat. J. Math.
25 (2014), no. 13, 1450123, 43 pp.
[BMP2] I. Biswas, M. Mj and A. J. Parameswaran, A splitting theorem for good
complexifications. Ann. Inst. Fourier 66 (2016), 1965–1985.
[BMS] I. Biswas, M. Mj and H. Seshadri, Three manifold groups, Kähler groups
and complex surfaces. Commun. Contemp. Math. 14 (2012), no. 6,
1250038, 24 pp.
[Br] K. S. Brown, Cohomology of groups. Graduate Texts in Mathematics,
Springer-Verlag, 1982.
62 Indranil Biswas and Mahan Mj
[Kol3] J. Kollár, Real algebraic threefolds. III. Conic bundles. Algebraic geometry,
9. J. Math. Sci. (New York) 94 (1999), no. 1, 996–1020.
[Kol4] J. Kollár, Real algebraic threefolds. IV. Del Pezzo fibrations. Complex
analysis and algebraic geometry, 317346, de Gruyter, Berlin, 2000.
[Kol5] J. Kollár, The Nash conjecture for threefolds. Electron. Res. Announc.
Amer. Math. Soc. 4 (1998), 63–73
[Ko1] D. Kotschick, Three-manifolds and Kähler groups. Ann. Inst. Fourier 62
(2012), 1081–1090.
[Ko2] D. Kotschick, The deficiencies of Khler groups. J. Topol. 5 (2012), no. 3,
639–650.
[Ko3] D. Kotschick, Kählerian three-manifold groups. Math. Res. Lett. 20 (2013),
no. 3, 521–525.
[Ku] R. S. Kulkarni, On complexifications of differentiable manifolds. Invent.
Math. 44 (1978), 49–64.
[La] M. Lackenby, Some 3-manifolds and 3-orbifolds with large fundamental
group. Proc. Amer. Math. Soc. 135 (2007), 3393–3402.
[Lam] K. Lamotke, The topology of complex projective varieties after S. Lef-
schetz. Topology 20(1) (1981), 15–51.
[Mc] M. McLean, The growth rate of symplectic homology and affine varieties.
Geom. Funct. Anal. 22 (2012), 369–442.
[Mi1] M. L. Mihalik, Semistability at the end of a group extension. Trans. Amer.
Math. Soc. 277 (1983), 307–321.
[Mi2] M. L. Mihalik, Semistability at ∞, ∞–ended groups and group cohomol-
ogy. Trans. Amer. Math. Soc. 303 (1987), 479–485.
[Mi3] M. L. Mihalik: Semistability of Artin and Coxeter groups. Jour. Pure Appl.
Alg. 111 (1996), 205–211.
[MT1] M. L. Mihalik and S. T. Tschantz, One relator groups are semistable at
infinity. Topology 31 (1992), 801–804.
[MT2] M. L. Mihalik and S. T. Tschantz, Semistability of amalgamated products
and HNN-extensions. Mem. Amer. Math. Soc. 98 (1992), 471.
[NR08] T. Napier and M. Ramachandran, Filtered Ends, Proper Holomorphic
Mappings of Kähler Manifolds to Riemann Surfaces, and Kähler Groups.
Geom. Funct. Anal. 17 (5) (2008), 1621–1654.
[Na] J. Nash, Real algebraic manifolds. Ann. Math. 56 (1952), 405–421.
[NWY] J. Noguchi, J. Winkelmann and K. Yamanoi, The second main theorem
for holomorphic curves into semi-abelian varieties. Acta Math. 188 (2002),
129–161.
[Pe] P. Petersen, Riemannian Geometry. Graduate Texts in Mathematics, 171,
Springer Verlag, 2006.
A Survey of Low Dimensional (Quasi) Projective Groups 65
Niels Borne∗
1. Introduction
1.1. Motivation. The aim of this note is to give an introduction to the
notion of parabolic sheaves on logarithmic schemes, as first defined in my joint
work with Angelo Vistoli [BV12]. I will explain the examples we started from
in order to, hopefully, enlighten the rather formal definitions given in loc. cit.
I will conclude by a glimpse at subsequent developments.
E = E0 ⊃ E r1 ⊃ · · · ⊃ E r−1 ⊃ E1 = E(−D)
r
where we assume, for simplicity, that D has only one irreducible component.
This is sufficient for certain purposes, but it is also clear that this definition
is perfectible. For instance, one would like to be able to make the special locus
degenerate to fill up the whole space, but with the above setup one is unable
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_5
68 Niels Borne
Following ideas of M.Nori, one can derive from Lemma 2.2 and Theorem
2.4 an algebraic version of Mehta-Seshadri’s theorem for a proper, reduced
scheme X over a field k, endowed with a simple normal crossings divisor D
(see [Bor09]).
Unfortunately, this strategy is bound to fail with a general normal crossings
divisor. The Fourier-like correspondence of Theorem 2.4 holds, but the corre-
sponding stack of roots is not relevant any longer, since Lemma 2.2 fails badly
if the divisor D is not smooth.
Indeed if a local equation of D is given by hk,
then the morphism [Y |G] → r D/X identifies locally with
R[x, y] R[x]
spec |μr × μr → spec |μr
x − h, y r − k
r x − hk
r
Morphisms of (pre-) log structures are defined in the natural way. To any
pre-log structure (M, α), one can associate a log-structure (M, α) → (M a , αa ).
The sheaf M a is obtained as the pushout of α−1 OX ∗
→ OX ∗
and α−1 OX
∗
→ M,
and the natural morphism (M, α) → (M , α ) is universal among morphisms
a a
L
M DivX
Parabolic Sheaves and Logarithmic Geometry 73
∗
If we assume that (M, α) is quasi-integral (that is the action of OX on M is
free), then the diagram is cartesian, hence the data of L enables to reconstruct
(M, α).
Of course, there is nothing specific to Nr , and one could start from any
morphism L0 : P → Div(X), where P is an abstract monoid. We will say that
PX → PX / ker(L0 ) is a chart. The technical definition is as follows.
the case when a global chart exists. Our aim will be, starting from the data of
a Deligne-Faltings log structure L : A → DivX , with a global chart P → A(X),
to define parabolic sheaves and refined stack of roots, so that the analog of
Theorem 2.4 holds.
In others words, the Deligne-Faltings log point is defined by the pair (Ospec k , 0).
If we now apply Definition 2.3 in this situation, we see that a parabolic
bundle on the log point will be given by a diagram in the category of finite
dimensional vector spaces:
V0
φr−1 φ0
V r−1 V r1
r
φr−2 φ1
V r−2 V r2
r
···
Parabolic Sheaves and Logarithmic Geometry 75
Nn → Γ(OAn ) = R[x1 , · · · , xn ]
It we want to go beyond, we have to introduce new models. The simplest
thing we can do is to replace Nn by a general monoid. So we put S[P ] =
spec OS [P ] and consider the more general Kato log structure induced by:
P → Γ(OS[P ] ) = R[P ]
This is reasonable, of course, only if we fix some conditions on P . It makes
sense to assume that P is of finite type as a monoid and integral (i.e. the
cancellation law holds, equivalently, the morphism P → P gp is injective). When
both properties hold, we say that P is fine, and this enables to see S[P ] as a
toric scheme. The other condition that turns out to be very useful is that P is
saturated: for all x ∈ P gp and n ∈ N∗ , we have that nx ∈ P =⇒ x ∈ P .
As usual, we define P = DS (P gp ) as the diagonalizable group scheme asso-
ciated to the (finitely generated) abelian group P gp . This group acts naturally
on S[P ].
76 Niels Borne
Now we will introduce toric morphisms. In §2.1 our model were tamely
ramified covers, that by Abhyankar’s lemma are locally induced by Kummer
covers. This is the justification of the following definition.
Under the assumptions that P and Q are fine, and P → Q is Kummer, one
then shows the existence of the generalized Kummer sequence
→ P → 0
0 → μQ/P → Q
where μQ/P is a finite S-group scheme.
Our generalized Kummer cover will be, of course, S[Q] → S[P ]. If one re-
on S[Q] to μQ/P , this morphism becomes μQ/P -invariant,
stricts the action of Q
and it is easy to check, using the fact that Q is saturated and P → Q Kummer,
that OS [P ] is exactly the ring of invariants of OS [Q] under the action of μQ/P
([Tal14, Proposition 2.2.7]). In stacky terms, the morphism
S[Q]|μQ/P → S[P ]
identifies S[P ] with the coarse moduli space of the stack S[Q]|μQ/P . This
stack will be the local model for the generalized stack of roots, but before
defining these, we turn to a concrete example.
P = {(α, β) ∈ Q/ α + β ∈ N}
Since Q is free of rank 2, S[Q] = A2S . We will use the exponential notation for
the morphism Q → Γ(OS [Q]) and thus write q → xq , and similarly for P . For
this specific example, we will write abusively x = x(1/2,0) and y = x(0,1/2) so
that Γ(OS [Q]) = R[x, y].
Since P is generated as a monoid by (1, 0), (0, 1) and (1/2, 1/2), we have
that Γ(OS [P ]) = R[x2 , y 2 , xy]. By denoting X = x2 , Y = y 2 and Z = xy, we see
that R[x2 , y 2 , xy] = R[X, Y, Z]/(XY −Z 2 ). So S[P ] is a closed subscheme of A3
that is called the quadratic cone. The point corresponding to X = Y = Z = 0
is clearly singular.
The Kummer sequence is also easy to compute: Qgp = 12 Z2 and P gp =
( 2 , 2 )Z ⊕ ( 12 , − 12 )Z, hence there is an exact sequence
1 1
2Z
1
+
0 → P gp → Qgp −
→ →0
Z
Parabolic Sheaves and Logarithmic Geometry 77
L0
X S[P ]|P
L0
X S[P ] S[P ]|P
E· : Qwt → Qcoh(X)
Parabolic Sheaves and Logarithmic Geometry 79
Eq+p Eq ⊗OX Lp
In this definition, we use the notation Qcoh for the category of quasi-
coherent sheaves, and L0 (p) = (Lp , sp ).
It turns out that this definition of a parabolic sheaf is the right one for
our purposes. We denote by ParQ/P (X) the category of parabolic sheaves on
(X, L0 ) with weights in Q. There is a natural functor Qcoh X → ParQ/P (X) ,
E → E · left adjoint of the functor E· →
E0 . Under the following equivalence, it
corresponds to the pull-back along π : Q P/X → X.
F → (q → π∗ (F ⊗ Mq ))
induces an equivalence of categories between Qcoh( Q P/X) and ParQ/P (X).
( 12 , 21 )
(0, 0) (1, 0)
x2
R0 R0
xy
y2 R0 y2
xy
x2
R0 R0
All invertible sheaves in this diagram are trivial because we have pulled back
the canonical log structure on [S[P ]/P gp ] on the Kato chart S[P ].
The shape of the previous diagram and the pseudo-periodicity isomor-
phisms show that a general parabolic sheaf with weights in Q = N2 on the
quadratic cone S[P ] is uniquely determined by the data of three R0 -modules
(M0 , Mx , My ) and eight morphisms (α0 , α0 , α1 , α1 , β0 , β0 , β1 , β1 ) between them
so that the following diagram commutes in R0 -mod:
α0 α0
M0 Mx M0
xy
β0 β1 β0
α1 α1
y2 My M0 My
xy
β0 β1 β0
α0 α0
M0 Mx M0
x2
It may seem awkward at first sight, but it is actually pretty easy to produce
natural and interesting examples of such parabolic sheaves. Let us start with
the simplest example, the parabolic sheaf OX · associated to the structure sheaf
OX . A straightforward computation using Theorem 3.5 shows that this sheaf
is given by the following diagram:
x x
R0 R1 R0
y y y
x x
R1 R0 R1
y y y
x x
R0 R1 R0
So set L· = OX [(α, β)]· for any (α, β) in Qgp = 12 Z2 such that α + β ∈ / Z (the
result is clearly independent of the choice of such a couple (α, β)). Although
the tensor product of parabolic sheaves is notoriously complicated, it is easy
to imagine that it behaves additively with respect to the twist so that L· is an
order 2 invertible parabolic sheaf on S[P ]. And this is indeed whathappens:
one checks that L· corresponds tothe order 2 invertible sheaf on Q L0 /S[P ]
given by the μ2 -torsor S[Q] → Q L0 /S[P ] (that we have already identified
with A2 → [A2 /μ2 ]).
It is also interesting to compare parabolic sheaves on the quadratic cone with
previously known cases, that is parabolic sheaves relative to a normal crossings
divisor. Let us now choose for P → Q the natural embedding 12 N2 → N2 , so that
S[Q] → S[P ] is the standard μ2 × μ2 -cover A2 → A2 given by (x, y) → (x2 , y 2 ).
Then a similar analysis shows that if R0 = R[x2 , y 2 ], a general parabolic sheaf
with weights in Q = N2 on the plane S[P ] is determined by the data of four R0 -
modules (M0 , Mx , My , Mxy ) and eight morphisms (α0 , α0 , α1 , α1 , β0 , β0 , β1 , β1 )
between them so that the following diagram commutes in R0 -mod:
α0 α0
M0 Mx M0
β0 β1 β0
α1 α1
y2 My Mxy My
β0 β1 β0
α0 α0
M0 Mx M0
2
x
So parabolic sheaves are still objects of combinatorial nature, but in their new
logarithmic version, they are able to take into account and reflect singularities
of the base space.
82 Niels Borne
4.1. The Infinite Root Stack. In [TV14], M.Talpo and A.Vistoli in-
vestigate further the relationship between logarithmic geometry and stack of
roots.
The interplay between logarithmic geometry and algebraic stacks has been
studied in depth by M.Olsson (see [Ols03]). The new idea of Talpo-Vistoli is to
introduce an infinite root stack that is, in some sense, simpler than the stacks
used by M.Olsson.
The definition is, roughly, as follows. Let us start from a fine and saturated
Deligne-Faltings log structure L : A → DivX on a scheme X. Then for each
n ∈ N∗ , we can consider the natural Kummer morphism A → n1 A, and the
1
corresponding stack of roots n A L/X. Going to the projective limit, we get
the infinite root stack, denoted by ∞ L/X.
Even if it is not an algebraic stack, the infinite root stack turns out to be
a very interesting object. It is locally the quotient of an affine scheme by a
diagonalizable group. Moreover, according to the first main result of [TV14],
the infinite root stack reflects faithfully the log structure it is associated with,
in the sense that it enables to reconstruct (X, L).
The infinite stack of roots is also useful to give a simple definition of a
quasi-coherent sheaf on a log scheme. The previous approach was to use the
Kummer étale ringed topos. But it turns out to be much more convenient to
define quasi-coherent sheaves on a log scheme as usual quasi-coherent sheaves
on the corresponding infinite root stack. This is the point of view advocated by
Talpo-Vistoli, which paves the way to the study of the K-theory of log schemes
Parabolic Sheaves and Logarithmic Geometry 83
Acknowledgements
I would like to express my gratitude to my co-author Angelo Vistoli, especially
for his invaluable help during the preparation of this manuscript.
References
[AGV08] Dan Abramovich, Tom Graber, and Angelo Vistoli. “Gromov-Witten theory
of Deligne-Mumford stacks”. In: Amer. J. Math. 130.5 (2008), pp. 1337-
1398. issn: 0002-9327. url: http://dx.doi.org/10.1353/ajm.0.0017.
[AOV08] Dan Abramovich, Martin Olsson, and Angelo Vistoli. “Tame stacks
in positive characteristic”. In: Ann. Inst. Fourier (Grenoble) 58.4
(2008), pp. 1057–1091. issn: 0373-0956. url: http://aif.cedram.
org/item?id=AIF 2008 58 4 1057 0.
[BV12] Niels Borne and Angelo Vistoli. “Parabolic sheaves on logarithmic
schemes”. In: Adv. Math. 231.3-4 (2012), pp. 1327–1363. issn: 00018708.
url: http://dx.doi.org/10.1016/j.aim.2012.06.015.
[Bis97] Indranil Biswas. “Parabolic bundles as orbifold bundles”. In:
Duke Math. J. 88.2 (1997), pp. 305–325. issn: 0012-7094. url:
http://dx.doi.org/10.1215/S0012-7094-97-08812-8.
84 Niels Borne
[Bor07] Niels Borne. “Fibrés paraboliques et champ des racines”. In: Int. Math.
Res. Not. IMRN 16 (2007), Art. ID rnm049, 38. issn: 10737928. url:
http://dx.doi.org/10.1093/imrn/rnm049.
[Bor09] Niels Borne. “Sur les représentations du groupe fondamental d’une
variété privée d’un diviseur à croisements normaux simples”. In: In-
diana Univ. Math. J. 58.1 (2009), pp. 137–180. issn: 0022-2518. url:
http://dx.doi.org/10.1512/iumj.2009.58.3734.
[Cad07] Charles Cadman. “Using stacks to impose tangency conditions on curves”.
In: Amer. J. Math. 129.2 (2007), pp. 405–427. issn: 00029327. url:
http://dx.doi.org/10.1353/ajm.2007.0007.
[Kat89] Kazuya Kato. “Logarithmic structures of Fontaine-Illusie”. In: Algebraic
analysis, geometry, and number theory (Baltimore, MD, 1988). Johns Hop-
kins Univ. Press, Baltimore, MD, 1989, pp. 191–224.
[MO05] Kenji Matsuki and Martin Olsson. “Kawamata-Viehweg vanishing as Ko-
daira vanishing for stacks”. In: Math. Res. Lett. 12.2-3 (2005), pp. 207–217.
issn: 1073-2780. url: http://dx.doi.org/10.4310/MRL.2005.v12.n2.a6.
[MS80] V. B. Mehta and C. S. Seshadri. “Moduli of vector bundles on curves with
parabolic structures”. In: Math. Ann. 248.3 (1980), pp. 205–239. issn: 0025-
5831. url: http://dx.doi.org/10.1007/BF01420526.
[Nir08] Fabio Nironi. Moduli Spaces of Semistable Sheaves on Projective Deligne-
Mumford Stacks. 2008. arXiv: arXiv:0811.1949 [math-AG].
[Ols03] Martin C. Olsson. “Logarithmic geometry and algebraic stacks”. In: Ann.
Sci. École Norm. Sup. (4) 36.5 (2003), pp. 747–791. issn: 00129593. url:
http://dx.doi.org/10.1016/j.ansens.2002.11.001.
[TV14] Mattia Talpo and Angelo Vistoli. Infinite root stacks and quasi-coherent
sheaves on logarithmic schemes. 2014. arXiv: arXiv:1410.1164 [math-AG].
[Tal14] Mattia Talpo. Moduli of parabolic sheaves on a polarized logarithmic
scheme. 2014. arXiv: arXiv:1410.2212 [math-AG].
A Survey of Ulrich Bundles
Emre Coskun∗,†
Abstract
E-mail: [email protected]
† The author was supported by TÜBİTAK scholarship 2232. He would also like to thank
the Tata Institute of Fundamental Research and the Institut des Hautes Études Scientifiques,
where he conducted research on Ulrich bundles on K3 surfaces.
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_6
86 Emre Coskun
Three years later Joseph P. Brennan, Jürgen Herzog and Bernd Ulrich
investigated these modules, which they called ‘Maximally Generated Cohen-
Macaulay Modules’ (MGMCM) in [5].1 Specifically, they proved that a homo-
geneous, two-dimensional Cohen-Macaulay domain R with infinite residue class
field admits an MGMCM module. They also raised a number of questions on
the existence of MGMCM modules on various kinds of rings.
The term ‘Ulrich module’ as a synonym for a MGMCM was coined by Jörgen
Backelin and Jürgen Herzog in [3]. In that article, they proved the existence
of Ulrich modules on hypersurface rings. That result added to the previously
known existence results.
It was Arnaud Beauville who in [4], as far as we can ascertain, made a
systematic exposition of the relationship between Ulrich bundles and the de-
terminantal or Pfaffian representations of hypersurfaces; and he used these
results to reprove a number of classical results (plane curves, cubic surfaces
. . . ), as well as new results on threefolds and fourfolds.
In the meantime, there had been another line of inquiry that would lead to
the investigation of Ulrich bundles. The generalized Clifford algebra and its ma-
trix representations (see Section 2, (ii) for definitions) had been the subject of a
number of papers. For instance, in [27], Darrell Haile proved that the center of
the generalized Clifford algebra Cf of a binary cubic form f modulo the inter-
section of its three-dimensional representations was an Azumaya algebra over
its center, and that its center was the coordinate ring of an affine elliptic curve.
Three years later, Michel van den Bergh proved in [43] that the rd-dimensional
representations2 of the generalized Clifford algebra Cf of a binary form f of
degree d are in one-to-one correspondence with vector bundles on a plane curve
X associated to f whose pushforward under a linear projection X → P1 are
trivial. (Ulrich bundles are precisely the vector bundles satisfying an analogous
property; see Definition 3.2.) Rajesh Kulkarni used van den Bergh’s results to
prove an analogue of Haile’s result mentioned above; he proved in [34] that
the reduced Clifford algebra is Azumaya over its center; and the center is the
affine coordinate ring of the complement of a Θ-divisor in Picd+g−1 (X) for a
suitably defined plane curve X of genus g. Later on, using similar techniques,
the present author proved in [11] that the rd-dimensional representations of
1 The term ‘Ulrich module’ has been coined by Jürgen Herzog and Michael Kühl in the
article [30].
2 Van den Bergh proves that the matrix representations of C must have dimensions that
f
are multiples of d; the same result is also proved by Darrell Haile and Steven Tesser in [28].
A Survey of Ulrich Bundles 87
the generalized Clifford algebra Cf of a binary form have a fine moduli space
that is a nonempty open subset of the moduli space of vector bundles over a
suitable plane curve X.
This paper is intended as a survey of known results of Ulrich bundles. In
Section 2, we discuss the beginnings of Ulrich bundles; this section is divided
into three parts. In the first part (i), we discuss the relations between Ulrich
bundles and the problem of expressing the defining equation of a hypersurface
as the determinant or the Pfaffian of a matrix linear forms. In the second part
(ii), we discuss the relations between Ulrich bundles and the representation
theory of generalized Clifford algebras; the material in this part is due to van
den Bergh ([43]). In the third part (iii), we discuss the relations between Ulrich
bundles on del Pezzo surfaces and the Minimal Resolution Conjecture for a
finite collection of sufficiently many points lying on the del Pezzo surface. In
Section 3, we give two equivalent definitions of Ulrich bundles and collect some
elementary properties of Ulrich bundles that will be used later. In Section 4,
we outline known results in the classification of Ulrich bundles. This section
is arranged according to the dimension of the underlying variety. Finally, in
Section 5, we use a recent technique due to Casanellas and Hartshorne to
give a classification of Ulrich bundles according to the first Chern class on a
determinantal quartic surface in P3 with Picard number 2.
2. Origins
(i) How can we determine whether a hypersurface X ⊂ Pn+1 is given by a
determinantal or a Pfaffian form?
88 Emre Coskun
Theorem 2.1 ([4, Sections 1 and 2]). Assume that X ⊂ Pn+1 is a hypersurface.
Note that the existence of these short exact sequences implies that
H i (X, L(t)) = 0 for t ∈ Z and 0 < i < n; a similar statement holds for E.
Note also that the Hilbert polynomials of L and E are given by dr t+n
n , where
r = 1, 2 is the rank of the corresponding vector bundle.
Sketch. For a given representation φ : Cf → Mrd (k), let Ai = φ(xi ) ∈ Mrd (k)
for i = 1, . . . , n + 1. Using these matrices, we construct a ring homomorphism
Remark 2.12. In [14, Proposition 2.19], it was shown that the Ulrich line bun-
dles on Xd are the line bundles of the form OXd (Q), where Q ⊂ Xd is the
class of a rational normal curve; this also follows from [40, Theorem 1.1]. Using
[22, Corollary 1.8], it was shown in [14, Lemma 4.3] that a rational normal
curve Q ⊂ Xd satisfies the MRC. Now, if Ulr(Xd ) is generated by the classes
of the rational normal curves, the hypotheses of Proposition 2.11 are satisfied.
This is true for d = 3 by [6, Theorem 3.9], but false for d = 6, 7. This is a
consequence of [14, Proposition 3.7] that states that there is a rank-2 Ulrich
bundle E with c1 (E) = H + Q and the fact that for d = 6, 7 it is not possible
to write H + Q as the sum of two rational normal curves. For d = 4, 5 it is
possible to write H +Q as the sum of two rational normal curves; but we do not
yet know whether Ulr(Xd ) is generated by the classes of the rational normal
curves.
Remark 3.7. The proofs of [12, Proposition 2.11] and [12, Corollary 2.16], even
though stated for hypersurfaces, are trivially generalized.
These propositions imply that any Ulrich bundle is obtained from a finite
collection of stable Ulrich bundles by consecutive extensions. Therefore, from
now on we will focus on stable Ulrich bundles.
π∗ L = F 1 ⊕ · · · ⊕ F d ,
3 In fact, the content of this theorem was known before Grothendieck; see a note of
4.1.2. g = 1. One can use Atiyah’s classification (see [2]) of vector bundles
on elliptic curves to classify Ulrich bundles on an elliptic curve.
Let X ⊂ PN be a curve of genus g = 1, and let E be a vector bundle of
rank r on X. By Theorem 3.3, E is Ulrich if and only if deg(E) = rd and
h0 (X, E(−1)) = 0. Since E and hence E(−1) is semistable by Proposition 3.5,
we can write
E(−1) = ⊕Ei ,
E = ⊕(Fri ⊗ Li (1)),
⊕(Fri ⊗ Li (1))
!
for various Fri and nontrivial line bundles Li of degree 0 has rank r = ri ,
degree rd and h0 (X, E(−1)) = 0. In other words, it is Ulrich.
establishing the existence of Ulrich bundles of rank r on X that are not strictly
semistable, hence stable.
Thus, we know the existence of stable Ulrich bundles on any rank on curves.
Since semistability and cohomology vanishing are open conditions, Ulrich bun-
dles are in one-to-one correspondence with the geometric points of a nonempty
open subset of MX (r, r(d + g − 1)).
4.2.1. Cubic surfaces (d = 3). In this case, the Ulrich bundles of ranks
1 and 2 on X can be classified using the results in the article [20] by Daniele
Faenzi. Ulrich line bundles on X turn out to be OX (T ) for T a twisted cubic
in X. (Recall that in general, the Ulrich bundles on a del Pezzo surface are the
line bundles corresponding to the rational normal curves by [14, Proposition
2.19].) As there are 72 such classes, there are 72 Ulrich line bundles on X; and
hence there are 72 different representations of X as a determinantal variety,
agreeing with the classical result4 in [23]. One can also construct Ulrich bundles
of any rank on X: Casanellas and Hartshorne constructed rank r stable Ulrich
bundles on X with first Chern class rH in [6]; in particular, X can be seen to
be nontrivially Pfaffian since a stable Ulrich bundle of rank 2 cannot be written
as the direct sum of two Ulrich line bundles. Casanellas and Hartshorne also
classified the possible first Chern classes of stable Ulrich bundles. These turn out
to be sums of r twisted cubics satisfying a numerical condition; see [6, Theorem
1.1] for details.
4 For more information about the history of research on the geometry of cubic surfaces,
4.2.4. Del Pezzo Surfaces. The work of the present author, Rajesh Kulka-
rni, and Yusuf Mustopa about the existence of Ulrich bundles on del Pezzo
surfaces and its relation to the Minimal Resolution Conjecture has already
been mentioned in (iii), Section 2.
As mentioned in Remark 2.12, the work of Joan Pons-Llopis and Fabio
Tonini implies a classification of Ulrich line bundles on a del Pezzo surface
X ⊂ Pd of degree d. (See [40, Theorem 1.1].) For degrees up to 6, they also
construct, for any rank r ≥ 2, a family of simple ACM bundles of rank r
by considering consecutive extensions ACM line bundles of the form OX (Q)
where Q ⊂ X is a rational normal curve. Since these line bundles are Ulrich,
any vector bundle obtained by their extensions is also Ulrich. However, as the
authors point out, these vector bundles are not stable. (See [40, Proposition
5.7].)
Rosa M. Miró-Roig and Joan Pons-Llopis came up with similar results in
[38]. They prove that, for any del Pezzo surface X ⊂ Pd of degree d and for
A Survey of Ulrich Bundles 97
4.3.3. Other Cases. We finish this section with a quick overview of recent
results.
• In [32], Yeongrak Kim proves the existence of stable rank 2 Ulrich bun-
dles on rational surfaces with an anticanonical pencil, under additional
assumptions. To do this, he uses Lazarsfeld-Mukai bundles, which were
also used in [1].
• In two recent papers, [8] and [7] Gianfranco Casnati, Daniele Faenzi and
Francesco Malaspina study rank 2 ACM bundles on P1 ×P1 ×P1 and their
moduli spaces. Ulrich line bundles on P1 × P1 × P1 can be obtained by
[8, Lemma 2.4]; they are line bundles that correspond to permutations of
the triple (0, 1, 2), that is, the last six bundles in their list. Ulrich bundles
of rank 2 are have Chern classes that are listed in [8, Theorem A, (3)].
(b) Let E and F be Ulrich bundles on X of ranks r and s respectively, and with
first Chern classes C and D respectively. Then
Remark 5.2. The slope of an Ulrich bundle is 6, and the reduced Hilbert poly-
nomial of an Ulrich bundle is 2(t + 2)(t + 1).
Remark 5.3. If OX (C) is an Ulrich line bundle on X, then C.H = 6 and C 2 = 4.
Proof. Assume that A, B ∈ Pic(X) form a Z−basis for Pic(X), and let a, b ∈ Z
be such that H = aA + bB. We claim that a and b are relatively prime. Indeed,
suppose that they are both divisible by a prime p. Then for some D ∈ Pic(X),
we have 4 = H 2 = p2 D2 . This is impossible as D2 is even. Hence, the claim is
proved.
Let x and y be integers for which xa + yb = 1, and define H = yA − xB. It
is immediate that the transition matrix from {A, B} to {H, H } is unimodular,
and the result follows.
Proof. The result follows from [33, Theorem 1.1 (iv)] as the intersection num-
bers given above satisfy the required criteria.
Proposition 5.6. In the Picard lattice given by the basis {H, C} with H 2 =
C 2 = 4 and C.H = 6, there do not exist divisor classes D with D2 = 0 or
D2 = ±2.
Proof. Write D = aH + bC. Then D2 = 4a2 + 12ab + 4b2 . Since this number is
a multiple of 4, it cannot be equal to ±2. By the quadratic formula, one sees
easily that there exist no integer solutions to 4a2 + 12ab + 4b2 = 0.
100 Emre Coskun
Proposition 5.7. Assume that Assumption 1 holds. Then one can take C to
be smooth and irreducible, and moreover one has h1 (OX (C)) = 0.
Proposition 5.8. Assume that Assumption 1 holds. The Ulrich line bundles
on X are OX (C) and OX (3H − C), and these line bundles are very ample.
h1 (OX (C + tH)) = h1 (ωtH (C)) = 0; where the second equality follows because
the degree of ωtH (C) is larger than 2g(tH) − 2.
Now recall that h1 (OX (3H − C)) = 0 as well. The argument in the above
paragraph gives h1 ((3 + t)H − C) = 0 for an integer t ≥ 0. Using Serre duality,
we have that h1 (C + tH) = 0 if t ≤ −3.
We claim that h1 (OX (C −H)) = 0. By Riemann-Roch, we have h0 (OX (C −
H)) = h1 (OX (C − H)) and hence it suffices to show that C − H is not effective.
If C − H were effective, since (C − H)2 = −4, there would be an irreducible
curve of negative self-intersection on X. This is impossible by Proposition 5.6.
Hence the claim is proved. Replacing C by 3H − C and applying the same
arguments gives h1 (OX (2H − C)) = h1 (OX (C − 2H)) = 0.
It remains to show that there are no other Ulrich line bundles on X. Con-
sider an Ulrich line bundle OX (D) where we write D = aH +bC. From H.D = 6
we obtain 4a + 6b = 6 and from D2 = 4 we obtain 4a2 + 12ab + 4b2 = 4. Since
a quadratic equation can have at most two solutions; and (a, b) = (0, 1) and
(a, b) = (3, −1), which correspond to OX (C) and OX (3H − C), are solutions,
it follows that these are the only solutions.
We now prove that the only linear determinantal quartics of Picard number
two are the ones considered in this section.
Proposition 5.9. If X is a quartic of Picard number two, and if there exists
an Ulrich line bundle on X, then Assumption 1 holds for X.
Proof. If L = OX (D) is an Ulrich line bundle, then the lattice M = H, D
is contained in Pic(X). By a well-known result in lattice theory, we have
[Pic(X) : M ]2 = d(M )/d(Pic(X)) where d(M ) denotes the discriminant of
M and similarly for Pic(X). We have d(M ) = −20, and hence d(Pic(X)) has
to divide −20 and the quotient must be a square. Therefore, the only cases are
d(Pic(X)) = −20 or d(Pic(X)) = −5. We prove the statement by showing that
the second case is not possible. Consider the matrix representation
4 a
Pic(X) =
a b
Proof. The first equality follows from the fact that, by Proposition 5.1, (iii), E
has degree 6r.
Since E and OX (C) are nonisomorphic stable Ulrich bundles with the
same reduced Hilbert polynomial, by [31, Proposition 1.2.7], we have h0 (E ∨ ⊗
OX (C)) = hom(E, OX (C)) = 0. Similarly, h2 (E ∨ ⊗ OX (C)) = 0. Hence,
χ(E ∨ ⊗ OX (C)) ≤ 0. By Proposition 5.1, (b), we have χ(E ∨ ⊗ OX (C)) =
−(aH + bC).C + 6r = −3r + 5b ≤ 0. Using the same argument with OX (C)
replaced by OX (3H − C) gives the inequality in the statement.
We now classify all stable Ulrich bundles on X by their first Chern class.
Theorem 5.11. Let r ≥ 2 be an integer. Denote Cr = {aH + bC ∈
Pic(X) | 2a + 3b = 3r, − 3r
5 ≤ b ≤ 5 }. Given D ∈ Pic(X), there exists a
3r
stable Ulrich bundle E of rank r on X with first Chern class c1 (E) = D if and
only if D ∈ Cr .
Proof. Lemma 5.10 gives one direction. For the other direction, we proceed by
induction on the rank. For r = 2, we have
since OX (C) and OX (3H −C) are nonisomorphic stable Ulrich bundles with the
same reduced Hilbert polynomial. Similarly, h2 (OX (C)∨ ⊗ OX (3H − C)) = 0.
Hence we obtain ext1 (OX (C), OX (3H − C)) = 8. Therefore, there exists a
nonsplit extension of OX (C) by OX (3H − C), which is a simple rank-2 Ulrich
bundle E with c1 (E) = 3H by [6, Lemma 4.2]. To prove that this bundle is
stable, we consider the modular dimension of the family of simple rank-2 Ulrich
bundles with first Chern class 3H. We claim that this dimension is 14. Let E
be one such bundle. By Proposition 5.1, (iv), we compute
h0 (E ∨ ⊗ E) = hom(E, E) = 1.
h1 (E ∨ ⊗ E) = 2 − χ(E ∨ ⊗ E)
= 2 + (aH + bC)2 − 6r2
= 2 + 3r2 − 5b2 ,
(a − 3)H + (b + 1)C with the Ulrich line bundle OX (3H − C). (We owe this
observation to the proof of [6, Theorem 4.3].) We will only consider the first
case, as the calculations for the second case are similar.
The extensions of F by OX (C) are parametrized by PExt(F, OX (C)). We
have
References
[1] Marian Aprodu, Gavril Farkas, and Angela Ortega, Minimal resolutions, Chow forms
and Ulrich bundles on K3 surfaces (2012), available at arXiv:1212.6248v4.
[2] M. F. Atiyah, Vector bundles over an elliptic curve, Proc. London Math. Soc. (3) 7
(1957), 414–452. MR0131423 (24 #A1274)
[3] Jörgen Backelin and Jürgen Herzog, On Ulrich-modules over hypersurface rings, Com-
mutative algebra (Berkeley, CA, 1987), Math. Sci. Res. Inst. Publ., vol. 15, Springer,
New York, 1989, pp. 63–68, DOI 10.1007/978-1-4612-3660-3 4, (to appear in print).
MR1015513 (90i:13006)
[4] Arnaud Beauville, Determinantal hypersurfaces, Michigan Math. J. 48 (2000), 39–64,
DOI 10.1307/mmj/1030132707. Dedicated to William Fulton on the occasion of his 60th
birthday. MR1786479 (2002b:14060)
[5] Joseph P. Brennan, Jürgen Herzog, and Bernd Ulrich, Maximally generated Cohen-
Macaulay modules, Math. Scand. 61 (1987), no. 2, 181–203. MR947472 (89j:13027)
[6] Marta Casanellas, Robin Hartshorne, Florian Geiss, and Frank-Olaf Schreyer, Sta-
ble Ulrich bundles, Internat. J. Math. 23 (2012), no. 8, 1250083, 50, DOI
10.1142/S0129167X12500838. MR2949221
[7] Gianfranco Casnati, Daniele Faenzi, and Francesco Malaspina, Moduli spaces of rank
two aCM bundles on the Segre product of three projective lines (2014), available at
arXiv:1404.1188v3.
[8] , Rank two aCM bundles on the del Pezzo threefold with Picard number 3, J.
Algebra 429 (2015), 413–446, DOI 10.1016/j.jalgebra.2015.02.008. MR3320630
A Survey of Ulrich Bundles 105
[9] , Rank two aCM bundles on the del Pezzo fourfold of degree 6 and its general
hyperplane section (2015), available at arXiv:1503.02796v1.
[10] Luca Chiantini and Carlo Madonna, ACM bundles on a general quintic threefold,
Matematiche (Catania) 55 (2000), no. 2, 239–258 (2002). Dedicated to Silvio Greco
on the occasion of his 60th birthday (Catania, 2001). MR1984199 (2004f:14055)
[11] Emre Coskun, The fine moduli spaces of representations of Clifford algebras, Int.
Math. Res. Not. IMRN 15 (2011), 3524–3559, DOI 10.1093/imrn/rnq221. MR2822181
(2012j:14017)
[12] Emre Coskun, Rajesh S. Kulkarni, and Yusuf Mustopa, On representations of Clif-
ford algebras of ternary cubic forms, New trends in noncommutative algebra, Con-
temp. Math., vol. 562, Amer. Math. Soc., Providence, RI, 2012, pp. 91–99, DOI
10.1090/conm/562/11132, (to appear in print). MR2905555
[13] , Pfaffian quartic surfaces and representations of Clifford algebras, Doc. Math.
17 (2012), 1003–1028. MR3007683
[14] , The geometry of Ulrich bundles on del Pezzo surfaces, J. Algebra 375 (2013),
280–301, DOI 10.1016/j.jalgebra.2012.08.032. MR2998957
[15] Emre Coskun, Ulrich bundles on quartic surfaces with Picard number 1, C. R. Math.
Acad. Sci. Paris 351 (2013), no. 5-6, 221–224, DOI 10.1016/j.crma.2013.04.005 (English,
with English and French summaries). MR3089682
[16] Laura Costa, Rosa M. Miró-Roig, and Joan Pons-Llopis, The representation type of Segre
varieties, Adv. Math. 230 (2012), no. 4-6, 1995–2013, DOI 10.1016/j.aim.2012.03.034.
MR2927362
[17] L. Costa and R. M. Miró-Roig, GL(V )-invariant Ulrich bundles on Grassmannians,
Math. Ann. 361 (2015), no. 1-2, 443–457, DOI 10.1007/s00208-014-1076-9. MR3302625
[18] , Homogeneous Ulrich bundles on flag manifolds (2015), available at arXiv:
1506.03586v1.
[19] Igor V. Dolgachev, Luigi Cremona and cubic surfaces, Luigi Cremona (1830–1903) (Ital-
ian), Incontr. Studio, vol. 36, Istituto Lombardo di Scienze e Lettere, Milan, 2005, pp. 55–
70 (English, with Italian summary). MR2305952 (2008a:14002)
[20] Daniele Faenzi, Rank 2 arithmetically Cohen-Macaulay bundles on a nonsingular cu-
bic surface, J. Algebra 319 (2008), no. 1, 143–186, DOI 10.1016/j.jalgebra.2007.10.005.
MR2378065 (2009e:14065)
[21] Daniele Faenzi and Francesco Malaspina, Surfaces of minimal degree of tame and wild
representation type (2014), available at arXiv:1409.4892v2.
[22] Gavril Farkas, Mircea Mustaţǎ, and Mihnea Popa, Divisors on Mg,g+1 and the minimal
resolution conjecture for points on canonical curves, Ann. Sci. École Norm. Sup. (4) 36
(2003), no. 4, 553–581, DOI 10.1016/S0012-9593(03)00022-3 (English, with English and
French summaries). MR2013926 (2005b:14051)
[23] H. Grassmann, Die stereometrischen Gleichungen dritten Grades, und die
dadurch erzeugten Oberflächen, J. Reine Angew. Math. 49 (1855), 47–65, DOI
10.1515/crll.1855.49.47 (German). MR1578905
[24] Phillip Griffiths and Joe Harris, On the Noether-Lefschetz theorem and some re-
marks on codimension-two cycles, Math. Ann. 271 (1985), no. 1, 31–51, DOI
10.1007/BF01455794. MR779603 (87a:14030)
[25] A. Grothendieck, Sur la classification des fibrés holomorphes sur la sphère de Riemann,
Amer. J. Math. 79 (1957), 121–138 (French). MR0087176 (19,315b)
106 Emre Coskun
Ananyo Dan∗,†
Abstract
Fix integers n ≥ 1 and d such that nd > 2n + 2. The Noether-Lefschetz lo-
2n+1
2n hypersurfaces of degree d in P
cus NLd,n parametrizes smooth projective
satisfying the condition: H (X, C) H (X, Q) = Q. An irreducible compo-
n,n
Notation 0.1. Throughout this article, X will denote a smooth " hypersurface
in P2n+1 . Denote by H n,n (X, Q) the intersection H n,n (X, C) H 2n (X, Q) and
HX the very ample line bundle on X.
∗ The author has been supported by the DFG under Grant KL-2244/2 − 1
† Humboldt Universität zu Berlin, Institut für Mathematik, Unter den Linden 6, Berlin
10099. E-mail: [email protected]
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_7
108 Ananyo Dan
1. Introduction
It was first stated by M. Noether and later proved by S. Lefschetz that for a
general smooth surface X in P3 , the rank of the Néron-Severi group, denoted
NS(X) is of rank 1. We can then define the Noether-Lefschetz locus, denoted
NLd,1 , to be the space of smooth degree d surfaces in P3 with Picard rank
greater than 1. Using Lefschetz (1, 1)-theorem, one can see that NLd,1 is the
space of smooth degree d surfaces X such that H 1,1 (X, Q)
= Q. Similarly, we
can define higher Noether-Lefschetz locus as follows: Let n > 1 and d another
integer such that nd > 2n + 2. Denote by NLd,n the space of smooth degree d
hypersurfaces X in P2n+1 such that H n,n (X, Q)
= Q. The orbit of the action of
the monodromy group on a rational class is finite (see [CDK95]). Consequently,
NLd,n is an uncountable union of algebraic varieties (see [Voi03, §3.3] for more
details).
Let L be an irreducible component of NLd,n . Then L is locally the Hodge
locus corresponding to a Hodge class. In particular, consider the space of all
smooth degree d hypersurfaces in P2n+1 , denoted Ud,n . For X ∈ L general,
there exists γ ∈ H n,n (X, Q) and "an open (analytic) simply connected set U
in Ud,n containing X such that L U is the Hodge locus corresponding to γ,
denoted NLd,n (γ) (see [Voi02, §5.3] for more details).
Before we state the first main result in this article, we fix some notations.
Notation 1.1. Given a Hilbert polynomial P, of a subscheme Z, in P2n+1 ,
denote by HP the corresponding Hilbert scheme. Denote by Qd the Hilbert
polynomial of a degree d hypersurface in P2n+1 . The flag Hilbert scheme HP,Qd
parametrizes all pairs (Z, X), where Z ∈ HP , X is a smooth degree d hyper-
surface in P2n+1 containing Z.
For any n ≥ 1 we prove the following theorem which is a special case of the
variational Hodge conjecture:
Theorem 1.2. Let Z be a complete intersection subscheme in P2n+1 of codi-
mension n + 1. Assume that there exists a smooth hypersurface in P2n+1 , say
X, containing Z, of degree d > deg(Z). For the cohomology class γ = a[Z] ∈
H n,n (X, Q), a ∈ Q, γ remains of type (n, n) if and only if γ remains an alge-
braic cycle. Moreover, NLd,n (γ) (closure taken in Ud,n under Zariski topology)
is isomorphic to an irreducible component of pr2 HP,Qd which parametrizes all
smooth degree d hypersurfaces in P2n+1 containing a complete intersection sub-
cheme with Hilbert polynomial P , where P (resp. Qd ) is the Hilbert polynomial
of Z (resp. X).
In [Otw03], Otwinowska proves this statement for d 0. In this article,
we use a reduction of infinitesimal variation of Hodge structures in the case
of hypersurfaces in P3 to objects in commutative algebra (see [Voi03, §6] for
Using Elementary Techniques 109
further details). In [Ste87] Steenbrink proves a similar statement, but the proof
relies heavily on Bloch’s semiregularity map (introduced in [Blo72]). In this
article we achieve the same result using only commutative algebra.
Finally, we prove the following result which classifies certain big components
of NLd,1 into reduced and non-reduced schemes:
(i) If r = 1 and deg(C1 ) < 4 then NLd,1 (γ) (closure taken under Zariski
topology on Ud,1 ) is reduced. In particular, NLd,1 (γ) is an irreducible
component of pr2 (HP,Qd ), the space parametrizing all smooth degree d
surfaces containing a reduced curve with the same Hilbert polynomial as
C1 , which we denote by P .
Notation 2.2. Denote by Snk the degree k-graded piece of H 0 (OP2n+1 (k)).
Define Sn := ⊕k≥0 Snk . Let X be a smooth degree d hypersurface in P2n+1 ,
defined by an equation F . Denote by JF , the Jacobian ideal of F generated
∂
as an Sn -module by the partial derivatives of F with respect to ∂X i
for i =
1, ..., 2n + 1, where Xi are the coordinates of P 2n+1
. Define, RF := Sn /JF . For
k ≥ 0, let JFk (resp. RFk ) symbolize the degree k-graded piece of JF (resp. RF ).
2.3. We now recall some standard facts about Hodge locus. Let X be a smooth
projective hypersurface in P2n+1 of degree d. Recall, there is a natural morphism
from H n,n (X) to H n,n (X)prim , where H n,n (X)prim denotes the primitive co-
homology on H n,n (X) (see [Voi02, §6.2, 6.3] for more on this topic). Denote by
γprim the image of γ under this morphism. Using the Lefschetz decomposition
theorem, one can see that NLd,n (γ) coincides with NLd,n (γprim ) i.e., γ remians
of type (n, n) if and only if so does γprim .
110 Ananyo Dan
2.4. Now, KP2n+1 = OP2n+1 (−2n − 2), H 0 (KP2n+1 (2n + 2)) = H 0 (OP2n+1 ) ∼
=C
generated by
where the Xi are homogeneous coordinates on P2n+1 . Recall, for the closed
immersion j : X → P2n+1 , denote by H 2n (X, Q)van , the kernel of the Gysin
morphism j∗ from H 2n (X, Q) to H 2n (P2n+1 , Q). Now, [Voi03, Theorem 6.5]
tells us that there is a surjective map,
αn+1 : H 0 (P2n+1 , OP2n+1 ((n + 1)d − 2n − 2)) → F n+1 H 2n+1 (P2n+1 \X, C)
∼
= F n H 2n (X, C)van
2.5. We now recall a theorem due to Macaulay which will be used throughout
this article.
See [Voi03, Theorem 6.19] for the proof of the statement. Recall,
(n+1)d−(2n+2)
Theorem 2.8 ([Voi03, Theorem 6.17]). Denote by P ∈ Sn such
that αn+1 (P̄ ) = γ (where αn+1 is an in 2.4). Then, TX NLd,n (γ) is isomorphic
(n+2)d−(2n+2)
to the preimage of ker(.P̄ : RFd → RF ) under the natural quotient
morphism from Snd → Snd /JFd .
2.9. It is easy to see that for any γ ∈ H n,n (X, Q), NLd,n (γ ) = NLd,n (a γ )
for any a ∈ Q, non-zero. For the rest of this section, we assume γ = [Z], where
Z is as in the statement of the theorem, a complete intersection subscheme of
codimension n + 1 in P2n+1 .
Using Elementary Techniques 111
Remark 2.11. It follows from the perfect pairing above that dim SnN /T1,N =
dim RFN /T0 = 1. Using the definition of T1 , it follows,
Lemma 2.12. The tangent space TX (NLd,n (γ)) coincides with T1,d .
Proof. Note that H ∈ T1,d if and only if H̄ ⊗ RFN −d is contained in T0 which
by definition is equivalent to P̄ H̄ ⊗ RFN −d = 0 in RF2N . Using the perfect
pairing 2.10 we can conclude that P̄ H̄ = 0 in RFN +d . This is equivalent to
H ∈ TX (NLd,n (γ)).
Setup 2.13. Suppose that Z is defined by n + 1 polynomials P0 , ..., Pn . Since
Z ⊂ X and deg Z < d, we can assume that there exist polynomials Q0 , ..., Qn
of degree d − deg Pi , respectively such that X is defined by a polynomial of the
form P0 Q0 + ... + Pn Qn . Let I be the ideal in Sn generated by P0 , ..., Pn and
Q0 , ..., Qn .
So, NLd,1 (γ) is reduced and parametrizes smooth degree d surfaces containing
a twisted cubic. This finishes the proof of (i).
3.4. We now recall a result that will help us make the characterization of the
irreducible components of NLd,1 as in Theorem 1.3(ii).
Proposition 3.5 ([Dan14, Proposition 5.6]). Let d 0, γ be a Hodge class in a
smooth degree d surface in P3 such that codim NLd,1 (γ) ≤ 3d. Then there exists
!t
integral curves C1 , ..., Ct of degree at most 3 such that γ = i=1 ai [Ci ] + bHX
"t
for some integers ai , b and NL(γ)red is the same as i=1 NL([Ci ])red .
114 Ananyo Dan
Notations/Remark 3.6. We now come to the proof of the final part of the
theorem.
!t Suppose now that γ is as in the "above proposition i.e., of the form
t
i=1 ai [Ci ] + bHX such that NL(γ)red = i=1 NL([Ci ])red . Denote by P̄i the
element in RF2d−4 !r such that α!2 ( P̄ i ) = [C i ] prim for i = 1, ..., t.!Since α2 is a
r
linear map, α2 ( i=1 ai P̄i ) = i a i [C i ] prim . Denote by P̄ := i=1 ai P̄i . So,
[Ci ]
α2 (P̄ ) = γ. Denote by T1,d−4 the corresponding T1,d−4 in Notation 2.10 ob-
tained by replacing P (in the notation 2.10) by P̄i for i = 1, ..., r. Note that
codim TX NLd,1 (γ) = codim T1,d = codim T1,d−4 , where the last equality is due
"r [Ci ] !
to Remark 2.11. Note that, i=1 T1,d−4 ⊂ T1,d−4 because P̄ = a P̄ , so
"r #r i i i
i=1 ker P̄i ⊂ ker P̄ . Therefore, codim TX NLd,1 (γ) ≤ codim Id−4 ( i=1 Ci ).
Before we go to the last step of the proof we recall the following computa-
tion:
3.8 (Proof of Theorem 1.3). Using Proposition 2.14 and Lemma 3.2, we have
[Ci ] "r [Ci ] #r
T1,d−4 = Id−4 (Ci ) for i = 1, ..., t. So, i=1 T1,d−4 = Id−4 ( i=1 Ci ) is contained
in TX NLd,1 (γ). Denote by Pi the Hilbert polynomial of Ci for i = 1, ..., t. Since
deg(Ci ) < 4, Theorem 1.3(i) implies that there exists an irreducible compo-
nent of HPi ,Qd such that its image under the natural projection morphism pr2
(onto the second component) is isomorphic to NLd,1 ([Ci ])red . So, there exists
an irreducible component, say Hγ of HP1 ,Qd ×HQd ... ×HQd HPt ,Qd such that
pr2 (Hγ )red = ∩ti=1 NLd,1 ([Ci ])red = NL(γ)red , where pr2 is the natural mor-
phism from Hγ to HQd and the second equality follows from Proposition 3.5.
Denote by Lγ := pr(Hγ ), where pr is the natural projection morphism from
Hγ to HP1 × ... × HPt . A generic t-tuple of curves in HP1 × ... × HPt does
!t
not intersect each other. Hence dim Lγ < i=1 dim HPi if and only " if for a
general t-tuple (C1 , ..., Ct ) in Lγ there exists i, j, i
= j such that Ci Cj
= ∅.
Lemma 3.7 implies that dim |Ci | = 0 for i = 1, ..., t. It is then easy to see
#t
that codim NLd,1 (γ) = codim ∩ti=1 NLd,1 ([Ci ]) = codim Id ( i=1 Ci ) − dim Lγ
#t † #t
(see [Dan14, Proposition 4.6]). If codim Id−4 ( i=1 Ci ) ≤ codim Id ( i=1 Ci ) −
!t
i=1 dim HPi then
$
t
† $
t
t
codim TX NLd,1 (γ) ≤ codim Id−4 Ci ≤ codim Id Ci − dim HPi
i=1 i=1 i=1
Using Elementary Techniques 115
‡ $
t
≤ codim Id Ci − dim Lγ = codim NLd (γ),
i=1
where the first inequality follows from 3.6 and the inequality ‡ is strict if and
only i, j, i
= j such that
" if for a general t-tuple (C1 , ..., Ct ) in Lγ there exists #
Ci Cj
= ∅. Since d 0, using the Hilbert polynomial of Ci , the inequality
!t !t
† is equivalent to i=1 dim HPi ≤ 4 i=1 deg(Ci ). Since deg(Ci ) < 4 and Ci
is integral, it is easy to compute that dim HPi is infact equal to 4 deg(Ci ) for
i = 1, ..., t. This proves (ii). Hence, completes the proof of the theorem.
Acknowledgement
I would like to thank Prof. R. Kloosterman for reading the preliminary version
of this article and several helpful discussions.
References
[Blo72] S. Bloch. Semi-regularity and de-Rham cohomology. Inventiones Math.,
17:51–66, 1972.
[CDK95] E. Cattani, P. Deligne, and A. Kaplan. On the locus of hodge classes.
Journal of the American Mathematical Society, 8(2):483–506, 1995.
[Dan14] A. Dan. On a conjecture by griffiths and harris concerning certain
noether–lefschetz loci. Communications in Contemporary Mathematics,
page 1550002, 2014.
[Otw03] A. Otwinowska. Composantes de petite codimension du lieu de Noether-
Lefschez: un argument asymptotique en faveur de la conjecture de Hodge.
J. Alg. Geom., 12(2):307–320, 2003.
[Ste87] J. H. M. Steenbrink. Some remarks about the Hodge conjecture, Hodge
theory (Sant Cugat, 1985). Lecture Notes in Maths. -1246. Springer, Berlin,
1987.
[Voi02] C. Voisin. Hodge Theory and Complex Algebraic Geometry-I. Cambridge
studies in advanced mathematics-76. Cambridge University press, 2002.
[Voi03] C. Voisin. Hodge Theory and Complex Algebraic Geometry-II. Cambridge
studies in advanced mathematics-77. Cambridge University press, 2003.
Tangent Bundle of P2 and Morphism
from P2 to Gr(2, C4)
Abstract
In this note we study the image of P2 in Gr(2, C4 ) given by tangent bundle of
P2 . We show that there is component H of the Hibert scheme of surfaces in
Gr(2, C4 ) with no point of it corresponds to a smooth surface.
1. Introduction
Let P2 denote the projective plane over the field of complex numbers C and
Gr(2, C4 ) Grassman variety of two dimensional quotients of the vector space
C4 .
The aim of this paper is to study the image of P2 by non constant morphisms
P → Gr(2, C4 ) obtained by tangent bundle TP2 of P2 . The bundle TP2 is
2
∗ Laboratoire de Mathématiques de Lens EA 2462 Faculté des Sciences Jean Perrin Rue
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_8
118 A. El Mazouni and D.S. Nagaraj
φS : P2 → Gr(2, C4 )
is generically injective.
We also, show that in fact one can find an ordered set of generators S of
TP2 the morphism is an immersion i.e., the morphism induces an injection on
all the tangent spaces.
As by product of our result we obtain the following (Theorem 4.2):
This exact sequence together with the fact H1 (OPn ) = 0, implies that
dimH0 (TP2 ) = 8, where Hi denotes the i th sheaf cohomology group. Since
the rank two bundle TP2 on P2 is ample and generated by sections, a minimal
generating set of independent sections has cardinality four. Any set S of four
independent generators of TP2 gives to an exact sequence:
0 → ES → OP42 → TP2 → 0.
Lemma 3.3. With the notations of Lemma(3.1), the surjection of vector bun-
dles on P2
OP42 → TP2
given by S defines a generically injective morphism
φS : P2 → Gr(2, C4 ).
(x; y; z) →
(xyz; x(z 2 − xy); x(xz − y 2 )); y(x2 − yz); y(xy − z 2 );
3xyz − (x3 + y 3 + z 3 )).
To prove the map φS is generically injective it is enough to prove the map p◦φS
is so. Set (Z0 , . . . , Z5 ) as the homogeneous coordinates of P5 and W be the
codimension two subspace of P5 defined by Z0 = 0 = Z5 . Then W ∩ p ◦ φS (P2 )
is equal to
F :X ×T →Y
φS : P2 → Gr(2, C4 )
is generically injective.
Proof: It is easy to see that the ordered set of four sections S generating TP2 is an
irreducible quasi projective variety. In fact it is an open subvariety of the affine
space V 4 , where V = H0 (TP2 ). The theorem at once follows from Lemma(3.5),
if we show the existence of one S for which φS is generically injective. But the
existence of one such S follows from Lemma(3.3). 2
4. An Example
The result of the previous section can be used give an example of a component
of a Hilbert Scheme of Gr(2, C4 ) with out any point corresponding to a smooth
surface.
Lemma 4.1. The morphism p ◦ φS : P2 → P5 of Lemma(3.2) is an immersion
i.e., the induced linear map on the tangent space at every point of P2 is injective.
Moreover, p ◦ φS one to one except
and
S2 = {(1; 1; 1), (ω; ω 2 ; 1), (ω 2 ; ω; 1)} → (1; 0; 0; 0; 0; 0),
where ω is a primitive cube root of unity.
Proof: Let X, Y, Z be the homogeneous coordinates functions on P2 and
Z0 , Z1 , Z2 , Z3 , Z4 , Z5 be the homogeneous coordinates functions on P5 . Clearly
under the morphism p ◦ φS : P2 → P5 the set S1 maps to (0; 0; 0; 0; 0; 1) and
122 A. El Mazouni and D.S. Nagaraj
the set S2 maps to (1; 0; 0; 0; 0; 0). Note that the lines X = 0, Y = 0, and
Z = 0 mapped to nodal cubics Z0 = Z1 = Z2 = Z33 + Z43 − Z3 Z4 Z5 = 0,
Z0 = Z3 = Z4 = Z13 + Z23 + Z1 Z2 Z5 = 0, and Z0 = Z1 − Z4 = Z2 + Z3 =
Z13 + Z23 − Z1 Z2 Z5 = 0 respectively. Thus we can conclude that the morphism
p ◦ φS is an immersion on these three lines. On the complement of these lines
the morphism p ◦ φS can be described as
from C2 − {xy = 0} → C4 . If (x, y) and (x1 , y1 ) maps to the same point then
we get the following equations:
xy − 1 x1 y1 − 1 xy − 1 x 1 y1 − 1
= ; = .
y y1 x x1
C2 − {xy = 0} → C4
can be checked by looking at the two by two minors of the below jacobian
matrix of the morphism:
−1 1/y 1 + y/x2 1/x2 −2x/y + y 2 /x2 + 1/x2 y
2
−1/y 2 −x/y 2 − 1 −1/x 1 x2 /y 2 − 2y/x + 1/xy 2
Remark 4.3. The component H of the the Hilbert Scheme in Theorem 4.2 is
reduced irreducible of dimension 23. In fact computing the normal sheaf asso-
ciated to the morphism φS of Lemma 3.3 and counting the dimension of space
of all such morphisms we see that H is a reduced irreducible of dimension 23.
Acknowledgment
This work was supported in part by the Labex CEMPI (ANR-11-LABX-0007-
01). The second author thanks university D’artois, Lens and the University of
Lille. We thank Laytimi Fatima for help during the work.
References
[1] El Mazouni, A.; Laytimi, F.; Nagaraj, D. S. Morphisms from P2 to Gr(2, C4 ).
J. Ramanujan Math. Soc. 26 (2011), no. 3, 321332.
[2] Gross, Mark.; Surfaces of bidegree (3, n) in Gr(1, P3 ). Math. Z. 212 (1993), no.
1, 73106.
[3] R. Hartshorne: Algebraic Geometry. Graduate Texts in Mathematics, No. 52,
Springer-Verlag, New York, 1977.
[4] Hiroshi Tango: On (n-1)-dimensional projective spaces contained in the Grass-
mann variety Gr(n, 1). J. Math. Kyoto Univ. 14-3 (1974) 415-460.
Twisting by a Torsor
Michel Emsalem∗
Abstract
Twisting by a G-torsor an object endowed with an action of a group G is a
classical tool. For instance one finds in the paragraph 5.3 of the book [17] the
description of the ”opération de torsion” in a particular context. The aim of this
note is to give a formalization of this twisting operation as general as possible
in the algebraic geometric framework and to present a few applications. We will
focus in particular to the application to the problem of specialization of covers
addressed by P. Dèbes et al. in a series of papers.
1. Introduction
Twisting by a G-torsor an object endowed with an action of G is a classical tool.
For instance one finds in the paragraph 5.3 of the book [17] the description of the
”opération de torsion” in a particular context. We refer to [3] for a formulation
in a topological framework. The aim of this note is to give a formalization of this
twisting operation as general as possible in the algebraic geometric framework
and to present a few applications. We will focus in particular to the application
to the problem of specialization of covers addressed by P. Dèbes and al. in a
series of papers, which was one of the motivations for writing these notes.
We begin with a section on torsors where we recall classical properties and
operations on torsors. It is the opportunity to set the notations. In section 3
we define the twisting operation by a torsor using the cocycle description of a
torsor. We state the main properties of this twisting operation in paragraph 4
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_9
126 Michel Emsalem
and recall some classical examples. Paragraph 5 is devoted to the study of the
particular case where the twisted objects are themselves torsors. This will lead
to the situation we study extensively in the next paragraphs where we consider
(ramified) Galois covers that we twist with what we call arithmetic torsors. The
aim is to provide a test to know wether there are specializations of the given
Galois cover which are isomorphic as torsors to some given arithmetic torsor.
2. Torsors
2.1. Left Torsors and Bitorsors. The aim of this section is to set
notations in the description of torsors by cocycles. Let S be a scheme endowed
with some subcanonical Grothendieck topology, G → S a group scheme, X → S
a S-scheme and P a S-scheme endowed with a left action of G and a G-
equivariant S-morphism P → X.
Definition 2.1. P → X is a left G-torsor if there exists a covering (Ui )i∈I of
X trivializing the torsor P ; in other words there are sections si : Ui → P|Ui =
P ×X Ui for any i and these sections si induce trivializations θi : Ui ×S G →
P|Ui defined by θi (x, g) = gsi (x). When P → X is a G-torsor, the natural
morphism G ×S P → P ×X P given by the formula (g, p) → (g.p, p) (for any
g ∈ G(T ), p ∈ P (T ) where T is a S-scheme) is an isomorphism ([18], Prop.
4.43).
For i, j ∈ I, on the intersection Uij = Ui ×X Uj , one gets si |Uij = gij sj |Uij
for some gij ∈ G(Uij ) and the commutative diagram
θi |U
P|Uij o
ij
Uij ×S G
dJJ
JJ
JJ
JJ
θj |U
ij J
Uij ×S G
where the vertical map is defined by (x, g) → (x, ggij ) which is an isomorphism
of trivial torsors. The torsor P is obtained by gluing these trivial left torsors
over the Uij ’s.
The gij clearly satisfy the cocycle condition on Uijk :
g / ggi .
ggij / ggij gj = ggi gij
One gets the relations
−1
gi = gij gj gij .
The X-group H is the inner form of G determined by the left G-torsor P ;
H acts on the right on P by the rule p.h = h−1 (p) (p ∈ P, h ∈ H), and the
actions of G and H commute. So P can be viewed as a (G, H)-bitorsor.
The link between left action of G and right action of H can be described
by isomorphisms ui : H|Ui → G|Ui defined in the following way
∀h ∈ H|Ui si h = ui (h)si .
One easily checks that
−1
∀h ∈ H|Uij ui (h) = gij uj (h)gij .
Remark 2.2. In order to avoid problems of representability it is convenient to
consider a more general situation and extend the notion of torsors to S-spaces
and not only S-schemes (cf. [13] for the definition of S-spaces). A scheme S
is still given with some subcanonical Grothendieck topology, and G → S is a
S-group space, i.e. a sheaf of groups over S. The definition 2.1 still holds in this
context where X is a S-scheme, P is a S-space endowed with a left action of G
and P → X a G-equivariant morphism. We will use this more general concept
of torsor in section 3, where, for an object ξ of some stack, we will consider
torsors under the sheaf of groups Aut(ξ) which is not necessarily representable.
2.2. Right Torsors. The same kind of description holds for a right H-
torsor P . One defines cocycles with values in H by si |Uij = sj |Uij hij , the hij ’s
satisfying the cocycle condition
hik = hjk hij .
The group G is the group of automorphisms of the right H-torsor, a global
section of G being given by local sections hi ∈ H(Ui ) satisfying
hi = h−1
ij hj hij .
One has isomorphisms vi : G|Ui → H|Ui satisfying gsi = si vi (g) and over
Uij ,
vi = h−1
ij vj hij .
If (gij , ui ) is the description of P as a left G-torsor, its description as right
H-torsor is given by (hij , u−1 −1
j ) where hij = uj (gij ).
128 Michel Emsalem
Proof. Let (Ui )i∈I be a trivializing covering for the two torsors with sec-
tions si : Ui → P and ti : Ui → Q; one denotes by (si , ti ) : Ui → P ∧H Q
the corresponding section. On Uij , one gets the equality
y g = g −1 y and h y = yh−1 .
Through these actions P is a (H, G)-bitorseur that one denotes by P 0 .
With the preceding notation, local sections si : Ui → P , and left cocycle gij
with values in G (resp. right cocycle hij with values in H ) describing P as a
left G-torsor (resp. as a right H-torsor) defined by the formulas
−1
si = gij sj = sj gij and si = sj hij = h−1
ij sj .
contracted product.
It is easy to check the following property.
3. Twisting by a Torsor
Suppose we are given a stack C → Schemes/S with Schemes/S endowed with
f pqc-topology, an affine S-group-scheme G locally of finite type and faithfully
flat. Consider the category C G (X) with objects ξ of C(X) endowed with a
morphism of sheaves ϕ : GX → Aut(ξ); a morphism from (ξ, ϕ) to (ξ , ϕ )
is a morphism f : ξ → ξ compatible with ϕ, ϕ , which means that for any
morphism of S-schemes λ : T → X and for any g ∈ G(T ) the following diagram
is commutative:
λ f
λ ξ / λ ξ
ϕ(g) ϕ (g)
λ ξ
λ f
/ λ ξ
For an object ξ of CG (X), its image ΦP (ξ) will be referred to as the result
of the twisting operation by the torsor P .
t tt
tt
tt
ḡij
tt θj |Uij
uij ξ
One checks that the object ΦP (ξ) does not depend on the trivializing
covering neither on the chosen representative gij .
Let f : (ξ1 , ϕ1 ) → (ξ2 , ϕ2 ) be a morphism between two objects of C G (X).
For all i, j, the following diagrams are commutative:
f|Uij
u∗i ξ1 |Uij / u∗i ξ2 |U
ij
ϕ1 (gij ) ϕ2 (gij )
f|Uij
u∗j ξ1 |U / u∗j ξ2 |U
ij ij
h̄ij ḡij
λj |U
uij ξ
ij
/ uij ξ
which means that the family (λi ) is a section of the torsor P ∧GX Aut(ξ),
which corresponds to the image ḡij of the cocycle gij by the morphism ϕ.
This shows a one to one correspondence between section of P ∧GX Aut(ξ)
on X and sections on X of Isom(ξ, ΦP ξ). The same holds over any T →
X, which proves the isomorphism of sheaves IsomC(X) (ξ, ΦP ξ) → P ∧GX
Aut(ξ).
2. The inner form H of GX is obtained by gluing u∗i G with u∗j G over Uij by
conjugation by gij . The fact that H acts on Φ(ξ) where ξ is an object of
CG (X) is more or less tautologic: suppose that we are given a section (gi )i
of H, which means sections gi ∈ G(Ui ) satisfying far all i, j
(∗) gj |Uij ◦ gij = gij ◦ gi |Uij
ϕ(gij ) ϕ(gij )
u∗j ξ |U / u∗j ξ |U
ij gj |U ij
ij
ξ|Uij
θi
/ ΦP (ξ)|U ωi
/ ΦQ (ΦP (ξ))|U
u : ij
o7
ij
θj uu ωj ooo
uu h̄ij o
ḡij
uu ooo
uu ooo
ξ|Uij ΦP (ξ)|Uij
θj uu
u:
uu
uj (hij )
uu
uu
ξ|Uij
and of Lemma 2.3 which gives the description by cocycles of the contracted
product.
132 Michel Emsalem
λi |Uij
uij ξ / uij ξ
ḡij Id
λj |U
uij ξ
ij
/ uij ξ
which proves that ξ is obtained from ξ by the descent data ḡij , In other
words ξ = ΦP (ξ).
Remark 3.2. From the proof one clearly gets that if P is the trivial torsor in
point (2) H G and the equivalence of category ΦP is the identity of CG (X).
Remark 3.3. Given a right G-torsor π : P → X, π ∗ is a functor from CG (X) to
the category of G-equivariants objects of C(P ) (see [18], 3.8, for the definition
of G-equivariants objects). On the other hand, as explained in [18], Theorem
4.46, the G-torsor π : P → X defines an equivalence of categories FP between
G-equivariant objects of C(P ) and C(X). The functor ΦP of Theorem 3.1 is
ΦP = FP ◦ π ∗ .
Proof. The statement is a consequence of this simple remark: with the notation
of the proof of Theorem 3.1, if gij denotes the cocycle associated to the torsor
P and the covering Ui , the cocycle associated to the G/K-torsor P/K is θ(gij )
where θ : G → G/K is the canonical morphism.
Twisting by a Torsor 133
Proof. If we are given effective descent data over X, i.e. objects ξi on the
opens Ui with isomorphisms αij : ξi |Uij → ξj |Uij satisfying descent conditions
and defining an object ξ on X, one can pull them by f : X → X getting
descent data for the objects f ξi on the opens f −1 Ui with isomorphisms f αij :
f ξi |f −1 Uij → f ξj |f −1 Uij which define the object f ∗ ξ. In particular the right
G-torsor P is defined by gluing together trivial right G-torsors GUi on the
opens Ui with descent data given by the cocycle gij ∈ G(Uij ) (which defines an
automorphism of the trivial right G-torsor GUij by left multiplication by gij ).
Pulling these data by f one gets the left multiplication by gij ◦ f over f −1 (Uij ).
Thus the torsor f ∗ P is defined by the cocycle (gij ◦ f ).
Fix a right G-torsor P . Let ξ be an object of CG (X); we will denote g the
image of an element g ∈ G by the structural morphism GX → Aut(ξ). The
twisted object ΦP (ξ) is defined by descent data provided by the gij ’s acting
on the ξUij ’s. On the other hand f (ΦP (ξ)) is defined by descent data f ∗ (ḡij )
on the f (ξUi ) = f (ξ)f −1 (Ui ) . The fact that GX → Aut(ξ) is a morphism of
sheaves implies that f ∗ (ḡij ) = gij ◦ f . This proves that f (ΦP (ξ)) is defined by
the local objects f (ξ)f −1 (Ui ) with descent data gij ◦ f . This is the definition
of Φf P (f (ξ)).
5. More generally coming back to the general situation of Theorem 3.1, con-
sider a morphism of S-group schemes u : G → G1 . It leads to a map
ũ : H1 (X, G) → H1 (X, G1 ) sending a G-torsor P to the contracted prod-
uct P ∧G G1 through u. On the other hand, given a right G-torsor P , u
induces a morphism of group schemes u : G = AutG P → G1 = AutG1 P1
where P1 = P ∧G G1 , and thus a morphism ũ : H1 (X, G ) → H1 (X, G1 ).
Twisting by a Torsor 135
H1 (X, G)
ũ / H1 (X, G1 )
O O
−∧G P −∧G1 P1
H1 (X, G ) / H1 (X, G )
ũ 1
where the vertical maps are bijections. Thus ũ−1 (P1 ) = ũ−1 (ũ(P )) is in
one to one correspondence by the left vertical map with the kernel of ũ ,
i.e. the set of right G -torsors Q such that Q ∧G G1 is the trivial G1 -
torsor. In other words the right G-torsors Q and P have same images by
ũ if and only if the image of Q ∧G P 0 by ũ is the trivial torsor.
5. Twisting a G-torsor
Consider the situation of Theorem 3.1 with C being the category of right G
torsors and let R be a right H-torsor over X. The category CH (X) contains
the category of (H, G)-bitorsors over X and if P is an element of CH (X), one
may consider the twisted object ΦR (P ) which is a right G-torsor over X.
Corollary 5.1. In the situation of Theorem 3.1, for any (H, G)-bitorsor P ,
ΦR (P ) R ∧H P
IsomG (P, Q) ΦQ (P 0 )
over Uij :
0
P|U
ϕi
/ GUij
ij
EE
EE
E −1
ϕj EE
(gij )d
E"
GUij
ΦQ (P 0 )|Uij
ψi
/ P|U
0
JJJ ij
JJJ
J gij
ψj JJJ
$
0
P|U ij
Twisting by a Torsor 137
0
where the vertical map is the action of gij on P|U ij
.
Finally the following diagrams are commutative over Uij :
ΦQ (P 0 )|Uij
ψi
/ P|U0 / GUij
ϕi
.
JJJ ij
DD
JJJ DD
J gij D −1
ψj JJJ ϕj DD
(gij )d
$ D !
0
P|U GUij
ij
EE
EE
E
ϕj EE
(gij )g
E"
GUij
−1 −1
(gij )g ◦ (gij )d = (gij )d ◦ (gij )g
Proof. This follows immediately from Corollary 5.2 and from the base change
formulas.
P10 A P2 .
00AAA K }}
00 AAA K }
}
00 A ~}}}
G 0
0 R G
00
00 G/K
0
X
Suppose we are given a section s : X → IsomG/K,X (R, R) ΦR 0
G/K,X (R )
(which is a closed immersion). Denoting s(X) ∈ IsomG/K,X (R, R) the corre-
sponding element the following diagram is cartesian:
R /X / ΦR 0
G/K,X (R )
s
R /X / IsomG/K,X (R, R)
s
The right square being cartesian one has to check that the large rectangle is
cartesian. The question is local and we may suppose that the torsors are trivial.
But IsomK,R (P1 , s(X)∗ P2 ) Isoms(X),R (P1 , P2 ) where the last term refers to
the set of X-isomorphisms from P1 to P2 inducing s(X) on R.
Given two right G-torsors P and Q over X Corollary 5.9 gives a tool allowing
to test for u : U → X whether u∗ P u∗ Q. In the following construction one
answers the question to know, given two morphisms u, v : U → X, whether
u∗ P v ∗ Q.
Consider the right G-torsors P1 = P ×S X → X ×S X and Q1 = X ×S Q →
X ×S X and the twisted object Q1 ∧G P10 .
Twisting by a Torsor 139
u∗ P / P ×S X and v∗ Q / X ×S Q
U
u×v
/ X ×S X U
u×v
/ X ×S X
and from commutation of base change with twisting operation. The proof of
second part of the statement uses the same tools.
In the particular case where P = Q one recovers the self-twisted cover
introduced in [5].
Corollary 5.13. With the above notation u∗ P and v ∗ P are isomorphic if and
only if the fibre at (u, v) of the self-twisted torsor P1 ∧G P10 has a section over U .
α ⊗k β → (ασ(β))σ∈G .
Let τ ∈ G; the image of τ (α) ⊗k τ (β) under this isomorphism is
(τ (α)σ(τ (β))σ∈G = (τ (α(τ −1 στ )(β))))σ∈G . One deduces that the image of an
element (xσ )σ∈G by the diagonal action of τ ∈ G is (yσ )σ∈G where
yσ = τ (xτ −1 στ ).
The fixed elements under the action of G are the tuplets (xσ )σ∈G satisfying
∀σ ∀τ xσ = τ (xτ −1 στ ).
140 Michel Emsalem
So sections over k of IsomG (L, L) are in one to one correspondence with el-
ements of Z(G). If for instance G is abelian, all sections of IsomG (L, L) are
defined over k and IsomG (L, L)(k) = G.
Finally ΦY (Y 0 ) = Y ∧G Y 0 = Spec(L⊗k L)G is a right torsor under the inner
form H of G defined by the torsor Y . Suppose that this torsor Y is defined by
a morphism Φ : Gal(k̄/k) → G, H can be described by the action of Gal(k̄/k)
on its k̄-points i.e. the elements of the abstract group G by the formula
∀σ ∈ Gal(k̄/k) ∀g ∈ G σ g = Φ(σ)gΦ(σ)−1 .
7. Arithmetic Twisting
Let us give an affine S-group G. We will call an arithmetic torsor on f : X → S
a torsor coming by pull back by f from a torsor over S. In this section we will
consider the particular case of the twisting of an arithmetic G-torsor by a G-
torsor Q → X over X. In other words IsomG (PX , Q) = ΦQ (PX 0
) = Q ∧G PX 0
,
where P → S is a G-torsor over S. In this situation, P being locally trivial on
0
S, ΦQ (PX0
) is locally on S isomorphic to Q. We will say that it is a model of Q.
The following statements are immediate consequences of the properties of
the twisting operation.
x∗ ΦQ (Px0 ) / x̃∗ ΦQ (P 0 )
X
Spec(κ) /S
s
where the vertical maps are étale; the sections of the left vertical map which
correspond to κ-points of ΦQ (PX 0
) over x are in one to one correspondence with
sections of the right vertical map which correspond to S-points of ΦQ (PX 0
) over
x̃ ([15], Chapter 1, section 4, Proposition 4.4). Finally according to Proposition
7.1 the S-points of ΦQ (PX 0
) over x̃ correspond to isomorphisms x̃∗ Q P . By
restriction to the generic fiber one deduces an isomorphism x̃∗η Q Pη .
Proposition 7.3. Let S = Spec(R) where R is an henselian ring whose we
will denote the generic and special points η and s, k the field of fractions of
R and κ its residue field. Let X → S be a smooth S-scheme, G → S an affine
smooth group scheme, P → S a right G-torsor, Q → X a right GX -torsor.
One assumes there exists a κ-rational special point y : Spec(κ) → ΦQ (PX0
).
∗
Then there exists a S-point x̃ : S → X such that x̃ Q P . In particular
x̃∗η Q Pη .
Proof. The proof is similar to that of preceding Proposition. The scheme
ΦQ (PX0
) is smooth over X and thus over S and Hensel’s Lemma insures the
existence of a section ỹ : S → ΦQ (PX
0
) specializing at y. If x̃ : S → X is its
image in X, according to Proposition 7.1, x̃∗ Q P .
142 Michel Emsalem
When the residue field κ of R is finite, one may apply Lang Weil estimates
for the number of κ-rational points of a κ-variety ([12]) and apply Propositions
7.2 and 7.3 to insure the existence of S-points x̃ : S → X such that x̃∗ Q P .
In order to do this we will have to check whether the special fiber of ΦQ (PX 0
)
has κ-rational geometrically irreducible components, a question that we will
address in section 9.
9. Specialization of a Cover
Let k be a field and X → Spec(k) a proper k-sheme. Let F : Y → X be a
ramified cover and U ⊂ X a dense open subscheme such that the restriction
Q = F −1 (U ) → U of F above U is finite étale. We assume X to be geometrically
normal and geometrically connected and Y geometrically normal (geometrically
normal resumes to normal if the base field is perfect, see [1], Lemma 10.151.1 ).
The open subscheme U is obviously geometrically normal. On the other hand,
as for any field extension k ⊂ k , Xk is the normalization of itself in Uk → Xk ,
U is also geometrically connected. As F is faithfully flat, it is open, and Q is a
dense open subscheme of Y . This is true for any base field extension, and thus if
Q is geometrically connected, Y is geometrically connected. On the other hand,
for any field extension k ⊂ k , Yk is the normalization of Xk in Qk → Xk ,
and thus, if Y is geometrically connected, Q is geometrically connected.
Describing finite étale covers of U in terms of morphisms π1 (U, x̄) → Sd ,
one sees that Q is geometrically connected if and only if there isn’t a non trivial
finite field extension k → L such that Q → U factors through Q → UL → U .
In particular if Q is not geometrically connected Q(k) = ∅.
In the case F : Y → X is Galois of group G, then FU : Q = F −1 (U ) → U
is a left G-torsor under the constant group G. The above remarks can easily
be formulated in terms of morphisms of étale fundamental groups. The étale
cover Q → U is described by a surjective morphism Φ : π1 (U, x̄) → G (where
x̄ refers to a geometric point of U ). This morphism Φ inserts in the following
commutative diagram where the vertical maps are surjective
where L is the scalar extension in the covering. This means that the étale cover
Q → U factors through Q → UL → U . The condition L = k (or equivalently
Ḡ = G) is equivalent to the condition that Q is geometrically connected or
equivalently that Y is geometrically connected. We conclude that a necessary
condition for Q to have a k-rational point is that Q is geometrically connected.
146 Michel Emsalem
X o Z [ ] _ 0 IsomG/Ḡ (RU , RU )
s
Spec(k) o \ ] _ a 0 IsomG/Ḡ (R, R)
x∗ (s)
/XoZ [
XL ] _ 0 IsomG/Ḡ (XL , XL )
sγ
(9.4)
But (1X × γ)∗ PX (γ ∗ P )X where γ ∗ P → Spec(L) is a Ḡ-torsor. And
IsomḠ,XL (Q, (1X × γ)∗ PX ) Q ∧Ḡ (γ ∗ P )0XL is isomorphic over Xk̄ to Q ×L k̄
which is connected as L is the extension of scalars contained in Q.
Remark 9.2. Instead of sections over k one can more generally consider
sections over a finite extension of k. For instance if one works over L, sections
Spec(L) → IsomG (R, R) are in one to one correspondence with G/Ḡ (the inner
form of G/Ḡ induced by the torsor R = Spec(L) → Spec(k) split over L and
is thus isomorphic to G/Ḡ). Thus over L, IsomG (QL , PXL ) = QL ∧G PX 0
L
is a
∗
disjoint union of the open closed sγ IsomG (QL , PXL ) with γ running in G/Ḡ.
The situation reduces to that of the regular G-cover QL → XL .
When k is a pseudo algebraically closed field (abbreviated by PAC) the
conclusion of Proposition 9.1 always holds. Recall that a field k is a PAC field
if every geometrically irreducible variety defined over k has k-rational points
(see [11]). As in Proposition 9.1 the components s∗γ (Q ∧G PU0 ) are geometrically
irreducible, one gets the following corollary.
Corollary 9.3. Assume that condition () is fulfilled. Then if k is a PAC
field there are infinitely many unramified rational points x ∈ X(k) such that
the fiber at x of Q is isomorphic to the G-torsor P .
One can generalize Proposition 9.1 to the situation of schemes over a dis-
crete valuation ring instead of a field. To avoid confusion in the notation, let us
148 Michel Emsalem
call A this discrete valuation ring; we denote as usual k its field of fractions and
κ is residue field. Let X → Spec(A) be a faithfully flat and proper A-scheme
that we will assume to be integral and normal. Let Z → Xη be a Galois ramified
cover of the generic fiber of Galois group G and geometric Galois group Ḡ < G.
Let us assume that the normalized f : Y → X of X in Z is flat1 . Assume also
that f : Y → X has no vertical ramification (this means that its restriction to
the special fiber is a ramified cover). Let Spec(L) → Spec(k) be the extension
of scalars in the Galois cover Z → Xη (L is a Galois extension of k of group
G/Ḡ) and AL the integral closure of A in L that we assume étale over A. We
suppose that there exists an AL -point x : Spec(AL ) → XAL . Let P → Spec(A)
be an étale G-torsor such that the generic fiber Pη → Spec(k) factors through
Pη → Spec(L) → Spec(k). We are in the situation of Proposition 5.11.
Proposition 9.4. Under these hypothesis
1. R = Spec(AL ) → Spec(A) is an étale G/Ḡ-torsor and there are
factorizations P → Spec(AL ) → Spec(A) and Y → XAL → X;
2. IsomG/Ḡ (XAL , XAL ) = IsomG/Ḡ (R, R) = H0 (Spec(A), IsomG/Ḡ (R, R))
IsomG/Ḡ (Rη , Rη ) Z(G/Ḡ);
3. for all γ ∈ Z(G/Ḡ), if we denote by sγ ∈ IsomG/Ḡ (XAL , XAL ) =
0 0
ΦRX (RX ) the corresponding element, s∗γ (ΦPX (Y )) has geometrically
connected fibers.
Proof. The first assertion comes from the normality of P and Y . In the second
assertion the first equality comes from the existence of a point Spec(AL ) → X.
Other equalities are clear. As L is the constant field extension in fη : Yη → Xη ,
one gets H0 (Yη , OYη ) = L. On the other hand H0 (Yη , OYη ) H0 (Y, OY ) ⊗A k
(cf. [14], section 5, Ex. 1.16, p. 174). As H0 (Y, OY ) has no A–torsion, so
AL ⊂ H0 (Y, OY ) ⊂ H0 (Y, OY ) ⊗A k = L and as H0 (Y, OY ) is a finite A-algebra
by Serre’s theorem, it is the integral closure of A in L: H0 (Y, OY ) = AL .
It follows from this fact that Y → XAL has geometrically connected fibers.
As in the proof of Proposition 9.1 one uses Proposition 5.11 to show that
0
s∗γ (ΦPX (Y )) → X is étale locally over Spec(A) isomorphic to Y → Spec(AL )
and thus has geometrically connected fibers.
1 This will be always the case for a regular scheme X of relative dimension 1.
Twisting by a Torsor 149
with finite residue field κ. There is a constant C > 0 depending on the degree
of the covering Y → X, the genus of the fibers of Y and the number of
branch points, such that for any discrete valuation ring extension A of A
whose residue field κ satisfies [κ : κ] ≥ C there are unramified A -points
x : Spec(A ) → X such that x∗ Y PA as left G-torsors.
Proof. The proof is similar to the proof of Proposition 8.6 taking advantage
of the fact that Y → X is smooth and A is Henselian. One uses Lang-Weil
estimates [12] to insure the existence of κ -unramified points on the special
0
fiber of s∗γ (ΦPX (Y )) for [κ : κ] large enough.
q _
sx
1 / π1 (Uk̄ , x̄) / π1 (U, x̄) / Gal(k̄/k) /1 (9.5)
u
ϕ φ Λ
1 / Ḡ /G / G/Ḡ /1
v
ν
Sn
Gal(k̄/k)
sx
/ π1 (U, x̄) φ
/G ν / Sn (9.6)
Gal(k̄/k)
ψ
/H μ
/ Sn (9.7)
ν◦η =μ and η ◦ ψ = φ ◦ sx .
which implies
Acknowledgments
The author would like to thank the referee for her/his thorough reading of the
article and her/his many valuable suggestions which have improved the text.
References
[1] AA. VV., Stacks Project, version 94a58fd
[2] S. Beckmann, On extensions of number fields obtained by specializing branched
coverings, Journal fr die reine und angewandte Mathematik, 419 (1991) p. 27 - 54.
[3] L. Breen, Notes on 1- and 2-gerbes, dans ”Towards Higher Categories”,
J.C. Baez and J.P. May (édit.), The IMA Volumes in Mathematics and its
Applications, Tome 152, 193-235, Springer (2009), arXiv:math/0611317.
[4] P. Dèbes, Galois covers with prescribed fibers: the Beckmann-Black problem,
Ann. Scuola Norm. Sup. Pisa, Cl. Sci. 4, vol. 28, 1999, 273-286.
[5] P. Dèbes, On the Malle conjecture and the self-twisted cover, arXiv:1404.4074.
[6] P. Dèbes and F. Legrand, Twisted covers and specializations. Galois-Teichmller
theory and arithmetic geometry, 141162, Adv. Stud. Pure Math., 63, Math. Soc.
Japan, Tokyo, (2012).
[7] P. Dèbes and F. Legrand, Specialization results in Galois theory. Transactions
A. M. S., vol. 365, no 10, 2013, 5259-5275
152 Michel Emsalem
[8] P. Dèbes and N. Ghazi, Galois covers and the Hilbert-Grunwald property. Ann.
Inst. Fourier, vol. 62, no 3, 2012, 989-1013.
[9] P. Dèbes and N. Ghazi, Specializations of Galois covers of the line. Alexandru
Myller Mathematical Seminar, Proceedings of the Centennial Conference, V.
Barbu and O. Carja, dds, American Institute of Physics, vol. 1329, 2011, 98-108,
[10] A. Grothendieck, Éléments de géomérie algébrique. IV. Étude locale des schémas
et des morphismes de schémas. 2, Publications Mathématiques de l’IHÉS, 24,
(1965).
[11] M. Fried, M. Jarden, Field arithmetic., Ergebnisse der Mathematik und ihrer
Grenzgebiete. 3. Folge 11, Springer Verlag.
[12] S. Lang, A. Weil, Numbers of points of varieties in finite fields, American
Journal of Mathematics, Vol. 76, 4, 1954, pp. 819-827.
[13] G. Laumon, L. Moret-Bailly, Champs algébriques, Ergebnisse der Mathematik
und ihrer Grenzgebiete : 3. Folge; 39 (2000), Springer Verlag.
[14] Q. Liu, Algebraic geometry and arithmetic curves, Oxford Science Publications
(2002)
[15] J. S. Milne, Étale Cohomology, Princeton University Press (1980F).
[16] M. V. Nori, The fundamental group-scheme, Proc. Indian Acad. Sci. (Math.
Sci.), Vol. 91, Number 2, (1982), p. 73-122.
[17] J. -P. Serre, Cohomologie galoisienne, Lecture Notes in Mathematics, Vol. 5,
Springer-Verlag, Berlin-New York, 5-th edition, 1994.
[18] A. Vistoli, Notes on Grothendieck Topologies, Fibred Categories and Descent
Theory, in Grothendieck’s FGA explained, Math. Surveys and Monographs of
the AMS, 123 (2005).
Hitchin Hamiltonians in Genus 2
Abstract
We give an explicit expression of the Hitchin Hamiltonian system for rank two
vector bundles with trivial determinant bundle over a curve of genus two.
1. Introduction
We are interested in rank two vector bundles E → X with trivial determi-
nant bundle det(E) = OX over a Riemann surface X of genus 2. The moduli
space MN R of semistable such vector bundles up to S-equivalence has been
constructed by Narasimhan and Ramanan in [16]. If E ∈ MN R is stable (and
is therefore the unique vector bundle S-equivalent to E), the cotangent space
of MN R at E is canonically isomorphic to the moduli space of trace free holo-
morphic Higgs fields θ : E → E ⊗ Ω1X on E:
T∨
E MN R Higgs(X)|E .
Since MN R P3 and the locus of semistable but non stable bundles (up to
S-equivalence) there is given by a singular quartic hypersurface, we have
T∨ MN R Higgs(X)
E-mail: [email protected]
† The first author is supported by the ANR grants ANR-13-BS01-0001-01 and ANR-13-
JS01-0002-01.
‡ IRMAR, Université de Rennes I, Campus de Beaulieu, 35042 Rennes Cedex, France.
E-mail: [email protected]
§ The second author is supported by CNRS and the ANR grant ANR-16-CE40-0008.
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_10
154 Viktoria Heu and Frank Loray
• or E is strictly semistable (i.e. semistable but not stable) and then there
are line subbundles L and L of degree 0 of E and E respectively, such
that L = L or L = L⊗−1
The hyperelliptic involution on X then writes ι : (x, y) → (x, −y) and the
induced projection on the Riemann sphere P1 is given by π : (x, y) → x.
Denote by
W := {w0 , w1 , wr , ws , wt , w∞ }
1 : (P1 , P2 ) → 1
Sum : (P1 , P2 ) → x1 + x2
Prod : (P1 , P2 ) → x1 x2 ,
2
y2 −y1
Diag : (P1 , P2 ) → x2 −x1 − (x1 + x2 )3 + (1 + r + s + t)(x1 + x2 )2 +
+x1 x2 (x1 + x2 ) − (r + s + t + rs + st + tr)(x1 + x2 )
(2.2)
We obtain coordinates on MN R = PH0 (Pic1 (X), OPic1 (2Θ)) P3 , where we
identify a point (v0 : v1 : v2 : v3 ) with the push-forward DE on Pic1 (X) of the
zero-divisor of the meromorphic function
on X (2) .
For example if E = L ⊕ L−1 , where
Kum(X) :
0= (v22 − 4v1 v3 )v02 +
+ v12 − v1 v3 (r + s + t) − v3 (v1 + v2 )(rs + st + tr)
2
−v3 (v2 + v3 )rst) + 4v12 v32 rst − 4v1 v33 (rs + st + tr)rst
−4v1 v3 (v2 + v3 )(v2 + v3 (r + s + t))rst − 2v0 v12 (v2 + 2v3 )
−2v0 v1 v3 (v2 + 2v1 )(r + s + t) − 2v0 v3 (v22 + v1 (v2 − 2v3 ))
(rs + st + tr) + 2v0 v3 (2v1 v3 − v2 (v2 + v3 ))rst
(2.5)
Since the strictly semistable locus Kum(X) is a quartic with sixteen conic
singularities it is usually referred to as the Kummer surface in the context of
MN R .
Let OX (τ ) be a 2-torsion line bundle on X, i.e. OX (2τ ) OX . Then
and the group of 2-torsion line bundles on X with respect to the tensor prod-
4
uct is isomorphic to (Z/2Z) . If E is a rank two vector bundle with trivial
determinant bundle over X, then its twist E ⊗ OX (τ ) also has the trivial de-
terminant line bundle. Moreover, by construction of the Narasimhan-Ramanan
moduli space, the action of the group of 2-torsion line bundles by twist is linear
and free on MN R and preserves Kum(X). By formula (2.4) we can explicitly
calculate the coordinates (v0 : v1 : v2 : v3 ) of the trivial bundle E0 = OX ⊕ OX
and its twists
Eτ := E0 ⊗ OX (τ ).
The trivial bundle for example is given by E0 : (1 : 0 : 0 : 0). Note that
these sixteen bundles Eτ correspond to the sixteen singularities of the Kummer
surface Kum(X).
The fact that we know the action (by permutation) of the 2-torsion group
on the set of bundles Eτ and we also know the coordinates of these bundles
158 Viktoria Heu and Frank Loray
0 1 s s2
introduced above is the regular one : it vanishes on all elements of the group
exept OX . Hence ρ is conjugated for example to the regular representation
Hitchin Hamiltonians in Genus 2 159
/τ given by
ρ. : OX (τ ) → M
⎛ ⎞ ⎛ ⎞
0 0 1 0 0 1 0 0
⎜0 0 0 1⎟ ⎜−1 0 0 0⎟
/[w ]−[w ]
M = ⎜ ⎟ , /[w ]−[w ]
M = ⎜ ⎟
0 ∞ ⎝1 0 0 0⎠ 1 ∞ ⎝0 0 0 −1⎠
0 1 0 0 0 0 1 0
⎛ ⎞ ⎛ ⎞
1 0 0 0 0 1 0 0
⎜0 −1 0 0⎟ ⎜1 0 0 0⎟
/[w ]−[w ]
M = ⎜ ⎟ , /[w ]−[w ]
M = ⎜ ⎟
r ∞ ⎝0 0 −1 0⎠ s ∞ ⎝0 0 0 −1⎠
0 0 0 1 0 0 −1 0
where F (x) is given in (2.1) and F (x) is its derivative with respect to x. Then
⎛ ⎞ ⎛ ⎞
a b c d 1 1 0 −ω0
⎜−b a d −c⎟ ⎜0 ω 1 0 0 ⎟
M =⎜
⎝c
⎟·⎜ ⎟, (2.7)
d a b ⎠ ⎝0 ω 0 ω0 ω0 ⎠
d −c −b a 0 0 0 ω0 ω1
the action of the 2-torsion group is then normalized to ρ.. In particular, the
equation of the Kummer surface with respect to the coordinates (u0 : u1 :
u2 : u3 ) is invariant under double-transpositions and double-changes of signs.
160 Viktoria Heu and Frank Loray
Calculation shows
Kum (X) :
0 = (u40 + u41 + u42 + u43 )
rs − rt + r − s st + t − 2s 2 2 (2.8)
−8 u 0 u1 u2 u3 − 2 (u0 u3 + u21 u22 )
t(s − 1) t(s − 1)
2r − t 2 2 2r − s − 1 2 2
−2 (u1 u3 + u20 u22 ) + 2 (u2 u3 + u20 u21 ).
t s−1
In summary, the straightforward coordinates (v0 : v1 : v2 : v3 ) of MN R
introduced in the previous section have the advantage that
• and we are going to use this property when we describe the universal
family on a 2-cover of MN R ,
• E is stable but off the odd Gunning planes, which means that no line
subbundle L ⊂ E is isomorphic to OX (−[wi ]) for some wi ∈ W , or
0 −→ OX ([wi ]) −→ E −→ OX (−[wi ]) −→ 0
For convenience of notation let us for now denote by Bun(X) the set of
vector bundles E as in the above list, before we put an algebraic structure on
Bun(X). We use the fact that any bundle E ∈ Bun(X) is equivariant under
the hyperelliptic involution:
∼ / ι∗ E ∼ / E.
E h ι∗ h >
idE
and such that for each Weierstrass point wi ∈ W , the induced automorphism
of the Weierstrass fibre
0
p|wi : {Y ∈ VectC ( 10 )} (ζ, Y )
h / −ζ, 10 −1 Y
O O
elm+
p̂ elm+
p̂
p̂|wi : {Y ∈ VectC ( 01 )} ζ, Y = ζ, 0 / −ζ, Y
1 0 h
1
ζ
Y
O O
π∗ π∗
ζ, Y = ζ 2 , Y / ζ, Y
id
p|π(wi ) : {Y ∈ VectC ( 01 )}
Let μ be a real number in [0, 1]. Denote by Bunμ (X/ι) the moduli space
of pairs (E, p), where E is a rank 2 vector bundle of degree −3 over P1 and
p is a quasi-parabolic structure with support W such that (E, p) is a sta-
ble parabolic bundle if to each quasi-parabolic direction p|wi we associate the
parabolic weight μ. For each choice of μ, this moduli space is either empty or
birational to P3 [15]. Moreover, for any μ ∈ [0, 1], the map
OP1 (−3) ⊗ elm+
W
of this map correspond to the odd Gunning bundles E[w1 ] , E[w0 ] and E[w∞ ] re-
spectively. Conversely, a generic point (v0 : v1 : v2 : v3 ) ∈ MN R has precisely
two preimages in C3(R,S,T ) given by
The discriminant of this polynomial leads again to the equation (2.5) of the
Kummer surface.
∗ 2:1
W ◦π : Bun(X/ι) −→ Bun(X) is an algebraic
Proposition 3.4 The map elm+
2 cover.
from the following idea : The complement in Bun(X) of the image of the Weddle
surface is embedded into M \ Kum(X) (we obtain all stable bundles except
those on the odd Gunning planes). Since we have a universal vector bundle in
each affine chart of the two-cover Bun(X/ι) of Bun(X), we can expect to find
a universal family of Higgs bundles there as well. Then we calculate a Hitchin
map for Bun(X/ι) and push it down to MN R .
More precisely, we will calculate the Hitchin map in the following steps :
• Provided that H0 (P1 , sl(E, p)) = {0}, we have a canonical isomorphism
and show that it factors through the Hitchin map. Then we deduce the
explicit Hitchin map from the formulas in Proposition 3.3.
E
θ / E ⊗ Ω1
O X
h ι∗ h
ι∗ θ/ ∗
ι∗ E ι E ⊗ Ω1X .
Hyperelliptic decent of the pair (E, θ) then produces two triples (E, θ, p), where
θ : E → E ⊗ Ω1P1 (W )
θ. ∈ H0 (P1 , sl(E, p
.) ⊗ Ω1P1 (W ))
has (at most) apparent singularities over each Weierstrass point, and the quasi-
parabolic structure p obtained from p . corresponds to 0-eigendirections of θ.
Note that here we have to choose a meromorphic section σ : P1 → OP1 (−3).
As long as we are not on the Kummer, respectively Weddle surface, we obtain
an isomorphism
T∨ 1 1 .))∨
p) Bun(X/ι) = H (P , sl(E, p
Serre / H0 (P1 , sl(E, p
.) ⊗ Ω1P1 )
(E, ∼
∼ OP1 (−3)⊗elm+
W
∼ H0 (P1 , sl(E , p) ⊗ Ω1P1 (W ))apparent
∼ elm+
W ◦π
∗
∨ o ∼
T∨
E Bun(X) = H (X, sl(E))
1
H0 (X, sl(E) ⊗ Ω1X )
Serre
Let (E, p) be an element of Bun(X/ι) given with respect to the canonical chart
by (R0 , S0 , T0 ) ∈ C3 . The vector field ∂R
∂
∈ T(R0 ,S0 ,T0 ) Bun(X/ι) is given in
H (P , sl(E, p)) by the cocycle
1 1
0 1
φ01 :=
0 0
θ = c r θ r + cs θ s + ct θ t (4.1)
Corollary 4.1 The Liouville form on Bun(X/ι), given with respect to the
canonical chart (R, S, T ) ∈ C3 by
dR + dS + dT
where
⎧ 2
⎪
⎪ rst· η0 (u20 − u23 ) + η1 (u0 u1 + u2 u3 ) + η2 (u0 u2 + u1 u3 )
⎪
⎪ 2
⎪
⎨
1
−st· η0 (u0 u1 − u2 u3 ) + η1 (u21 + u23 ) + η2 (u0 u3 + u1 u2 )
h0 = 4u4
·
3 ⎪
⎪ +4rs· (η0 u0 + η1 u1 )2 u23
⎪
⎪
⎪
⎩ 2
−rt· η0 (u20 + u23 ) + η1 (u0 u1 + u2 u3 ) + η2 (u0 u2 − u1 u3 )
⎧
2
⎪
⎪ t· u0 + u21 + u22 + u23 (η02 + η12 + η22 )u23 + (η0 u0 + η1 u1 + η2 u2 )2
⎪
⎪
⎪
⎪
2
⎪
⎪ +st· u0 − u21 + u22 − u23 (η02 − η12 + η22 )u23 − (η0 u0 + η1 u1 + η2 u2 )2
⎪
⎪
⎪
⎨ +4r·
1
(u0 u2 − u1 u3 ) u3 [η0 η2 u3 + (η0 u0 + η1 u1 + η2 u2 )η1 ]
h1 = 4u4
·
3 ⎪
⎪ +4sr· (u0 u2 + u1 u3 ) u3 [η0 η2 u3 − (η0 u0 + η1 u1 + η2 u2 )η1 ]
⎪
⎪
⎪
⎪
⎪
⎪ +4s· (u0 u3 + u1 u2 ) u3 [η1 η2 u3 − (η0 u0 + η1 u1 + η2 u2 )η0 ]
⎪
⎪
⎪
⎩ +4rt· (u u + u u ) u [η η u − (η u + η u + η u )η ]
0 1 2 3 3 0 1 3 0 0 1 1 2 2 2
⎧ 2
⎪
⎪ s· η0 (u0 u2 + u1 u3 ) + η1 (u0 u3 + u1 u2 ) + η2 (u22 − u23 )
⎪
⎪
⎨ −1· η0 (u0 u2 − u1 u3 ) + η1 (u0 u3 + u1 u2 ) + η2 (u2 + u2 ) 2
⎪
1 2 3
h2 = 4u4
· 2
3 ⎪
⎪ −t· η0 (u0 u1 + u3 u3 ) − η2 (u0 u3 − u1 u2 ) + η1 (u2 + u23 )
2
⎪
⎪
⎪
⎩
+4r· (η1 u1 + η2 u2 )2 u23
4h(t) 4h(r)
H2 = − t(t−1)(t−r)(t−s) H5 = r(r−1)(r−s)(r−t)
4h(1)
H3 = (r−1)(s−1)(t−1) H6 = 0.
References
[1] M. F. Atiyah, Complex analytic connections in fibre bundles, Trans. Amer. Math.
Soc. 85 (1957) 181–207.
[2] I. Biswas, V. Heu On the logarithmic connections over curves, J. of the Ramanu-
jan Math. Soc., Volume 28A, Issue SPL, July - Special Issue (2013), 21–40.
[3] I. Biswas, Parabolic bundles as orbifold bundles, Duke Math. J. 88 (1997), no.
2, 305–325.
[4] M. Bolognesi, A conic bundle degenerating on the Kummer surface, Math. Z.
261 (2009), no. 1, 149–168.
[5] I. Dolgachev, Classical Algebraic Geometry: a modern point of view, Cambridge
University Press, Cambridge, 2012.
[6] K. Gawȩdzki and P. Tran-Ngoc-Bich, Self-Duality of the SL2 Hitchin Integrable
System at Genus 2 Communications in Mathematical Physics 196 (1998), no. 3,
641–670.
[7] B. van Geemen and E. Previato, On the Hitchin system Duke Mathematical
Journal 85 (1996), no. 3, 659-683.
[8] W. M. Goldman, Ergodic theory on moduli spaces, Ann. of Math. (2) 146 (1997)
475–507.
[9] R.C. Gunning, Lectures on vector bundles over Riemann surfaces, University
of Tokyo Press, Tokyo, Princeton University Press, Princeton, ISBN 0691079986
(1967), v+243 pp.
[10] R. C. Gunning, Special coordinate coverings of Riemann surfaces, Math. Ann.
170 (1967) 67–86.
[11] R. C. Gunning : Analytic structures on the space of flat vector bundles over a
compact Riemann surface, Princeton University, Princeton, New Jersey 08540
[12] V. Heu and F. Loray, Flat rank 2 vector bundles over genus 2 curves, to appear
in Memoirs of the AMS (2017). arXiv 1401.2449.
[13] N. Hitchin, Stable bundles and integrable systems, Duke Math. J. 54 (1987), no.
1, 91–114.
[14] J. C. Hurtubise, Integrable systems and algebraic surfaces. Duke Math. J. 83
(1996), no. 1, 19–50.
172 Viktoria Heu and Frank Loray
[15] F. Loray and M.-H. Saito, Lagrangian fibration in duality on moduli space of
rank two logarithmic connections over the projective line, Int. Math. Res. Not.
IMRN 2015, no. 4, 995–1043.
[16] M.S. Narasimhan and S. Ramanan, Moduli of vector bundles on a compact
Riemann surface, The Annals of Mathematics (2) 89 (1969) 14–51.
[17] A. Weil, Généralisation des fonctions abéliennes, Jour. Math. Pure Appl., 17
(1938) 47–87.
Smoothness of Moduli Space of Stable
Torsion-free Sheaves with Fixed
Determinant in Mixed Characteristic
Inder Kaur
Abstract
Let R be a complete discrete valuation ring with fraction field of characteristic 0
and algebraically closed residue field of characteristic p > 0. Let XR → Spec(R)
be a smooth projective morphism of relative dimension 1. We prove that, given
a line bundle LR the moduli space of Gieseker stable torsion-free sheaves of
rank r ≥ 2 over XR , with determinant LR , is smooth over R.
1. Introduction
Notation 1.1. Let R be a complete discrete valuation ring with maximal ideal
m. Denote by K its fraction field of characteristic 0 and by k its residue field
of characteristic p > 0. Assume k is algebraically closed. Let XR → Spec(R)
be a smooth fibred surface and Xk its special fibre. Fix a line bundle LR on
XR . Let P be a fixed Hilbert polynomial. Throughout this note, semistability
always refers to Gieseker semistability (see [6, Definition 1.2.4]).
In [8, Theorem 0.2], Langer proves that the moduli functor of
semi(stable)torsion-free sheaves with fixed Hilbert polynomial P on XR is
uniformly (universally) corepresented by an R-scheme MXR (P ) (respectively
s
MX R
(P )). Recall the definition of the moduli functor of flat families of
(semi)stable torsion free sheaves with fixed Hilbert poynomial P and deter-
minant LR on XR (see Definition 2.2). We denote this functor by MsXR ,LR . In
this note we prove the following:
Theorem 1.2 (see Proposition 2.3, Remark 2.4 and Theorem 4.5). We have
the following:
1. The moduli functor MXR ,LR is uniformly corepresented by a projective
R-scheme of finite type denoted MR,LR . The open subfunctor MsXR ,LR for
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_11
174 Inder Kaur
Part 1 is proven analogously to [2, Theorem 3.1]. For part 2, we prove that the
s
deformation functor at a point in the moduli space MR,L R
is unobstructed (see
Theorem 3.19).
Note that Theorem 1.2 is proven by Langer in the case when R is a k-algebra
(see [7, Proposition 3.4]). However, the proof does not generalize to our setup.
This is because it relies on [1, Proposition 1], the proof of which does not hold
in mixed characteristic. The main difficulty is that even in the case of vector
bundles it uses the structure of R as a k-algebra in a fundamental way (see [1,
Section 3]). We use the same philosophy as [1, Proposition 1] (of using Cech
cohomology) but take a more direct approach since we are working on a family
of curves.
The setup is as follows: in §2 we recall the basic definitions and results
needed for this note. We also prove the existence of the moduli space of stable
torsion free sheaves with fixed determinant over Spec(R). In §3 we show that
s
the deformation functor at a point in the moduli space MR,L R
is unobstructed.
Finally in §4 we prove that this moduli space is smooth over Spec(R).
1. Let MXR / Spec(R) (P ) (as in [2, Theorem 3.1]) of pure Gieseker semistable
sheaves. For simplicity we will denote this functor by MR and the cor-
responding moduli space by MR . Denote by PicXR the moduli functor
for line bundles. By assumption XR → Spec(R) is flat, projective with
integral fibres, therefore by [3, Theorem 9.4.8] the functor PicXR is rep-
resentable. We denote this moduli space by Pic(XR ).
0 → En → En−1 → · · · → E0 → E → 0.
Smoothness of Moduli Space of Stable Torsion-free Sheaves 175
i
Then det(E) := ⊗det(Ei )(−1) .
Therefore we can define a natural transformation det : MR → PicXR .
This induces a morphism between the schemes corepresenting these func-
tors MR → Pic(XR ).
Now we define the moduli functor for families of pure Gieseker semistable
sheaves with fixed determinant.
Proof. We know from the proof of [2, Theorem 3.1], there exists a subset of the
Quot scheme denoted Rs , such that MRs is a universal categorical quotient of
this subset by the action of a certain general linear group. Let α : Rs → MRs
denote this quotient.
The natural transformation MsR → PicXR which induces the determinant
morphism det : MRs → Pic(XR ). By composing the morphism det with α we
obtain, a morphism detRs : Rs → MRs → Pic(XR ).
Let RsLR := det−1 Rs (LR ) denote the fibre of the map detRs at the point cor-
responding to LR and let NR,LR := det−1 (LR ). Let MR,L s
R
be a universal
s
categorical quotient of RLR by GL(V ). By definition of categorical quotient,
there exists a unique morphism from φsLR : MR,L s
R
→ NR,LR . Since the quo-
s s s s
tients R → MR and RLR → MR,LR are PGL(V )-bundles in the fppf topology
(see [9, Lemma 6.3]), it implies φsLR is an isomorphism. Therefore, we have the
following diagram,
176 Inder Kaur
s
MR,L NR,LR - Ms
R R
det
? [LR-] ?
Spec(R) Pic(XR )
Finally by [6, Theorem 4.3.1] we conclude that the functor MsR,LR is universally
s
corepresented by the R-scheme MR,L R
.
3.7. Group action on the torsors: By [5, Theorem 7.3], the set D[Fk ] (A ) (respec-
tively D[det(Fk )] (A )) is a torsor under the action of H 1 (HomXk (Fk , Fk ) ⊗k I)
(respectively H 1 (HomXk (det(Fk ), det(Fk )) ⊗k I)).
Since Xk is noetherian, we can identify the sheaf cohomology
H 1 (Xk , Hom(Fk , Fk ) ⊗k I) with the Cech cohomology Ȟ 1 (U, Hom(Fk , Fk ) ⊗k
I), where U is an affine open covering of Xk . Then an element, say ξ of
the cohomology group H 1 (Hom(Fk , Fk ) ⊗k I) can be seen as a collection
of elements {φij } ∈ Γ(Ui ∩ Uj , Hom(Fk , Fk )) satisfying the cocycle condi-
tion i.e. for any i, j, k, we have φik |Uijk = φjk |Uijk + φij |Uijk . Since I is a
k-vector space, Ȟ 1 (U, Hom(Fk , Fk ) ⊗k I) Ȟ 1 (U, Hom(Fk , Fk )) ⊗k I. There-
fore, {φij }i,j is of the form {φij ⊗ a}i,j for a ∈ I not depending on i, j and
φij ∈ Γ(Ui ∩ Uj , Hom(Fk , Fk )) satisfying φik |Uijk = φjk |Uijk + φij |Uijk .
Let FA be an extension of FA on XA i.e an element of D[Fk ] (A ). Since
it is locally free, there exists a covering U = {Ui } of XA by such that FA |Ui
is OUi -free. Denote by U := {Ui } the cover of Xk where Ui := Ui ∩ Xk . We
know from the proof of [5, Theorem 7.3] that FA (ξ) is given by a collection of
sheaves Fi := FA |Ui and isomorphisms φij : Fi |Ui ∩Uj → Fj |Ui ∩Uj such that
Id+((φ
ij ⊗a)◦π)
φii = Id, φij : Fi |Ui ∩Uj = FA |Ui ∩Uj −−−−−−−−−−→ FA |Ui ∩Uj = Fj |Ui ∩Uj
where φij , a are as above and π is the natural restriction morphism FA → Fk .
Then by [4, Ex. II.1.22], FA (ξ) glues to a sheaf if the morphisms {φij } satisfy
the cocycle condition. In the following lemma we prove that this is indeed the
case.
Lemma 3.8. Let Fi and φij be as above. The morphisms {φij } satisfy the
cocycle condition i.e. for any i, j, k φik = φjk ◦ φij .
Proof. It suffices to prove this equality for the basis elements, say si1 , . . . , sir
generating Fi |Ui ∩Uj ∩Uk . For any basis element sit ,
Using this we conclude that FA (ξ), obtained by glueing the sheaves Fi along
the isomorphism φij is a sheaf.
Similarly, an element say ξ in H 1 (HomXk (det(Fk ), det(Fk )) ⊗k I) acts on
an element in D[det(Fk )] (A ), say det(FA ) to produce a line bundle det(FA )(ξ )
given by a family of sheaves {Li := LA |Ui } and isomorphisms
Id+((φ
ij ⊗a)◦π)
φij : Li |Uij −−−−−−−−−−→ Lj |Uij
1. We define a map
which uniquely associates an extension FA (ξ) of FA (using Lemma 3.8)
to an element ξ of H 1 (HomXk (Fk , Fk ) ⊗k I).
Remark 3.10. Note that by Corollary 3.4, there exist surjective morphisms
r1 : DFk (A ) DFk (A) and r2 : Ddet(Fk ) (A ) Ddet(Fk ) (A). By [5, Theorem
7.3], r1−1 (FA ) = Im(φ1 ), r2−1 (det(FA )) = Im(φ2 ).
The following lemma tells us that taking the determinant commutes with
glueing of the sheaf.
Lemma 3.11. The determinant of the sheaf FA (ξ) is the line bundle obtained
by glueing {det(Fi )} along the isomorphisms
where si1 , ..., sir are the basis elements of Fi |Ui ∩Uj .
180 Inder Kaur
Proof. By Lemma 3.8 for all t = 1, . . . , r, we have φik (sit ) = φjk (sit ) ◦ φij (sit ).
Then,
Hence the morphisms {φij } satisfy the cocycle condition i.e φik = φjk ◦ φjk .
By Lemma 3.8, there exist isomorphisms ψi : FA (ξ)|Ui Fi satisfying
ψj |Uij = φij ◦ ψi |Uij . We define ψ i : det(FA (ξ))|Ui det(Fi ) as follows. Let
si1 , . . . , sir be the basis of FA (ξ)|Ui . Then ψ i (si1 ∧· · ·∧sir ) := ψi (si1 )∧· · ·∧ψi (sir ).
Therefore
Then by the uniqueness of glueing mentioned in [4, Ex. II.1.22], {det(Fi )} glues
along the isomorphisms {φij }i,j to det(FA )(ξ).
3.12. We relate the obstruction theory of D[Fk ] to that of D[det(Fk )] by relating
the action of the group H 1 (HomXk (Fk , Fk ) ⊗k I) on the vector bundle to the
action of the group H 1 (HomXk (det(Fk ), det(Fk )) ⊗k I) on the determinant of
the vector bundle. This relation is given by the trace map which we recall here.
Definition 3.13. Let U be an affine open set on which Fk is free, generated
by sections say s1 , ..., sr (for r = rk(Fk )). Recall the map,
Let U := {Ui } be a small enough open cover of Xk such that Fk is free on each
Ui . Then the trace map is given by
Remark 3.14. Note that the morphism trU is OXk linear. Let f ∈ OXk (U ).
Then
trU (f φ) = s1 ∧ ... ∧ sr → s1 ∧ .. ∧ f φ(sj ) ∧ ... ∧ sr
j
= f (s1 ∧ .. ∧ φ(sj ) ∧ ... ∧ sr )
j
= f s1 ∧ .. ∧ φ(sj ) ∧ ... ∧ sr
j
= f trU (φ).
and basis s1 , ..., sr ∈ Fk,x . Since the map trx is OXk ,x linear and
HomOXk (det(Fk,x ), det(Fk,x )) ∼
= OXk ,x , it suffices to show that Id ∈ Im(trx ).
Let φ ∈ HomXk (Fk,x , Fk,x ) defined as φ(si ) = si for i = 1 and 0 otherwise.
This concludes the proof.
We can define the trace map cohomologically as follows:
Definition 3.16. Let U := {Ui } be a small enough open affine cover of
Xk such that Fk is free on each Ui . Using [4, III. Theorem 4.5] we define
Čech cocycle C p (U, Hom(Fk , Fk )) (resp C p (U, Hom(det(Fk ), det(Fk ))), such
that the corresponding Čech cohomology coincides with the sheaf cohomology
H i (Xk , Hom(Fk , Fk )) (resp H i (Xk , Hom(det(Fk ), det(Fk )))). The morphism
(∗) of Definition induces a morphism on cohomologies
is surjective.
Proof. Consider the short exact sequence,
tr
0 → ker tr → HomXk (Fk , Fk ) −
→ HomXk (det(Fk ), det(Fk )) → 0.
182 Inder Kaur
tr1 ⊗ Id DetA
? ?
φ2
H 1 (HomXk (det(Fk ), det(Fk )) ⊗k I) - D[det(Fk )] (A )
Proof. Let si1 , ..., sir be the sections generating Fi |Ui ∩Uj .
Any section of Hom(det(Fi ), det(Fi )) is (uniquely) defined by the image of
si1 ∧ ... ∧ sir . Hence it suffices to prove
(detij ◦ (Id + (φij ⊗ a) ◦ π))(si1 ∧ ... ∧ sir ) = (Id + (trUij (φij ) ⊗ a) ◦ π)(si1 ∧ ... ∧ sir ).
For 1 ≤ t ≤ r, (Id + (φij ⊗ a) ◦ π)(sit ) = sit + aφij (π(sit )) and since I.mA =
0, at = 0 for t > 1. Hence,
(detij ◦(Id+(φij ⊗a)◦π))(si1 ∧...∧sir ) = (si1 +aφij (π(si1 )))∧...∧(sir +aφij (π(sir ))) =
= si1 ∧...∧sir +a si1 ∧...∧φij (π(sik ))∧...∧sir = (Id+(trUij (φij )⊗a)◦π)(si1 ∧...∧sir ).
k
This completes the proof of the proposition.
Smoothness of Moduli Space of Stable Torsion-free Sheaves 183
? ?
φ1 - r - D[F ] (A)
H 1 (HomXk (Fk , Fk ) ⊗k I) D[Fk ] (A ) k
4. Main Results
In Theorem 3.19, we showed that the deformation functor D[Fk ],[det(Fk )] is un-
s
obstructed for any closed point [Fk ] of the moduli space MR,L R
. In this section
we prove that this functor is in fact prorepresented by the completion of the
local ring at the point [Fk ] (see Proposition 4.4). Using this we prove that the
s
moduli space MR,L R
of pure stable sheaves with fixed determinant LR over
XR , is smooth over Spec(R).
184 Inder Kaur
Notation 4.1. Keep Notations 1.1 and 3.1. Let [Fk ] be a k-rational point
s
of MR,L R
and denote by Λ := ÔMR,[F
s , the completion of the local ring
k]
OMRs ,[Fk ] . Under the determinant morphism det : MRs → PicXR , the line bundle
det(Fk ) is a k-point of Pic(XR ). Denote by Λ := ÔPic(XR ),[det(Fk )] and by
Λ := ÔMR,L s ,[Fk ] .
R
Lemma 4.3. The deformation functor D[Fk ] (resp. D[Lk ] ) are pro-
representable by ÔMR,[F
s
]
(resp. ÔPicXR ,[det(Fk )] ).
k
Proof. Recall from the proof of [2, Theorem 3.1], that for m sufficiently large,
Rs is the open subset of Quot(H; P ) where H := OXR (−m)P (m) parametrizing
stable quotients. By [9, Lemma 6.3], φ : Rs → MRs is an etale PGL(V )-principal
bundle. Therefore, ÔRs ,[Fk ] ∼
= ÔMRs ,[Fk ] .
Denote by Q := Quot(H; P ) and by DQ,[Fk ] the deformation functor corre-
sponding to the Quot-scheme at the point [Fk ]. Recall that for any local Artin
ring A, Pic(Spec(A)) = 0, hence D[Fk ] = DQ,[Fk ] . Since the functor Quot is
representable, the deformation functor DQ,[Fk ] is pro-representable by ÔQ,[Fk ]
i.e.,
DQ,[Fk ] ∼
= ÔQ,[Fk ] ∼= ÔRs ,[Fk ] ,
where the second isomorphism follows from the fact that Rs is an open subset
of Q. Therefore, D[Fk ] is isomorphic to ÔM s ,[Fk ] .
R
DetA detA
? ?
∼
D[det(Fk )] (A) - ÔPic(XR ),[det(Fk )] (A)
σ
Hence the deformation functor D[Fk ],[det(Fk )] (A) ∼ = detA −1 (φLA ), where
φLA := σ(LA ). Therefore to prove that D[Fk ],[det(Fk )] is pro-represented by
ÔM s ,[Fk ] , we need to show that for any A ∈ Art/R,
R,LR
detA −1 (φLA ) ∼
= HomR (Λ, A). (1)
∼
By Lemma 4.3, D[det(Fk )] (A) − → HomR (Λ , A). Hence for a fixed element LA ∈
D[det(Fk )] (A), the corresponding morphism from Spec(A) → Spec(Λ ) is unique
and this is the morphism φLA . This implies the commutativity of the following
diagram
Spec(A) - Spec(Λ )
? ?
Spec(R) - Spec(Λ )
-
Spec(Λ) - Spec(Λ )
? ?
-
Spec(R) - Spec(Λ )
Since A was arbitrary, (1) holds for any A ∈ Art/R. Hence D[Fk ],[det(Fk ] is
pro-represented by ÔMR,L
s ,[Fk ] .
R
186 Inder Kaur
represents the functor D[Fk ],[det(Fk )] , i.e ÔM s ,[Fk ] D[Fk ],[det(Fk ] . By The-
R,LR
orem 3.19, the deformation functor D[Fk ],[det(Fk )] is unobstructed. Hence the
functor ÔM s ,[Fk ] is unobstructed. This implies ÔMR,L s ,[Fk ] is unobstructed.
R,LR R
s
Hence, the morphism MR,LR
→ Spec(R) is smooth at the point [Fk ].
Acknowledgements
The author thanks Prof. A. Langer for a discussion during the conference ’Top-
ics in characteristic p > 0 and p-adic Geometry ’. The author is grateful to the
Berlin Mathematical School for financial support.
References
[1] V. Artamkin. On deformation of sheaves. Math USSR Izv, 32:663–668, 1989.
[2] H. Esnault and A. Langer. On a positive equicharacteristic variant of the p-
curvature conjecture. Documenta Math. J., 18:23–50, 2013.
[3] B. Fantechi, L. Göttsche, L. Illusie, S. L. Kleiman, N. Nitsure, and A. Vistoli. Fun-
damental algebraic geometry. Grothendieck’s FGA explained,Mathematical Sur-
veys and Monographs, volume 123. Amer. Math. Soc, 2005.
[4] R. Hartshorne. Algebraic Geometry, volume 52. Graduate texts in Math, Springer
Verlag, 1977.
[5] R. Hartshorne. Deformation Theory, volume 257. Graduate texts in Math,
Springer Verlag, 2010.
[6] D. Huybrechts and M. Lehn. The geometry of moduli spaces of sheaves, volume 31.
Aspects of Mathematics, Vieweg, Braunshweig, 1997.
[7] A. Langer. Castenuovo-mumford regularity. Duke Math. J., 124:571–586, 2004.
[8] A. Langer. Semistable sheaves in positive characteristic. Ann of Math, 159:251–
276, 2004.
[9] M. Maruyama. Moduli of stable sheaves II. J.Math.Kyoto Univ, 18:557–614, 1978.
Group Compactifications and
Moduli Spaces
Johan Martens∗,†
Abstract
We give a summary of joint work with Michael Thaddeus that realizes toroidal
compactifcations of split reductive groups as moduli spaces of framed bundles on
chains of rational curves. We include an extension of this work that covers Artin
stacks with good moduli spaces. We discuss, for complex groups, the symplectic
counterpart of these compactifications, and conclude with some open problems
about the moduli problem concerned.
1. Introduction
1.1. The basic problem we want to discuss in this note is the following: given
a reductive group G (which, as an affine variety, is not complete), how can you
think about completions of G? For good measure, we want to restrict ourselves
to completions that are well-behaved, which as a minimum will require G × G-
equivariance. For G = P GL(n) this is a very classical question, going back to
19th century enumerative geometry. We will make no attempt to relate the
history of this, but would like to point out the early paper [Sem51] by Semple,
who was likely the first to think of these completions as (in modern language)
moduli spaces, which will be central theme in our discussion.
In general one can think of this question as a special case of spherical em-
beddings (thinking of G as (G × G)/G), and use the Luna-Vust theory that
classifies these [LV83], which was developed from the early 1980s. Around the
same time, in another seminal work [DCP83, DCP85], De Concini and Pro-
cesi gave a description of embeddings of symmetric varieties, and in particular
showed that every adjoint group (a reductive group with trivial center, hence
necessarily semi-simple) has a canonical smooth completion, which is known as
Guthrie Tait Road, Edinburgh EH9 3FD, United Kingdom. E-mail: [email protected]
† The author was partially supported by EPSRC grant EP/N029828/1.
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_12
188 Johan Martens
1.2. An impetus for looking for completions of G as moduli spaces came from
the search of a universal compactification of the moduli space of G-principal
bundles on curves, as advocated by Sheshadri. Indeed, if X is a complete curve
with a single nodal singularity whose normalization X. is connected, then any
G-bundle on X corresponds to a G-bundle on X,. equipped with an isomorphism
between the fibres over the exceptional points of X̃. This isomorphism can be
changed by the action of G, which indicates that any suitable compactification
of the moduli problem of bundles-on-curves lying over the Deligne-Mumford
compactification of the moduli space of curves would give rise to a compactifi-
cation of the group G itself. Motivated by this, Kausz developed a particular
modular compactification of GL(n) [Kau00].
1.3. In [MT16], Thaddeus and the author introduced a general moduli prob-
lem of framed bundle chains. This is represented by a stack, such that any
(torsion-free stacky simplicial) fan with support in the positive Weyl chamber
of G determines a stability condition on this stack. Imposing this condition
cuts out a substack, whose coarse moduli space is the toroidal embedding of
the group G determined by the fan. All toroidal embeddings of G can be un-
derstood this way.
We will review this work here, indicating how these stacks can be described
as global quotients of reductive monoids using work of Vinberg, and show how
the simplicial condition can be relaxed, to give Artin moduli stacks with good
moduli spaces (in the sense of Alper [Alp13]).
Next we show how semi-projective toroidal embeddings of complex groups
can be understood in real symplectic geometry as non-abelian cuts of the cotan-
gent bundle of a compact form of the group. Finally we conclude with a list
of open problems and questions related to the moduli problem we described.
The aim of this note is to provide a readable introduction, for more technical
details we refer to [MT16, MT12a, MT12b].
nally trivial (that is, trivial on the generic point of each component) — this is
automatically satisfied if k is algebraically closed or of characteristic zero.
A polyhedron will be a subset of a vector space cut out by a finite number
of linear inequalities – so in particular, it need not be bounded. Finally we shall
say that a variety is semi-projective if it is projective over an affine variety.
2.1. The objects we want to study are G-principal bundles over chains of
projective lines meeting in nodal singularities. The chains are connected, but
their length is a priori arbitrary (though having at least one component) and
allowed to vary in families. We do not want the chain to ‘flip’ in a family though.
To this end, we ask for a consistent choice of endpoints p+ and p− in the chain
(which are encoded, for each family, by two sections of the chain, taking values
in the extremal components over any closed point).
p+ p−
Each such family of chains of projective lines comes with a canonical action
of the multiplicative group Gm [MT16, Theorem 1.6]. We ask for all our G-
bundles to be equivariant with respect to this Gm -action (i.e. to be equipped
with the lift of this action to the total space of the bundle, commuting with
the G-action). Finally, we want the bundles to be framed over p+ and p− , in a
Gm -invariant way. That is, the sections p+ and p− are lifted to the total space
of the bundle, and these sections are invariant under the action of Gm .
Gm -equivariance is built into the moduli problem, we really have the gerbe
G × BGm .
3.2. With such a choice of stacky fan and ordering of the ray vectors, we
can now give the corresponding stability condition: a framed bundle chain is
stable if its isomorphism class is determined by a tuple of co-characters that
all lie in the same Weyl chamber (which can be chosen to be the postive Weyl
chamber), who moreover are all distinct ray vectors of a single cone in the fan,
and occur in the chosen order from p+ to p− . See Figure 2 for an illustration.
Imposing the stability condition cuts out an open substack MG (Σ) ⊂ M.
The main result of [MT16] is now the following:
Theorem 3.1. The stack MG (Σ) is a smooth, separated tame stack (hence
Deligne-Mumford if k has characteristic zero), which is proper if the support of
Σ is all of the Weyl chamber. The coarse moduli space of MG (Σ) is the toroidal
spherical embedding of (G × G)/G given by the uncolored fan wΣ, where w is
the longest element in W .
192 Johan Martens
β1 β2
wβ1 β3
wβ3
wβ2
β1
β2 wβ1 β2 β1 β2
β1 wβ3 β2
β3 wβ2 β1 β3 wβ3
β3
Note that though the stability condition was dependent on the choice of
ordering of the ray vectors (β1 , . . . , βn ) in the stacky fan, for different choices
the resulting stacks are canonically isomorphic.
(which guarantees that the corresponding coarse moduli space is projective over
an affine, and indeed projective if the fan W Σ was complete).
4.2. Now, it turns out that the condition that the βi generate Λ ⊗ Q can be
relaxed in an easy way: even if this is not the case, i.e. when the sequence (1)
is no longer exact on the right (for instance in the extreme case where X = T ,
where there are no βi at all), we still have that
X∼ = A0 × T /Gβ ,
β
and all the above statements (about geometric vs categorical quotients, orb-
ifolds, and GIT) remain valid in this generality. Whereas Aβ was Spec of the
Cox ring of X, Aβ × T is Spec of the equivariant Cox ring – using the equiv-
ariance in this way is exactly what compensates for the lack of compactness.
So this generalizes the Cox construction to all toric varieties, at no addi-
tional cost, but more importantly for us this variation on the Cox constrution
also has a non-abelian generalization. For this we need an extra ingredient: the
Vinberg monoid (a.k.a. enveloping semigroup) of G.
194 Johan Martens
where k[Genh ](λ,μ) denotes the isotypical components of type (λ, μ) (which one
can think of as the matrix coefficient for the corresponding highest weight
representations), and the character lattice of Genh can be described as
2 3
VGenh = (λ, μ) ∈ VG2 | μ − λ = mi αi , with all mi ∈ Z
i
(here the αi are the positive simple roots of G). In this language we have
1
k[SG ] = k[Genh ](λ,μ) ,
+
(λ,μ)∈VG ∩QG
enh
!
where QG is the cone consisting of those (λ, μ) such that μ−λ = i mi αi where
all mi ≥ 0. A description of SG in arbitrary characteristic (for k algebraically
closed) was given in [Rit01].
Vinberg showed (for G semisimple) that SG satisfies a universal property in
the category of reductive monoids [Vin95, Theorem 5]: essentially it says that
any reductive monoid S satisfying some natural conditions is obtained from
SG , where G = [S × , S × ] (here S × is the group of units of G), as the base
change of SG → A by a toric morphism of an affine toric variety to A. From
our point of view it is useful to think of SG as a (universal) degeneration of G
(the generic fibres of SG → A are indeed isomorphic to G).
Vinberg studied SG extensively; in particular he introduced a certain open
0
subvariety SG (not a submonoid) of SG , and showed that the geometric quotient
0
SG /T is the wonderful compactification of Gad = G/Z of De Concini-Procesi
0
[DCP83]. It was shown in [MT16, Theorem 5.4] that SG can also be understood
as a GIT-stable set for a suitable linearization of the action of T on SG .
Group Compactifications and Moduli Spaces 195
4.4. The Cox-Vinberg Hybrid. It turns out that the Cox construc-
tion (or rather the variation thereof sketched above) and the Vinberg con-
struction of the wonderful compactification of Gad can be hybridized in a very
natural way. Indeed, as all of the βi are in the positive Weyl chamber of G, the
morphisms βi : Gm → T naturally induce monoid morphisms A1 → A. These
combine into a monoid morphism Aβ → A, and we can now look at the reduc-
tive monoid SG,β arising as the fibred product Aβ ×A SG . Inside of SG,β we can
now again look at an open subvariety SG,β 0
:= A0β ×A SG0
. If Σ is a polar fan this
can again be understood to be a GIT semi-stable locus [MT16, Theorem 8.1]
(stable if Σ is simplicial). In [MT16, proof of Theorem 6.4] a family of framed
bundle chains was constructed over Aβ ×A SG 0
, which induces an isomorphism
of stacks
0
SG,β /Gβ ∼= MG (Σ).
4.5. In some sense one could think of this Cox-Vinberg monoid SG,β as
playing a similar rol to MG (Σ) as the quot-scheme plays to the moduli space
of bundles on a smooth projective curve. There is a crucial difference however:
we don’t know what moduli problem these SG,β represent, and in fact are only
able to construct a family of framed bundle chains over the open subvariety
Aβ ×A SG 0
. It is very tempting to search for a modular interpretation of all of
the monoid; see Section 7.2 below.
Recall also that the construction of the Vinberg monoid over algebraically
closed fields of positive characteristic was done by Rittatore in [Rit01] using
the Luna-Vust theory of spherical embeddings. It is widely assumed by the
experts that the Vinberg monoid also exists for split reductive groups over
arbitrary fields, though we are not aware of any place where this is written
down. The theory of spherical embeddings has been extended by Huruguen
[Hur11] to more general settings (including the case of split reductive groups
over arbitrary fields); presumably the combination of the work of Huruguen
and Rittatore would extend the notion of Vinberg monoid to arbitrary fields,
which should also extend the discussion below.
5.2. The notion of a good moduli space [Alp13] for an Artin stack generalizes
the relationship between the stack [X ss /G] and the GIT-quotient X//G for the
linearized action of a reductive group on a (semi-)projective variety – here X ss
stands for the semi-stable locus in X. For a general Artin stack X a good moduli
space is an algebraic space Y , together with a morphism φ : X → Y such that
the push-forward functor on quasi-coherent sheaves for φ is exact, and such
that the induced morphism on sheaves OY → φ∗ OX is an isomorphism. If a
good moduli space exists it is unique, in the sense that φ is universal for maps
from X to algebraic spaces.
Of importance for us is that good moduli spaces can be glued, in the fol-
lowing sense [Alp13, §7.8]: if φ : X → Y is an Artin stack with a good moduli
space, an open substack U ⊂ Y is said to be saturated if φ−1 (φ(U)) = U. We
now have
5.3. We want to apply Proposition 5.1 to the open covering of MG (Σ) given
by the cones σ in a stacky fan Σ (of course we want to think of these as stacky
fans in their own right, so we remember the ray vectors βi ). We shall refer to
these open substacks as MG (σ). The criterion will be easy to verify, since we
know, by the results on the GIT construction in [Alp13], that they hold for
those stability conditions that give rise to semi-projective good moduli spaces.
5.4. The conditions under which the stability condition that cuts out
MG (Σ) can be understood as GIT-(semi-)stability for the Cox-Vinberg monoid
were described in [MT16, §8]. Note that we are applying GIT here to all semi-
projective schemes, i.e. schemes projective over an affine. These include all affine
Group Compactifications and Moduli Spaces 197
and projective varieties, and more precisely are exactly the schemes that can
be generated as Proj of a graded k-algebra. We shall say that a fan is normal
if it is determined by some polyhedron (with the ray vectors of the fan the
outward normal vectors of the polyhedron).
Theorem 5.2 ([MT16, Theorem 8.1]). If Σ is a normal fan such that W Σ has
convex support then the stack MG (Σ) is isomorphic to the stack [SG,β
ss
/Gm ],
ss 0
where SG,β is the GIT-semistable locus, which equals SG,β .
Observe that strictly speaking in [MT16] only the case of simplicial fans was
discussed (and hence no properly semi-stable points were present); the proof
of the above theorem, however, goes through without change in the general
case. Also note that the condition for a fan Σ with support in the postive
Weyl chamber to be normal such that W Σ has convex support can also be
stated as saying that Σ is the normal fan to a polyhedron P in the positive
Weyl chamber such that W P is a polytope which meets the walls of all Weyl
chambers perpendicularly.
Lemma 5.3. Any (stacky) cone σ with support in the positive Weyl chamber
of G can be included in a normal fan Σ such that W Σ has convex support.
Proof. First, remark that without loss of generality, we can assume that σ has
dimension equal to the rank of G. Let P. be the polyhedron (in VR ) that is
obtained by taking −σ ∨ (where σ ∨ is the dual cone to σ), and shifting it by
a non-zero-vector v contained in σ ∨ . The issue is that P. may not meet the
walls of the Weyl chambers perpendicularly. In order to correct this, let Q be
the polyhedron given by taking the cone whose outward normal vectors are
the simple positive roots of G (which will not be strongly convex if G is not
semi-simple), and shifting it by (1 + )v. If we now take > 0 small enough, the
polyhedron given by the intersection P = P. ∩ Q will now meet all of the walls
of the Weyl chamber perpendicularly, and its polar fan (wich is independent
of the choices of v and under the stated conditions) will be contained in the
positive Weyl chamber in ΛR , and it will contain the original cone σ.
stacky fan Σ . containing σ such that MG (Σ) . has a good moduli space. By
.
Lemma 5.3 we can always find such a Σ, and moreover assume MG (Σ) . (or
rather its good moduli space) is obtained as a GIT-quotient; hence we can
apply the general results of GIT there. In particular, we know that in the good
moduli space orbits need to be identified if their closures meet in the semi-stable
0
locus, in casu SG,β .
We can now use the Cox-Vinberg construction to show that MG (σ) will
be saturated in MG (Σ), . which means that no two orbits that do not lie in
Uσ ×A SG0 . will have closures that intersect in S 0 . Indeed,
. in Σ
for some cone σ G,β
again using [Alp13, Remark 6.2], observing that the corresponding result holds
for toric varieties (since any toric variety corresponding to a single cone can
itself be obtained as a GIT-quotient – something not true for arbitrary toroidal
spherical varieties corresponding to a single cone), and hence using the variation
on the Cox construction described above in Section 4.2 we find that if orbits
in A0β × T intersect, they have to be contained in Uσ × T for some cone σ . in
.
Σ. As all orbits in T itself are closed, we find moreover that the corresponding
orbit closures intersect in Uσ .
0
We can now go back to SG,β : if orbit closures intersect there, so will their
images in Aβ , and hence also the corresponding orbits in A0β × T . Using the
0
MP ∼
= (((M × SG ) //K) ×A Aβ ) //ξ U (1)N
(see [MT12a, Corollary 4]). Note that the fibered product only needs the ray
vectors of Σ, but the level at which the final symplectic reduction is performed
uses all the data of P . If M was a complex semi-projective variety to begin
with, and P had all outward normal vectors in the positive Weyl chamber, this
construction can therefore be understood to give a new semi-projective variety.
6.3. For details of the proof of this we refer to [MT12a], but we will briefly
mention the key ideas behind this: firstly, it is well-known that any suitably
intrinsic operation X one wants to apply to a Hamiltonian K-space M can
equivalently be done by first applying it to T ∗ K, and then taking the quotient
of the carthesian product of the resulting space and M – symbolically we could
write this as
X(M ) ∼ = (M × X (T ∗ K)) //K.
This is the case for symplectic implosion [GJS02] where the implosion of T ∗ K
is dubbed the universal implosion (and trivially for X = id or symplectic reduc-
tion by K), but also for symplectic cutting. Indeed, in the abelian symplectic
cut one has that the universal symplectic cut of T ∗ T is just the symplectic toric
space corresponding to the polyhedron P .
In fact, this latter point of view is just the symplectic counter part of the
alternative approach to the Cox construction that was outlined above. The stan-
dard symplectic counterpart to the Cox construction is known as the Delzant
construction [Del88], which essentially says that any compact toric manifold (or
one whose normal fan satisfies the condition that (1) is exact) can be obtained
as the symplectic reduction of CN , where N is the number of facets of P . This
again suffers from the same disadvantages as the standard Cox construction
when one wants to consider more general toric symplectic spaces (with proper
moment maps).
Whereas in the algebro-geometric picture this was remedied by looking
at equivariant Cox rings, in the symplectic picture one can just replace the
symplectic reduction of CN by the symplectic cut of T ∗ T with respect to P
(one can think of this as the universal cut). Moreover, we find that by doing
so we not only generalize the validity of the Delzant construction, but also
allow for a non-abelian generalisation: indeed, it is shown in [MT12a, Theorem
Group Compactifications and Moduli Spaces 201
7. Open Questions
Finally, we will list here a number of open questions regarding the compactifi-
cations discussed above.
doesn’t fall under the framework discussed above. The stack of all framed bun-
dle chains has a monoidal structure by gluing chains together, but the condition
that all elements of the splitting type lie in the same Weyl chamber typically
gets lost while doing this, so even the construction of M in [MT16] needs to
be expanded to accommodate this.
References
[ACV03] Dan Abramovich, Alessio Corti, and Angelo Vistoli. Twisted bundles and
admissible covers. Comm. Algebra, 31(8):3547–3618, 2003. Special issue in
honor of Steven L. Kleiman. doi:10.1081/AGB-120022434.
[Alp13] Jarod Alper. Good moduli spaces for Artin stacks. Ann. Inst. Fourier
(Grenoble), 63(6):2349–2402, 2013. doi:10.5802/aif.2833.
[Alp14] Jarod Alper. Adequate moduli spaces and geometrically reductive group
schemes. Algebr. Geom., 1(4):489–531, 2014. doi:10.14231/AG-2014-022.
[BCS05] Lev A. Borisov, Linda Chen, and Gregory G. Smith. The orbifold Chow
ring of toric Deligne-Mumford stacks. J. Amer. Math. Soc., 18(1):193–215
(electronic), 2005. doi:10.1090/S0894-0347-04-00471-0.
[DCP83] C. De Concini and C. Procesi. Complete symmetric varieties. In Invariant
theory (Montecatini, 1982), volume 996 of Lecture Notes in Math., pages
1–44. Springer, Berlin, 1983. doi:10.1007/BFb0063234.
[DCP85] C. De Concini and C. Procesi. Complete symmetric varieties. II. Intersec-
tion theory. In Algebraic groups and related topics (Kyoto/Nagoya, 1983),
volume 6 of Adv. Stud. Pure Math., pages 481–513. North-Holland, Ams-
terdam, 1985.
[Del88] Thomas Delzant. Hamiltoniens périodiques et images convexes de
l’application moment. Bull. Soc. Math. France, 116(3):315–339, 1988.
[Don83] S. K. Donaldson. A new proof of a theorem of Narasimhan and Seshadri. J.
Differential Geom., 18(2):269–277, 1983. URL: http://projecteuclid.org/
euclid.jdg/1214437664.
[FMN10] Barbara Fantechi, Etienne Mann, and Fabio Nironi. Smooth toric
Deligne-Mumford stacks. J. Reine Angew. Math., 648:201–244, 2010.
doi:10.1515/CRELLE.2010.084.
[Gie84] D. Gieseker. A degeneration of the moduli space of stable bundles. J.
Differential Geom., 19(1):173–206, 1984. URL: http://projecteuclid.org/
euclid.jdg/1214438427.
[GJS02] Victor Guillemin, Lisa Jeffrey, and Reyer Sjamaar. Symplectic implosion.
Transform. Groups, 7(2):155–184, 2002. doi:10.1007/s00031-002-0009-y.
[Gro57] A. Grothendieck. Sur la classification des fibrés holomorphes sur la sphère
de Riemann. Amer. J. Math., 79:121–138, 1957. doi:10.2307/2372388.
[Har68] Günter Harder. Halbeinfache Gruppenschemata über vollständigen Kur-
ven. Invent. Math., 6:107–149, 1968. doi:10.1007/BF01425451.
[Hei16] Jochen Heinloth. Hilbert-Mumford stability on algebraic stacks and appli-
cations to G-bundles on curves, 2016. arXiv:1609.06058.
[HL14] Daniel Halpern-Leistner. On the structure of instability in moduli theory,
2014. arXiv:1411.0627.
Group Compactifications and Moduli Spaces 205
[Hur11] Mathieu Huruguen. Toric varieties and spherical embeddings over an ar-
bitrary field. J. Algebra, 342:212–234, 2011. doi:10.1016/j.jalgebra.2011.
05.031.
[Kau00] Ivan Kausz. A modular compactification of the general linear group. Doc.
Math., 5:553–594 (electronic), 2000.
[Kau08] Ivan Kausz. A cyclic operad in the category of artin stacks and gravita-
tional correlators, 2008. arXiv:0802.3675.
[Kau10] Ivan Kausz. Stable maps into the classifying space of the general linear
group. In Teichmüller theory and moduli problem, volume 10 of Ramanu-
jan Math. Soc. Lect. Notes Ser., pages 437–449. Ramanujan Math. Soc.,
Mysore, 2010.
[Ler95] Eugene Lerman. Symplectic cuts. Math. Res. Lett., 2(3):247–258, 1995.
doi:10.4310/MRL.1995.v2.n3.a2.
[LV83] D. Luna and Th. Vust. Plongements d’espaces homogènes. Comment.
Math. Helv., 58(2):186–245, 1983. doi:10.1007/BF02564633.
[Mei98] Eckhard Meinrenken. Symplectic surgery and the Spinc -Dirac operator.
Adv. Math., 134(2):240–277, 1998. doi:10.1006/aima.1997.1701.
[MiRT09] I. Mundet i Riera and G. Tian. A compactification of the moduli
space of twisted holomorphic maps. Adv. Math., 222(4):1117–1196, 2009.
doi:10.1016/j.aim.2009.05.019.
[MT12a] Johan Martens and Michael Thaddeus. On non-Abelian symplectic cut-
ting. Transform. Groups, 17(4):1059–1084, 2012. doi:10.1007/s00031-012-
9202-9.
[MT12b] Johan Martens and Michael Thaddeus. Variations on a theme of
grothendieck. 2012. arXiv:1210.8161.
[MT16] Johan Martens and Michael Thaddeus. Compactifications of reductive
groups as moduli stacks of bundles. Compos. Math., 152(1):62–98, 2016.
doi:10.1112/S0010437X15007484.
[NS64] M. S. Narasimhan and C. S. Seshadri. Holomorphic vector bundles on
a compact Riemann surface. Math. Ann., 155:69–80, 1964. doi:10.1007/
BF01350891.
[NS99] D. S. Nagaraj and C. S. Seshadri. Degenerations of the moduli spaces
of vector bundles on curves. II. Generalized Gieseker moduli spaces.
Proc. Indian Acad. Sci. Math. Sci., 109(2):165–201, 1999. doi:10.1007/
BF02841533.
[Pan96] Rahul Pandharipande. A compactification over M g of the universal moduli
space of slope-semistable vector bundles. J. Amer. Math. Soc., 9(2):425–
471, 1996. doi:10.1090/S0894-0347-96-00173-7.
[Par09] Paul-Émile Paradan. Formal geometric quantization. Ann. Inst. Fourier
(Grenoble), 59(1):199–238, 2009. doi:10.5802/aif.2429.
206 Johan Martens
[Rit01] Alvaro Rittatore. Very flat reductive monoids. Publ. Mat. Urug., 9:93–121
(2002), 2001.
[Sch04] Alexander Schmitt. The Hilbert compactification of the universal moduli
space of semistable vector bundles over smooth curves. J. Differential
Geom., 66(2):169–209, 2004. URL: http://projecteuclid.org/euclid.jdg/
1102538609.
[Sem51] John G. Semple. The variety whose points represent complete collineations
of Sr on Sr . Univ. Roma. Ist. Naz. Alta Mat. Rend. Mat. e Appl. (5),
10:201–208, 1951.
[Sol12] Pablo Solis. A wonderful embedding of the loop group, 2012.
arXiv:1208.1590.
[Sol13] Pablo Solis. A complete degeneration of the moduli of G-bundles on a
curve, 2013. arXiv:1311.6847.
[Tim03] D. A. Timashëv. Equivariant compactifications of reductive groups. Mat.
Sb., 194(4):119–146, 2003. doi:10.1070/SM2003v194n04ABEH000731.
[Vin95] E. B. Vinberg. On reductive algebraic semigroups. In Lie groups and Lie
algebras: E. B. Dynkin’s Seminar, volume 169 of Amer. Math. Soc. Transl.
Ser. 2, pages 145–182. Amer. Math. Soc., Providence, RI, 1995.
[Wei01] Jonathan Weitsman. Non-abelian symplectic cuts and the geo-
metric quantization of noncompact manifolds. Lett. Math. Phys.,
56(1):31–40, 2001. EuroConférence Moshé Flato 2000, Part I (Dijon).
doi:10.1023/A:1010907708197.
[Woo96] Chris Woodward. The classification of transversal multiplicity-free group
actions. Ann. Global Anal. Geom., 14(1):3–42, 1996. doi:10.1007/
BF00128193.
[Woo98] Chris Woodward. Multiplicity-free Hamiltonian actions need not be
Kähler. Invent. Math., 131(2):311–319, 1998. doi:10.1007/s002220050206.
The Serre-Swan Theorem for
Ringed Spaces
Archana S. Morye∗
Abstract
In this article we prove that if every locally free sheaf of bounded rank over a
ringed space X is acyclic and generated by finitely many global sections, then
the category of locally free sheaves of bounded rank over X is equivalent to
the category of finitely generated projective modules over the ring of its global
sections. This result is a generalization of the classical results of Serre for affine
schemes, and of Swan for paracompact topological spaces.
Introduction
We generalize two classical results of Serre and Swan on the relation between lo-
cally free sheaves and projective modules by emphasizing the axiomatic aspect
of the problem in the article [Mor2013].
For any ringed space (X, OX ), let OX -mod denote the category of OX -
modules, and Lfb(X) the full subcategory of OX -mod consisting of locally free
OX -modules of bounded rank. Let A = Γ(X, OX ), and Fgp(A) the category
of finitely generated projective A-modules. We will say that the Serre-Swan
Theorem holds for a ringed space (X, OX ) if for every F in Lfb(X), Γ(X, F)
is in Fgp(A), and the canonical functor Γ(X, •) : Lfb(X) → Fgp(Γ(X, OX ))
is an equivalence of categories. Let the sheaf of OX -morphisms from F to G be
denoted by HomOX (F, G). A full abelian subcategory C of OX -mod is called
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_13
208 Archana S. Morye
1. Theory of Sheaves
We briefly recall definitions and properties of sheaves of finite type, sheaves
of finite presentation, coherent sheaves, and locally free sheaves. Results and
proofs in this section are mainly taken from [Gro60].
This defines a sheaf HomOX (F, G) called the sheaf of OX -morphisms from
F to G. There is a canonical structure of an OX -module on HomOX (F, G)
defined as follows. Let U be an open subset of X, and let u : F|U → G|U be
a morphism of OX |U -modules. Let f ∈ OX (U ). Define f u : F|U → G|U by
setting, for every open V ⊂ U ,
φx (α) = ux .
It follows from this definition that φx (α) is independent of the choices of U and
u.
Proposition 1.3. Let (X, OX ) be a ringed space. For every OX -module G, the
functor
HomOX (•, G) : OX -modop −→ Γ(X, OX )-mod
is left exact. In particular, the functor
is left exact.
210 Archana S. Morye
u v
Proof. We have to show that if F → F → F → 0 is an exact sequence of
OX -modules, then the sequence
HomOX (v,G) HomOX (u,G)
0 / HomO (F , G) / HomOX (F, G) / HomO (F , G)
X X
is exact. Let w ∈ HomOX (F , G) be such that HomOX (v, G)(w) = 0, that is,
for every x ∈ X, and θ ∈ Fx , wx ◦ vx (θ) = 0. Let θ ∈ Fx . Then, there exists
θ ∈ Fx such that vx (θ) = θ . Therefore, wx (θ ) = wx (vx (θ)) = 0. Hence,
wx = 0 for all x ∈ X, that is, w = 0. Hence, HomOX (v, G) is injective. Since
HomOX (•, G) is a functor,
Since g ∈ Ker(HomOX (u, G)), f x is well defined. Now it is easy to check the
condition in Remark 1.2, which gives a morphism f : F → G. For all x ∈ X,
and θ ∈ F x ,
hence, HomOX (v, G)(f ) = g. Thus, Ker(HomOX (u, G)) ⊂ Im(HomOX (v, G)).
This proves that, HomOX (•, G) is left exact. The second statement follows from
the first by putting an arbitrary open subset of X in the place of X.
(I)
Let I be an arbitrary index set. Consider the direct sum OX = ⊕i∈I OX ,
(I)
and for each i ∈ I, let hi : OX → OX denote the canonical injective morphism
(I)
from the ith factor OX to OX . Then, for every OX -module F, we have a
homomorphism of A-modules,
(I)
φF : HomOX (OX , F) −→ Γ(X, F)I = Γ(X, F),
i∈I
u −→ ((u ◦ hi )X (1))i∈I .
The map φF is an isomorphism, whose inverse
(I)
ψF : Γ(X, F)I −→ HomOX (OX , F)
!
is given by ψF (s)U (f ) = i∈I fi si |U for s = (si )i∈I ∈ Γ(X, F)I , U ⊂ X
(I) (I)
open, and f = (fi )i∈I ∈ OX (U ). (Since f ∈ OX (U ), the above sum is a finite
sum, hence welldefined.)
Thus, we get
HomOX (OX , •) ∼
(I)
= Γ(X, •)I . (1)
The Serre-Swan Theorem for Ringed Spaces 211
(I)
We say that the morphism of OX -modules u = ψF (s) : OX → F is defined by
the family of sections s = (si )i∈I of F on X.
Remark 1.4. If I is a finite set, then by (1),
I
HomOX (OX , G) ∼
= Γ(X, G)I .
HomOX (OX
I
, G)(U ) = HomOX |U (OX
I
|U , G|U ) ∼
= Γ(U, G)I = G(U )I .
2. The direct sum and the tensor product (over OX ) of a finite family of
sheaves of finite type are also of finite type.
n
(ti )x = θij (sj )x (i = 1, . . . , p).
j=1
212 Archana S. Morye
Supp(F) = {x ∈ X | Fx = 0}.
u y = uy : Fy → Hy = Im(uy )
Supp(H) = {y ∈ X | uy = 0}.
is injective.
Proof. Let α ∈ (HomOX (F, G))x , and suppose that φx (α) = 0. Let U and u be
as in Definition 1.1. Then ux = φx (α) = 0, so by Corollary 1.9, there exists an
open neighborhood V of x in U such that uy = 0 for all y ∈ V . We must show
that u|V : F|V → G|V is equals 0, which will imply that α = 0. Let W be an
open subset of V . Consider the homomorphism
u|V W = uW : F(W ) → G(W ).
is an isomorphism.
214 Archana S. Morye
Since
p
OX,x
ux
/ OX,x
/ Fx
q / 0 is an exact sequence of OX,x -
vx
modules, and since HomOX,x (•, Gx ) is a left exact functor, we get an exact
sequence
q p
0 → HomOX,x (Fx , Gx ) → HomOX,x (OX,x , Gx ) → HomOX,x (OX,x , Gx ).
Since the canonical homomorphism φx is functorial, we have a commutative
diagram
φx φx φx
0 / HomOX,x (Fx , Gx ) / HomOX,x (OX,x
q
, Gx ) / HomOX,x (OX,x
p
, Gx )
where, mX,x is the maximal ideal in OX,x , and k(x) the residue field of X at
x. We call F(x) the fibre of F at x, it is a k(x)-vector space. The rank of F at
x is defined by
rkx (F) = dimk(x) F(x).
If rkx (F) = n is independent of x, we say that F is of rank n. If rkx (F) is
finite for all x ∈ X, we say that F is of finite rank. If {rkx (F) | x ∈ X} < ∞,
then we call F is of bounded rank.
Remark 1.20. Let (X, OX ) be a locally ringed space, and let F be a locally
∼ O(I) .
free OX -module. For x ∈ X, then there exists a set I such that Fx = X,x
Hence, we get,
This implies that, dimk(x) F(x) equals the rank of the free OX,x -module Fx .
Hence the definition of the rank of F as defined in Remark 1.18 is the same as
that of the definition of the rank of F as an OX -module over a locally ringed
space (X, OX ).
Let Lfb(X) denotes the full subcategory of OX -mod consisting of locally
free OX -modules of bounded rank.
Proposition 1.21. Let (X, OX ) be a locally ringed space, and let F be an
OX -module of finite type. Then, the following are equivalent:
1. F is locally free.
2. F is of finite presentation, and for every point x ∈ X, Fx is a free OX,x -
module.
3. For every point x ∈ X, Fx is a free OX,x -module, and the function X →
N, x → rkx (F) is locally constant.
Proof. For any ringed space (1) implies (2) is clearly true. By Proposition 1.19,
(2) implies (1) for any ringed space.
The Serre-Swan Theorem for Ringed Spaces 217
By Remark 1.18 and Remark 1.20 (1) implies (3). Therefore, it remains to
prove (3) implies (1). Let z ∈ X, and let n = rkz (F). By hypothesis, there
exists an open neighborhood U of z, such that rkz (F) = n for all x ∈ U .
Let {θ1 , . . . , θn } be a basis of the free OX,z -module Fz . Replacing U by a
smaller set, we may assume there exist sections s1 , . . . , sn ∈ Γ(U, F) such that
(si )z = θi . Let u : OX n
|U → F|U be the morphism of OX |U -modules defined
by the si . Then, uz : OX,z n
→ Fz is an isomorphism. By Corollary 1.10, there
exists an open neighborhood V of z in U such that u|U : OX n
|U → F|U is a
surjective morphism. Therefore, for all x ∈ V , ux : OX,x n
→ Fx is a surjective.
Since Fx is free of rank n, there exists an isomorphism φx : Fx → OX,x n
.
The map φx ◦ ux : OX,x n
→ OX,x
n
is a surjective endomorphism of OX,xn
. By
[Eis95, Corollary 4.4, p. 120], φx ◦ ux is an isomorphism. Therefore, ux is an
isomorphism for all x ∈ V , hence u|U : OX n
|U → F|U is an isomorphism. This
shows that F is locally free.
defined by, Γ(X, •)(F) = Γ(X, F), and for φ ∈ HomOX (F, G),
λu : M ⊗A OX (U ) −→ F (U )
and
It is enough to check that, this two morphism agrees on the presheaf P(M ).
Let U be an open subset of X, and m ⊗ s ∈ P(M )(U ) = M ⊗ OX (U ). Then,
ψU ◦ λF ,M (u) ◦ S(g)(m ⊗ s) = ψU ◦ λu (g(m ) ⊗ s) = ψU s · u(g(m ))|U
= s · Γ(X, ψ)(u ◦ g(m )) |U
The Serre-Swan Theorem for Ringed Spaces 219
Therefore, wx is surjective.
220 Archana S. Morye
Remark 2.5. The functor Γ(X, •) is in general not fully faithful. Let X be a
compact Riemann surface, and let OX be a sheaf of holomorphic functions over
X. Then Γ(X, OX ) = C. Let L be a line bundle on X, with negative degree.
Then Γ(X, L) = 0, so is End(Γ(X, L)). On the other hand 1L : L → L and
0 : L → L are two distinct morphism of L, hence, EndOX (L) → EndC (Γ(X, L))
is not injective, and Γ(X, •) is not fully faithful. But under certain conditions
restriction of Γ(X, •) to a subcategory of OX -mod is fully faithful.
Proposition 2.6. [Mor2013, Proposition 2.2] Let (X, OX ) be a ringed space,
and let C be a full abelian subcategory of OX -mod, such that OX belongs to
C. Suppose that every sheaf in C is generated by global sections. Then Γ(X, •) :
C → Γ(X, OX )-mod is fully faithful.
2.2. Main Theorem. Let (X, OX ) be a ringed space, and A denote the
ring Γ(X, OX ). Let Fgp(A) denote the full subcategory of A-mod consisting
of finitely generated projective A-modules.
Recall that, we say that the Serre-Swan Theorem holds for a ringed space
(X, OX ) if Γ(X, F) is a finitely generated projective module for every sheaf F
in Lfb(X), and the functor
Ap → Aq → P → 0, for some p, q ∈ N.
This shows that S(P ) is of finite presentation. Since for every x ∈ X, OX,x is a
local ring, and P is a finitely generated projective module P ⊗A OX,x is a free
The Serre-Swan Theorem for Ringed Spaces 221
OX,x -module of finite rank. We denote the rank rkx (S(P )) of the sheaf S(P )
at every point x in X by nx . Therefore, P ⊗A OX,x is isomorphic to OX,x
nx
. Now
by Lemma 1.16 S(P ) is a locally free OX -module. Also the family of integers
(nx )x∈X is bounded above by q, so the sheaf S(P ) is of bounded rank.
Proposition 2.8. Let (X, OX ) be a locally ringed space, and let A denote the
ring Γ(X, OX ). The functor S : Fgp(A) → Lfb(X) is fully faithful.
Proof. By Lemma 2.7, if P is in Fgp(A) then S(P ) is a locally free OX -module
of bounded rank. Let P and Q be two finitely generated projective A-modules.
The map S : HomA (P, Q) → HomOX (S(P ), S(Q)), u → S(u) is obtained by
composing the two canonical isomorphisms
HomA (P, Q) → HomA (P, Γ(X, S(Q))) → HomOX (S(P ), S(Q))
(second isomorphism is given by the adjunction (3)).
Lemma 2.9. Let (X, OX ) be a locally ringed space. Let F and G be two locally
free OX -modules of bounded rank. If u : F → G is a surjective homomorphism,
ker(u) is a locally free OX -module of bounded rank.
u
Proof. We have the exact sequence 0 → ker(u) → F → G → 0. By choosing
local frames for F and G, we can see that the above exact sequence locally
splits. Hence, ker(u) is of finite type. By Corollary 1.10, the rank of the sheaf
ker(u) is locally constant, hence is locally free of bounded rank (Proposition
1.21).
Now we are ready for giving proof of the main theorem.
Theorem 2.10. Let (X, OX ) be a locally ringed space and A = Γ(X, OX )
its ring of global sections. Assume that each locally free OX -module of bounded
rank is acyclic, and generated by finitely many global sections. Then the functor
S defines an equivalence of categories from the category Fgp(A) to the category
Lfb(X). A quasi-inverse is the canonical functor Γ(X, •).
Proof. We already know by Proposition 2.8 and Remark 2.1 that, the functor
S is fully faithful, and that Γ(X, S(P )) is canonically isomorphic to P when
P is a finitely generated projective A-module. Hence, it suffices to show that
the functor S is essentially surjective, that is, each locally free OX -module F
of bounded rank is isomorphic to S(P ) for some P in Fgp(A).
Since F is finitely generated by global sections, there exists a surjective
morphism u : OX n
→ F for some n ∈ N. Hence, by Lemma 2.9, ker(u) is in
Lfb(X), so is acyclic. Thus, the map Γ(X, u) : An → Γ(X, F) is surjective.
For all x ∈ X, HomOX,x (Fx , OX,x
n
) → HomOX,x (Fx , Fx ) → 0 is surjective,
this follows from the fact that Fx is free. Since F is of finite presentation by
Proposition 1.13,
(HomOX (F, OX
n
))x → (HomOX (F, F))x → 0 (8)
222 Archana S. Morye
non-isomorphic vector bundles over X. But, Γ(X, 0) and Γ(X, L) are 0, that
is isomorphic Γ(X, OX ) = C-modules. Hence, the functor Γ(X, •) : Lfb(X) →
A-mod is not faithful.
Acknowledgment
The author would like to thank Prof. N. Raghavendra for suggesting the prob-
lem and for helping with it. The author is grateful to Prof. Joseph Oesterlé,
who helped through his remarks on the first draft of her thesis. This article is
the result of the remark which he made.
References
[Bou89] N. Bourbaki, Algebra I: Chapters 1-3, Elements of Mathematics, Trans-
lated from the French, Springer-Verlag, 1989.
[Eis95] D. Eisenbud, Commutative algebra with a view towards algebraic geometry,
Springer, New York, 1995.
[For67] O. Forster, Zur Theorie der Steinschen Algebren und Moduln, Math. Z.
97(1967), 376–405.
[For91] O. Forster, Lectures on Riemann Surfaces, Translated from the German by
Bruce Gilligan, Graduate Texts in Mathematics, no. 81, Springer-Verlag,
New York, 1991.
[GR79] H. Grauert and R. Remmert, Theory of Stein spaces, Translated from the
German by Alan Huckleberry, Springer, Berlin, 1979.
[Gro60] A. Grothendieck, Éléments de géométrie algébrique. I. Le langage des
schémas, Inst. Hautes Études Sci. Publ. Math. No. 4 (1960), 228 pp.
[Mor2011] A. Morye, On the Serre-Swan theorem, and on vector bundles over real
abelian varieties, Thesis, Homi Bhabha National Institute.
[Mor2013] A. Morye, Note on the Serre-Swan Theorem, Mathematische Nachrichten,
286(2013), Issue 2-3, 272–278.
[NN2004] R. Narasimhan and Y. Nievergelt, Complex analysis in one variable, Sec-
ond edition, Birkhäuser, 2004.
An Extension Theorem for Hermitian
Line Bundles
Georg Schumacher∗
Abstract
We prove a general extension theorem for holomorphic line bundles on reduced
complex spaces, equipped with singular hermitian metrics, whose curvature
currents can be extended as positive, closed currents. The result has applications
to various moduli theoretic situations.
1. Introduction
Our aim is to prove an extension theorem for holomorphic line bundles L that
are defined on the complement Y of an analytic subset A ⊂ Y in a reduced,
complex space of pure dimension n say. We do not have to assume that the given
space is projective. However, if we do, an essential step is to solve the extension
problem for complex analytic hypersurfaces H ⊂ Y . For this situation classical
results are known: By the Remmert-Stein theorem [R-St] the closure of H is
an analytic subset of Y , if the dimension of A is smaller than n − 1 everywhere,
and Shiffman’s theorem [Sh1] states that it is sufficient to require that the
2n − 3-dimensional Hausdorff measure of A is equal to zero. More general is
Bishops theorem [B], which only requires that for suitable neighborhoods U of
points of A the set H ∩ (U \A) has finite volume.
An analytic aspect of the extension problem for complex hypersurfaces H
is given by the induced current of integration [H ], which is a closed positive
current of degree (1, 1). Here we assume that Y is smooth. Now, if an extension
of the current of integration [H ] to Y as a positive closed current T is known
to exist, then Siu’s theorem [Siu2] implies that the locus, where the Lelong
numbers of T are positive, yields an extension of the hypersurface H to Y .
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_14
226 Georg Schumacher
Even though the hermitian metric h is being extended, in general the cur-
vature current of the extension is different from the given extension of the
curvature current of h .
The above extension theorem applies to moduli theoretic situations, where
certain determinant line bundles exist, whose curvature forms are natural Käh-
ler forms on the respective moduli spaces. Typical examples are moduli spaces
of canonically polarized manifolds (including Riemann surfaces of genus greater
than one) and moduli spaces of stable vector bundles on projective varieties.
The Kähler-Einstein and Hermite-Einstein metrics resp. on the fibers induce
distinguished Kähler metrics on the moduli spaces, namely the Weil-Petersson
metrics and L2 metrics resp. These distinguished Kähler forms are known to
be equal to the curvature forms of the Quillen metrics on certain determinant
line bundles up to a numerical constant (cf. [F-S, Sch], [B-S1, B-S2]). Also for
classical Hurwitz spaces this construction was carried out [A-B-S].
An Extension Theorem for Hermitian Line Bundles 227
We mention that line bundles on the product of two punctured disks are not
necessarily trivial, and Lemma 1 only provides local extensions of holomorphic
line bundles from Δ∗ × Δ∗ to Δ2 \{(0, 0)}. (Once a line bundle is extended to
Δ2 \{(0, 0)} as a trivial line bundle, it can obviously be extended to Δ2 .)
We will consider holomorphic line bundles L equipped with a √ possibly singu-
lar hermitian metric h on a normal complex space. We will call −1Θ(L, h) =
2πc1 (L, h) the (real) curvature current. Since the curvature current possesses
locally a ∂∂-potential that is (locally) integrable, pull-backs of the curvature
current under holomorphic maps are well-defined.
Our result will be proven under the further assumption that X is normal.
The general case will be treated in the last section.
Note that on normal complex spaces we use the notion of positivity for
(1, 1)-currents that possess local ∂∂-potentials.
The core of the Theorem is the following version for manifolds and smooth
hypersurfaces. We will identify holomorphic line bundles and invertible sheaves
and use the same letter for both.
!k
Proof of Corollary 1. Let D = j=1 Dj be the decomposition, where the Dj
#
are the smooth irreducible components of D. Let Y = Y \ j=1 Dj . We apply
Proposition 1 to Yk ⊂ Yk−1 and extend (L , h ) to Yk−1 . In the process the
current ω|Yk−1 is being replaced by (ω + γk [Dk ])|Yk−1 , 0 ≤ γk < 2, which
obviously extends to Y0 = Y . By induction over we arrive at = 0, which
comprises the claim.
Proof of Proposition 1. Let {Uj } be an open covering of Y such that the set
D ∩ Ui consists of the zeroes of a holomorphic function zi on Ui . Since all
holomorphic line bundles on the product of a polydisk and a punctured disk
are trivial by Lemma 1, we can chose the sets {Ui } such that the line bundle
L extends to such Uj as a holomorphic line bundle. So L possesses nowhere
vanishing sections over Uj = Uj \D. Hence L is given by a cocycle gij
∈
∗
OY (Uij ), where Uij = Ui ∩ Uj and Uij = Uij ∩ Y . If necessary, we will replace
{Ui } by a finer covering.
We fix the notation first. All quantities that carry an apostrophe exist on
the complement of the set A. Let ei be generating sections of L over Ui so
that for any section σ of L the equation σ |Ui = σi ei holds. With transition
functions gij over Uij we have
We write
βi = γi + 2ki
for 0 ≤ γi < 2 and some integer ki . We set
yielding 5 5γ i
5 zi 5
| =.
hj /.
hi = |zj |γi −γj 55 55 · eψi −ψj .
0 0
2
|.
gij (5)
zj
Since the function zi /zj is holomorphic and nowhere vanishing on Uij , and
since the function ψi0 − ψj0 is pluriharmonic on Uij , the function
5 5γi
5 zi 5
5 5 · eψi0 −ψj0
5 zj 5
Now −2 < γi − γj < 2, and g.ij is holomorphic on Uij . So (5) implies
that g.ij ∈ Lloc (Uij ). Hence g.ij can be extended holomorphically to Uij , which
2
γi = γj (6)
X
}
κ }
} μ
~}
W
τ /Y
Proof of the Claim. The pair (μ, τ ) defines a bimeromorphic map from X to
/ be a desingularization of its graph X ×Y W :
W . Let W
τ /X
/
W
μ μ
W
τ /Y
Now, since the fibers of τ. are connected, τ.∗ τ.∗ L = L, and also the curvature
current of τ.∗ h pushed forward to X equals the original curvature current of h.
Hence we may replace X by W / , the line bundle L by τ.∗ L, the map μ by μ ◦ τ.,
and we set κ = μ ..
We return to the original situation with the additional map κ.
Claim 2. There is an (injective) morphism of invertible OX -modules
→ L.
κ∗ L
Proof of Claim 2. The canonical morphism κ∗ τ ∗ μ∗ L = μ∗ μ∗ L → L factors
over κ∗ (τ ∗ μ∗ L/torsion) = κ∗ L.
·σ / τ ∗ μ∗ (L(D))/torsion ,
L
and apply κ∗ (observe that torsion elements are mapped to torsion elements):
·σ / (μ∗ μ∗ (L(D)))/torsion
L(−D) = κ∗ L (8)
·σ ν
·σ
L / L(D)
and L
we get an injection of in-
Proof of Claim 3. From the definitions of L
vertible sheaves
·σ /
λ∗ L
L
that is induced by the multiplication with σ.
We apply the construction of Claim 1 by letting V be a desingularization
of Z ×Y X, and get
V
α /X .
}}
κ }}
ρ } μ
~ }}}
λ / τ /Y
Z W
An Extension Theorem for Hermitian Line Bundles 235
= α∗ κ∗ (τ ∗ μ∗ L/torsion)
ρ∗ λ∗ L
·σ / ρ∗ (λ∗ τ ∗ μ (L(D))/torsion = ρ∗ L
,
∗
·σ ·σ
·σ
α∗ L / α∗ (L(D))
(9)
∗
which implies that we can identify the invertible sheaves α L and ρ L as ∗
subsheaves of α∗ (L(D)) on V .
We equip α∗ L with the pull-back of h. Like in the case D = 0 we see from
that α∗ h descends to L
(since h has semi-positive curvature and
α∗ L = ρ∗ L
is trivial on the fibers of ρ). Over Z\λ−1 τ −1 (A) the hermitian line
since ρ∗ L
bundle (L, h) can be identified with (L , h ).
We mention that by Proposition 3 and Theorem 1 we can trace the growth
of the singular hermitian metric: The given extension of the curvature current
of h is only being changed by adding non-negative multiples of currents of
integration located at the boundary with coefficients smaller than 2π, whereas
the pullback of the given singular metric h is just being extended.
4. Reduced Spaces
Although our extension theorem is based upon analytic methods that are in
principle restricted to normal complex spaces, the theorem holds for arbitrary
reduced complex spaces.
Definition 1. Let X be a reduced complex space and L a holomorphic line
bundle. Then a singular hermitian metric h on L is a singular hermitian metric
on the pull-back of L to the normalization of X, and its curvature is a current
on the normalization of X.
Theorem 2. Let Y be a reduced complex space, and A ⊂ Y a closed analytic
subset. Let L be an invertible sheaf on Y \A, which possesses a holomorphic
extension to the normalization of Y as an invertible sheaf. Then there exists
a reduced complex space Z together with a finite map Z → Y , which is an
isomorphism over Y \A such that L possesses an extension as an invertible
sheaf to Z.
Proof. Denote by ν : Y → Y the normalization of Y . The presheaf
OY [A]ν∗ OY
References
[A-B-S] Axelsson, Reynir; Biswas, Indranil; Schumacher, Georg: Kähler structure on
Hurwitz spaces. Manuscr. math. 147, 63–79 (2015).
[B] Bishop, Errett: Conditions for the analyticity of certain sets. Michigan
Math. J. 11, 289–304 (1964).
[B-S1] Biswas, Indranil; Schumacher, Georg: Coupled vortex equations and moduli:
Deformation theoretic approach and Kähler geometry. Math. Ann. 343,
825–851 (2009).
[B-S2] Biswas, Indranil; Schumacher, Georg: The Weil-Petersson current for moduli
of vector bundles and applications to orbifolds. Ann. Fac. Sci. Toulouse
Math. XXV, 895–917 (2016).
[EM] El Mir, Hassine: Sur le prolongement des courants positifs ferés. Acta Math.
153, 1–45 (1984).
[Fo] Forster, Otto: Zur Theorie der Steinschen Algebren und Moduln. Math. Z.
97, 376–405 (1967).
[F-S] Fujiki, Akira; Schumacher, Georg: The moduli space of extremal compact
Kähler manifolds and generalized Weil-Petersson metrics. Publ. Res. Inst.
Math. Sci. 26, 101–183 (1990).
[G] Griffiths, Phillip: Two theorems on extensions of holomorphic mappings.
Invent. Math. 14, 27–62 (1971).
[H] Houzel, Christian: Géometrie analytique locale, II. Théorie des morphismes
finis. Séminaire Cartan, 13e année, 1969/61, 19.
[M-F-K] Mumford, David; Fogarty, John; Kirwan, Frances: Geometric invariant the-
ory. 3rd enl. ed. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge.
34. Berlin: Springer-Verlag, (1993).
[R-St] Remmert, Reinhold; Stein, Karl: Über die wesentlichen Singularitäten ana-
lytischer Mengen. Math. Ann. 126, 263–306 (1953).
[Sch] Schumacher, Georg: Positivity of relative canonical bundles and applica-
tions. Invent. math. 190, 1–56 (2012) and Erratum to: Positivity of relative
canonical bundles and applications. Invent. math. 192, 253–255 (2013).
An Extension Theorem for Hermitian Line Bundles 237
Tathagata Sengupta∗,†
Abstract
We describe elliptic models with section on the Shioda supersingular K3 surface
X of Artin invariant 1 over an algebraically closed field of characteristic 3. We
compute elliptic parameters and Weierstrass equations for the fifty two different
fibrations, and analyze some of the reducible fibers and Mordell-Weil lattices.
1. Introduction
1.1. Definitions and Examples.
Definition 1. K3 surfaces are smooth algebraic surfaces X for which the
canonical divisor KX ∼
= OX and H 1 (X, OX ) = 0.
Definition 2. Supersingular surfaces (in the sense of Shioda) are those for
which all cycles in the 2−dimensional étale cohomology groups are algebraic.
The Néron-Severi group, the group of divisors modulo algebraic equiva-
lence, denoted by N S(X), is a lattice of rank, say ρ. The number ρ is called
the rank of the K3. In characteristic 0, we have the inequality ρ ≤ b2 − 2,
where b2 is the second Betti number. In characteristic p however, we can only
say ρ ≤ b2 . In the case of K3 surfaces, b2 = 22. Thus, ρ ≤ 22. According
to the definition, (Shioda) supersingular K3 surfaces are the ones for which
ρ = 22. The existence of such surfaces is a phenomenon particular to positive
E-mail: [email protected]
† The author thanks his thesis advisor Prof. Abhinav Kumar for his precious guidance.
© Springer Nature Singapore Pte Ltd. 2017 and Hindustan Book Agency 2017
A. Aryasomayajula et al. (eds.), Analytic and Algebraic
Geometry, DOI 10.1007/978-981-10-5648-2_15
240 Tathagata Sengupta
We can use the zero section to describe the Weierstrass form. The generic
fiber E can then be regarded as an elliptic curve over the function field k(C).
The general Weirstrass form looks like
The sections form an abelian group E(k(C)). The zero section will be de-
noted by O throughout this paper. The sections are in a natural one-to-one
correspondence with the k(C)-rational points on E.
The Kodaira-Néron model gives a way to associate an elliptic surface X → C
over the ground field k, given the generic fiber E over k(C). The first step is
to remove all the points from C at which the Weierstrass form is singular,
and then filling in suitable singular fibers. This process is formally described
by Tate’s algorithm which we use extensively. It is a well-known fact that the
Kodaira-Néron model is unique, given the Weierstrass form.
1.2.1. Singular fibers. The singular fibers can be read off from the Weier-
strass form using Tate’s algorithm. All the irreducible components of a singular
fiber are rational curves. If a singular fiber is irreducible, then it is a rational
curve with a node or a cusp. In Kodaira’s classification of singular fibers, these
are denoted by I1 and II respectively. If a singular fiber is reducible, then every
component is a rational curve with self-intersection −2 on the surface.
1.2.2. Elliptic K3 surfaces. In this case, the base curve is P1 . The degrees
of the coefficients ai are restricted by the condition deg(ai (t)) ≤ 2i, and some
deg(ai (t)) > i, or else it gives a rational elliptic surface. At t = ∞, we change
variables by s = 1t , and the coefficients become ai (s) = s2i ai ( 1s ). Thus we can
homogenise the coefficients to polynomials of degree 2i in two variables, s and
t. The discriminant becomes then a homogeneous polynomial of degree 24 (in
s and t). Thus, the Weierstrass form of a elliptic K3 surface over P1 can be
seen as a hypersurface in the weighted projective space P[1, 1, 4, 6].
linear equivalence coincide, which implies that the Picard group of a K3 surface
is naturally isomorphic to the Néron-Severi group.
For a K3 surface, this is an abelian group and the pairing is even, that
is, C · C ∈ 2Z for all C ∈ N S(X). By the Hodge index theorem, the pairing
is non-degenerate of signature (1, ρ − 1), where ρ is the rank of N S(X) (also
known as the rank of the K3). In our case, ρ = 22, in other words, X is a
supersingular K3 surface. By Artin [Ar], the discriminant of the Neron-Severi
lattice is −p2σ , where p is the characteristic of the base field k, and σ is an
invariant for the surface, known as the Artin invariant. It is also known that
1 ≤ σ ≤ 10. In this paper, we will largely deal with the supersingular K3
surface over characteristic 3, with Artin invariant 1. Note the definite article
here, since there can be only one, upto isomorphism, as shown in [Og].
If X → C is an elliptic fibration with a zero section, N S(X) contains two
special classes, the fiber F (preimage of any point of P1 under f ), and the
image of the zero section O. The intersection pairing they satisfy is F · F = 0,
O · O = −2 and F · O = 1. Hence the sublattice U generated by F and O is
isomorphic to the hyperbolic plane (U). Conversely, any copy of U in N S(X)
describes X as an elliptic surface. One of the generators or its negative is
effective, and has two independent sections, whose ratio gives the map to P1 .
Thus,
! if mν is the number of components of the fiber Fν , then the rank(T ) =
2 + ν∈P (mν − 1), where P is the set of points of P1 (k) where the fibers are
reducible. The Shioda-Tate formula gives the following relation between the
Mordell-Weil group and the Neron-Severi lattice:
E(k(C)) ∼
= N S(X)/T
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant1 243
Let R ⊂ N Sess be the root lattice of N Sess , that is the sublattice spanned
by the vectors of norm 2 (known as roots). Then N Sess /R can be canonically
identified with the Mordell-Weil group E(k(C)). R itself is a direct sum of root
lattices An (n ≥ 1), Dn n ≥ 4, E6 , E7 or E8 , with each factor indicating a
reducible fiber of the corresponding type.
1.2.4. Dynkin diagrams. The Dynkin diagrams corresponding to the root
systems are given in Figure 1.1. Here the nodes indicate roots (rational curves
with self-intersection −2), and two nodes are connected by an edge if and only
if the corresponding rational curves intersect, in which case the intersection
number is 1.
• A1
• • A2
• • An
•
• • • D4
•
• • • • D5
•
• • • Dn
•
• • • • • E6
•
• • • • • • E7
•
• • • • • • • E8
Figure 1.1. Dynkin diagrams
The determinants of the negative-definite lattices defined by the respective
Dynkin diagrams are:
det(An ) = (−1)n (n + 1), det(Dn ) = (−1)n 4 (n ≥ 4)
det(E6 ) = 3, det(E7 ) = −2, det(E8 ) = 1
1.2.5. Height Pairing. The height pairing formula between two sections P
and Q is given by
P, Q = χ(X) + P · O + Q · O − P · Q − contrν (P, Q)
ν
244 Tathagata Sengupta
Then if P meets Θν,i , and Q meets Θν,j , then the local contribution term is
given by
contrν (P, Q) = 0 if ij = 0, or = −(A−1
ν )i,j if ij
= 0
The contribution terms are given in the following table. The conventions
followed are the following:
where the discriminant of the Mordell-Weil Lattice (the free part generated by
non-torsion sections) is calculated using the height pairing between the sections.
(E(k(C)))tor is the group of torsion sections.
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant1 245
Definition 10. A root lattice is one that is generated by its set of roots.
The only Niemeier lattice that does not have any roots is the famous Leech
lattice. All the other Niemeiers have finite index root sublattices. The entire
list of root sublattices of the Niemeier lattices is as follows
A24 12 8 6 4 6 4 2 2
1 , A 2 , A 3 , A 4 , A 5 D 4 , D 4 , A 6 , A 7 D5 ,
Proof. From the general theory of Weyl group actions on root lattices, we know
that the action is simply transitive. Thus, if D and D are two irreducible
Dynkin diagrams giving a basis for the corresponding root lattice (as described
in one of the earlier sections), then there is an element σ ∈ W (R) such that
σ(D) = D . Based on this, we want to prove that given any copy of A2 within
a root lattice, it can be extended to the complete Dynkin diagram, such that
the copy of A2 forms
1. the first 2 roots of the An diagram, in case of an An root lattice,
2. the first 2 roots of the long tail of the Dn (n > 4) diagram, in case of the
Dn root lattice, (note that any embedding of A2 is equivalent in a D4 )
3. the 2 roots of the short tail of the E6 diagram, in case of the E6 lattice,
4. the 2 roots of the tail of length 2 (the other 2 tails being of length 1 and
3, all attached to the one single node of valency 3), in case of the E7
lattice, and
5. the first 2 roots of the longest tail of the E8 diagram, in case of the E8
lattice.
In the case of An , let us denote the nodes by [a1 , a2 , a3 , a4 , · · · an ]. If our A2
maps to {a2 , a3 }, we can extend the chain of nodes given by [a2 , a3 , a4 , · · · an ]
by the root −(a1 +a2 +a3 +· · · an ). This clearly gives us a new An diagram, with
{a2 , a3 } as the first 2 roots. If A2 maps to {a3 , a4 }, we can extend the chain of
nodes given by [a3 , a4 , a5 , · · · an ] by the roots {−(a2 + a3 + · · · an ), −a1 }. This
gives us a new An diagram, with {a3 , a4 } as the first 2 roots. If A2 maps to
{a4 , a5 }, we can extend the chain of nodes given by [a4 , a5 , · · · an ] by the roots
{−(a3 + · · · an ), −a2 , −a1 }. This gives us a new An diagram, with {a3 , a4 } as
the first 2 roots. We can do this with any embedding of A2 into An .
In the case of Dn , given by [a1 , a2 , a3 , · · · , an−1 , an ], where an is connected
to an−2 and no other root. If A2 maps to {a2 , a3 }, we can extend the straight
chain given by [a2 , a3 , · · · , an ] to a Dn , using −(a1 + a2 + · · · + an−2 + an ) and
−(a1 + a2 + · · · + an−2 + an−1 ). The other cases are very similar to this.
In the case of E6 , let us denote the diagram by [a1 , a2 , a3 , a4 , a5 , a6 ], where
[a1 , a2 , a3 , a4 , a5 ] gives an A5 , and a6 is connected to a3 . If our A2 maps to
{a1 , a2 }, we can extend the chain [a1 , a2 , a3 , a6 ] by the roots −(a1 + 2a2 + 2a3 +
a4 + a6 ) and −a5 , which gives an E6 with the A2 now mapping to the shortest
tail of an E6 diagram.
We can do similar extensions to other embeddings of A2 , and also similarly
in the case of the other En ’s.
Theorem 1. There are 52 possible elliptic fibrations on the supersingular K3
surface of Artin invariant 1 over an algebraically closed field of characteristic 3
Remark 1. Although we assume the ground field to be algebraically closed, in
our calculations we have to go only upto F9 .
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant1 247
The following table gives the orthogonal complement of A22 in each of the
different Niemeier lattices. This calculation is due to Noam Elkies and Matthias
Schuett.
Root System D A⊥
2 ⊂D (A22 )⊥ ⊂ D
A2 0 0
A3 0 0
An for n > 3 An−3 An−6 for n > 6 (0 for A5 , A6 )
D4 0 0
D5 A21 0
D6 A3 0
Dn for n > 6 Dn−3 Dn−6 for n > 9 (0 for D7 , A21 for D8 , A3 for D9 )
E6 A22 A2
E7 A5 A2
E8 E6 A22
248 Tathagata Sengupta
Thus the lattices that can contain A22 are An (n > 4), Dn (n > 5), and all of the
En ’s.
Let N be a Niemeier lattice, and N the orthogonal complement of A22 in
N . Following is the list of Roots(N ) and Roots(N ). Borrowing notation from
Noam Elkies, m : stands for the lattice obtained by extracting A22 from the
m-th factor of Roots(N ), and mn : for the lattice obtained by extracting A2 ’s
from the m-th and n-th factor.
3. Fibration 1 : A11 , A2 , D7
Weierstrass equation: y 2 = x3 + 2(t3 + 1)x2 + t6 x
This fibration corresponds to the fiber type of A11 A2 D7 . In the diagram
below, we have the A11 fiber at t = 0, the A2 fiber at t = 1, and the D7 fiber
at t = ∞, given by the nodes ai ’s, bj ’s and ck ’s respectively. The zero section is
given by the node O, and the torsion section by T . These nodes represent the
roots of N S(X), which correspond smooth rational curves of self-intersection
−2.
jjjj T ==
j jjjj ==
a6 E == c6 D c7
www E == D zz
a7 a5 == c5
==
==
a8 a4 b1 @ b2 == c4
@ ==
==
a9 a3 b0 ==c3
==
a10 a2 c2==D=
zz D=
a11 G a1 c0 c1
GG yy rrrr
a0 TTT rr
TTTT rrrrr
TT r
O
The trivial lattice (that is, the sub-lattice of N S(X) spanned by the classes
of the zero section and the irreducible components of the fibers) has rank
2 + 11 + 2 + 7 = 22. Thus the M W -rank is 0. We have a 4-torsion section,
given by (t3 , 0). The discriminant of the trivial lattice is 12 · 3 · 4 = 144. Thus,
the trivial lattice together with the 4-torsion section has signature (1, 21) and
absolute discriminant 32 , and is thus equal to the full N S(X). Below are the
positions of the reducible fibers, and some of the sections.
4. Fibration 2 : D4 , D4 , D4 , D4
Weierstrass equation: y 2 = x3 − t2 (t − 1)2 (t + 1)2 x
This is the Kummer surface associated to the product of the supersingular
elliptic curve y 2 = x3 − x with itself, over characteristic 3. This fibration cor-
responds to the fiber type of D44 , with M W -rank 4, and full 2-torsion sections.
In the diagram below, we see the D4 fibers at t = 0,1,−1 and ∞,given by the
nodes Rij , (1 ≤ i ≤ 4, 0 ≤ j ≤ 4), the zero section O, and one of the non-torsion
sections U . The nodes represent the roots in the Néron-Severi lattice, which
correspond to smooth rational curves of self-intersection −2.
gg U ZSSZSZSZZZZZZZ
ggggggggg SSS Z
SSS ZZZZZZZZZZZZ
gggg ggg SS ZZZZZZZ
gg
R11 I R13 R21 I R23 R31 I R33 R41 I R43
I vv I vv I vv I vv
R10 I R20 I R30 I R40 I
vv I vv I vv I vv I
R12 R14 WWWWR R R R
k 34 R d
42 dddd R44
kkk dddddddddddd
WW22WWW 249 32
WWWWW 99 k k
WWWWW 9 kk dddd
W dkkdkdkdddddd
O
The trivial lattice (that is, the sub-lattice of N S(X) spanned by the classes
of the zero section and the irreducible components of the fibers) has rank
2 + 4 · 4 = 18, and discriminant −16. The heights of the 4 non-torsion sections
are 2,1,1 and 2. We see that the sublattice generated by the trivial lattice, the
torsion sections and the non-torsion sections has signature (1, 21) and absolute
discriminant 32 . Consequently it must be all of N S(X), which we know to be
of the same rank and discriminant.
5. Fibration 3 : A6 , A6 , A6
Weierstrass equation: y 2 = x3 + (t4 − t + 1)x2 + t2 (t − 1)(1 + t − t2 )x + t4 (t − 1)2
The original model over Q was given by Tate as an example of a singular
K3 surface over Q, that is one with rank 20. The reduction of Tate’s equation
in characteristic 3 gives the above equation, and has fiber configuration
A6 , A6 , A6
Since it also has a non-torsion section, (0, t2 (t−1)), thus the rank of the surface
over characteristic 3 is at least 21. It is known that any such surface is actually
of rank 22, and is hence supersingular.
Fiber configuration
A6 , A6 , A6
6. Fibration 4 : A1 , A7 , D5 , D5
To obtain the Weierstrass equation for this fibration, we use a 2-neighbor step
from Fibration 1. We compute the explicitly the space of sections of the line
bundle O(F ), where F = 2O + 2a0 + a1 + a11 + b0 + c0 is the class of the D5
fiber we are considering. The space of the sections is 2 dimensional and the
ratio of two linearly independent global sections will be an elliptic parameter
for X, for which the class of the fiber will be F . Any global section has a pole
of order at most 2 along O, the zero section of Fibration 1. Also it has at most
a double pole along a0 , which is the identity component of the t = 0 fiber of
Fibration 1, a simple pole along each of a1 and a11 and along b0 and c0 , the
identity components of the fibers at t = 1 and t = ∞ respectively. We deduce
that a global section must have the form
a0 + a1 t + a2 t2 + a3 t3 + a4 t4 + bx
w=
t2 (t − 1)
have a pole of order at most 1 at the near leaf of the A11 fiber. Similarly, the
second blow-up maps x → t2 x, which means a1 = 0. At t = ∞, we change
coordinates,and define u = 1t , such that u = 0. Thus, the original equation
becomes
y 2 = x3 + 2(u + u4 )x2 + u2 x
and the section becomes
a2 u2 + a4 + xu3
w=
u(1 − u)
x + a 2 t2 x + a2 (u + 1)2
w= =
t2 (t − 1) (u + 1)2 u
x−t2
The first blow-up maps x → 1 + ux, giving a2 = −1. Thus w = t2 (t−1) , which
means
x = wt2 (t − 1) + t2
We now replace x by the above in the right side of the original equation, and
simplify by absorbing square factors from the right into the y 2 term on the left.
We get a quartic in t, with coefficients in F3 (w), which can be converted into
the following Weierstrass form, using the recipe described in the Appendix.
7. Fibration 5: E7 , A2 , D10
We use a 2-neighbor step from Fibration 1, and explicitly compute the 2-
dimensional space of sections of O(F ), where F = a1 + a2 + 2a0 + 2O + 2c0 +
2c2 + 2c3 + 2c4 + 2c5 + c6 + c7 is the new D10 fiber considered. The new section
is
a 0 + a 1 t + a 3 t3 + a 4 t4 + x
w=
t2
By blowing up at t = 0, we get a0 = a1 = 0. Similarly, subsequent blow-ups at
t = ∞ give a3 = a4 = 0. Thus,
x
w= 2
t
Substituting x = wt2 in the original equation, dividing by suitable factors and
converting the resulting quartic into the Weierstrass form, we get
y 2 = x3 − t3 x2 + t3 x
8. Fibration 6: D6 , D6 , D6
We use a 2-neighbor construction from Fibration 5 and explicitly compute the
2-dimensional space of sections of O(F ). Here F = a1 + a3 + 2a0 + 2O + b0 + c0 ,
where a0 is the identity component of the D10 fiber, and a1 the near leaf, b0
is the identity component of the A2 fiber, and c0 that of the E7 fiber. We
reparametrized the original equation to get the D10 fiber at t = 0, the A2 at
t = 1 and the E7 at t = ∞. The original equation now becomes
y 2 = x3 − tx2 + t5 x
254 Tathagata Sengupta
x + t2
w=
t2 (t − 1)
which means
x = wt2 (t − 1) − t2
Replacing x by the above, and simplifying, we get the required Weierstrass
equation
y 2 = x3 + t(1 − t2 )x2 − t2 (t3 − 1)x
The M W -rank of this surface is 2, and it has full 2-torsion, as given by the
equations below.
9. Fibration 7 : D8 , A1 , A1 , D8
We use a 2-neighbor step from Fibration 6. We explicitly compute the 2-
dimensional space of sections of the line bundle O(F ), where F = a1 + a3 +
2a2 + 2a0 + 2O + 2b0 + 2b2 + b1 + b3 is the new fiber we consider. Here, a0 and
b0 are the identity components of the D6 fibers at t = 0 and t = 1 respectively.
Whereas a1 and b1 are the near components, and a2 , a3 , b2 , b3 are the double
components.
The original equation is given by
2 3
and the new section by a0 +a1 t+a 2 t +a3 t +x
t2 (t+1)2 . Blow-ups at t = 0 force a0 = a1 = 0.
Blow-ups at t = 1 give a2 = a3 = −1. Thus,
x − t2 − t3
w=
t2 (t + 1)2
. Substituting
x = wt2 (t + 1)2 + t2 + t3
in the original equation, and simplifying as usual, we get
y 2 = x3 + (t3 + t)x2 + t4 x
The M W -rank of this surface is 2, and it has full 2-torsion, given by the
following equations.
10. Fibration 8 : E6 , D7 , A5
We use a 2-neighbor construction from Fibration 4. We compute the space of
sections of the line bundle O(F ), where F = 2O + 3a0 + 2a1 + 2a7 + a2 + a6
is the new E6 fiber we are considering. Here a0 is the identity component of
the A7 fiber at t = 0, a1 and a7 are the near leaves, and a2 and a6 are the
components intersecting the near leaves. The original equation is
11. Fibration 9 : A3 , A9 , D6
We use a 2-neighbor construction on Fibration 1. The original equation is
y 2 = x3 − (t3 + 1)x2 + t6 x
The new D6 fiber is given by F = 2O + a0 + b0 + 2c0 + 2c1 + c2 + c3 , where the
ai ’s are the nodes from the A11 fiber, the bj ’s from the A2 fiber, and ck ’s are
3 4
from D7 . The new section is given by a0 +a1 t+a 3 t +a4 t +x
t(t−1)
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant1 257
x + t3
w=
t(t − 1)
whence
x = wt(t − 1) − t3 − t
Substituting the above in the original equation, and simplifying as usual, we
get the following new equation
y 2 = x3 + (t3 − t − 1)x2 + t5 x
12. Fibration 10 : E7 , D4 , E7
We use a 2-neighbor construction on Fibration 9. The original equation is
At t = 0, the singularity is at (0, 0). Hence the blow-up maps x → tx, which
gives a0 = 0. For the second blow-up we need to translate x to x + t. Thus, the
blow up sends x → t2 x + t, giving a1 = −1. The third blow-up does not require
a translation, and maps x → t3 x + t, which means a2 = 0. Similarly, we find
a4 = 0. Thus,
x−t
w= 4
t
that is,
x = wt4 + t
Substituting the above in the original equation, simplifying as usual, and trans-
forming the resulting quartic into the Weierstrass form, we get the new equation
y 2 = x3 + t3 (t + 1)2 x
Note that the second non-torsion section is the sum of the first non-torsion and
the torsion section.
y 2 = x3 + (t3 + t)x2 + t4 x
The singularity at t = 0 is at (0, 0). The first blow-up sends x → tx and y → ty,
giving a pole of order 1. Continuing this for both t = 0 and t = ∞, we get the
new equation
y 2 = x3 + (t4 + 1)x2 + (t4 − 1)x + t4 − 1
y 2 = x3 + (t4 + 1)x2 + t4 (1 − t4 )x + t8 (1 − t4 )
y 2 = x 3 + x 2 + t4 x + t8
(−t2 , t2 − t4 )
(t4 , t6 )
y 2 = x3 + (t4 + 1)x2 + t4 (1 − t4 )x + t8 (1 − t4 )
x + t4
w=
t2
Replacing
x = wt2 − t4
a0 + a2 t2 y + t3 (t + 1)
w= +
t xt
As usual, blow-ups at t = 0 and t = ∞ gives both a0 = a2 = 0. Thus,
y + t3 (t + 1)
w=
tx
that is,
y = wtx − t3 (t + 1)
Substituting the above in the original equation, cancelling common factors,
converting to the Weierstrass form and simplifying, we get
18. Fibration 16 : A5 , A5 , A5 , D4
We use the 2-neighbor construction on Fibration 4. The original equation is
t − t2 + x
w=
t(t2 − 1)
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant1 263
Substituting
x = wt(t2 − 1) + t2 − t
in the original equation, we get, after simplifying,
19. Fibration 17 : A8 , A2 , A8
We use the 2-neighbor construction on Fibration 16. The original equation is
−t2 + x
w=
t
that is,
x = wt + t2
Substituting the above in the original equation, dividing by suitable powers of
t, and converting the resulting quartic into its Weierstrass form, we get
y 2 = x3 − tx2 + t9
21. Fibration 19 : A9 , A9
We use the 2-neighbor construction on Fibration 5. The original equation is
y 2 = x3 − t3 x2 + t3 x
y 2 = x3 − t3 x2 + t3 x
2
y
The new section is w = a0 +a
t
2t
+ xt . Following the usual procedure of blowing
up at t = 0 and t = ∞, we get both a0 = a1 = 0. Thus,
y
w=
xt
which means
y = wtx
Substituting the above in the original equation, completing squares, and divid-
ing by suitable powers of polynomials of t, and renaming variables, we get
y 2 = x 3 + t 4 x2 + t 2 x + 1
Position Kodaira-Néron type
t=0 A2
t=∞ A17
This fibration has M W -rank of 1. There is a 3-torsion section described
below.
section type equation
3-torsion (0, 1)
non-torsion (t, t3 + 1)
23. Fibration 21 : A7 , A7 , A1 , A1 , A1 , A1
We use the 2-neighbor construction on the Fibration 2. The original equation
is
y 2 = x3 − t2 (t − 1)2 (t + 1)2
The original fibers are D4 at t = 0 (roots: a0 , a1 , · · · ), D4 at t = 1 (roots:
b0 , b1 , b2 ), D4 at t = −1 (roots: c0 , c1 , · · · ), and D4 at t = ∞ (roots: d0 , d1 , · · · ).
The new A7 fiber is given by O + P + a0 + a1 + a2 + d0 + d1 + d2 , where
2
y
P = (0, 0) is the 2-torsion section. The new section is w = a0 +a t
2t
+ xt . Thus,
y = (wt − a0 − a2 t2 )x. Following the usual procedure of blowing up at t = 0
and t = ∞, we get both a0 = a1 = 0. Thus,
y
w=
xt
which means
y = wtx
Substituting the above in the original equation, dividing by suitable powers of
polynomials of t, renaming variables, and converting into Weierstrass form, we
get
y 2 = x3 + (t4 + 1)x2 − x − (t4 + 1)
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant1 267
y 2 = x3 + (t4 + 1)x2 + t4 x
y 2 = x 3 + x 2 − t6 x
268 Tathagata Sengupta
25. Fibration 23 : D6 , A3 , A3 , D6
We use the 2-neighbor construction on Fibration 21. The original equation is
y 2 = x3 + (t4 + 1)x2 + t4 x
26. Fibration 24 : D8 , D5 , D5
We use the 2-neighbor construction on Fibration 21. The original equation is
y 2 = x3 + (t4 + 1)x2 + t4 x
t2 + x
w=
t2 (t2 − 1)
Substituting
x = wt2 (t2 − 1) − t2
in the original equation, dividing by suitable powers of polynomials of t, re-
naming variables, and converting into Weierstrass form, we get
y 2 = x3 + (t − t3 )x2 − t4 (t + 1)x + t8
27. Fibration 25 : A4 , D5 , A1 , A1 , A7
We use the 2-neighbor construction on Fibration 21. The original equation is
y 2 = x3 + (t4 + 1)x2 + t4 x
Substituting
y = (wt(t − 1) − 1 + t)x
in the original equation, dividing by suitable powers of polynomials of t, re-
naming variables, and converting into Weierstrass form, we get
which simplifies to
28. Fibration 26 : A5 , E7 , D7
We use the 2-neighbor construction on Fibration 23. The original equation is
y 2 = x3 − t3 x2 − t3 x + t6
29. Fibration 27 : A5 , A5 , D7
We use the 2-neighbor construction on Fibration 26. The original equation is
Substituting
x = wt2
in the original equation, dividing by suitable powers of polynomials of t, re-
naming variables, we get
y 2 = x3 + (t3 + 1)x2 − (t3 − 1)x
Position Kodaira-Néron type
t=0 A5
t=1 A5
t=∞ D7
This has a M W -rank of 3. It also has full 2 torsion.
section type equation
2-torsion (0, 0)
(1, 0)
(1 − t3 , 0)
32. Fibration 30 : A3 , A9 , A6
We use the 2-neighbor construction on Fibration 22. The original equation is
y 2 = x3 + x2 − (t6 + t2 )x − t4 (t4 − t2 − 1)
274 Tathagata Sengupta
1 y + t2 (t2 − 1)
w= +
t−1 x(t − 1)
Substituting
y = (w(t − 1) − 1)x − t2 (t2 − 1)
in the original equation, dividing by suitable powers of polynomials in t, re-
naming variables, and converting into Weierstrass form, we get
y + t2
w=
tx
Substituting
y = wtx − t2
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant1 275
34. Fibration 32 : A5 , A2 , A5 , A5
We use the 2-neighbor construction on Fibration 25. The original equation is
y 2 = x3 + (t4 − t3 + t)x2 + t4 (t − 1)(t2 − t − 1)x + t4 (t − 1)2 (t2 − t − 1)2
The original fibers are D5 at t = 0 (roots: a0 , a1 , · · · ), A4 at t = 1 (roots:
b0 , b1 , · · · ), A7 at t = ∞ (roots: c0 , c1 , · · · ), A1 at t = i − 1 (roots: d0 , d1 ), and
A1 at t = −i − 1 (roots: e0 , e1 ). The new A5 fiber is given by F = O + P + b0 +
b1 + c0 + c1 , where P = (0, t2 (t − 1)(t2 − t − 1)) is a non-zero section. The new
2 2
+a2 t2 −t−1)
section is w = a0 t−1 + y+t (t−1)(t
x(t−1) .
Successive blowing-ups at t = 1 and t = ∞ give
a0 = 0 and a2 = −1
. Thus,
−t2 y + t2 (t − 1)(t2 − t − 1)
w= +
t−1 x(t − 1)
Substituting the above in the original equation, dividing by suitable powers of
polynomials in t, renaming variables, and converting into Weierstrass form, we
get
y 2 = x3 + (t4 − t3 − t + 1)x2 + (t8 + t7 + t6 )x + t9 + t6
Position Kodaira-Néron type
t=0 A5
t=1 A5
t = −1 A5
t=∞ A2
This fibration has M W -rank 3.
section type equation
non-torsion (−t − 1, it)
(t2 , (t − 1)t2 (t + 1)2 )
276 Tathagata Sengupta
35. Fibration 33 : A8 , D4 , E6
We use the 2-neighbor construction on Fibration 29. The original equation is
y 2 = x3 + (t + 1)x2 − (t5 + t4 )x + t8
36. Fibration 34 : A8 , A2 , A2 , D7
We use the 2-neighbor construction on Fibration 31. The original equation is
Substituting
x = wt2
in the original equation, dividing by suitable powers of polynomials in t, re-
naming variables, and converting into Weierstrass form, we get
y 2 = x3 + (t3 + 1)x2 + t3 x + t6
37. Fibration 35 : D9 , D9
We use the 2-neighbor construction on Fibration 31. The original equation is
y 2 = x3 − tx2 + t12
40. Fibration 38 : E6 , E6 , E8
We use the 2-neighbor construction on Fibration 24. The original equation is
y 2 = x3 + (−t3 + t)x2 − t4 (t + 1)x + t8
The original fibers are D8 at t = 0 (roots: a0 , a1 , · · · ), D5 at t = −1 (roots:
b0 , b1 , · · · ), and D5 at t = ∞ (roots: c0 , c1 , · · · ). The new E8 fiber is given by
F = 2O + 4a0 2+ 3a31 + 6a2 + 5a3 + 4a4 + 3a5 + 2a6 + a7 . The new section is
w = a0 +a1 t+at24t +a3 t +x .
Successive blowing-ups at give a0 = a1 = a2 = a3 = 0. Thus
x
w= 4
t
Substituting
x = wt4
in the original equation, dividing by suitable powers of polynomials in t, re-
naming variables, and converting into Weierstrass form, we get
y 2 = x3 + t3 (t + 1)4
Position Kodaira-Néron type
t=∞ E8
E6
E6
This pseudo-elliptic fibration has M W -rank 0, since the trivial lattice is
already of rank 22. The absolute discriminant of the trivial lattice is already
32 . Thus, the trivial lattice is itself the full N S(X), with signature (1, 21) and
the prescribed absolute discriminant 32 .
280 Tathagata Sengupta
41. Fibration 39 : A9 , D9
We use the 2-neighbor construction on Fibration 1. The original equation is
y 2 = x3 − (t3 + 1)x2 + t6 x
y 2 = x3 − tx2 + t5 x
−t + x
w=
t2
Substituting
x = wt2 + t
y 2 = x3 + (t4 + t)x2 + t8 x
Here the trivial lattice is of rank 22, hence the M W -rank is 0. The absolute
discriminant of the trivial lattice is 3·3·4. And the fibration has a clear 2-torsion
section, (0, 0). Thus, the trivial lattice, together with the 2-torsion section gives
a lattice of signature (1, 21) and absolute discriminant 32 . Hence it must be the
full N S(X).
43. Fibration 41 : A2 , A2 , A2 , A2 , A2 , A2 , A2 , A2 ,
A2 , A 2
The equation of this surface is due to Ito.
y 2 = x3 + t10 + t2
The fibers are defined over the base P1 (F9 ), with an A2 fiber at each point
of the projective line.
282 Tathagata Sengupta
44. Fibration 42 : D4 , A2 , A2 , A5 , A5
We use the 2-neighbor construction on Fibration 40. The original equation is
y 2 = x3 + t10 + t2
The original fibers are A2 ’s at all the points of P1 (F9 ). The new A5 fiber we
consider is F = O + P + a0 + a1 + b0 + b1 , where a0 and b0 are the identity
components of the fibers at t = 0 and t = 1 respectively, a1 and b1 are non-
identity components of the same, and P is the 3-torsion section (t2 , −t(t4 − 1)).
y+t(t4 −1)
Our new section is w = at(t−1)
0 +a1 t
+ (x−t 2 )t(t−1) .
This has M W -rank 2. This also has a 2-torsion section, which does not
come from a 4-torsion section.
45. Fibration 43 : A4 , A4 , D5 , D5
We use the 2-neighbor construction on Fibration 41. The original equation is
46. Fibration 44 : A3 , A3 , A3 , A3 , A3 , A3
We use the 2-neighbor construction on Fibration 41. The original equation is
Substituting
y = wx(t2 − t − 1)
in the original equation, converting to the Weierstrass form after completing
squares, renaming variables, and then simplifying, we get
y 2 = x3 − (t4 + 1)x2 + x + t8 − t4
48. Fibration 46 : A5 , A5 , A8
We use the 2-neighbor construction on Fibration 41. The original equation is
y 2 = x3 + (t4 + t)x2 − t5 x + t6 − t3 − 1
286 Tathagata Sengupta
49. Fibration 47 : A4 , A4 , A4 , A4 , A1 , A1
We use the 2-neighbor construction on Fibration 43. The original equation is
y 2 = x3 − (t4 + 1)x2 + (t4 − 1)x + t8 + t4 + 1
The original fibers are A3 ’s at t = 0, t = 1, t = −1, t = i, t = −i and at t = ∞.
The new A4 fiber we consider is F = O + P + a0 + b0 + b1 , where a0 and b0
are the identity components of the fibers at t = 0 and t = 1 respectively, b1 is
a non-identity fiber at t = 1, and P is the section (0, t4 − 1). Our new section
4
−1
is w = at(t−1)
0 +a1 t
+ y+t
xt(t−1) .
Blowing-up successively at t = 0 and t = 1 gives a0 = a1 = 1. Thus,
1+t y + t4 − 1
w= +
t(t − 1) xt(t − 1)
Substituting in the original equation, converting to the Weierstrass form after
completing squares, renaming variables, and then simplifying, we get
y 2 = x3 + (−t4 + t3 − t − 1)x2 + (t7 − t6 + t5 )x − t10 − t9 + t8 − t7 − t6 − t5
Position Kodaira-Néron type
t=i A1
t = −i A1
t=0 A4
t=i+1 A4
t = −i + 1 A4
t=∞ A4
This has M W -rank 2.
50. Fibration 48 : A2 , A2 , E8 , E8
We use the 3-neighbor construction on the fiber configuration E6 , E6 , E8 . The
original equation is
y 2 = x3 + t4 ∗ (t − 1)5
Elliptic Fibrations on Supersingular K3 Surface with Artin Invariant1 287
51. Fibration 49 : A2 , A2 , A2 , A2 , E6 , E6
We use the 3-neighbor construction on the fiber configuration E6 , E6 , E8 . The
original equation is
y 2 = x3 + t4 ∗ (t − 1)5
The original fibers are E6 at t = 0 (Roots: p0 , p1 , p2 , p3 , p4 , p5 , p6 where p0 , p4 , p6
are the simple components and p2 is the component with multiplicity 3), E6 at
t = ∞ (Roots: q0 , q1 , q2 , q3 , q4 , q5 , q6 where q0 , q4 , q6 are the simple components
and q2 is the component with multiplicity 3), E8 at t = 1 (Roots: r0 , r1 , r2 , . . . ,
where r0 is the simple component and r1 is the multiplicity 2 component inter-
secting r0 ). The new E6 fiber we consider is F = 3O+2p0 +p1 +2q0 +q1 +2r0 +r1 .
2 2 3 5 6
Our new section is w = y+(a0 +a1 t+a2 t )x+bt02 +b 1 t+b2 t +b3 t +b5 t +b6 t
(t−1)2 .
Blowing-up successively at t = 0 and t = ∞ gives a0 = 0, a1 = 0, a2 =
0, b0 = 0, b1 = 0, b2 = 0, b3 = 0, b5 = 0, b6 = 0. Thus,
y
w=
t2 (t − 1)2
Substituting y = wt2 (t − 1)2 in the original equation, converting to the Weier-
strass form after completing squares, renaming variables, and then simplifying,
we get
y 2 = x3 + t4 (t2 + 1)2
288 Tathagata Sengupta
52. Fibration 50 : A2 , E6 , E6 , E6
We use a 2-neighbor construction on the fiber configuration A5 , D7 , E6 . The
original equation is
y 2 = x3 + (t4 − t)x2 + t6
The original fibers are A5 at t = 0 (Roots: p0 , p1 , p2 , p3 , . . . where p0 intersects
O, the zero section), D7 at t = ∞ (Roots: q0 , q1 , q2 , . . . where q0 intersects O),
E6 at t = 1. The new E6 fiber we consider is F = 2O + 3p0 + 2p1 + p2 + 2p5 +
2 4
p4 + q0 . Our new section is w = a0 +a1 t+at23t +a4 t +x .
Blowing-up successively at t = 0 and t = ∞ gives a0 = a1 = a2 = a4 = 0.
Thus,
x
w= 3
t
Substituting x = wt3 in the original equation, converting to the Weierstrass
form after completing squares, renaming variables, and then simplifying, we
get
y 2 = x3 + (t2 + 1)t4 (t − 1)2
This is another pseudo-elliptic fibration with MW rank 0.
53. Fibration 51 : A3 , A3 , A6 , A6
We use a 2-neighbor construction on the fiber configuration A8 , A2 , A2 , D7 . The
original equation is
y 2 = x3 + (t3 + 1)x2 + t3 x + t6
54. Fibration 52 : A6 , A6 , D6
We use a 2-neighbor construction on the fiber configuration A3 , A3 , A6 , A6 . The
original equation is
y2 = x3 + (−it4 − (i + 1)t3 − t − 1)x2 + (−t6 − it5 + t4 − (i + 1)t3 + −it2 )x
+(1 − i)t8 + (1 − i)t7 − it5 − (i + 1)t4
The original fibers are A3 at t = 0 (Roots: p0 , p1 , p2 , p3 where p0 intersects
O, the zero section), A3 at t = ∞ (Roots: q0 , q1 , q2 , q3 where q0 intersects
O), A6 at t = i, and A6 at t = 1. The new D6 fiber we consider is F =
3 4
2O + 2p0 + p1 + p3 + 2q0 + q1 + q3 . Our new section is w = a0 +a1 t+at32t +a4 t +x .
Blowing-up successively at t = 0 and t = ∞ gives a0 = a1 = a3 = a4 = 0.
Thus,
x
w= 2
t
Substituting x = wt2 in the original equation, converting to the Weierstrass
form after completing squares, renaming variables, and then simplifying, we
get
y2 = x3 − (it3 + it) ∗ x2 + (t8 − it7 + (i + 1)t6 + (−i + 1)t4 + it3 − it2
+(i − 1)t − 1)x + (it12 + it11 + (i + 1)t10 − it9 − it8 + t7 − t6
+(i + 1)t5 + (i − 1)t4 + it2 + i + 1)
This has MW rank 2.
290 Tathagata Sengupta
55. Appendix A
Here we describe the method of 2-neighbor and 3-neighbor construction, which
I learnt from my advisor Prof. Abhinav Kumar. For a more detailed description,
we refer to [Ku1].
2-neighbor and 3-neighbor construction
X is an elliptic K3 surface, defined over the base field k of characteristic
3, whose minimal model is given by y 2 = x3 + a2 (t)x2 + a4 (t)x + a6 (t) (ai ∈
k[t], deg ai ≤ 2i). X admits an elliptic fibration over P1 , with generic fiber
E/k(t). O denotes the zero section and P, Q etc. are other sections. We want
to compute the global sections of OX (a1 O + a2 P + a3 Q + · · · + C). We know
that OX (P ) is a line bundle of degree 1, where P is a section. Riemann-Roch
implies h0 (nP ) = n, with sections
1 generating H 0 (OX (P ))
Acknowledgements
I thank Abhinav Kumar and Noam Elkies for many helpful discussions and
suggestions. The computer algebra systems PARI/gp and Maxima were used
in the calculations for this paper. I thank the developers of these programs.
References
[Ar] M. Artin, Supersingular K3 surfaces, Ann. Sci. Ecole Norm. Sup. (4) 7 (1974),
543-567 (1975).
[Bo] R. Borcherds, Automorphism groups of Lorentzian lattices, J. Algebra 111
(1987). 133–153.
[Co] J. H. Conway, Three lectures on exceptional groups, in Finite Simple Groups,
pp. 215–247, Academic Press, New York, 1971.
[I] H. Ito, The Mordell-Weil groups of unirational quasi-elliptic surfaces in char-
acteristic 3, Math. Z. 211 (1992), 1–40.
[Ku1] A. Kumar, Elliptic fibrations on a generic Jacobian Kummer surface, (2011)
arXiv:1105.1715v2 [math.AG].
[Ku2] A. Kumar, K3 surfaces associated with curves of genus two, Int. Math. Res.
Not. IMRN 2008, no. 6, Art. ID rnm165, 26 pp.
[KS] M. Kuwata and T. Shioda, Elliptic parameters and defining equations for ellip-
tic fibrations on a Kummer surface, Algebraic geometry in East Asia – Hanoi
2005, 177–215, Adv. Stud. Pure Math. 50, Math. Soc. Japan, Tokyo, 2008.
[N1] V. V. Nikulin, Finite groups of automorphisms of Kahlerian surfaces of type
K3, Uspehi Mat. Nauk 31 (1976), no. 2(188), 223-224.
[N2] V. V. Nikulin, Integral symmetric bilinear forms and some of their applica-
tions, Math. USSR Izv. 14 (1980), 103-167.
[Ni] K. Nishiyama, The Jacobian fibrations on some K3 surfaces and their Mordell-
Weil groups, Japan. J. Math. (New Series) 22 (1996), no. 2, 293–347
292 Tathagata Sengupta