Related papers: A simple proof of Bernstein-Lunts equivalence

We use analogues of Enright's and Arkhipov's functors to determine the quiver and relations for a category of $\mathfrak{sl}_2 \ltimes L(4)$-modules which are locally finite (and with finite multiplicities) over $\mathfrak{sl}_2$. We also…

We formulate and prove a Paley-Wiener theorem for Harish-Chandra modules for a real reductive group. As a corollary we obtain a new and elementary proof of the Helgason conjecture.

We prove that any irreducible Harish-Chandra modules for a class of Lie algebras, which we call gap-$p$ Virasoro algebras, must be a highest weight module, a lowest weight module, or a module of intermediate series.These algebras are…

Beliakova-Putyra-Wehrli studied various kinds of traces, in relation to annular Khovanov homology. In particular, to a graded algebra and a graded bimodule over it, they associate a quantum Hochschild homology of the algebra with…

We show that the module of integral points on a Drinfeld module satisfies a an analogue of Dirichlet's unit theorem, despite its failure to be finitely generated. As a consequence, we obtain a construction of a canonical finitely generated…

We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and…

The category of all modules over a reductive complex Lie algebra is wild, and therefore it is useful to study full subcategories. For instance, Bernstein, Gelfand and Gelfand introduced a category of modules which provides a natural setting…

We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples of univalent…

Let $H$ be a finite dimensional bialgebra. In this paper, we prove that the category of Yetter-Drinfeld-Long bimodules is isomorphic to the Yetter-Drinfeld category over the tensor product bialgebra $H\o H^*$ as monoidal category. Moreover…

Let $G_n=\operatorname{GL}_n(F)$, where $F$ is a non-archimedean local field with residue characteristic $p$. Our starting point is the Bernstein-decomposition of the representation category of $G_n$ over an algebraically closed field of…

We study Harish-Chandra bimodules over the rational Cherednik algebra $H_{c}(W)$ associated to a complex reflection group $W$ with parameter $c$. Our results allow us to partially reduce the study of these bimodules to smaller algebras. We…

We show that canonical bases in $\dot{U}(\mathfrak{sl}_n)$ and the Schur algebra are compatible; in fact we extend this result to $p$-canonical bases. This follows immediately from a fullness result from a functor categorifying this map. In…

Let $\mathfrak{g}$ be a complex semisimple Lie algebra. The Beilinson-Bernstein localization theorem establishes an equivalence of the category of $\mathfrak{g}$-modules of a fixed infinitesimal character and a category of modules over a…

Let $\mathcal{X}$ be a skeletally small additive category. Using the canonical equivalence between two different presentations of the free abelian category over $\mathcal{X}$, we give a new and simple characterization of definable…

With the $\Omega$-operators for the Virasoro algebra \cite{BF} and the super Virasoro algebra in \cite{CL, CLL}, we get the $\Omega$-operators for the Ovsienko-Roger superalgebras in this paper and then use it to classify all simple…

A basic exact sequence by Harish-Chandra related to the invariant differential operators on a Riemannian symmetric space G/K is generalized for each K-type in a certain class which we call `single-petaled'. The argument also includes a…

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

We apply the super duality formalism recently developed by the authors to obtain new equivalences of various module categories of general linear Lie superalgebras. We establish the correspondence of standard, tilting, and simple modules, as…

We prove that an arbitrary (not necessarily countably generated) Hilbert $G$-$\cla$ module on a G-C^* algebra $\cla$ admits an equivariant embedding into a trivial $G-\cla$ module, provided G is a compact Lie group and its action on $\cla$…

We reconsider a classical theorem by Bican and El Bashir, which guarantees the existence of non-trivial relatively pure submodules in a module category over a ring with unit. Our aim is to generalize the theorem to module categories over…