We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation $V$ of the affine Kac-Moody algebra $\g(E_9)$. We describe an elementary algorithm for determining the decomposition of the submodule of $\Vn$ whose irreducible direct summands have highest weights which are maximal with respect to the null-root. This decomposition is based on Littelmann's path algorithm and conforms with the uniform combinatorial behavior recently discovered by H. Wenzl for the series $E_N$, $N\not=9$.
The incidence category $\C_{\F}$ of a family $\F$ of colored posets closed under disjoint unions and the operation of taking convex sub-posets was introduced by the author in \cite{Sz}, where the Ringel-Hall algebra $\H_{\F}$ of $\C_{\F}$ was also defined. We show that if the Hasse diagrams underlying $\F$ are rooted trees, then the subspace $\n_{\F}$ of primitive elements of $\H_{\F}$ carries a pre-Lie structure, defined over $\mathbb{Z}$, and with positive structure constants. We give several examples of $\n_{\F}$, including the nilpotent subalgebras of $\mathfrak{sl}_n$, $L \mathfrak{gl}_n$…
Following analogous constructions for Lie algebras, we define Whittaker modules and Whittaker categories for finite-dimensional simple Lie superalgebras. Results include a decomposition of Whittaker categories for a Lie superalgebra according to the action of an appropriate sub-superalgebra; and, for basic classical Lie superalgebras of type I, a description of the strongly typical simple Whittaker modules.
Y. Palu has generalized the cluster multiplication formulas to 2-Calabi-Yau categories with cluster tilting objects (\cite{Palu2}). The aim of this note is to construct a variant of Y. Palu's formula and deduce a new version of the cluster multiplication formula (\cite{XiaoXu}) for acyclic quivers in the context of cluster categories.
We describe the framework for the notion of a restricted inverse limit of categories, with the main motivating example being the category of polynomial representations of the group $GL_{\infty}$. This category is also known as the category of strict polynomial functors of finite degree, and it is the restricted inverse limit of the categories of polynomial representations of $GL_n$. This note is meant to serve as a reference for future work.
We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category $\F$ such that the homotopy category of this model structure is equivalent to the stable category $\underline{\F}$ as triangulated categories.
We present a simplified and more intuitive proof of a theorem of Peng and Xiao, which constructs a Lie algebra from any 2-periodic triangulated k-category (satisfying some finiteness assumptions).
We show that the homotopy category of injective $A$-modules is generically trivial if and only if the derived category of all modules is generically trivial for an algebra $A$. Moreover we show some connections between the generic objects, locally finiteness and Krull-Gabriel dimension.
As a step towards the structure theory of Lie algebras in symmetric monoidal categories we establish results involving the Killing form. The proper categorical setting for discussing these issues are symmetric ribbon categories.
We study algebras defined by identities in symmetric monoidal categories. Our focus is on Lie algebras. Besides usual Lie algebras, there are examples appearing in the study of knot invariants and Rozansky-Witten invariants. Our main result is a proof of Westbury's conjecture for K3-surface: there exists a Lie algebra homomorphism from Vogel's universal simple Lie algebra to the Lie algebra describing the Rozansky-Witten invariants of a K3-surface. Most of the paper involves setting up a proper language to discuss the problem and we formulate nine open questions as we proceed.
There are various adjunctions between model (co-)slice and slice categories. We characterize when these adjunctions are Quillen equivalences. As an application, a triangle equivalence between the stable category of a Frobenius category and the homotopy category of a non-pointed model category is given.
We consider the universal pivotal, symmetric, monoidal, $\Bbbk$-linear category, generated by a Schurian object with a skew-symmetric multiplication, and study some of its quotients. We show that these quotients give rise to either vector product algebras or representation categories of exceptional Lie algebras.
In this paper, we use basic formal variable techniques to study certain categories of modules for the toroidal Lie algebra $τ$. More specifically, we define and study two categories $\mathcal{E}_τ$ and $\mathcal{C}_τ$ of $τ$-modules using generating functions, where $\mathcal{E}_τ$ is proved to contain the evaluation modules while $\mathcal{C}_τ$ contains certain restricted $τ$-modules, the evaluation modules, and their tensor product modules. Furthermore, we classify the irreducible integrable modules in categories $\mathcal{E}_τ$ and $\mathcal{C}_τ$.
Let $Λ= \left[\begin{array}{cc} A & 0 \\ M & B \end{array}\right] $ be an Artin algebra and $_BM_A$ a $B$-$A$-bimodule. We prove that there is a triangle equivalence $D_{sg}(Λ) \cong D_{sg}(A)\coprod D_{sg}(B)$ between the corresponding singularity categories if $_BM$ is semi-simple and $M_A$ is projective. As a result, we obtain a new method for describing the singularity categories of certain bounded quiver algebras.
In this article, we investigate the category $\mathcal{A}^G$ of equivariant objects of an additive category $\mathcal{A}$ with respect to an action of a finite group $G$. We show that if $G$ is solvable then we can reconstruct $\mathcal{A}$ from $\mathcal{A}^G$ via a finite sequence of equivariantization. We also consider the possibility of a triangulated structure on $\mathcal{A}^G$ canonical in certain sense when $\mathcal{A}$ is triangulated and give several instances in which $\mathcal{A}^G$ is indeed canonically triangulated.
Contragredient Lie algebras in symmetric categories
FaMAF-CIEM (CONICET), Universidad Nacional de Córdoba（科尔多瓦国立大学）；Department of Mathematics, Indiana University（印第安纳大学）；Department of Mathematics, University of Washington（华盛顿大学）
We classify integrable irreducible $\hat{g}[σ]$-modules in categories E and C, where E is proved to contain the well known evaluation modules and C to unify highest weight modules, evaluation modules and their tensor product modules.
Let C be a triangulated category with a Serre functor S and X a non-zero contravariantly finite rigid subcategory of C. Then X is cluster tilting if and only if the quotient category C/X is abelian and S(X)=X[2]. As an application, this result generalizes work by Beligiannis.
Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. We study the category $\bar{\mathcal{O}}$ consisting of all $\mathfrak{h}$-weight $\mathfrak{g}$-modules which are locally $\mathfrak{b}$-finite and have finite-dimensional $\mathfrak{h}$-weight spaces. The focus is on very special Borel subalgebras called the Dynkin Borel subalgebras. This paper serves as an initial passage to the understanding of categories $\ma…
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 review briefly the existing vertex-operator-algebraic constructions of various tensor category structures on module categories for affine Lie algebras. We discuss the results first conjectured in the work of Moore and Seiberg that led us to the construction of the modular tensor category structure in the positive integral level case. Then we review the existing constructions and results in the following three cases: (i) the level plus the dual Coxeter number is not a nonnegative rational number, (ii) the level is a positive integer and (iii) the level is an admissible number. We also presen…
This is the second paper of a series of papers on a version of categories $\mathcal{O}$ for root-reductive Lie algebras. Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. For some pairs of blocks $\overline{\mathcal{O}}[λ]$ and $\overline{\mathcal{O}}[μ]$, the subcategories whose objects have finite length are equivalence via functors obtained by the direct limits of translation functors. Tilting objects can also…
For a finite-dimensional simple Lie algebra $\mathfrak{g}$, we use the vertex tensor category theory of Huang and Lepowsky to identify the category of standard modules for the affine Lie algebra $\hat{\mathfrak{g}}$ at a fixed level $\ell\in\mathbb{N}$ with a certain tensor category of finite-dimensional $\mathfrak{g}$-modules. More precisely, the category of level $\ell$ standard $\hat{\mathfrak{g}}$-modules is the module category for the simple vertex operator algebra $L_{\hat{\mathfrak{g}}}(\ell,0)$, and as is well known, this category is equivalent as an abelian category to $\mathbf{D}(\ma…
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 th…
This text is a continuation to "Notes sur l'indice des algèbres de Lie (I)", math.RT/0605499 ----- Ce texte est une suite à : "Notes sur l'indice des algèbres de Lie (I)".
The Witt group of nondegenerate braided fusion categories $\mathcal{W}$ contains a subgroup $\mathcal{W}_\text{un}$ consisting of Witt equivalence classes of pseudo-unitary nondegenerate braided fusion categories. For each finite-dimensional simple Lie algebra $\mathfrak{g}$ and positive integer $k$ there exists a pseudo-unitary category $\mathcal{C}(\mathfrak{g},k)$ consisting of highest weight integerable $\hat{g}$-modules of level $k$ where $\hat{\mathfrak{g}}$ is the corresponding affine Lie algebra. Relations between the classes $[\mathcal{C}(\mathfrak{sl}_2,k)]$, $k\geq1$ have been compl…
We construct quasi-particle bases of principal subspaces of standard modules $L(Λ)$, where $Λ=k_0Λ_0+k_jΛ_j$, and $Λ_j$ denotes the fundamental weight of affine Lie algebras of type $B_l^{(1)}$, $C_l^{(1)}$, $F_4^{(1)}$ or $G_2^{(1)}$ of level one. From the given bases we find characters of principal subspaces.
We prove that the categories of smooth and analytic unitary representations of Banach--Lie supergroups are well-behaved under restriction functors, in the sense that the restriction of a representation to an integral subsupergroup is well-defined. We also prove that the category of analytic representations is isomorphic to a subcategory of the category of smooth representations. These facts are needed as a crucial first step to a rigorous treatment of the analytic theory of unitary representations of Banach--Lie supergroups. They extend the known results for finite dimensional Lie supergroups.…
Using tensor categories, we present new constructions of several of the exceptional simple Lie superalgebras with integer Cartan matrix in characteristic $p = 3$ and $p = 5$ from the complete classification of modular Lie superalgebras with indecomposable Cartan matrix and their simple subquotients over algebraically closed fields by Bouarroudj, Grozman, and Leites in 2009. Specifically, let $\mathbfα_p$ denote the kernel of the Frobenius endomorphism on the additive group scheme $\mathbb{G}_a$ over an algebraically closed field of characteristic $p$. The Verlinde category $\mathrm{Ver}_p$ is …
Let $Λ_Q$ be the preprojective algebra of a finite acyclic quiver $Q$ of non-Dynkin type and $D^b(\mathrm{rep}^n Λ_Q)$ be the bounded derived category of finite dimensional nilpotent $Λ_Q$-modules. We define spherical twist functors over the root category $\mathcal{R}_{Λ_Q}$ of $D^b(\mathrm{rep}^n Λ_Q)$ and then realize the Weyl group associated to $Q$ as certain subquotient of the automorphism group of the Ringel-Hall Lie algebra $\mathfrak{g}(\mathcal{R}_{Λ_Q})$ of $\mathcal{R}_{Λ_Q}$ induced by spherical twist functors. We also present a conjectural relation between certain Lie subalgebras …
These are the notes of some lectures given by the author for a workshop held at TIFR, Mumbai in December, 2011, giving an exposition of the Deligne-Lusztig theory.
We provide an algorithm for decomposing a finite-dimensional Lie algebra over a field of characteristic 0 permitting to generalize the derivation tower theorem for Lie algebras, is proved by E. Schenkman \cite{Sc}.
We show that, for an arbitrary quasi-reductive Lie superalgebra with a triangular decomposition and a character $ζ$ of the nilpotent radical, the associated Backelin functor $Γ_ζ$ sends Verma modules to standard Whittaker modules provided the latter exist. As a consequence, this gives a complete solution to the problem of determining the composition factors of the standard Whittaker modules in terms of composition factors of Verma modules in the category $\mathcal O$. In the case of the ortho-symplectic Lie superalgebras, we show that the Backelin functor $Γ_ζ$ and its target category, respect…
We exhibit explicit orthogonal decompositions of every multidimensional restricted root space of a real semi-simple Lie algebra. We then show a link between this result and a radiality property of smooth functions on G-homogeneous spaces when G is a real semi-simple Lie group.
This note presents a general theorem about the cohomology of finite dimensional Lie algebras of arbitrary characteristic. As an application we compute the cohomology of the Borel subalgebra of sl(N).
We study stabilization of finite-dimensional representations of the periplectic Lie superalgebras $\mathfrak{p}(n)$ as $n \to \infty$. The paper gives a construction of the tensor category $Rep(\underline{P})$, possessing nice universal properties among tensor categories over the category $\mathtt{sVect}$ of finite-dimensional complex vector superspaces. First, it is the "abelian envelope" of the Deligne category corresponding to the periplectic Lie superalgebra, in the sense of arXiv:1511.07699. Secondly, given a tensor category $\mathcal{C}$ over $\mathtt{sVect}$, exact tensor functors $Rep(…
Let $X$ be a smooth compact connected manifold. Let $G=\mbox{Diff}\, X$ be the group of diffeomorphisms of $X$, equipped with the $C^\infty$-topology, and let $H$ be the stabilizer of some point in $X$. Then the inclusion $H\to G$, which is a morphism of two regular Fréchet--Lie groups, is an epimorphism in the category of smooth Lie groups modelled on complete locally convex spaces. At the same time, in the latter category, epimorphisms between finite dimensional Lie groups have dense range. We also prove that if $G$ is a Banach--Lie group and $H$ is a proper closed subgroup, the inclusion $H…
In this short note, we study the rank of a restricted Lie algebra $(\mathfrak{g},[p])$ and give some applications, which concerns the dimensions of non-trivial irreducible modules. We also compute the rank of the restricted contact algebra $K(n)$.
For any finite-dimensional algebra $A$ over a field $k$ with finite global dimension, we investigate the root category $\cR_A$ as the triangulated hull of the 2-periodic orbit category of $A$ via the construction of B. Keller in "On triangulated orbit categories". This is motivated by Ringel-Hall Lie algebras associated to 2-periodic triangulated categories. As an application, we study the Ringel-Hall Lie algebras for a class of finite-dimensional $k$-algebras with global dimension 2, which turn out to give an alternative answer for a question of GIM Lie algebras by Slodowy in "Beyond Kac-Mood…
Recently, Paiva and Teixeira (arXiv:1108.4396) showed that the structure constants of a Lie algebra are the solution of a system of linear equations provided a certain subset of the structure constants are given a-priori. Here it is noted that Lie algebras generated in this way are solvable and their derived subalgebras are Abelian if the system of linear equations considered by Paiva and Teixeira is not degenerate. An efficient numerical algorithm for the calculation of their structure constants is described.
In this note, we will prove that a finite dimensional Lie algebra $L$ of characteristic zero, admitting an abelian algebra of derivations $D\leq Der(L)$ with the property $$ L^n\subseteq \sum_{d\in D}d(L) $$ for some $n\geq 1$, is necessarily solvable. As a result, if $L$ has a derivation $d:L\to L$, such that $L^n\subseteq d(L)$, for some $n\geq 1$, then $L$ is solvable.
A semisimple algebraic tensor category over an algebraically closed field k of characteristic zero is the representation category of all finite dimensional twisted super representations of an affine reductive supergroup G over k. Such a supergroup is reductive if and only if its connected component is reductive. The connected component is reductive if and only if the Lie superalgebra divided by its center is a product of simple Lie algebras of classical type and Lie superalgebras spo(1,2r) of the orthosymplectic types BC_r.
In this paper, we introduce super Weyl groups, their distinguished elements and properties for basic classical Lie superalgebras. Then we formulate Jantzen filtration for baby Verma modules in graded restricted module categories of basic classical Lie superalgebras over an algebraically closed field of odd characteristic, and prove a sum formula in the corresponding Grothendieck groups. We finally obtain a strong linkage principle in such categories.
We begin the study of a tilting theory in certain truncated categories of modules $\mathcal G(Γ)$ for the current Lie algebra associated to a finite-dimensional complex simple Lie algebra, where $Γ= P^+ \times J$, $J$ is an interval in $\mathbb Z$, and $P^+$ is the set of dominant integral weights of the simple Lie algebra. We use this to put a tilting theory on the category $\mathcal G(Γ')$ where $Γ' = P' \times J$, where $P'\subseteq P^+$ is saturated. Under certain natural conditions on $Γ'$, we note that $\mathcal G(Γ')$ admits full tilting modules.
This article contains: - Proofs of certain results recently obtained by D. Panyushev. - An addendum to the "inequality of Panyushev". - Calculations of indexes of certain contracted Lie algebras. - Examples of additivity of the index of Lie algebras. ----- On trouvera dans ce papier : - Des démonstrations de certains des résultats obtenus récemment par D. Panyushev. - Un complément portant sur "l'inégalité de Panyushev''. - Des calculs d'indices de certaines contractées d'algèbres de Lie. - Des exemples d'additivité de l'indice des algèbres de Lie.
