topology of nonarchimedean analytic spaces · nonarchimedean analytic geometry in the 1960s, tate...
TRANSCRIPT
![Page 1: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/1.jpg)
Topology of Nonarchimedean Analytic Spaces
AMS Current Events Bulletin
Sam Payne
January 11, 2013
![Page 2: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/2.jpg)
Complex algebraic geometry
Let X ⊂ Cn be an algebraic set, the common solutions of a systemof polynomial equations
{f1, . . . , fr} ⊂ C[x1, . . . , xn].
It may be a smooth complex manifold, like the surface
x21
+ x22
+ x23
= 1,
Or it may be singular, like the Whitney umbrella
x21− x2
2x3 = 0.
![Page 3: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/3.jpg)
Complex algebraic geometry
Let X ⊂ Cn be an algebraic set, the common solutions of a systemof polynomial equations
{f1, . . . , fr} ⊂ C[x1, . . . , xn].
It may be a smooth complex manifold, like the surface
x21
+ x22
+ x23
= 1,
Or it may be singular, like the Whitney umbrella
x21− x2
2x3 = 0.
![Page 4: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/4.jpg)
Complex algebraic geometry
Let X ⊂ Cn be an algebraic set, the common solutions of a systemof polynomial equations
{f1, . . . , fr} ⊂ C[x1, . . . , xn].
It may be a smooth complex manifold, like the surface
x21
+ x22
+ x23
= 1,
Or it may be singular, like the Whitney umbrella
x21− x2
2x3 = 0.
![Page 5: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/5.jpg)
Tameness
Although X may have complicated singularities, its topology is notpathological. Every complex algebraic set
can be triangulated,
admits a strong deformation retract onto a finite simplicialcomplex,
and contains an open dense complex manifold whosecomplement is an algebraic set of smaller dimension.
In particular, X is a finite union of complex manifolds.
![Page 6: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/6.jpg)
Beyond the complex numbers
We also study algebraic sets in Kn, the common solutions of asystem of polynomial equations
{f1, . . . , fr} ⊂ K [x1, . . . , xn]
for fields K other than C.
For instance, K could be
the field of rational numbers Q,
the field of formal Laurent series C((t)),
the function field of an algebraic curve.
![Page 7: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/7.jpg)
Norms
All of these fields can be equipped with norms.
Example
Consider the field of rational numbers, and fix a prime number p.Set
�
�
�
�
par
s
�
�
�
�
p
= p−a,
for p, r , s relatively prime.
Example
Write each formal Laurent series uniquely as ta times a powerseries with nonzero constant term. Set
�
�
�ta∑
ai ti�
�
�
t= e−a.
![Page 8: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/8.jpg)
Norms
All of these fields can be equipped with norms.
Example
Consider the field of rational numbers, and fix a prime number p.Set
�
�
�
�
par
s
�
�
�
�
p
= p−a,
for p, r , s relatively prime.
Example
Write each formal Laurent series uniquely as ta times a powerseries with nonzero constant term. Set
�
�
�ta∑
ai ti�
�
�
t= e−a.
![Page 9: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/9.jpg)
Naive analysis
Each norm induces a metric topology on Kn, and one can considerfunctions given locally by convergent series, but...
Even if K is complete with respect to its norm, Kn may be totallydisconnected in its metric topology.
This happens whenever the norm is nonarchimedean.
![Page 10: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/10.jpg)
Naive analysis
Each norm induces a metric topology on Kn, and one can considerfunctions given locally by convergent series, but...
Even if K is complete with respect to its norm, Kn may be totallydisconnected in its metric topology.
This happens whenever the norm is nonarchimedean.
![Page 11: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/11.jpg)
Archimedean norms
Axiom of Archimedes (Axiom V, On the Sphere and Cylinder)
For any quantity x there is a natural number n such that |nx | > 1.
Up to rescaling, any archimedean norm on a field K is induced byan inclusion K ⊂ C.
Corollary
The only complete archimedean fields are R and C.
![Page 12: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/12.jpg)
The rest of the zoo
Definition
A nonarchimedean field is any complete normed field other thanR or C.
Examples include:
C((t))
Qp, the completion of Q with respect to | |p.
any K with the trivial norm, |a| = 1 for a ∈ K∗.
Algebraically closed examples include Cp and ÛC{{t}}, thecompletions of the algebraic closures of Qp and C((t)).
Both Cp and ÛC{{t}} are isomorphic to C as abstract fields.
![Page 13: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/13.jpg)
The rest of the zoo
Definition
A nonarchimedean field is any complete normed field other thanR or C.
Examples include:
C((t))
Qp, the completion of Q with respect to | |p.
any K with the trivial norm, |a| = 1 for a ∈ K∗.
Algebraically closed examples include Cp and ÛC{{t}}, thecompletions of the algebraic closures of Qp and C((t)).
Both Cp and ÛC{{t}} are isomorphic to C as abstract fields.
![Page 14: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/14.jpg)
Ultrametrics and clopen balls
In any nonarchimedean field, the triangle inequality can bestrengthened to the ultrametric inequality:
|x + y | ≤ max{|x |, |y |}, with equality if |x | 6= |y |.
Corollary
If y is a point in the closed ball
B(x , r) = {y ∈ K | |y − x | ≤ r},
then B(x , r) = B(y , r).
It follows that B(x , r) is open in the metric topology.
![Page 15: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/15.jpg)
Nonarchimedean analytic geometry
In the 1960s, Tate developed rigid analytic spaces. Two keysteps:
Replace the metric topology on Kn by a Grothendiecktopology, and
Study sheaves of rings in this Grothendieck topology, builtfrom rings of convergent power series on closed balls.
Today we are talking about nonarchimedean analytic spaces(Berkovich, late 1980s–1990s). Two key features:
Same algebraic foundations as rigid analytic geometry.
New underlying space with additional points that fill in thegaps between the points of Kn.
![Page 16: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/16.jpg)
Analytification
System of polynomials {f1, . . . , fr} ⊂ K [x1, . . . , xn].
Solution set X = V (f1, . . . , fr ),
Coordinate ring K [X ] = K [x1, . . . , xn]/(f1, . . . , fr ).
Definition
The analytification of X is
X an = {seminorms on K [X ] that extend the given norm on K},
equipped with the subspace topology from the inclusion in RK [X ]≥0 .
![Page 17: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/17.jpg)
Some points of X an
Example
Evaluation at a point x ∈ X (K ) induces a seminorm | |x , given by
|f |x = |f (x)|
Example
If L|K is a finite algebraic extension, then the norm on K extendsuniquely to L (because K is complete). Composing with evaluationat points gives a natural inclusion
X (K ) / Gal ⊂ X an.
![Page 18: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/18.jpg)
Topological properties of X an
Theorem (Berkovich)
The topological space X an is Hausdorff, locally compact, andlocally path connected, of dimension equal to the algebraicdimension of X . Furthermore,
The induced topology on X (K ) ⊂ X an is the metric topology.
If K is algebraically closed, then X (K ) is dense.
In general, X (K )/ Gal is dense.
![Page 19: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/19.jpg)
Projection to the scheme
There is a natural continuous projection onto the affine scheme
X an π−→ SpecK [X ],
taking a point x ∈ X an to the prime ideal {f ∈ K [X ] | |f |x = 0}.
The fiber over a point p ∈ SpecK [X ] is
π−1(p) = {norms on κp that extend | | on K}.
If p is closed, then it comes from a point over a finiteextension L|K , so the norm extends uniquely.
![Page 20: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/20.jpg)
The affine line: trivial valuation
Consider the affine line X = SpecK [z ], and assume the valuationon K is trivial.
⚠ Every neighborhood of η contains all but finitely many branches.
![Page 21: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/21.jpg)
The affine line: nontrivial valuation
For each ball B(x , r) in K , there is a seminorm given by
|f |x ,r = max{|f (y)| | y ∈ K and |y − x | ≤ r}
⚠ At each branch point, the topology is locally like the topologynear η in the case of a trivial valuation.
![Page 22: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/22.jpg)
A genus 2 curve
The topology is an inverse limit over connected finite subgraphsthat contain both loops.
![Page 23: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/23.jpg)
Questions?
![Page 24: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/24.jpg)
Toward the affine plane...
To get started,
1 Imagine taking the analytification of each curve in the plane.
2 Glue each pair of curves along the finitely many leavescorresponding to their points of intersections.
3 And fill in the space in the middle with two-dimensional“membrane” stretched between the analytifications of thecurves.
This membrane is the space of norms on the function fieldK (x1, x2) that extend the given norm on K .
⚠ There are many non-obvious norms on the function field in twovariables, including “non-Abhyankar norms,” such as those inducedby order of contact with a transcendental germ of a curve.
![Page 25: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/25.jpg)
The associated valuation
There is a valuation associated to the nonarchimedean norm on K .
The valuation is given by val(a) = − log |a|.The valuation ring R ⊂ K is the subring consisting ofelements of norm less than or equal to 1.
The maximal ideal m ⊂ R consists of elements of normstrictly less than 1.
The residue field is k = R/m.
Example
Suppose K = C((t)). Then the valuation ring is R = C[[t]], themaximal ideal is m = tR, and the residue field is k = C.
![Page 26: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/26.jpg)
Models and skeletons
By choosing presentations for K [X ] and “clearing denominators,”one can construct models of X defined over R, that have “specialfibers” defined over the residue field k .
If X has a model with a nice special fiber, then the combinatoricsof the special fiber can be used to control the topology of X an.
Theorem (Berkovich 1990s)
If X has a semistable formal model then X an admits a deformationretract onto the dual complex of the special fiber. In particular,X an has the homotopy type of a finite simplicial complex.
![Page 27: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/27.jpg)
Tameness?
Semistable models are difficult to produce in practice, and are notknown to exist in general. There are major difficulties, related toresolution of singularities, if the residue field k = R/m has positivecharacteristic.
⚠ A priori, even when a semistable model exists, the topologicalspace X an could still have local pathologies.
Berkovich’s theorem implies that the analytification of a smoothvariety with respect to the trivial norm is contractible, but localcontractibility is much more difficult.
![Page 28: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/28.jpg)
Semialgebraic sets
Definition
Let X be an affine algebraic variety over K . A semialgebraic subsetU ⊂ X an is a finite boolean combination of subsets of the form
{x ∈ X an | |f |x ./ λ|g |x},
with f , g ∈ K [X ], λ ∈ R, and ./∈ {≤,≥,<,>}.
Every point in X an has a basis of neighborhoods consisting ofsemialgebraic sets.
Semialgebraic subsets are analytic domains, and comeequipped with canonical analytic structure sheaves inducedfrom X .
![Page 29: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/29.jpg)
Semialgebraic sets
Definition
Let X be an affine algebraic variety over K . A semialgebraic subsetU ⊂ X an is a finite boolean combination of subsets of the form
{x ∈ X an | |f |x ./ λ|g |x},
with f , g ∈ K [X ], λ ∈ R, and ./∈ {≤,≥,<,>}.
Every point in X an has a basis of neighborhoods consisting ofsemialgebraic sets.
Semialgebraic subsets are analytic domains, and comeequipped with canonical analytic structure sheaves inducedfrom X .
![Page 30: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/30.jpg)
The Tameness Theorem
Theorem (Hrushovski-Loeser 2010)
Let U ⊂ X an be a semialgebraic subset. Then there is a finitesimplicial complex ∆ ⊂ U, of dimension less than or equal todim(X ), and a strong deformation retraction U × [0, 1]→ ∆.
Corollary
The topological space X an is locally contractible.
![Page 31: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/31.jpg)
Key Ingredients
The proof of the Tameness Theorem is long and difficult,involving:
1 A detailed study of spaces of stably dominated types (difficultmodel theory)
2 An induction on dimension, birationally fibering X by curvesover a base of dimension dimX − 1.
3 Proving a more subtle tameness statement controlling how thetopology of “families” of lower dimensional semialgebraic setsvary over a lower-dimensional base.
The argument does not use resolution of singularities, alterations,or any construction of nice formal models.
![Page 32: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/32.jpg)
Key Ingredients
The proof of the Tameness Theorem is long and difficult,involving:
1 A detailed study of spaces of stably dominated types (difficultmodel theory)
2 An induction on dimension, birationally fibering X by curvesover a base of dimension dimX − 1.
3 Proving a more subtle tameness statement controlling how thetopology of “families” of lower dimensional semialgebraic setsvary over a lower-dimensional base.
The argument does not use resolution of singularities, alterations,or any construction of nice formal models.
![Page 33: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/33.jpg)
Beyond tameness
Hrushovski and Loeser prove much more than the existence of asingle simplicial complex ∆ ⊂ U which is a strong deformationretract.
There are infinitely many such complexes ∆i , with naturalprojections between them.
The inverse limit over these projections is lim←−∆i = U.
There are sections of these projections, and the union lim ∆i
is the subset of U consisting of points corresponding toAbhyankar norms.
![Page 34: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/34.jpg)
Relation to limits of tropicalizations
The topological space X an can also be realized naturally as a limitof finite simplicial complexes using tropical geometry [P. 2009,Foster-Gross-P. 2012].
The construction of this tropical inverse system is elementary, butdoes not lead to a proof of tameness.
Under suitable hypotheses, there are sections of the projections inthe tropical inverse system, and the images of these sections is thesubset of Abhyankar norms [Baker-P.-Rabinoff 2011].
⚠ The relation between these tropical inverse systems and[Hrushovski-Loeser 2010] is still unclear.
![Page 35: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/35.jpg)
Relation to limits of tropicalizations
The topological space X an can also be realized naturally as a limitof finite simplicial complexes using tropical geometry [P. 2009,Foster-Gross-P. 2012].
The construction of this tropical inverse system is elementary, butdoes not lead to a proof of tameness.
Under suitable hypotheses, there are sections of the projections inthe tropical inverse system, and the images of these sections is thesubset of Abhyankar norms [Baker-P.-Rabinoff 2011].
⚠ The relation between these tropical inverse systems and[Hrushovski-Loeser 2010] is still unclear.
![Page 36: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/36.jpg)
Connections to complex algebraic geometry
Let X ⊂ Cn be a closed algebraic set, and consider C with thetrivial valuation.
Theorem (Berkovich 2000)
There is a canonical isomorphism
H∗(X an,Q) ∼= W0H∗(X (C),Q)).
![Page 37: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/37.jpg)
Example: A nodal curve
Consider an affine curve of geometric genus 1, with threepunctures and one node.
![Page 38: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/38.jpg)
Example: A nodal curve
The nonarchimedean analytification looks like this:
![Page 39: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/39.jpg)
Some interesting semialgebraic sets
Each point of X an corresponds to a point of the scheme X over avalued field;
a point x ∈ X an corresponds to π(x) = p in X ,
which is defined over the field κp,
and equipped with the valuation − log | |x .
Any constructible condition on the specialization of π(x), withrespect to the valuation − log | |x , is semialgebraic on X an.
Example
If z ∈ X is a point, then the link
Lz = {x ∈ X an | π(x) specializes to z}
is semialgebraic.
![Page 40: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/40.jpg)
Resolution complexes
Let f : eX → X be a log resolution of the pair (X , z).
Theorem (Thuillier 2007)
The dual complex of f −1(z) embeds naturally in Lz as a strongdeformation retract.
Theorem (Arapura-Bakhtary-W lodarczyk 2010)
If (X , z) is an isolated rational singularity, then Lz has the rationalhomology of a point.
⚠ There are many examples of isolated rational singularities (X , z)such that Lz is not contractible.
![Page 41: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/41.jpg)
Resolution complexes
Let f : eX → X be a log resolution of the pair (X , z).
Theorem (Thuillier 2007)
The dual complex of f −1(z) embeds naturally in Lz as a strongdeformation retract.
Theorem (Arapura-Bakhtary-W lodarczyk 2010)
If (X , z) is an isolated rational singularity, then Lz has the rationalhomology of a point.
⚠ There are many examples of isolated rational singularities (X , z)such that Lz is not contractible.
![Page 42: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/42.jpg)
Contractibility
Theorem
Let (X , z) be an isolated rational singularity, and let ∆ be the dualcomplex of the exceptional divisor of a log resolution. Then ∆ iscontractible if (X , z) is a
1 toric singularity [Stepanov 2006]
2 finite quotient singularity [Kerz-Saito 2011]
3 log terminal singularity [de Fernex-Kollar-Xu December 2012]
![Page 43: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/43.jpg)
Contractibility
Theorem
Let (X , z) be an isolated rational singularity, and let ∆ be the dualcomplex of the exceptional divisor of a log resolution. Then ∆ iscontractible if (X , z) is a
1 toric singularity [Stepanov 2006]
2 finite quotient singularity [Kerz-Saito 2011]
3 log terminal singularity [de Fernex-Kollar-Xu December 2012]
![Page 44: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/44.jpg)
Contractibility
Theorem
Let (X , z) be an isolated rational singularity, and let ∆ be the dualcomplex of the exceptional divisor of a log resolution. Then ∆ iscontractible if (X , z) is a
1 toric singularity [Stepanov 2006]
2 finite quotient singularity [Kerz-Saito 2011]
3 log terminal singularity [de Fernex-Kollar-Xu December 2012]
![Page 45: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/45.jpg)
A log terminal singularity
Or just a terminal log?
![Page 46: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/46.jpg)
A log terminal singularity
Or just a terminal log?
![Page 47: Topology of Nonarchimedean Analytic Spaces · Nonarchimedean analytic geometry In the 1960s, Tate developed rigid analytic spaces. Two key steps: Replace the metric topology on Kn](https://reader035.vdocuments.us/reader035/viewer/2022070810/5f08da4f7e708231d4240983/html5/thumbnails/47.jpg)
Further reading
1 E. Hrushovski and F. Loeser, Nonarchimedean tame topologyand stably dominated types, arXiv:1009.0252v3.
2 A. Ducros, Les espaces de Berkovich sont moderes, d’apres E.Hrushovski et F. Loeser, arXiv:1210.4336.
3 T. de Fernex, J. Kollar, and C. Xu, The dual complex ofsingularities, arXiv:1212.1675.