SMF

Image réciproque du squelette par un morphisme entre espaces de Berkovich de même dimension

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

Antoine Ducros
Image réciproque du squelette par un morphisme entre espaces de Berkovich de même dimension
     
                
  • Année : 2003
  • Fascicule : 4
  • Tome : 131
  • Format : Électronique
  • Langue de l'ouvrage :
    Français
  • Class. Math. : 14G22
  • Pages : 483-506
  • DOI : 10.24033/bsmf.2452
Cet article concerne les espaces analytiques au sens de Berkovich. Soit k un corps complet pour une valeur absolue ultramétrique et soit X un schéma formel au-dessus de la boule unité k0 de k. Si X est pluristable (ce qui signifie essentiellement que les singularités de sa fibre spéciale sont « raisonnables ») alors sa fibre générique Xη se rétracte sur l'un de ses sous-ensembles fermés noté S(X) (c'est le squelette de X) qui possède une structure naturelle d'espace linéaire par morceaux. Si YX est un morphisme étale entre deux schémas formels pluristables alors S(Y) est l'image réciproque de S(X), et S(Y)S(X) est linéaire par morceaux. Dans ce texte nous prouvons que si X est pluristable purement de dimension n et si ϕ est un morphisme quelconque d'un espace strictement k-analytique topologiquement séparé de dimension n vers Xη alors ϕ1(S(X)) possède une unique structure linéaire par morceaux telle que ϕ soit linéaire par morceaux.
This article deals with Berkovich analytic spaces. Let k be a complete field with respect to an ultrametric absolute value and let X be a formal scheme over the unit ball k0 of k. If X is pluri-stable (roughly speaking, it means that the singularities of its special fibre are “not too bad ») then its generic fibre Xη admits a retraction toward a closed subset S(X) (the skeleton of X) which carries a natural structure of piecewise-linear space. If YX is an étale morphism between two pluri-stable formal schemes then S(Y) is exactly the pre-image of S(X), and S(Y)S(X) is piecewise-linear. Here we show that if X is pluri-stable of pure dimension n and if ϕ is any morphism from an Hausdorff strictly k-analytic space of dimension n to Xη then ϕ1(S(X)) carries a unique piecewise-linear structure such that ϕ is piecewise-linear.
Espaces de Berkovich, structures linéaires par morceaux
Berkovich spaces, piecewise-linear structures


Des problèmes avec le téléchargement?Des problèmes avec le téléchargement?
Informez-nous de tout problème que vous avez...