Perverse schobers are categorifications of perverse sheaves. We construct a perverse schober on a partial compactification of the stringy Kähler moduli space (SKMS) associated by Halpern-Leistner and Sam to a quasi-symmetric representation X of a reductive group G, extending the local system of triangulated categories established by them. The triangulated categories appearing in our perverse schober are subcategories of the derived category of the quotient stack X/G.
This note studies perverse sheaves of categories, or schobers, on Riemann surfaces, following ideas of Kapranov and Schechtman. For certain wall crossings in geometric invariant theory, I construct a schober on the complex plane, singular at each imaginary integer. I use this to obtain schobers for standard flops: in the 3-fold case, I relate these to a further schober on a partial compactification of a stringy Kaehler moduli space, and suggest an application to mirror symmetry.
For a balanced wall crossing in geometric invariant theory, there exist derived equivalences between the corresponding GIT quotients if certain numerical conditions are satisfied. Given such a wall crossing, I construct a perverse sheaf of categories on a disk, singular at a point, with half-monodromies recovering these equivalences, and with behaviour at the singular point controlled by a GIT quotient stack associated to the wall. Taking complexified Grothendieck groups gives a perverse sheaf of vector spaces: I characterise when this is an intersection cohomology complex of a local system on…
A perverse schober is a categorification of a perverse sheaf proposed by Kapranov--Schechtman. In this paper, we construct examples of perverse schobers on the Riemann sphere, which categorify the intersection complexes of natural local systems arising from the mirror symmetry for Calabi-Yau hypersurfaces. The Orlov equivalence plays a key role for the construction.
We suggest a possibility for a categorical generalization of the concept of a perverse sheaf, in which vector spaces are replaced by triangulated categories. We call such hypothetical objects perverse Schobers and consider several examples, giving a natural but ad hoc definition in each case. In the simplest case (perverse sheaves on a disk with one possible singular point) we propose, as a categorical analog, the data of a spherical functor.
Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf. In the first part of the paper we study schober-type diagrams of categories corresponding to flops of relative dimension 1, in particular we determine the categorical analogs of the (compactly supported) cohomology with coefficients in such schobers.…
We relate the Algebra of the Infrared of Gaiotto-Moore-Witten with the theory of perverse schobers which are (conjectural, in general) categorical analogs of perverse sheaves. A perverse schober on a complex plane C can be seen as an algebraic structure that can encode various categories of D-branes of a 2-dimensional supersymmetric field theory, as well as the interaction (tunnelling) between such categories. We show that many constructions of the Algebra of the Infrared can be developed once we have a schober on C. These constructions can be seen as giving various features of the analog, for…
Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror partners to such schobers, determined by diagrams of Fukaya categories with stops, for examples in dimensions 2 and 3. Interpreting these schobers as supported on loci in mirror moduli spaces, we prove homological mirror symmetry equivalences between them. Our construction uses the coherent-constructible correspondence and a recent result of Ganatra-Pardon-Shende t…
Perverse schobers, stability conditions and quadratic differentials I
Mathematisches Institut, Universität Bonn（波恩大学数学研究所）；Centre for Quantum Mathematics, Department of Mathematics and Computer Science, University of Southern Denmark（南丹麦大学数学与计算机科学系量子数学中心）；Yau Mathematical Sciences Center and Department of Mathematical Sciences, Tsinghua University（清华大学丘成桐数学科学中心及数学科学系）；Beijing Institute of Mathematical Sciences and Applications（北京国际数学研究中心）
Perverse schober defined by Kapranov--Schechtman is a categorification of the notion of perverse sheaf. In their definition, a key ingredient is certain purity property of perverse sheaves. In this short note, we attempt to describe a real analogue of the above story, as categorification of Legendrian points/knots. The notion turns out to include various notions such as semi-orthogonal decomposition, mutation braiding, spherical functor, N-spherical functor, and irregular perverse schober.
We develop the theory of semi-orthogonal decompositions and spherical functors in the framework of stable $\infty$-categories. Building on this, we study the relative Waldhausen S-construction $S_\bullet(F)$ of a spherical functor $F$ and equip it with a natural paracyclic structure (``rotational symmetry''). This fulfills a part of the general program to provide a rigorous account of perverse schobers which are (thus far conjectural) categorifications of perverse sheaves. Namely, in terms of our previous identification of perverse sheaves on Riemann surfaces with Milnor sheaves, the relative …
The geometric Satake isomorphism is an equivalence between the categories of spherical perverse sheaves on affine Grassmanian and the category of representations of the Langlands dual group. We provide a similar description for derived categories of l-adic sheaves on an affine flag variety which are geometric counterparts of a maximal commutative subalgebra in the Iwahori Hecke algebra; of the anti-spherical module over this algebra; and of the space of Iwahori-invariant Whitakker functions.
In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of perverse sheaves on the complex affine Grassmannian. We can work with perverse sheaves with coefficients in an arbitrary commutative ring and then we recover the representation theory of the split form of the dual group over the commutative ring.
This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the Langlands dual group is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in and some o…
Let $X$ be a (smooth and complete) curve and $G$ a reductive group. In [BG] we introduced the object that we called "geometric Eisenstein series". This is a perverse sheaf $\bar{Eis}_E$ (or rather a complex of such) on the moduli stack $Bun_G(X)$ of principal $G$-bundles on $X$, which is attached to a local system $E$ on $X$ with respect to the torus $\check{T}$, Langlands dual to the Cartan subgroup $T\subset G$. In loc. cit. we showed that$\bar{Eis}_E$ corresponds to the $\check{G}$-local system induced from $E$, in the sense of the geometric Langlands correspondence. In the present paper we…
Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon resolution of the space of quasi-maps (using this resolution one can reformulate the statement so that only "usual" (not perverse) coherent sheaves are used). In the course of the proof we also give a $K$…
The category of perverse sheaves on the affine Grassmannian of a complex reductive group $G$ gives a canonical geometric construction of the split form of the Langlands dual group $\check G_\bZ$ over the integers. Given a field $k$, we give a Tannakian construction of the quasi-split forms of $\check G_k$, as well as a construction of the gerbe associated to an inner form of $\check G_k$.
This is an application of the theory of tilting objects to the geometric setting of perverse sheaves. We show that this theory is a natural framework for Beilinson's gluing of perverse sheaves construction. In the special case of Schubert stratification of a flag variety we get a short proof of Soergel's "Struktursatz", and describe (following a conjecture of Kapranov) Serre functor for category O. Some of our results were obtained independently by Rouquier.
Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X\times Y. The Deligne external tensor product functor is identified with the geometrical external tensor product.
In this article we propose a geometric description of Arthur packets for $p$-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups and follows the direction indicated by Vogan in his 1993 paper on the Langlands correspondence. Using vanishing cycles, we introduce and study a functor from the category of equivariant perverse sheaves on the moduli space of certain Langlands parameters to local systems on the regular part of the conormal bundle for …
I will explain my joint paper `Instantons moduli spaces and W-algebras' with A.Braverman, M.Finkelberg, arXiv:1406.2381. I will concentrate on the geometric part, that is a study of perverse sheaves on instanton moduli spaces. I place a particular emphasize on the hyperbolic restriction functor and stable envelop, which are our key tools, and appear also in other situations in geometric representation theory. These are lecture notes for a course in 2015 PCMI.
We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the dual group $\check G$ is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in \cite{G} and some of the arguments are borrowed from \cite{G}. However, we use a more "natural" commutativity constraint for the convolution product, due to Drinfeld. Secondly, we give a direct geometric proof that the global cohomology functor is…
This is a mostly expository paper, intended to explain a very natural relationship between two a priori distinct notions appearing in the literature: Generic Vanishing in the context of vanishing theorems and birational geometry, and Perverse Coherent Sheaves in the context of derived categories. I describe homological and commutative algebra criteria for checking either condition, and then recall applications to geometric situations. A few new results, and especially new proofs, are included as well.
In geometric representation theory, one often wishes to describe representations realized on spaces of invariant functions as trace functions of equivariant perverse sheaves. In the case of principal series representations of a connected split reductive group G over a local field, there is a description of families of these representations realized on spaces of functions on G invariant under the translation action of the Iwahori subgroup, or a suitable smaller compact open subgroup, studied by Howe, Bushnell and Kutzko, Roche, and others. In this paper, we construct categories of perverse shea…
We study the constant term functor for $\mathbb{F}_p$-sheaves on the affine Grassmannian in characteristic $p$ with respect to a Levi subgroup. Our main result is that the constant term functor induces a tensor functor between categories of equivariant perverse $\mathbb{F}_p$-sheaves. We apply this fact to get information about the Tannakian monoids of the corresponding categories of perverse sheaves. As a byproduct we also obtain geometric proofs of several results due to Herzig on the mod $p$ Satake transform and the structure of the space of mod $p$ Satake parameters.
Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text{der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb{F}_p$-sheaves on the Iwahori affine flag variety of $G$ which are central with respect to the convolution product. We deduce an explicit formula for an isomorphism from the spherical mod $p$ Hecke algebra to the center of the Iwahori mod $p$ Hecke algebra. We also give a formula for the central integral Bernstein elements in the Iwahori mod $p$ Hecke algebra. To accomplish these goals we construct …
We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This le…
We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group. The equivalence (1)-(2) is an `enhancement' of the known expression for quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar. The equivalence (2)-(3) is a step towards resolving an old mystery surrounding the existense of two completely different realizations of the affine Hecke algebra…
