Related papers: On Koszul duality for Kac-Moody groups

Let G be a complex, connected, reductive algebraic group with Weyl group W and Steinberg variety Z. We show that the graded Borel-Moore homology of Z is isomorphic to the smash product of the coinvariant algebra of W and the group algebra…

We study the connection between the category of modules over the affine Kac-Moody Lie algebra at the critical level, and the category of D-modules on the affine flag scheme G((t))/I, where I is the Iwahori subgroup. We prove a…

We initiate the study of K-theory Soergel bimodules-a K-theory analog of classical Soergel bimodules. Classical Soergel bimodules can be seen as a completed and infinitesimal version of their new K-theoretic analog. We show that morphisms…

We generalize the modular Koszul duality of Achar-Riche to the setting of Soergel bimodules associated to any finite Coxeter system. The key new tools are a functorial monodromy action and wall-crossing functors in the mixed modular derived…

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V…

We prove an analogue of the Borel-Bott-Weil theorem in equivariant KK-theory by constructing certain canonical equivariant correspondences between minimal flag varieties G/B, with G a complex semisimple Lie group.

We construct a monoidal model structure on the category of all curved coalgebras and show that it is Quillen equivalent, via the extended bar-cobar adjunction, to another model structure we construct on the category of curved algebras. When…

In this paper we prove a version of curved Koszul duality for Z/2Z-graded curved coalgebras and their coBar differential graded algebras. A curved version of the homological perturbation lemma is also obtained as a useful technical tool for…

Let X be a smooth toric variety defined by the fan {\Sigma} . We consider {\Sigma} as a finite set with topology and define a natural sheaf of graded algebras A_{\Sigma} on {\Sigma} . The category of modules over A_{\Sigma} is studied…

We show that there is an equivalence in any $n$-topos $\mathcal{X}$ between the pointed and $k$-connective objects of $\mathcal{X}$ and the $\mathbb{E}_k$-group objects of the $(n-k-1)$-truncation of $\mathcal{X}$. This recovers, up to…

In this paper we construct, for F_1 and F_2 subbundles of a vector bundle E, a "Koszul duality" equivalence between derived categories of G_m-equivariant coherent (dg-)sheaves on the derived intersection of F_1 and F_2 inside E, and the…

We define and study the Hochschild (co)homology of the second kind (known also as the Borel-Moore Hochschild homology and the compactly supported Hochschild cohomology) for curved DG-categories. An isomorphism between the Hochschild…

Let G --> G' be an embedding of semisimple complex Lie groups, let B and B' be a pair of nested Borel subgroups, and let f:G/B --> G'/B' be the associated equivariant embedding of flag manifolds. We study the pullbacks of cohomologies of…

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…

Let $G$ and $\check{G}$ be Langlands dual connected reductive groups. We establish a monoidal equivalence of $\infty$-categories between equivariant quasicoherent sheaves on the formal neighborhood of the nilpotent cone in $G$ and…

In this manuscript we consider the extent to which an irreducible representation for a reductive Lie group can be realized as the sheaf cohomolgy of an equivariant holomorphic line bundle defined on an open invariant submanifold of a…

We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise…

A theorem of Kazhdan and Lusztig establishes an equivalence between the category of G(CO)-integrable representations of the Kac-Moody algebra \hat{g}_{-\kappa} at a negative level -\kappa and the category \Rep_q(G) of (algebraic)…

We prove a Koszul duality theorem between the category of weight modules over the quantized Coulomb branch (as defined by Braverman, Finkelberg and Nakajima) attached to a group $G$ and representation $V$ and a category of $G$-equivariant…

For a stratified topological space we introduce the category of IC-modules, which are linear algebra devices with the relations described by the equation d^2=0. We prove that the category of (mixed) IC-modules is equivalent to the category…