SearcharxivSearch

arXiv · 1311.5217

Representation theory of Mackey Lie algebras and their dense subalgebras

Abstract

In this article we review the main results of the earlier papers [I. Penkov, K. Styrkas, Tensor representations of infinite-dimensional root-reductive Lie algebras, in Developments and Trends in Infinite-Dimensional Lie Theory, Progress in Mathematics 288, Birkh\"auser, 2011, pp. 127-150], [I. Penkov, V. Serganova, Categories of integrable $\mathfrak{sl}(\infty)$-, $\mathfrak{o}(\infty)$-, $\mathfrak{sp}(\infty)$-modules, in "Representation Theory and Mathematical Physics", Contemporary Mathematics 557 (2011), pp. 335-357] and [E. Dan-Cohen, I. Penkov, V. Serganova, A Koszul category of representations of finitary Lie algebras, preprint 2011, arXiv:1105.3407], and establish related new results in considerably greater generality. We introduce a class of infinite-dimensional Lie algebras $\mathfrak{g}^{M}$, which we call Mackey Lie algebras, and define monoidal categories $\mathbb{T}_{\mathfrak{g}^M}$ of tensor $\mathfrak{g}^M-$modules. We also consider dense subalgebras $\mathfrak{a} \subset \mathfrak{g}^M$ and corresponding categories $\mathbb{T}_\mathfrak{a}$. The locally finite Lie algebras $\mathfrak{sl}(V,W), \mathfrak{o}(V), \mathfrak{sp}(V)$ are dense subalgebras of respective Mackey Lie algebras. Our main result is that if $\mathfrak{g}^M$ is a Mackey Lie algebra and $\mathfrak{a} \subset \mathfrak{g}^M$ is a dense subalgebra, then the monoidal category $\mathbb{T}_\mathfrak{a}$ is equivalent to $\mathbb{T}_{\mathfrak{sl}(\infty)}$ or $\mathbb{T}_{\mathfrak{o}(\infty)}$; the latter monoidal categories have been studied in detail in [E. Dan-Cohen, I. Penkov, V. Serganova, A Koszul category of representations of finitary Lie algebras, preprint 2011, arXiv:1105.3407]. A possible choice of $\mathfrak{a}$ is the well-known Lie algebra of generalized Jacobi matrices.

Explore related subjects

Keep this discovery

BibTeXRIS

Ivan Penkov, Vera Serganova. 2013-11-20. Representation theory of Mackey Lie algebras and their dense subalgebras. https://arxiv.org/abs/1311.5217

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