Kac-Moody algebras in Deligne's Category

Ivan Motorin

2024-06-20

Abstract:We generalize the notion of a Kac-Moody Lie algebra to the setting of Deligne Categories. Then we derive the Kac-Weyl formula for the category $\mathcal{O}$ integrable representations for such an algebra. This paper generalizes results of A. Pakharev \cite{AP}.

Representation Theory,Category Theory,Quantum Algebra

What problem does this paper attempt to address?

Deligne tensor products of categories of modules for vertex operator algebras

Robert McRae

2023-04-27

Abstract:We show that if $\mathcal{U}$ and $\mathcal{V}$ are locally finite abelian categories of modules for vertex operator algebras $U$ and $V$, respectively, then the Deligne tensor product of $\mathcal{U}$ and $\mathcal{V}$ can be realized as a certain category $\mathcal{D}(\mathcal{U},\mathcal{V})$ of modules for the tensor product vertex operator algebra $U\otimes V$. We also show that if $\mathcal{U}$ and $\mathcal{V}$ admit the braided tensor category structure of Huang-Lepowsky-Zhang, then $\mathcal{D}(\mathcal{U},\mathcal{V})$ does as well under mild additional conditions, and that this braided tensor structure is equivalent to the natural braided tensor structure on a Deligne tensor product category. These results hold in particular when $\mathcal{U}$ and $\mathcal{V}$ are the categories of $C_1$-cofinite $U$- and $V$-modules, if these categories are closed under contragredients, in which case we show that $\mathcal{D}(\mathcal{U},\mathcal{V})$ is the category of $C_1$-cofinite $U\otimes V$-modules. If $U$ and $V$ are $\mathbb{N}$-graded and $C_2$-cofinite, then we may take $\mathcal{U}$ and $\mathcal{V}$ to be the categories of all grading-restricted generalized $U$- and $V$-modules, respectively. Thus as an application, if the tensor categories of all modules for two $C_2$-cofinite vertex operator algebras are rigid, then so is the tensor category of all modules for the tensor product vertex operator algebra. We use this to prove that the representation categories of the even subalgebras of the symplectic fermion vertex operator superalgebras are non-semisimple modular tensor categories.

Quantum Algebra,Mathematical Physics,Category Theory,Representation Theory
Motivic model categories and motivic derived algebraic geometry

Yuki Kato

DOI: https://doi.org/10.48550/arXiv.1703.02849

2018-03-29

Abstract:In this paper, we develop an enhancement of derived algebraic geometry to apply to $\mathbb{A}^1$-homotopy theory introduced by Morel and Voevodsky. We call the enhancement "motivic derived algebraic geometry". We shall actually formulate "motivic" versions of $\infty$-categories, $\infty$-topoi, spectral schemes and spectral Deligne--Mumford stacks established by Joyal, Lurie, Toën and Vezzosi. By using the language of motivic derived algebraic geometry, we construct the Grassmannian and the algebraic $K$-theory. Furthermore we formulate the Thom spaces for vector bundles on (motivic) stacks, and we obtain the algebraic cobordism for (motivic) stacks. As the main result, we prove that the algebraic cobordism corepresents the motivic $\infty$-category which has the universal property of oriented (motivic) $\infty$-categories.

Category Theory
BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories

Ben Davison,Lucien Hennecart,Sebastian Schlegel Mejia

2024-02-15

Abstract:We determine the structure of the BPS algebra of $2$-Calabi-Yau Abelian categories whose stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a generalised Kac-Moody Lie algebra generated by the intersection cohomology of certain connected components (corresponding to roots) of the good moduli space. Some major examples include the BPS algebras of (1) the category of semistable coherent sheaves of given slope on a K3 surface or, more generally, quasiprojective symplectic surface, (2) semistable Higgs bundles on smooth projective curves, (3) preprojective algebras of quivers, (4) multiplicative preprojective algebras and (5) fundamental groups of (quiver) Riemann surfaces. We define the BPS Lie algebras of $2$-Calabi-Yau categories and prove that they coincide with the ones obtained by dimensional reduction from the critical cohomological Hall algebra in the case in which the 2-Calabi-Yau category is the category of representations of a preprojective algebra. Consequences include (1) A proof in full generality of the Bozec-Schiffmann positivity conjecture for absolutely cuspidal polynomials, a strengthening of the Kac positivity conjecture (2) A proof of the cohomological integrality conjecture for the category of semistable coherent sheaves on local K3 surfaces (3) A description of the cohomology (in all degrees) of Nakajima quiver varieties as direct sums of irreducible lowest weight representations over the BPS Lie algebra.

Representation Theory,Mathematical Physics,Algebraic Geometry,Quantum Algebra
Integrability from categorification and the 2-Kac-Moody Algebra

Hank Chen,Florian Girelli

2024-07-18

Abstract:The theory of Poisson-Lie groups and Lie bialgebras plays a major role in the study of one dimensional integrable systems; many families of integrable systems can be recovered from a Lax pair which is constructed from a Lie bialgebra associated to a Poisson-Lie group. A higher homotopy notion of Poisson-Lie groups and Lie bialgebras has been studied using Lie algebra crossed-modules and $L_2$-algebras, which gave rise to the notion of (strict) Lie 2-bialgebras and Poisson-Lie 2-groups . In this paper, we use these structures to generalize the construction of a Lax pairs and introduce an appropriate notion of {higher homotopy integrability}. Within this framework, we introduce a higher homotopy version of the Kac-Moody algebra, with which the 2-Lax equation can be rewritten as a zero 2-curvature condition in 2+1d. An explicit characterization of our higher Kac-Moody algebra will be given, and we also demonstrate how it governs the 2-Lax pairs and the symmetries of a 3d topological-holomorphic field theory studied recently. This 3d theory thus serves as an example of a physical system that exhibits the sort of 2-graded integrability that we have defined here.

Mathematical Physics,Strongly Correlated Electrons,High Energy Physics - Theory,Exactly Solvable and Integrable Systems
Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

Christoph Schweigert,Lukas Woike

2023-06-30

Abstract:It is easy to find algebras $\mathbb{T}\in\mathcal{C}$ in a finite tensor category $\mathcal{C}$ that naturally come with a lift to a braided commutative algebra $\mathsf{T}\in Z(\mathcal{C})$ in the Drinfeld center of $\mathcal{C}$. In fact, any finite tensor category has at least two such algebras, namely the monoidal unit $I$ and the canonical end $\int_{X\in\mathcal{C}} X\otimes X^\vee$. Using the theory of braided operads, we prove that for any such algebra $\mathbb{T}$ the homotopy invariants, i.e. the derived morphism space from $I$ to $\mathbb{T}$, naturally come with the structure of a differential graded $E_2$-algebra. This way, we obtain a rich source of differential graded $E_2$-algebras in the homological algebra of finite tensor categories. We use this result to prove that Deligne's $E_2$-structure on the Hochschild cochain complex of a finite tensor category is induced by the canonical end, its multiplication and its non-crossing half braiding. With this new and more explicit description of Deligne's $E_2$-structure, we can lift the Farinati-Solotar bracket on the Ext algebra of a finite tensor category to an $E_2$-structure at cochain level. Moreover, we prove that, for a unimodular pivotal finite tensor category, the inclusion of the Ext algebra into the Hochschild cochains is a monomorphism of framed $E_2$-algebras, thereby refining a result of Menichi.

Quantum Algebra,Representation Theory
Monodromy of the Casimir connection of a symmetrisable Kac–Moody algebra

Andrea Appel,Valerio Toledano Laredo

DOI: https://doi.org/10.1007/s00222-024-01242-8

IF: 3.128

2024-03-15

Inventiones mathematicae

Abstract:Let be a symmetrisable Kac–Moody algebra and an integrable –module in category . We show that the monodromy of the (normally ordered) rational Casimir connection on can be made equivariant with respect to the Weyl group of , and therefore defines an action of the braid group on . We then prove that this action is canonically equivalent to the quantum Weyl group action of on a quantum deformation of , that is an integrable, category module over the quantum group such that is isomorphic to . This extends a result of the second author which is valid for semisimple.

mathematics
Categorification of DAHA and Macdonald polynomials

Syu Kato,Anton Khoroshkin,Ievgen Makedonskyi

2024-09-30

Abstract:We describe a categorification of the Double Affine Hecke Algebra (${\mathcal{H}\kern -.4em\mathcal{H}}$) associated with an affine Lie algebra $\widehat{\mathfrak{g}}$, including a categorification of the polynomial representation and Macdonald polynomials. Our categorification results are presented in the derived setting, focusing on the derived category of graded modules over the Lie superalgebra ${\mathfrak I}[\xi]$, where ${\mathfrak I} \subset \widehat{\mathfrak{g}}$ is the Iwahori subalgebra of the affine Lie algebra and $\xi$ is a formal odd variable. First, we show that the compositions of induction and restriction functors associated with minimal parabolic subalgebras ${\mathfrak{p}}_{i}$ categorify the Demazure operators $T_i + 1 \in {\mathcal{H}\kern -.4em\mathcal{H}}$, ensuring that all algebraic relations of $T_i$ have categorical interpretations. Second, for each dominant weight $\lambda$ we introduce a complex ${\mathbb{EM}}_{\lambda}$ of ${\mathfrak{I}}[\xi]$-modules and a complex ${\mathbb{PM}}_{\lambda}$ of ${\mathfrak{g}}[z,\xi]$-modules, whose Euler characteristics are equal to nonsymmetric $E_{\lambda}$ and symmetric $P_{\lambda}$ Macdonald polynomials respectively. We illustrate our theory with the example $\mathfrak{g}=\mathfrak{sl}_2$ where we construct the cyclic representations of Lie superalgebra ${\mathfrak{I}}[\xi]$ such that their supercharacters coincide with certain normalizations of nonsymmetric Macdonald polynomials.

Representation Theory,Algebraic Geometry,Quantum Algebra
The differential graded Verlinde Formula and the Deligne Conjecture

Christoph Schweigert,Lukas Woike

2023-06-30

Abstract:A modular category $\mathcal{C}$ gives rise to a differential graded modular functor, i.e. a system of projective mapping class group representations on chain complexes. This differential graded modular functor assigns to the torus the Hochschild complex and, in the dual description, the Hochschild cochain complex of $\mathcal{C}$. On both complexes, the monoidal product of $\mathcal{C}$ induces the structure of an $E_2$-algebra, to which we refer as the differential graded Verlinde algebra. At the same time, the modified trace induces on the tensor ideal of projective objects in $\mathcal{C}$ a Calabi-Yau structure so that the cyclic Deligne Conjecture endows the Hochschild cochain and chain complex of $\mathcal{C}$ with a second $E_2$-structure. Our main result is that the action of a specific element $S$ in the mapping class group of the torus transforms the differential graded Verlinde algebra into this second $E_2$-structure afforded by the Deligne Conjecture. This result is established for both the Hochschild chain and the Hochschild cochain complex of $\mathcal{C}$. In general, these two versions of the result are inequivalent. In the case of Hochschild chains, we obtain a block diagonalization of the Verlinde algebra through the action of the mapping class group element $S$. In the semisimple case, both results reduce to the Verlinde formula. In the non-semisimple case, we recover after restriction to zeroth (co)homology earlier proposals for non-semisimple generalizations of the Verlinde formula.

Quantum Algebra,Algebraic Topology,Geometric Topology,Representation Theory
Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

Toni Annala,Marc Hoyois,Ryomei Iwasa

2024-02-14

Abstract:We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be equivalent to the $\infty$-category of fundamental motivic spectra satisfying elementary blowup excision, previously introduced by the first and third authors. We prove that this $\infty$-category satisfies $\mathbb P^1$-homotopy invariance and weighted $\mathbb A^1$-homotopy invariance, which we use in place of $\mathbb A^1$-homotopy invariance to obtain analogues of several key results from $\mathbb A^1$-homotopy theory. These allow us in particular to define a universal oriented motivic $\mathbb E_\infty$-ring spectrum $\mathrm{MGL}$. We then prove that the algebraic K-theory of a qcqs derived scheme $X$ can be recovered from its $\mathrm{MGL}$-cohomology via a Conner-Floyd isomorphism \[\mathrm{MGL}^{**}(X)\otimes_{\mathrm L}\mathbb Z[\beta^{\pm 1}]\simeq \mathrm K^{**}(X),\] where $\mathrm L$ is the Lazard ring and $\mathrm K^{p,q}(X)=\mathrm K_{2q-p}(X)$. Finally, we prove a Snaith theorem for the periodized version of $\mathrm{MGL}$.

Algebraic Geometry,Algebraic Topology,K-Theory and Homology
Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Baptiste Calmès,Emanuele Dotto,Yonatan Harpaz,Fabian Hebestreit,Markus Land,Kristian Moi,Denis Nardin,Thomas Nikolaus,Wolfgang Steimle

2023-07-13

Abstract:We define Grothendieck-Witt spectra in the setting of Poincaré $\infty$-categories and show that they fit into an extension with a K- and an L-theoretic part. As consequences we deduce localisation sequences for Verdier quotients, and generalisations of Karoubi's fundamental and periodicity theorems for rings in which 2 need not be invertible. Our set-up allows for the uniform treatment of such algebraic examples alongside homotopy-theoretic generalisations: For example, the periodicity theorem holds for complex oriented $\mathrm{E}_1$-rings, and we show that the Grothendieck-Witt theory of parametrised spectra recovers Weiss and Williams' LA-theory. Our Grothendieck-Witt spectra are defined via a version of the hermitian Q-construction, and a novel feature of our approach is to interpret the latter as a cobordism category. This perspective also allows us to give a hermitian version -- along with a concise proof -- of the theorem of Blumberg, Gepner and Tabuada, and provides a cobordism theoretic description of the aforementioned LA-spectra.

K-Theory and Homology,Algebraic Topology,Category Theory
Derived categories and Deligne-Lusztig varieties II

Cédric Bonnafé,Jean-François Dat,Raphaël Rouquier

DOI: https://doi.org/10.48550/arXiv.1511.04714

IF: 0.6

2015-11-15

Representation Theory

Abstract:This paper is a continuation and a completion of [BoRo1]. We extend the Jordan decomposition of blocks: we show that blocks of finite groups of Lie type in non-describing characteristic are Morita equivalent to blocks of subgroups associated to isolated elements of the dual group. The key new result is the invariance of the part of the cohomology in a given modular series of Deligne-Lusztig varieties associated to a given Levi subgroup, under certain variations of parabolic subgroups. We also show that the equivalence arises from a splendid Rickard equivalence. Even in the setting of [BoRo1], the finer homotopy equivalence was unknown. As a consequence, the equivalence preserves defect groups and categories of subpairs. We finally determine when Deligne-Lusztig induced representations of tori generate the derived category of representations.
A generalized Bondal-Orlov full faithfulness criterion for Deligne-Mumford stacks

Jack Hall,Kyle Priver

2024-05-10

Abstract:Let $X$, $Y$ be smooth projective varieties over $\mathbf{C}$. Let $K$ be a bounded complex of coherent sheaves on $X\times Y$ and let $\Phi_K \colon \mathsf{D}^b_{\mathsf{Coh}}(X) \to \mathsf{D}^b_{\mathsf{Coh}}(Y)$ be the resulting Fourier-Mukai functor. There is a well-known criterion due to Bondal-Orlov for $\Phi_K$ to be fully faithful. This criterion was recently extended to smooth Deligne-Mumford stacks with projective coarse moduli schemes by Lim-Polischuk. We extend this to all smooth, proper Deligne-Mumford stacks over arbitrary fields of characteristic $0$. Along the way, we establish a number of foundational results for bounded derived categories of proper and tame morphisms of noetherian algebraic stacks (e.g., coherent duality).

Algebraic Geometry
A monadicity theorem for higher algebraic structures

Hadrian Heine

2023-07-20

Abstract:We develop a theory of Eilenberg-Moore objects in any $(\infty,2)$-category and extend Barr-Beck's monadicity theorem to any $(\infty,2)$-category that admits Eilenberg-Moore objects. We apply this result to various $(\infty,2)$-categories of higher algebraic structures to obtain a monadicity theorem for enriched $\infty$-categories, $\infty$-operads and higher Segal objects. Analyzing Eilenberg-Moore objects in the $(\infty,2)$-categories of symmetric monoidal $\infty$-categories and lax (oplax) symmetric monoidal functors we extend classical results about lax (oplax) symmetric monoidal monads to the $\infty$-categorical world: we construct two tensor products for algebras over lax (oplax) symmetric monoidal monads, respectively: the first one extends the relative tensor product for modules over an $\mathbb{E}_{\mathrm{k}}$-algebra for $2 \leq \mathrm{k} \leq \infty$, the second one generalizes the object-wise tensor product for $\mathbb{E}_{\mathrm{k}}$-algebras in any $\mathbb{E}_{\mathrm{k}}$-monoidal $\infty$-category. As an application we construct a tensor product for algebras over any Hopf $\infty$-operad.

Category Theory
Restricted $L_\infty$-algebras and a derived Milnor-Moore theorem

Hadrian Heine

2024-08-13

Abstract:For every stable presentably symmetric monoidal $\infty$-category $\mathcal{C}$ we use the Koszul duality between the spectral Lie operad and the cocommutative cooperad to construct an enveloping Hopf algebra functor $\mathcal{U}: \mathrm{Alg}_{\mathrm{Lie}}(\mathcal{C}) \to \mathrm{Hopf}(\mathcal{C})$ from spectral Lie algebras in $\mathcal{C}$ to cocommutative Hopf algebras in $\mathcal{C}$ left adjoint to a functor of derived primitive elements. We prove that if $\mathcal{C}$ is a rational stable presentably symmetric monoidal $\infty$-category, the enveloping Hopf algebra functor is fully faithful. We conclude that Lie algebras in $\mathcal{C}$ are algebras over the monad underlying the adjunction $T \simeq \mathcal{U} \circ \mathrm{Lie}: \mathcal{C} \rightleftarrows \mathrm{Alg}_{\mathrm{Lie}}(\mathcal{C}) \to \mathrm{Hopf}(\mathcal{C}), $ where $\mathrm{Lie}$ is the free Lie algebra and $\mathrm{T}$ is the tensor algebra. For general $\mathcal{C}$ we introduce the notion of restricted $L_\infty$-algebra as an algebra over the latter adjunction. For any field $K$ we construct a forgetful functor from restricted Lie algebras in connective $H(K)$-modules to the $\infty$-category underlying a right induced model structure on simplicial restricted Lie algebras over $K $.

Algebraic Topology
Deligne Categories and Representations of the Finite General Linear Group, Part 1: Universal Property

Heidersdorf, Thorsten

DOI: https://doi.org/10.1007/s00031-023-09840-1

2024-04-18

Transformation Groups

Abstract:We study the Deligne interpolation categories for , first introduced by F. Knop. These categories interpolate the categories of finite-dimensional complex representations of the finite general linear group . We describe the morphism spaces in this category via generators and relations. We show that the generating object of this category (an analogue of the representation of ) carries the structure of a Frobenius algebra with a compatible -linear structure; we call such objects -linear Frobenius spaces and show that is the universal symmetric monoidal category generated by such an -linear Frobenius space of categorical dimension t . In the second part of the paper, we prove a similar universal property for a category of representations of .

mathematics
Smooth representations of affine Kac-Moody algebras

Vyacheslav Futorny,Xiangquin Guo,Yaohui Xue,Kaiming Zhao

2024-04-05

Abstract:Smooth modules for affine Kac-Moody algebras have a prime importance for the quantum field theory as they correspond to the representations of the universal affine vertex algebras. But, very little is known about such modules beyond the category of positive energy representations. We construct a new class of smooth modules over affine Kac-Moody algebras. In a particular case, these modules are isomorphic to those induced from generalized Whittaker modules for Takiff Lie algebras. We establish the irreducibility criterion for constructed modules in the case of the affine sl(2) Lie algebra.

Representation Theory,Mathematical Physics
On two modular geometric realizations of an affine Hecke algebra

Roman Bezrukavnikov,Simon Riche

2024-07-04

Abstract:In this paper we construct equivalences of monoidal categories relating three geometric or representation-theoretic categorical incarnations of the affine Hecke algebra of a connected reductive algebraic group $G$ over a field of positive characteristic: a category of Harish-Chandra bimodules for the Lie algebra of $G$; the derived category of equivariant coherent sheaves on (a completed version of) the Steinberg variety of the Frobenius twist $G^{(1)}$ of $G$; a derived category of constructible sheaves on the affine flag variety of reductive group which is Langlands dual to $G^{(1)}$. These constructions build on the localization theory developed by the first author with Mirković and Rumynin and previous work of ours (partly joint with L. Rider), and provide an analogue for positive-characteristic coefficients of a construction of the first author. As an application, we prove a conjecture by Finkelberg-Mirković giving a geometric realization of the principal block of algebraic representations of $G$.

Representation Theory
Regular logarithmic connections

Piotr Achinger

2023-04-04

Abstract:We introduce the notion of a regular integrable connection on a smooth log scheme over $\mathbf{C}$ and construct an equivalence between the category of such connections and the category of integrable connections on its analytification, compatible with de Rham cohomology. This extends the work of Deligne (when the log structure is trivial), and combined with the work of Ogus yields a topological description of the category of regular connections in terms of certain constructible sheaves on the Kato--Nakayama space. The key ingredients are the notion of a canonical extension in this context and the existence of good compactifications of log schemes obtained recently by Włodarczyk.

Algebraic Geometry,Complex Variables
A geometric construction of $U(\mathfrak{n})$ for affine Kac-Moody algebras of type $\tilde{\mathsf{C}}_{n}$

Alberto Castillo Gómez,Christof Geiss

2023-03-11

Abstract:Inspired by the work of Geiss, Leclerc and Schröer [Represent. Theory 20, (2016)] we realize the enveloping algebra of the positive part of an affine Kac-Moody Lie algebra of Dynkin type $\tilde{\mathsf{C}}_n$ as an convolution algebra of constructible functions on the varieties of locally free representations of the corresponding 1-Iwanaga-Gorenstein algebra $H=H_{\mathbb{C}}(C,D,\Omega)$ with minimal symmetrizer. To this end we exploit the fact that in this situation $H$ is gentle, and and the same time we use generalized reflection functors.

Representation Theory,Rings and Algebras
Geometric categorifications of Verma modules: Grassmannian Quiver Hecke algebras

Ruslan Maksimau,Catharina Stroppel

2024-07-25

Abstract:Naisse and Vaz defined an extension of KLR algebras to categorify Verma modules. We realise these algebras geometrically as convolution algebras in Borel-Moore homology. For this we introduce Grassmannian-Steinberg quiver flag varieties. They generalize Steinberg quiver flag varieties in a non-obvious way, reflecting the diagrammatics from the Naisse-Vaz construction. Using different kind of stratifications we provide geometric explanations of the rather mysterious algebraic and diagrammatic basis theorems. A geometric categorification of Verma modules was recently found in the special case of $\mathfrak{sl}_2$ by Rouquier. Rouquier's construction uses coherent sheaves on certain quasi-map spaces to flag varieties (zastavas), whereas our construction is implicitly based on perverse sheaves. Both should be seen as parts (on dual sides) of a general geometric framework for the Naisse-Vaz approach. We first treat the (substantially easier) $\mathfrak{sl}_2$ case in detail and construct as a byproduct a geometric dg-model of the nil-Hecke algebras. The extra difficulties we encounter in general require the use of more complicated Grassmannian-Steinberg quiver flag varieties. Their definition arises from combinatorially defined diagram varieties which we assign to each Naisse-Vaz basis diagram. Our explicit analysis here might shed some light on categories of coherent sheaves on more general zastava spaces studied by Feigin-Finkelberg-Kuznetsov-Mirković and Braverman, which we expect to occur in a generalization of Rouquier's construction away from $\mathfrak{sl}_2$.

Representation Theory

Kac-Moody algebras in Deligne's Category

Deligne tensor products of categories of modules for vertex operator algebras

Motivic model categories and motivic derived algebraic geometry

BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories

Integrability from categorification and the 2-Kac-Moody Algebra

Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

Monodromy of the Casimir connection of a symmetrisable Kac–Moody algebra

Categorification of DAHA and Macdonald polynomials

The differential graded Verlinde Formula and the Deligne Conjecture

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Derived categories and Deligne-Lusztig varieties II

A generalized Bondal-Orlov full faithfulness criterion for Deligne-Mumford stacks

A monadicity theorem for higher algebraic structures

Restricted $L_\infty$-algebras and a derived Milnor-Moore theorem

Deligne Categories and Representations of the Finite General Linear Group, Part 1: Universal Property

Smooth representations of affine Kac-Moody algebras

On two modular geometric realizations of an affine Hecke algebra

Regular logarithmic connections

A geometric construction of $U(\mathfrak{n})$ for affine Kac-Moody algebras of type $\tilde{\mathsf{C}}_{n}$

Geometric categorifications of Verma modules: Grassmannian Quiver Hecke algebras