Brylinski–Kashiwara

Brylinski–Kashiwara

The Brylinski–Kashiwara result is a major theorem in algebraic geometry and representation theory concerning holonomic D-modules, characteristic cycles, and the behavior of perverse sheaves under projective morphisms. It connects the microlocal analysis of Masaki Kashiwara and the geometric constructions of Jean-Luc Brylinski with tools from Kazhdan–Lusztig theory, the theory of Schubert varieties, and the geometry of flag varietys, impacting the study of Harish-Chandra modules, Springer correspondence, and the decomposition phenomena in Beilinson–Bernstein localization.

History and development

The ideas leading to Brylinski–Kashiwara arose in the 1970s and 1980s amid advances by Pierre Deligne on perverse sheafs, by Joseph Bernstein and Israel Gelfand on representation theory of Lie algebras, and by Jean-Pierre Serre in cohomological techniques. Influences include the work of Alexander Beilinson and Joseph Bernstein on localization, the microlocal methods of Masaki Kashiwara and Jean-Michel Bony, and the geometric representation framework of George Lusztig, David Kazhdan, and Vladimir Drinfeld. Development was shaped by interactions at institutions such as the Institut des Hautes Études Scientifiques, University of Tokyo, Harvard University, and conferences including the International Congress of Mathematicians where perverse sheaves and D-module techniques were prominent.

Statement of the conjecture/theorem

The theorem identifies the characteristic cycle of the direct image of a holonomic D-module under a projective morphism with the pushforward of characteristic cycles, providing a compatibility between direct image functors in the derived category of D-modules and the functoriality of Lagrangian cycles in the cotangent bundle. It asserts that for a projective morphism between smooth algebraic varieties and for a holonomic D-module with regular singularities, the characteristic cycle transforms according to intersection-theoretic formulas reminiscent of the Riemann–Roch theorem and consistent with predictions from Kazhdan–Lusztig conjectures, Springer correspondence expectations, and the behavior of intersection cohomology on Schubert varietys. The statement ties into the formalism of perverse sheafs, Verdier duality, and the decomposition theorem originating in the work of Beilinson–Bernstein–Deligne.

Methods and proof outline

The proof synthesizes microlocal analysis developed by Masaki Kashiwara with algebraic and sheaf-theoretic techniques from Jean-Luc Brylinski and collaborators. Key tools include the theory of holonomic D-modules, the microlocalization functor of Kashiwara–Schapira type, characteristic cycle calculus in the cotangent bundle, and vanishing cycle functors as used by Pierre Deligne and Alexander Beilinson. It uses deep results such as the decomposition theorem of Beilinson–Bernstein–Deligne, comparison theorems between algebraic and analytic categories as in GAGA-type results, and intersection-theoretic machinery developed in the work of William Fulton. The argument integrates explicit calculations on flag varietys and Schubert varietys, appealing to combinatorial identities from Kazhdan–Lusztig theory and structural properties of Harish-Chandra modules studied by Roger Howe and David Vogan.

Consequences and applications

Consequences include precise control of characteristic cycles under proper pushforward, applications to the calculation of multiplicities in composition series of representations appearing in the Beilinson–Bernstein localization framework, and contributions to the proof and understanding of formulas in Kazhdan–Lusztig conjectures and their generalizations by George Lusztig. The theorem informs the study of the Springer correspondence, the geometry of nilpotent cones, and the analysis of singularities in Schubert variety stratifications. It has ramifications for representation-theoretic invariants studied in the contexts of Harish-Chandra modules, Langlands program considerations at the geometric level as in the work of Edward Frenkel, and for calculations in equivariant intersection cohomology and K-theory of algebraic varieties such as Grassmannians and flag varietys.

Related results and generalizations

Related results include the decomposition theorem of Beilinson–Bernstein–Deligne, the Riemann–Hilbert correspondence established by Masaki Kashiwara and Zoghman Mebkhout, and developments in microlocal sheaf theory by Kashiwara–Schapira. Generalizations consider irregular singularities addressed in later work by Hiroshi d'Agnolo and Masaki Kashiwara, and extensions to equivariant settings involving actions of Weyl groups and Hecke algebras explored by Kazhdan–Lusztig and Goresky–MacPherson-style stratified approaches. Further connections arise with the geometric Langlands program as advanced by Drinfeld and Laurent Lafforgue, and with categorical representation theory approaches in the work of Maxim Kontsevich and Jacob Lurie.

Category:Algebraic geometry Category:Representation theory Category:D-modules