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

Fibré en droite sur une courbe

  1. #1
    petrifie

    Fibré en droite sur une courbe

    Bonjour,

    soit une courbe de genre .

    1) Pourquoi existe il un fibré en droite tel que ?

    Si on admet l'existence sauf erreur . On prend un hyperplan affine . Chaque paramétrise une extension



    On observe que .

    2) Pourquoi ça implique que l'extension associé est uniquement déterminé par ?

    Ces questions apparaissent car j'essaye de comprendre une preuve dans le livre "Complex algebraic surfaces" de Beauville. Comme très peu de détails sont donnés je pense que ça doit être des détails faciles qui m'échappent. Merci d'avance !

    -----


  2. Publicité
  3. #2
    AncMath

    Re : Fibré en droite sur une courbe

    Tu peux prendre pour le fibré canonique auquel tu retranche points bien choisi.

  4. #3
    petrifie

    Re : Fibré en droite sur une courbe

    Merci ! J'avais déjà vu cette astuce avant en plus ><

    Pour les lecteurs futurs : si L est de degré d avec au moins une section globale, celle ci définit un morphisme L -> O_p (O_p est un faisceau gratte ciel) et il est surjectif si s(p) est non nul. Donc on a trouvé un fibré L' de degré d-1 avec une section globale en moins, et on peut faire une récurrence.

    Et pour la deuxième question ?
    Dernière modification par petrifie ; 03/03/2018 à 14h27.

  5. #4
    AncMath

    Re : Fibré en droite sur une courbe

    Sais tu ce qu'est la construction de Serre ? Si non je pense que regarder cette construction répondra à ta seconde question.
    Je détaillerai des que j'ai un moment.
    Dernière modification par AncMath ; 03/03/2018 à 14h54.

  6. #5
    petrifie

    Re : Fibré en droite sur une courbe

    Non je ne connais pas ! C'est curieux parce que Beauville dit juste ça sans ajouter de détails. Oui avec plaisir quand tu as du temps, merci beaucoup.

  7. #6
    AncMath

    Re : Fibré en droite sur une courbe

    Mmmh en fait c'etait bête ce que je disais, il doit falloir simplement regarder la suite exacte longue associée à ton extension et retrouver ton extension comme l'image de la section unité du faisceau structural dans , mais je vois pas trop quel suite utiliser comme ça, parce qu'on aurait envie de tout tensoriser par L dual ou au contraire de dualiser la suite. Mais aucun des deux ne semble donner la réponse !

  8. #7
    petrifie

    Re : Fibré en droite sur une courbe

    En fait, je ne suis même pas sûr de comment partir : on part d'une extension et on voudrait montrer qu'il y a un isomorphisme d'extensions avec et en particulier on devrait avoir trivial et isomorphe à ce qui me semble à priori pas évident ...

  9. #8
    AncMath

    Re : Fibré en droite sur une courbe

    Heu non, tu pars de deux extensions différentes et et tu veux montrer que si et sont isomorphe alors les extensions sont isomorphes.

  10. #9
    petrifie

    Re : Fibré en droite sur une courbe

    Ah d'accord j'avais mal compris. Bon je vais essayer d'y réfléchir.

  11. #10
    0577

    Re : Fibré en droite sur une courbe

    Bonjour,

    Pour les lecteurs futurs : si L est de degré d avec au moins une section globale, celle ci définit un morphisme L -> O_p (O_p est un faisceau gratte ciel) et il est surjectif si s(p) est non nul. Donc on a trouvé un fibré L' de degré d-1 avec une section globale en moins, et on peut faire une récurrence.
    Je lis peut-être mal entre les lignes, mais il me semble que cet argument n'est pas suffisant.

    Pour la seconde question, il suffit de remarquer que se donner un morphisme de faisceaux O ->E est équivalent à se donner une section de E, et que dans le cas présent, E admet une unique section non-nulle (à multiplication par un scalaire près).

  12. #11
    petrifie

    Re : Fibré en droite sur une courbe

    Bon en fait c'est tout bête ... L'extension est uniquement déterminé par l'application qui est précisément une section globale.

    Edit : message croisé avec @0577. Pourquoi tu pense que le premier argument n'est pas suffisant ?
    Dernière modification par petrifie ; 03/03/2018 à 20h28.

  13. #12
    petrifie

    Re : Fibré en droite sur une courbe

    Soit D un diviseur avec au moins une section globale s. Il existe donc un point p avec une surjection (le kernel étant ). On en déduit que . Si n'a plus de sections globales on a gagné, sinon on répète et à la fin, si D est un diviseur de degré d avec m sections globales alors il existe un diviseur D' de degré d-m sans sections globales. Non ?
    Dernière modification par petrifie ; 03/03/2018 à 20h43.

  14. #13
    0577

    Re : Fibré en droite sur une courbe

    Bonjour,

    Citation Envoyé par petrifie Voir le message
    Soit D un diviseur avec au moins une section globale s. Il existe donc un point p avec une surjection (le kernel étant ). On en déduit que . Si n'a plus de sections globales on a gagné, sinon on répète et à la fin, si D est un diviseur de degré d avec m sections globales alors il existe un diviseur D' de degré d-m sans sections globales. Non ?
    Cet argument est correct. Mais si on l'applique pour répondre à la question initiale avec D=K_C le fibré canonique, ce qui était la suggestion intiale d'AncMath, alors D est un diviseur de degré 2g-2 avec g sections globales, et on déduit qu'il existe un diviseur de degré g-1=2g-2-(g-1)
    avec g-(g-1)=1 section globale, ce qui n'est pas ce qu'on veut. En fait, les fibrés en droites L de degré g-1 avec h^0(L) non-nul sont exactement ceux qui peuvent s'obtenir en retranchant g-1 points au fibré canonique (par Riemann-Roch, h^0(L) non-nul est équivalent à h^1(L) non-nul, ce qui, par dualité de Serre, est équivalent à h^0(K_C-L) non-nul).

  15. #14
    petrifie

    Re : Fibré en droite sur une courbe

    Ah oui exact. Du coup une idée pour construire ce diviseur ? Si on essaye "dans l'autre sens" il faudrait tout le temps rajouter des points en étant sûr de ne jamais avoir de sections globales et ça ne m'a pas l'air plus facile ...

  16. #15
    0577

    Re : Fibré en droite sur une courbe

    Pour appliquer l'argument, il suffit de trouver un diviseur de degré 2g-2 avec h^0=g-1. Si on écrit ce diviseur K_C+D avec D de degré 0, on veut
    h^0(K_C+D)=g-1, i.e. par Riemann-Roch h^1(K_C+D)=0. Par dualité de Serre, c'est équivalent à h^0(-D)=0. Il suffit donc de trouver un diviseur de degré zéro qui n'a pas de section: si p et q sont deux points distincts, alors p-q convient (sinon, on aurait une application de degré 1 vers P^1, contradiction avec le fait que la courbe est de genre >0).

    Une manière alternative de répondre à la question initiale, mais nécessitant plus de connaissances: pour tout entier positif n, on a une application
    (dite d'Abel-Jacobi) de C^n vers l'espace des fibrés en droites de degré n:
    (p_1, ...,p_n)->O(p_1+...+p_n)
    dont l'image est exactement l'ensemble des fibrés en droites de degré n admettant une section. Mais l'espace des fibrés en droites de degré n a une structure naturelle de variété algébrique de dimension g. Pour n=g-1, l'image de l'application d'Abel-Jacobi est de dimension inférieure ou égale à g-1 (car image de C^{g-1}) et ne peut donc coincider avec toute la variété de dimension g des fibrés en droites de degré g-1. Un fibré en droites dans le complément de cet image est un fibré en droite de degré g-1 sans section.

  17. #16
    petrifie

    Re : Fibré en droite sur une courbe

    Parfait ! Ton deuxième argument est super. C'est fou comme j'ai l'impression de plus apprendre avec ces petites questions qu'en lisant la théorie abstraite ...

  18. #17
    AncMath

    Re : Fibré en droite sur une courbe

    Effectivement mes indications n'étaient pas bonnes !
    Je vais blâmer le rhum du salon de l'agriculture pour ne pas perdre la face.

  19. #18
    petrifie

    Re : Fibré en droite sur une courbe

    Bonjour, je reviens avec deux autres questions, probablement très naïve :

    1) Que signifie un morphisme d'un fibré E vers un faisceau F ? C'est probablement un morphisme du faisceau des sections de E vers F mais je n'en suis pas si sûr.

    2) Si on est d'accord avec 1) : Soit E un fibré de rang 2 sur une courbe C, et S la surface projective associé. Pourquoi on a un morphisme canonique pour tout ? Mon idée serait de multiplier par deux sections qui sont nulles toute les deux seulement en s. Mais je sais pas si ça existe. Bref je suis un peu confus.

    Motivation : dans le même livre une page plus loin, il est écrit qu'il y a un morphisme naturel et que le noyau est un fibré de rang 2. Inutile de vous dire que je suis un peu perdu ... Merci d'avance !

  20. #19
    Anonyme007

    Re : Fibré en droite sur une courbe

    Bonsoir,

    Citation Envoyé par petrifie Voir le message
    1) Que signifie un morphisme d'un fibré E vers un faisceau F ? C'est probablement un morphisme du faisceau des sections de E vers F mais je n'en suis pas si sûr.
    La réponse à cette question se trouve dans le livre de Tamas_Szamuely, Galois groups and fundamental groups, à partir de la page : .

  21. #20
    Anonyme007

    Re : Fibré en droite sur une courbe

    Ton livre n'est pas accessible depuis le net, afin de pouvoir voir le cheminement du raisonnement suivi dans ce livre depuis le début.

  22. #21
    Anonyme007

    Re : Fibré en droite sur une courbe

    Citation Envoyé par Anonyme007 Voir le message
    Bonsoir,



    La réponse à cette question se trouve dans le livre de Tamas_Szamuely, Galois groups and fundamental groups, à partir de la page : .
    C'est dans le livre de Claire Voisin aussi, géométrie algébrique et théorie de Hodge. Il y'a un chapitre sur les faisceaux. je crois que c'est au chapitre numéro trois si ma mémoire est bonne.
    Dernière modification par Anonyme007 ; 13/03/2018 à 21h29.

Discussions similaires

  1. Est-ce qu'une droite est une courbe?
    Par secondlight dans le forum Mathématiques du collège et du lycée
    Réponses: 19
    Dernier message: 08/02/2014, 14h42
  2. Intersections courbe/droite
    Par Nikko22 dans le forum Mathématiques du collège et du lycée
    Réponses: 10
    Dernier message: 05/03/2010, 18h06
  3. Position d'une courbe et d'une droite
    Par misseeeeblabla dans le forum Mathématiques du collège et du lycée
    Réponses: 5
    Dernier message: 19/11/2008, 17h33
  4. Droite tangente à une courbe
    Par produch dans le forum Mathématiques du collège et du lycée
    Réponses: 2
    Dernier message: 07/10/2008, 11h05
  5. Droite, courbe, gravitation
    Par Mr_Kant1 dans le forum Astronomie et Astrophysique
    Réponses: 6
    Dernier message: 22/09/2005, 22h56