Faisceau pervers
En mathématiques, les faisceaux pervers sont des objets de certaines catégories abéliennes associées à des espaces topologiques, pouvant être une variété réelle ou complexe, ou des espaces plus généraux topologiquement stratifiés, éventuellement singuliers.
Le concept a été introduit dans les travaux de Joseph Bernstein, Alexander Beilinson et Pierre Deligne (1982) à la suite de la correspondance de Riemann-Hilbert, qui établit un lien entre les catégories dérivées des D-modules holonomiques réguliers et des faisceaux constructibles (en). Les faisceaux perverses sont les objets de ces derniers qui correspondent à des D-modules individuels (et non à des complexes plus généraux) ; un faisceau pervers est en général un complexe de faisceaux. Le concept de faisceaux pervers est déjà implicite dans un article de Masaki Kashiwara des années 75 sur la constructibilité des solutions de D-modules holonomiques.
Une observation clé était que l'homologie d'intersection de Mark Goresky et Robert MacPherson pouvait être décrite à l'aide de complexes de faisceaux qui sont en réalité des faisceaux pervers. Il était clair dès le départ que les faisceaux pervers sont des objets mathématiques fondamentaux à la croisée de la géométrie algébrique, de la topologie, de l'analyse et des équations différentielles. Ils jouent également un rôle important en théorie des nombres, en algèbre en théorie des représentations.
Remarques préliminaires
Le nom de faisceau pervers est trompeur : « Les faisceaux pervers n'étant ni des faisceaux, ni pervers, la terminologie requiert une explication. »[1] La justification est que les faisceaux pervers sont des complexes de faisceaux qui ont plusieurs points communs avec les faisceaux : ils forment une catégorie abélienne, ils ont une cohomologie, et pour en construire une, il suffit de la construire localement. L'adjectif « pervers » trouve son origine dans la théorie de l'homologie d'intersection[2] et son origine a été expliquée par Goresky (2010).
La définition de Beilinson – Bernstein – Deligne d'un faisceau pervers passe par la machinerie des catégories triangulées en algèbre homologique et a un très fort aspect algébrique, bien que les principaux exemples issus de la théorie de Goresky – MacPherson soient de nature topologique car les objets simples de la catégorie des faisceaux pervers sont les complexes de cohomologie d'intersection. Cela a motivé MacPherson à reformuler toute la théorie en termes géométriques sur la base de la théorie de Morse. Pour de nombreuses applications en théorie des représentations, les faisceaux pervers peuvent être traités comme une « boîte noire », une catégorie possédant certaines propriétés formelles.
Définition et exemples
Un faisceau pervers est un objet C de la catégorie dérivée bornée des faisceaux à cohomologie constructible sur un espace X tel que l'ensemble des points x vérifiant
- ou
a une dimension réelle au plus 2i, pour tout i, où jx dénote l'inclusion du point x.
Si X est une variété algébrique complexe lisse de dimension d, alors
est un faisceau pervers pour tout système local . Si X est un schéma d'intersection plat et localement complet (par exemple régulier) sur un anneau de valuation discret hensélien, alors le faisceau constant décalé de est un faisceau pervers étale.
Un exemple simple
Soit X un disque autour de l'origine dans stratifié de telle sorte que l'origine soit l'unique strate singulière. Alors la catégorie des faisceaux pervers sur X est équivalente à la catégorie des diagrammes d'espaces vectoriels où et sont inversibles[3]. Plus généralement, les carquois peuvent être utilisés pour décrire des faisceaux pervers.
Propriétés
La catégorie des faisceaux pervers est une sous-catégorie abélienne de la catégorie dérivée (non abélienne) des faisceaux, égale au noyau d'une t-structure appropriée, et est préservée par la dualité de Verdier.
La catégorie dérivée bornée des faisceaux l-adiques pervers sur un schéma X est équivalente à la catégorie dérivée des faisceaux constructibles et de même pour les faisceaux sur l'espace analytique complexe associé à un schéma X/C.
Applications
Les faisceaux pervers sont un outil fondamental pour étudier la géométrie des espaces singuliers. Dans la correspondance de Riemann-Hilbert (en), les faisceaux pervers correspondent à des D-modules holonomes réguliers, ce qui leur donne donc une incarnation « naturelle ». Le théorème de décomposition (en), une vaste généralisation de la décomposition donnée par le théorème de Lefschetz dur, nécessite l'utilisation de faisceaux pervers. Les modules de Hodge sont un raffinement de la théorie de Hodge aux faisceaux pervers. L'équivalence géométrique de Satake identifie des faisceaux pervers équivariants sur la grassmannienne affine avec des représentations du groupe dual de Langlands d'un groupe réductif G – voir (Mirković et Vilonen 2007). Une preuve des conjectures de Weil utilisant les faisceaux pervers est donnée dans (Kiehl et Weissauer 2001).
Théorie des cordes
Les champs sans masse de supercordes sont identifiés avec des classes de cohomologie de l'espace but (c'est-à-dire un espace Minkowski à quatre dimensions avec une variété de Calabi-Yau (CY) à six dimensions). La détermination du contenu de la matière et des interactions nécessite une analyse détaillée de la (co)homologie de ces espaces : presque tous les champs sans masse dans le modèle physique effectif sont représentés par certains éléments de (co)homologie.
Cependant, une conséquence troublante se produit lorsque l’espace cible est singulier. Un espace cible singulier signifie que seule la partie de la variété de CY est singulière car le facteur d'espace de Minkowski est lisse. Une variété de CY singulière est appelée un conifold, ses singularité étant coniques.
Or différentes théories cohomologiques sur des espaces singuliers donnent des résultats différents, ce qui rend difficile la détermination de la théorie que la physique peut privilégier. Plusieurs caractéristiques importantes de la cohomologie, qui correspondent aux champs sans masse, sont basées sur les propriétés générales de théories des champs, en particulier les théories des champs des surface d'univers bidimensionnelle (2,2) supersymétrique. Ces propriétés devraient être valables pour des espaces buts singuliers et lisses.
Tristan Hubsch (T. Hubsch, 1997) a conjecturé ce que devrait être cette théorie cohomologique pour les espaces cibles singuliers.
Articles connexes
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Perverse sheaf » (voir la liste des auteurs).
- BBD, p. 10
- What is the etymology of the term "perverse sheaf"? – MathOverflow
- Corollaire 3.2 dans Alexandre Beilinson, « How to glue perverse sheaves », dans K-theory, arithmetic and geometry (Moscow, 1984), Springer, coll. « Lecture Notes in Mathematics » (no 1289), , p. 42-51.
Références
- Mark Andrea de Cataldo et Luca Migliorini, « What is a perverse sheaf? », Notices of the American Mathematical Society, vol. 57, no 5, , p. 632-g634 (MR 2664042, lire en ligne)
- Dmitry Arinkin et Roman Bezrukavnikov, « Perverse coherent sheaves », Moscow Mathematical Journal, vol. 10, no 1, , p. 3-29 (DOI 10.17323/1609-4514-2010-10-1-3-29, Bibcode 2009arXiv0902.0349A, MR 2668828, arXiv 0902.0349, S2CID 14409918)
- Alexander A. Beilinson, « On the derived category of perverse sheaves », dans K-theory, arithmetic and geometry (Moscow, 1984–1986), vol. 1289, Berlin, Springer, coll. « Lecture Notes in Mathematics », (ISBN 978-3-540-18571-0, DOI 10.1007/BFb0078365, MR 923133), p. 27-41
- Alexander A. Beilinson, Joseph Bernstein et Pierre Deligne, Faisceaux pervers, vol. 100, Paris, Société mathématique de France, (MR 0751966) ; réédité comme Alexander Beilinson, Joseph Bernstein, Pierre Deligne et Ofer Gabber, Faisceaux pervers, vol. 100, coll. « Astérisque », , 2e éd. (ISBN 978-2-85629-878-7, lire en ligne)
- Jean-Paul Brasselet, Introduction to intersection homology and perverse sheaves, Instituto Nacional de Matemática Pura e Aplicada (IMPA), (MR 2533465)
- Christopher L. Bremer et Daniel S. Sage, Generalized Serre conditions and perverse coherent sheaves, vol. 392, , 85-96 p. (DOI 10.1016/j.jalgebra.2013.06.018, MR 3085024, arXiv 1106.2616, S2CID 14754630)
- Mark Goresky, « What is the etymology of the term "perverse sheaf"? »,
- Luc Illusie, « Perversité et variation », Manuscripta Mathematica, vol. 112, no 3, , p. 271-295 (DOI 10.1007/s00229-003-0407-z, MR 2067039, S2CID 122652995)
- Reinhardt Kiehl et Rainer Weissauer, Weil conjectures, perverse sheaves and l'adic Fourier transform, vol. 42, Berlin, New York, Springer-Verlag, coll. « Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] », (ISBN 978-3-540-41457-5, MR 1855066)
- MacPherson, « Intersection Homology and Perverse Sheaves »,
- Ivan Mirković et Kari Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings, vol. 166, coll. « Second Series », , 95-143 p. (ISSN 0003-486X, DOI 10.4007/annals.2007.166.95, MR 2342692, arXiv math/0401222, S2CID 14127684), chap. 1
- (en) Konstanze Rietsch, « An introduction to perverse sheaves », .
- Andrew Strominger, « Massless black holes and conifolds in string theory », Nuclear Physics B, vol. 451, nos 1-2, , p. 96-108 (DOI 10.1016/0550-3213(95)00287-3, Bibcode 1995NuPhB.451...96S, arXiv hep-th/9504090, S2CID 6035714)
- Edward Witten, « Supersymmetry and Morse theory », Journal of Differential Geometry, vol. 17, no 4, , p. 661-692 (DOI 10.4310/jdg/1214437492 )
- Edward Witten, « Phases of n = 2 theories in two dimensions », Nuclear Physics B, vol. 403, nos 1-2, , p. 159-222 (DOI 10.1016/0550-3213(93)90033-L, Bibcode 1993NuPhB.403..159W, arXiv hep-th/9301042, S2CID 16122549)
- Paul S. Green et Tristan Hübsch, « Connecting moduli spaces of Calabi-Yau threefolds », Communications in Mathematical Physics, vol. 119, no 3, , p. 431-441 (DOI 10.1007/BF01218081, Bibcode 1988CMaPh.119..431G, S2CID 119452483, lire en ligne)
- Tristan Hübsch, « On a stringy singular cohomology », Modern Physics Letters A, vol. A12, no 8, , p. 521-533 (DOI 10.1142/S0217732397000546, Bibcode 1997MPLA...12..521H, arXiv hep-th/9612075, S2CID 11779832)
- Tristan Hübsch, Calabi-Yau Manifolds: A Bestiary for Physicists, World Scientific, (ISBN 978-981-02-1927-7, lire en ligne)
- Tristan Hübsch et Abdul Rahman, « On the geometry and homology of certain simple stratified varieties », Journal of Geometry and Physics, vol. 53, no 1, , p. 31-48 (ISSN 0393-0440, DOI 10.1016/j.geomphys.2004.04.010, Bibcode 2005JGP....53...31H, MR 2102048, arXiv math.AG/0210394, S2CID 119584805)
- Robert MacPherson et Kari Vilonen, « Elementary constructions of perverse sheaves », Inventiones Mathematicae, vol. 84, no 2, , p. 403-435 (DOI 10.1007/BF01388812, Bibcode 1986InMat..84..403M, S2CID 120183452)
- Brian Greene, The Elegant Universe, Norton, (ISBN 0-393-05858-1)
- Abdul Rahman, « A perverse sheaf approach toward a cohomology theory for string theory », Advances in Theoretical and Mathematical Physics, vol. 13, no 3, , p. 667-693 (DOI 10.4310/ATMP.2009.v13.n3.a3, arXiv 0704.3298, S2CID 14787272)
- Markus Banagl, Intersection Spaces, Spatial Homology Truncation, and String Theory, vol. 1997, Springer, coll. « Lecture Notes in Mathematics », (ISBN 978-3-642-12588-1, lire en ligne)
- Markus Banagl, Nero Budur et Laurențiu Maxim, « Intersection spaces, perverse sheaves and type IIB string theory », Advances in Theoretical and Mathematical Physics, vol. 18, no 2, , p. 363-399 (DOI 10.4310/ATMP.2014.v18.n2.a3, MR 3273317, arXiv 1212.2196, S2CID 62773026, lire en ligne)
- Mark Andrea de Cataldo et Luca Migliorini, « What is a perverse sheaf? », Notices of the American Mathematical Society, vol. 57, no 5, , p. 632-634 (MR 2664042, lire en ligne)