Discussion fermée
Page 1 sur 2 1 DernièreDernière
Affichage des résultats 1 à 30 sur 58

Espace tangent d'un moduli-space en un point.

  1. #1
    Anonyme007

    Espace tangent d'un moduli-space en un point.

    Bonsoir à tous,

    Je débute tout juste en théorie des déformations et théorie des moduli-spaces ( Même pas 2 ans ), et j'ai une question vague à vous poser à ce propos :
    Soit une variété algébrique complexe projective lisse de dimension .
    Est ce que vous connaissez quels moduli spaces et vérifiant : et avec : ?
    : Groupes de cohomologie de à coefficients rationnels ( Espaces vectoriels )
    : Groupes de Chow rationnels ( Espace vectoriels )

    Merci d'avance.

    -----


  2. Publicité
  3. #2
    petrifie

    Re : Espace tangent d'un moduli-space en un point.

    Deux choses sont étranges dans ta question :
    1) Tu devrais écrire M_1(X,k) puisque cet espace dépends à la fois de X et de k, (mais bon c'est plutôt une question de notation).
    2) À priori M est un schéma sur C disons, et son espace tangent en X devrait aussi être un espace vectoriel sur C, contrairement à tes groupes de cohomologie/de Chow qui par définition sont des espaces vectoriels sur Q.
    Modulo ces remarques je ne vois pas comment répondre en général (à part quelques cas triviaux).

  4. #3
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Bonjour,
    Effectivement petrifie, et dépendent de , mais pas de , car varie à priori à l'intérieur de . Si dépendait de , on aurait une famille de moduli spaces , ce qui n'est pas le cas ici.
    Sauf erreur de ma part, par exemple, si est un schéma de Hilbert qui contient tous les sous schémas fermes d'un via les polynômes de Hilbert ( i.e : à polynôme de Hilbert près ), alors, est un sous schéma fermé quelconque de qui est un point qu'on fixe au préalable dans . Mais ici, on travaille pour des qui sont des sous variétés projectives complexes d'un , et non des sous schémas projectives fermés de . Je ne sais pas s'il y'a une différence.
    D'autre part, pourquoi dis tu que est un schéma sur et non sur , je n'ai pas compris ça ? Quant c'est un schéma sur ?
    Cordialement.
    Dernière modification par Anonyme007 ; 13/09/2017 à 14h55.

  5. #4
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    De toute façon, comme j'ai pu le constater seul en lisant quelques articles, on aura : ou ( Mais, je ne sais pas encore pour les groupes de Chow rationnels ).
    P.S : et .
    Dernière modification par Anonyme007 ; 13/09/2017 à 15h09.

  6. #5
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Citation Envoyé par Anonyme007 Voir le message
    De toute façon, comme j'ai pu le constater seul en lisant quelques articles, on aura : ou ( Mais, je ne sais pas encore pour les groupes de Chow rationnels ).
    P.S : et .
    Il semble que j'ai mal abordé la situation.
    En général, si et on sait que avec un espace vectoriel peu importe sa nature, alors : . Or, ceci n'est valable que dans des cas particulier ( Par exemple, lorsque est une variété abélienne ). Alors, excusez moi, c'est faux ce que j'ai dit dans mon précédent poste.

  7. #6
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Je corrige et reformule ma question :

    Est ce qu'il existe une référence bibliographique standard pour le fait que, dans un contexte algebro - géométrique approprié, l'espace tangent en un point d'un Moduli space , à déterminer, est un truc comme ou un truc comme : ?
    est une variété complexe projective lisse de dimension fixé dans .
    Malheureusement, je suis novice en théorie des déformations, si vous connaissez un ouvrage sympa qui établit un truc comme : ou , je suis preneur.

    Merci d'avance.

  8. #7
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Bonjour à tous,

    Dans la deuxième réponse qui appartient à : Temo Keller sur le lien suivant : https://mathoverflow.net/questions/2...les-why/242310 , il dit que : there is no fine moduli space if the objects in question have nontrivial automorphisms.
    Qu'est ce que cette phrase voudrait dire exactement ?

    Merci d'avance.

  9. #8
    petrifie

    Re : Espace tangent d'un moduli-space en un point.

    Un espace de module fin c'est quand M est représentable, M étant le "moduli functor".

    Maintenant je ne suis pas expert, mais voilà un exemple : disons que si M doit représenter les familles de segments du plan de longueur 1, à action de SE(2) près. Comme n'importe quel segment est équivalent au segment [0,1] x {0}, M est un point. Par conséquent, n'importe quelle famille de segments devrait s'obtenir comme pullback d'une application constante, i.e toute les familles devraient être triviales. Mais seulement il existe des automorphismes non-triviaux du segment (un seul, qui échange les deux sommets) et grâce à ça on peut obtenir une famille non-triviale (indice : Ruban de Moebius), par conséquent M n'existe pas. On peut rendre M fin en coloriant les sommets d'une couleur différentes par exemple.

    Comme je ne suis pas expert, j'ajoute ici les notes (sur les espaces de modules de courbes) d'où vient mon exemple : http://www.math.colostate.edu/~renzo...duli-space.pdf

  10. #9
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Ah, d'accord. Bravo à toi petrifie. Merci.

  11. #10
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Merci aussi petrifie pour m'avoir répondu sur www.mathstackexchange.com à propos du sujet portant sur le moduli space représentant le foncteur :
    Si cela ne te dérange pas :
    Comment établir cette fois çi rigoureusement que : est un fine moduli space pour le moduli problem : ?
    Merci infiniment.

  12. #11
    petrifie

    Re : Espace tangent d'un moduli-space en un point.

    Je ne sais pas mais j'ai trouvé ça pour n=1 : https://math.stackexchange.com/quest...li-scheme?rq=1

  13. #12
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    @petrifie :
    Ici se trouve la réponse pour le cas de l'espace projectif : : https://userpage.fu-berlin.de/hoskins/M15_Lecture2.pdf
    Tu regardes l'exemple : , page : et :
    On trouve aussi ce genre de construction dans le Hartshorne par exemple, mais pas dans le cadre des moduli spaces, mais dans le cadre des linear systems si ma mémoire est bonne.
    Cordialement.
    Dernière modification par Anonyme007 ; 16/09/2017 à 00h58.

  14. #13
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Bonjour à tous,

    Dans le , page : , paragraphe : Morphisms to . , l'auteur du livre affirme :
    Lets a fixed ring, and consider the projective space over .
    On , we have the invertible sheaf and the homogeneous coordinates give rise to global sections .
    One sees easily that the sheaf is generated by the global sections

    Alors ma question est tout simplement, comment montre -t-on que : the sheaf is generated by the global sections

    Ma question s'inscrit dans le cadre de montrer que : où : est un faisceau inversible sur , et sont des sections qui engendrent .

    Merci d'avance.
    Dernière modification par Anonyme007 ; 17/09/2017 à 17h53.

  15. #14
    AncMath

    Re : Espace tangent d'un moduli-space en un point.

    Ta question initiale, un espace de module c'est quoi ? A priori rien. Un espace de module fin c'est un espace qui représente un foncteur, mais tout espace représente un foncteur : celui de ses propres points. Donc potentiellement tout espace est un espace de module. Quelle est donc ta question ?

  16. #15
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Ici on travaille avec des espaces tangent à un moduli space à déterminer en un point , et non avec des espaces moduli eux meme . Bref, qui est tels que : ? Un schéma de Hilbert ? un schéma de Picard ? Un schéma de Chow ? Je sais qu'aucun de ces objets, mais c'est quoi exactement ? ça doit etre un nouveau moduli space à construire à mon sens, non ?
    Pour infos, je ne suis qu'un débutant en théorie des moduli spaces. Alors si vous repérez qu'il y'a des incohérences dans mon bagage scientifique, veuillez m'excuser. Je ne suis pas encore familier avec tout ce langage nouveau pour moi.
    Merci.

  17. #16
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Bonjour,

    J'entends souvent parler d'une sorte de classification d'objets au moyen du quotient par l'action propre et discontinue libre d'un groupe de Lie sur une variété . Quelle est cette méthode de classification ? et est ce qu'on peut lui trouver une interprétation utilisant les foncteurs moduli problèms représenté par ou un truc qui ressemble à ça ? Je ne sais pas où j'ai vu ça, mais ce que j'ai vu est qu'on peut par exemple classifier les courbes elliptiques au moyen de quotient d'un groupe modulaire, mais, je n'ai pas vraiment pris au sérieux de retenir cette méthode, c'est pourquoi j'ai fini par ne plus m'en souvenir. Pouvez vous me dresser une récapitulation qui résume cette méthode ?

    Merci d'avance.

  18. #17
    AncMath

    Re : Espace tangent d'un moduli-space en un point.

    Tu fais allusion aux catégories de faisceaux équivariantes ? De quoi parles tu ?

  19. #18
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Non, je cherche seulement à voir comment on classifie une classe d'objets à l'aide de quotients . Qu'est ce qui n'est pas claire ?
    Peut-on aussi reformuler cette classification en utilisant le langage des moduli problems, afin d'organiser bien les idées circulant dans mon esprit ?
    Que vient faire faisceau ou catégorie dans le problème que j'ai décrit ?.

  20. #19
    AncMath

    Re : Espace tangent d'un moduli-space en un point.

    Ta question est tout sauf claire. Tu as "entendu parler" d'une classification d'une "classe d'objets" à l'aide de quotients. Quels objets? Quelle classification? Ça n'est pas sérieux.

    L'invariant modulaire permet de voir la droite comme l'espace de module grossier des courbes elliptiques. Une courbe elliptique a en général des automorphismes, il est impossible d'en construire un espace de module fin qui soit un schéma.

  21. #20
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    D'accord, on oublie pour l'instant l'idée de reformulation en termes de moduli problems, je sais que pour le cas des courbes elliptiques la formulation s'appuie sur la notion de moduli stacks qui est une extension de celle des moduli space, j'ai pu lire ça sur le net il n'y'a pas longtemps, mais généralement, comment on fait pour classifier des objets à l'aide de quotient X/G ? J'apprends d'abord ça puis je passe à la suite. Ce serait beaucoup mieux si on illustre ce phénomène de classification à l'aide d'un exemple : Par exemples : courbes elliptiques / quotient d'un groupe modulaire. J'ai pu lire sur ce sujet il y'a longtemps, je ne sais où, j'ai perdu le document, mais je suis sûr d'après ce que je m'en souviens en ayant parcouru de vue un bel article bien présenté et attrayant pour la lecture Je l'ai perdu malheureusement, la classification des courbes elliptiques se fait à l'aide du quotient d'un groupe modulaire. Comment ? Je ne me souviens pas.
    Dernière modification par Anonyme007 ; 07/10/2017 à 10h33.

  22. #21
    AncMath

    Re : Espace tangent d'un moduli-space en un point.

    Mais enfin, tu te rend compte que cette question
    généralement, comment on fait pour classifier des objets à l'aide de quotient X/G ?
    n'appelle aucune réponse ?

    Maintenant parlons de courbe modulaire. Plaçons nous dans le champ complexe pour simplifier mais tout ceci est algébrique.

    Une courbe elliptique c'est un tore complexe de dimension 1 avec un point distingué, en l'occurence le neutre de l'addition sur le tore. Une courbe elliptique c'est donc un quotient . C'est un petit exercice de prouver qu'entre deux tels tores toute application holomorphe est la composition d'une translation et d'un morphisme de groupe et un tel morphisme est nécéssairement la multiplication par un certain .

    Du coup les courbes elliptiques correspondent bijectivement aux quotients des réseaux par la relation donnée par "être homothétique".

    Si on regarde une base intégrale du réseau on peut normaliser le réseau pour que . On note en général une telle base, deux bases définissent le même réseau ssi elles sont conjuguées sous l'action de et plus généralement deux bases définissent la même courbe ssi elles sont conjuguées sous l'action de . Cette action s'identifie si on regarde simplement l'action sur tau en normalisant la base image, à l'action par homographie de sur le plan complexe comme on voit immédiatement. On regarde donc le quotient en question qui est la courbe modulaire ouverte. C'est une surface de Riemann ouverte que l'on peut compactifier. Cela correspond à ajouter dans la bijection une cubique dégénérée.

    En parallèle on peut montrer qu'une telle courbe est nécessairement algébrique, cela résulte de Riemann-Roch ou du théorème de plongement Kodaira.

  23. #22
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Oui, merci beaucoup AncMath.
    Alors, je vais essayer de décortiquer doucement ce que j'ai compris de tes explications en utilisant un peu de signes et de symboles mathémaques.
    Alors, on a :


    avec ; définie par :
    Pourquoi : ?
    Puis, on définit :
    D'où : .
    Par conséquent : , non ?

    Pourquoi stp : ?

    Merci d'avance.

  24. #23
    petrifie

    Re : Espace tangent d'un moduli-space en un point.

    De manière plus naïve, X/G classifie tout bêtement les G-orbites ... Mais en général si on veut des "bonnes propriétés" on est obligé de modifier un peu la construction, par exemple compactifier comme l'a expliqué AncMath si on veut faire de la théorie de l'intersection, enlever certains points "instables" si on veut que X/G soit séparé, etc ... Voir Mukai, Introduction to Invariant and Moduli pour plus de détails.

  25. #24
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Merci petrifie. Je vais lire le livre que tu m'indiques.
    Est ce que quelqu'un peut m'aider à comprendre pourquoi :

    ?
    Merci.

  26. #25
    AncMath

    Re : Espace tangent d'un moduli-space en un point.

    La réponse est déjà dans mon message

    C'est un petit exercice de prouver qu'entre deux tels tores toute application holomorphe est la composition d'une translation et d'un morphisme de groupe et un tel morphisme est nécéssairement la multiplication par un certain .

    Du coup les courbes elliptiques correspondent bijectivement aux quotients des réseaux par la relation donnée par "être homothétique".

  27. #26
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Merci AncMath.
    J'ai vu dans un document sur le net comment on construit une fonction holomorphe entre deux tores : Une fonction holomorphe entre deux tores : s'identifie à avec et est celle qui s'écrit sous la forme : ,
    Mais, je vois mal comment relier à l'aide d'un isomorphisme ou une bijection, une courbe elliptique définie par une équation ( que vous connaissez d'ailleurs à quoi elle ressemble ) et un Tore. Pouvez vous m'aider là dessus svp ?
    Je sais aussi que la fonction elliptique de Weiestrass vérifie l'équation définissant une courbe elliptique, alors comment on va faire ?
    On a : est l'équation d'une courbe elliptique avec une fonction elliptique.
    Merci d'avance.

  28. #27
    AncMath

    Re : Espace tangent d'un moduli-space en un point.

    Une cubique planaire lisse a un genre valant (3-1)(3-2)/2, c'est la formule donnant le genre d'une courbe planaire lisse en fonction de son degré, venant elle-même de la formule d'adjonction et de la résolution de Dolbeault. C'est bien un tore.

    Il n'y a pas de fonction dans l'équation de Weierstrass d'une courbe elliptique.

  29. #28
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Oui, mais j'aimerais écrire ça plus rigoureusement pour bien m'organiser. Je ne sais pas le faire.

  30. #29
    AncMath

    Re : Espace tangent d'un moduli-space en un point.

    Ecrire quoi plus rigoureusement ?

  31. #30
    Anonyme007

    Re : Espace tangent d'un moduli-space en un point.

    Pardon, on s'est un peu gouré du vrai sens qu'il faut suivre : on cherche plutôt à établir une bijection entre la classe à isomorphisme près des courbes elliptiques et la classe des tores par la relation d'équivalence définie plus haut, et non une bijection entre une courbe elliptique et un Tore. C'est différent en principe.
    Pardon.
    Dernière modification par Anonyme007 ; 11/10/2017 à 12h37.

Page 1 sur 2 1 DernièreDernière

Discussions similaires

  1. Munir un moduli space d'une structure
    Par chentouf dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 06/09/2016, 00h13
  2. Espace tangent en un point.
    Par chentouf dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 01/03/2016, 21h56
  3. Espace tangent
    Par St_Nuit dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 22/05/2011, 19h44
  4. Plan tangent en un point
    Par Barbarix2007 dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 11/08/2009, 13h02
  5. Espace tangent !
    Par chentouf dans le forum Mathématiques du supérieur
    Réponses: 1
    Dernier message: 18/02/2009, 19h07