Equivariant Functors and Sheaves
From MaRDI portal
Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Derived categories, triangulated categories (18G80)
Abstract: In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group acting on a variety are in fact equivalent. In the first part of this thesis we introduce and study equivariant categories on a quasi-projective variety . These are a generalization of the equivariant derived category of Lusztig and are indexed by certain pseudofunctors that take values in the 2-category of categories. This 2-categorical generalization allow us to prove rigorously and carefully when such categories are additive, monoidal, triangulated, admit -structures, among and more. We also define equivariant functors and natural transformations before using these to prove how to lift adjoints to the equivariant setting. We also give a careful foundation of how to manipulate -structures on these equivariant categories for future use and with an eye towards future applications. In the final part of this thesis we prove a four-way equivalence between the different formulations of the equivariant derived category of -adic sheaves on a quasi-projective variety . We show that the equivariant derived category of Lusztig is equivalent to the equivariant derived category of Bernstein-Lunts and the simplicial equivariant derived category. We then show that these equivariant derived categories are equivalent to the derived -adic category of Behrend on the algebraic stack . We also provide an isomorphism of the simplicial equivariant derived category on the variety with the simplicial equivariant derived category on the simplicial presentation of , as well as prove explicit equivalences between the categories of equivariant -adic sheaves, local systems, and perverse sheaves with the classical incarnations of such categories of equivariant sheaves.
This page was built for publication: Equivariant Functors and Sheaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6379274)
