SearcharxivSearch

arXiv · 2012.02945

Representations of weakly triangular categories

Abstract

A new class of locally unital and locally finite dimensional algebras $A$ over an arbitrary algebraically closed field is discovered. Each of them admits an upper finite weakly triangular decomposition, a generalization of an upper finite triangular decomposition. Any locally unital algebra which admits an upper finite Cartan decomposition is Morita equivalent to some special locally unital algebra $A$ which admits an upper finite weakly triangular decomposition. It is established that the category $A$-lfdmod of locally finite dimensional left $A$-modules is an upper finite fully stratified category in the sense of Brundan-Stroppel. Moreover, $A$ is semisimple if and only if its centralizer subalgebras associated to certain idempotent elements are semisimple. Furthermore, certain endofunctors are defined and give categorical actions of some Lie algebras on the subcategory of $A$-lfdmod consisting of all objects which have a finite standard filtration. In the case $A$ is the locally unital algebra associated to one of cyclotomic oriented Brauer categories, cyclotomic Brauer categories and cyclotomic Kauffman categories, $A$ admits an upper finite weakly triangular decomposition. This leads to categorifications of representations of the classical limits of coideal algebras, which come from all integrable highest weight modules of $\mathfrak {sl}_\infty$ or $\hat {\mathfrak{sl}}_e$. Finally, we study representations of $A$ associated to either cyclotomic Brauer categories or cyclotomic Kauffman categories in details, including explicit criteria on the semisimplicity of $A$ over an arbitrary field, and on $A$-lfdmod being upper finite highest weight category in the sense of Brundan-Stroppel, and on Morita equivalence between $A$ and direct sum of infinitely many (degenerate) cyclotomic Hecke algebras.

Explore related subjects

Keep this discovery

BibTeXRIS

Mengmeng Gao, Hebing Rui, Linliang Song. 2020-12-05. Representations of weakly triangular categories. https://arxiv.org/abs/2012.02945

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT