Composantes irr´eductibles
Colas Bardavid
samedi 9 juillet 2005
Table des mati`eres
1 Composantes irr´eductibles 4
2 Ouverts denses et composantes irr´eductibles 5
3 Scemas (localement) noeth´eriens et composantes irr´eductibles 5
3.1 Il n’y a pas de lien bi-univoque entre finitude des composantes irr´eductibles
et noeth´eriennit´e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.2 Parenth`ese sur les espaces topologiques noeth´eriens . . . . . . . . . . . 6
3.3 La (locale) noeth´eriennit´e entraˆıne la (locale) finitude des composantes
irr´eductibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1
R´esultats
Lemme 1 L’adh´erence d’une partie irr´eductible l’est encore.
Lemme 2 Soit Xun espace topologique. Soit Yune partie de X. Alors, Yest
irr´eductible si, et seulement si, son adh´erence l’est.
Corollaire 3 La notion de composante irr´eductible est ´equivalente `a la notion de
partie irr´eductible maximale.
Th´eor`eme 4 Un espace topologique est recouvert par ses composantes irr´eductibles.
Plus pr´ecis´ement : si YXest irr´eductible, alors Yest contenu dans une composante
irr´eductible.
Proposition 5 Un sch´ema noeth´erien est un espace topologique noeth´erien et a donc
un nombre fini de composantes irr´eductibles.
Lemme 6 Soit Xun espace topologique dont on note Ciles composantes irr´eductibles.
Soit Uun ouvert (non-vide) de X. Alors, les CiUnon-vides sont des composantes
irr´eductibles de U.
Proposition 7 Soit Xun sch´ema localement noeth´erien. Alors, par tout point, il ne
passe qu’un nombre fini de composantes irr´eductibles.
2
Questions en suspens et travail `a faire
3
Ce texte est la r´edaction de ce que m’a racont´e Amaury Thuillier un apr`es-midi
o`u on a discut´e ensemble de normalition et de Grothendieck.
On rappelle qu’un espace topologique est dit irr´eductible s’il ne peut ˆetre d´ecompos´e
en l’union de deux ferm´e non-pleins. Cette notion est surtout `a l’œuvre en g´eom´etrie
alg´ebrique avec la topologie de Zarisiki. D’un certain point de vue, elle permet de
comprendre le concept de topologie dans une optique combinatoire.
1 Composantes irr´eductibles
Soit Xun espace topologique. On dit que FXest une composante irr´eductible
de Xsi Fest ferm´e, irr´eductible et maximal pour cette propri´et´e.
Avant de parler des composantes irr´eductibles, prouvons le
Lemme 8 Soit Xun espace topologique. Soit xX. Alors, {x}est un ferm´e
irr´eductible.
emonstration : C’est facile. Soit Fun ferm´e contenu dans {x}. Si Fcontient x,
alors Fest plein.
Un autre lemme qui nous servira :
Lemme 9 L’adh´erence d’une partie irr´eductible l’est encore.
emonstration : Soit Xun espace topologique et soit Yune partie de Xqui est
irr´eductible. Soient Fet F0deux ferm´es de Ytels que Y=FF0.Fet F0sont en
particulier des ferm´es de X. Donc, YFet YF0sont des ferm´es de Yet on a
Y= (YF)(YF0). Par irr´eductibilit´e, on a par exemple YF=Y, ce qui veut
dire que YF. Par cons´equent, YFet on a donc en fait ´egalit´e.
Corollaire 10 La notion de composante irr´eductible est ´equivalente `a la notion de
partie irr´eductible maximale.
On peut maintenant ´enoncer :
Th´eor`eme 11 Un espace topologique est recouvert par ses composantes irr´eductibles.
Plus pr´ecis´ement : si YXest irr´eductible, alors Yest contenu dans une composante
irr´eductible.
emonstration : On utilise le lemme de Zorn, ´evidemment. Soit YXun sous-
espace de Xqui, muni de la topologie induite, est irr´eductible. On consid`ere alors
l’ensemble Edes sous-espaces de Xirr´eductibles et qui contiennent Y. Cet ensemble
est non-vide car il contient Y.
Montrons que Eest ordonn´e inductif (pour l’inclusion). Soient donc (Xi)iIune
famille totalement ordonn´ee de parties irr´eductibles de Xcontenant toutes Y. Alors,
l’union des Xicontient encore Yet est irr´eductible. En effet, soient Fet F0deux
ferm´es de SiIXidont l’union est pleine. Alors (par transitivit´e de l’induction des
topologies), pour tout iI,F(0)Xiest un ferm´e de Xiet on a (F0Xi)(FXi) =
Xi. Par irr´eductibilit´e de Xi, on a par exemple FXi=Xi, ce qui veut dire que
XiF. Supposons alors qu’on n’ait ni Y=SiIXini Y0=SiIXi. Ainsi, il existe
x0Xi0qui n’est pas dans Yet x1Xi1qui n’est pas dans Y0. Disons par exemple
qu’on a Xi0Xi1. Comme x1n’est pas dans Y0on ne peut pas avoir Y0Xi1=Xi1:
on a donc Xi1Y. En particulier, on a Xi0Yet donc xi0Y, ce qui est absurde.
Grˆace au lemme de Zorn, on sait alors que Eposs`ede un ´el´ement maximal. Grˆace
au lemme 8 on sait mˆeme que cet ´el´ement maximal est ferm´e : c’est une composante
irr´eductible contenant Y.
Soit maintenant xX. D’apr`es le lemme 7, {x}est irr´eductible et donc est
contenu dans une composante irr´edutible.
En fait, on peut raffiner le lemme 8 en :
4
Lemme 12 Soit Xun espace topologique. Soit Yune partie de X. Alors, Yest
irr´eductible si, et seulement si, son adh´erence l’est.
emonstration : On a d´ej`a d´emontr´e un sens.
Dans l’autre, supposons que Ysoit irr´eductible et soient Fet F0deux ferm´es de
Xtels que (FY)(F0Y) = Y. C’est-`a-dire, Y(FF0) = Y:Yest contenu
dans le ferm´e FF0donc Yaussi donc par exemple Y=Fet donc Y=YF.
2 Ouverts denses et composantes irr´eductibles
J’ai le souvenir qu’Amaury m’avait dit qu’un ouvert est dense si, et seulement si,
il rencontre toutes les parties irr´eductiblles. Il semble que ce soit faux.
Ici, on d´emontre :
Proposition 13 Soit Xun espace topologique et soit U
Xun ouvert de X. Alors,
si Uintersecte toutes les composantes irr´eductibles de X,Uest dense dans X.
Avant, on rappelle le
Lemme 14 Soit Xun espace topologique irr´eductible. Soit Uun ouvert non-vide de
X. Alors, Uest dense dans Xet est irr´eductible pour la topologie induite.
qui est d´emontr´e dans Propri´et´es sch´ematiques globales qu’on peut localiser.
Notons que la r´eciproque (de la proposition) est fausse, comme le montre le :
Contre-exemple 15 On se place sur la droite R. Les seuls irr´eductibles sont les
singletons. Par cons´equent, les composantes irr´eductibles de Rsont les {x},xR.
R\ {0}est ouvert et dense mais ne rencontre pas toutes les composantes irr´eductibles
de R.
emonstration : (de la proposition)
Soit Uun ouvert de Xqui intersecte toutes les composantes irr´eductibles. Mon-
trons qu’il est dense. Soit Vun ouvert de X. Alors, Vrencontre une composante
irr´eductible C.VCest un ouvert non-vide de Cet UCaussi : or tous les ouverts
non-vides d’un espace irr´eductible y sont denses. Donc, UVC6=.
3 Scemas (localement) noeth´eriens et composantes
irr´eductibles
Dans cette partie, o`u on s’int´eresse aux sch´emas, on veut relier finitude (locale)
des composantes irr´eductibles et noeth´eriennit´e.
3.1 Il n’y a pas de lien bi-univoque entre finitude des compo-
santes irr´eductibles et noeth´eriennit´e
On commence donc cette partie par une d´eception.
Contre-exemple 16 Le sch´ema Spec C[X1, . . . , Xn, . . .]n’est pas noeth´erien mais
n’a qu’une composante irr´eductible.
Pour d´emontrer ce fait, souvenons-nous de (d´emontr´e dans Propri´et´es sch´ematiques
qui se testent globalement) :
Th´eor`eme 17 Un sch´ema affine est noeth´erien si, et seulement si, son anneau des
fonctions globales est noeth´erien.
5
1 / 7 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !