arxiv:math/ v1 [math.ag] 22 Oct 2003

Documents pareils
CURRICULUM VITAE ENRICA FLORIS

Né le 13/06/1984 Russe Célibataire Langues : Russe, Anglais,

Introduction à l étude des Corps Finis

Groupoïdes quantiques mesurés : axiomatique, étude, dualité, exemples

1 Première section: La construction générale

String topology for loop stacks

O, i, ) ln x. (ln x)2

RAPHAËL ROUQUIER. 1. Introduction

Travaux mathématiques de J.-P. D ly

Assistante de recherche (Wissenschaftlicher Mitarbeiterin), Institut de Mathématiques, Université de Münster, Allemagne, Groupe du Prof. Urs Hartl.

Le produit semi-direct


Temps et thermodynamique quantique

Calcul différentiel. Chapitre Différentiabilité

Programmation linéaire

Résolution d équations non linéaires

La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

21 mars Simulations et Méthodes de Monte Carlo. DADI Charles-Abner. Objectifs et intérêt de ce T.E.R. Générer l'aléatoire.

Principe de symétrisation pour la construction d un test adaptatif

Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.

C. R. Acad. Sci. Paris, Ser. I

Continuité et dérivabilité d une fonction

Calcul fonctionnel holomorphe dans les algèbres de Banach

Contexte. Pour cela, elles doivent être très compliquées, c est-à-dire elles doivent être très différentes des fonctions simples,

SUR CERTAINS SYSTEMES D EQUATIONS AVEC CONTRAINTES DANS UN GROUPE LIBRE (*)

Analyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe

Carl-Louis-Ferdinand von Lindemann ( )

C. R. Acad. Sci. Paris, Ser. I 336 (2003) 1 6. Théorie des nombres. Damien Roy

Points de Weierstrass d une surface de Riemann compacte

On ne peut pas entendre la forme d un tambour

LA THÉORIE DES POINTS FIXES ET SES APPLICATIONS EN ANALYSE

Calcul de développements de Puiseux et application au calcul du groupe de monodromie d'une courbe algébrique plane

Une forme générale de la conjecture abc

Chapitre 6. Fonction réelle d une variable réelle

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://

La fonction exponentielle

Fonctions de plusieurs variables

Master de Recherche première année. Programme de cours

Faculté des Sciences Mathématiques, Physiques et Naturelles de Tunis

FEUILLETAGES PAR VARIÉTÉS COMPLEXES ET PROBLÈMES D UNIFORMISATION LAURENT MEERSSEMAN

Optimisation Discrète

L isomorphisme entre les tours de Lubin-Tate et de Drinfeld et applications cohomologiques par Laurent Fargues

Exercices - Polynômes : corrigé. Opérations sur les polynômes

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours.

C. R. Acad. Sci. Paris, Ser. I 336 (2003) Géométrie différentielle/physique mathématique

Approximations variationelles des EDP Notes du Cours de M2

0 h(s)ds et h [t = 1 [t, [ h, t IR +. Φ L 2 (IR + ) Φ sur U par

Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables

Polynômes à plusieurs variables. Résultant

CHAPITRE V SYSTEMES DIFFERENTIELS LINEAIRES A COEFFICIENTS CONSTANTS DU PREMIER ORDRE. EQUATIONS DIFFERENTIELLES.

Exo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.

Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions

Sur certaines séries entières particulières

Curriculum Vitae. - Situation professionnelle : Maître de Conférences en Mathématiques à l Université de Nantes depuis septembre 2006.

Sujet 4: Programmation stochastique propriétés de fonction de recours

Nombres premiers. Comment reconnaître un nombre premier? Mais...

Licence STS mention Mathématiques Parcours Ingénieur Télécom Bretagne (ITB)

CURRICULUM VITAE ET STUDIORUM

AOT 13. et Application au Contrôle Géométrique

Maîtrise universitaire ès sciences en mathématiques

Équations d amorçage d intégrales premières formelles

Programme de la classe de première année MPSI

ENSAE - DAKAR BROCHURE D'INFORMATION SUR LE CONCOURS DE RECRUTEMENT D ÉLÈVES INGÉNIEURS STATISTICIENS ÉCONOMISTES (I S E) Option Mathématiques CAPESA

Système binaire. Algèbre booléenne

Bourses d excellence pour les masters orientés vers la recherche

My Ismail Mamouni (CPR Rabat) Cours de Didactique Premier contact 1 / 29

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

TABLE DES MATIÈRES CHAPITRE I. Les quanta s invitent

Dérivation : Résumé de cours et méthodes

Comparaison de fonctions Développements limités. Chapitre 10

3 Approximation de solutions d équations

Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)

Vérification de programmes et de preuves Première partie. décrire des algorithmes

Un nouvel algorithme de calcul d une Base de Gröbner

CH.6 Propriétés des langages non contextuels

Quelques tests de primalité

SUR LES FONCTIONS DE PLUSIEURS VARIABLES COMPLEXES: LES ESPACES ANALYTIQUES

2 Division dans l anneau des polynômes à plusieurs variables

Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples

CONTRÔLE ET ÉQUATIONS AUX DÉRIVÉES PARTIELLES. par. Jean-Pierre Puel

Chp. 4. Minimisation d une fonction d une variable

Echantillonnage Non uniforme

Travail avec soin et concentration

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Exercices Alternatifs. Quelqu un aurait-il vu passer un polynôme?

Incertitude financière, mesures de risque et préférences robustes

UNIVERSITÉ PARIS VI. Géométrie analytique et analyse semi-classique

Cours arithmétique et groupes. Licence première année, premier semestre

Complément d information concernant la fiche de concordance

Algèbre binaire et Circuits logiques ( )

Chapitre 7. Statistique des échantillons gaussiens. 7.1 Projection de vecteurs gaussiens

Calculabilité Cours 3 : Problèmes non-calculables.

Chapitre 1 : Évolution COURS

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

VI. COMPLÉMENTS SUR LES MODULES, THÉORÈME CHINOIS, FACTEURS INVARIANTS SÉANCES DU 15, 16 ET 22 OCTOBRE

Fonctions homographiques

NOTICE DOUBLE DIPLÔME

Catalogue des connaissances de base en mathématiques dispensées dans les gymnases, lycées et collèges romands.

Mesure d angles et trigonométrie

Transcription:

arxiv:math/030353v [math.ag] 22 Oct 2003 Exemples de surfaces canoniques de P 6 et de solides de Calabi-Yau de P 7 Marie-Amélie Bertin a a Universität Zürich, Institut für Mathematik, Wintherturerstrasse, 90, CH-8057 Zürich, SUISSE Résumé Using the global Gulliksen-Negård complex, we build regular canonical surfaces of general type in P 6, Calabi-Yau 3-folds in P 7 and Fano anticanonical 4-folds, all of degree 7 and 20. We also give their Hodge numbers and syzygies. Résumé Nous construisons à l aide du complexe de Gulliksen-Negård global des exemples de surfaces lisses canoniques régulières, de solides de Calabi-Yau de P 7 et de variétés de Fano anticanoniques lisses de dimension 4, de degré 7, 20. Nous donnons leurs nombres de Hodge et syzygies.. Introduction et rappels Soit X un sous-schéma localement de Cohen-Macaulay de codimension c d une variété complexe, projective et lisse P. Le schéma X est dit sous-canonique s il existe un fibré en droites N sur X tel que le faisceau dualisant ω X de X soit isomorphe comme O X -module à N O X. La question de la détermination des types de résolution libre possible des schémas sous-canoniques de P pour une codimension fixée n est résolue complètement que pour la codimension 2 ([],[6]) mais a cependant conduit à la découverte de nombres de complexes de longueur c, exacts lorsqu ils déterminent des sous-schémas de la bonne codimension c. En retour, lorsque P est un espace projectif Email address: lbertin@math.unizh.ch, marie.bertin@parisfree.com (Marie-Amélie Bertin). Preprint submitted to Elsevier Science 30 décembre 203

P r, ces constructions permettent de construire des surfaces canoniques et des solides de Calabi-Yau ([9],[2] et [3]). Parmi les complexes résolvant éventuellement des sous-schémas de codimension 4, le plus ancien est celui de Gulliksen et Negård [5], il résoud dans sa version locale l idéal des mineurs sous-maximaux d une matrice carrée. Soient E et F des fibrés vectoriels sur P de même rang e 3. Considérons φ un morphisme de fibrés vectoriels E F. Nous noterons simplement par O le faisceau structural de P et par L le fibré vectoriel en droites e E e F. Rappelons qu il est associé à ces données un complexe G de fibrés vectoriels sur P dont la localisation en tout point x P est isomorphe à un complexe de Gulliksen-Negård [7] (complexe scandinave). Remarquons que Pragacz et Weyman [0] donnent une construction indépendante du choix d une base donnée du complexe de Gulliksen-Negård. Elle se globalise immédiatement pour donner le complexe global. Associons à φ le dual s φ de la section naturelle associée à e φ et définissons le sous-schéma de Gulliksen- Negård X(φ) par O X(φ) = cokers φ. Le complexe de Gulliksen-Negård global G a la forme suivante 0 L 2 E F L det(e) F detf E e e F E s φ O,e,e où,e désigne le foncteur de Schur associé à la partition adjointe de (e, ). 2. Sous-varietés de Gulliksen-Negard Le complexe G étant localement isomorphe au complexe de Gulliksen-Negård, on déduit la propriété suivante de [5] (théorème 4 ) et du lemme d acyclicité sur les anneaux locaux de Cohen-Macaulay Théorème 2. Soient P une variété projective lisse et E et F deux fibrés vectoriels sur P de mḙme rang e 3. Choisissons φ Hom(E, F). (i) Si X(φ) est de codimension 4, alors G est une résolution de X(φ). (ii) Si de plus X est Gorenstein, X(φ) est sous-canonique avec ω X(φ) ω P L 2 X. (iii) Dans le cas particulier où X est l espace projectif P r on obtient la formule suivante : c (ω X(φ) ) = 2(c (E) c (F)) r, si c désigne la première classe de Chern d un fibré vectoriel. L assertion 3 du théorème découle de la propriété suivante du complexe de Gulliksen-Negård G G L 2. Rappelons enfin dans le contexte des schémas de Gulliksen-Negård les résultats classiques sur les lieux de dégénerescence que nous utiliserons par la suite. 2

Théorème 2.2 (Banicǎ ; Fulton-Lazarsfeld) Soit P une variété complexe projective lisse de dimension r telle que r 5. Choisissons φ génériquement dans Hom(E, F). Supposons de plus que E F est engendré par ses sections. (i) Le sous-schéma X(φ) est réduit et irréductible ; lorsqu il n est pas vide il est de codimension 4. (ii) Si r 8 la variété X(φ) est vide ou lisse. (iii) Si E F est ample, X(φ) est non vide et lisse si et seulement si r 8. En appliquant les théorèmes de Bertini affines ([3], théorème 6.3 p. 66) à la contruction que C. Banicǎ emploie, on déduit sans mal l assertion du théorème. Les assertions suivantes combinent les résultats de Banicǎ et Fulton- Lazarsfeld dans le cas des variétés de Gulliksen-Negård. 3. Exemples dans P r Dans cette section P = P r pour 5 r 8 et l on choisira toujours φ génériquement dans Hom(E, F). Rappelons que le degré d des varités construites, lorsqu elles sont de codimension 4, s obtient grace à la formule de Porteous, qui dans ce cas s écrit d = c 2 (F/E) 2 c (F/E)c 3 (F/E), où c i (F/E) désigne le coefficient du terme de degré i du développement en série formelle du quotient de polynômes de Chern c(f)/c(e). Exemple (Variétés de Del Pezzo) Si l on choisit e = 3, E = O 3 et F = O 3 () l on obtient des variétés de Del Pezzo lisses de dimension n 4. La résolution de Gulliksen-Negård est alors de la forme suivante : 0 O( 6) O 9 ( 4) O 6 ( 3) O 9 ( 2) O. Les exemples que nous construisons maintenant sont tels que ω X(φ) = O X(φ) (3 n), où n désigne la dimension de X(φ). Exemple 2 Si l on choisit e = 4, E = O 4 et F = O 4 () on obtient des surfaces lisses de degré 20 et de dimension n 4. Le complexe de Gulliksen-Negård prend alors la forme suivante : 0 O( 8) O 6 ( 5) O 30 ( 4) O 6 ( 3) O. () On obtient ainsi des surfaces canoniques régulières de degré 20, de genre sectionnel π = 2 et de polynˆome de Hilbert 0x 2 0x + 8. On obtient aussi des solides de Calabi-Yau de P 7 de degré 20. Leur polynˆome de Hilbert est (0/3)x 3 + (4/3)x. Leurs losanges de Hodge sont respectivement 3

7 60 7 0 h, 0 34 34 0 h, 0 Autre construction : Si l on choisit e = r, E = O n+ () O 3 et F = T, où T est le fibré tangent sur P. On obtient encore des variétés de degré 20. Après saturation de leurs équations, leur résolution libre est de mḙme forme que (). Exemple 3 Si l on choisit e = 3, E = O 3 et F = O 2 () O(2), on obtient des variétés de degré 7. Le complexe de Gulliksen-Negård est alors 0 O( 8) O 3 ( 6) O 6 ( 5) O 2 ( 4) O 2 ( 3) O 2 ( 5) O 6 ( 3) O 3 ( 2) O (2) Les surfaces canoniques ainsi obtenues ont genre sectionnel π = 8 et polynˆome de Hilbert (7/2)x 2 (7/2)x + 8 et les solides de Calabi-Yau obtenus ont pour polynˆome de Hilbert (7/6)x 3 + (3/6)x. Leurs losanges de Hodge sont respectivement 7 63 7 0 h, 0 58 58 0 h, 0 4

Autre construction : Si l on choisit e = r, E = O n+2 () O O( ) et F = T on obtient encore des variétés de degré 7. Après saturation de leurs équations, leur résolution libre est de la mḙme forme que (2). Remarque Ces exemples montrent l existence de surfaces de type général d invariant K 2 = 20, 7, p g = 7 et q = 0. Exemple 4 Si l on choisit e = r, E = O n+3 () O( 2) et F = T, on obtient des variétés de codimension 2 dans P r 2 obtenues par deux sections hyperplanes d une intersection complète de deux hypersurfaces cubiques de P r. Pour effectuer les calculs nécéssaires nous avons utilisé le logiciel de calcul formel Macaulay 2 [8]. Les logiciels de calculs formels ne peuvent manipuler que des modules libres ; aussi dans le cas où F = T utilise-t-on la représentation des morphismes entre puissances extérieures du fibré tangent [2] qui se déduit du complexe de Koszul, pour calculer s φ. Tous les calculs ont été faits sur le corps fini F 0. Remerciements Je remercie les Professeurs C.Okonek et M.Brodmann pour leur soutien, et tout particulièrement le Prof. C. Okonek pour m avoir suggeré cette étude. Cette note a été influencée par des discussion avec le Professeur F.-O. Schreyer sur un sujet voisin. Je l en remercie chaleureusement. Références [] C. Banicǎ,Smooth reflexive sheaves, Rev. Roumaine Math. Pures et Appl., 36 n 9-0, 57-593 (99) [2] W.Decker et D. Eisenbud, Sheaf algorithms using the exterior algebra, dans Computations in Algebraic Geometry with Macaulay2, D.Eisenbud, D.R.Grayson, M.Stillman et B. Sturmfels (Eds.), Algorithms and Computation in Mathematics, Volume 8, Springer 25-249 (2002) [3] J.-P.Jouanolou, Théorèmes de Bertini et applications, Progress in Math., 42, Birkhäuser (983) [4] W.Fulton et R. Lazarsfeld, On the connectecdness of degeneraci loci and special divisors, Acta Math. 46, 27-283 (98) [5] T.H.Gulliksen et O.G.Negard, Un complèxe résolvant pour certains idéaux déterminentiels, Comptes rend. Acad. Sci. Paris Sér. A-B 274, 6-8 (972) [6] R.Hartshorne,Varieties of small codimension in projective space, Bull. AMS, vol 80, 07-032 (974) 5

[7] A.Lascoux, Syzygies des variété déterminantales, Adv. in Math., 30, 202-237 (978) [8] D.Grayson et M.Stillman, Macaulay 2, A software system for research in algebraic geometry, disponible à http ://www.math.uiuc.edu/macaulay2/ [9] Ch. Okonek, Note on varieties of codimension 3 in P N, Manuscripta Math. 84, 42-442 (994) [0] P.Pragacz et J.Weyman, Complexes associated with trace and evaluation : another approach to Lascoux s resolution, Adv. in Math. 57, 63-207 (985) [] J-P. Serre,Sur les modules projectifs, séminaire P.Dubreil, M.-L. Dubreil-Jacotin et Ch.Pisot, 4ième année : 960/6. Algèbre et théorie des nombres, fasc., exposé 2, Faculté des sciences de Paris, Secrétariat de Mathematiques, Paris (963) [2] F. Tonoli, Canonical surfaces in P 5 and Calabi-Yau 3-folds in P 6, Thèse de l Université de Padoue (2000). [3] D. Roßberg,Kanonische Flächen mit K 2 =, 2, p g = 5 und q = 0, Bayreuther Mathematische Schriften 52, 75-72, (997) 6