Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
194 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

k-schéma de type fini

Envoyé par zariski 
k-schéma de type fini
il y a deux mois
Bonjour,
Je n'arrive pas à démontrer que l'ensemble des points fermés d'un k schéma X de type fini est dense dans X.
Pouvez-vous m'aider ?
Merci d'avance !
Re: k-schéma de type fini
il y a deux mois
C'est essentiellement le nullstellensatz : déjà on peut se ramener à supposer $X$ affine, donc $\mathrm{Spec}A$ avec $A$ de type fini sur $k$. On regarde alors un ouvert $D(f) \subset X$, $f\in A$, dont on suppose qu'il ne contient pas de point fermé de $X$.

Sauf que $D(f)$ c'est $\mathrm{Spec}A_f$, $A_f$ est de type fini sur $k$, donc par le Nullstellensatz, elle a un point fermé.

Maintenant il suffit de voir qu'un point de $D(f)$ est fermé dans $X$ si et seulement si il l'est dans $D(f)$. C'est vrai parce que sur un schéma de type fini sur un corps, "être un point fermé" se teste sur les corps résiduels, c'est donc une info locale (précisément, un point $x$ est fermé si et seulement si $\kappa(x)$ est une extension finie de $k$ - c'est encore le Nullstellensatz-, ce qui est local, donc vrai dans $X$ si et seulement si c'est vrai dans $D(f)$)

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell



Edité 1 fois. La dernière correction date de il y a deux mois et a été effectuée par Maxtimax.
Pea
Re: k-schéma de type fini
il y a deux mois
Il y a quand même une subtilité pour se ramener au cas affine: il faut déjà utiliser la caractérisation locale des points fermés. Ensuite, pour montrer que $Spec(A_f)$ a un point fermé je ne crois pas que l'on ait besoin du Nullstellensatz...
aRc
Re: k-schéma de type fini
il y a deux mois
Voici une autre preuve (qui utilise la notion de dimension) qui se ramène essentiellement à la normalisation de Noether qui implique le Nullstellensatz donc essentiellement la même que Maxtimax.

On peut supposer $X$ irréductible et intègre (quitte à prendre $X_{red}$).
On considère un ouvert affine $U=Spec(A)$ non vide, on choisit un idéal maximal $\mathfrak m$ de $A$ qui correspond un point fermé $x$ de $U$.
Soit $V=Spec(B)$ un ouvert affine contenant $x$ alors $\dim(\mathcal O_{U,x})=\dim(A)=\dim(X)=\dim(\mathcal O_{V,x})=\dim(B)$, on note $\mathfrak p$ l'idéal de $B$ correspondant à $x$ alors $\dim(B/\mathfrak p)=\dim(B)-\dim(B_{\mathfrak p})=0$ i.e $B/\mathfrak p$ est un corps donc $\mathfrak p$ est maximal et ainsi $x$ est fermé dans $V$.
On conclut en disant que les ouverts affines recouvrent $X$.



Edité 1 fois. La dernière correction date de il y a deux mois et a été effectuée par AD.
Re: k-schéma de type fini
il y a deux mois
Pea : tu as raison, je n'utilise le nullstellensatz que pour caractériser les points fermés (ce que je mentionne à la fin - mais tu as raison que j'ai mal écrit ce que je racontais , j'aurais dû mettre dès le début la caractérisation locale des points fermés ça aurait été plus clair)

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell
Re: k-schéma de type fini
il y a deux mois
Merci pour vos réponses !
J'ai du mal à comprendre pourquoi un point $x$ est fermé ssi son corps résiduel est une extension finie de $k$, pouvez-vous expliciter cette partie ?

Et pour montrer que $D(f)$ a bien un point fermé, il suffit juste de voir que $A_f$ est non nul non ?
Re: k-schéma de type fini
il y a deux mois
zariski : oui pour $A_f$, c'est ce que Pea me faisait remarquer, j'ai utilisé le Nullstellensatz pour rien .
Pour ta question, on procède comme suit : $x$ est fermé si et seulement si il est fermé dans tout ouvert affine le contenant.
Donc on se ramène au cas affine (au sens où si on sait prouver la caractérisation pour les ouverts affines, on a gagné)

Maintenant si $A$ est de type fini sur $k$, le Nullstellensatz dit en particulier que si $m$ est un idéal maximal de $A$, $A/m$ est une extension finie de $k$, donc l'anneau local de $\mathrm{Spec} A$ en un point fermé $x$ (qui est simplement $A/p_x$, puisque c'est $A_{p_x}/p_xA_{p_x} \cong A/p_x$, $p_x$ étant maximal) est une extension finie de $k$.

Inversement, si l'anneau local le corps résiduel (merci Pea !) de $\mathrm{Spec} A$ en un point $x$ est une extension finie de $k$, alors $A\to \kappa(x)$ est surjectif (je prends des générateurs $a_1,...,a_n$ de $\kappa(x)$ sur $k$, $a_i$ est l'image de $\frac{\alpha_i}{b_i}$ où $\alpha_i, b_i\in A, b_i\notin p_x$, et alors les images des $\alpha_i, b_i$ engendrent aussi $\kappa(x)$ sur $k$ car $b_i$ est algébrique sur $k$, donc son inverse est un polynôme en $b_i$, et eux sont dans l'image de $A$) et donc $p_x$ est maximal, i.e. $x$ est fermé.

(il doit y avoir plus simple pour la réciproque mais j'ai oublié comment faire donc j'ai dû retrouver une preuve grinning smiley )

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell



Edité 1 fois. La dernière correction date de il y a deux mois et a été effectuée par Maxtimax.
Pea
Re: k-schéma de type fini
il y a deux mois
Oui c'est cela, sauf que je crois qu'il faut dire "corps résiduel" ici et non "anneau local".
Re: k-schéma de type fini
il y a deux mois
Corrigé, merci Pea !

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell
Re: k-schéma de type fini
il y a deux mois
C'est quoi le but du jeu ? Ne pas prononcer ``anneau de Jacobson'' ? (toute algèbre de type fini sur un corps est un anneau de Jacobson). J'ai bien compris ?
aRc
Re: k-schéma de type fini
il y a deux mois
Oui en effet claude, $A$ est de Jacobson si et seulement si tout fermé $F$ de $Spec(A)$ vérifie $\overline F_0=F$ où $F_0$ sont les points fermés de $F$.
Donc ce que tu dis implique la densité.
Re: k-schéma de type fini
il y a deux mois
Bonjour,
Merci beaucoup ! C´est clair maintenant :)
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 139 734, Messages: 1 362 663, Utilisateurs: 25 281.
Notre dernier utilisateur inscrit LEGI.


Ce forum
Discussions: 17 714, Messages: 173 036.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page