Related papers: A geometric model for blocks of Frobenius kernels
We establish a version of the complex Frobenius theorem in the context of a complex subbundle S of the complexified tangent bundle of a manifold, having minimal regularity. If the subbundle S defines the structure of a Levi-flat…
We introduce a notion of a connection on a coherent sheaf on a weighted projective line (in the sense of Geigle and Lenzing). Using a theorem of Huebner and Lenzing we show, under a mild hypothesis, that if one considers coherent sheaves…
Perverse schobers are categorifications of perverse sheaves. In prior work we constructed a perverse schober on a partial compactification of the stringy K\"ahler moduli space (SKMS) associated by Halpern-Leistner and Sam to a…
Let Q be an affine quiver of type A. Let C be the associated generalized Cartan matrix. Let U^- be the negative part of the quantized enveloping algebra attached to C. In terms of perverse sheaves on the moduli space of representations of a…
Let $\mathcal{E}$ be a weakly idempotent complete exact category with enough injective and projective objects. Assume that $\mathcal{M} \subseteq \mathcal{E}$ is a rigid, contravariantly finite subcategory of $\mathcal{E}$ containing all…
Group-theoretical fusion categories are defined by data concerning finite groups and their cohomology: A finite group $G$ endowed with a three-cocycle $\omega$, and a subgroup $H\subset G$ endowed with a two-cochain whose coboundary is the…
We review and extend the results of [1] that gives a condition for reducibility of quantum representations of mapping class groups constructed from Reshetikhin-Turaev type topological quantum field theories based on modular categories. This…
For any field $k$, we give an algebraic description of the category $\mathrm{Perv}_\mathscr{S}(S^n (\mathbb{C}^2),k)$ of perverse sheaves on the $n$-fold symmetric product of the plane $S^n(\mathbb{C}^2)$ constructible with respect to its…
Deformations of ordinary varieties of K3 type can be described in terms of displays by recent work of Langer-Zink. We extend this to the general (non-ordinary) case using displays with $G$-structure for a reductive group $G$. As a basis we…
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…
In this first of a series of articles on standard extension algebras we study standard perverse sheaves on varieties with $\mathbb{G}_m$-actions. Based on Braden's hyperbolic localisation, we describe their extension algebra geometrically…
The convolution ring $K^{GL_n(\mathcal{O})\rtimes\mathbb{C}^\times}(\mathrm{Gr}_{GL_n})$ was identified with a quantum unipotent cell of the loop group $LSL_2$ in [Cautis-Williams, J. Amer. Math. Soc. 32 (2019), pp. 709-778]. We identify…
We establish structure results for Frobenius kernels of automorphism group schemes for surfaces of general type in positive characteristics. It turns out that there are surprisingly few possibilities. This relies on properties of the famous…
For a complex reductive Lie algebra $\mathfrak{g}$ with Cartan subalgebra $\mathfrak{h}$ and Weyl group $W$ we consider the category $\text{Perv}(W \backslash \mathfrak{h})$ of perverse sheaves on $W \backslash \mathfrak{h}$ smooth w.r.t.…
In a previous paper we outlined how discrete torsion can be understood geometrically as an analogue of orbifold U(1) Wilson lines. In this paper we shall prove the remaining details. More precisely, in this paper we describe gerbes in terms…
We study the category of G(O)-equivariant perverse coherent sheaves on the affine Grassmannian of G. This coherent Satake category is not semisimple and its convolution product is not symmetric, in contrast with the usual constructible…
By introducing $N$-framed quivers, we define the localization of Lusztig's sheaves for $N$-framed quivers and functors $E^{(n)}_{i}, F^{(n)}_{i}, K^{\pm}_i$ for localizations. This gives a categorical realization of tensor products of…
By using perverse sheaves on representation spaces of quivers over $k[t]/(t^n)$ and jet schemes over flag varieties, we construct a geometric composition algebra $\mathbf K$ under Lusztig's framework on geometric realizations of the…
In [19], Zheng studied the bounded derived categories of constructible $\bar{\mathbb{Q}}_l$-sheaves on some algebraic stacks consisting of the representations of a enlarged quiver and categorified the integrable highest weight modules of…
The goal of this work is to construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the loop Lie algebra Lg and to show that the affine Grothendieck-Springer sheaf S is perverse. Moreover, S is an…