Uploaded by mohammad.mualla1

lecture notes LSGNT

advertisement
NON-ARCHIMEDEAN GEOMETRY
JOHANNES NICAISE
Abstract. These are the lecture notes for an LSGNT/TCC course in
the Winter term of 2017. Please report any typos or other errors you
find!
1. What is non-archimedean geometry?
1.1. Non-archimedean fields.
(1.1.1) Let k be a field. An absolute value on k is a multiplicative norm,
that is, a function
| · | : k → R≥0 : x 7→ |x|
that satisfies the following axioms:
(1) |0| = 0 and |1| = 1;
(2) |xy| = |x| · |y| for all x, y in k;
(3) triangle inequality: |x + y| ≤ |x| + |y| for all x, y in k.
We say that | · | is non-archimedean if a stronger version of (3) holds:
(3’): ultrametric triangle inequality: |x + y| ≤ max{|x|, |y|} for all x, y
in k.
We say that | · | is archimedean if it is not non-archimedean.
Exercise 1.1.2. Show that the inequality in (30 ) is always an equality if
|x| =
6 |y|.
Exercise 1.1.3. Show that an absolute value | · | on k is archimedean if and
only if it satisfies the archimedean property: for every real number r there
exists an integer n such that |n| ≥ r. Thus | · | is non-archimedean if and
only if | · | is uniformly bounded on the image of Z in k. Hint: consider the
binomial expansion of (x + y)m and send m to ∞.
Definition 1.1.4. A non-archimedean field is a field k endowed with a nonarchimedean absolute value | · | such that k is complete with respect to the
metric induced by | · |.
(1.1.5) Let (k, | · |) be a non-archimedean field. We will use the following
notation (due to Berkovich):
k o = {x ∈ k | |x| ≤ 1}
k oo = {x ∈ k | |x| < 1}
e
k = k o /k oo
1
2
JOHANNES NICAISE
Exercise 1.1.6. Show that k o is a valuation ring in k, that is, it is a subring
such that for every non-zero element x of k, either x or x−1 belongs to k o .
Show that k oo is the unique maximal ideal in k o ; thus e
k is a field.
We call k o the valuation ring of k and e
k the residue field of k. The set
of absolute values of non-zero elements in k is a subgroup of (R>0 , ·),
called the value group of k.
|k ∗ |
Example 1.1.7.
(1) On any field k we can consider the trivial absolute value | · |0 , defined
by |0|0 and |x|0 = 1 for all x in k ∗ . The pair (k, | · |0 ) is a nonarchimedean field, with k = k o = e
k and k oo = (0). Although this
construction seems empty, analytic geometry over the trivally valued
field actually has some deep and surprising applications!
(2) Let F be any field and set k = F ((t)), the field of Laurent series
over F . We endow it with a t-adic absolute value, given by |0| = 0
and |x| = εordt (x) where ordt (x) is the t-adic valuation of x (the
smallest exponent of t with non-zero coefficient in the Laurent series
expansion). Here ε is a fixed value in (0, 1). As ε varies all these
absolute values are equivalent in the sense that they give rise to the
same metric topology on k, but they are different as absolute values.
We have k o = F [[t]], k oo = (t) and e
k = F.
(3) Let p be a prime number and let k = Qp be the field of p-adic
numbers. We endow it with a p-adic absolute value, given by
|0| = 0 and |x| = εordp (x) where ordp (x) is the p-adic valuation of
x (the smallest exponent of p with non-zero coefficient in the p-adic
expansion). Here ε is a fixed value in (0, 1). In number theory, it is
customary to take ε = 1/p (for instance to get a so-called product
formula). As ε varies all these absolute values are equivalent in the
sense that they give rise to the same metric topology on k, but they
are different as absolute values. We have k o = Zp , k oo = (p) and
e
k = Fp , the field with p elements.
(4) If (k, | · |) is a non-archimedean field, then | · | extends uniquely to an
absolute value on any algebraic extension k 0 of k (here we use the
assumption that k is complete). The field k 0 is complete if it is a
finite extension of k but not in general; its completion is denoted by
kb0 and is again a non-archimedean field. If k 0 is an algebraic closure
of k, then kb0 is still algebraically closed. These considerations allow
us to produce new examples of non-archimedean fields. For instance,
if k = C((t)) then
[
ka =
C((t1/n ))
n>0
is an algebraic closure of k, called the field of complex Puiseux series.
Exercise: describe the extensions of the t-adic absolute values to k a
and determine the completion of k a . If k = Qp and k a is an algebraic
ca is denoted by Cp and called the field of
closure, the completion k
complex p-adic numbers. It is difficult to describe this field explicitly
NON-ARCHIMEDEAN GEOMETRY
3
because the extensions of Qp of degree divisible by p are hard to
classify.
(1.1.8) The absolute values on Q have been completely classified by
Ostrowski (1916).
• Archimedean: | · |r∞ where | · |∞ denotes the usual absolute value and
r is an element of (0, 1] (note that the triangle inequality is violated
for r > 1). These are all equivalent and the completion of Q with
respect to any of these is R.
• Non-archimedean: the trivial absolute value | · |0 and the p-adic
absolute values, for all primes p and bases ε ∈ (0, 1). For fixed
p, the p-adic absolute values are all equivalent and give rise to the
completion Qp .
1.2. Why do we care about non-archimedean fields? Nonarchimedean fields pop up in the “local” study of families of objects in
number theory and algebraic geometry. Let us discuss some representative
examples.
(1.2.1) Number theory: diophantine problems (finding solutions of
polynomial equations) over Q are hard! It is often useful to consider the
problem over R and all the p-adic fields Qp (where we can exploit the
analytic structure given by the absolute value) and then try to glue these
“local” data together to an answer over Q. This is called the “local-toglobal principle”. The archetypal example is the Hasse-Minkowski theorem
for quadratic forms: two quadratic forms over Q are equivalent (i.e., they
coincide up to a linear coordinate change) if and only if they are equivalent
over R and all the p-adic fields Qp . These “local” equivalences can be
checked explicitly by computing some basic invariants. One can deduce
that a quadratic form over Q has a non-trivial zero if and only if this holds
over R and all the Qp .
(1.2.2) Algebraic geometry: suppose that we want to understand the
geometry of a smooth projective variety X over C. A standard technique
consists in placing X in a family that degenerates into a union of irreducible
components with a simpler structure; for instance, we can try to let a curve
of positive genus degenerate into a union of projective lines. We try to find
a variety X together with a morphism
f : X → A1C = Spec C[t]
such that f −1 (1) is isomorphic to the curve X and X0 = f −1 (0) is a union
of projective lines. In order to draw conclusions about the shape of X we
need to understand what happens to the fibers of f as t approaches 0. The
correct way to do this in algebraic geometry is to consider the base change
X ×C[t] C((t)). This is a projective variety over the non-archimedean field
k = C((t)) that can be thought of as an infinitesimal punctured tubular
neighbourhood around X0 . We can exploit the analytic structure given by
the absolute value on k to analyze the geometry of our degeneration (this is
closely related to tropical geometry).
4
JOHANNES NICAISE
1.3. What is wrong with k-analytic manifolds?
(1.3.1) Non-archimedean geometry is the theory of analytic spaces
(manifolds) over non-archimedean fields. Let us first decide what to expect
from such a theory by looking at the classical setting over the complex
numbers. Let X be a smooth complex algebraic variety. Then, through a
process of analytification, we can turn X into a complex manifold X an (we
will recall the construction below). The important points about this process
are the following:
(1) We can apply new tools to X an compared to X, namely, those coming
from complex analysis, differential geometry and algebraic topology
(for instance, Hodge theory).
(2) If X is proper, we do not lose information by passing to X an .
This is guaranteed by Serre’s GAGA principle (GAGA=géométrie
algébrique et géométrie analytique). It says, among other things, that
two smooth and proper complex varieties X and Y are isomorphic
if and only if their analytifications are isomorphic as complex
manifolds. Thus we can reconstruct X from X an , at least in
principle. Beware that this fails if X is not proper.
Point (2) is essential and we will see below that it fails miserably if we adopt
the naı̈ve definition of analytic manifold over a non-archimedean field.
(1.3.2) Let us briefly recall the construction of X an . Its underlying set is
the set X(C) of points of X with complex coordinates (that is, the closed
points of the scheme X). To define its analytic structure, we can follow
two approaches, one more explicit and one more intrinsic. For the explicit
approach, cover X by affine opens U and embed each of these opens as
a closed subvariety into some affine space AnC . Then U is described by
polynomial equations inside AnC and the same equations define a complex
manifold U an inside Cn . Gluing these together we get X an .
(1.3.3) More intrinsically, we can endow X(C) with the weakest topology
such that the following properties hold:
(1) it is stronger than the Zariski topology, in the sense that the inclusion
ι : X(C) → X is continuous with respect to the Zariski topology on
X;
(2) for every Zariski-open U in X and every regular function f ∈ OX (U ),
we can consider the induced map
f an : ι−1 (U ) = U (C) → C : u 7→ f (u)
and its absolute value |f an |. We require that |f an | is continuous with
respect to the usual topology on R.
The resulting topology on X(C) is called the complex topology. If V is
an open in X(C), we say that a function V → C is analytic if it can be
locally written as a uniform limit of regular functions. This defines a sheaf
of analytic functions OX an on X(C). One can show that the locally ringed
space X an = (X(C), OX an ) is a complex manifold and that this construction
is equivalent with the first one.
NON-ARCHIMEDEAN GEOMETRY
5
(1.3.4) We want to set up a similar construction over a non-archimedean
field k. We endow k with its metric topology. For every open V in k n , we
call a function V → k analytic if it can locally be written as a converging
power series in the coordinates on k n with coefficients in k. Then we can
define k-analytic manifolds in the usual way, either via charts and atlases
or as locally ringed spaces in k-algebras that are locally isomorphic to a
pair of the form (V, OV ) with V an open in k n and OV the sheaf of analytic
functions on V . This theory is developed in detail in [J.-P. Serre, Lie algebras
and Lie groups, 1965]. For every smooth algebraic variety X over k, we can
put a structure of k-analytic manifold on the set X(k) by simply copying
either of the two constructions over C. This construction is perfectly welldefined, but the problem is that we lose almost all the geometric structure in
the analytification process because the geometry of k-analytic manifolds is
quite poor. In particular, the GAGA principle breaks down in a spectacular
way1. This is due to the pathological nature of the metric topology on k, as
we will now discuss.
(1.3.5) An “open”, resp. “closed” ball in k is a subset of the form
B − (a, r) = {x ∈ k | |x − a| < r}
B + (a, r) = {x ∈ k | |x − a| ≤ r}
with a in k and r in R>0 . We put “open” and “closed” between quotation
marks because we will see that these balls are actually simultaneously open
and closed in the metric topology. We call a a center of the ball and r
a radius. The radius is not always uniquely determined, except when the
value group |k ∗ | is dense in R>0 (for instance, if k is non-trivially valued
and algebraically closed). As for the center, we have the following surprising
property.
Proposition 1.3.6. Any point of a ball (“open” or “closed”) is a center of
the ball.
Proof. Exercise.
(1.3.7) This property is of course very different from what we are used to
over R and C. It depends in a crucial way on the ultrametric property of the
absolute value, and it has profound consequences for the metric topology on
k.
Corollary 1.3.8. If two balls in k intersect, then one is included in the
other.
Corollary 1.3.9. Every ball in k is both open and closed in the metric
topology.
Corollary 1.3.10. The metric topology on k is totally disconnected, that
is, the only connected subsets are the singletons and the empty set.
Exercise 1.3.11. Prove these corollaries.
1A superficial issue is that we only considered k-rational points on X, and this set may
be too small and even empty, but this is easy to fix; however, even if k is algebraically
closed, much more serious problems remain.
6
JOHANNES NICAISE
(1.3.12) This is very bad news for the geometry of k-analytic manifolds:
they can be broken up into arbitrarily small disjoint open pieces which
behave independently from each other, and there is no global geometric
structure at all! Let us look at a few instances of this problem. Consider
the function f : k → k that maps x to 1 if |x| ≤ 1 and to 0 otherwise. This
function is locally constant, thus certainly analytic according to our naı̈ve
definition. But we could have given any other constant value to the points
x with |x| > 1. Thus the restriction of f to the unit ball B + (0, 1) knows
nothing at all about the shape of f on the complement of this ball. This is
very different from what happens over the complex numbers, where we have
the principle of analytic continuation. There are simply too many analytic
functions according to our definition; in particular, we would much prefer a
definition such that the analytic functions k → k are those that are globally
given by converging power series. As we have just seen, this property can
not be checked locally in the metric topology.
(1.3.13) The plethora of analytic functions also leads to too many
isomorphisms between k-analytic manifolds, and thus too few isomorphism
classes. This is the death of the GAGA principle: many non-isomorphic
proper and smooth k-varieties have isomorphic analytifications, so that we
cannot hope to recover the geometry of the variety from its analytification.
An extreme illustration is given by the following theorem by Serre. A nonarchimedean field is called a local field if the absolute value is non-trivial and
the metric topology is locally compact; one can show that the local fields are
precisely the finite extensions of p-adic fields and the Laurent series fields
over finite fields. In particular, the residue field of a local field is always
finite.
Theorem 1.3.14 (Serre). Let k be a local field and denote the cardinality
of its residue field by q. Then every non-empty compact k-analytic manifold
of dimension n is isomorphic to a disjoint union of s copies of B + (0, 1)n ,
for some unique element s in {1, . . . , q − 1}.
Proof. We only give a brief sketch. It is not difficult to see that every nonempty compact manifold is isomorphic to a disjoint union of s copies of
B + (0, 1)n , for some positive integer s. We can always arrange that s lies in
{1, . . . , q − 1} by observing that B + (0, 1) itself is isomorphic to a disjoint
union of q copies of B + (0, 1) (look at all the cosets of k oo in k o ; by translation
and homothety, each of these is isomorphic to B + (0, 1)). The subtle point
is the uniqueness of s. Serre gave a direct but cumbersome argument in [Lie
algebras and Lie groups] and a much more elegant proof in [Topology 1965],
involving p-adic integration.
Thus we need to be (much) more clever in defining analytic spaces over
non-archimedean fields, to overcome the problem of total disconnectedness.
We will discuss some approaches in the next lecture, and then focus on one
of them, developed by Vladimir Berkovich at the end of the 1980s.
NON-ARCHIMEDEAN GEOMETRY
7
2. Berkovich spaces
2.1. The development of non-archimedean geometry.
(2.1.1) The first systematic theory of non-archimedean geometry was
developed by John Tate in the 1960s, following ideas by Grothendieck.
His results were first informally distributed in the form of lecture notes
and then published in Inventiones Mathematicae as the foundational paper
Rigid analytic spaces (1971). Remarkably, the publication was an initiative
of the editorial board, as Tate had never submitted the paper. Tate called
the analytic manifolds that we considered in the first lecture wobbly, and
his new spaces rigid, as the whole point of the theory was to give them a
stronger global structure. The key idea is to modify the topology on analytic
manifolds by only allowing certain types of open covers. This gives rise to a
Grothendieck topology, a generalization of the classical notion of a topology2.
One of Tate’s main motivations was to explain certain calculations on elliptic
curves in terms of a non-archimedean uniformization theory. The class of
elliptic curves where these methods apply are now called tate curves.
(2.1.2) An alternative viewpoint on Tate’s theory was proposed by Michel
Raynaud in the early 1970s. Raynaud’s idea was to describe Tate’s rigid
spaces as generic fibers of so-called formal schemes. The theory of formal
schemes, developed by Grothendieck, is not too different from ordinary
scheme theory and some significant technology is available to study them;
the advantage of Raynaud’s viewpoint is that we can now also apply this
technology to rigid spaces. These ideas were systematically developed by
Siegfried Bosch and Werner Lütkebohmert in the 1990s.
(2.1.3) A different approach was taken by Vladimir Berkovich around
1990. He put forward the idea that the topology itself is not the problem,
but rather that there are many points missing on non-archimedean manifolds
according to the naı̈ve definition. Adding these points gives a more solid
structure to the manifold and gives rise to a satisfactory theory of nonarchimedean geometry. Berkovich’s theory is in several respects the closest
to the theory of real and complex manifolds; this is the approach that we
will follow in this course.
(2.1.4) We should also mention the theory of adic spaces, introduced by
Roland Huber in the 1990s. This theory looks much less like real or complex
geometry but it has important and profound applications in arithmetic
geometry, particularly in the context of Peter Scholze’s work on perfectoid
spaces and the Langlands program. Huber’s theory can be applied to a
wider range of algebraic objects than Berkovich’s formalism; in particular,
it allows one to deal with objects that are not locally of finite type over a
base field.
2In this case, the generalization is relatively mild, because the admissible opens are
still subsets of the manifold.
8
JOHANNES NICAISE
(2.1.5) Today, rigid geometry has largely been overtaken by the theories of
Berkovich and Huber, which exist in parallel; depending on the applications
you are interested in, one of them may be better suited than the other.
Nevertheless, the use of formal schemes is still an important aspect of both
theories.
2.2. Berkovich’s analytification functor.
(2.2.1) In a first approach, we will only discuss analytifications of algebraic
schemes over a non-archimedean field k. These only form a small portion of
the objects in Berkovich’s category of analytic spaces, but will already yield
several interesting applications. We will discuss a more general set-up later
in the course (if time permits). Let X be a k-scheme of finite type. Then the
Berkovich analytification X an is defined as the set of couples x = (ξx , | · |x )
where ξx is a (scheme-theoretic) point of X and | · |x is an absolute value
on the residue field κ(x) that extends the given absolute value on k. It is
essential that we allow ξx to be a non-closed point: if ξ is a closed point
of X then κ(ξ) is a finite extension of k and there is a unique extension of
the absolute value on k to κ(ξ). Thus there is only one point x in X an with
ξx = ξ and we get nothing new. If ξ is not closed, κ(ξ) is a transcendental
extension of k and there will be infinitely many extensions of the absolute
value on k to κ(ξ). These absolute values supported at non-closed points
constitute the main part of the Berkovich space X an .
(2.2.2) We can endow X an with a topology by copying the characterisation
of the complex topology from the first lecture. It is the weakest topology
that satisfies the following properties.
(1) It is stronger than the Zariski topology, in the sense that the forgetful
map
ι : X an → X : x 7→ ξx
is continuous with respect to the Zariski topology on X;
(2) For every Zariski-open U in X and every regular function f ∈
OX (U ), we can consider the induced map
|f | : ι−1 (U ) → R : x 7→ |f (x)| := |f (ξx )|x .
This definition makes sense because ξx lies in U so that f is defined
at ξx and its evaluation is an element of the residue field κ(ξx ). We
require that |f | is continuous with respect to the usual topology on
R.
Exercise 2.2.3. Assume that X is affine.
(1) Show that we can also describe the set X an as the set of all
multiplicative seminorms O(X) → R≥0 that extend the absolute
value on k.
(2) Show that we can also characterize the topology on X an as the
weakest topology such that the function |f | : X an → R is continuous
for every f in O(X).
NON-ARCHIMEDEAN GEOMETRY
9
Exercise 2.2.4. Assume that k is algebraically closed. Then we can embed
the set X(k) into X an by sending each ξ ∈ X(k) to the unique point in
ι−1 (ξ). Show that the induced topology on X(k) is the metric topology.
(2.2.5) For every point x of X an , we define the residue field H (x) of X an
at x as the completion of κ(ξx ) with respect to the absolute value |·|x . This is
again a non-archimedean field, and the inclusion k → H (x) is an isometric
embedding; we say that H (x) is a valued extension of k. Just like any other
non-archimedean field, H (x) has a valuation ring H (x)o with maximal
f(x) (notice the clash of terminology here:
ideal H (x)oo and residue field H
we consider the residue field of the residue field at x).
(2.2.6) Finally, we can define a sheaf of analytic functions on X an . An
analytic function f on an open V of X an is a rule that assigns to every point
x in V an element f (x) of the residue field H (x) such that f is locally a
unform limit of regular functions on X. More precisely, every point x of V
there should have an open neighbourhood W in V such that the restriction
of f to W is a uniform limit of a sequence of rational functions on X without
poles in ι(W ). The analytic functions form a sheaf on X an that is called the
structure sheaf of X an and denoted by OX an .
(2.2.7) If g : Y → X is a morphism of k-schemes of finite type then it
induces a natural continuous map g an : Y an → X an and a local morphism
of sheaves in k-algebras
OX an → g∗an OY an .
(Exercise: work out the details.) In this way, we obtain an analytification
functor (·)an from the category of k-schemes of finite type to the category
of locally ringed spaces in k-algebras.
Exercise 2.2.8. Show that g an is an open embedding if g is an open
embedding.
(2.2.9) It is interesting to remark that, if we replace k by the field C with
its usual absolute value, the above definition of X an is equivalent to the usual
complex analytification of X. The reason is that every valued extension of
C is trivial, by the Gelfand-Mazur theorem. Thus if ξ is a point in X then
ι−1 (ξ) is empty except when ξ is closed. Hence, X an = X(C).
(2.2.10) We should point out right away that we have not said the
final word about the definition of the analytic space X an . A fundamental
complication (which also arises in complex analytic geometry) is that the
algebras of analytic functions on open subsets of X an have bad algebraic
properties; for instance, they are not noetherian. In order to apply
techniques from commutative algebra it is much more convenient to work
with noetherian rings. For this reason, one extends the sheaf OX an by also
considering analytic functions on certain closed subsets of X an (for instance,
the closed unit disc in A1,an
k ). Doing this in a systematic way requires the
introduction of a Grothendieck topology, called the G-topology, where such
10
JOHANNES NICAISE
subsets are treated as opens. We may come back to this toward the end of
the course.
2.3. Basic topological properties.
Proposition 2.3.1. Let X be a k-scheme of finite type. Then X an is
locally compact and locally path-connected. Moreover, we have the following
equivalences:
(1) X is connected if and only if X an is connected;
(2) X is separated if and only if X an is Hausdorff;
(3) X is proper if and only if X an is compact.
This indicates that the Berkovich topology has reasonable properties and
reflects the basic geometric properties of X quite well. The proofs of these
properties are not straightforward and will not be discussed here, but they
are feasible once one has developed the basic aspects of the theory of analytic
spaces. The following result lies much deeper; the only known proof depends
heavily on techniques from model theory (mathematical logic).
Theorem 2.3.2 (Hrushovski–Loeser, 2016). The topological space X an is
locally contractible.
If X is smooth over k, this had previously been proven by Berkovich using
de Jong’s theory of alterations.
(2.3.3) As a first example, we will describe the topological space Pk1,an ,
the Berkovich analytification of the projective line. One can show that,
for any k-scheme X of finite type and every algebraic closure k a of k, the
ca )an and the space X is
absolute Galois group Gal(k a /k) acts on (X ×k k
canonically homeomorphic to the quotient space of this action. This reduces
the problem to the case where k = k a ; for the remainder of this section, we
will therefore assume that k is algebraically closed. We have already seen
that the fiber of the analytification map
ι : P1,an
→ P1k
k
over any closed point of P1k is a singleton, consisting of the closed point
together with the given absolute value on its residue field k. Thus P1k (k) =
k ∪ {∞} injects naturally into Pk1,an . It remains to classify the absolute
values on the function field k(T ) that extend the absolute value on k, and
to describe the topology on the space Pk1,an . Note that we can identify Ak1,an
with P1,an
\ {∞}.
k
2.4. The projective line – trivially valued case.
(2.4.1) We first consider the case where the absolute value on k is trivial.
Then P1,an
has a canonical point (invariant under all automorphisms of P1k ),
k
namely, the trivial absolute value | · |0 on k(T ). This point is called the
Gauss point and denoted by ηG ; its residue field H (ηG ) is simply k(T ) with
the trivial absolute value. Next, for every element a of k ∪ {∞}, we can
consider the valuation
orda : k(T )∗ → Z
NON-ARCHIMEDEAN GEOMETRY
11
that measures the order of the zero or pole of a rational function at a. More
precisely, if a ∈ k then we can write every non-zero element R(T ) of k(T )
as (T − a)v Q(T ) where Q(T ) is a rational function without zero or pole at
a; then orda R(T ) = v. If a = ∞ then we set orda R(T ) = −degR(T ). This
valuations defines a family of absolute values | · |a,ε on k(T ), with ε ∈ (0, 1),
by setting
|R(T )|a,ε = εorda R(T )
for every non-zero element R(T ) of k(T ).
Proposition 2.4.2. Every absolute value on k(T ) that is trivial on k is of
the form | · |0 or | · |a,ε .
Proof. An absolute value | · | on k(T ) that is trivial on k is completely
determined by its values on linear polynomials T − a with a ∈ k, because k
is algebraically closed and absolute values are multiplicative. If |T − a| = 1
for all a ∈ k then | · | is the trivial absolute value. If |T − a| > 1 for all a ∈ k
then by applying the ultrametric triangle inequality to
b − a = (T − a) + (b − T )
we see that |T − a| = |T − b| for all a, b ∈ k; we call the inverse of this value
ε (recall that the ultrametric triangle inequality is always an equality if the
terms in the right hand side have different absolute values). Then it is clear
that | · | = | · |∞,ε .
Thus we may assume that |T − a| < 1 for some a ∈ k. We set ε = |T − a|.
This time, applying the ultrametric inequality to
b − a = (T − a) + (b − T )
shows that |T − b| = 1 for all b ∈ k different from a. It follows that | · | =
| · |a,ε .
(2.4.3) We denote by ηa,ε the point of Pk1,an corresponding to the absolute
value | · |a,ε on k(T ). Then the residue field H (ηa,ε ) is the Laurent series
field k((T − a)) if a ∈ k, and it is k((T −1 )) if a = ∞. Now let us find out
how all of these points ηa,ε , together with the Gauss point ηG and the points
of k ∪ {∞}, sit in the topological space Pk1,an . We introduce the notations
ηa,1 = ηG and ηa,0 = a for all a ∈ k ∪ {∞}. This notation expresses that
|R(T )|a,ε converges to |R(T )|0 as ε → 1 and converges to |R(a)|0 as ε → 0,
for every element R(T ) of k(T ).
Proposition 2.4.4. For every a ∈ k ∪ {∞}, the map
γa : [0, 1) → X an : ε 7→ ηa,ε
is a homeomorphism onto its image, and this image is an open subset of
X an . A subset S of P1,an
is open if and only if it satisfies the following
k
conditions:
(1) the intersection of S with the image of γa is open, for every a ∈
k ∪ {∞};
(2) if S contains ηG , then it contains all but finitely many of the segments
Im(γa ).
12
JOHANNES NICAISE
Proof. For notational convenience, we assume that a 6= ∞; this can always
be arranged by means of an automorphism of P1k . The map γa is obviously
injective. It is very easy to check that ι ◦ γa : [0, 1) → P1k is continuous, and
that
|f | ◦ γa : γa−1 (U ) → R
is continuous for every Zariski-open U in P1k and every regular function f
on U . Thus γa is continuous. It is also open, because for all real numbers
δ1 < δ2 ≤ 1, γa maps (δ1 , δ2 ) ∩ [0, 1) to the open subset of A1,an
defined by
k
δ1 < |T − a| < δ2 . This proves the first part of the statement.
To finish the argument, it suffices to describe the open neighbourhoods of
the Gauss point ηG . By the definition of the Berkovich topology, a pre-basis
of open neighbourhoods is given by the subsets of the form
V = {x ∈ Ak1,an | δ1 < |P (x)| < δ2 }
where P (T ) is a non-zero polynomial in k[T ] and δ1 < 1 < δ2 (otherwise ηG
does not lie in this set). The set V contains the image of γa as soon as P (T )
does not have a zero at a. Thus the image of γa lies in V for all but finitely
many a.
(2.4.5) Note that Proposition 2.4.4 completely characterizes the topology
on P1,an
k . The induced topology on k ∪ {∞} coincides with the metric
topology on P1k (k), which is the discrete topology because the absolute value
on k is trivial. In particular, it is totally disconnected. Nevertheless, by
adding all the absolute values on k(T ) to interpolate between these points we
have obtained a path-connected compact Hausdorff space (path-connected
and Hausdorff are obvious; you can prove that the space is compact as an
\ {∞} is not compact; this reflects the
= P1,an
exercise). Observe that A1,an
k
k
lack of properness of A1k .
Exercise 2.4.6. Describe the k-algebras of analytic functions on the opens
of P1,an
k .
Remark 2.4.7. You may have noticed a similarity between Proposition
2.4.2 and Ostrowski’s classification of absolute values on Q. In fact, one can
also define the Berkovich analytification of the arithmetic scheme Spec (Z),
and the picture is quite similar to the one for Pk1,an . The role of the points
in k is played by the primes in Z, and the role of ∞ is played by the usual
absolute value | · |∞ . This analogy between number fields and function
fields is one of the cornerstones of arithmetic geometry and provides a very
powerful framework to think about number fields and their rings of integers
in a geometric way.
2.5. The projective line – non-trivially valued case.
(2.5.1) Now we consider the case where k is not trivially valued (but we
still assume that it is algebraically closed). Then the picture becomes more
complicated. The points of P1,an
have been classified by Berkovich into four
k
types. The points of k ∪ {∞} are called type 1 points. The remaining points
correspond to the absolute values on k(T ) that extend the given absolute
NON-ARCHIMEDEAN GEOMETRY
13
value on k. Fix an element a in k and a positive real number r. For every
polynomial f (T ) in k[T ], we write
X
f (T ) =
ci (T − a)i
i=0
where the coefficients ci belong to k, and we set
|f (T )|a,r = max |ci |ri .
i
It is an easy exercise to check that this defines an absolute value | · |a,r on
k(T ). We can similarly define absolute values | · |∞,r that are characterized
by the formula
|
d
X
ci (1/T )i |∞,r = max |ci |ri .
i
i=0
The following proposition provides a geometric description of these absolute
values.
Proposition 2.5.2. Let a be an element of k and let r be a positive real
number. Consider the “closed” ball
B + (a, r) = {z ∈ k | |z − a| ≤ r}
in k. Let f (T ) be a rational function in k(T ) that does not have any poles
in B + (a, r). Then
|f (T )|a,r =
sup
|f (z)|
z∈B + (a,r)
and if r lies in |k ∗ |, the supremum in the right hand side is always attained
(the latter statement is called the maximum modulus principle).
Proof. By means of an affine change of coordinate, we can arrange that
a = 0. We first observe that, when g(T ) is a polynomial in k[T ] without
zeroes in B + (0, r), we have |b| = |z −b| > r for every root b of g(T ) and every
z in B + (0, r). It follows that |g(T )| is constant on B + (0, r), and that the
equality in the statement is satisfied (both sides equal |g(0)|). Applying this
observation to the denominator of f (T ), we can reduce to the case where
f (T ) is a polynomial.
The fact that k is algebraically closed implies that |k ∗ | is dense in R>0
(it is a divisible group). Thus we can approximate r from above and below
by elements in |k ∗ |, so that it is enough to prove the result when r lies in
|k ∗ |. By means of a linear change of coordinate, we can then arrange that
r = 1. Rescaling f , we can also arrange that |f (T )|0,1 = 1. Writing f (T )
as c0 + . . . + cd T d , this means that maxi |ci | = 1. We must show that there
exists an element z of k o = B + (0, 1) such that |f (z)| = 1. Since one of the
coefficients of f (T ) has absolute value 1, the reduction fe of f module k oo is
non-zero. Let z be any element of k o such that its reduction modulo k oo is
not a root of fe. Then f (z) does not lie in k oo , and thus |f (z)| = 1.
14
JOHANNES NICAISE
(2.5.3) Here are a few properties that follow immediately from the
definition and will be used repeatedly in the proofs below. If z is an element
of k, then |T − z|a,r = r if and only if z lies in B + (a, r). Otherwise,
|T − z|a,r = |z − a| > r. Moreover, if z does not lie in B + (a, r), and
B + (a0 , r0 ) is contained in B + (a, r) for some a0 ∈ k and r > 0, then
|z − a0 | = |T − z|a0 ,r0 = |T − z|a,r = |z − a|.
(2.5.4) Note that the ball B + (a, r) and the radius r are uniquely
determined by the absolute value | · |a,r , since r is the minimal value of
|T − z|a,r as z ranges through k, and B + (a, r) is the set of points z in k
where this minimal value is attained. It follows that | · |a,r = | · |b,r0 if and
only if r = r0 and |a − b| ≤ r, for all a, b ∈ k. We also have | · |∞,r = | · |0,1/r
for every r > 0. For every a ∈ k ∪ ∞ and every positive real number r we
denote by ηa,r the point of P1,an
corresponding to |·|a,r . We also set ηa,0 = a.
k
We say that ηa,r is of type 2 if r belongs to the value group |k ∗ |, and of type
3 if r is non-zero and does not lie in |k ∗ |.
(2.5.5) The final class of points, those of type 4, are related to a curious
property of non-achimedean fields called spherical (in)completeness. A
non-archimedean field F is called spherically complete if every decreasing
sequence of “closed” balls has non-empty intersection. This is guaranteed by
completeness of the field if the radii of the balls tend to 0, but not otherwise;
in fact, most of the non-archimedean fields we encounter in practice are
not spherically complete (an important exception are the local fields, that
is, those with finite residue field). One can show that a non-archimedean
field is spherically complete if and only if it has no non-trivial immediate
extensions. An immediate extension is an extension of valued fields that
induces isomorphisms between the value groups and the residue fields.
Exercise 2.5.6.
(1) Show that non-archimedean local fields are spherically complete.
Hint: recall that these are precisely the locally compact nonarchimedean fields.
(2) Show that the completion of the field of complex Puiseux series is
not spherically complete, for instance by constructing an immediate
extension. Hint: If you do not manage to come up with a
construction yourself, google “Hahn series”.
(2.5.7) If k is not spherically complete, every decreasing sequence B =
(Bn )n∈N of “closed” balls Bn = B + (an , rn ) with empty intersection ∩n Bn
gives rise to a new kind of absolute value, characterized by
|f (T )|B = inf |f (T )|an ,rn
n
for every f (T ) ∈ k[T ]. Note that |f (T )|B is non-zero when f (T ) 6= 0: for
every a ∈ k we have |T − a|am ,rm ≥ rn for all m as soon as a does not lie
in Bn . We denote the corresponding point of P1,an
by ηB , and we call ηB a
k
point of type 4. We are now ready to state Berkovich’s classification theorem
for points on P1,an
k .
NON-ARCHIMEDEAN GEOMETRY
15
Theorem 2.5.8 (Berkovich). Let B = (Bn )n∈N be a decreasing sequence of
“closed” balls Bn = B + (an , rn ) in k such that
r := inf{rn | n ∈ N} > 0.
We set
|f (T )|B = inf |f (T )|an ,rn
n
for every polynomial f (T ) in k[T ]. This defines an absolute value on k(T ),
and every absolute value on k(T ) that extends the given absolute value on k
is of this form. If B 0 is another such sequence, then | · |B = | · |B0 if and
only if one of the following holds:
(1) both sequences have non-empty intersections, and these intersections
are the same;
(2) both sequences have empty intersections, and for every n ≥ 0, we
0 ⊂ B and B ⊂ B 0 . We will express
can find m ≥ 0 such that Bm
n
m
n
this condition by saying that the sequences are interlaced.
If B has non-empty intersection, then this intersection is equal to B + (a, r)
for any a ∈ ∩n Bn , and | · |B = | · |a,r .
Proof. For every a ∈ k, the point a lies in ∩B if and only if |T − a|B = r,
because |T − a|am ,rm > rn is independent of m, for all m ≥ n, if a does not
lie in Bn . If a ∈ ∩B then we have
∩B = B + (a, r)
and | · |B = | · |a,r . This implies, in particular, that two sequences B and
B 0 that define the same absolute value have the same intersection, and that
the converse holds if this intersection is non-empty. Now assume that B
and B 0 are two sequences with empty intersection. We must show that they
define the same absolute value if and only if they are interlaced. The “if”
part of the assertion is obvious. So assume that | · |B = | · |B0 and let n be an
0 ⊂ B .
element of N. By symmetry, it suffices to find m ∈ N such that Bm
n
Choose an element a in k such that |T − a|B < rn . Then when m is large
0 < rn , where
enough, we must also have |T − a|am ,rm < rn and |T − a|a0m ,rm
0
+
0
0
0
we wrote Bm = B (am , rm ). This implies that rm < rn and |a0m − am | < rn ,
0 is contained in B .
so that Bm
n
Let us now prove that every absolute value | · | on k(T ) that extends the
absolute value on k arises from a family B. We choose a sequence (an )n∈N
of elements in k such that |T − an | is non-increasing and converges to
r = inf |T − a|.
a∈k
Note that r > 0 since otherwise the sequence (an ) would converge to a point
a ∈ k by completeness and we would have |T − a| = 0.
We set rn = |T − an | and Bn = B + (an , rn ) for every n. Then the
ultrametric inequality implies that |an+1 − an | ≤ rn for every n, so that
the sequence of balls B = (Bn )n∈N is decreasing. We claim that | · | = | · |B .
To prove this, it suffices to test the equality on functions of the form T − b
with b ∈ k. We have either |T − b| > |T − an | = rn for sufficiently large
n, or |T − b| = r. In the former case, the ultrametric inequality implies
that rn < |T − b| = |b − an | = |T − b|an ,rn when n is large enough and the
16
JOHANNES NICAISE
result follows. In the latter case, we find that |b − an | ≤ rn for all n, so that
|T − b|an ,rn = rn and the result follows again.
Corollary 2.5.9. Every point of Pk1,an is of type 1, 2, 3 or 4 (and these
types are disjoint).
(2.5.10) The division of the points of P1,an
into four types is also reflected
k
in their residue fields. Let x be a point of P1,an
k . If x is of type 1 then
its residue field is k. If x is of type 2, then its residue field H (x) is a a
valued extension of k with value group |H (x)∗ | = |k ∗ | and with residue
f(x) ∼
field H
k(u). If x = ηa,r is of type 3, then |H (x)∗ | is the subgroup of
=e
f(x) = e
(R>0 , ·) generated by |k ∗ | and r, and H
k. Finally, if x is of type 4,
then H (x) is an immediate extension of k.
Exercise 2.5.11. Prove these claims about the residue fields of the points
of P1,an
k . Type 4 requires some thought; have another look at the proof of
Proposition 2.5.2.
(2.5.12) To conclude our example, we study the topology on P1,an
k . It
is best described in terms of a natural tree structure, where branches of
the tree correspond to continuously growing or shrinking families of balls.
as a projective limit of finite
Alternatively, we can also construct P1,an
k
graphs (this viewpoint will be generalized below). Writing down a formal
description of the topology is a bit cumbersome; for now, it is better to
illustrate it by means of a picture (cf. lecture).
2.6. An application to dynamical systems.
(2.6.1) The analytification of the projective line Pk1,an already gives rise to
some deep applications, in particular to the study of dynamical properties
of rational maps (that is, the behaviour of the sequence of iterates of a
rational map). It turns out that one can develop a potential theory on
in analogy with classical potential theory over the complex numbers
P1,an
k
(the study of harmonic functions). The use of Berkovich spaces is essential
for such applications: one aspect of potential theory is the construction of
suitable measures, and these measures tend to be supported entirely on the
part of P1,an
that lies over the generic point of P1k (that is, the complement
k
of the locus of type I points). A nice introduction to this topic is [Baker &
Rumely, Potential theory and dynamics on the Berkovich projective line].
(2.6.2) Here is an example of a problem that was solved by these methods.
We fix an integer d ≥ 2. For every complex number c we consider the
polynomial map
fc : C → C : x 7→ z d + c.
A complex number a is called a preperiodic point of fc if the set of iterates
{fc(n) (a) | a ∈ N}
NON-ARCHIMEDEAN GEOMETRY
17
(n)
is finite; this means that the value fc (a) becomes periodic in n for
sufficiently large n. Now let a and b be two distinct complex numbers.
It is obvious that, when ad = bd , the point a is preperiodic for fc if and
only if b is preperiodic for fc . Baker and Demarco (Duke 2011) proved a
converse to this property, answering a question by Zannier: they showed
that, if there are infinitely many complex numbers c such that a and b are
both preperiodic for fc , then ad = bd . This innocent-looking statement
is surprisingly difficult to prove. The proof of Baker and Demarco uses
potential theory on the projective line Pk1,an both for k = C and for k = Cp
(a completed algebraic closure of Qp ).
2.7. Higher genus curves.
(2.7.1) Let k be an algebraically closed non-archimedean field and let C be
a connected, smooth and projective algebraic curve over k. If k is trivially
valued then the structure of C an is quite similar to that of Pk1,an : when k
is algebraically closed, the points of C(k) are joined to the Gauss point ηG
(the trivial absolute value on the function field k(C)) by means of segments
of absolute values | · |a,ε that measure the orders of vanishing of rational
functions at the points a of C(k). The main difference is the residue field at
ηG , which is now the function field k(C) with the trivial absolute value.
(2.7.2) The picture becomes more intricate if k is non-trivially valued. We
still have a cloud of closed points of C at the boundary of C an , but C an is not
always contractible. Describing the precise structure of C an requires some
tools from arithmetic geometry (specifically, the stable reduction theorem)
that will be described in the next section.
3. Curves over discrete valuation rings
3.1. Models of curves.
(3.1.1) Let k be a non-archimedean field with non-trivial absolute value.
Let C be a smooth, projective, geometrically connected curve over k. To
study the geometric and arithmetic properties of C, it is often useful to
consider models of C over the valuation ring k o of k. Such a model is a
projective k o -scheme C endowed with an isomorphism of k-schemes
C ×ko k → C.
We can think of such a model as the choice of a set of homogeneous equations
for C inside some projective space such that the equations have coefficients
in k o . It is clear that a model always exists, as we can multiply any system
of equations for C by a suitable element in k o to force the coefficients to lie
in k o . We call Ck = C ×ko k the generic fiber of the model, and Cek = C ×ko e
k
the special fiber.
18
JOHANNES NICAISE
(3.1.2) Our hope is that Cek is easier to study than C but still gives us
valuable information about C. Why should Cek be easier to understand?
For one thing, the residue field e
k usually has a lower arithmetic complexity
(a simpler Galois group) than k; in many applications, it is algebraically
closed, or finite. Moreover, Cek often breaks up into multiple irreducible
components which have a simpler geometry (lower genus) than C; then a
part of the geometry of C is translated into the combinatorial structure of
Cek (the ways these components intersect). Of course, if we want to be able
to deduce anything about C from the study of Cek , then we need to impose
some conditions on our model C . The most basic condition is that C is
flat over k o . Since C is itself integral, this is equivalent to requiring C to be
integral. In particular, C does not have any irreducible components that are
concentrated in the special fiber (which would have no relation whatsoever
with C). Thus we can think of C as a “continuous” family of curves over
Spec k o . From now on, we will always include flatness in the definition of a
model.
Definition 3.1.3. Let k be a non-archimedean field with non-trivial
absolute value. Let C be a smooth, projective, geometrically connected
curve over k. A model of C is a flat projective k o -scheme C endowed with
an isomorphism of k-schemes
C ×ko k → C.
If C 0 is another such model, a morphism of models C 0 → C is a morphism
of k o -schemes whose restriction to the generic fibers commutes with the
isomorphisms to C. If C 0 and C are fixed, then there exists at most one
morphism of models C 0 → C (since it is completely determined on the
generic fibers, C 0 is k o -flat and C is separated). If it exists, we say that C 0
dominates C .
(3.1.4) Another useful condition is that the singularities of the model C
are as mild as possible. What this means depends on the nature of the field
k. The most obvious condition is regularity of the scheme C , but this only
makes sense for noetherian schemes, and k o is noetherian if and only if k
is discretely valued (that is, the value group |k ∗ | is isomorphic to Z). We
can also consider the singularities of the special fiber Cek . This leads to the
notion of (semi)stable model. These issues will be discussed in the following
sections.
3.2. Resolution of singularities.
(3.2.1) Throughout Section 3.2 we will assume that k is discretely valued;
thus k o is noetherian. Then the maximal ideal k oo is principal, and any
generator π is called a uniformizer of k. We fix such a uniformizer π for the
remainder of the section. Good examples to keep in mind are
• k = F ((π)), where F is any field;
• k = Qp , in which case p is a uniformizer.
NON-ARCHIMEDEAN GEOMETRY
19
(3.2.2) Let C be a regular model for C over k o , and let x be a point of
Cek . We say that Cek has strict normal crossings at x if we can find a unit
u and a regular system of local parameters z1 , . . . , zr in the local ring OC ,x
such that
r
Y
π = u (zi )Ni
i=1
in OC ,x , for some nonnegative integers N1 , . . . , Nr . The set of points where
Cek has strict normal crossings is open in Cek . We say that Cek is a strict normal
crossings divisor on C , or that C is an snc-model, if Cek has strict normal
crossings at every point. This is equivalent to saying that the irreducible
components of Cek are regular and intersect each other transversally. A
slightly weaker notion is that of normal crossings: we say that Cek has
normal crossings at x if there exists an étale morphism U → C whose
image contains x such that Uek has normal crossings at any point above x.
We say that Cek is a normal crossings divisor on C , or that C is an ncmodel, if Cek has normal crossings at every point. The main difference with
the strict normal crossings case is that we allow transversal self-intersections
of components in the special fiber. We can always turn an nc-model into an
snc-model by blowing it up at each of these self-intersection points.
(3.2.3) A regular, resp. nc, resp. snc-model C is called relatively minimal
if every morphism to a model with the same property is an isomorphism. It
is called minimal if every model with the same property admits a morphism
of models to C . It is clear from the definition that minimal models are
unique up to canonical isomorphism. More precisely, if a minimal model
exists, then every relatively minimal model is canonically isomorphic to the
minimal model. The first important result about the existence of “nice”
models for curves is the following.
Theorem 3.2.4. Assume that k is discretely valued, and let C be a smooth,
projective, geometrically connected curve over k.
(1) Let C be a normal model for C. Then there exists a morphism of
models C 0 → C , obtained as a composition of normalized point blowups, such that C 0 is an snc-model.
(2) Any morphism of regular models C 0 → C can be written as a
composition of point blow-ups.
(3) The curve C has relatively minimal regular, nc and snc-models. If
the genus of C is positive, then C has minimal regular, nc and sncmodels.
Proof. See [Lipman, Desingularization of two-dimensional schemes] and
[Lichtenbaum, Curves over discrete valuation rings]. Note that we can apply
resolution of singularities here because k o is excellent. The rough idea of the
proof is that we start from any model, prove that it becomes snc after a finite
number of normalized point blow-ups, and then make it relatively minimal
by contracting suitable rational curves, using a variant of Castelnuovo’s
criterion.
Example 3.2.5. We will show that C = P1ko is a relatively minimal regular
model of P1k . Let C 0 be a regular model of P1k such that there exists a
20
JOHANNES NICAISE
morphism of models h : C → C 0 . Then h is an isomorphism on the generic
fibers, by the definition of a morphism of models. The image of h is closed
by properness, so that h is surjective; then h is finite, because h cannot
contract the special fiber. But C 0 is normal, so that h is an isomorphism.
However, C is not a minimal regular model of P1k , because the
automorphism (x : y) 7→ (x : πy) of P1k does not extend to P1ko . Thus
P1k has no minimal regular model.
Example 3.2.6. The minimal regular models of elliptic curves C over k
have been classified by Néron into ten types (Kodaira had earlier given a
similar classification for complex elliptic fibrations over a curve). See for
instance [Silverman, Advanced topics in the arithmetic of elliptic curves].
From this classification, one can easily compute the minimal snc-models
by repeatedly blowing up the points where the special fiber is not snc. In
order to determine the type of a smooth plane cubic, one can apply Tate’s
algorithm to its equation.
For instance, if C is the plane cubic over k defined by the affine equation
y 2 = x3 + π then the minimal regular model of C is the closed subscheme C
of P2ko defined by the same affine equation. It is not an nc-model, because
the special fiber Cek has a cuspidal singularity at the origin (it is defined
by y 2 = x3 ). We need three point blow-ups to turn C into an snc-model.
In the Kodaira-Néron classification, the curve C has reduction type II (in
Kodaira’s notation).
If e
k has characteristic zero there is a similar classification for genus 2
curves, but the number of types if already much larger.
3.3. The stable reduction theorem.
(3.3.1) We drop the assumption that k is discretely valued. Let C be
a smooth, projective, geometrically connected curve over k. We fix an
algebraic closure e
k a of e
k. A model C of C is called semi-stable if
Ceka := Cek × e
ka
is reduced and has at most ordinary double points as singularities. We
say that the model is strictly semi-stable if, moreover, the irreducible
components of Ceka are regular. A semi-stable model C is called stable if
the automorphism group of Ceka is finite; this is equivalent to saying that
the arithmetic genus of Ceka is at least 2 and every non-singular rational
component of Ceka meets the other components in at least three points. We
say that C has semi-stable, resp. strictly semi-stable, resp. stable reduction
if there exists a semi-stable, resp. strictly semi-stable, resp. stable model.
(3.3.2) If k is not algebraically closed, it is not reasonable to expect that
C always has a semi-stable model. For if C is a semi-stable model, its k o smooth locus is non-empty, and every e
k-rational smooth point on Ck lifts to
a k-rational point on C because k o is henselian. However, it may very well
happen that C(k) is empty and e
k is algebraically closed, in which case C
cannot have a semi-stable model over k o . The following theorem states that
semi-stable models do exist after a finite extension of the base field k.
NON-ARCHIMEDEAN GEOMETRY
21
Theorem 3.3.3. Let C be a smooth, projective, geometrically connected
curve over k, of genus g.
• There exists a finite separable extension k 0 of k such that C ×k k 0
has strictly semi-stable reduction.
• If g ≥ 2 then there exists a finite separable extension k 0 of k such
that C ×k k 0 has stable reduction.
• If k is discretely valued, then there exists a finite separable extension
k 0 of k such that every relatively minimal snc-model of C is strictly
semi-stable.
Proof. The discretely valued case was already proven by Deligne and
Mumford in their famous paper on moduli spaces of curves. Here the
advantage is that we already have a candidate to work with, namely, a
relatively minimal snc-model. Thus we need a criterion that guarantees that
this model is semi-stable, and then check that this criterion is satisfied after
base change to a suitable finite separable extension of k. Several approaches
have appeared in the literature, but the most natural one is probably the one
due to T. Saito: if k has algebraically closed residue field and g ≥ 2 (or g = 1
and C(k) is non-empty) then the minimal nc-model C of C is semi-stable if
and only if every element of the Galois group of k acts unipotently on the
degree one `-adic cohomology of C. This is always true after base change
to a finite separable extension k 0 by Grothendieck’s Mondromy Theorem.
If C is not snc, then blowing up the self-intersection points, performing an
additional degree 2 base change and resolving the singularities, we can also
find a strictly semi-stable model.
The proof of the general case is quite different and uses non-archimedean
geometry. The first proof was given by Bosch and Lütkebohmert in the
framework of rigid geometry. Proofs using Berkovich spaces were later
given by M. Temkin and Ducros. One first reduced to the case where k
is algebraically closed by an approximation/descent argument. The main
idea is then that we can produce a model by constructing a suitable cover of
C an by so-called affinoid domains. If these affinoid domains have the right
shape, the model will be semi-stable. The key point is thus to prove the
existence of such a cover. This can be done by choosing a finite morphism
from C to P1k and making a careful study of the ramification locus.
Imperial College London
E-mail address: j.nicaise@imperial.ac.uk
Download