Finite Index Conformal Embeddings

• Conformal embeddings of finite index are chiral conformal structures sharing the same stress tensor with a finite decomposition into irreducible sectors.
• They are analyzed via affine Kac–Moody theory, branching rules, and tensor-categorical methods to establish conformality and finite-index criteria.
• Applications include classification in affine Lie algebras, explicit decomposition formulas, and finite extensions in both bosonic and superalgebraic contexts.

Conformal embeddings of finite index are embeddings of chiral conformal structures in which the smaller theory and the larger theory share the same stress tensor, while the larger object restricts to only finitely many irreducible sectors over the smaller one. In affine vertex operator algebras this means equality of the relevant Sugawara Virasoro vectors together with a finite decomposition of the ambient affine VOA into modules for the embedded affine subalgebra; in tensor-categorical and conformal-net formulations it is encoded by étale algebras or Q-systems and by finite Jones index. The subject therefore sits at the intersection of affine Kac–Moody theory, branching rules, fusion rules, simple-current extensions, orbifold methods, and subfactor theory (Adamovic et al., 2011, Kac et al., 2012, Gui, 2021, Edie-Michell et al., 17 Mar 2025).

1. Definition and conformality criteria

For a simple finite-dimensional Lie algebra $\mathfrak g$ with dual Coxeter number $h^\vee$ and level $k \neq -h^\vee$, the universal affine VOA $V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$ carries the Sugawara Virasoro vector with central charge

$$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$

If $\mathfrak g' \subset \mathfrak g$ is reductive with simple summands $\mathfrak g'_1,\dots,\mathfrak g'_r$, and if $k'_i=a_i k$ is the induced level on each simple summand, then

$$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$

with zero contribution from abelian factors. Adamović–Perše give a general criterion: the embedding

$$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$

is conformal if and only if two conditions hold, namely $h^\vee$0 and, writing $h^\vee$1 as a $h^\vee$2-module, every weight space of $h^\vee$3 has conformal weight $h^\vee$4 under the $h^\vee$5 Sugawara action. Equivalently,

$h^\vee$6

(Adamovic et al., 2011).

A more computational form of the same criterion appears in the Adamović–Perše condition for reductive $h^\vee$7. If the complement $h^\vee$8 decomposes as $h^\vee$9, and if $k \neq -h^\vee$0 is the $k \neq -h^\vee$1-Casimir eigenvalue on $k \neq -h^\vee$2, then conformality is equivalent to

$k \neq -h^\vee$3

for every $k \neq -h^\vee$4. In the equivalent highest-weight form,

$k \neq -h^\vee$5

for every $k \neq -h^\vee$6 (Adamovic et al., 2017).

In several important classification problems this general criterion collapses to central-charge matching alone. For maximal equal-rank reductive subalgebras $k \neq -h^\vee$7, one has

$k \neq -h^\vee$8

and in the classical maximal setting the finite-decomposition property is likewise equivalent to the same central-charge equality (Adamovic et al., 2015, Kac et al., 2012).

The superalgebra analogue is formally similar. For a basic classical simple Lie superalgebra $k \neq -h^\vee$9 with even part $V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$0,

$V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$1

and conformality of $V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$2 is characterized by $V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$3; solving this equation yields a complete list of conformal levels for the basic classical families (Adamović et al., 2019).

2. Meanings of finite index

In affine VOA theory, finite index is first of all a statement about restriction. If $V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$4 is completely reducible as a $V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$5-module, then

$V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$6

where $V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$7 is the finite set of level-$V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$8 dominant weights and $V_{\mathfrak g}(k)=N_{\mathfrak g}(k,0)$9 is the multiplicity. The index is then defined as

$$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$0

Equivalently,

$$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$1

In many finite-index conformal embeddings all $$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$2 are $$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$3 or $$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$4 and all quantum dimensions are $$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$5, so the index reduces to the number of summands (Adamovic et al., 2011).

A related tensor-categorical formulation uses the étale algebra object attached to a conformal embedding. For

$$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$6

Huang–Kirillov–Lepowsky or Xu theory produces an étale algebra $$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$7 in $$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$8, and the extension size is measured by

$$c_{\mathfrak g}(k)=\frac{k\,\dim\mathfrak g}{k+h^\vee}.$$9

The category of $\mathfrak g' \subset \mathfrak g$0-modules is equivalent to $\mathfrak g' \subset \mathfrak g$1 (Edie-Michell et al., 17 Mar 2025).

In conformal nets, finite index means finite Jones index of the local inclusion $\mathfrak g' \subset \mathfrak g$2, equivalently the existence of a faithful normal conditional expectation satisfying the Pimsner–Popa bound. Gui’s Connes-fusion approach identifies finite-index extensions with Q-systems in $\mathfrak g' \subset \mathfrak g$3, and the numerical index is

$\mathfrak g' \subset \mathfrak g$4

where $\mathfrak g' \subset \mathfrak g$5 is the quantum dimension of the underlying object of the Q-system (Gui, 2021).

A distinct convention also appears in the affine literature: one source writes

$\mathfrak g' \subset \mathfrak g$6

or gives a level-ratio expression for $\mathfrak g' \subset \mathfrak g$7; for a conformal embedding this equals $\mathfrak g' \subset \mathfrak g$8. This use of “index” measures conformality rather than the size of a branching decomposition. The coexistence of these conventions is a persistent feature of the subject (Adamovic et al., 2017).

Framework	Finite-index datum	Formula
Affine VOA restriction	Number of summands / quantum-dimension sum	$\mathfrak g' \subset \mathfrak g$9 or $\mathfrak g'_1,\dots,\mathfrak g'_r$0
Étale algebra in a modular tensor category	Algebra dimension	$\mathfrak g'_1,\dots,\mathfrak g'_r$1
Conformal net extension	Jones index	$\mathfrak g'_1,\dots,\mathfrak g'_r$2

3. Affine Lie algebra cases: classification and explicit finite decompositions

For maximal conformal embeddings of reductive $\mathfrak g'_1,\dots,\mathfrak g'_r$3 into semisimple $\mathfrak g'_1,\dots,\mathfrak g'_r$4 of classical type,

$\mathfrak g'_1,\dots,\mathfrak g'_r$5

the finite-index condition is equivalent to the central-charge identity

$\mathfrak g'_1,\dots,\mathfrak g'_r$6

Kac–Möseneder–Papi–Xu describe the classical cases and compute the corresponding simple-current groups that measure the index. Examples include diagonal and adjoint-type families, as well as $\mathfrak g'_1,\dots,\mathfrak g'_r$7 and $\mathfrak g'_1,\dots,\mathfrak g'_r$8, where the order of the simple-current subgroup can be a $\mathfrak g'_1,\dots,\mathfrak g'_r$9-quantity such as $k'_i=a_i k$0 (Kac et al., 2012).

For maximal equal-rank reductive subalgebras $k'_i=a_i k$1, the complete classification shows a sharp dichotomy. At the distinguished level $k'_i=a_i k$2 with $k'_i=a_i k$3 semisimple, the decomposition of $k'_i=a_i k$4 as a $k'_i=a_i k$5-module is always finite, multiplicity-free, and a simple-current extension. Outside $k'_i=a_i k$6, the only additional conformal levels with finite decomposition are: $k'_i=a_i k$7

$k'_i=a_i k$8

All other reductive but non-semisimple equal-rank cases have infinite decomposition (Adamovic et al., 2015).

The non-equal-rank non-integrable classification adds further negative-rational and negative-integer levels. The finite-index list includes

$k'_i=a_i k$9

$$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$0

together with the spin cases $$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$1 and $$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$2 at $$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$3, and exceptional embeddings at Deligne-series levels such as $$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$4 (Adamovic et al., 2017).

Representative finite decompositions illustrate the range of possibilities. Adamović–Perše exhibit both unitary and non-unitary examples: $$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$5 so the index is $$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$6;

$$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$7

again of index $$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$8;

$$c_{\mathfrak g'}(k')=\sum_{i=1}^r \frac{k'_i\,\dim\mathfrak g'_i}{k'_i+h_i^\vee},$$9

also of index $$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$0; and for $$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$1 at admissible level $$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$2, and for $$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$3 at the same level, the index is $$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$4 (Adamovic et al., 2011).

At level $$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$5, the decomposition formulas can be highly structured. Two standard examples are

$$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$6

and

$$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$7

both multiplicity-free simple-current extensions (Adamovic et al., 2015).

Embedding	Decomposition	Index
$$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$8	$$V_{\mathfrak g'}(k') \hookrightarrow V_{\mathfrak g}(k)$$9	$h^\vee$00
$h^\vee$01	$h^\vee$02	$h^\vee$03
$h^\vee$04	$h^\vee$05	$h^\vee$06
$h^\vee$07	$h^\vee$08	$h^\vee$09

A recurrent misconception is that central-charge equality by itself always guarantees a finite decomposition. The classification results show that this is true in specific settings, notably maximal equal-rank embeddings and the classical maximal level-$h^\vee$10 families, but not as an unrestricted general principle (Adamovic et al., 2015, Kac et al., 2012).

4. Vertex superalgebras and finite non-simple-current extensions

For affine vertex superalgebras, the first step is the classification of conformal levels for the embedding of the even part: $h^\vee$11 The complete list includes the families $h^\vee$12, $h^\vee$13, $h^\vee$14, $h^\vee$15, $h^\vee$16, $h^\vee$17, $h^\vee$18, and $h^\vee$19, with explicit conformal levels such as $h^\vee$20 in several cases and distinguished non-unitary values like $h^\vee$21 for $h^\vee$22 and $h^\vee$23 for $h^\vee$24 (Adamović et al., 2019).

Conformality does not imply finite index in the super setting either. For $h^\vee$25 at $h^\vee$26 with $h^\vee$27, the decomposition of $h^\vee$28 over

$h^\vee$29

is an infinite direct sum indexed by $h^\vee$30. Likewise, for $h^\vee$31 at $h^\vee$32, the decomposition over $h^\vee$33 is again infinite (Adamović et al., 2019).

Finite-index super examples divide into simple-current and non-simple-current types. For $h^\vee$34 at $h^\vee$35,

$h^\vee$36

and the index is $h^\vee$37. For $h^\vee$38 and $h^\vee$39 at $h^\vee$40 or at the other simple-current level, one obtains two-term decompositions (Adamović et al., 2019).

The most distinctive superalgebra phenomena occur in finite non-simple-current extensions. The paper isolates four cases: $h^\vee$41

$h^\vee$42

For the last family,

$h^\vee$43

so the extension is finite but not a simple-current extension (Adamović et al., 2019).

This superalgebraic sector is important because it demonstrates that finite-index conformal embeddings are not exhausted by multiplicity-free simple-current behavior. The $h^\vee$44 decomposition is explicitly described as a finite, non simple current extension (Adamović et al., 2019).

5. Fusion rules, orbifolds, semisimplicity, and intermediate extensions

A central technical problem is not merely to identify conformal levels, but to prove that the corresponding restriction is semisimple and finite. The standard strategy in the affine VOA setting is modular. One first checks that the complementary summands in $h^\vee$45 all have conformal weight $h^\vee$46 under the smaller Sugawara action. One then realizes $h^\vee$47 as the fixed-point subalgebra of a finite-order automorphism of $h^\vee$48, extends this automorphism to $h^\vee$49, and decomposes the latter into orbifold sectors. Fusion rules for $h^\vee$50, together with tensor-product decompositions of the finite-dimensional $h^\vee$51-modules appearing in $h^\vee$52, are then used to show closure on a finite list of highest-weight modules. A standard “no-new-singular-vector” argument eliminates further constituents, and simplicity together with orbifold-theory results such as Dong–Mason ’97 yields semisimplicity of the decomposition (Adamovic et al., 2011).

In the classical maximal setting, this analysis becomes especially rigid. If

$h^\vee$53

is an intermediate simple VOA with the same Virasoro vector, then every such $h^\vee$54 is either the full $h^\vee$55 or a simple-current extension of $h^\vee$56. Equivalently,

$h^\vee$57

for a finite subgroup $h^\vee$58 of the simple-current subgroup

$h^\vee$59

and the set of intermediate simple VOAs is in bijection with the set of subgroups $h^\vee$60 (Kac et al., 2012).

The decomposition itself can often be organized by classical invariant theory. In the symmetric-pair realization used for classical type, the irreducible $h^\vee$61-summands correspond to Borel-stable abelian subspaces $h^\vee$62, and one obtains an explicit formula

$h^\vee$63

(Kac et al., 2012).

The contrast with infinite-decomposition phenomena is equally important. In the study of $h^\vee$64 at $h^\vee$65, subsingular vectors appear in the relevant Weyl-algebra realization. The resulting decomposition of the free-field ambient module is not semisimple and exhibits an “infinite-index”-type behavior. This shows that free-field realizations can detect obstructions not visible from central charges alone (Adamovic et al., 2017).

6. Conformal nets, Q-systems, and diagrammatic interpolation

In the conformal-net formulation, an irreducible local Möbius covariant net $h^\vee$66 on $h^\vee$67 assigns a type $h^\vee$68 factor $h^\vee$69 to each interval and carries isotony, locality, Möbius covariance, and a vacuum vector. An extension $h^\vee$70 is of finite Jones index when each inclusion $h^\vee$71 has finite index, equivalently when there exists a faithful normal conditional expectation satisfying the Pimsner–Popa bound. Connes fusion turns $h^\vee$72 into a braided rigid $h^\vee$73-tensor category, and Gui proves that finite-index extensions are classified by Q-systems

$h^\vee$74

in $h^\vee$75 (Gui, 2021).

The basic structural theorems are exact. Given a Q-system, one constructs an extension $h^\vee$76 of finite index, with local algebras generated by left-fusion operators and commutants generated by right-fusion operators. Conversely, for any extension $h^\vee$77, the following are equivalent: the underlying object $h^\vee$78 is dualizable in $h^\vee$79; each $h^\vee$80 has finite Jones index; and there exists a unique Q-system with underlying object $h^\vee$81 such that $h^\vee$82. Local Möbius or conformal covariance of the extension is characterized by commutativity of the Q-system and trivial twist,

$h^\vee$83

and then

$h^\vee$84

(Gui, 2021).

A canonical example is the Longo–Rehren Q-system built from a dualizable object $h^\vee$85: $h^\vee$86 It is commutative and irreducible, and the resulting local Möbius extension has index

$h^\vee$87

(Gui, 2021).

Recent work also places finite-index conformal embeddings into a diagrammatic and interpolative framework. For the family

$h^\vee$88

the category of local modules is described by a two-color skein theory with a black strand for the defining representation $h^\vee$89, a red invertible strand $h^\vee$90, and a trivalent vertex

$h^\vee$91

The defining coefficients are rational functions in

$h^\vee$92

or more generally in the ring

$h^\vee$93

which permits specialization to a continuous family of categories $h^\vee$94 for $h^\vee$95. At the special roots $h^\vee$96, semisimplification reproduces the module category of the conformal embedding. In this case the index is computed combinatorially as

$h^\vee$97

and the Jones–Kosaki index of the corresponding subfactor is likewise $h^\vee$98 (Edie-Michell et al., 17 Mar 2025).

The same source lists four infinite discrete series of finite-index conformal embeddings, including the $h^\vee$99 and $k \neq -h^\vee$00 families, and states the expectation that analogous Deligne-interpolation methods should apply to the remaining classical $k \neq -h^\vee$01 series. This suggests that finite-index conformal embeddings admit a common skein-theoretic and tensor-categorical organization beyond the individual branching calculations (Edie-Michell et al., 17 Mar 2025).