Localisation formelle et groupe de Picard

Fresnel, Jean, and Put, Marius Van Der. "Localisation formelle et groupe de Picard." Annales de l'institut Fourier 33.4 (1983): 19-82. <http://eudml.org/doc/74606>.

@article{Fresnel1983,
abstract = {Soient $X$ un espace analytique affinoïde réduit sur un corps $K$ complet pour une valeur absolue non archimédienne, $r:X\rightarrow \widehat\{X\}$ sa réduction canonique et $p\in \widehat\{X\}$ un point de la variété algébrique affine $\widehat\{X\}$. Ce travail décrit la singularité du point $p$ à l’aide d’objets associés à l’espace $X$: la localisation formelle $\{\cal O\}_\{X,(p)\}$ qui est une $K$-algèbre noethérienne de spectre maximal $r^\{-1\}(p)$ et dont la réduction est $\{\cal O\}_\{\{\widehat\{X\}\},(p)\}$ ; un complété formel $\{\cal O\}_\{X,(p)\}$ qui est une $K$-algèbre noethérienne dont la réduction est $\{\cal O\}_\{\{\widehat\{X\}\},(p)\}$. Les résultats essentiels sont obtenus pour $X$ régulier et de dimension 1. On montre les équivalences qui suivent : $p$ est un point multiple ordinaire; Pic$(\{\widehat\{\cal O\}\}_\{X,(p)\})=(1)$ (le groupe de Picard de $\{\widehat\{\cal O\}\}_\{X,(p)\}$ est trivial) ; $r^\{-1\}(p)$ est localement isomorphe à $\{\bf P\}^1_K$. Si $p$ est toujours un point multiple ordinaire on a : Pic$(\{\cal O\}_\{X,(p)\})\simeq \vert K^\times \vert ^\{n-s\}/Z$ où $n$ est la multiplicité du point $p$, $s$ le nombre de composantes irréductibles de $\widehat\{X\}$ qui passent par $p$ et $Z$ est un sous-groupe de $\vert \{\bf K\}^\times \vert ^\{n-s\}$ engendré par, au plus, $n-1$ éléments. En particulier, Pic$(\{\cal O\}_\{X,(p)\})=(1)$ si et seulement si $p$ est une intersection multiple.},
author = {Fresnel, Jean, Put, Marius Van Der},
journal = {Annales de l'institut Fourier},
keywords = {trivial Picard group; formal localization; affinoid space; multiple point},
language = {fre},
number = {4},
pages = {19-82},
publisher = {Association des Annales de l'Institut Fourier},
title = {Localisation formelle et groupe de Picard},
url = {http://eudml.org/doc/74606},
volume = {33},
year = {1983},
}

TY - JOUR
AU - Fresnel, Jean
AU - Put, Marius Van Der
TI - Localisation formelle et groupe de Picard
JO - Annales de l'institut Fourier
PY - 1983
PB - Association des Annales de l'Institut Fourier
VL - 33
IS - 4
SP - 19
EP - 82
AB - Soient $X$ un espace analytique affinoïde réduit sur un corps $K$ complet pour une valeur absolue non archimédienne, $r:X\rightarrow \widehat{X}$ sa réduction canonique et $p\in \widehat{X}$ un point de la variété algébrique affine $\widehat{X}$. Ce travail décrit la singularité du point $p$ à l’aide d’objets associés à l’espace $X$: la localisation formelle ${\cal O}_{X,(p)}$ qui est une $K$-algèbre noethérienne de spectre maximal $r^{-1}(p)$ et dont la réduction est ${\cal O}_{{\widehat{X}},(p)}$ ; un complété formel ${\cal O}_{X,(p)}$ qui est une $K$-algèbre noethérienne dont la réduction est ${\cal O}_{{\widehat{X}},(p)}$. Les résultats essentiels sont obtenus pour $X$ régulier et de dimension 1. On montre les équivalences qui suivent : $p$ est un point multiple ordinaire; Pic$({\widehat{\cal O}}_{X,(p)})=(1)$ (le groupe de Picard de ${\widehat{\cal O}}_{X,(p)}$ est trivial) ; $r^{-1}(p)$ est localement isomorphe à ${\bf P}^1_K$. Si $p$ est toujours un point multiple ordinaire on a : Pic$({\cal O}_{X,(p)})\simeq \vert K^\times \vert ^{n-s}/Z$ où $n$ est la multiplicité du point $p$, $s$ le nombre de composantes irréductibles de $\widehat{X}$ qui passent par $p$ et $Z$ est un sous-groupe de $\vert {\bf K}^\times \vert ^{n-s}$ engendré par, au plus, $n-1$ éléments. En particulier, Pic$({\cal O}_{X,(p)})=(1)$ si et seulement si $p$ est une intersection multiple.
LA - fre
KW - trivial Picard group; formal localization; affinoid space; multiple point
UR - http://eudml.org/doc/74606
ER -