Cohomologie, limite inductive de l'espace projectif.

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

Cohomologie, limite inductive de l'espace projectif.

par Nightmare » 19 Jan 2009, 23:07

Bonsoir :happy3:

Je suis en train de lire un article intéressant sur les groupes de cohomologie de Rham. Ils proposent dans chaque chapitre des applications sans corrections. Pour un lecteur amateur comme moi, ça pose parfois problème :cry:

En l'occurrence, ils proposent cet exercice :
Calculer les groupes de cohomologie de Rham de


j'ai montré précédemment qu'en tant que k-espace vectoriel, on a mais je ne vois pas trop comment en déduire la cohomologie de ma limite inductive...

J'ai déjà montré que était homéomorphe à k lorsque i était pair et inférieur à 2n et homéomorphe à {0} sinon (récurrence sachant que est homéomorphe à ) , j'imagine que ça doit nous aider ...

Si vous aviez des idées !

Merci



Joker62
Membre Transcendant
Messages: 5028
Enregistré le: 24 Déc 2006, 21:29

par Joker62 » 19 Jan 2009, 23:29

Tu dois vraiment être atteint d'une grave maladie mon ami lol

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 19 Jan 2009, 23:31

Après la lecture de cet article, de gros maux de tête oui :lol3:

sniperamine
Membre Relatif
Messages: 366
Enregistré le: 19 Jan 2009, 05:46

par sniperamine » 19 Jan 2009, 23:32

et ben rien à dire ^^

Joker62
Membre Transcendant
Messages: 5028
Enregistré le: 24 Déc 2006, 21:29

par Joker62 » 19 Jan 2009, 23:32

Pourquoi tu fais pas des séries entière comme en L2 :D ?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 19 Jan 2009, 23:34

J'en bouffe aussi ne t'inquiète pas :lol3:

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 19 Jan 2009, 23:42

Pour en revenir à mon exercice, j'ai montré que l'application était un épimorphisme.

En vertu de j'aurais envi d'en déduire que (limite projective)

Ce dernier étant homéomorphe à ça me permettrait de conclure que lorsque i est pair.

Mais il doit me manquer un théorème pour mon isomorphisme entre la cohomologie de la limite inductive et celle de la limite projective !

Doraki
Habitué(e)
Messages: 5005
Enregistré le: 20 Aoû 2008, 13:07

par Doraki » 19 Jan 2009, 23:50

J'ai quand même l'impression que t'as des résultats un peu contradictoires...

k = C ?
Comme k-ev, k[X]/X^(n+1) c'est pareil que k^(n+1), nan ?

Donc t'aurais que la somme directe des Hachis(Pn(C)) qui serait un k-ev de dimension (n+1) et n/2 en même temps ?

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 19 Jan 2009, 23:59

Arf oui :cry: Je n'ai pas précisé, j'ai des faisceaux différents !

On a plutôt :


et

skilveg
Membre Relatif
Messages: 462
Enregistré le: 21 Mai 2008, 23:29

par skilveg » 20 Jan 2009, 01:17

Euh, depuis quand les espaces projectifs sont des espaces vectoriels?

Généralement (enfin c'est comme ça que je l'ai fait), on calcule la cohomologie de grâce à la suite exacte de Mayer-Vietoris.

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 20 Jan 2009, 01:20

Depuis jamais :lol3: Ce ne sont pas mes espaces projectifs qui sont des k-ev mais ma somme directe et mon quotient.

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 20 Jan 2009, 01:22

Oui je l'ai fait ça Skilveg mais je ne peux pas en déduire la cohomologie de la limite inductive. Cependant j'ai regardé un peu sur le net et j'ai trouvé le critère de Mittag-Lefler qui semble me permettre de conclure.

:happy3:

skilveg
Membre Relatif
Messages: 462
Enregistré le: 21 Mai 2008, 23:29

par skilveg » 20 Jan 2009, 01:22

Ah bah forcément, si tu effaces des bouts de ton espace de départ, ça fait croire que je raconte n'importe quoi... :happy2: En même temps c'est aussi ce que je viens de faire (cf mon message précédent).

[Edit: argh quelle plaie ces posts croisés!]

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 20 Jan 2009, 01:25

Ne t'inquiète pas j'ai pris en compte ta remarque, tu avais raison je me suis juste mal exprimé (comme d'hab, je ne suis encore qu'un amateur dans ce domaine et je suis rapidement perdu :cry: )

R.C.
Membre Relatif
Messages: 134
Enregistré le: 22 Nov 2008, 12:37

par R.C. » 20 Jan 2009, 02:19

Bonsoir,
Il me semble (mais je ne suis pas certain) que , où x est donné par la forme de Fubini-Study (la forme kahlerienne std sur CP^n). Ca m'a l'air d'être ca, mais je ne sais plus comment on le montre. Il me semble que Milnor-Stasheef parlent de cet espace dans le bouquin characteristic classes (bouquin très intéressant par ailleurs..).

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 20 Jan 2009, 02:24

Salut :happy3:

C'est encore plus intéressant que mon résultat ! N'as-tu pas une idée de preuve?

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 06:25

par ffpower » 20 Jan 2009, 04:09

Euh,est ce que vous avez une référence sur le sujet(si possible sur le net lol).Car votre discussion a l air sympa,mais j en ai pas compris un traitre mot :briques:

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 20 Jan 2009, 15:26

Je vais t'épargner les mots de tête ffpower ! De toute façon il n'y a pas beaucoup de références sur le sujet sur internet :cry:

Nightmare
Membre Légendaire
Messages: 13817
Enregistré le: 19 Juil 2005, 19:30

par Nightmare » 20 Jan 2009, 15:37

Si quelqu'un avait une idée pour démontrer le résultat énoncé par R.C :


 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 13 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