Bonsoir,
J'espère trouver quelqu'un ici qui peut m’aider.
Définition 1,
Soitune variété quasi projective.
Par définition, une compactification deest une paire
, où
est une variété projective contenant
comme ouvert de
, et
un diviseur de
.
Définition 2,
Soitun schéma noethérien.
Soitle complété formel de
le long d'un sous schéma fermé
de votre choix, car,
ne dépend de
( ... et qui est le modèle local d'un schéma formel en général ).
Voir ici : https://en.wikipedia.org/wiki/Formal_scheme pour plus d’informations.
Question,
Si on admet ( et c'est un fait réel ) que la complétude formelle [ Définition 2 ] ( qui vient de la locution : complété formel ... ) est un cas particulier de compactification [ Définition 1 ], peut-on exprimer la définitionen termes de la définition
?
Merci d'avance.
-----