Professional Documents
Culture Documents
*
OTHER BOOKS BY LANG PUBLISHED BY SPRINGER-VERLAG
Introduction to Arakelov Theory· Riemann-Roch Algebra (with William Fulton) •
Complex Multiplication • Introduction to Modular Forms • Elliptic Curves: Dio-
phantine Analysis· Modular Units (with Daniel Kubert) • Introduction to Algebraic
and Abelian Functions· Cyclotomic Fields • Elliptic Functions • Algebraic Num-
ber Theory· SL 2 (R) • Abelian Varieties • Differential Manifolds· Complex
Analysis· Undergraduate Analysis • Undergraduate Algebra· Linear Algebra •
Introduction to Linear Algebra· Calculus of Several Variables· First Course in
Calculus • Basic Mathematics· THE FILE
Serge Lang
Introduction to
Arakelov Theory
9 8 7 6 54 32 1
ISBN 978-1-4612-6991-5
Foreword
and I have included those proofs for which I could find no convenient
reference. I am indebted to Mike Artin for his guidance to the literature
(especially some of his early papers in this respect), as well as for other
useful suggestions. I decided against including here a subbook giving a
systematic account of this basic material, which would have thrown
everything off balance; but eventually the appropriate text on such ele-
mentary topics, giving a systematic account of the basic properties of
semi stability among other things, will have to be written. (This is not a
threat.)
There are also some results which are proved in elementary or basic
texts for the geometric case, e.g. surfaces or varieties over an algebraical-
ly closed field, and whose proofs hold in the more general case of a vari-
ety over a Dedekind ring or over a discrete valuation ring. For instance,
Fulton explicitly advises the reader that essentially his entire book on
intersection theory holds in this more general context. The practice up
to now has been to write such books in the geometric case, and to add
the comments about the more general validity a posteriori. My feeling is
that the time has come to build in the greater generality from the start.
For instance, I think Hartshorne in his book could have waited a bit
longer before he went geometric, and sacrificed the more general ground
schemes which occur in the first part of his book for the sake of ground
fields. If he had, I would not have had to point out in some instances
that such and such a proof is valid in the more general situation. The
point holds not only for the intersection theory on surfaces, but for ques-
tions of resolution of singularities, minimal models, and the like.
Fulton emphasized, rightly, the importance of doing intersection
theory on singular schemes. Again, Hartshorne is too quick in making
regularity assumptions when treating curves and surfaces. He could have
treated a lot of the more general cases without any additional space.
So I have had to make compromises, depending on ad hoc judgments.
I hope enough people agree with these judgments to make the present
book useful.
Foreword v
CHAPTER I
Metrics and Chern Forms. 1
§l. Neron Functions and Divisors . . . . . . . . . . . . . . . . 1
§2. Metrics on Line Sheaves . . . . . . . . . . . . . . . . . . . 4
§3. The Chern Form of a Metric . . . . . . . . . . . 10
§4. Chern Forms in the Case of Riemann Surfaces . . . . . . . . . 14
CHAPTER II
Green's Functions on Riemann Surfaces 20
§l. Green's Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 21
~2. The Canonical Green's Function . . . . . . . . . . . . . . . . . . . . . . .. 28
§3. Some Formulas About the Green's Function. . . . . . . . . . . . . 30
§4. Coleman's Proof for the Existence of Green's Function 34
§5. The Green's Function on Elliptic Curves . . . . . . . . . . . . . . . 42
CHAPTER III
Intersections on an Arithmetic Surface 48
§l. The Chow Groups . . . . . . . . 48
§2. Intersections. . . . . . . . . . . . . . 55
§3. Fibral Intersections. . . . . . . . . . 58
§4. Morphisms and Base Change . . . 62
§5. Neron Symbols. . . . . . . . . . . . 66
CHAPTER IV
Hodge Index Theorem and the Adjunction Formula. 70
§l. Arakelov Divisors and Intersections . . . . . . . 71
§2. The Hodge Index Theorem. . . . . . . . . . . . . . . . . . 77
x CONTENTS
CHAPTER V
The FaIlings Riemann-Roch Theorem . . . . . . . . 102
§1. Riemann Roch on an Arithmetic Curve. 102
§2. Volume Exact Sequences . . . . . . 105
§3. Faltings Riemann-Roch . . . . . . . 108
§4. An Application of Riemann-Roch. 118
§5. Semistability . . . . . . . . . . . . . . 120
§6. Positivity of the Canonical Sheaf. 128
CHAPTER VI
Faltings Volumes on Cohomology. 131
§1. Determinants . . . . . . . . . . . . . 131
§2. Determinant of Cohomology . . . . . 136
§3. Existence of the Faltings Volumes . 140
§4. Estimates for the Faltings Volumes. 146
§5. A Lower Bound for Green's Functions 149
References. . . . . . 179
Frequently Used Symbols. 183
Index . . . . . . . . . . . . . . 185
CHAPTER
from the complement of the support of D into the reals, satisfying the
following condition: If D is represented by a pair (VJ), where V is an
open set (Zariski open, that is), and f is a rational function, then there
exists a continuous function oc on V such that
IX: V-+R
on Un V.
Neron divisors form a group, the group law being obtained by multi-
plying the rational functions f and adding the functions IX.
On the complement of the support of D (by definition, the support of
its Cartier divisor), we can define the Wei! function
AD(P) = v f(P)
0 + IX(P),
where (U,f, IX) is a representing triple for D, and P lies in U. The value
is independent of the choice of triple, as one sees directly from the defini-
tion of compatibility of triples.
Let f be a rational function on X, f #- O. We can define a Weil func-
tion Af to be AiP) = v f(P). The associated Neron divisor is repre-
0
AD = V 0 f - constant.
AD = va f + IX.
NF 4. If X is of dimension 1, then for any two points P #- Q,
Then A is called the Neron function associated with the family. Converse-
ly, as we shall see at the end of §2, a Neron family on a curve can be
constructed from a function on X x X with divisor equal to the dia-
gonal, over the complex numbers. See the remarks at the end of §2.
4 METRICS AND CHERN FORMS [I, §2]
2(f) = v 0 f - roCf),
so we denote by rif) the constant of NF 2. This constant will play an
essential role in the sequel, in defining the Arakelov divisor of a function
with respect to the given choice of Neron family. In fact, we shall see in
Chapter IV, §2, that this constant is the multiplicity at infinity of this
divisor. We can give a formula for rv(f) over the complex numbers as
follows. Suppose k = C, and J1 is a measure on X(k).
fX(k)
dJ1 = 1 and fQEX(k)
2(P, Q) dJ1(Q) = 0,
f
then
roCf) = -loglflv dJ1.
X(k)
The relation follows trivially from the normalizations and the definitions.
({)ij = ~/T;.
Then we say that the family of triples {(Vj, ({)jj' pJ} represents the metric.
It is clear how to define compatible families, or compatible triples in this
context, and the metric itself is an equivalence class of such covering
triples, or is the maximal family of compatible triples. We could also
write a representative family as {(Vj' ({)j, Pj)} using the isomorphisms ({)j
instead of the transition functions ({)jj. A line sheaf with a metric p will
be denoted by 2 p or as a pair (2, p), and will be called a metrized line
sheaf.
For arbitrary s in 2' p the value Is(P)l p depends only on the residue class
of s mod m p 2' p, thus defining the norm on the fiber.
Inverse
Tensor product
Let 2', JI be line sheaves. Suppose that {(Vi' <Pij, p;)} represents a met-
ric on 2' and {(Vi> !/Iij' a)} represents a metric on JI. Then there exists
a unique metric on 2' ® JI represented by
Of course, two different covering families of open sets might at first rep-
resent the two metrics, but one can always find a common refinement,
and the above definition applies to define the tensor product metric, or as
we shall also say the product metric.
Functoriality
Proof There exist very ample sheaves vIt and vIt' such that
In the case when!£' = (!)x(D), and (U i ,/;, p;) represents a metric on !£'
in the neighborhood of a point P, the metric on the residue class field
(!)x(D)(p) can. be computed from the representative of the metric on U i,
and k(P) can be identified with (!)p/m p under the trivialization
The residue class field (!)x(D)(p) is merely the restriction (!)x(D)IP. In the
function field k(X) we have the function 1 which is a rational section of
(!)x(D), and is defined outside the support of D with value 1 in the re-
sidue class field. We can write I(P) for the value of this section at P. If
P ¢ suppeD), then
II(P)I; = II;(PW/Pi(P),
Note that for any constant c -1= 0 the divisors (f) and (cf) are equal.
Thus in a given class of functions modulo multiplication by a non-zero
constant, there is a unique system of multiples cf, with c determined up
to a scalar of absolute value 1, such that multiplication by cf is a metric
isomorphism between P;',D and P;',E'
[I, §2] METRICS ON LINE SHEAVES 9
In Chapter IV, §3, we shall deal with Arakelov divisors, and then we
shall recover the expected isomorphism under multiplication by f - 1.
and the pull back of A.1 is a Weil function Ap on X associated with the
divisor (P) and with the induced metric. Furthermore, the association
AD = V 0 f + constant.
In the next section and next chapter we shall see how to construct a
function on X x X which is the Weil function associated with the dia-
gonal, and such that this last condition NF 2 is also satisfied. To do
this, one requires an additional condition to normalize Weil functions up
to a constant, not only up to bounded functions. Over the complex
numbers, this particular condition will essentially be harmonicity, and we
shall use the fact that a harmonic function on a compact complex mani-
fold is constant. See Proposition 3.1, which is the heart of the matter.
For the rest of this chapter, and the entire Chapter II, we carry out
certain basic complex differential geometry, whose sole purpose is to
prove the existence of a Neron family, and certain admissible metrics
for use in the Hodge Index Theorem, the adjunction formula, and the
Riemann-Roch theorem. If the reader is willing to grant this existence,
and is interested only in the algebraic-geometric part of the proof, then
the rest of this chapter and Chapter II may be omitted.
10 METRICS AND CHERN FORMS [I, §3]
For the convenience of the reader, we make a short table of the usual
0, a.First in terms of one complex analytic coordinate.
Let z = x + J"=1y be a local analytic coordinate. Then we have the
differential operators
~=~(~-J=1~)
oz2 ox oy
and ~ = ~2
oi
(i + J"=1 ~-).
ox oy
- 01_
and 01 = oi dz ,
1
=- (0-21+02~
- dx A dy
2 ox 2 oy2
= ! III dx A dy,
de =
J"=1 -
- - ( 0 - 0) = ----~-
1 (0 - 8)
4n 2nJ"=1 2
so that
[I, §3] THE CHERN FORM OF A METRIC 11
1 af 1 1 af
d<j = - - r de - - - - dr
4n ar 4n r ae
ah - ah
ah = I,-dz. and ah = I, a-Zi dz i •
aZ i '
and 1
d e = -----
2n~
(a -
------.
2
a:]
By a form of type (1, 1) we mean a differential form which locally at
every point can be expressed as
where fij are smooth functions. If there is such a representation with re-
spect to one system of complex coordinates, then the form has such a
representation with respect to every choice of complex coordinates. One
defines forms of type (p, q) similarly, namely they are forms which locally
can be expressed as sums
"fIJ(z)
L.. dz·~l A'" A dz·'p A dz·Jl A'" AdzJq..
Since qJij is holomorphic non-zero, it follows that log ({Jij + log iPij is the
sum of holomorphic and anti-holomorphic terms, so
12 METRICS AND CHERN FORMS [I,§3]
thus we have defined a global form c 1 (p), called the Chern form. This
Chern form is of type (1, 1).
The Chern class c 1 (2') is defined to be the class of c 1 (p) in H~R (de
Rham cohomology), which is the space of closed forms modulo exact
forms.
We recall that if s is a holomorphic section on an open set V repre-
sented by the function Si on Vi then
We say that w is real if h is real valued. All these properties do not de-
pend on the choice of hoI om orphic coordinates.
Change of metrics
or
Proof. Let a = p'I p. Then dd C log a = 0, and this equation holds for
the restriction of log a locally to every imbedded disc in X. Let P be a
maximum for log a. Then the restriction of log a to every imbedded disc
centered at P is harmonic, and so is constant since P is a maximum.
Hence log a is constant, as desired.
p(z) = L z.z•.
• =0
14 METRICS AND CHERN FORMS [I, §4]
Then its Chern form is computed using rules from freshman calculus for
the derivative of a product and quotient, to give
c 1 (p) =
J-1
2
- J=I
aa log p(z) = -
1
--2 (L h ij dZ j /\
_
dz)
n 2n p(Z)
H = p(z)I - (ZjZ),
CH'C > O.
At each point P where s has a zero or pole, we put a small circle C(P, 8)
of radius 8 with respect to some choice of holomorphic coordinate, and
we apply Stokes' theorem to the complements of these discs. Then
J=i 1m fC(P,t)
0 logf = J=i 1m fC(P,t)
f'lf(z) dz = 2nJ=im(P),
Theorem 4.2. Let 2 be a line sheaf on X and let ({J be a real (1, 1)-
form such that Ix
({J = deg 2. Then there exists a metric p on It' such
that
because we then let p = eP(J. To solve this equation, we need two lem-
mas. The first is a special case of p. 149 of Griffiths-Harris. (See the
ddc-lemma below.)
Lemma 4.3. Let '1 be a (1, I)-form which is exact, that is, '1 = dw for
some C oo 1orm w. Then there exists a function fJ such that '1 = ddcfJ· If
'1 is real, then fJ can be taken to be real.
Lemma 4.4. Let '1 be a Coo 2-form on X. Then '1 is exact, that is '1 =
dw for some 110rm w, if and only if
L '1 = 0.
L dw = 0,
LI./J=O
Lemma 4.4 and Proposition 4.1 guarantee that f{J - c 1«(J) is exact, and
Lemma 4.3 gives the existence of fJ, thereby proving Theorem 4.2.
For the convenience of the reader, we reproduce the full statement of
the lemma on p. 149 of Griffiths-Harris. Actually, the statement given
there is not quite correct, so we repeat the result.
[I,§4J CHERN FORMS IN THE CASE OF RIEMANN SURFACES 17
1'/ = ddcp.
Let yew, a) be the set of points XEX such that Is(x) I > a. By Sard's
theorem (see, for instance, [La 4J, Chapter VIII, §1), for Lebesgue almost
all a > 0 the boundary sew, a) is smooth and yew, a) together with
sew, a) is a manifold with regular boundary. Since IjJ is assumed closed,
we get by Stokes' theorem
for any (2n - 2)-form, not necessarily closed. Dealing with these more
general forms allows us to use a partition of unity on 1jJ, and thus we
may assume that the support of IjJ is contained in a small neighborhood
of some given point. If that point is not in W, then both the limit and
the integral over Ware O. So we can assume the point is in W. We
assume here the absolute convergence of the integrals, which follows
from the resolution of singularities, or can be proved as in Griffiths-
Harris, by branched covering like [G-H], pp.32 or 33. Then we may
assume that the support of IjJ lies in a coordinate neighborhood of a
regular point of W. In such a neighborhood, s corresponds to one of the
coordinate functions, say Zn' and there is a smooth positive function h
such that
So
lim
a~O
fS(W.a)
de log h 1\ IjJ = 0,
we have
de log h 1\ IjJ IS( W, a) = a times a bounded form,
lim
a~O
f
S(W,a)
de log lsi; 1\ IjJ
because ljJ(z l' ... ,zn _ l' Zn) = IjJ(Z l' ... ,Z.-l' 0) + 0(1) as a -> O. By what
amounts to the standard computation in one variable, the right-hand
side then is equal to
Green's Functions on
Riemann Surfaces
If f is real, then we say that the form is real. If f is positive, then we say
that the form is positive. By a volume form we mean a (1, I)-form which
is everywhere positive.
Let ({J be a real (1,1)-form, which is also assumed smooth or real
analytic throughout. We say that ({J is normalized if
f/ = 1.
In the sequel we always assume ({J normalized, without saying so expli-
citly any more. The important cases will occur when ({J is a volume
form. Thus by convention, a volume form is assumed normalized unless
otherwise specified.
Let D be a divisor on X. By a Green's function for D with respect to
({J we mean a function
9D: X - supp(D) --+ R
I da 1\ de f3 = df3 1\ dea. I
This is trivially proved, writing d = 0 + a and de = (0 - a)/4ni. In di-
mension 1, we have oa 1\ of3 = 0 and similarly for a, so the relation falls
out.
We shall use the following basic formula.
Lemma 1.1. Let P i= Q be two points, and let gp, gQ be functions sat-
isfying GR 1 and GR 2 with respect to smooth forms. Then
On the other hand, by Stokes' theorem, if CCP, a) and CCQ, a) are the
circles of radius a around P and Q respectively, oriented counterclock-
[II, §1] GREEN'S FUNCTIONS 23
wise, then
fY(a)
dO) = - f C(P, a)
0) - fC(Q, a)
0).
We let
gp = -log r2 + v,
where v is CX) and r is the polar coordinate with respect to a given com-
plex coordinate in a neighborhood of P. Both in the current proof and
in later applications, we use a short integral table as follows.
Integral Table
If p is C'" in a neighborhood of P and rx = k log r + COO-function for
some constant k (which may be 0) then
lim
a ... O
f C(P, a)
rxdcp = O.
lim r
a ... O JC(p, a)
rxdcp = rx(P).
f x
dO) = lim
a'" 0
f
Y(a)
dO) = gp(Q) - gQ(P),
Then the integral table falls out of the definitions, since the integrals
which don't involve dCg p converge to 0 like a log a as a~. 0; and for the
integral with dCg p we have
ogp 2 .
- = - - + COO-functIOn.
or r
The next result compares the Green's functions associated with two
different forms.
Proposition 1.3. Let ({Jl' ({J2 be real smooth (resp. real analytic) (1,1)-
forms on X such that
Let gl. g2 be the Green's functions associated with ({Jl' ({J2 respectively.
There exists a smooth (resp. real analytic) function p such that
* We are using here the regularity theorem for solutions of elliptic equations. For the Coo
case, see, for instance, a complete treatment in Appendix 4 of my book SL2(R). For the
real analytic case, the theorem is due to Morrey-Nirenberg, and one needs additional esti-
mates on the coefficients of the Taylor expansion. The proof is reproduced elegantly and
briefly in Bers et al., PDE, Proceedings of the Summer Seminar, Boulder, Colorado, Inter-
science, New York, 1964, pp. 207-210.
[U, §1] GREEN'S FUNCTIONS 25
fQEX
[g2CP, Q) + PCQ)]CfJlCQ) = - PCP),
Let C(P, a) be a small circle around P. Then this last integral over X is
the limit of the integral taken outside the small disc, and we apply
Stokes' theorem to get the last expression equal to
By the integral table in the proof of Lemma 1.1, we find that the limit of
the integral is - PCP), as was to be shown.
ddCg = <1>,
fQEX
g(P, Q).u(Q) = constant independent of P.
Iz - wl2
g(z, w) = -log -(l-+---'----zz--)(l---t-w~'
J=1 dz /\ dz
<p(z) = 2~- (1 + ZZ)2'
[<p](f) = tf<P.
[II, §1] GREEN'S FUNCTIONS 27
Also we let bp be the Dirac distribution, that is, the functional such that
bp(f) = f(P). Then we have:
Theorem 1.5. Let g be the Green's function with respect to qJ. Then
(I:lrpf)qJ = -dd)'.
COO(X) = C EB CJ.,
Theorem 1.7. Let lfJ be a normalized volume form. Let G be the Green's
operator associated with lfJ. Then G is obtained by convolution with the
Green's function, that is, for all fE C"'(X) we have
Gf(P) = f QeX
g(P, Q)f(Q)lfJ(Q)·
Let lfJ1, ... ,lfJq be an orthonormal basis for the differentials of first kind.
Then the differential form
f.l
F1
=-2q- (lfJl A CP1 + ... + lfJq A cP q )
Theorem 2.1. The form <I> is the Chern form of some metric on
(i)x x x(A)·
fXxx
<1>/\1/1=11/1
.1
Theorem 2.2. Let P be a metric on (i)xxrtA) such that cl(p) = <1>. Let s
be a holomorphic section of (i)x x x(A) such that (s) = A, and let
Let 9 be the Green's function associated with the canonical form Jl.
Therefore
and
and
Proof We have
d p (8 Q g /\ cp(P») = (8 p 8Q g) /\ cp(P).
Then
so
o 0 2
OZ OW log Iz - wi = o.
To prove the theorem, it will suffice to prove:
Lemma 3.4.
q
Indeed, this will yield the middle terms in brackets as stated. Since
op8Q g is holomorphic in P and anti-holomorphic in Q by symmetry, the
Kunneth theorem for H2(X x X) implies that we can write
q
where the forms l/Ii(Q) are of the first kind in the second variable Q. We
now evaluate the following integral in two ways. By the reproduction
formula,
On the other hand, using the fact that CPI' ... ,CPq form an orthonormal
basis, we also get the value
1--
- -I/I/Q).
1t
Hence I/I/Q) = -1tcp/Q). This proves the lemma and the first part of the
theorem. Letting P = Q proves the second part.
Theorem 3.5. Let p be the metric on (1) x x x(A) associated with the
Green's function of the canonical volume form. Then
Proof This IS immediate from the definition of the Chern form and
Theorem 3.3.
The next two sections are not logically necessary for what follows.
They give more explicit descriptions of the Green's function in some
cases.
34 GREEN'S FUNCTIONS ON RIEMANN SURFACES [II, §4]
H x HI (X, C) ~ C
In the next theorem, we consider the space of Coleman forms, i.e. the
differential forms which can be expressed as linear combinations of forms
of type
hrp + algebraic differential form,
[II, §4J COLEMAN'S PROOF OF EXISTENCE 35
where cP is of first kind, and dh = r[J + '1 with '" of first kind and '1 of
second kind. For such forms, it makes sense to speak of their having a
pole at a point since the principal meromorphic part is well defined
modulo real analytic forms. It also makes sense to speak of the order of
the pole, and of the residue at a point.
We want to construct such forms having appropriate logarithmic
singularities, and pure imaginary periods. It may happen however that
only "real" periods are defined. So for any harmonic form on an open
set, we define its real part
Lemma 4.2. Let co be a harmonic differential on an open set, and let ')I
be a path in the open set. Then
Proof The formula is local, and the open set can be taken to be a
small disc in the complex plane. We may also prove the formula sepa-
rately when co is holomorphic and anti-holomorphic. But then co has a
primitive and the formula is obvious.
The next theorem gives the basic idea for the construction of a
Green's function.
o by (ii) and the real duality of differentials of first kind with HI (X, R).
This takes care of uniqueness.
Before proving existence, we indicate how the theorem can be used to
construct a Green's function for a divisor D. Let
= -dWD
q
= - I. dh i 1\ CfJi
i= 1
cq
=--Jl
F1
by (i). Therefore GR 2 is satisfied if and only if the constant c has the
value
2n deg(D)
c=
q
The existence proof, to which we now come, shows that this can be
realized.
Let '7 be a dsk. On any simply connected domain we can integrate '7
from a fixed point 0 to a variable point P, and get a well-defined func-
tion except at the poles of '7, because the residues of '7 are O. In particu-
lar, we can do this locally, and such a function satisfies df = '7.
Let '71' '72 be two dsk. We define their scalar product
by the pairing
By Theorem 4.1, there exists a unique form H(,,) e H such that the func-
tional [H(,,)] is the same as the functional ["J. We call H(,,) the har-
monic projection of". In another language, this means that H(,,) has the
same periods as fl.
and
They extend to the boundary in the usual manner. We note that har-
monic forms are closed, i.e. if w is harmonic, then
dw =0.
so by Stokes' theorem,
(1)
Since H(Yfl) and Yfl have the same periods, it follows that hi - 11 is a
function on X. Hence for all i,
and similarly for the integral taken over (b i) + (- bi)' so by the preceding
equality (1) we get
(2)
and similarly taking the integral on (b;) + ( - bJ Taking the sum yields
(3)
We have already seen by Cauchy's theorem that this gives the desired
value [Yf 1, Yfzl This concludes the proof.
Proof We use the formula of the theorem, together with the fact that
we can pick 1]2 such that
We also have
dsk => H 1, ° EEl exact => exact.
Lemma 4.7. Let ({Jl' ••• ,({Jq be a basis oj dfk. Then there exist
dsk '11' ... ,I]q such that:
Proof The first two statements have been proved. As to the third, we
carry out the computation, which involves the hermitian product and the
bilinear product:
1 -
= - <CPj' H(I']J)
n
We now let CPI' '" ,CPq be an orthonormal basis for the dfk. We can
then define a function
deg D
L res I
q
p h;cp; = -deg D.
q PEX ;=1
Lemma 4.8. For each point P of X suppose given a principal part for
an algebraic differential form locally at P, such that for almost all P the
principal part is 0, and the sum of the residues is O. Then there exists a
global algebraic differential form on X having the given principal part at
every point.
Proof First there exists a differential of third kind (dtk) having the
given residues, so after subtracting it we may assume without loss of gen-
erality that the residues are O. It also suffices to prove the lemma when
[II, §4] COLEMAN'S PROOF OF EXISTENCE 41
D is a single point. But then the existence of a dsk having the given
principal part at a given point is an immediate consequence of the
Riemann-Roch theorem.
q i= 1
has only simple poles with residues ordp(D) at P. Then W2 is real ana-
lytic on the complement of D, and if D is represented by a rational func-
tion f on an open set U, then
deg(D)
dW 2 = - -
q
L H(l1i) 1\ CPi·
Changing signs and using the definition of the canonical volume form, as
well as Lemma 4.7(iii), we get
dW 2 = 2nJ=1 deg(D)Jl.
Thus dW 2 is a pure imaginary multiple of the real volume form Jl. We
obtain
so the real parts of the integrals of Wz over cycles are well defined on
the homology classes. Now we use the fact that there exists a differential
of first kind ({J having given real period matrix. We let
Then the periods of W3 are all pure imaginary. We have thus con-
structed a differential form satisfying the conditions of Theorem 4.3.
In principle this gives us the Green's function
and all we have to check is that the right constants appear. The matter
is either trivial or false at this point, and it is trivial as follows:
The reader who knows about Klein forms and Siegel functions will rea-
lize that this is minus the log of the absolute value of the Klein form.
Cf. [K-L], Chapter II, §1.
Since 1m r > 0 it follows at once that the product is absolutely con-
vergent and defines a real analytic function in both variables outside the
lattice points m + nr with m, n integers.
The form of the expression inside the absolute value sign immediately
shows that as a function of z, with fixed r,
This is checked by keeping track of the first term in the products under
the change Z ~ Z + r, and using the formula
ddy = J=1
2-1
n
oaf = ~ !Af dx
2n
A dy,
ddCg = OJ and
1
f1 = V dx 1\ dy
Theorem 5.1. Let g(z, r) = 2A.(z, r). Then g is the Green's function with
respect to f1 on C/[l, r], with singularity at O.
Remark. Before giving the proof, we notice that the Green's function
on the product, as a function of two variables, is then immediately
obtained by translation, namely
Proof The expression for g shows that it has the right logarithmic
singularity. We have to show that ddCg = f1 outside the singularity, and
that
Then
L )'(x, y) dx dy = ff ),(r + su, sv)v dr ds.
for n ~ O.
But the log of the absolute value IS the real part of the log. Further-
more, since s > 0, we have
for n ~ O.
Thus the log of the absolute value is the real part of the usual series ex-
pressing the log, and it suffices to show that the integral of this series is
equal to O. For Iwl < 1 we have
00 wm
-log(1 - w) = I
m=l m
L),(X,y) dx dy = O.
46 GREEN'S FUNCTIONS ON RIEMANN SURFACES [II, §5]
;-:'
ddf = v2n- I caf = 11M dx /\ dy
2n 2
Away from the lattice points, only the first term in the product for 9
under the log is not equal to the product of holomorphic times anti-
holomorphic terms, and so dd c of every term except the first is 0 away
from the lattice points. On the other hand, the first term is real analytic
(no singularity). The next lemma therefore suffices to prove that 9 IS a
Green's function with respect to fl, with singularity at the origin.
Lemma 5.2.
dd"['Y.J/J = ('Y.dcd/J.
JR2
Note. Usually when integrating by parts with one partial, there is a
minus sign when shifting the partial from one function to the other, but
here the Laplacian involves squares of partials, so the minus sign disap-
pears.
[flJf = ( ffl·
JR2
[II, §5] THE GREEN'S FUNCTION ON ELLIPTIC CURVES 47
ddC[g] = [Il] - L ba •
aE[1.t]
Proof We have already computed the first term. The other terms are
given by the next lemmas.
Proof This comes from Stokes' theorem applied to the region outside
a small circle centered at the origin, and the expression for d C in polar
coordinates given at the beginning of Chapter I, §3. It is the analogue
on euclidean space of Lemma 1.1.
1- q~qz
z - (m - m)
Intersections on an
Arithmetic Surface
Vc. X
L nyV or
where V ranges over the prime divisors, ny E Z, and ny = 0 for all but a
finite number of V. The notation [V] is to emphasize the free element
corresponding to the subvariety. If ny ~ 0 for all V, then we say that the
divisor is elfective.
Suppose that X is itself a variety. Let D be an effective Cartier div-
isor on X. Let V be a prime divisor on X. If D is locally defined by a
function fE lIJ y. x in a neighborhood of a generic point of V, then we de-
fine the order of the divisor
length(gl!ly/gfl!ly) = length(l!Iyffl!ly).
ordy(D) = ordy(f).
We define the Weil divisor associated with a Cartier divisor D to be
[D] = L ordy(D)[V].
y
Note that Weil divisors on curves are elements of the free abelian
group generated by the closed points.
[III. §1] THE CHOW GROUPS 51
A fA '
fA
The general case of a finite extension then follows from the standard
formula relating the ramification indices and residue class degree for the
extension of a prime in a Dedekind ring in a finite extension.
The lemma will be applied frequently when X is a curve and when
the prime divisors are closed points.
IX = L [(J;)].
Note that (J;) is the Cartier divisor of Ii on Wi, and [(J;)] is its asso-
ciated Weil divisor, which is a linear combination of subvarieties of di-
mension p, so it is a p-cycle.
We define the Chow group
[III, §1] THE CHOW GROUPS 53
Let qJ: X' --+ X be a morphism (over spec(R), as usual). Then qJ in-
duces a homomorphism, the direct image,
by letting
qJ*(V') = [V' : V]qJ(V').
For a composite qJ 0 !/J of morphisms, we have
CHo(x) = Z[x].
such that
qJ*(L nAx']) = L nx·[k(x') : k(x)][x]
if the sum is taken over all x' with <p(x') = x. We shall see such sums
appear frequently in the sequel. If x = spec(k) we often omit [x] in the
formula.
Theorem 1.2. Let <p: X' --+ X be a proper surjective morphism of vari-
eties. Let f E k(X') be a rational function on X', f ¥- 0, and let [(f)] be
its Weil divisor on X'. Let N = N X'IX be the norm. Then
Proof We shall consider first the special cases which arise in the ap-
plications. Suppose first dim X' = dim X, and suppose X' is the normal-
ization of X in the function field k(X). Then the formula is true, this
being a special case of Lemma 1.1. Suppose that X is normal and X' is
the normalization in a finite extension. Then the formula is a standard
fact of elementary theory of Dedekind rings, as in algebraic number
theory. For a proof in the classical style of algebraic number theory,
see [La 5], Chapter I, Proposition 22. For a proof in the style of lengths
of modules, see [Fu], Chapter 1, Proposition 1.4.
54 INTERSECTIONS ON AN ARITHMETIC SURFACE [III, §1]
Next, suppose that X and X' are both normal, and qJ: X' --+ X IS bi-
rational. Then
[(f)x-J = D' + D"
where a component V' of D' is such that qJ(V') is a prime divisor on X,
while a component V" of D" is such that qJ(V") has lower dimension.
The components V" disappear under qJ*. Suppose V' is of the first type.
Then (!.Iv'x = (!.Iv.x since a discrete valuation ring is maximal in the quo-
tient field. Conversely, given a discrete valuation ring (!.Iv,x of some
prime divisor on X, since qJ is assumed proper this ring induces a point
on X', and since qJ is a morphism, it follows that the point is in fact the
generic point of a prime divisor V', so (!.Iv, x = (!.Iv'x. From this the for-
mula of the theorem is obvious in the birational case, with both X, X'
normal.
The third important special case is given by the following standard re-
sult on curves, which is a reformulation of Theorem 1.2 for a complete
curve over a field.
are both equal to the degree [X: pI]. By symmetry, it suffices to prove
this equality just for the first sum, and then it amounts to Lemma 1.1
again.
The most general case of Theorem 1.2 follows formally from the
above special cases. Since these special cases will be the only ones occur-
ring in applications, we leave the rest of the proof to the reader. Cf.
[Fu], Proposition 1.4.
From Theorem 1.2, it follows immediately that if qJ: X' --+ X is a
proper surjective morphism over spec(R), then
[(f, g) : (ff', g)] = [@J: @xff'] = [@x: @J'] = [@x : (f', g)],
D.C=DIC.
56 INTERSECTIONS ON AN ARITHMETIC SURFACE [III, §2]
Lemma 2.3. With the above notation, if t/J: C' -+ C is the normalization
of C in a finite extension, then
where the sum is taken over all x' in C' lying above x. In other words,
where the sum is taken over all x E suppeD) (\ supp(E) lying above y.
If C is horizontal, then
Proof The first formula comes from Lemma 2.2 and the definition of
iy • Note that we can also write it on the normalization C' by Lemma
2.3, namely
i/D, C) = L ordAt/J*D)[k(x'): key)]
x'
[III,§2] INTERSECTIONS 57
Suppose that over the algebraic closure Fa the prime divisor C splits
into a sum of points
C= L (P;)
i= 1
f(C) = n f(P;),
Nk(C)/FUI c) = f(C).
Any two such Cartier divisors on C are linearly equivalent. Given an ef-
fective Cartier divisor 0 on C, we can define its Weil divisor as follows.
Let U be an open set of C such that the Cartier divisor is represented by
a function f For any point x of C we define
[0] = L ordia)(x),
x
(C.D) = iiC.D).
If C = D, then we define
and in particular
We now see that our intersection pairing gives rise to a symmetric bi-
linear map
where the Q on the left means that we take the vector space generated
by, say, Divy(X) over Q. We shall study the signature of the associated
quadratic form.
Keeping the same notation, let
Proposition 3.3. The intersection matrix of the fiber has the following
properties.
(1) aij = aji for all i, j; that is, the matrix is symmetric.
(2) aij ~ 0 if i 0/ j.
(3) The row sums are 0, that is, I au = 0 for all i.
j
(4) For i 0/ j define i to be linked to j if aij > o. Then any two distinct
indices are connected by a chain of such linkings; that is, if i 0/ j
there is a sequence i = i l , i 2 , ... ,im =j such that iv is linked to iv+ l .
are 0 because L njC j = Xy and (D. Xy) = 0 by Proposition 3.2 for any
fibral divisor D. This proves (3). Property (4) immediately follows from
the fact that a fiber X y is connected. This concludes the proof.
after using (1), (2), (3) of Proposition 3.3. If Xi #- Xj for some pair r, ]
then a linking chain as in (4) shows that the sum over i < j has at least
one non-zero term and so the sum is #- O. This proves the lemma.
Proof Let
D = LXiniCi
with rational Xi' Applying the lemma to (... , Xi' ... ) prov,es our theorem.
Since distinct fibers are orthogonal to each other, the theorem imme-
diately yields that if D is a fibral divisor such that (D2) = 0, then there
exist fibers F b ... ,Fm and rational numbers ql' ... ,qm such that
with qy E Q.
<p
~
X -+X* -+X.
({J2
Note that in going from X to X' via X*, we passed through the non-
regular scheme X*. We had to pay attention to the difference between a
Cartier divisor and a Weil divisor on X*, but we don't have to worry
about that on X'.
Note that if E is a horizontal divisor, then its proper transform E' is
also a horizontal divisor.
If D, E have no component in common, recall that
in CHo(IDI n <p(I£'I)).
The next results prove the formula in the cases we need. Without loss
of generality, we can assume that £' is prime, so is a curve.
if V is a point X.
V ---;----> X
)
where j, j' are the inclusions, and <PV' is the restriction of <p to V'. By
definition,
ix·(<p*D, V') = ordA(f <p)IV') 0
= ordA(f1 V) 0 <Pv.).
[III, §4] MORPHISMS AND BASE CHANGE 65
We multiply each side by [k(x'): k(x)] and use Lemma 2.3 to conclude
the proof when D, V intersect properly.
Suppose next that V is a point. In this case, the sum on the left-hand
side of the formula is the degree of the line sheaf induced on V' over
k(x) by the pull back of (!J(D). But this pull back is trivial, since this pull
back can be taken via {x}. Hence this degree is 0, thus concluding the
proof of the theorem.
where the sum is taken over all points y' of Y' lying above y.
Proof This follows immediately from Theorem 4.2 and the standard
degree formula recalled in the previous discussion. Observe that the sec-
ond equality is due to the projection formula applied in the case when
cp(V') is a point, so the intersection of cp*D with the fibral divisor in cp*E
is O.
We let:
-loglzlv·
NS 4. Fix PoE C(F) - suppeD). Then the map C(F) - suppeD) --> R
defined by
Theorem 5.2. Let F be the quotient field of the discrete valuation ring
R, with valuation v and closed point y. Suppose v normalized so that
v(z) = ordJz). Let X be an arithmetic surface over spec(R) as in §2.
For D, E E Divo(x F) with disjoint supports, we have
Proof Let C = X F' First suppose that we deal with the case when
C(F) is Zariski dense in C. Let D, E E DivO(C). It will suffice to prove
that the intersection pairing satisfies the properties of Theorem 5.1 char-
acterizing the Neron symbol. So let
Then for a f= 0,
TI Iiali v = 1.
We let
Arithmetic surfaces
or
The intersection numbers (D. E)v for v E S", will be determined by the
choice of a Neron function Av.
We now pass to the definitions of the local intersection numbers.
Suppose first that D, E are two finite effective divisors without common
component. Let v = v" be a finite absolute value. For each closed point
x E X the residue class field k(x) is finite. Suppose k(x) is a finite exten-
sion of k(v). Let f, g represent D, E respectively in the local ring &x,x =
&x. Then we defined the intersection number iiD, E) by
and we define
(D.E)v = I,(D.E)x·
xlv
e
Ev = L (Q)
j= 1
e
f(Ev) = Df(Q)·
j=l
t/!:E'-X
Here for any divisor D' on E' we define the arithmetic degree
«(f) . E)fin = O.
In particular, the intersection product of any divisor with a fibral divisor
is defined on divisor classes modulo linear equivalence.
D" = I
i= 1
(PJ
where the Pi are distinct points, which are all conjugate over F. Simi-
larly,
E" = I (Q).
j=l
Note that this intersection number depends on the original Neron func-
tion Av , and so should also be indexed by A, for instance by writing
(D. E);.,v' We omit the A frequently.
with rv E R.
[IV, §1] ARAKELOV DIVISORS AND INTERSECTIONS 75
(D.Xv)v = 0 if D is vertical;
(Xv,. Xv)v = 0 for all II, v' E Soo.
(D. X v)v = N v degF(D) if D is horizontal.
(fh = L NvyvCf)X v,
veSoo
(D. E»). = O.
Proof Let (f);,. = L Nvyv(f)X v with the sum taken for v E Soo. Sup-
pose E horizontal irreducible. We have
= L Nvvof(Ev) + L Nvvof(Ev)
veSfin veSCIO
The group Div A.(X) = Div Ar contains the subgroup Rat(X,l), consist-
ing of the Arakelov divisors of functions f E k(X), f oF O. The factor
group is defined to be the Arakelov Chow group of Arakelov divisor
classes
CH 1 (X,1) = CH(X, 1) = Div Ar(X)/Rat(X, 1).
The Hodge Index Theorem for arithmetic surfaces was done by Faltings
[Fa IJ in the semistable case and Hriljac [Hr 1]. We follow the latter.
We are interested in the intersection form on CH(X, A). Let D,
E E DivO(X F ). Then we define the global Neron symbol, which is none
other than minus the canonical height pairing, to be
For a proof of this fundamental theorem due to Neron, cf. [La IJ,
Chapter 5, Theorems 5.2, 5.3, 7.2; and Chapter 11, Theorem 1.6.
We shall determine an orthogonal splitting of CH(X, A), exhibiting the
signature of the intersection form:
We identify
under DHD.
where this last group is the group of Arakelov divisors rationally equiva-
lent to 0, i.e. divisors of functions. We let the factor group of the last
two be denoted by
OS 1.
(I + <D)D = D + L <DiD),
y
[IV, §2] THE HODGE INDEX THEOREM 79
where cD, is the orthogonalizing map of Chapter III, §2. Then / + cD in-
duces an imbedding
and Proposition 2.7 of Chapter III shows that we have a direct orthogo-
nal sum
Theorem 2.3. The subgroup QCHro is contained in the kernel of the in-
tersection pairing, and on QCHO(X, A.) modulo QCH oo ' the intersection
pairing is negative definite. The number of minus signs is equal to the
rank of the Mordell-Weil group plus the sum of the ranks of the
singular fibral summands QDivy/QXy for y ranging over the points
where X has bad reduction.
On an arithmetic curve
Z = spec(A).
Then Z is a curve, i.e. Z has dimension 1, and Z may have singularities.
Let D be a Cartier divisor on Z. Then we know how to associate a Weil
divisor [D] to D, and
[D] = L ordZ<D)[z],
z
where the index is the number of elements in the factor module. For ar-
bitrary D (i.e. not necessarily effective) the degree is defined by additivity.
Let !/J: Z' --+ Z be the normalization of Z. Then the general formula
for orders on curves gives us:
degz(D) = L degA!/J*D),
z'lz
where the sum is taken over all points z' of Z' lying above z.
A line sheaf 2 on Z being coherent, there exists a module L =
HO(Z, 2) over A such that 2 = L-. The module L is locally free of
rank 1.
Let WE S",,(F(A». The base extension of .P to spec(F(A)w) is then a
one-dimensional vector space over F(A)w, which will be denoted by 2w.
We identify
If we change the section s to hs with some hE F(A), h =I- 0, then degs (2")
changes by
L degih) + L
z weS ao
-logllhll w = °
by the product formula. Indeed, the first sum over the closed points of
the scheme is the same as the similar sum taken over the closed points
of the normalization, and the product formula applies. Hence the degree
function is defined for an arbitrary metrized line sheaf (2", p), and we
therefore write the global degree as
deg z(2", p) = deg(2", p) = deg.(2", p)
without the subscript s, and with or without the subscript Z on deg.
82 HODGE INDEX THEOREM AND ADJUNCTION FORMULA [IV, §3]
Now consider the sheaf (!Jz(D). Locally at z this sheaf is locally free,
with basis f -1 for some f E peA) representing D locally. If.!f is an arbi-
trary line sheaf on Z, then .!f ~ (!Jz{D) for some Cartier divisor D.
From an isomorphism (in the sense of algebraic geometry)
and a metric on .!f we obtain a metric on (!Jz(D) such that the isomorph-
ism preserves the norms at each WE Soo(F(A».
Let .!f = L -. An isomorphism .!f --+ (!J z( D) induces an imbedding of L
in the function field F(A) of Z. Note that the Cartier divisor D is well
defined up to a principal Cartier divisor.
If .!f = (!Jz{D), then .!f is a subsheaf of the constant sheaf F(A), and L
is an A-submodule of peA). In this case, we may take s to be the ele-
ment 1 of the function field F(A). We shall write deg1 . .(.!f) or deg1.z(L)
for closed points z, and deg 1,w(.!f, p) or deg1.w(L, p) at infinity, Then
[IV, §3] METRIZED LINE SHEAVES AND INTERSECTIONS 83
In particular, we can always put what we shall call the trivial or standard
metric l' on (!)zfP) such that 11111. = 1. Then for each wESoo(F(A)) we
have
(A . ) = (A : aLl
.L (A: aA)"
= -log(A : L) + L -loglllllp(w)
w
where the expression on the right is the vector space over R generated
by the free elements [w] corresponding to the archimedean absolute
values of F(A). An Arake10v divisor can then be written as a sum
For each v E SC() we fix a Neron function Av, which we assume is a Weil
function on X v x X v with respect to the diagonal.
D = D fin + L rvXv
veSoo
[IV, §3] METRIZED LINE SHEA YES AND INTERSECTIONS 85
The first expression is the shortest, and D being an Arakelov divisor, the
first expression contains all the data of the other two.
Since A is fixed throughout the discussion, we can also omit the subscript
A, and write simply (!)x(D).
For the intersection theory, the notation with the Neron function was
more appropriate, since AlP, Q) gives the local intersection number of P,
Q viewed as sections. On the other hand, working with sheaves as we
shall do from now on makes the notation with the metric more useful.
One has to be able to go back and forth between the two" depending on
the context. The next theorem gives the precise connection between the
two. We let the Arakelov-Picard group be
Intersections
n: X -+ Y = Spec(R)
E---->X
\/ Y
(2, p)IE.
As we have seen at the beginning of the section, such a line sheaf has a
degree. For convenience of notation, this degree will also be denoted as
an intersection number
(D.E)y = L deg1,z(Dx(Dfin)IE,
zlY
where this second sum is taken over ZED r1 E lying above Y E spec(R).
We leave the detailed checking to the reader, since these relations are
immediate consequences of the definitions.
The purpose of this section is to define the canonical sheaf and to prove
one of its basic properties, the residue theorem. We first recall quickly
the adjunction formula in the geometric case.
88 HODGE INDEX THEOREM AND ADJUNCTION FORMULA [IV, §4]
or tensoring on the other side, we obtain the adjunction formula for sur-
faces:
j:X .... s
with p: S ~ Y smooth, and X is a local complete intersection in S. This
means that the ideal sheaf J defining X in S is generated at every point
by a regular sequence, which we assume to be of the same length. The
conormal sheaf is the locally free sheaf
[IV, §4] THE CANONICAL SHEAF AND THE RESIDUE THEOREM 89
We then define the canonical sheaf of the imbedding to be the line sheaf
Here det = A'0P is the top exterior product. We recall below a proof that
is independent of the factorization po j, up to a natural isomorph-
illpoj
such that, if t'l' ... ,t~ is a local basis of sections of 8', t'~, ... ,t~ are local
sections of 8 mapping onto a local basis l~, ... ,l~ of 8", then
(t'l 1\ ••• 1\ t~) ® (l~ /\ ... /\ l~) f--+ t'l /\ ... /\ t~ /\ t~ /\ ... /\ t~.
Now suppose given two imbeddings j: X --+ Sand j': X --+ S' in smooth
schemes over Y, we let T = S Xy S', so we get a commutative diagram
From the elementary theory of local complete intersections (see, for in-
stance, [F -L], Chapter IV, Proposition 3.9) we have an exact sequence
CS 2. Let
f
Z-+X-+Y
and
and M is a module locally principal over A. The first question is: What
"is" M? Theorem 4.1 will given an answer to this question, and should
be seen as a basic fact of algebraic geometry.
We define the dualizing module (the Dedekind complementary module)
Here Tr denotes the trace from F(E) to F. We note that WAIR is given
with an imbedding in the function field F(E). The dualizing module
bears its name because it represents HomR(A, R) under the pairing given
by the trace. We shall deal with the case when WEIY is locally principal.
Then we let
Since WAIR::J A, the index on the right is the usual one. Then the rela-
tive discriminant can be computed in terms of the integral closure A' of
A (or on the normalization of E) to be
where N is the absolute norm. Cf. the diagram of Lemma 1.1, Chapter
III.
Using the function t as local parameter at the point P, we can then use
dtjt as a basis for the stalk on the right-hand side over the local ring of
P on the generic fiber, so we have the inclusion
. ( 1 ) _ n dt
:Ex 4 :Ex,F 4 (lX/F,F ® (lJxF(EF) P - (lJP,XF ( '
0 0
j j
/x/,P; .$"
j j
n~s,rlR ® (9x,x ~ ~s,rlR ® (9x,x
j ja
0 - - (9x,xdt-- n~x,rIR )~ X,rlR[tl ----+0
j j
0 0
where $" is the kernel of oc. Since t is transcendental over F, and F has
characteristic 0, the module (9x,x dt is free, By the Snake Lemma, there
is an exact sequence
and
Moreover, we have
:f{ ® L = n~s,x/R ® L,
It follows from [Ku], 10.17, that 1J,J..(i)E,x/R) equals the Dedekind differ-
ent 'nD«(!)E,x/R) = (WE/y );l, In fact, we may pass to the completions of
(i)E,x and the local ring of R lying under (i)E.X' Then we have a finite
ring extension which is a complete intersection, since (!)x.x/R was one by
the assumption of Theorem 4.1 saying that .$x is generated by a regular
sequence, By [Ku], 10.17, the differents agree for the completions. (Cf.
[Be].) It is easy to see then that they agree also before completion,
whence
-log 11111 w = O.
or simply
Since the metrics are trivial, the degree of the canonical sheaf is then
entirely given by its finite components, and following thc~ definitions of
§3, we find:
Theorem 5.1
Next we give metrics to the sheaves W XIY and (9x(E). Since metrics de-
pend only on the base change of these sheaves to C v for each absolute
value v, we may replace X by X v' viewed as a complete non-singular
curve over Cv. Then the base change of W XIY to C v is simply nt. To
avoid double indices, we fix v, and we let
and from the basic theory of differential forms, the natural map
Given the absolute value v and the N eron function Av , which we assumed
to be a Weil function on X v x X v with respect to the diagonal:
Let n~/klQ have the metric induced by PA., -Q,v under the isomorphism
In other words, the metric on n~/k is the restriction of the metric P;., -A,v
on (1) x x x( - Ii) to Ii. This makes it clear that the metric varies smoothly
with Q.
e
Let Ev = I. P j be the splitting of E over C., so Ph ... ,Pe are distinct.
j= 1
Then
e
(1)C<E) = (8) (1)C<P j ).
j= 1
9'. = (WX/f,v ® (1)x(E»v has the metric P;',Ev-P"v at the point Pi'
[IV, §5] METRIZATIONS AND ARAKELOV'S ADJUNCTION FORMULA 99
Note that Pi is not in the support of Ev - Pi' Hence from the defini-
tions, and Proposition 2.2 of Chapter I, we get:
the sheaf 2'v = (W x /y ® (lJx(E»)v at the point Pi has the metric pew)
such that, if WE 2' v,p, is an element of the stalk, then
Whereas the ordinary discriminant measures the extent to which two fin-
ite points come together in the residue class field, the quantity d",v mea-
sures how close they come together with the Av-measure at infinity. Each
quantity tends to + 00 as points are closer together. We then find:
Then the formula would be formally identical with the formula in the
geometric case over an algebraically closed field. In any case, we can
also adjust the notation, and specify dE/y.fin for the finite part of the dis-
criminant, just as we specify
The proof of the adjunction formula has essentially been carried out.
The residue isomorphism was used to give a "trivial" metric to W E / y via
WilY in Theorem 4.1, while the extra term in the formula of Proposition
5.2, summed over i, gives exactly the quantity d ..(E). Hence the adjunc-
tion formula is a direct consequence of the definitions. The non-formal
content has been pushed into the statement and proof of Theorem 4.1.
Note that it was the relative discriminant which entered the adjunc-
tion formula. If we let the absolute logarithmic discriminant be the log of
the absolute discriminant:
or dA /Z = d A / R + [F(A) : F]d R / Z .
There is still one point which we have not considered, namely whether
the metrics on the sheaves over X are admissible. The metric we have
given to (7)x(E) is admissible by definition, but there is a problem about
the metric on W x /y. This problem occurs on the generic fiber, so it's a
question of the metric on ab, where C is a complete non-singular curve
over the complex numbers. We gave ab the metric such that the map
[IV, §5] METRIZATIONS AND ARAKELOV'S ADJUNCTION FORMULA 101
is a metric isomorphism for each point Q. The next theorem is also due
to Arakelov.
Proof. In this case, the Chern form in Theorem 3.3 of Chapter II pulls
back under the diagonal to a scalar multiple of the canonical form IJ..
And we know from Theorem 3.1 of Chapter I that two metrics which
have the same Chern form are constant multiples of each other. This
concludes the proof.
(Kx/y.E) + (E.E) = O.
Proof. In this case, both dEfY and diE) are trivially equal to O.
CHAPTER V
Z = spec(A).
and under this imbedding, L is a lattice in L.t. Now for the measures:
Theorem 1.1. Let d A / Z = log D A/Z be the log of the absolute value of
the absolute discriminant. Then
Note that LR = AR : : : : R", Since LeA we have for the trivial metric
Theorem 1.1 (relative). For (l}z with the trivial metric, we have
Theorem 1.2 (Riemann-Roch relative). Again for (l}z with the trivial
metric,
Note that the right-hand side is unchanged from the absolute version,
because the term rkR(A)d Rlz cancels on the left-hand side.
These relative versions will be applied in the Faltings Riemann-Roch
theorem.
where Xl' '" ,X n are the coordinates with respect to e l , .•• ,en' If M is a
lattice in V, then such a Haar measure determines a measure for a
fundamental domain VIM, denoted by Vol(VIM), and also called the
volume of VIM. For example, if M = L Ze;, then
where D is the division group of M' in M, that is, DIM' is torsion, and
MID is free. Let {e 1 , ••• ,er} be a basis of M'IM;or' Then:
The bracket notation means that, say, [e l , ... ,erJ is the free submodule
with basis {el' ... ,er }. Then
so
M rr •• = M'IM;or'
Then
el 1\ '" 1\ er = ±(Dfree : Mrre.)v l 1\ ... 1\ Vr'
Hence
and therefore
Vol(MR/M') Vol(M;jM")
eY = -::-::--:-':-~~-=-c:-=---'-------:==--,-
Vol(MRiM)(Dfre • : Mrree) .
(D . M' ) = IM;orIIM;~rl
fr.e . free IM I '
tor
108 THE FALTINGS RIEMANN-ROCH THEOREM [V, §3]
But trivially,
and so
IM;orIIM~orl IM;orI (Dfree : M~r.e)(Dtor: M;or)
IMtorl IDtorl
= (Dfree : M~r.e),
as was to be shown.
X n (F 0 = 0) n ... n (F d = 0) is empty.
Then X is covered by the affine open subsets F j #- 0 for j = 0, ... ,d, and
so by the definition with Cech cohomology, we have HP(~) = 0 for
p ~ d + 1, as desired.
HO and Hl, which are the only non-trivial ones on our arithmetic surface
X as at the beginning of the section.
By Lemma 3.1 we have HP(X,!F) = 0 for !F coherent on X and
p ~ 2. Also HO(X,!F) and Hl(X,!F) are finitely generated modules over
R, while HO(X, ft') is free if ft' is a line sheaf. Then HP(X, ft')
(mod torsion) is a lattice in HP(X, ft')R (tensor product over Z), and we
have
We define
det(Hft')"" = @ det(Hft')p.
veSoo
We shall apply §2 to the modules HO(X,!l') and Hl(X, !l'), which are
finite over R. For this we need volumes on MR where M is one of these
cohomology modules. Indeed, if M is a module finite over R, then we
can form
MR=M®zR= n M®Fp.
veSoo
This hermitian product gives rise to a metric on HO(C, O~), called the
canonical metric. The corresponding metric on det HO( C, O~) is also
called the canonical metric, with corresponding canonical volume on HO.
We give HO(C, (DC> = C the trivial metric, such that 11111 = 1.
Since H 1 (C, (DC> is dual to HO(C, O~) we give it the dual volume,
which is compatible with C receiving the trivial metric.
Taking C = X" for each v E S co' we have then given a metric on
det H«(DC>, called the canonical metric on det H«(DC>.
We then have the following fundamental theorem of Faltings [Fa 1].
We follow Faltings' notation and for any point P we let 9'[P] denote
the sheaf on X which is 0 outside P and 9'IP at P. We may still
identify the two, but for some purposes we find the different notation
makes matters clearer.
F AL 1. If 9'p = (Dc with the trivial metric, then the F altings metric is
the canonical metric on det H(l!JC>.
FAL 3. For each metrized 9'p and every point P, the short exact
sequence
induces an isometry
FAL 4. If cp: 2'p --+ !L'p' is a sheaf automorphism which multiplies the
norm by a constant c > 0, then the norm on det H(2'p) is mul-
tiplied by
The proof of this theorem will be given in the next chapter. Here we
only draw consequences of the theorem.
[V, §3] FALTINGS RIEMANN~ROCH 111
We note that even if, say, HO(.!l') = Hl(.!l') = 0, the Fa.ltings metric on
det H(.!l'p) = C is not usually the trivial metric such that //1" = 1. We
shall meet later an important case when it is essential to have more in-
formation on such a metric.
Before going to the Faltings Riemann-Roch theorem, we state a
lemma which gives a useful consequence of FAL 3. In this lemma, we
need again the discriminant at infinity, so let g be the Green's function
of the canonical form fJ.. Let P l' ... ,p. be distinct points of C in C(C),
and E = L (P). We let the A.-discriminant be
and A. = tg.
As usual, if .!l' is a line sheaf, we let
•
.!l'p(E) = .!l'pQ9 (J)C<P i );..
i= 1
•
det H(.!l'p)'=' det H(.!l'p( -E» ® Q9 .!l'p[P;]. D;.(E)1/2.
i= 1
~ Hl(.!l'i - E» ~ Hl{.!l'p) ~ 0 ~ O.
has the real volume discrepancy y(H) = -diE), in the notation of §2.
The volumes are of course the F altings volumes.
112 THE FALTINGS RIEMANN-ROCH THEOREM [V, §3]
For the last term on the right we have the metric isomorphism
Remark. Note that the sum over the indices i < j is precisely half the
sum over all indices i # j. This explains the exponent 1/2 in the first for-
mula, expressed in terms of the metric. In the second formula expressed
in terms of the volume discrepancy, there is an extra factor 2 coming
from the fact that the volume of C (as vector space over R) changes by
a square as explained in the preceding section.
The volumes on HOCK, 2'p) and Hl(X, 2'p) are the Faltings volumes. It
is sometimes practical to omit the index and write
and we thus also omit the R for simplicity, but it is the relative Euler
characteristics which are relevant in what follows.
Lemma 3.5.
XEly(lDx(D) IE) = (D. E) - t[(E .E) + (Kxly.E) - d;.(E)].
Proof We have
as was to be shown.
In fact the steps are reversible, so Riemann-Roch for D is equivalent
to Riemann-Roch for D + E if E is a horizontal curve on X.
Case 2
Next suppose that C = X v is a fiber at infinity. Then the right-hand side
changes by N v times
where q is the genus of the generic fiber. As for the left-hand side, the
metric on det H@x(D + Xv) differs from the metric on det H(!)x(D)
multiplicatively by
The ranks hO and hI are the same as the dimension of the cohomology
groups on the generic fiber, and hence Riemann-Roch for D is equivalent
to Riemann-Roch for D + X v if and only if
Case 3
Finally, for the third case, the argument is similar except that we need
the same formalism for a possibly singular curve on the regular arithme-
tic surface. This formalism is essentially classical, except for the need to
[V, §3] FALTlNGS RIEMANN-ROCH 115
W C/k = WC/spec(k)
as in the general definition we gave in Chapter IV, §4. From the general
property of the canonical sheaf CS 2 we get:
of [Ha 1J, Chapter III, Theorem 7.6. Here is the precise point where co-
homological duality becomes relevant. To identify the dualizing sheaf
from cohomology with our canonical sheaf, we can use [Ha IJ, Chapter
III, Theorem 7.11 and Corollary 7.12; see also Chapter II, Proposition
8.20. Note that the proof of Theorem 7.11 does not depend on projec-
tive space, only on the fact that the scheme is regularly imbedded in a
smooth scheme over k. Of course, we could also use all of projective
space if we accept the projective imbedding of X in P~ for some N as in
[LiJ.
Note that deg k W e /k is a classical, geometric analogue of the discrimin-
ant dEfY in Case 1. If k is a finite field, then we can define the more ex-
act analogue
Lemma 3.8.
Instead of the exact sequence of Lemma 3.3 we now deal with the ex-
act sequence
o . . . .P( - C) ...... .P ...... .P IC ...... o.
omitting completely the term d;.(E). This concludes the proof of Faltings
Riemann-Roch.
Lemma 3.9. Let M be a module finite over R. Let R' be the integral
closure of R in a finite extension F' of F, and let
M'=M®RR'.
Then
X(M', R') = [F' : F]X(M, R).
There is no problem about the volumes, which are computed on the gen-
eric fiber, but the torsion in HI presents a problem, and the answer is
NO in general. Faltings asserts the behavior as true in [Fa 1], but he
explicitly assumes that the arithmetic surface is semistable, from the very
beginning (e.g. p. 389). On the other hand, Chinburg [Ch 1], Remark
4.1, and Szpiro [Sz 1] do not mention semistability assumptions, and
thus their formulations are incorrect.
In §5, we shall define semistability formally, and we shall state the re-
levant theorem. Granting this, the reduction of the proof of Riemann-
Roch to the case when E is a section works without further ado in the
semis table case. We avoided base change in the proof of Riemann-Roch,
so we did not encounter the difficulties.
where det is the determinant, which will be recalled in Chapter VI, §2.
Taking degrees yields the Faltings Riemann-Roch as we have stated it.
In Falting's versions, the metrics are admissible, but in Deligne's version,
me tries need not be admissible. A proof can be given following the same
pattern as in this book, but working at the level of sheaves all the time.
For a version in the admissible case, see [MB], who always makes the
semistability assumption. Formula 6.13.2 in [MB] should have been
stated as the theorem, with the Faltings Riemann-Roch numerical formu-
la 6.13 as a corollary.
nD ""' E.
Proof The problem here is at infinity. The theorem says that some
positive multiple of D is linearly equivalent to an effective divisor, even
at the infinite places. Suppose we have a function f on X such that
(f)Ar = E - nD,
-f Xv
log Ilfllv.uv + nrv(D) ~ 0
or equivalently
= - !n 2 (D2) + O(n),
where this last inequality is by Faltings Riemann-Roch. It will be
proved in Theorem 4.1 of Chapter VI that given s, for n sufficiently large
we have
Let c = Jq> dtt· If c = 0 then both sides are - 00. Assume c > O. We use
the inequality
log(l + h) ~ h for h > -1.
V, §5. SEMISTABILITY
curve over a number field, there exists a finite extension F and a regular
arithmetic surface X over Y = spec(R) which is semistable. See also
Artin-Winters [A-W]. In what follows, we avoid the use of such theor-
ems by simply assuming that we are given a semistable model. However,
for applications one must of course use the theorem. One obtains a
bound for the degree and discriminant of the finite extension needed to
make a curve semis table by using some algebraic point to imbed the
curve in its Jacobian, and then adjoining the torsion points of suitably
large order to make the models semistable.
We shall now recall some facts about semi stability and base change.
We begin with two results of Artin.
Here:
p(C ti ) ;;;; 0,
Since XF' is also the generic fiber of X', we have p(X~.) = p(X y.). There-
fore all the above inequalities are equalities. Since p(C ti) = 0, we must
have (C~) < -1 by Castelnuovo's criterion. Since the total fiber is or-
thogonal to all fibral components, it follows that
for all i, j,
The next theorems have to do with HI. We recall that for any
morphism of Noetherian schemes
f: S' --+ S,
Let (!J x be a 2-dimensional local ring, which is normal and has alge-
braically closed residue class field. In [Art 2], Artin defines V = spec( (!J x)
to have a rational singularity if for any birational proper morphism
Proposition 5.3. Let X' ---. X Y' be the minimal desingularization of the
base change as above. Let cp: X' ---. X be the corresponding generically
finite morphism. Let 2 be a line sheaf on X. Then:
Proof The second statement follows at once from the first because
the Euler characteristic is defined partly in terms of a volume on the
generic fiber, in which case there is no difficulty in showing that this vol-
ume changes by the degree of the base extension; and partly in terms of
the torsion in HI, for which we require precisely the first statement for
the torsion group. As to this, we first note that since cohomology com-
mutes with flat base change ([Ha 1], Chapter III, Proposition 9.3) we are
reduced to proving the assertion for a desingularization when the base is
normal, with rational singularities, by Theorems 5.1 and 5.2. Then Lip-
man has pointed out to me that the proof is quite easy, namely: Let fey,
be the pull back of iE to X y', and let f: X' -> X y' be any desingulariza-
tion. Then we have a natural map
Next we deal with the canonical sheaf. When all the fibers of a regu-
lar arithmetic surface are generically smooth, as in the semistable case,
we can describe this sheaf as follows, following Arakelov. Let U be the
open set of smooth points over Y. Then
for some Cartier divisor D on U, and we can let the extension be ex(D)
where D is the Zariski closure of D in X. Such an extension is unique
by the following lemma.
Lemma 5.4. Let iE, ./1{ be two line sheaves on a normal variety. Let U
be the complement of a closed subset which has codimension ~ 2. Let
[V, §5] SEMISTABILITY 127
Thus under the assumption that there are only a finite number of
non-smooth points in the fibers, we can define the sheaf OJ XIY to be the
unique extension of ahlY to X, where U is the complement of the
singular points on the fibers.
Proof Since cp*OJ XIY and OJX'IY' agree on the generic :fiber, they differ
by fibral components, and
As far as I know, the next two theorems, due to Faltings, require semi-
stability for their validity.
(D2) + (D.K) = 0.
Furthermore, (2q - 2)D - K has F -degree 0, so by the Hodge Index
Theorem,
«2q - 2)D - K)2 ~ 0,
whence
(K2) ~ 2(2q - 2)(D. K) + (2q - 2)2(D . K)
~ 2q(2q - 2)(D. K),
as desired. (In the function field case, this inequality is due to Szpiro.)
(C 2 ) + (C. K) = -2 10glk(y)l,
it follows that iiC. C) = iy(C. K) = -1 and then by Castelnuovo's criter-
ion [Sh], p. 102, C must be contractible, contradicting SS 4, that X is a
minimal model. This concludes the proof of (a).
Next we prove (b). Let v be any place at infinity. Th~:re exists a real
number r such that
Indeed, we need (K2) + 2r(K. Xv) > 0, and on the generic fiber we have
(K2) 1 2
(K. (K + rXv» ~ 2 2 2 degF(K + rXv) = -2 (K).
q( q - ) q
Then
whence
1 2 1 2
z(K ) = -ro(K.Xv) ~ 2q (K ),
which implies (K2) ~ 0, and concludes the proof of (b), as well as the
theorem.
130 THE FALTINGS RIEMANN-ROCH THEOREM [V, §6]
On the other hand, when the generic fiber has genus 1, we have the
following theorem.
The question arises when (Ki1y) = °for genus ~2. In the function
field case, this occurs precisely when the family is isotrivial, i.e. splits
after a finite base change. In the number field case when there is no
question of splitting, Szpiro thought this should imply that for curves of
genus ~ 2 (semis table) one should have (Ki/y) > 0. At the Arcata con-
ference in 1985, I raised the question whether the situation is not more
subtle: If the Jacobian has complex multiplication, does this imply that
(Ki/y) = 0, and also conversely? Computations prove to be difficult to
make, e.g. for the Fermat curve or its rational images, and certain modu-
lar curves. The idea, however, is that complex multiplication is the na-
tural way of forcing a curve to have no deformations, so it is a long shot
that this is the condition which corresponds to being isotrivial in the
function field case. There is not enough evidence today to raise this sug-
gestion to the status of a conjecture.
CHAPTER VI
Faltings Volumes on
Cohomology
The main purpose of this chapter is to prove the existe:nce of the Falt-
ings volumes on the determinant of the cohomology of a Riemann sur-
face.
The first two sections of this chapter belong to general algebraic geo-
metry. Determinants are playing an increasingly important role, and
should rapidly make it in basic texts. We develop ad hoc what we need
in §l. Next, we state some complements on the theory of the Jacobian
in §2, relying for some essential basic facts on proofs in [A-C-G-H].
Thus we follow the standard pattern of doing first the sheaf-theoretic re-
sults, and then metrizing them. The main existence theorem is proved in
§3.
We also give the proofs of another result of analysis which has been
used in the application of Riemann-Roch of Chapter V, §4. This result
depends on a volume computation given after the construction of the
Faltings volumes, and also on a lower bound estimate for the average
values of Green's functions. We prove this estimate in the last section.
It is an improvement of a Faltings result due to Elkies. Its proof is pure
analysis, independent of sheaf theory, so we have isolated it for easy re-
ference.
The idea for proving the existence of the Faltipgs volumes on cohomo-
logy is to imbed the sheaves (1)(D) (with some convenient degree) in an
algebraic family, and to construct the determinants of cohomology for
the family. So we have to discuss determinants. We don't need much,
132 FALTINGS VOLUMES ON COHOMOLOGY [VI, §1]
but we shall describe somewhat more than we need to give the reader
some ideal of the general context of determinants. See [K-M] for a sys-
tematic development.
We first describe a special construction, which will be all that we
need.
Let p: C ~ S be a proper smooth morphism over a regular base S,
such that the fibers Cs (s E S) are non-singular curves of the same genus
g. Tn the application, S = X' or S = J is a Jacobian, and C = X x S is
simply a product.
Let 2:' be a line sheaf on C. Then p*2:' is a coherent sheaf on S, and
we have the derived sheaves R i p*2:', with i = 0, 1. For i ~ 2 all these
sheaves are 0 by the appropriate generalization of Lemma 3.1 of Chapter
V. In the application, the base can be taken to be an affine regular ring
as in the examples above, so the proof works in this case. Since R i p*2:'
need not be a vector sheaf in general, we cannot define the determinant
det Rp*2:' directly. Perhaps the simplest way is the following, which has
the advantage of being also the approach of [A-C-G-H], Chapter IV,
§3, for other purposes which will be of use to us later.
and the two middle sheaves (with D in them) are vector sheaves over S.
o o
1= I I 1=
0-----* p*2' -----* p*2'(D 2) -----* p*2'(D 2 )ID 2 ----+ R 1p*2' ----+ 0
I I
I
o
I
o
where %1, %2 are the cokernels. But the extreme left and extreme right
of the two horizontal sequences being the same, it follows that %1 ~ %2
in a natural way. From this we leave it to the reader to verify that the
natural map induced on the determinants by the central commutative
square is an isomorphism. This fact can easily be checked using
modules, and appropriate bases for the free modules which enter into
consideration, i.e. the middle ones.
Lemma 1.2. Let 2' be a line sheaf on C such that 5~ ICs has degree
~ 2g - 1 for all SES. Then:
for any vector sheaf At on S. Cf. [Ha 1], Chapter III, Exercise 8.3. Note
that hO and hI separately may not behave nicely, but X = hO - hI does.
n
det Rp*ff ~ (8) (det tffi)®(-i)i
i= 1
det(u) = uX•
136 FALTINGS VOLUMES ON COHOMOLOGY [VI, §2]
For P = (P l' .•. ,P,) E X' we let Dp = E - (P 1 + ... + P,). We then get a
map
by
Here CI denotes the linear equivalence class of the divisor, identified with
a point in J after we make the translation by (g - 1)Po.
By the theorem of the Jacobian as Picard variety, there is a line sheaf
2 on X x J called the Poincare sheaf, satisfying:
21 (P 0 x J) is trivial;
for each a E J, the line sheaf 21 X x {a} = 2a x {a} is a sheaf of de-
gree g - 1 on X;
[VI, §2] DETERMINANT OF COHOMOLOGY 137
and the map a f-+ 2'a gives an isomorphism between J and isomorph-
ism classes of line sheaves on X of degree g - 1.
Let
,
15 = E x X' - L 15 i.
i= 1
15.(x x P) = Dp x P,
and therefore
Thus
Proof See, for instance, [Ra 1J, III, Exercise 12.4. The lemma used to
be called the seesaw principle (on products).
Proof. This is a special case of Lemma 1.3, since det Rp*<l>* 2' has
weight hO - hI = o.
We shall now determine the sheaf det Rq*2'. First we make a remark
on an injective homomorphism of vector sheaves. Let Z be an integral
scheme, and let $0, $1 be vector sheaves on Z, of the same rank, with
an exact sequence
Indeed, if {e} is a local basis of det E 1, then the image of det T is gener-
ated by some multiple se, with some section s, which defines the divisor
W locally, so the isomorphism is clear.
We shall apply this situation to the case when Z = J, and 8°, 8 1 are
used to compute the determinant of cohomology. For our purposes, the
theta divisor is defined as the sum of the curve taken 9 - 1 times on J,
i.e.
e = <p(X} + ... + <p(X} (g - 1 times).
with the vector sheaves 8°, 8 1 of the same rank. Furthermore, e is the
Cartier divisor defined by det T = o.
for every line sheaf with It-admissible metric p. The conditions listed in
that theorem were a convenient summary of what was used in Riemann-
Roch. We repeat the statement here for convenience.
Theorem 3.1. For every line sheaf fi' p with It-admissible metric p, there
exists a unique choice of hermitian metric on det H(fi'p) satisfying the
following conditions.
F AL 1. If fi' = 01 then the metric on
or
satisfied FAL 1 and FAL 3. The problem is to prove that FAL 2 is sat-
isfied, and this is elaborate.
We have to show that if we have a metric isomorphism
comes from the first two isomorphisms and the construction using
F AL 3. The isomorphism of det Rp* lD{D) with cp~lD i - 0) is such that
the section 1 of lD i - 0) corresponds to the image of 1 under the
isomorphism
C -='+ det HlD{Dp)
It will therefore suffice to prove that the FaItings metric on the fibers of
det Rp*(!)xxx.(D) is induced as the pull-back of a hermitian metric on
(!) i - 0) by CPr' and the other natural isomorphisms of Lemmas 2.2 and
2.4. We shall prove this in Theorem 3.3 below.
For this purpose, we recall that (!) i - 0) has a na turaI metric arising
from the theta functions. Indeed, the map cp: X -+ J induces an
isomorphism cP*: H°(J, O}) -+ HO(X, 01) on the holomorphic differentials.
Therefore there exists a basis {wi. ... ,w;} of holomorphic differentials on
J such that {cp*wf, ... ,cp*w:} is an orthonormal basis on the curve. We
then define the canonical (1, I)-form on J to be
Theorem 3.2. Let 0 be the theta divisor on J. There exists a metric h'
on (!)i - 0) such that
The uniqueness results from Chapter I, Theorem 3.1, that if two met-
rics have the same Chern form, then one is equal to a constant multiple
of the other. The existence is proved in self-contained details in [La IJ,
Chapter 13, Theorem 1.1, Theorem 2.4, Proposition 3.1, and Theorem
4.1, expressed in terms of the Neron function associated with a divisor.
By the formula of Chapter I, Proposition 2.2, we know that if D is a div-
isor on J, then the metric P;., D on (!)iD) is defined in terms of the Neron
function by
for P not in the support of D. Then h' = P;., -8' For our limited pur-
poses, we won't need any other information on the metric h' besides the
statement of Theorem 3.2. To orient the reader, for other purposes, we
recall briefly that if F D is the normalized theta function associated with a
divisor, and defined uniquely up to a constant factor, then the corre-
sponding Neron or Green's function is defined by
where H is the associated hermitian form (see [La IJ, Chapter 13,
Theorem 1.1). Then the Chern form is
144 FALTINGS VOLUMES ON COHOMOLOGY [VI, §3]
Theorem 3.3. Let % = det Rp/I>*!l' ~ cp~det Rq*!l' on X'. Then cp~h'
is a constant multiple of h under the isomorphism of Lemmas 2.2, 2.3
and 2.4.
As already noted, the proof of Theorem 3.3 will conclude the proof
that the Faltings metrics satisfy FAL 2. Then Faltings normalizes the
metric P;',8 (and so hi) by the condition
f
J(C)
1112p .. ,e ~(gll)g
•
g' rJ
= 2- g/2 .
Lemma 3.5. Let h be the Faltings metric on det Rp* (l)x x x.(D). Then
® (l)x(E)[PJT8I - 1 • n G(P"
r
det H(I)x(Dp) ~ det H(I)x(E) ® p)1/2,
j= 1 i<j
The factor ~ disappears because the Chern form is defined from the
square of the norm of a section. Hence we find the sum of the two ex-
pressions:
-(r +9 - 1) L prrJi.
i= 1
For each integer m = 1, ... , r the inverse projection pr: Ji. occurs exactly
r - 1 times in the sum over i < j. This gives rise to a cancellation with
the first term, and yields
by Lemma 3.4.
This concludes the proof of Lemma 3.5, and as already stated, it also
concludes the proof of the existence of the FaItings metrics on the deter-
minant of cohomology.
deg !l' ~ 2g - 1 so
[VI, §4] ESTIMATES FOR THE FALTINGS VOLUMES 147
Then H(!l') = HO(!l'), and we have the Faltings metric, and Fairings vol-
ume on det HO(!l'), which we shall denote by VoI Fal •
On the other hand, we have the L 2 -metric on HO(!l'), given by
Therefore
det H!l'( -PI _ ... - P r ) = C
Lemma 4.2. The positive numbers w(P l' ... ,Pr ) are bounded from below
independently of !l' and r.
Proof Under the isomorphism of Lemmas 2.2, 2.3, 2.4 we have a met-
ric isomorphism
i= 1
Let {S l' ... ,sr} be an orthonormal basis for HO 2' with respect to the
L2-norm. Let prj (j = 1, ... ,r) be the projection on the j-th factor of x r.
VVe have a vector sheaf
r
EB prj(2') on X'
j= 1
and its top exterior power. VVe can define a section j~ of the vector sheaf
by
Then
The above vector sheaf has the orthogonal sum of the hermitian prod-
ucts on each factor, and so its top exterior power has the corresponding
hermitian product, whence a metric so we can take the norm of the
determinant. Then we conclude that
VolFadHO 2' = w(P 1 , ... ,Pr)n G(Pj, P) ·ldet(sj(Pj »)12 Vol 2 1Ho 2'.
i<j
VVe now take the integral of both sides over U, fixing the volumes on
some set, say the unit ball for the L 2 -volume, so that this value is con-
stant. Since U is a Zariski open set, its boundary in x r has measure 0,
and so the integral over U is the same as the integral over x r. VVe use
n
the lower bound for w(P l' ... ,Pr) of Lemma 4.2, and the lower bound of
G(P j , P) which will be proved in Theorem 5.1 of the next section, and
[VI, §5] A LOWER BOUND FOR GREEN'S FUNCTIONS 149
we obtain:
Vol Fa Je- h(,)/2 Vol 2 ~ Lldet(s;(p)W.u(P1) /\ ... /\ .u(P,)
= f x'
Idet(s;(Pj »1 2 .u(P 1) /\ ... " .u(P,)
= r!
f x'
Idet(s;(P)W.u(Pd /\ ... /\ .u(P,) = r!
n
'" t
and therefore
But
Then
E(a, .± at[IOg(~)
x) ~ - 41n ,=1 a,
+ co].
L g(x i , Xj) ~
i¢j
-
n
1
-4 r log r - OCr).
Therefore
as was to be shown.
[VI, §5] A LOWER BOUND FOR GREEN'S FUNCTIONS 151
g(x, Y) ""
--
L I1 ep.lx)ep.ly),
where {ep;.} is an orthonormal family indexed by the positive eigenvalues
of the Laplacian d associated with /1. Referring back to Chapter II, §1,
Theorem 1.5, we know that the Laplacian satisfies
where (jx is the Dirac functional. In this case, the sum of the coefficients
l/A diverges. To make it converge, we replace 9 by
-t),
e --
glx, y) =LT ep;,(x)ep;'(y) with t > O.
y
I shall recall briefly below the justification for the analytic facts that we
are using to ensure convergence, and also the proof of the following
lemma.
E = L ajajg(xi' Xj)
i*j
= ~~[I~e-tilaiep.lXi)r - ~e-2tilarlep;,(Xi)12]
1
g/x, x) = - - log t + 0x(1),
4n
1 a;
t·=--
• 8n a'
As Elkies shows, the same argument proves a similar theorem for all
compact Riemannian manifolds, and he also shows that the result is best
possible by explicitly showing how to place points to achieve the desired
lower bound. We do not reproduce these results here.
We shall now justify the analytic estimates needed for the above
proof. Elkies' proof of Lemma 5.2 held in two lines, assuming some facts
which are standard for analysts; but this book may also be read by alge-
braic geometers or number theorists who may need additional explana-
tions, for which I myself am indebted to Beals.
In the first place, by the Sobolev inequality of elliptic differential
equations, the eigenfunctions are uniformly bounded, independently of A,
on X. In addition, by a standard result of elliptic theory (see, for in-
stance, [Ta], Chapter XII, Theorem 2.1), the number of eigenvalues
(counting multiplicities) bounded by some number M is polynomial in
M, actually O(M2). [This goes essentially back to Hermann Weyl. Also
one can give an expression of the form cMn + O(M n - 1 ) on an n-dimen-
sional manifold, with the main term being classical, and the good error
term being due to Hormander [Ho], but we don't need anything so pre-
cise here.] So the expression for gt converges pointwise perfectly well for
t > 0, and can be differentiated term by term with respect to t.
There remains to prove Lemma 5.2. We first make some remarks on
the maximum principle.
au = Au
at
Then either u is constant, or for every t > 0 we have
This follows from [P- W], Theorem 3, p. 173, and the following remark,
p. 174. In fact, suppose sup u(x, t) is attained at xo. Let U be a co-
ordinate neighborhood of Xo and let V be an analytic disc in U contain-
ing Xo such that j7 c U. Applying the above theorem and remark to u
in V x R we have that either u is constant in j7 x [0, t], or there is a
point in j7 x [0, t) where u has value greater than u(xo, I); iterating this
we see that if u is not constant, then (*) holds.
Therefore
1
gt(x, x) = - -- log t + 0(1).
4n
Diophantine Inequalities
and Arakelov Theory
Heights
where the sum is over all places of F(P) and [x: y: z] are homogeneous
coordinates for the image of P in p2.
On the other hand, heights can be defined via the methods of Arake-
lov intersection theory, as follows. If P E XF(Qa), then let Ep be the
Zariski closure of P in X, so that Ep is an irreducible horizontal divisor
said to correspond to P. Let D be an Arakelov divisor on X.
[ApP. §1] GENERAL INTRODUCTORY NOTIONS 157
1
PI-+[F(P):Q] (D.E p)
is a height function in the class of heights mod 0(1) associated with the
restriction of D to the generic fiber X F •
Discriminants
1
d(F) = [F: Q] log DF/Q'
d(P) = d(F(P».
Stability
Also let
The number deg 7r",.W x /y is an invariant of the family X/Y measuring its
complexity in much the same way as the height measures the complexity
of a point on a variety.
[ApP. §1] GENERAL INTRODUCTORY NOTIONS 159
The same definitions of the Faltings heights carry directly over to the
number field case once we have defined a metric on det 7T..OJ x / y ; for this
we use the canonical metric as in Chapter V, §3.
Remark. Deligne has found an example when deg 7T..OJ x /y can be neg-
ative, because of the Green's functions at infinity. This i8 of course un-
like the function field case, but this is of no consequence for §4.
160 DIOPHANTINE INEQUALITIES AND ARAKELOV THEORY [ApP. §2]
The purpose of this section is to prove the following result which devel-
oped from the work of Van de Ven, Bogomolov, Miyaoka, Yau, and
Parshin.
Proof Let X # denote the associated stable model. For each singular
point P E X # let Z p be the inverse image in X; then Z p will be a chain
of ( - 2)-curves of length np. If q = 0 then let D be a divisor consisting
of two distinct smooth fibers of n. Otherwise let D = O. Let Kx denote
the canonical divisor of X. Then Kx + D is numerically effective; i.e., for
all curves C on X, the intersection number (K x + D. C) ~ O. Theorem
1.1 of [Miy 2] (with N' = E = Ip Z p and N = 0) then gives
<1.
IIp + 1
[ApP. §2] THEOREMS OVER FUNCTION FIELDS 161
The value for C2 above follows from [Ara 1], p. 1288. The theorem then
follows from the above equations and (1).
Proof Note that the maximum has disappeared: one cannot have a
curve over A I with good reduction everywhere, because adjoining divi-
sion points to the Jacobian would produce a non-trivial etale cover of
AI.
Now, let Y' be a cover of Y of degree de, where d and e are natural
numbers and Y' is ramified to order exactly e at all points lying over
points of Y of bad reduction. Such a curve can be constructed by the
Kodaira - Parshin construction if q ~ 1 and by more elementary means if
q = O. (In the latter case we may require e to be odd.) Then, applying
Theorem 2.1 to the minimal desingularization of X x y Y' gives
if q ~ 1.
Lemma 2.3.
x(@x) = l2(Ki + c 2}
= l2«Wi/y) + 1J) + (g - l)(q - 1).
(Note that E of [Ara 1] equals the dual of 1t* W x / y ; see p. 1293.) This
gives the lemma.
162 DIOPHANTINE INEQUALITIES AND ARAKELOV THEORY [ApP. §2]
Note that Lemma 2.3 is close to the form in which Noether's formula
carries over into the case of Arakelov theory-for the left-hand side use
instead deg det Rn*(W x /y), with notations and metrics as in Chapters V
and VI. See [Fa 1].
Therefore Corollary 2.2 becomes
g-l b
deg n*W x/y :;:;; -6- (2q - 2 + s) + 12·
Theorem 2.4.
This agrees well with a result due to Arakelov (implicit in [Ara 1]),
that
Theorem 2.5. Assume Conjecture 5.7.5 of [V] holds. Fix g and e > O.
Fix a smooth projective complex curve Yo of genus qo, and a finite sub-
set S of closed points of Yo. Let Y denote a smooth projective curve of
genus q mapping onto Yo and let [Y: Yo] denote the degree of that
morphism. Then, as X varies over semistable families of curves of genus
g over Y with good reduction at all points of Y not lying over S,
(2)
and
Proof For (2), use [V], (5.7.5)-(5.7.7), together with the definition
s = L 10glk(v)l.
veS
With these identifications, much of the above discussion ,~arries over into
the number field case (conjecturally, at least). The next two sections will
cover this in more detail.
Notice that in Question 3.2 we are summing over finite places. This
differs from Parshin's formulation, in which he uses Faltings' definition of
(\ for archimedean v. (See the definition after Theorem 3.3 of Chapter
VI; we will not discuss it further here. See also [Fa IJ, Section 6, as well
as [B-BJ and [B-G-S].) The problem here is that we are dealing with
two concepts, b v and b:. Before discussing this in detail, we shall digress
briefly to discuss the general setup. Recall from Section I the discussion
of the moduli space vi! 9 of stable curves of genus g. Let v be an archi-
medean place of F; it corresponds to an injection (J: F c.. C. Applying (J
to the generic fiber of X/Y then produces a complex curve which we will
write as X()". This corresponds to a point m(X()") on vl!iC). The desired
functions b()" = b()",x/y (resp. b: = b:' x /y) should then be obtained by eva-
luating some function on vl!iC) at the point m(X()").
Now, returning to the matter at hand, we point out that Faltings' b"
is an analogue of our bv because he uses it for Noether's formula on a
semistable model. This makes sense also because bv at non-archimedean
places depends on the fiber over the local ring, and it makes sense to
translate a p-adic analytic definition into a complex analytic definition.
On the other hand, b: depends only on the special fiber" so on the mo-
duli space, it is a question of which Zariski closed subsets of the bound-
ary contain the point m(X v), At archimedean places, the generic fiber of
X /Y is assumed to be smooth, therefore m(X ()") never lies on the bound-
ary of the moduli space. Hence the archimedean analogue of b: should
be zero.
If the reader is not comfortable with the above argument, however,
the results of this section still remain valid for ba coming from any con-
tinuous function on vi! iC). Indeed, we will be applying the inequality of
Question 3.2 to surfaces X;/Y; obtained from (varying) algebraic points
P on a fixed X/Y via the Kodaira-Parshin construction. For any corre-
sponding embedding (J: F; ~ C, it is also true that Xp,o' coincides with
the curve obtained by applying the Kodaira-Parshin construction to the
point (J(P) on X a' In particular, m(X p,a) varies continuously with (J(P)
on vi! y(C). Since continuous functions on compact sets are bounded, b()"
would then be bounded for all archimedean places (J. Th.e bound, how-
ever, would necessarily depend on the generic fiber C of X/Y, and it is
not clear how effective this bound is.
The Parshin construction of ramified coverings of a given curve there-
fore leads us to formalize some properties of the families of curves ob-
tained in this way. Let:!l' = {X/Y} be a family of semistable arithmetic
surfaces. We shall say that :!l' is a limited family if it satisfies the follow-
ing conditions.
(WilY)
[F: Q] ~ a 1 (2g - 2)d(F) + a;t',
where a l is the constant of Question 3.2 and a;t' depends on !!l".
Lemma 3.6. For each point P as above there exists a semistable arith-
metic surface
(c) d(F");::;; id(P) + as, where as depends only on X and [F(P): F];
(d) We have
where E~ and E; are sections of n" lying over E;, and D" is
supported only on fibers of nil; and
(e) We have
Proof The proof draws many of its ideas from Parshin and Szpiro
[Sz 3]. We break it down into six steps.
Also, let Sl denote the set of places of F where C has bad reduction,
together with all places lying over 2.
Step 1. Construct an (almost) etale cover of X. Let C' be an etale
cover of C of degree two. Let F 1 => F be a field over whil~h C' is defined
and attains semistable reduction. Let X 1 be a minimal desingularization
of X x y Y1. Then the function field of C' is obtained from the function
field of C by adjoining the square root of a function, say, k(C') =
Jh),
k( C)( where h is a rational function on Xl.
168 DIOPHANTINE INEQUALITIES AND ARAKELOV THEORY [ApP. §3]
O.,[[TJ],
where (!" is the local ring of F'3 at v. This holds because the local ring is
regular and the fiber is irreducible at x. This ring is a UFD, so we can
factor has,
h= uteh~l ... h~r,
a+~
2
Therefore, D5 is supported only at fibers over 2 and 00. Also, the bad
reduction of each fiber over v is independent of P if v,r 2 and varies over
a finite set of possibilities if v 12. This family also has good reduction
outside of places over S l'
(h') = Es - E~ + 2D + D',
where D' is supported only on fibers of ?t6: X 6 -+ Y6 • Restricting D' to
smooth fibers gives a fractional ideal of R 6 ; by Minkowski-type compu-
tations, it is linearly equivalent to an ideal b of norm bounded by,
But the difference between the pull back of E~ and 2(E'{ + E'2) is sup-
ported on exceptional divisors for the morphism from X" to X'; there-
fore,
2(f*Wx/y·E~ + E'2) _ (WX'/y,.E~)
degf - [F(P): F] .
Moreover,
Therefore,
Recall that degf = 4[F" : F] and that the genus in Conjecture 3.3 equals
4g - 2 for the present family. Consolidating a few constants and taking
note of condition (c) of Lemma 3.6 gives
f: C -+ C
of complete smooth curves over the complex numbers. We let g' and g
be the Green's functions on C and C respectively. viewed as functions
on the product minus the diagonal. Let
a: C x C - 11' -+ R
such that
g'=go(fxf)+a.
R = L (e a, - l)(Q').
Q'
where the sum is taken over all complex points Q' of c. If Q is not a
ramification point of f. then g' - g (f x f) extends by continuity to
0
(Q. Q) since g' and go (f x f) have the same singularity at (Q. Q). Ex-
tending g' bilinearly to divisors. so
1
h!AP) ~ ~ d(P) + shEep) + 0(1).
c
All terms used in the statement of the conjecture are: defined in [V].
We only want to help the reader with a quick statement.
Conjecture 4.2. Fix a base Yo, g> 1, a finite set of finite places S, and
s > O. For all extensions Y of the base Yo and all semistable families
n: X --> Y of genus g, with good reduction at points of Y not lying over
S,
Proof By [Sz 4], X.1, there exists an etale cover C of C mapping into
(the moduli space of curves of genus 4g - 2):
J{ 4g _ 2
c
Let K (resp. K') denote the canonical divisor of C (resp. C). If P' E C
lies over PEe, then
To justify the first inequality, we note that the diagram (*) is obtained
by applying the Kodaira-Parshin construction as in L(:mma 3.6 to the
diagonal ,1 on C x C, regarded as a point on C rational over k(C). This
produces a surface n: W --+ C which also maps to C x C; the morphism
f: W --+ C x C has degree 4 deg p and is ramified only over,1. Thus
= i( deg f)(2g - 2)
One should also note that on page 264 of [Sz 4], the equation
§5. APPLICATIONS
Lemma 5.1.
3
d(P) ~ 210g 2 +- L log p
4 plabc
Lemma S.2.
Lemma 5.3.
max(lal, Ibl, lei) ;?; 2n + 2.
Proof. We may assume that 0 < a < b < e. Letting x := e - 1, we have
b :S; x; a :S; x-I; therefore,
By "Descartes' rule of signs," f has a unique positive n~al root (); since
f(2n) < 0, () > 2n. Therefore e is an integer strictly greater than 2n + 1.
No doubt better elementary bounds exist.
Combining Lemmas 5.1 and 5.2 with Conjecture 3.4 gives
n 15al
4log max(lal, Ibl, lei) ~ a4 + a 9 + -2- (2 log 2 + £log max(lal, Ibl, leI».
N = Radical(abe) == n p.
plabc
We obtain
45a 1
log max(lal, Ibl, leI) ~ -2-log N + 6Oa 1 10g 2 + 4a4 + 4a9'
L R
Laplacian 27 Rank 57
Limited family 165 Rat 52, 76
Line sheaf 1 Rational equivalence 52
INDEX 187