Bernstein (category theory)

Bernstein (category theory) is a construction in homological algebra and category theory associated with decompositions of derived categories and relationships between abelian and triangulated categories. It appears in contexts involving the names Joseph Bernstein, Pierre Deligne, Alexander Beilinson, Jean-Bernard Bost, and interactions with work of Jean-Pierre Serre, Grothendieck, Alexander Grothendieck, and the schools around Harvard University, University of Chicago, Institute for Advanced Study, and Steklov Institute of Mathematics. The notion is used alongside frameworks developed by Kazhdan, Lusztig, Bernstein–Gelfand–Gelfand authors and in connections to ideas from Paul Balmer, Amnon Neeman, Bernard Keller, and Maxim Kontsevich.

Definition

In categorical settings influenced by work of Joseph Bernstein and collaborators such as Igor Frenkel and Roman Bezrukavnikov, a "Bernstein" construction typically denotes a pair or family of full subcategories of a triangulated category (often a derived category of sheaves or modules) satisfying splitting or orthogonality conditions introduced in the literature of Beilinson, Bernstein, Deligne and further framed by Verdier. The formal definition is stated in terms of exact functors between derived categories associated to abelian categories tied to groups like GL_n or to geometric contexts such as flag varieties associated to Borel subgroups and Cartan subalgebras. The definition uses ingredients from the theory of derived categorys developed by Jean-Louis Verdier and the formalism of exceptional collections promoted by Beilinson.

Background and motivation

Motivation for Bernstein constructions comes from representation theory of reductive groups such as GL_n(C), SL_2, and p-adic groups studied by Jacques Tits and Hermann Weyl, as well as from the geometric formulation of Langlands-type correspondences pursued by Robert Langlands and Edward Frenkel. Early impetus originated in the work on category O developed by Joseph Bernstein, Israel Gelfand, and Sergei Gelfand, and in Beilinson–Bernstein localization which connected representation theory at Harvard University and University of Paris research groups. The approach integrates techniques from Kazhdan–Lusztig theory, the apparatus of perverse sheaves introduced by Beilinson, Bernstein, and Deligne, and categorical methods later systematized by Rickard, Bondal, and Orlov.

Properties and examples

Typical properties include semiorthogonality conditions akin to exceptional collections studied by Beilinson on projective spaces and by Kapranov on Grassmannians; these echo phenomena in the work of Helmut Hofer only in name similarity but are grounded in algebraic geometry at Princeton University and representation theory at IHES. Examples arise for derived categories D^b(Coh(X)) of coherent sheaves on flag varieties for SL_n and on Schubert varieties studied by Demazure, Chevalley, and Bott; they also appear in module categories for Hecke algebras associated to Iwahori subgroups and Bruhat decompositions introduced by Niels Bruhat and Francois Bruhat. Constructions parallel to Bernstein blocks occur in block decompositions of category O and in equivalences between derived categories linked to tilting sheaves studied by Soergel and Ringel. In arithmetic contexts, analogous decompositions are used in the study of l-adic sheaves on Shimura varieties related to Shimura and Deligne.

Relation to t-structures and recollement

Bernstein-type decompositions interact closely with t-structures formulated by Beilinson, Joseph Bernstein, and Deligne and with recollement formalism introduced by Beilinson, Bernstein, and Deligne as well as later expositions by Verdier. A Bernstein decomposition often yields halves or pieces that serve as hearts of t-structures or admit gluing via recollement diagrams familiar from the work at University of Bonn and MPI MiS (Max Planck Institute for Mathematics in the Sciences). Connections to perverse t-structures studied by MacPherson and appearances in tilting and cotilting theory link Bernstein constructions to developments by Happel, Reiten, and Rudakov. Recollement provides exact sequences of triangulated categories used by Kashiwara and Schapira in microlocal analysis and by Cline, Parshall, and Scott in modular representation theory when invoking Bernstein blocks.

Applications and significance

Bernstein constructions play a central role in geometric representation theory pursued at institutions like IHES, Columbia University, and Cambridge University and underlie proofs and conjectures in the geometric Langlands program associated with Edward Frenkel and Dennis Gaitsgory. They are applied to describe blocks in representation categories of p-adic groups studied by Moy and Prasad, and to produce equivalences appearing in mirror symmetry contexts developed by Kontsevich and Seidel. Further significance appears in categorification programs by Chuang and Rouquier, in the study of Hecke categories influenced by Soergel and Lusztig, and in structural results about derived categories used in works by Bondal, Orlov, and Keller. The pervasive influence spans projects at Massachusetts Institute of Technology, Yale University, and University of California, Berkeley and continues to shape contemporary research in algebraic geometry, representation theory, and mathematical physics.

Category:Category theory