arXiv subjects
Publications and source records attributed to Ivan Penkov.
We prove a general existence result for infinite-dimensional admissible (g;k)-modules, where g is a reductive finite-dimensional complex Lie algebra and k is a reductive in g algebraic subalgebra.
We present an algorithm which computes the annihilator in ${\rm U}(\frak{sl}(\infty))$ of any simple highest weight $\frak{sl}(\infty)$-module $L_\frak b(λ)$. This algorithm is based on an infinite version of the Robinson-Schensted algorithm.
Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$. We study a monoidal category $\mathbb{T}_α$ which is universal among all symmetric $\mathbb{K}$-linear monoidal categories generated by two objects $A$ and $B$ such that $A$ has a, possibly transfinite, filtration. We construct $\mathbb{T}_α$ as a category of representations of the Lie algebra $\mathfrak{gl}^M(V_*,V)$ consisting of endomorphisms of a fixed diagonalizable pairing $V_*\otimes V\to \mathbb{K}$ of vector spaces $V_*$ and $V$ of dimension $α$. Here $α$ is an arbitrary cardinal number. We describe explicitly the simple and the injective objects of $\mathbb{T}_α$ and prove that the category $\mathbb{T}_α$ is Koszul. We pay special attention to the case where the filtration on $A$ is finite. In this case $α=\aleph_t$ for $t\in\mathbb{Z}_{\geq 0}$.
We provide an explicit description of the primitive ideals of the enveloping algebra $\operatorname{U}(\frak{sl}(\infty))$ of the infinite-dimensional finitary Lie algebra $\frak{sl}(\infty)$ over an uncountable algebraically closed field of characteristic 0. Our main new result is that any primitive ideal of $\operatorname{U}(\frak{sl}(\infty))$ is integrable. A classification of integrable primitive ideals of $\operatorname{U}(\frak{sl}(\infty))$ has been known previously, and relies on the pioneering work of A. Zhilinskii.
This is a review of results on the structure of the homogeneous ind-varieties $G/P$ of the ind-groups $G=\mathrm{GL}_{\infty}(\mathbb{C})$, $\mathrm{SL}_{\infty}(\mathbb{C})$, $\mathrm{SO}_{\infty}(\mathbb{C})$, $\mathrm{Sp}_{\infty}(\mathbb{C})$, subject to the condition that $G/P$ is a inductive limit of compact homogeneous spaces $G_n/P_n$. In this case the subgroup $P\subset G$ is a splitting parabolic subgroup of $G$, and the ind-variety $G/P$ admits a "flag realization". Instead of ordinary flags, one considers generalized flags which are, generally infinite, chains $\mathcal{C}$ of subspaces in the natural representation $V$ of $G$ which satisfy a certain condition: roughly speaking, for each nonzero vector $v$ of $V$ there must be a largest space in $\mathcal{C}$ which does not contain $v$, and a smallest space in $\mathcal{C}$ which contains $v$. We start with a review of the construction of the ind-varieties of generalized flags, and then show that these ind-varieties are homogeneous ind-spaces of the form $G/P$ for splitting parabolic ind-subgroups $P\subset G$. We also briefly review the characterization of more general, i.e. non-splitting, parabolic ind-subgroups in terms of generalized flags. In the special case of an ind-grassmannian $X$, we give a purely algebraic-geometric construction of $X$. Further topics discussed are the Bott--Borel--Weil Theorem for ind-varieties of generalized flags, finite-rank vector bundles on ind-varieties of generalized flags, the theory of Schubert decomposition of $G/P$ for arbitrary splitting parabolic ind-subgroups $P\subset G$, as well as the orbits of real forms on $G/P$ for $G=\mathrm{SL}_{\infty}(\mathbb{C})$.
We consider the complex ind-group $G=\mathrm{SL}(\infty,\mathbb{C})$ and its real forms $G^0=\mathrm{SU}(\infty,\infty)$, $\mathrm{SU}(p,\infty)$, $\mathrm{SL}(\infty,\mathbb{R})$, $\mathrm{SL}(\infty,\mathbb{H})$. Our main objects of study are the $G^0$-orbits on an ind-variety $G/P$ for an arbitrary splitting parabolic ind-subgroup $P\subset G$. We prove that the intersection of any $G^0$-orbit on $G/P$ with a finite-dimensional flag variety $G_n/P_n$ from a given exhaustion of $G/P$ via $G_n/P_n$ for $n\to\infty$, is a single $(G^0\cap G_n)$-orbit. We also characterize all ind-varieties $G/P$ on which there are finitely many $G^0$-orbits, and provide criteria for the existence of open and closed $G^0$-orbits on $G/P$ in the case of infinitely many $G^0$-orbits.
We extend Matsuki duality to arbitrary ind-varieties of maximal generalized flags, in other words, to any homogeneous ind-variety $\mathbf{G}/\mathbf{B}$ for a classical ind-group $\mathbf{G}$ and a splitting Borel ind-subgroup $\mathbf{B}\subset\mathbf{G}$. As a first step, we present an explicit combinatorial version of Matsuki duality in the finite-dimensional case, involving an explicit parametrization of $K$- and $G^0$-orbits on $G/B$. After proving Matsuki duality in the infinite-dimensional case, we give necessary and sufficient conditions on a Borel ind-subgroup $\mathbf{B}\subset\mathbf{G}$ for the existence of open and closed $\mathbf{K}$- and $\mathbf{G}^0$-orbits on $\mathbf{G}/\mathbf{B}$, where $\left(\mathbf{K},\mathbf{G}^0\right)$ is an aligned pair of a symmetric ind-subgroup $\mathbf{K}$ and a real form $\mathbf{G}^0$ of $\mathbf{G}$.
Let $G$ be a locally semisimple ind-group, $P$ be a parabolic subgroup, and $E$ be a finite-dimensional $P$-module. We show that, under a certain condition on $E$, the nonzero cohomologies of the homogeneous vector bundle $\mathcal{O}_{G/P}(E^*)$ on $G/P$ induced by the dual $P$-module $E^*$ decompose as direct sums of cohomologies of bundles of the form $\mathcal{O}_{G/P}(R)$ for (some) simple constituents $R$ of $E^*$. In the finite-dimensional case, this result is a consequence of the Bott-Borel-Weil theorem and Weyl's semisimplicity theorem. In the infinite-dimensional setting we consider, there is no relevant semisimplicity theorem. Instead, our results are based on the injectivity of the cohomologies of the bundles $\mathcal{O}_{G/P}(R)$.
We provide a review of results on two-sided ideals in the enveloping algebra U$(\frak g(\infty))$ of a locally simple Lie algebra $\frak g(\infty)$. We pay special attention to the case when $\frak g(\infty)$ is one of the finitary Lie algebras $\frak{sl}(\infty), \frak o(\infty), \frak{sp}(\infty)$. The main results include a description of all integrable ideals in U$(\frak g(\infty))$, as well as a criterion for the annihilator of an arbitrary (not necessarily integrable) simple highest weight module to be nonzero. This criterion is new for $\frak g(\infty)=\frak o(\infty), \frak{sp}(\infty)$. All annihilators of simple highest weight modules are integrable ideals for $\frak g(\infty)=\frak{sl}(\infty), \frak o(\infty)$. Finally, we prove that the lattices of ideals in U$(\frak o(\infty))$ and U$(\frak{sp}(\infty))$ are isomorphic.
Let $\mathfrak{g}$ be a complex finite-dimensional semisimple Lie algebra and $\mathfrak{k}$ be any $\mathrm{sl}(2)$-subalgebra of $\mathfrak{g}$. In this paper we prove an earlier conjecture by Penkov and Zuckerman claiming that the first derived Zuckerman functor provides an equivalence between a truncation of a thick parabolic category $\mathcal{O}$ for $\mathfrak{g}$ and a truncation of the category of admissible $(\mathfrak{g}, \mathfrak{k})-$modules. This latter truncated category consists of admissible $(\mathfrak{g}, \mathfrak{k})-$modules with sufficiently large minimal $\mathfrak{k}$-type. We construct an explicit functor inverse to the Zuckerman functor in this setting. As a corollary we obtain an estimate for the global injective dimension of the inductive completion of the truncated category of admissible $(\mathfrak{g}, \mathfrak{k})-$modules.
We introduce (partially) ordered Grothendieck categories and apply results on their structure to the study of categories of representations of the Mackey Lie algebra of infinite matrices $\mathfrak{gl}^M\left(V,V_*\right)$. Here $\mathfrak{gl}^M\left(V,V_*\right)$ is the Lie algebra of endomorphisms of a nondegenerate pairing of countably infinite-dimensional vector spaces $V_*\otimes V\to\mathbb{K}$, where $\mathbb{K}$ is the base field. Tensor representations of $\mathfrak{gl}^M\left(V,V_*\right)$ are defined as arbitrary subquotients of finite direct sums of tensor products $(V^*)^{\otimes m}\otimes (V_*)^{\otimes n}\otimes V^{\otimes p}$ where $V^*$ denotes the algebraic dual of $V$. The category $\mathbb{T}^3_{\mathfrak{gl}^M\left(V,V_*\right)}$ which they comprise, extends a category $\mathbb{T}_{\mathfrak{gl}^M\left(V,V_*\right)}$ previously studied in [4, 12,17], and our main result is that $\mathbb{T}^3_{\mathfrak{gl}^M\left(V,V_*\right)}$ is a finite-length, Koszul self-dual, tensor category with a certain universal property that makes it into a "categorified algebra" defined by means of a handful of generators and relations. This result uses essentially the general properties of ordered Grothendieck categories, which yield also simpler proofs of some facts about the category $\mathbb{T}_{\mathfrak{gl}^M\left(V,V_*\right)}$ established in [12]. Finally, we discuss the extension of $\mathbb{T}^3_{\mathfrak{gl}^M\left(V,V_*\right)}$ by the algebraic dual $(V_*)^*$ of $V_*$.
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äuser, 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.
Let $\mathbf{G}$ be one of the ind-groups $GL(\infty)$, $O(\infty)$, $Sp(\infty)$ and $\mathbf{P}\subset \mathbf{G}$ be a splitting parabolic ind-subgroup. The ind-variety $\mathbf{G}/\mathbf{P}$ has been identified with an ind-variety of generalized flags in the paper "Ind-varieties of generalized flags as homogeneous spaces for classical ind-groups" (Int. Math. Res. Not. 2004, no. 55, 2935--2953) by I. Dimitrov and I. Penkov. In the present paper we define a Schubert cell on $\mathbf{G}/\mathbf{P}$ as a $\mathbf{B}$-orbit on $\mathbf{G}/\mathbf{P}$, where $\mathbf{B}$ is any Borel ind-subgroup of $\mathbf{G}$ which intersects $\mathbf{P}$ in a maximal ind-torus. A significant difference with the finite-dimensional case is that in general $\mathbf{B}$ is not conjugate to an ind-subgroup of $\mathbf{P}$, whence $\mathbf{G}/\mathbf{P}$ admits many non-conjugate Schubert decompositions. We study the basic properties of the Schubert cells, proving in particular that they are usual finite-dimensional cells or are isomorphic to affine ind-spaces. We then define Schubert ind-varieties as closures of Schubert cells and study the smoothness of Schubert ind-varieties. Our approach to Schubert ind-varieties differs from an earlier approach by H. Salmasian in "Direct limits of Schubert varieties and global sections of line bundles" (J. Algebra 320 (2008), 3187--3198).
We study the center of $U(\mathfrak{n})$, where $\mathfrak{n}$ is the locally nilpotent radical of a splitting Borel subalgebra of a simple complex Lie algebra $\mathfrak{g}=\mathfrak{sl}_{\infty}(\mathbb{C})$, $\mathfrak{so}_{\infty}(\mathbb{C})$, $\mathfrak{sp}_{\infty}(\mathbb{C})$. There are infinitely many isomorphism classes of Lie algebras $\mathfrak{n}$, and we provide explicit generators of the center of $U(\mathfrak{n})$ in all cases. We then fix $\mathfrak{n}$ with "largest possible" center of $U(\mathfrak{n})$ and characterize the centrally generated primitive ideals of $U(\mathfrak{n})$ for $\mathfrak{g}=\mathfrak{sl}_{\infty}(\mathbb{C})$, $\mathfrak{sp}_{\infty}(\mathbb{C})$ in terms of the above generators. As a preliminary result, we provide a characterization of the centrally generated primitive ideals in the enveloping algebra of the nilradical of a Borel subalgebra of $\mathfrak{sl}_n(\mathbb{C})$, $\mathfrak{sp}_{2n}(\mathbb{C})$.
In recent years different aspects of categorification of the boson-fermion correspondence have been studied. In this paper we propose a categorification of the boson-fermion correspondence based on the category of tensor modules of the Lie algebra $sl(\infty)$ of finitary infinite matrices. By $\mathbb T^+$ we denote the category of "polynomial" tensor $sl(\infty)$-modules. There is a natural "creation" functor $\mathcal T_N: \mathbb T^+\to \mathbb T^+$, $M\mapsto N\otimes M,\quad M,N\in \mathbb T^+$. The key idea of the paper is to employ the entire category $\mathbb T$ of tensor $sl(\infty)$-modules in order to define the "annihilation" functor $\mathcal D_N: \mathbb T^+\to \mathbb T^+$ corresponding to $\mathcal T_N$. We show that the relations allowing to express fermions via bosons arise from relations in the cohomology of complexes of linear endofunctors on $\mathbb T^+$.
The Barth-Van de Ven-Tyurin-Sato Theorem claims that any finite rank vector bundle on the infinite complex projective space $\mathbf{P}^\infty$ is isomorphic to a direct sum of line bundles. We establish sufficient conditions on a locally complete linear ind-variety $\mathbf{X}$ which ensure that the same result holds on $\mathbf{X}$. We then exhibit natural classes of locally complete linear ind-varieties which satisfy these sufficient conditions. Keywords: ind-variety, vector bundle
We consider ind-varieties obtained as direct limits of chains of embeddings $X_1\stackrel{ϕ_1}{\hookrightarrow}\dots\stackrel{ϕ_{m-1}}{\hookrightarrow} X_m\stackrel{ϕ_m}{\hookrightarrow}X_{m+1}\stackrel{ϕ_{m+1}}{\hookrightarrow}\dots$, where each $X_m$ is a Grassmannian or an isotropic Grassmannian (possibly mixing Grassmannians and isotropic Grassmannians), and the embeddings $ϕ_m$ are linear in the sense that they induce isomorphisms of Picard groups. We prove that any such ind-variety is isomorphic to one of certain standard ind-Grassmannians and that the latter are pairwise non-isomorphic ind-varieties.
This paper is a review of results on generalized Harish-Chandra modules in the framework of cohomological induction. The main results, obtained during the last 10 years, concern the structure of the fundamental series of $(\mathfrak{g},\mathfrak{k})-$modules, where $\mathfrak{g}$ is a semisimple Lie algebra and $\mathfrak{k}$ is an arbitrary algebraic reductive in $\mathfrak{g}$ subalgebra. These results lead to a classification of simple $(\mathfrak{g},\mathfrak{k})-$modules of finite type with generic minimal $\mathfrak{k}-$types, which we state. We establish a new result about the Fernando-Kac subalgebra of a fundamental series module. In addition, we pay special attention to the case when $\mathfrak{k}$ is an eligible $r-$subalgebra (see the definition in section 4) in which we prove stronger versions of our main results. If $\mathfrak{k}$ is eligible, the fundamental series of $(\mathfrak{g},\mathfrak{k})-$modules yields a natural algebraic generalization of Harish-Chandra's discrete series modules.