Bonjour, cliquez-ici pour vous inscrire et participer au forum.
  • Login:



+ Répondre à la discussion
Page 1 sur 2 1 DernièreDernière
Affichage des résultats 1 à 15 sur 22

Interprétation du groupe Ext pour les faisceaux ?

  1. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Interprétation du groupe Ext pour les faisceaux ?

    Bonjour,
    soient F un faisceau sur X une variété algébrique (avec des hypothèses sympa), on peut regarder le foncteur qui est exact à gauche, et prendre son foncteur dérivé à droite et on obtient . L'observation permet de calculer ce foncteur comme étant . Déjà j'espère que je n'ai pas trop dit de bêtises/me suis trompé de sens.

    Seulement il me semble que je n'ai pas une très bonne intuition sur ce que représente un élément de ce groupe. Il me semble qu'un élément devrait correspondre à une suite exacte , et deux éléments sont égaux si et seulement si il existe un isomorphisme de suites exactes avec les deux fléches verticales qui sont l'identité.
    Or dans plusieurs textes (je n'en ai pas sous la main mais je peux en trouver un si besoin je pense) j'ai vu l'argument suivant revenir :
    Soit une droite dans . Pour tout , les extensions définies par sont isomorphes.

    J'avoue ne pas comprendre. Si par là ils veulent dire isomorphes en tant qu'extension alors je n'ai pas la bonne interprétation de et je veux bien connaître la bonne interprétation. Si j'ai la bonne interprétation de et qu'ils veulent juste dire isomorphes en tant que faisceaux, je voudrais bien si possible une preuve de l'affirmation qu'ils donnent. Et question bonus comme est un espace vectoriel si quelqu'un veut bien m'expliquer à quoi ressemble concrètement l'addition sur , même pour par exemple j'apprécierais beaucoup (un cas simple comme serait déjà super).

    Merci d'avance pour toute explication, et désolé si la question est mal posé/trivial mais je ne vois pas trop comment interpréter ces groupes (même si étrangement les calculer ne devrait pas être si dur vu qu'on peut les exprimer comme un groupe de cohomologie).

    -----

     


    • Publicité



  2. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Je crois que j'ai compris une partie : sauf erreur c'est vraiment spécifique à . En effet par le théorème de Grothendieck tout fibré s'écrit de manière unique comme somme de . En particulier, si sont donnés, l'ensembles des faisceaux qui va dans la suite exacte est discret et donc si est une droite de par continuité, pour tout , on a un isomorphisme . En revanche l'application varie et il n'y a pas d'isomorphisme d'extension vers si . Est ce que c'est correct ? Si oui peut-on expliciter le morphisme pour par exemple , et la droite qui passe par l'extension qui correspond à la suite tautologique ?? Merci d'avance.
     

  3. 0577

    Date d'inscription
    avril 2012
    Messages
    349

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Bonjour,

    si L est une droite Ext^1(F,G), alors pour tout t,s différents de 0, les objets obtenus par les extensions correspondantes sont isomorphes: c'est un fait général, il suffit d'absorber le facteur s/t par un automorphisme scalaire de F ou G (les extensions correspondantes ne sont pas isomorphes parce que dans la définition de la notion d'isomorphisme d'extensions, on veut l'application identité entre F et F, et G et G, et non-pas un automorphisme plus général).
     

  4. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Bonjour 0577,
    merci de ta réponse ! Malheureusement je ne suis pas très familier avec Ext, est ce que tu pourrais détailler un peu plus, peut-être sur un exemple ? Si L est une telle droite et g : A -> G est le morphisme qui corresponds à 1 (avec ker g = F) est ce que ça veut dire que le morphisme correspondant à t va être tg ? Si oui comment je peux voir ça ? Je connais vraiment très peu d'algèbre homologique (je sais juste qu'on a une suite exacte longue et qu'on peut calculer les Ext aussi en prenant une résolution projective de F puis en prenant Hom(F,-) de la résolution).
     

  5. AncMath

    Date d'inscription
    avril 2017
    Messages
    287

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Sais-tu comment associer une extension de par à un élément de ? Parce que j'ai l'impression que c'est ce qu'il te manque pour comprendre.

    C'est pas bien sorcier à vrai dire. On prend une extension et regarder la suite exacte longue qui donne
    et on a un élément distingué dans qui est l'identité et on regarde son image dans . On voit pas bien ce qu'on pourrait faire d'autre me diras-tu.
    A partir de là, en utilisant la naturalité et la linéarité du connectant c'est facile de voir à quoi correspond la multiplication par un scalaire en terme d'extensions.

    Soit dit en passant, il est faux en général que . Il faut des hypothèses sur les faisceaux. Du genre un localement libre et l'autre cohérent.
     


    • Publicité



  6. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Ok super effectivement c'est tout simple ! Et merci pour ta remarque sur , par exemple donne un contre-exemple sauf erreur ?
     

  7. AncMath

    Date d'inscription
    avril 2017
    Messages
    287

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Que notes tu exactement ?
     

  8. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Re : Interprétation du groupe Ext pour les faisceaux ?

    L'anneau des fonctions d'un point i.e celui qui va dans la suite exacte

    J'essayais de trouver un contre exemple à ce que j'avais écris plus haut et j'ai pris deux faisceaux qui n'étaient pas localement libre pour voir ce que ça donnait. Il me semble que . D'un autre côté je ne sais pas qui est je dirais que c'est et du coup ça donnerait que parce que le support de et sont disjoints donc le produit tensoriel est zéro.
     

  9. AncMath

    Date d'inscription
    avril 2017
    Messages
    287

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Si et sont distints, alors il n'y a pas de morphismes de faisceau non nul entre et . Regarde les tiges !
    Et tu joues un peu avec le feu en écrivant pour ce que tu devrais noter et qui n'est pas la meme chose !
    Dernière modification par AncMath ; 18/09/2017 à 14h52.
     

  10. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Ah oui bien sûr évidemment. Du coup les deux côtés sont zéros dans mon exemple, donc ça ne marche pas ? Aurais-tu un exemple ?
     

  11. AncMath

    Date d'inscription
    avril 2017
    Messages
    287

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Il y a des exemples arithmétiques trouvables, typiquement en jouant avec des faisceaux de torsion sur . Pas la peine d'aller chercher trop loin.
    Dernière modification par AncMath ; 18/09/2017 à 15h01.
     

  12. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Ok merci beaucoup pour l'aide. Juste un dernier point : pour moi O(-p) sont les fonctions qui ont au moins un zéro d'ordre 1 sur p, et bah je dirais que O([-p]) c'est la même chose, est ce que O(-p) veut dire autre chose ?
     

  13. AncMath

    Date d'inscription
    avril 2017
    Messages
    287

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Oui, O(-[p]) c'est bien le faisceau des fonctions rationnelles qui s'annule au moins à l'ordre 1 en p. Mais si tu le notes O(-p) alors ca ressemble beaucoup à...O(-p) c'est à dire . Mais ça doit juste être le fait que je suis trop encroûté dans mes notations personnelles, t'inquiète pas !
     

  14. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Ok super j'ai compris, j'ai eu peur de vraiment avoir loupé un truc fondamental ^^ Merci encore pour tout !
     

  15. petrifie

    Date d'inscription
    janvier 2015
    Messages
    231

    Re : Interprétation du groupe Ext pour les faisceaux ?

    Et juste pour être sûr (comme je suis intéressé plutôt par la géométrie sur les nombres complexes) si je prends est ce que si F,G sont cohérent alors la formule marche ?
     


    • Publicité







Sur le même thème :





 

Discussions similaires

  1. Actu - Des faisceaux de neutrons ultrafroids pour tester la gravitation
    Par RSSBot dans le forum Commentez les actus, dossiers et définitions
    Réponses: 0
    Dernier message: 05/05/2011, 09h35
  2. Groupe circulaire et faisceaux de cercles
    Par amatheur dans le forum Mathématiques du supérieur
    Réponses: 0
    Dernier message: 08/12/2010, 10h42
  3. Interprétation de la polarisation pour les photons
    Par tajz dans le forum Physique
    Réponses: 5
    Dernier message: 05/01/2010, 21h56
  4. interpretation analyse pour anemie
    Par electre99 dans le forum Santé et médecine générale
    Réponses: 1
    Dernier message: 19/01/2009, 18h29
  5. MAX232, besoin d'aide pour interprétation
    Par SiD dans le forum Électronique
    Réponses: 8
    Dernier message: 18/05/2003, 22h17