SearcharxivSearch

arXiv · 1406.3049

Classification of linkage systems

Abstract

A linkage diagram is obtained from the Carter diagram $\Gamma$ by adding an extra root $\gamma$, so that the resulting subset of roots is linearly independent. With every linkage diagram we associate the linkage label vector $\gamma^{\nabla}$, similar to Dynkin labels. The linkage diagrams connected under the action of the group $W^{\vee}_{S}$ constitute the the linkage system $\mathscr{L}(\Gamma)$. For any simply-laced Carter diagram, the system $\mathscr{L}(\Gamma)$ is constructed. To obtain linkage diagrams $\theta^{\nabla}$, we use an easily verifiable criterion: $\mathscr{B}^{\vee}_{\Gamma}(\theta^{\nabla}) < 2$, where $\mathscr{B}^{\vee}_{\Gamma}$ is the inverse quadratic form associated with $\Gamma$. A Dynkin diagram $\Gamma'$ such that rank($\Gamma'$) = rank($\Gamma$) + 1 and any $\Gamma$-associated root subset $S$ lies in $\varPhi(\Gamma')$, is said to be the Dynkin extension. The linkage system $\mathscr{L}(\Gamma)$ is the union of $\Gamma_i$-components $\mathscr{L}_{\Gamma_i}(\Gamma)$ taken for all Dynkin extensions of $\Gamma <_D \Gamma_i$. The subset $\varPhi(S)$ of roots of $\varPhi(\Gamma')$, linearly dependent on roots of $S$ is said to be a partial root system. The size of $\mathscr{L}_{\Gamma'}(\Gamma)$ is estimated as follows: $|\mathscr{L}_{\Gamma'}(\Gamma)| \leq |\varPhi(\Gamma')| - |\varPhi(S)|$. Carter diagrams $E_l$ and $E_l(a_i)$ (resp. $D_l$ and $D_l(a_k)$) are said to be covalent. For any pair {$\Gamma, \widetilde\Gamma$} of covalent Carter diagrams, where $\Gamma$ is the Dynkin diagram, we explicitly construct the invertible linear map $M : \mathcal{P} \longrightarrow \mathcal{R}$, where $\mathcal{R}$ (resp. $\mathcal{P}$) is the root system (resp. partial root system) corresponding to $\Gamma$ (resp. $\widetilde\Gamma$). In particular, we have $|\mathscr{L}(\widetilde\Gamma)| = |\mathscr{L}(\Gamma)|$.

Explore related subjects

Keep this discovery

BibTeXRIS

Rafael Stekolshchik. 2014-06-11. Classification of linkage systems. https://arxiv.org/abs/1406.3049

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