Faisceaux

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

Faisceaux

par barbu23 » 08 Juin 2012, 17:37

Bonjour,

Je galère depuis ce matin sur une notion que je ne comprends pas, la voici :

Le but du paragraphe est de construire un faisceau d'anneaux sur l'espace topologique avec un anneau commutatif tel que pour tout , la tige soit le localisé de par rapport à la partie multiplicative , et : la restriction du faisceau à l'ouvert soit isomorphe à avec . On rappelle que est le localisé de par rapport à la partie multiplicative .

Voici le passage que je ne comprends pas :

On va d'abord, définir l'anneau et les applications de restrictions quand . On pose : .

Pourquoi, si , alors, cela signifie que ( i.e : ), et donc est inversible dans , et on obtient un homomorphisme de restriction provenant de la définition de la localisation ( cela revient à envoyer sur )

Je ne saisis pas bien ce passage dans ma tête.

Merci pour votre aide.

P.S : Écrivez moi la réponse en détail svp, car je ne comprends pas bien ce qui est écrit là.



wserdx
Membre Rationnel
Messages: 654
Enregistré le: 03 Oct 2009, 13:44

par wserdx » 09 Juin 2012, 17:02

Bonjour,
Je ne suis pas du tout expert en topologie algébrique, mais ton sujet semble intéressant.
Il est donc fort possible que je dise des bêtises dans la suite.
Je dirais que par contraposée, tout idéal premier contenant contient aussi
.
Pour me raccrocher à quelque chose de connu, j'ai raisonné avec .
Peut-on dire alors que tout diviseur premier de est aussi un diviseur de ?
Est-ce que ça peut te permettre de poursuivre ?

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 09 Juin 2012, 20:23

wserdx a écrit:Bonjour,
Je ne suis pas du tout expert en topologie algébrique, mais ton sujet semble intéressant.
Il est donc fort possible que je dise des bêtises dans la suite.
Je dirais que par contraposée, tout idéal premier contenant contient aussi
.
Pour me raccrocher à quelque chose de connu, j'ai raisonné avec .
Peut-on dire alors que tout diviseur premier de est aussi un diviseur de ?
Est-ce que ça peut te permettre de poursuivre ?

Salut :
La réponse est ici :
http://forums.futura-sciences.com/mathematiques-superieur/545536-faisceaux.html

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 09 Juin 2012, 22:23

Ce que je ne comprends pas est comment on fait pour dire qu'il y'a homomorphisme de restriction .
Merci pour vos éclaircissements.

wserdx
Membre Rationnel
Messages: 654
Enregistré le: 03 Oct 2009, 13:44

par wserdx » 11 Juin 2012, 20:44

Bonsoir,
Je ne sais pas si c'est le bout de démonstration qui te manque :
si il existe tel que

On multiplie les deux membres par et on remplace
par soit

On en déduit que

On peut donc légitimement définir l'application qui à la classe de associe la classe de
, puisque l'image est indépendante du choix du représentant.
Ensuite il te reste à démontrer que c'est bien un morphisme.
Je ne suis pas du tout expert dans ce sujet, il y a peut-être plus simple.

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 48 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite