We study the structure of bounded simple weight $\mathfrak{sl}(\infty)$-, $\mathfrak{o}(\infty)$-, $\mathfrak{sp}(\infty)$-modules, which have been recently classified in [6]. Given a splitting parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(\infty)$, we introduce the concepts of $\mathfrak{p}$-aligned and pseudo $\mathfrak{p}$-aligned $\mathfrak{sl}(\infty)$-, $\mathfrak{o}(\infty)$-, $\mathfrak{sp}(\infty)$-modules, and give necessary and sufficient conditions for bounded simple weight modules to be $\mathfrak{p}$-aligned or pseudo $\mathfrak{p}$-aligned. The existence of pseudo $\mathfrak{p}$-aligned modules is a consequence of the fact that the Lie algebras considered have infinite rank.
We classify the simple bounded weight modules of ${\mathfrak{sl}(\infty})$, ${\mathfrak{o}(\infty)}$ and ${\mathfrak{sp}(\infty)}$, and compute their annihilators in $U({\mathfrak{sl}(\infty}))$, $U({\mathfrak{o}(\infty))}$, $U({\mathfrak{sp}(\infty))}$, respectively.
The purpose of this Ph.D. thesis is to study and classify primitive ideals of the enveloping algebras $U(\mathfrak{o}(\infty))$ and $U(\mathfrak{sp}(\infty))$. Let $\mathfrak{g}(\infty)$ denote any of the Lie algebras $\mathfrak{o}(\infty)$ or $\mathfrak{sp}(\infty)$. Then\break $\mathfrak{g}(\infty)=\bigcup_{n\geq 2} \mathfrak{g}(2n)$ for $\mathfrak{g}(2n)=\mathfrak{o}(2n)$ or $\mathfrak{g}(2n)=\mathfrak{sp}(2n)$, respectively. We show that each primitive ideal $I$ of $U(\mathfrak{g}(\infty))$ is weakly bounded, i.e., $I\cap U(\mathfrak{g}(2n))$ equals the intersection of annihilators of boun…
We study a category of modules over $\mathfrak{gl}(\infty)$ analogous to category $\mathcal O$. We fix adequate Cartan, Borel and Levi-type subalgebras $\mathfrak h, \mathfrak b$ and $\mathfrak l$ with $\mathfrak l \cong \mathfrak{gl}(\infty)^n$, and define $\mathcal O_{\mathsf{LA}}^{\mathfrak l}{\mathfrak{gl}(\infty)}$ to be the category of $\mathfrak h$-semisimple, $\mathfrak n$-nilpotent modules that satisfy a large annihilator condition as $\mathfrak l$-modules. Our main result is that these are highest weight categories in the sense of Cline, Parshall and Scott. We compute the simple mult…
We classify simple bounded weight modules over the complex simple Lie superalgebras $\mathfrak{sl}(\infty |\infty)$ and $\mathfrak{osp} (m | 2n)$, when at least one of $m$ and $n$ equals $\infty$. For $\mathfrak{osp} (m | 2n)$ such modules are of spinor-oscillator type, i.e., they combine into one the known classes of spinor $\mathfrak{o} (m)$-modules and oscillator-type $\mathfrak{sp} (2n)$-modules. In addition, we characterize the category of bounded weight modules over $\mathfrak{osp} (m | 2n)$ (under the assumption $\dim \, \mathfrak{osp} (m | 2n) = \infty$) by reducing its study to alread…
Let $\mathfrak{g}=\mathfrak{sl}(\infty)$. We compute the annihilators of a class of simple integrable weight $\mathfrak{g}$-modules with finite-dimensional weight spaces. It is a claim of I. Dimitrov, that this class exhausts all simple integrable weight $\mathfrak{g}$-modules with finite-dimensional weight spaces. The main feature of interest is that Dimitrov's class of modules contains non highest weight modules. Here we provide another construction for these modules, which allows to apply results of [PP18] to compute such annihilators.
We revisit a recent paper of Fialowski and Iohara. They compute the homology of the Lie algebra $\mathfrak{gl}(\infty,R)$ for $R$ an associative unital algebra over a field of characteristic zero. We explain how to obtain essentially the same results by a completely different method.
Let $\overline{\mathfrak{S}}_\infty$ denote the set of all bijections of natural numbers. Consider the action of $\overline{\mathfrak{S}}_\infty$ on a measure space $\left( X,\mathfrak{M},μ\right)$, where $μ$ is $\overline{\mathfrak{S}}_\infty$-quasi-invariant measure. We prove that there exists $\overline{\mathfrak{S}}_\infty$-invariant measure equivalent to $μ$.
We introduce a symmetric monoidal category of modules over the direct limit queer superalgebra $\q (\infty)$. The category can be defined in two equivalent ways with the aid of the large annihilator condition. Tensor products of copies of the natural and the conatural representations are injective objects in this category. We obtain the socle filtrations and formulas for the tensor products of the indecoposable injectives. In addition, it is proven that the category is Koszul self-dual.
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 \cite{CP} is that all objects of our category satisfy the large annihilator condition introduced in \cite{DPS}. Despite the fact that the splitting Borel subalgebras $\fb$ of $\fg$ are not conjugate, one can eliminate the dependency on the choice of $\fb$ and introduce a universal highest weight category $\mathcal {OLA}$ of $\fg$-modules, the letters $\mathc…
The purpose of my Ph.D. research is to define and study an analogue of the classical Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the Lie algebra $\mathfrak{g}$, where $\mathfrak{g}$ is one of the finitary, infinite-dimensional Lie algebras $\mathfrak{gl}_\infty(\mathbb{K})$, $\mathfrak{sl}_\infty(\mathbb{K})$, $\mathfrak{so}_\infty(\mathbb{K})$, and $\mathfrak{sp}_\infty(\mathbb{K})$. Here, $\mathbb{K}$ is an algebraically closed field of characteristic $0$. We call these categories "extended categories $\mathcal{O}$" and use the notation $\bar{\mathcal{O}}$. While the categorie…
We explore the (noncommutative) geometry of locally simple representations of the diagonal locally finite Lie algebras $\mathfrak{sl}(n^\infty)$, $\mathfrak o(n^\infty)$, and $\mathfrak{sp}(n^\infty)$. Let $\mathfrak g_\infty$ be one of these Lie algebras, and let $I \subseteq U(\mathfrak g_\infty)$ be the nonzero annihilator of a locally simple $\mathfrak g_\infty$-module. We show that for each such $I$, there is a quiver $Q$ so that locally simple $\mathfrak g_\infty$-modules with annihilator $I$ are parameterised by "points" in the "noncommutative space" corresponding to the path algebra of…
We present an extension of the trace of a vertex operator and explain a representation-theoretic interpretation of the trace. Specifically, we consider a twist of the vertex operator with infinitely many Casimir operators and compute its trace as a character formula. To do this, we define the Fock space of infinite level $\mathfrak{F}^{\infty}$. Then, we prove a duality between $\mathfrak{gl}_{\infty}$ and $\mathfrak{a}_{\infty}=\widehat{\mathfrak{gl}}_{\infty}$ of Howe type, which provides a decomposition of $\mathfrak{F}^{\infty}$ into irreducible representations with joint highest weight ve…
Let $(G,G_1)$ be a symmetric pair of holomorphic type, and we consider a pair of Hermitian symmetric spaces $D_1=G_1/K_1\subset D=G/K$, realized as bounded symmetric domains in complex vector spaces $\mathfrak{p}^+_1\subset\mathfrak{p}^+$ respectively. Then the universal covering group $\widetilde{G}$ of $G$ acts unitarily on the weighted Bergman space $\mathcal{H}_λ(D)\subset\mathcal{O}(D)$ on $D$. Its restriction to the subgroup $\widetilde{G}_1$ decomposes discretely and multiplicity-freely, and its branching law is given explicitly by Hua-Kostant-Schmid-Kobayashi's formula in terms of the …
We introduce and study new categories T(g,k)of integrable sl(\infty)-modules which depend on the choice of a certain reductive subalgebra k in g=sl(\infty). The simple objects of these categories are tensor modules as in the previously studied category, however, the choice of k provides more flexibility of nonsimple modules. We then choose k to have two infinite-dimensional diagonal blocks, and show that a certain injective object K(m|n) in T(g,k) realizes a categorical sl(\infty)-action on the integral category O(m|n) of the Lie superalgebra gl(m|n). We show that the socle of K(m|n) is genera…
For integers $e,\ell\geq 2$, the level $\ell$ Fock space has an $\mathfrak{sl}_\infty$-crystal structure arising from the action of a Heisenberg algebra, intertwining the $\widehat{\mathfrak{sl}_e}$-crystal. The vertices of these crystals are charged $\ell$-partitions. We give the combinatorial rule for computing the arrows anywhere in the $\mathfrak{sl}_\infty$-crystal. This allows us to pinpoint the location of any charged $\ell$-partition. As an application, we compute the support of the spherical representation of a cyclotomic rational Cherednik algebra, and in particular, the set of param…
We develop a general framework for $c$-vectors of 2-Calabi--Yau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations. We prove a categorical (infinite-rank) generalization of the Nakanishi--Zelevinsky duality for $c$-vectors and establish two formulae for the effective computation of $c$-vectors -- one in terms of indices and the other in terms of dimension vectors for cluster tilted algebras. In this framework, we construct a correspondence betw…
Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence $\widehat{w}_0= \cdots s_{i_{-1}}s_{i_0}s_{i_1} \cdots$ of simple reflections, we introduce subcategories $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ of $\mathcal{C}_{\mathfrak{g}}^0$ for all $a \le b \in \mathbb{Z}\sqcup\{ \pm \infty \}$. Associated with a certain chain $\mathfrak{C}$ of intervals in $[a,b]$, we construct a real simple commuting family $M(\mathfrak{C}…
We classify all simple bounded highest weight modules of a basic classical Lie superalgebra $\mathfrak g$. In particular, our classification leads to the classification of the simple weight modules with finite weight multiplicities over all classical Lie superalgebras. We also obtain some character formulas of strongly typical bounded highest weight modules of $\mathfrak g$.
A new categorical crystal structure for the quantum affine algebras is presented. We introduce the extended crystal $\widehat{B}_{\mathfrak{g}}(\infty)$ for an arbitrary quantum group, which is the product of infinite copies of the crystal $B(\infty)$. For a complete duality datum in the Hernandez-Leclerc category $\mathcal{C}^0_{\mathfrak{g}}$ of a quantum affine algebra $U_q'(\mathfrak{g})$, we prove that the set of the isomorphism classes of simple modules in $\mathcal{C}^0_{\mathfrak{g}}$ has an extended crystal structure isomorphic to the extended crystal $\widehat{B}_{\mathfrak{g}}(\inft…
Given an algebraic Lie algebra $\mathfrak{g}$ over $\mathbb{C}$, we canonically associate to it a Lie algebra $\mathfrak{g}_{\infty}$ defined over $\mathbb{C}_{\infty}$-the reduction of $\mathbb{C}$ mod infinitely large prime, and show that for a class of Lie algebras $\mathfrak{g}_{\infty}$ is an invariant of the derived category of $\mathfrak{g}$-modules. We give two applications of this construction. First, we show that the bounded derived category of $\mathfrak{g}$-modules determines algebra $\mathfrak{g}$ for a class of Lie algebras. Second, given a semi-simple Lie algebra $\mathfrak{g}$ …
The Lie superalgebra $W(\infty)$ is defined to be the direct limit of the simple finite-dimensional Cartan type Lie superalgebras $W(n)$ as $n$ goes to infinity, where $W(n)$ denotes the Lie superalgebra of superderivations of the Grassmann algebra $Λ(n)$. The zeroth component of $W(\infty)$ in its natural $\mathbb{Z}$-grading is isomorphic to $\mathfrak{gl}(\infty)$. In this paper, we initiate the study of the representation theory of $W(\infty)$. We study $\mathbb{Z}$-graded $W(\infty)$-modules, and we introduce a category $\mathbb{T}_W$ that is closely related to the Koszul category $\mathb…
In this note we compute the homology of the Lie algebra $\mathfrak{gl}(\infty,R)$ where $R$ is an associative unital $k$-algebra which is used in higher dimensional soliton theory. When $k$ is a field of characteristic $0$, our result justifies an old result of Feigin and Tsygan appeared in 1983. The special case when $R=k$ is the complex number field $\mathbb{C}$ appeared first in soliton theory.
Motivated by recent developments of $\infty$-categorical theories related to differential graded (dg for short) Lie algebras, we develop a general framework for locally finite $\infty$-$\mathfrak{g}$-modules over a dg Lie algebra $\mathfrak{g}$. We show that the category of such locally finite $\infty$-$\mathfrak{g}$-modules is almost a model category in the sense of Vallette. As a homotopy theoretical generalization of Loday and Pirashvili's Lie algebra objects in the tensor category of linear maps, we further study weak Loday-Pirashvili modules consisting of $\infty$-morphisms from locally f…
Let $G_{\mathbb{R}}$ be a real reductive Lie group and $G'_{\mathbb{R}}$ a reductive subgroup of $G_{\mathbb{R}}$ such that $\mathfrak{g'}$ is algebraic in $\mathfrak{g}$. In this paper, we consider restrictions of irreducible representations of $G_{\mathbb{R}}$ to $G'_{\mathbb{R}}$ and induced representations of irreducible representations of $G'_{\mathbb{R}}$ to $G_{\mathbb{R}}$. Our main concern is when such a representation has uniformly bounded multiplicities, i.e. the multiplicities in the representation are (essentially) bounded. We give characterizations of the uniform boundedness by p…
We prove the longstanding physics conjecture that there exists a unique two-parameter $\mathcal{W}_{\infty}$-algebra which is freely generated of type $\mathcal{W}(2,3,\dots)$, and generated by the weights $2$ and $3$ fields. Subject to some mild constraints, all vertex algebras of type $\mathcal{W}(2,3,\dots, N)$ for some $N$ can be obtained as quotients of this universal algebra. As an application, we show that for $n\geq 3$, the structure constants for the principal $\mathcal{W}$-algebras $\mathcal{W}^k(\mathfrak{s}\mathfrak{l}_n, f_{\text{prin}})$ are rational functions of $k$ and $n$, and…
We consider the Whittaker modules $M_{1}(λ,μ)$ for the Weyl vertex algebra $M$, constructed in arXiv:1811.04649, where it was proved that these modules are irreducible for each finite cyclic orbifold $M^{\Bbb Z_n}$. In this paper, we consider the modules $M_{1}(λ,μ)$ as modules for the ${\Bbb Z}$-orbifold of $M$, denoted by $M^0$. $M^0$ is isomorphic to the vertex algebra $\mathcal W_{1+\infty, c=-1} = \mathcal M(2) \otimes M_1(1)$ which is the tensor product of the Heisenberg vertex algebra $M_1(1)$ and the singlet algebra $\mathcal M(2)$. Furthermore, these modules are also modules of the Li…
There is a natural map from a symmetric group $S_n$ to a smaller symmetric group $S_{n-1}$, we write a decomposition of a permutation into a product of disjoint cycles and remove the element $n$ from this expression. For this reason there exists the inverse limit $\mathfrak{S}$ of sets $S_n$. We equip $S_n$ with the uniform distribution (or more generally with an Ewens distribution) and get a structure of a measure space on $\mathfrak{S}$ (it is called 'virtual permutations' or 'Chinese restaurant process'), a double $S_\infty\times S_\infty $ of an infinite symmetric group acts on $\mathfrak{…
The crystal bases are quite useful combinatorial tools to study the representations of quantized universal enveloping algebras $U_q(\mathfrak{g})$. The polyhedral realization for $B(\infty)$ is a combinatorial description of the crystal base, which is defined as an image of embedding $Ψ_ι:B(\infty)\hookrightarrow \mathbb{Z}^{\infty}_ι$, where $ι$ is an infinite sequence of indices and $\mathbb{Z}^{\infty}_ι$ is an infinite $\mathbb{Z}$-lattice with a crystal structure associated with $ι$. It is a natural problem to find an explicit form of the polyhedral realization ${\rm Im}(Ψ_ι)$. In this ar…
