Parabolic-Type Sub-VOAs in Lattice Theory

• Parabolic-type subVOAs are vertex operator subalgebras formed from additive submonoids of positive-definite even lattices, mirroring parabolic subalgebras in Lie theory.
• They exhibit a hybrid structure combining Lie-theoretic, lattice-theoretic, and nonsemisimple features, as evidenced by detailed rank-two classifications and explicit fusion rules.
• Although generally nonsimple, these subVOAs provide a robust framework for induction theories and quasi-triangular decompositions in advanced vertex algebra analysis.

Parabolic-type sub-vertex operator algebras are a class of subVOAs of lattice VOAs defined from additive submonoids of a positive-definite even lattice and modeled on the role of parabolic subalgebras in Lie theory. In the lattice setting, if $L$ is a positive-definite even lattice and $P\le L$ is a parabolic-type submonoid, the associated subVOA is

$$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$

where $V_L$ is the lattice VOA and $M_{\widehat{\mathfrak h}(1,\alpha)}$ is the Heisenberg Fock space of momentum $\alpha$. These VOAs are of CFT-type, are not necessarily strongly finitely generated, and exhibit a mix of Lie-theoretic, lattice-theoretic, and nonsemisimple features. The subject has developed along three closely related lines: the introduction of conic-, Borel-, and parabolic-type subVOAs of lattice VOAs (Liu, 2024); the complete rank-two classification, module theory, and fusion theory of parabolic-type subVOAs (Liu et al., 29 Aug 2025); and the quasi-triangular-decomposition and induction-theoretic perspective, especially for the embedding $V_P\hookrightarrow V_{A_2}$ (Liu, 31 Mar 2025).

1. Definition through lattice submonoids

The ambient setting is a positive-definite even lattice $L$ in a Euclidean space $E$, with $\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$. The lattice VOA decomposes as

$P\le L$0

and the vertex-operator product respects momentum addition: $P\le L$1 Because of this simple-current-type law, any additive submonoid $P\le L$2 determines a subVOA

$P\le L$3

In particular, conic-type, Borel-type, and parabolic-type subVOAs are defined by choosing $P\le L$4 of the corresponding monoid type (Liu, 2024).

The monoid-theoretic definitions are modeled on half-space geometry. For nonzero $P\le L$5,

$P\le L$6

A submonoid $P\le L$7 is Borel-type if $P\le L$8, $P\le L$9, and $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$0 for some hyperplane $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$1. A proper submonoid $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$2 is parabolic-type if it contains a Borel-type submonoid. Every Borel-type submonoid is parabolic-type, every Borel-type submonoid contains a conic-type submonoid, and the supporting hyperplane of a Borel-type monoid is unique (Liu, 2024).

This construction produces genuine subVOAs rather than merely distinguished subspaces. All such $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$3 inherit the vacuum $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$4 and conformal vector $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$5 of $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$6, hence are of CFT-type. The terminology is not decorative: in the presence of lattice roots, the degree-one piece of a parabolic-type subVOA is literally a parabolic Lie subalgebra of $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$7, and the normalizer property

$$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$8

holds, paralleling the Lie-theoretic identity $$V_P=\bigoplus_{\alpha\in P} M_{\widehat{\mathfrak h}(1,\alpha)} \subset V_L,$$9 (Liu, 2024).

2. Rank-two classification

For a rank-two positive-definite even lattice

$V_L$0

the classification of parabolic-type subVOAs reduces completely to the classification of parabolic-type submonoids. The decisive theorem states that every rank-two parabolic-type submonoid is of exactly one of two forms (Liu et al., 29 Aug 2025).

Before stating the structural consequences, it is useful to isolate the two normal forms.

Type	Monoid normal form	Cartan-part quotient
Type I	$V_L$1, with $V_L$2	$V_L$3
Type II	$V_L$4, with $V_L$5	$V_L$6

In type I, the monoid is exactly a Borel-type monoid. In type II, the monoid contains the full lattice line on the supporting hyperplane. Geometrically, the distinction is between retaining only one semiaxis on the boundary line and retaining the entire boundary lattice. This is the rank-two form of the Lie-theoretic difference between a Borel-like object and a proper parabolic retaining Levi directions on the wall.

The corresponding VOA structure is uniform. Every rank-two parabolic-type VOA $V_L$7 admits a decomposition

$V_L$8

with $V_L$9 a simple subVOA, $M_{\widehat{\mathfrak h}(1,\alpha)}$0 the unique maximal proper ideal, and

$M_{\widehat{\mathfrak h}(1,\alpha)}$1

as VOAs. In type I, $M_{\widehat{\mathfrak h}(1,\alpha)}$2 is the rank-two Heisenberg VOA. In type II, if $M_{\widehat{\mathfrak h}(1,\alpha)}$3 and $M_{\widehat{\mathfrak h}(1,\alpha)}$4, then

$M_{\widehat{\mathfrak h}(1,\alpha)}$5

The paper calls $M_{\widehat{\mathfrak h}(1,\alpha)}$6 the Cartan-part of $M_{\widehat{\mathfrak h}(1,\alpha)}$7 (Liu et al., 29 Aug 2025).

This decomposition isolates the simple quotient while preserving a nonsimple ambient VOA. The construction also clarifies an important point of terminology: in the rank-two theory the parabolic-type VOA itself is not simple, whereas the quotient $M_{\widehat{\mathfrak h}(1,\alpha)}$8 is simple and plays the role of a Levi- or Cartan-like core.

3. Irreducible modules, fusion, and finiteness properties

The rank-two representation theory is controlled entirely by the Cartan-part. The classification theorem states that irreducible admissible $M_{\widehat{\mathfrak h}(1,\alpha)}$9-modules are exactly irreducible $\alpha$0-modules on which $\alpha$1 acts trivially. Equivalently, the nontrivial ideal $\alpha$2 contributes nilpotent structure to $\alpha$3 but disappears on irreducibles (Liu et al., 29 Aug 2025).

For type I, with $\alpha$4, the irreducible admissible modules are

$\alpha$5

For type II, if $\alpha$6, $\alpha$7, and $\alpha$8, the irreducible admissible modules are

$\alpha$9

In both cases every irreducible admissible module is ordinary.

The fusion rules are equally explicit. In type I,

$V_P\hookrightarrow V_{A_2}$0

while in type II,

$V_P\hookrightarrow V_{A_2}$1

Accordingly, all rank-two parabolic-type VOAs are simple current (Liu et al., 29 Aug 2025).

The finiteness properties separate the simple quotient from the ambient VOA. The Cartan-part $V_P\hookrightarrow V_{A_2}$2 is always $V_P\hookrightarrow V_{A_2}$3-cofinite, irrational, and strongly unital. By contrast, $V_P\hookrightarrow V_{A_2}$4 itself need not be $V_P\hookrightarrow V_{A_2}$5-cofinite: type-I $V_P\hookrightarrow V_{A_2}$6 is not $V_P\hookrightarrow V_{A_2}$7-cofinite, while type-II $V_P\hookrightarrow V_{A_2}$8 is $V_P\hookrightarrow V_{A_2}$9-cofinite under the explicit lattice inequality

$L$0

when $L$1, $L$2, and $L$3; in particular, if $L$4 or $L$5, then $L$6 is $L$7-cofinite (Liu et al., 29 Aug 2025). This dovetails with the earlier general picture: parabolic-type subVOAs are nonsimple and not rational, yet can still satisfy meaningful finiteness conditions in concrete families (Liu, 2024).

4. Lie-theoretic interpretation and basic examples

The analogy with parabolic Lie theory is built into both the lattice combinatorics and the weight-one Lie algebra. If

$L$8

is nonempty, then $L$9 is an ADE root system. For a Borel-type monoid $E$0, the subset $E$1 is a set of positive roots. On the VOA side,

$E$2

and for a parabolic-type subVOA $E$3,

$E$4

is a parabolic subalgebra of $E$5. Under a basis-extension hypothesis on the root lattice inside $E$6, Lie-theoretic parabolic subalgebras containing the Cartan part can be realized inside weight one by parabolic-type subVOAs (Liu, 2024).

The simplest example is rank one. For $E$7, the monoid $E$8 is simultaneously conic-type, Borel-type, and parabolic-type, so

$E$9

is the basic low-rank prototype. Its Zhu algebra is explicitly

$\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$0

equivalently

$\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$1

for $\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$2. The square-zero piece $\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$3 is the clearest algebraic trace of the “positive” radical (Liu, 2024).

The model proper parabolic example is in $\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$4. If

$\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$5

the Borel-type monoid

$\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$6

is contained in

$\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$7

Since $\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$8, $\mathfrak h=\mathbb C\otimes_{\mathbb Z}L$9 is parabolic-type but not Borel-type. Its VOA

$P\le L$00

is the standard example of a proper parabolic-type subVOA; it is $P\le L$01-cofinite, whereas the associated $P\le L$02 Borel-type example is not (Liu, 2024).

A structural theorem explains why these VOAs are generally nonsimple. If $P\le L$03 and

$P\le L$04

then

$P\le L$05

is a proper ideal of $P\le L$06. As a consequence, parabolic-type subVOAs are not simple and not rational (Liu, 2024).

5. Quasi-triangular decomposition and parabolic induction

A second formulation of parabolic-type subVOAs arises from quasi-triangular decomposition. A decomposition

$P\le L$07

is called quasi-triangular if $P\le L$08 is a sub-vertex algebra containing $P\le L$09, $P\le L$10 are sub-vertex algebras without vacuum, $P\le L$11 and $P\le L$12 are $P\le L$13-invariant, and

$P\le L$14

In this framework the associated parabolic-type subVOA is

$P\le L$15

the direct VOA analogue of a Lie-theoretic decomposition $P\le L$16 (Liu, 31 Mar 2025).

The principal worked example is again $P\le L$17. Define

$P\le L$18

Then

$P\le L$19

is a quasi-triangular decomposition, and

$P\le L$20

for

$P\le L$21

At degree one, $P\le L$22 is the standard parabolic subalgebra of $P\le L$23 consisting of block upper-triangular matrices. The paper describes $P\le L$24 as a VOA generalization of the inclusion $P\le L$25 (Liu, 31 Mar 2025).

This formulation supports an induction theory. For an embedding $P\le L$26, if $P\le L$27 and $P\le L$28 is an admissible $P\le L$29-module whose $P\le L$30-action on $P\le L$31 factors through $P\le L$32, the degree-zero induction is

$P\le L$33

A Frobenius reciprocity theorem gives a canonical injective map

$P\le L$34

and $P\le L$35 is an isomorphism under generalized-Verma or rationality hypotheses (Liu, 31 Mar 2025).

For the $P\le L$36 parabolic-type VOA, the Zhu algebra admits a generators-and-relations description and is a nilpotent extension of a skew-polynomial algebra: $P\le L$37 The irreducible $P\le L$38-modules are precisely

$P\le L$39

Among these, the inducible irreducibles are

$P\le L$40

and their inductions are

$P\le L$41

$P\le L$42

$P\le L$43

while

$P\le L$44

The possibility of induction to the zero module is one of the distinctly VOA-specific features of this theory (Liu, 31 Mar 2025).

6. Related constructions, analogues, and scope of the term

The phrase “parabolic-type subVOA” is not used uniformly across the VOA literature. In the papers considered here, it is used explicitly in the lattice-VOA setting of submonoids and quasi-triangular decompositions, while several related works develop close analogues without adopting the same terminology.

For OZ-type VOAs generated by Ising vectors of $P\le L$45-type, the paper on classification does not formulate a separate theory of parabolic-type subVOAs, but it identifies the nearest analogue as subVOAs generated by $P\le L$46-closed subsets of Ising vectors, equivalently by subsets cut out by suitable 3-transposition subgroups or root-subsystem truncations. In that setting, if $P\le L$47 is $P\le L$48-closed, then

$P\le L$49

has $P\le L$50 spanned by $P\le L$51, its Griess algebra is a quotient of the Matsuo algebra attached to the subgroup generated by the corresponding Miyamoto involutions, and examples such as

$P\le L$52

play the role of diagram-truncation or root-subsystem subVOAs (Jiang et al., 2023).

A different but related line concerns $P\le L$53-graded VOAs with nontrivial $P\le L$54. There the key structural result is that if $P\le L$55 is a Levi subalgebra of the canonical ideal $P\le L$56, the fields $P\le L$57 generate an affine Kac–Moody-type subVOA; in the simple, self-dual, $P\le L$58-graded, $P\le L$59-cofinite case, the subVOA generated by a Levi factor is a tensor product of simple affine VOAs of positive integral levels. The same paper analyzes radicals of $P\le L$60, but it does not construct a general VOA analogue of a Lie-theoretic parabolic $P\le L$61 (Mason et al., 2013).

A further generalization is provided by $P\le L$62-graded vertex algebras and pseudo vertex operator algebras. These objects allow complex gradings, generalized $P\le L$63-eigenspaces, and conformal deformations

$P\le L$64

while retaining Zhu theory and a bijection between simple admissible modules and simple Zhu-algebra modules. This framework does not define parabolic-type subVOAs, but it provides a natural ambient language when subalgebras are expected to carry nonintegral or nonsemisimple conformal structure (Laber et al., 2013).

A common misconception is therefore to treat “parabolic-type subVOA” as a single universal notion across VOA theory. The current literature instead supports a more precise statement: the term is explicit and fully developed for lattice-VOA subVOAs defined by parabolic-type submonoids and for the quasi-triangular constructions built from them, whereas Ising-generated, Levi-generated, and $P\le L$65-graded theories supply analogies, background machinery, or adjacent constructions rather than the same definition.