English
Related papers

Related papers: Duality in Derived Category $\mathcal O^\infty$

200 papers

Let $G$ be a $\mathbb{Q}_p$-split reductive group with connected centre and Borel subgroup $B=TN$. We construct a right exact functor $D^\vee_\Delta$ from the category of smooth modulo $p^n$ representations of $B$ to the category of…

Number Theory · Mathematics 2016-08-22 Gergely Zábrádi

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…

Representation Theory · Mathematics 2024-08-22 Ben Webster

Let G be a connected complex reductive group and let K be a symmetric subgroup of G. We prove a formula for the Drinfeld-Gaitsgory functor for the dg-category of K-equivariant sheaves on the flag manifold of G in terms of the Matsuki…

Representation Theory · Mathematics 2021-12-30 Tsao-Hsien Chen

We use duality theorems to obtain presentations of some categories of modules. To derive these presentations we generalize a result of Cautis-Kamnitzer-Morrison [arXiv:1210.6437v4]: Let $\mathfrak{g}$ be a reductive Lie algebra, and $A$ an…

Representation Theory · Mathematics 2018-03-26 Giulian Wiggins

A Poincar\'e Van den Bergh duality theorem for strong Kc-Calabi-Yau algebras was obtained by R. Taillefer and the first author under the assumption that the derived functors of functors involved in the statement exist. We prove the…

Representation Theory · Mathematics 2025-05-27 Roland Berger , Jun Maillard

We introduce a subalgebra $\overline F$ of the Clifford vertex superalgebra ($bc$ system) which is completely reducible as a $L^{Vir} (-2,0)$-module, $C_2$-cofinite, but it is not conformal and it is not isomorphic to the symplectic fermion…

Quantum Algebra · Mathematics 2021-09-15 Drazen Adamovic , Qing Wang

Let W be a complex reflection group and H_c(W) the Rational Cherednik algebra for $W$ depending on a parameter c. One can consider the category O for H_c(W). We prove a conjecture of Rouquier that the categories O for H_c(W) and H_{c'}(W)…

Representation Theory · Mathematics 2017-02-22 Ivan Losev

We introduce a notion of generalized Serre duality on a Hom-finite Krull-Schmidt triangulated category $\mathcal{T}$. This duality induces the generalized Serre functor on $\mathcal{T}$, which is a linear triangle equivalence between two…

Representation Theory · Mathematics 2011-02-15 Xiao-Wu Chen

This paper is a continuation of a previous paper of the author, which gave an analogue to the classical Schur-Weyl duality in the setting of Deligne categories. Given a finite-dimensional unital vector space $V$ (a vector space $V$ with a…

Representation Theory · Mathematics 2017-06-19 Inna Entova-Aizenbud

Let $G$ be a connected reductive group, with connected center, and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$-bundles on $X$. In…

Algebraic Geometry · Mathematics 2019-03-22 Dario Beraldo

Let $\mathcal{A}$ and $\mathcal{B}$ be subcategories of tensor categories $\mathcal{C}$ and $\mathcal{D}$, respectively, both of which are abelian categories with finitely many isomorphism classes of simple objects. We prove that if their…

Representation Theory · Mathematics 2026-01-08 Jing Yu

Let $\mathscr{C}$ be a $2$-Calabi-Yau triangulated category with two cluster tilting subcategories $\mathscr{T}$ and $\mathscr{U}$. Results by Demonet-Iyama-Jasso and J{\o}rgensen-Yakimov known as tropical duality says that the index with…

Representation Theory · Mathematics 2020-05-07 Joseph Reid

Let O\_K be a complete discrete valuation ring. Denote by K its fractions field and by k its residue field. Assume that k is of characteristic p>0 and perfect. Breuil gives an anti-equivalence between the category of finite flat O\_K-group…

Number Theory · Mathematics 2007-05-23 Xavier Caruso

Given a split simply connected and connected algebraic group scheme $\mathbb G$ over $\mathbb Z$ and a split parabolic subgroup scheme $\mathbb P\subset \mathbb G$, this paper constructs semi-orthogonal decompositions of the bounded derived…

Algebraic Geometry · Mathematics 2026-05-28 Alexander Samokhin , Wilberd van der Kallen

We construct a new analogue of the BGG category $\mathcal O$ for the infinite-dimensional Lie algebras $\fg=\mathfrak{sl}(\infty),\mathfrak{o}(\infty), \mathfrak{sp}(\infty)$. A main difference with the categories studied in \cite{Nam} and…

Representation Theory · Mathematics 2019-03-05 Ivan Penkov , Vera Serganova

We develop a "Soergel theory" for Bruhat-constructible perverse sheaves on the flag variety $G/B$ of a complex reductive group $G$, with coefficients in an arbitrary field $\Bbbk$. Namely, we describe the endomorphisms of the projective…

Representation Theory · Mathematics 2020-02-19 Roman Bezrukavnikov , Simon Riche

The parabolic category $\mathcal{O}$ for affine ${\mathfrak{gl}}_N$ at level $-N-e$ admits a structure of a categorical representation of $\widetilde{\mathfrak{sl}}_e$ with respect to some endofunctors $E$ and $F$. This category contains a…

Representation Theory · Mathematics 2020-07-23 Ruslan Maksimau

We give a combinatorial model structure to the category of, not necessarily conilpotent, differential graded (dg) cocommutative coalgebras and an $\infty$-category structure to the category of curved Lie algebras over an algebraically…

Quantum Algebra · Mathematics 2026-03-25 Alexander Mallon , You Wang

Let $\mathfrak{W}$ be the Lie algebra of vector fields on the line. Via computing extensions between all simple modules in the category $\mathcal{O}$, we give the block decomposition of $\mathcal{O}$, and show that the representation type…

Representation Theory · Mathematics 2023-03-08 Genqiang Liu , Mingjie Li

An argument of A.Borel shows that every compact connected Lie group is homeomorphic to the Cartesian product of its derived subgroup and a torus. We prove a parallel result for definably compact definably connected groups definable in an…

Logic · Mathematics 2011-10-25 Marcello Mamino