Perverse sheaf

The mathematical term perverse sheaves refers to a certain abelian category associated to a topological space X, which may be a real or complex manifold, or a more general topologically stratified space, usually singular. This concept was introduced in the thesis of Zoghman Mebkhout, gaining more popularity after the (independent) work of Joseph Bernstein, Alexander Beilinson, and Pierre Deligne (1982) as a formalisation of the Riemann-Hilbert correspondence, which related the topology of singular spaces (intersection homology of Mark Goresky and Robert MacPherson) and the algebraic theory of differential equations (microlocal calculus and holonomic D-modules of Joseph Bernstein, Masaki Kashiwara and Takahiro Kawai). It was clear from the outset that perverse sheaves are fundamental mathematical objects at the crossroads of algebraic geometry, topology, analysis and differential equations. They also play an important role in number theory, algebra, and representation theory. The properties characterizing perverse sheaves already appeared in the 75's paper of Kashiwara on the constructibility of solutions of holonomic D-modules.

Preliminary remarks

The name perverse sheaf comes through rough translation of the French "faisceaux pervers"[1]. The justification is that perverse sheaves are complexes of sheaves which have several features in common with sheaves: they form an abelian category, they have cohomology, and to construct one, it suffices to construct it locally everywhere. The adjective "pervers" originates in the intersection homology theory,[2] and its origin was explained by Goresky (2010).

The Beilinson–Bernstein–Deligne definition of a perverse sheaf proceeds through the machinery of triangulated categories in homological algebra and has a very strong algebraic flavour, although the main examples arising from Goresky–MacPherson theory are topological in nature because the simple objects in the category of perverse sheaves are the intersection cohomology complexes. This motivated MacPherson to recast the whole theory in geometric terms on a basis of Morse theory. For many applications in representation theory, perverse sheaves can be treated as a 'black box', a category with certain formal properties.

Definition and examples

A perverse sheaf is an object C of the bounded derived category of sheaves with constructible cohomology on a space X such that the set of points x with

${\displaystyle H^{-i}(j_{x}^{*}C)\neq 0}$ or ${\displaystyle H^{i}(j_{x}^{!}C)\neq 0}$

has dimension at most 2i, for all i. Here j_x is the inclusion map of the point x.

If X is smooth and everywhere of dimension d, then

${\displaystyle {\mathcal {F}}[d]}$

is a perverse sheaf for any local system ${\displaystyle {\mathcal {F}}}$.[3] If X is a flat, locally complete intersection (for example, regular) scheme over a henselian discrete valuation ring, then the constant sheaf shifted by ${\displaystyle \dim X+1}$ is an étale perverse sheaf.[4]

Properties

The category of perverse sheaves is an abelian subcategory of the (non-abelian) derived category of sheaves, equal to the core of a suitable t-structure, and is preserved by Verdier duality.

The bounded derived category of perverse l-adic sheaves on a scheme X is equivalent to the derived category of constructible sheaves and similarly for sheaves on the complex analytic space associated to a scheme X/C.[5]

Applications

Perverse sheaves are a fundamental tool for the geometry of singular spaces. Therefore, they are applied in a variety of mathematical areas. In the Riemann-Hilbert correspondence, perverse sheaves correspond to regular holonomic D-modules. This application establishes the notion of perverse sheaf as occurring 'in nature'. The decomposition theorem, a far-reaching extension of the hard Lefschetz theorem decomposition, requires the usage of perverse sheaves. Hodge modules are, roughly speaking, a Hodge-theoretic refinement of perverse sheaves. The geometric Satake equivalence identifies equivariant perverse sheaves on the affine Grassmannian ${\displaystyle Gr_{G}}$ with representations of the Langlands dual group of a reductive group G - see Mirković & Vilonen (2007). A proof of the Weil conjectures using perverse sheaves is given in Kiehl & Weissauer (2001).

String Theory

Massless fields in superstring compactifications have been identified with cohomology classes on the target space (i.e. four-dimensional Minkowski space with a six-dimensional Calabi-Yau (CY) manifold). The determination of the matter and interaction content requires a detailed analysis of the (co)homology of these spaces: nearly all massless fields in the effective physics model are represented by certain (co)homology elements. However, a troubling consequence occurs when the target space is singular. A singular target space means that only the CY manifold is singular as Minkowski space is smooth. Such a singular CY manifold is called a conifold as it is a CY manifold that admits conical singularities. Andrew Strominger observed (A. Strominger, 1995) that conifolds correspond to massless blackholes. Conifolds are important objects in string theory: Brian Greene explains the physics of conifolds in Chapter 13 of his book The Elegant Universe —including the fact that the space can tear near the cone, and its topology can change. These singular target spaces, i.e. conifolds, correspond to certain mild degenerations of algebraic varieties which appear in a large class of supersymmetric theories, including superstring theory (E. Witten, 1982). Essentially, different cohomology theories on singular target spaces yield different results thereby making it difficult to determine which theory physics may favor. Several important characteristics of the cohomology, which correspond to the massless fields, are based on general properties of field theories, specifically, the (2,2)-supersymmetric 2-dimensional world-sheet field theories. These properties, known as the Kähler package (T. Hubsch, 1992), should hold for singular and smooth target spaces. Paul Green and Tristan Hubsch (P. Green & T. Hubsch, 1988) determined that the manner in which you move between singular CY target spaces require moving through either a small resolution or deformation of the singularity (T. Hubsch, 1992) and called it the 'conifold transition'.

Tristan Hubsch (T. Hubsch, 1997) conjectured what this cohomology theory should be for singular target spaces. Tristan Hubsch and Abdul Rahman (T. Hubsch and A. Rahman, 2005) worked to solve the Hubsch conjecture by analyzing the non-transversal case of Witten's gauged linear sigma model (E. Witten,1993) which induces a stratification of these algebraic varieties (termed the ground state variety) in the case of isolated conical singularities. Under certain conditions it was determined that this ground state variety was a conifold (P. Green & T.Hubsch, 1988; T. Hubsch, 1992) with isolated conic singularities over a certain base with a 1-dimensional exocurve (termed exo-strata) attached at each singular point. T. Hubsch and A. Rahman determined the (co)-homology of this ground state variety in all dimensions, found it compatible with Mirror symmetry and String Theory but found an obstruction in the middle dimension (T. Hubsch and A. Rahman, 2005). This obstruction required revisiting Hubsch's conjecture of a Stringy Singular Cohomology (T. Hubsch, 1997). In the winter of 2002, T. Hubsch and A. Rahman met with R.M. Goresky to discuss this obstruction and in discussions between R.M. Goresky and R. MacPherson, R. MacPherson made the observation that there was such a perverse sheaf that could have the cohomology that satisfied Hubsch's conjecture and resolved the obstruction. R.M. Goresky and T. Hubsch advised A. Rahman's Ph.D. dissertation on the construction of a self-dual perverse sheaf (A. Rahman, 2009) using the zig-zag construction of MacPherson-Vilonen (R. MacPherson & K. Vilonen, 1986). This perverse sheaf proved the Hübsch conjecture for isolated conic singularities, satisfied Poincarè duality, and aligned with some of the properties of the Kähler package. Satisfaction of all of the Kähler package by this Perverse sheaf for higher codimension strata is still an open problem. Markus Banagl (M. Banagl, 2010; M. Banagl, et al., 2014) addressed the Hubsch conjecture through intersection spaces for higher codimension strata inspired by Hubsch's work (T. Hubsch, 1992, 1997; P. Green and T. Hubsch, 1988) and A. Rahman's original ansatz (A. Rahman, 2009) for isolated singularities.

See also

• Intersection homology
• L² cohomology
• Conifold
• String Theory
• Supersymmetry

Notes

1. Les faisceaux pervers n'etant ni des faisceaux, ni pervers, la terminologie requiert une explication. BBD, p. 10
2. What is the etymology of the term "perverse sheaf"? – MathOverflow
3. Beilinson, Bernstein & Deligne (1982, Proposition 2.2.2, §4.0)
4. Illusie (2003, Corollaire 2.7)
5. Beilinson (1987, Theorem 1.3)

References

• Andrea de Cataldo, Mark; Migliorini, Luca (2010). "What is a perverse sheaf?" (PDF). Notices of the American Mathematical Society. 57 (5): 632–634. MR 2664042.

• Arinkin, Dmitry; Bezrukavnikov, Roman (2010). "Perverse coherent sheaves". Moscow Mathematical Journal. 10 (1): 3–29. arXiv:0902.0349. Bibcode:2009arXiv0902.0349A. doi:10.17323/1609-4514-2010-10-1-3-29. MR 2668828.

• Beilinson, Alexander A. (1987), "On the derived category of perverse sheaves", K-theory, arithmetic and geometry (Moscow, 1984–1986), Lecture Notes in Mathematics, 1289, Berlin: Springer, pp. 27–41, doi:10.1007/BFb0078365, ISBN 978-3-540-18571-0, MR 0923133

• Beilinson, Alexander A.; Bernstein, Joseph; Deligne, Pierre (1982). "Faisceaux pervers". Astérisque (in French). Paris: Société Mathématique de France. 100. MR 0751966.

• Brasselet, Jean-Paul (2009), Introduction to intersection homology and perverse sheaves, Instituto Nacional de Matemática Pura e Aplicada (IMPA), MR 2533465

• Bremer, Christopher L.; Sage, Daniel S. (2013), "Generalized Serre conditions and perverse coherent sheaves", Journal of Algebra, 392: 85–96, arXiv:1106.2616, doi:10.1016/j.jalgebra.2013.06.018, MR 3085024

• Goresky, Mark (2010). "What is the etymology of the term "perverse sheaf"?".
• Illusie, Luc (2003). "Perversité et variation". Manuscripta Mathematica. 112 (3): 271–295. doi:10.1007/s00229-003-0407-z. MR 2067039.
• Kiehl, Reinhardt; Weissauer, Rainer (2001), Weil conjectures, perverse sheaves and l'adic Fourier transform, 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], 42, Berlin, New York: Springer-Verlag, ISBN 978-3-540-41457-5, MR 1855066
• MacPherson, Robert (December 15, 1990). "Intersection Homology and Perverse Sheaves" (PDF) (unpublished manuscript). Cite journal requires |journal= (help)CS1 maint: ref=harv (link)
• Mirković, Ivan; Vilonen, Kari (2007), "Geometric Langlands duality and representations of algebraic groups over commutative rings", Annals of Mathematics, Second Series, 166 (1): 95–143, arXiv:math/0401222, doi:10.4007/annals.2007.166.95, ISSN 0003-486X, MR 2342692
• Rietsch, Konstanze (2003). "An introduction to perverse sheaves". arXiv:math.RT/0307349.
• Alexander Beilinson, Joseph Bernstein, Pierre Deligne and Ofer Gabber « Faisceaux Pervers » - Astérisque 100 - second edition (2018)
• Andrew Strominger, Massless black holes and conifolds in string theory, Nuclear Physics B 451 (1995), 96–108 (arXiV: hep–th/9504090).
• Edward Witten, Supersymmetry and Morse theory, Journal of Differential Geometry 17 (1982), 661–692.
• Edward Witten, Phases of n = 2 theories in two dimensions, Nuclear Physics B 403 (1993), 159–222 (arXiV: hep–th/9301042).
• Paul S. Green and Tristan Hubsch, Connecting moduli spaces of Calabi-Yau threefolds, Communications in Mathematical Physics 119 (1988), 431–441.
• Tristan Hubsch, On a stringy singular cohomology, Modern Physics Letters A12 (1997), 521–533 (arXiV: hep–th/9612075).
• Tristan Hubsch, Calabi-Yau manifolds: A bestiary for physicists, World Scientific Pub Co., (1992).
• Hübsch, Tristan; Rahman, Abdul (2005). "On the geometry and homology of certain simple stratified varieties". Journal of Geometry and Physics. 53 (1): 31–48. arXiv:math.AG/0210394. doi:10.1016/j.geomphys.2004.04.010. ISSN 0393-0440. MR 2102048.
• Robert MacPherson and Kari Vilonen, Elementary constructions of perverse sheaves, Inventiones Mathematicae 84 (1986), 403–435.
• Brian Greene (2003), The Elegant Universe, W.W. Norton Co., ISBN 0-393-05858-1.
• Abdul Rahman, A perverse sheaf approach toward a cohomology theory for string theory, Advances in Theoretical and Mathematical Physics. 13 (3) (2009): 667–693. (arXiv:0704.3298 [math.AT]).
• Markus Banagl. Intersection Spaces, Spatial Homology Truncation, and String Theory, Lecture Notes in Mathematics 1997 (2010), Springer Verlag Berlin-Heidelberg.
• Banagl, Markus; Budur, Nero; Maxim, Laurențiu (2014). "Intersection spaces, perverse sheaves and type IIB string theory". Advances in Theoretical and Mathematical Physics. 18 (2): 363–399. arXiv:1212.2196. MR 3273317.