Répondre à la discussion
Affichage des résultats 1 à 7 sur 7

Cohomologie de l'espace projectif complexe



  1. #1
    invite52487760

    Cohomologie de l'espace projectif complexe


    ------

    Bonsoir à tous,

    Pourriez vous me montrer comment on calcule la cohomologie de l'espace projective complexe : à l'aide des suites de Mayer - Vietoris ?

    Merci d'avance.

    -----
    Dernière modification par chentouf ; 30/08/2013 à 19h46.

  2. Publicité
  3. #2
    taladris

    Re : Cohomologie de l'espace projectif complexe

    Salut!

    Dois-tu vraiment utiliser Mayer-Vietoris? Parce que c'est immediat en utilisant une decomposition en CW-complexe: il existe une decomposition de avec une cellule dans chaque dimension paire 0,2,4,...,2n (et aucune dans les autres dimensions).

    Sinon, il me semble qu'avec une suite spectrale et la connaissance de la cohomologie des spheres, on obtient le resultat assez rapidement.

    Cordialement

  4. #3
    invite52487760

    Re : Cohomologie de l'espace projectif complexe

    Bonjour,
    Merci pour cette réponse @taladris.
    Peux tu me montrer comment faire pour calculer dans les trois cas que tu cites : Mayer - Vietoris, Décomposition de CW- complexe, et à l'aide des suites spectrales et la cohomologies des sphères. Je viens de débuter de manière sérieuse l'apprentissage de la topologie algébrique, je n'ai que quelques connaissances dans le domaine, je ne vois pas encore comment aborder ce problème.
    Merci infiniment pour le temps que tu prendras pour me rédiger la réponse. Je ne trouve ça dans aucun bouquin, je ne sais pas dans quels bouquins tu as appris ça.
    Merci d'avance.
    Dernière modification par chentouf ; 31/08/2013 à 16h47.

  5. #4
    taladris

    Re : Cohomologie de l'espace projectif complexe

    Salut,

    la topologie algebrique, c'est tres interessant et tres utile, mais c'est une gageure a expliquer. En particulier sur un forum

    Structure de CW-complexe de :

    Note que est un point (une 0-cellule) et est une sphere (une 0-cellule et une 2-cellule).

    Pour un n quelconque, tu peux proceder par recurrence: se plonge dans par l'homeomorphisme (sur son image) . Le complement de dans est homeomorphe a , une 2(n+1)-cellule ouverte.

    Il reste a verifier les details pour voir qu'on a bien une structure de CW-complexe.

    Tu peux aussi regarder le livre Algebraic Topology d'Allen Hatcher qui est une reference sur le sujet. Le livre est disponible gratuitement sur sa page web.

    Cordialement,

    Edit: connais-tu la geometrie algebrique? est un exemple de variete torique, ie une variete algebrique avec une action du tore compact . Il existe des techniques puissantes pour calculer la cohomologie des varietes toriques.
    Dernière modification par taladris ; 01/09/2013 à 05h34.

  6. A voir en vidéo sur Futura
  7. #5
    taladris

    Re : Cohomologie de l'espace projectif complexe

    Par Mayer-Vietoris (MV):


    La encore, il faut proceder par recurrence. Par simplicite, on note pour et on decompose en une union d'ouverts ou .


    Puis on denote l'union partielle . Donc . L'idee est de calculer la cohomologie de chaque en fonction de celle de en utilisant MV. Pour cela, tu peux prouver assez facilement que:


    Assertion 1: est connexe pour tout k, et donc pour tout k.


    Assertion 2: est homeomorphe a pour tout j.


    Assertion 3: et est homotope a une sphere de dimension (2k+1).


    En utilisant MV pour , on peut montrer par recurrence que:


    Assertion 4: si et 0 sinon.


    L'assertion 4 est assez facile a prouver pour la cohomologie a coefficient reels (il suffit de compter les dimensions/nombres de Betti). J'espere qu'il n'y a pas de probleme de torsion pour des coefficients entiers.

    Cordialement

    PS: Il y a peut-etre une application de Mayer-Vietoris beaucoup plus simple pour effectuer le calcul mais je ne la connais/trouve pas. L'idee utilisee est de construire une filtration, ie une suite (eventuellement infinie) d'espaces topologiques de plus en plus grands dont la limite (=l'union croissante) est l'espace etudiee. On utilise les filtrations pour construire certaines suites spectrales.

  8. #6
    taladris

    Re : Cohomologie de l'espace projectif complexe

    Par les suites spectrales:


    Il est hors de question de detailler les suites spectrales si tu ne maitrises pas encore Mayer-Vietoris ou les bases de topologie algebriques. C'est beaucoup, beaucoup trop long! Et accessoirement, je ne maitrise pas tous les aspects . Une reference sur les suites spectrales est un livre en preparation de Hatcher ( une ebauche consequente est disponible sur sa page web); il me semble qu'il y traite le calcul de la cohomologie de par suites spectrales mais le cas complexe devrait etre similaire.


    Une autre reference classique sur les suites spectrales est User's guide to spectral sequences by John McCleary. Alternativement, le livre Toric Varieties de Cox, Little et Schenk a un appendice plutot clair et synthetique sur les suites spectrales pour le geometre (algebrique) avec peu de connaissance en topologie algebrique. Quand le livre n'etait pas complet, une version gratuite du livre etait disponible gratuitement sur la page web de Cox; je ne sais pas si c'est toujours le cas.

    Cordialement

  9. Publicité
  10. #7
    invite52487760

    Re : Cohomologie de l'espace projectif complexe

    Merci @taladris pour le temps que tu m'as consacré pour ce problème. Je vais essayer de comprendre ce que tu m'as écrit à tête reposé ce soir.
    Merci beaucoup.

Discussions similaires

  1. Espace projectif
    Par chentouf dans le forum Mathématiques du supérieur
    Réponses: 0
    Dernier message: 18/12/2009, 11h40
  2. Espace projectif
    Par damboy dans le forum Mathématiques du supérieur
    Réponses: 0
    Dernier message: 21/04/2009, 13h49
  3. Espace de Poincaré, de Seifert-Weber & espace réel projectif ?
    Par begue dans le forum Mathématiques du supérieur
    Réponses: 0
    Dernier message: 16/09/2008, 21h44
  4. Dual de l'espace projectif
    Par MATHIX dans le forum Mathématiques du supérieur
    Réponses: 1
    Dernier message: 22/02/2006, 18h18
  5. Espace projectif sur corps fini
    Par humanino dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 29/03/2005, 14h10