We give a characterization of the Dynkin elements of a simple Lie algebra. Namely, we prove that one-half of a Dynkin element is the unique point of minimal length in its N-region. In type A_n this translates into a statement about the regions determined by the canonical left Kazhdan-Lusztig cells. Some possible generalizations are explored in the last section.
This paper studies silted algebras, namely, endomorphism algebras of 2-term silting complexes, over path algebras of Dynkin quivers. We will describe an algorithm to produce all basic 2-term silting complexes over the path algebra of a Dynkin quiver, and use this algorithm to compute some examples.
In this paper we study gradings on simple Lie algebras arising from nilpotent elements. Specifically, we investigate abelian subalgebras which are degree 1 homogeneous with respect to these gradings. We show that for each odd nilpotent element there always exists canonically associated "strictly" odd nilpotent element, which allows us to reduce our investigations to the latter.
Let D(e) denote the weighted Dynkin diagram of a nilpotent element $e$ in complex simple Lie algebra $\g$. We say that D(e) is divisible if D(e)/2 is again a weighted Dynkin diagram. (That is, a necessary condition for divisibility is that $e$ is even.) The corresponding pair of nilpotent orbits is said to be friendly. In this note, we classify the friendly pairs and describe some of their properties. We also observe that any subalgebra sl(3) in $\g$ determines a friendly pair. Such pairs are called A2-pairs. It turns out that the centraliser of the lower orbit in an A2-pair has some remarkabl…
We introduce and study the twisted adapted $r$-cluster point and its combinatorial Auslander-Reiten quivers, called twisted AR-quivers and folded AR-quivers, of type $A_{2n+1}$ which are closely related to twisted Coxeter elements and the non-trivial Dynkin diagram automorphism. As applications of the study, we prove that folded AR-quivers encode crucial information on the representation theory of quantum affine algebra $U_q'(B^{(1)}_{n+1})$ such as Dorey's rule and denominator formulas.
As a continuation of the previous paper, we find a combinatorial interpretation of Dorey's rule for type $C_n$ via twisted Auslander-Reiten quivers (AR-quivers) of type $D_{n+1}$, which are combinatorial AR-quivers related to certain Dynkin diagram automorphisms. Combinatorial properties of twisted AR-quivers are useful to understand not only Dorey's rule but also other notions in the representation theory of the quantum affine algebra $U_q'(C_n^{(1)})$ such as denominator formulas. In addition, unlike twisted adapted classes of type $A_{2n-1}$ in the previous paper, we show twisted AR-quivers…
Consider a simple Lie algebra $\mathfrak{g}$ and $\overline{\mathfrak{g}}% \subset \mathfrak{g}$ a Levi subalgebra. Two irreducible $\overline{% \mathfrak{g}}$-modules yield isomorphic inductions to $\mathfrak{g}$ when their highest weights coincide up to conjugation by an element of the Weyl group $W$ of $\mathfrak{g}$ which is also a Dynkin diagram automorphism of $% \overline{\mathfrak{g}}$. In this paper we study the converse problem: given two irreducible $\overline{\mathfrak{g}}$-modules of highest weight $μ$ and $ν$ whose inductions to $\mathfrak{g}$ are isomorphic, can we conclude that…
In this paper, we study two-term tilting complexes for preprojective algebras of non-Dynkin type. We show that there exist two families of two-term tilting complexes, which are respectively parameterized by the elements of the corresponding Coxeter group. Moreover, we provide the complete classification in the case of affine type by showing that any two-term silting complex belongs one of them. For this purpose, we also discuss the Krull-Schmidt property for the homotopy category of finitely generated projective modules over a complete ring.
The famous pentagon identity for quantum dilogarithms has a generalization for every Dynkin quiver, due to Reineke. A more advanced generalization is associated with a pair of alternating Dynkin quivers, due to Keller. The description and proof of Keller's identities involves cluster algebras and cluster categories, and the statement of the identity is implicit. In this paper we describe Keller's identities explicitly, and prove them by a dimension counting argument. Namely, we consider quiver representations $\boldsymbol{\mathrm{Rep}}_γ$ together with a superpotential function $W_γ$, and calc…
We study support $τ$-tilting modules over preprojective algebras of Dynkin type. We classify basic support $τ$-tilting modules by giving a bijection with elements in the corresponding Weyl groups. Moreover we show that they are in bijection with the set of torsion classes, the set of torsion-free classes and other important objects in representation theory. We also study $g$-matrices of support $τ$-tilting modules, which show terms of minimal projective presentations of indecomposable direct summands. We give an explicit description of $g$-matrices and prove that cones given by $g$-matrices co…
Let $\mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}}$ be a finite-dimensional simple Lie superalgebra of type $D(2,1;α)$, $G(3)$ or $F(4)$ over $\mathbb{C}$. Let $G$ be the simply connected semisimple algebraic group over $\mathbb{C}$ such that $\mathrm{Lie}(G)=\mathfrak{g}_{\bar{0}}$. Suppose $e\in\mathfrak{g}_{\bar{0}}$ is nilpotent. We describe the centralizer $\mathfrak{g}^{e}$ of $e$ in $\mathfrak{g}$ and its centre $\mathfrak{z}(\mathfrak{g}^{e})$ especially. We also determine the labelled Dynkin diagram for $e$. We prove theorems relating the dimension of $\left(\mathfra…
We investigate cluster tilting objects (and subcategories) in triangulated 2-Calabi-Yau categories and related categories. In particular we construct a new class of such categories related to preprojective algebras of non Dynkin quivers associated with elements in the Coxeter group. This class of 2-Calabi-Yau categories contains the cluster categories and the stable categories of preprojective algebras of Dynkin graphs as special cases. For these 2-Calabi-Yau categories we construct cluster tilting objects associated with each reduced expression. The associated quiver is described in terms of …
In this paper we show that for a simply-laced root system a choice of $C$ gives rise to a natural construction of the Dynkin diagram, in which vertices of the diagram correspond to $C$-orbits in $R$; moreover, it gives an identification of $R$ with a certain subset $Ihat$ of $I x Z_{2h}$, where $h$ is the Coxeter number. The set $Ihat$ has a natural quiver structure; we call it the periodic Auslander-Reiten quiver. This gives a combinatorial construction of the root system associated with the Dynkin diagram $I$: roots are vertices of $Ihat$, and the root lattice and the inner product admit an …
Fix a Dynkin diagram and let p be a coweight. When does there exist an element w of the corresponding Weyl group such that w is p-minuscule and w(p) is dominant? We answer this question for general Coxeter groups. We express and prove these results using a variant of Mozes's game of numbers.
We show that the number of quivers in the mutation class of a quiver of Dynkin type $D_n$ is given by $\sum_{d|n} ϕ(n/d)\binom{2d}{d}/(2n)$ for $n \geq 5$. To obtain this formula, we give a correspondence between the quivers in the mutation class and certain rooted trees.
For a commutative ring $R$ and an ADE Dynkin quiver $Q$, we prove that the multiplicative preprojective algebra of Crawley-Boevey and Shaw, with parameter $q=1$, is isomorphic to the (additive) preprojective algebra as $R$-algebras if and only if the bad primes for $Q$ (2 in type D, 2 and 3 for $Q = E_{6}$, $E_{7}$ and 2, 3 and 5 for $Q= E_{8}$) are invertible in $R$. We construct an explicit isomorphism over $\mathbb{Z}[1/2]$ in type D, over $\mathbb{Z}[1/2, 1/3]$ for $Q = E_{6}$, $E_{7}$ and over $\mathbb{Z}[1/2, 1/3, 1/5]$ for $Q=E_{8}$. Conversely, if some bad prime is not invertible in $R…
Dynkin's classification of maximal subalgebras of simple finite dimensional complex Lie algebras is generalized to linear Lie superalgebras. Namely, the maximal non-simple irreducible subalgebras of $\mathfrak{gl}(p|q), \mathfrak{q}(n), \mathfrak{sl}(p|q), \mathfrak{osp}(m|2n), \mathfrak{pe}(n)$, and $\mathfrak{spe}(n)$ are classified.
We formulate and prove that there are "abundant" in nilpotent orbits in real semisimple Lie algebras, in the following sense. If S denotes the collection of hyperbolic elements corresponding the weighted Dynkin diagrams coming from nilpotent orbits, then S span the maximally expected space, namely, the (-1)-eigenspace of the longest Weyl group element. The result is used to the study of fundamental groups of non-Riemannian locally symmetric spaces.
We propose a construction of the spherical subalgebra of a symplectic reflection algebra of an arbitrary rank corresponding to a star-shaped affine Dynkin diagram. Namely, it is obtained from the universal enveloping algebra of a certain semi-simple Lie algebra by the process of quantum Hamiltonian reduction. As an application, we propose a construction of finite-dimensional representations of the spherical subalgebra.
A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \i…
Let $\bar{G}$ be the simple algebraic supergroup $\mathrm{SL}(m|n)$ or $\mathrm{OSp}(m|2n)$ over $\mathbb{C}$. Let $\mathfrak{g}=\mathrm{Lie}(\bar{G})=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}}$ and let $G=\bar{G}(\mathbb{C})$ where $\mathbb{C}$ is considered as a superalgebra concentrated in even degree. Suppose $e\in\mathfrak{g}_{\bar{0}}$ is nilpotent. We describe the centralizer $\mathfrak{g}^{e}$ of $e$ in $\mathfrak{g}$ and its centre $\mathfrak{z}(\mathfrak{g}^{e})$. In particular, we give bases for $\mathfrak{g}^{e}$, $\mathfrak{z}(\mathfrak{g}^{e})$ and $\left(\mathfrak{z}(\ma…
Let \mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus\mathfrak{g}_{\bar{1}} be a basic classical Lie superalgebra over \mathbb{C}, e\in\mathfrak{g}_{\bar{0}} a nilpotent element and \mathfrak{g}^{e} the centralizer of e in \mathfrak{g}. We study various properties of nilpotent elements in \mathfrak{g}, which have previously only been considered in the case of Lie algebras. In particular, we prove that e is reachable if and only if e satisfies the Panyushev property for \mathfrak{g}=\mathfrak{sl}(m|n), m\neq n or \mathfrak{psl}(n|n) and \mathfrak{osp}(m|2n). For exceptional Lie superalgebras \mathfrak{…
Lie bialgebras occur as the principal objects in the infinitesimalisation of the theory of quantum groups - the semi-classical theory. Their relationship with the quantum theory has made available some new tools that we can apply to classical questions. In this paper, we study the simple complex Lie algebras using the double-bosonisation construction of Majid. This construction expresses algebraically the induction process given by adding and removing nodes in Dynkin diagrams, which we call Lie induction. We first analyse the deletion of nodes, corresponding to the restriction of adjoint repre…
Let $σ$ be an involution of a complex semisimple Lie algebra $\mathfrak g$ and $\mathfrak g=\mathfrak g_0\oplus\mathfrak g_1$ the related $\mathbb Z_2$-grading. We study relations between nilpotent $G_0$-orbits in $\mathfrak g_0$ and the respective $G$-orbits in $\mathfrak g$. If $e\in\mathfrak g_0$ is nilpotent and $\{e,h,f\}\subset\mathfrak g_0$ is an $\mathfrak{sl}_2$-triple, then the semisimple element $h$ yields a $\mathbb Z$-grading of $\mathfrak g$. Our main tool is the combined $\mathbb Z\times\mathbb Z_2$-grading of $\mathfrak g$, which is called a mixed grading. We prove, in particul…
This article discusses the twisted adjoint action $\mathrm{Ad}_{g}^κ:G\rightarrow G$, $x\mapsto gxκ(g^{-1})$ given by a Dynkin diagram automorphism $κ\in\mathrm{Aut}(G)$, where $G$ is compact, connected, simply connected and simple. The first aim is to recover the classification of $κ$-twisted conjugacy classes by elementary means, without invoking the non-connected group $G\rtimes\langleκ\rangle$. The second objective is to highlight several properties of the so-called \textit{twining characters} $\tildeχ^{(κ)}:G\rightarrow\mathbb{C}$, as defined by Fuchs, Schellekens and Schweigert. These cl…
For an element $w$ of the simply-laced Weyl group, Buan-Iyama-Reiten-Scott defined a subcategory $\mathcal{F}(w)$ of a module category over a preprojective algebra of Dynkin type. This paper aims at studying categorical properties of $\mathcal{F}(w)$ via its connection with the root system. We show that by taking dimension vectors, simple objects in $\mathcal{F}(w)$ bijectively correspond to Bruhat inversion roots of $w$. As an application, we obtain a combinatorial criterion for $\mathcal{F}(w)$ to satisfy the Jordan-Hölder property (JHP). To achieve this, we develop a method to find simple o…
On some components of $L(ρ)\otimes L(ρ)$ associated with rooted trees for symmetrizable Kac-Moody algebras
NISER(新印度理工学院);Homi Bhabha National Institute(霍米·巴巴国立大学);Institut de Mathématiques de Jussieu Sorbonne Université(索邦大学儒勒·让数学研究所);Chennai Mathematical Institute(金奈数学研究所)
Recently, V.Ginzburg introduced and studied in depth the notion of a principal nilpotent pair in a semisimple Lie algebra \g. Our aim is to contribute to the general theory of nilpotent pairs. Roughly speaking, a nilpotent pair (e_1,e_2) consists of two commuting elements in \g that can independently be contracted to the origin. A principal nilpotent pair is a double counterpart of a regular nilpotent element. Consequently, the theory of nilpotent pairs should stand out as double counterpart of the theory of nilpotent orbits. We show that any nilpotent pair has a characteristic (h_1,h_2), whic…
We study some algebraic and combinatorial features of two algebras that arise as quotients of Temperley-Lieb algebras of type $\tilde{C}$, namely, the two-boundary Temperley-Lieb algebra and the symplectic blob algebra. We provide a monomial basis for both algebras. The elements of these bases are parameterized by certain subsets of fully commutative elements. We enumerate these elements according to their affine length.