Pre-image of the skeleton under a map between Berkovich spaces of the same dimension

Antoine Ducros

Bulletin de la Société Mathématique de France (2003)

  • Volume: 131, Issue: 4, page 483-506
  • ISSN: 0037-9484

Abstract

top
This article deals with Berkovichanalytic spaces. Let k be a complete field with respect to an ultrametric absolute value and let 𝔛 be a formal scheme over the unit ball k 0 of k . If 𝔛 is pluri-stable (roughly speaking, it means that the singularities of its special fibre are “not too bad » ) then its generic fibre 𝔛 η admits a retraction toward a closed subset S ( 𝔛 ) (theskeletonof 𝔛 ) which carries a natural structure of piecewise-linear space. If 𝔜 𝔛 is an étale morphism between two pluri-stable formal schemes then S ( 𝔜 ) is exactly the pre-image of S ( 𝔛 ) , and S ( 𝔜 ) S ( 𝔛 ) is piecewise-linear. Here we show that if 𝔛 is pluri-stable of pure dimension n and if φ isanymorphism from an Hausdorff strictly k -analytic space of dimension n to 𝔛 η then φ - 1 ( S ( 𝔛 ) ) carries a unique piecewise-linear structure such that φ is piecewise-linear.

How to cite

top

Ducros, Antoine. "Image réciproque du squelette par un morphisme entre espaces de Berkovich de même dimension." Bulletin de la Société Mathématique de France 131.4 (2003): 483-506. <http://eudml.org/doc/272333>.

@article{Ducros2003,
abstract = {Cet article concerne les espaces analytiques au sens de Berkovich.Soit $k$ un corps complet pour une valeur absolue ultramétrique et soit $\mathfrak \{X\}$ un schéma formel au-dessus de la boule unité $k^0$ de $k$. Si $\mathfrak \{X\}$ est pluristable (ce qui signifie essentiellement que les singularités de sa fibre spéciale sont « raisonnables » ) alors sa fibre générique $\{\mathfrak \{X\}\}_\{\eta \}$ se rétracte sur l’un de ses sous-ensembles fermés noté $S(\mathfrak \{X\})$ (c’est lesquelettede $\mathfrak \{X\}$) qui possède une structure naturelle d’espace linéaire par morceaux. Si $\mathfrak \{Y\}\rightarrow \mathfrak \{X\}$ est un morphisme étale entre deux schémas formels pluristables alors $S(\mathfrak \{Y\})$ est l’image réciproque de $S(\mathfrak \{X\})$, et $S(\mathfrak \{Y\})\rightarrow S(\mathfrak \{X\})$ est linéaire par morceaux. Dans ce texte nous prouvons que si $\mathfrak \{X\}$ est pluristable purement de dimension $n$ et si $\phi $ est un morphismequelconqued’un espace strictement $k$-analytique topologiquement séparé de dimension $\le n$ vers $\mathfrak \{X\}_\{\eta \}$ alors $\phi ^\{-1\}(S(\mathfrak \{X\}))$ possède une unique structure linéaire par morceaux telle que $\phi $ soit linéaire par morceaux.},
author = {Ducros, Antoine},
journal = {Bulletin de la Société Mathématique de France},
keywords = {Berkovich spaces; piecewise-linear structures},
language = {fre},
number = {4},
pages = {483-506},
publisher = {Société mathématique de France},
title = {Image réciproque du squelette par un morphisme entre espaces de Berkovich de même dimension},
url = {http://eudml.org/doc/272333},
volume = {131},
year = {2003},
}

TY - JOUR
AU - Ducros, Antoine
TI - Image réciproque du squelette par un morphisme entre espaces de Berkovich de même dimension
JO - Bulletin de la Société Mathématique de France
PY - 2003
PB - Société mathématique de France
VL - 131
IS - 4
SP - 483
EP - 506
AB - Cet article concerne les espaces analytiques au sens de Berkovich.Soit $k$ un corps complet pour une valeur absolue ultramétrique et soit $\mathfrak {X}$ un schéma formel au-dessus de la boule unité $k^0$ de $k$. Si $\mathfrak {X}$ est pluristable (ce qui signifie essentiellement que les singularités de sa fibre spéciale sont « raisonnables » ) alors sa fibre générique ${\mathfrak {X}}_{\eta }$ se rétracte sur l’un de ses sous-ensembles fermés noté $S(\mathfrak {X})$ (c’est lesquelettede $\mathfrak {X}$) qui possède une structure naturelle d’espace linéaire par morceaux. Si $\mathfrak {Y}\rightarrow \mathfrak {X}$ est un morphisme étale entre deux schémas formels pluristables alors $S(\mathfrak {Y})$ est l’image réciproque de $S(\mathfrak {X})$, et $S(\mathfrak {Y})\rightarrow S(\mathfrak {X})$ est linéaire par morceaux. Dans ce texte nous prouvons que si $\mathfrak {X}$ est pluristable purement de dimension $n$ et si $\phi $ est un morphismequelconqued’un espace strictement $k$-analytique topologiquement séparé de dimension $\le n$ vers $\mathfrak {X}_{\eta }$ alors $\phi ^{-1}(S(\mathfrak {X}))$ possède une unique structure linéaire par morceaux telle que $\phi $ soit linéaire par morceaux.
LA - fre
KW - Berkovich spaces; piecewise-linear structures
UR - http://eudml.org/doc/272333
ER -

References

top
  1. [1] V. Berkovich – « Smooth p -adic analytic spaces are locally contractible II », prépublication. Zbl0930.32016MR1702143
  2. [2] —, Spectral theory and analytic geometry over non-archimedean fields, Mathematical Surveys and Monographs, vol. 33, AMS, Providence, RI, 1990. Zbl0715.14013MR1070709
  3. [3] —, « Étale cohomology for non-archimedean analytic spaces », Inst. Hautes Études Sci. Publ. Math.78 (1993), p. 5–161. Zbl0804.32019MR1259429
  4. [4] —, « Vanishing cycles for formal schemes », Invent. Math.115 (1994), p. 539–571. Zbl0791.14008MR1262943
  5. [5] —, « Smooth p -adic analytic spaces are locally contractible », Invent. Math.137 (1999), p. 1–84. Zbl0930.32016MR1702143
  6. [6] S. Bosch, U. Güntzer & R. Remmert – Non-Archimedean analysis. A systematic approach to rigid analytic geometry, Grundl. Math. Wiss., vol. 261, Springer-Verlag, 1984. Zbl0539.14017MR746961
  7. [7] N. Bourbaki – Algèbre commutative, Hermann, 1964. MR194450
  8. [8] A. Ducros – « Cohomologie non ramifiée sur une courbe p -adique lisse », Compositio Math.130 (2002), p. 89–117. Zbl1057.14021MR1883693

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.