Search arXivSearch

arXiv · 1209.0018

Decomposition of Level-1 Representations of D_4^(1) With Respect to its Subalgebra G_2^(1) in the Spinor Construction

Abstract

In [FFR] Feingold, Frenkel and Ries gave a spinor construction of the vertex operator para-algebra (abelian intertwining algebra) V = V^0 \oplus V^1 \oplus V^2 \oplus V^3, whose summands are four level-1 irreducible representations of the affine Kac-Moody algebra D_4^(1). The triality group S_3 = < σ,τ| σ^3 = 1 = τ^2, τστ= σ^{-1} > in Aut(V) was constructed, preserving V^0 and permuting the V^i, for i=1,2,3. V is (1/2)Z-graded where V^i_n denotes the n-graded subspace of V^i. Vertex operators Y(v,z) for v in V^0_1 represent D_4^(1) on V, while those for which σ(v) = v represent G_2^(1). We investigate branching rules, how V decomposes into a direct sum of irreducible G_2^(1) representations. We use a two-step process, first decomposing with respect to the intermediate subalgebra B_3^(1), represented by Y(v,z) for τ(v) = v. There are three vertex operators, Y(ω_{D_4},z), Y(ω_{B_3},z), and Y(ω_{G_2},z) each representing the Virasoro algebra given by the Sugawara constructions from the three algebras. The Goddard-Kent-Olive coset construction [GKO] gives two mutually commuting coset Virasoro representations, provided by the vertex operators Y(ω_{D_4}-ω_{B_3},z) and Y(ω_{B_3}-ω_{G_2},z), with central charges 1/2 and 7/10, respectively. The first one commutes with B_3^(1), and the second one commutes with G_2^(1). This gives the space of highest weight vectors for G_2^(1) in V as tensor products of irreducible Virasoro modules L(1/2,h^{1/2}) \otimes L(7/10,h^{7/10}). This dissertation explicitly constructs these coset Virasoro operators, and uses them to describe the decomposition of V with respect to G_2^(1). This work also provides spinor constructions of the 7/10 Virasoro modules, and of the two level-1 representations of G_2^(1) inside V.

Explore related subjects

Keep this discovery

BibTeXRIS

Quincy Loney. 2012-08-31. Decomposition of Level-1 Representations of D_4^(1) With Respect to its Subalgebra G_2^(1) in the Spinor Construction. https://arxiv.org/abs/1209.0018

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