HAPLOID ALGEBRAS IN C ∗ -TENSOR CATEGORIES AND THE SCHELLEKENS LIST

. We prove that a haploid associative algebra in a C ∗ -tensor category C is equivalent to a Q-system (a special C ∗ -Frobenius algebra) in C if and only if it is rigid. This allows us to prove the unitarity of all the 70 strongly rational holomorphic vertex operator algebras with central charge c = 24 and non-zero weight-one subspace, corresponding to entries 1–70 of the so called Schellekens list. Furthermore, using the recent generalized deep hole construction of these vertex operator algebras, we prove that they are also strongly local in the sense of Carpi, Kawahigashi, Longo and Weiner and consequently we obtain some new holomorphic conformal nets associated to the entries of the list. Finally, we completely classify the simple CFT type vertex operator superalgebra extensions of the unitary N = 1 and N = 2 super-Virasoro vertex operator superalge-bras with central charge c < 32 and c < 3 respectively, relying on the known classiﬁcation results for the corresponding superconformal nets.


Introduction
The notion of (associative) algebra over a field, namely a vector space with a bilinear associative multiplication, is ubiquitous in mathematics.If the underlying category of vector spaces Vec is replaced with another tensor category C, one can also talk of algebras (or algebra objects) in C. Namely, an algebra A = (X, m, ι) is a triple where X is an object in C, and m : X ⊗ X → X and ι : id C → X are morphisms in C playing the role of multiplication and unit.Here, id C denotes the tensor unit, which is just the base field F in the case C = Vec, seen as a vector space (and algebra) over itself.The associativity of A is naturally expressed in terms of the associativity constraints in C. One can also consider tensor categorical versions of algebras with more structure, such as coalgebras or Date: 11 May 2023.

1
Frobenius algebras.In this paper we will pay special attention to haploid algebras (also called irreducible or connected algebras) in C.An algebra A = (X, m, ι) in C is haploid if dim Hom(id C , X) = 1.
In relatively recent years the study of algebras in tensor categories has become of central importance in different areas of mathematics, e.g. in the theory of subfactors, conformal field theory (CFT), topological field theories and quantum groups, see e.g.[BKLR15, FS10, Kaw15, HKL15, KO02, Müg10b,NY18].
Motivated by the applications to operator algebras and quantum field theory, which are often constructed and studied as families of operators on a complex Hilbert space, we shall restrict ourselves to the case F = C, and we will mainly consider C * -tensor categories (also known as unitary tensor categories), see e.g.[BKLR15,LR97,NT13].
If C is a C * -tensor category, it is useful to consider algebra objects in C with a unitary structure, such as C * -Frobenius algebras or Q-systems (special C * -Frobenius algebras), see e.g.[BKLR15,Gui22,Lon94,NY18]. For example, Q-systems play an important role in the theory of subfactors.Namely, a subfactor with finite Jones index is equivalently well-described by a Q-system in a tensor category of endomorphisms or bimodules of a factor.Haploid Q-systems (also called irreducible or connected Q-systems) correspond to irreducible subfactors.
A natural question that arises is the following: can we characterize those algebra objects in a C * -tensor category C that are equivalent to Q-systems?Similar questions have been raised e.g. in [GS12], in [BKLR15, Section 3.1] and in [CHJP22].In this paper, we give a complete answer to this question in the haploid case.We prove that a haploid algebra object in a C * -tensor category is equivalent to a Q-system if and only if it is rigid in the sense of [KO02], cf.Theorem 3.2.If A is not haploid, the conclusion of the previous theorem is false.Namely, the algebra A may be rigid but not equivalent to a Q-system, as we show in Example 3.11.Moreover, the haploid condition alone does not imply rigidity, as we show in Example 3.12.We also prove that if two normalized haploid Q-systems are equivalent as algebra objects, then they are unitarily equivalent (and thus, they also give rise to isomorphic subfactors), cf.Theorem 3.9.The rigidity of A is equivalent to the existence of a Frobenius structure on A by [FRS02], cf.Remark 3.3.Hence, our results show that there is a one-to-one correspondence between equivalence classes of haploid Frobenius algebras in a C * -tensor category C and unitary equivalence classes of normalized haploid Q-systems in C. As a consequence, we prove that every semisimple indecomposable module category over a unitary fusion category is equivalent (as a module category) to a C * -module category, answering to a question in [Reu19].
Our main motivations come from various applications of the above results to chiral CFT and related mathematical structures, such as vertex operator algebras (VOAs), subfactors and conformal nets.
We first briefly describe here an application concerning the general relations between subfactors and CFT, see e.g.[EK98,Gan06,Kaw15,Kaw19], from the VOA point of view.Let C be a unitary fusion category and let N be the hyperfinite type III 1 factor.Then, by [HY00,Pop95], see also [Izu17, Section 2] and [HP20, Theorem 3.10], C can be realized in an essentially unique way as a full subcategory of End(N ) so that we can assume that C ⊂ End(N ).Now, let V be a strongly rational VOA so that Rep(V ) is a modular tensor category [Hua08] and thus it is in particular a braided tensor category.By [HKL15,KO02] the simple CFT type extensions of V correspond to rigid haploid commutative algebras in Rep(V ).Hence, if Rep(V ) is tensor equivalent to a unitary fusion category C ⊂ End(N ) then, by our result, every simple CFT type extension of V gives rise to a haploid commutative Q-system (also called haploid local Q-system) in C.Then, it also gives rise to a finite index irreducible subfactor N ⊂ M which is in fact a braided subfactor in the sense of [BEK99].In this way one obtains braided subfactors from VOA extensions.
More direct connections between subfactor theory and CFT come from the theory of conformal nets, see e.g.[Kaw15,Kaw19,LR95].If A is a completely rational conformal net, then the irreducible (necessarily finite index) local extensions B ⊃ A directly give braided type III 1 subfactors: B(I) ⊃ A(I) for every interval I ⊂ S 1 of the circle.Moreover, such extensions correspond to haploid commutative Q-systems with trivial twist in the modular tensor category Rep f (A) of finite index representations of A. Now, if V is a strongly rational VOA with Rep(V ) equivalent to Rep f (A) as a modular tensor category, then, arguing as before, we get a one-to-one correspondence between simple CFT type VOA extensions of V and local irreducible extensions of A, cf.Theorem 4.10.This allows to transfer classification results for VOA extensions to classification results for conformal net extensions and vice versa.As an example we will give a complete classification of the simple CFT type vertex operator superalgebras (VOSAs) extensions of the unitary N = 1 and N = 2 super-Virasoro VOSAs with central charge c < 3/2 and c < 3 repectively by transferring to the vertex algebra setting the classification results for superconformal nets in [CKL08,CHKLX15], cf.Theorem 6.2 and Theorem 6.3.
A typical situation where we have that Rep(V ) is equivalent to Rep f (A) as a modular tensor category comes from the general relation between unitary VOAs and conformal nets introduced and studied in [CKLW18].In the latter work it was shown that a simple unitary VOA V satisfying a certain analytic condition called strong locality gives rise to a conformal net A V in a natural way.Moreover, many examples of unitary VOAs have been shown to be strongly local.It is conjectured in [CKLW18] that every simple unitary VOA is strongly local and that every conformal net comes from a strongly local VOA.Moreover, it has been conjectured that if V is a unitary strongly rational VOA, then A V is completely rational and Rep(V ) is equivalent to Rep f (A V ) as a modular tensor category, see [Kaw15,Kaw19].The latter conjectures have been recently proved for a relevant family of unitary strongly rational VOAs, thanks to an impressive progress on the representation theory aspects of the correspondence between VOAs and conformal nets introduced in [CKLW18], see e.g.[Gui20,Ten19a].
Our abstract characterization of haploid Q-systems in C * -tensor categories and its consequences on module categories over C * -tensor categories (see below) are sufficiently strong to consider applications beyond the study of local extensions of chiral CFTs.The main point is that we do not assume the haploid algebras to be commutative nor the underlying C * -tensor category to be braided.This leaves open the possibility to apply our results e.g. in the setting of boundary CFT, where non-commutative haploid algebras appear naturally, see e.g.[BKL15, BKLR15, CKL13, FRS02, FS10, KR09, LR04, LR09].In this paper we will not further elaborate on these potential applications to boundary CFT.
We now discuss the application that gave the first motivation to this work as also emphasized in its title.It concerns the unitarity of VOAs in general and the unitarity of holomorphic (i.e. with trivial representation theory) VOAs with central charge c = 24 and non-zero weight-one subspace (the Schellekens list [Sch93]).In the VOA setting, unitarity is a special requirement that turns out to be satisfied in an important but specific class of models.It has naturally appeared more or less explicitly in VOA theory since its beginning in various ways, such as the existence of a positive definite invariant Hermitian form, the existence of a real form with a positive definite invariant bilinear form, and found various applications besides the correspondence with conformal nets, see e.g.[CKLW18, DL14, DL15, FLM88, Mas20,Miy04].
The unitarity of a VOA can be proved in various ways.First of all there are direct methods.A VOA can be shown to be unitary by a direct construction of a positive definite invariant Hermitian form, see e.g.[CKLW18,CTW22b,DL14,FLM88,Miy04].In various cases the hardest part is the problem of positivity that can be solved e.g. by relying on unitarity results for the underlying infinite dimensional Lie algebras [Kac94,KR87] or non-linear Lie algebras [CTW22b].These direct methods already produce a remarkable family of unitary VOAs such as those constructed from affine Lie algebras, the Virasoro algebra, the W 3 algebras, even lattices and the famous Moonshine VOA, see [CKLW18,CTW22,DL14].
A first indirect method comes from embeddings into unitary VOAs.In the terminology used in [CKLW18] the unitary subalgebras of unitary VOAs are unitary VOAs [CKLW18,Section 5.4].This gives many other examples of unitary VOAs such as orbifold VOAs and coset VOAs.However, many interesting VOA examples come from taking extensions rather than from taking subalgebras.Indeed, the already mentioned holomorphic VOAs with c = 24 are of this type (they are extensions of unitary affine VOAs) and thus, it is desirable to have some easy-to-handle method to prove unitarity for extensions of unitary VOAs.One could be tempted to guess that if an extension U of a unitary VOA V is a unitarizable V -module then it is unitary.Unfortunately, such a general result is presently not available.Even for Z n -simple current extensions by a unitary simple current such general unitarity result is known only for the case n = 2 [DL14, Theorem 3.3], see also [Gau21,Corollary 2.7.3] and [CGH].
Remarkable progress in the study of unitarity of VOA extensions has recently been made in [Gui22].Let V be a unitary strongly rational VOA and assume that V is strongly unitary [Gui22], i.e., that every V -module is unitarizable or, in other words, that the C * -category Rep u (V ) of unitary V -modules is linearly equivalent to the modular tensor category Rep(V ).In [Gui19I,Gui19II] Gui defined certain non-degenerate Hermitian forms on the duals of the spaces of the intertwining operators of V and showed that if these forms are positive definite, then they naturally turn Rep u (V ) into a unitary modular tensor category equivalent to Rep(V ).In particular, Rep u (V ) becomes a C * -tensor category tensor equivalent to Rep(V ).If V is strongly rational, strongly unitary and satisfies the above positivity condition it is said to be completely unitary [Gui22].Many strongly rational unitary VOAs, including rational affine VOAs, lattice VOAs and unitary rational Virasoro VOAs, have been shown to be completely unitary, see e.g.[Gui19II,Gui20,Gui21a,Ten19a].It follows directly from the results in [Gui22] that if U is a simple CFT type VOA extension of a completely unitary VOA V then U is unitary (and in fact completely unitary) if and only if the corresponding commutative haploid algebra in Rep u (V ) is equivalent to a Q-system.Hence, since rigidity of the latter haploid algebra follows from the simplicity of U [KO02], it follows from our characterization of haploid Q-systems in C * -tensor categories that every simple CFT type extension of a completely unitary VOA is unitary, and in fact completely unitary, cf.Theorem 4.7.In particular, every simple CFT type extension of a unitary rational affine VOA is unitary.
As already mentioned, one of our motivations comes from the unitarity problem for the holomorphic VOAs with c = 24.Holomorphic VOAs play a central role in vertex algebra theory.The famous Moonshine VOA [FLM88], which was one of the motivations for developing vertex algebra theory [Bor86] and which was crucial in the proof of the Moonshine conjecture [Bor92], is a holomorphic VOA with c = 24.Moreover, holomorphic VOAs appear to be deeply related with modular forms [DM00] and with the geometry of moduli spaces of complex curves [Cod20].They are expected to correspond to holomorphic conformal nets [KL06,KS14].The latter play an important role in the search for a CFT realization of exotic subfactors such as the Haagerup subfactor [EG11,EG22,Bis16,Bis17].
The central charge c of a holomorphic VOA must be a positive integer multiple of 8.For c = 8 and c = 16 the holomorphic VOAs were classified in [DM04a] and turned out to be exactly the lattice VOAs associated to the self-dual even positive definite lattices of rank 8 and 16, respectively.The classification of holomorphic VOAs V with c = 24 and weightone subspace V 1 = {0} began with the seminal work of Schellekens [Sch93] and has recently been completed thanks to the work of various authors, see e.g.[EMS20, ELMS21, LS19, MS23].There are exactly 70 such VOAs corresponding to entries 1-70 of the Schellekens list [Sch93].The Moonshine VOA is a holomorphic VOA with V 1 = {0} and corresponds to entry 0 in the list.It has been conjectured in [FLM88] that the Moonshine VOA is the only holomorphic VOA with c = 24 and V 1 = {0}.A proof of this conjecture would complete the classification by showing that there are exactly 71 holomorphic VOAs with c = 24 and that they are in one-to-one correspondence with entries 0-70 in [Sch93].
Let us now com back to the unitarity problem.The Moonshine VOA is known to be unitary [DL14,CKLW18].Entry 1 in [Sch93] corresponds to the Leech lattice VOA, which is also known to be unitary.The remaining entries 2-70 are simple CFT type extensions of rational affine VOAs, the subVOAs generated by the V 1 subspaces, which are semisimple Lie algebras for these entries.Hence, by our results they are all unitary, cf.Theorem 5.3.Some of them were already known to be unitary.For example, 24 of the 71 entries correspond to the lattice VOAs associated to Niemeier lattices.On the other hand, unitarity was not known in various cases.
Once unitarity is proved, it is natural to ask if these holomorphic VOAs are also strongly local and generate holomorphic conformal nets.Using the recent generalized deep hole construction [MS23] of the holomorphic VOAs V with c = 24 and V 1 = {0} and the results on energy bounds for VOA extensions in [CT23], we are able to prove strong locality for entries 2-70 in [Sch93] cf.Theorem 5.5 (the strong locality for entries 0-1 was already known).In this way, we get a family of 71 holomorphic conformal nets with c = 24 and show that the holomorphic conformal nets already constructed by different methods [KL06, KS14, Xu09, Xu18] are a (proper) subset of this family.From these holomorphic conformal nets, one can obtain many interesting finite index subfactors arguing e.g. as in [Xu18,Section 4].
A different proof of the unitarity of strongly rational holomorphic VOAs with c=24 and non-zero weight-one subspaces has been found independently by Lam in [Lam23].
This paper is organized as follows.In Section 2, we review the necessary notions of C * -tensor category theory.In particular, the notion of algebra, Frobenius algebra, C * -Frobenius algebra and Q-system.We recall or prove general results to be used in the subsequent sections.We also recall the definition of A-module, unitary A-module and local (or dyslectic) A-module, the latter in the case of unitary braided tensor categories.Note that we do not necessarily restrict ourselves to rigid, nor semisimple, unitary tensor categories, but we do assume the tensor unit to be simple.
In Section 3, we completely settle the problem of understanding when a (Frobenius) algebra in a unitary tensor category can be unitarized, namely when it is equivalent to a Q-system, and we discuss some first applications of this characterization.
In Section 4, we give various general chiral CFT applications with some first examples.
In Section 5, we consider applications to the holomorphic VOAs/conformal nets with c = 24 (the Schellekens list).
In Section 6, we discuss our classification results for N = 1 superconformal VOSAs with c < 3/2 in the unitary discrete series and for N = 2 superconformal VOSAs with c < 3 in the unitary discrete series.
In the appendix, we prove a "unitarization" result for the compact automorphism groups of unitary VOAs which is needed in our proof of strong locality of holomorphic VOAs with c = 24.In the course of the proof, we show various properties of the automorphism groups of unitary VOAs which appear to be of independent interest and which can be seen as a complement to [CKLW18, Section 5.3].

Preliminaries on tensor categories
Let C be a C * -tensor category [GLR85, DR89, LR97], not necessarily rigid, nor semisimple, but with simple (i.e., irreducible) tensor unit id C .In particular, there is an anti-linear map Hom(X, Y ) ∋ S → S * ∈ Hom(Y, X) such that S * * = S for all morphisms S in C.Here Hom(X, Y ) denotes the space of morphisms X → Y for the objects X, Y ∈ C. The morphism spaces are complex Banach spaces and their norm satisfies the C * -identity S * S = S 2 .Moreover, we assume that, for all X, Y ∈ C and all S ∈ Hom(X, Y ), S * S is a positive element in the unital C * -algebra Hom(X, X).Moreover, in order to accommodate for the applications of our main result to conformal nets and vertex operator algebras in a more uniform way, and in spite of Mac Lane's coherence theorem [Mac98], we do not consider only strict tensor categories.See [NT13, Definition 2.1.1].Given X, Y, Z objects in C, we denote by respectively the associator and the left/right unitors in C, which make the usual pentagon and triangle diagrams commute and which are assumed to be unitary in the C * context.We refer to [Müg10b, EGNO15, BKLR15, NY18, BCEGP20] for general background.
Recall the following definitions: Definition 2.1.An object X in C is said to be rigid (or dualizable) if there is an object X (called conjugate or dual) and a pair of morphisms e X : X ⊗ X → id C (called evaluation), i X : id C → X ⊗ X (called coevaluation), fulfilling the conjugate equations (also called rigidity or duality equations): where 1 X denotes the identity morphism in Hom(X, X).The category C itself is called rigid if every object X in C is rigid.For a rigid object X in C, denote by d(X) the intrinsic/C * -tensor categorical dimension of X. Namely, the positive number d(X) defined by d(X)1 id C = e X e * X = i * X i X , where e X and i X are a standard solution of the conjugate equations (1), see [LR97], cf.[GL19].
Remark 2.2.The equations in (1) are usually taken as a definition of left duals.One needs another pair of morphisms e ′ X : X ⊗ X → id C , i ′ X : id C → X ⊗ X, fulfilling two equations analogous to (1), in order to define right duals.In the C * , or even *, context, duals are automatically both left and right when they exist, as one can take e ′ X = i * X and i ′ X = e * X .
Definition 2.3.An algebra in C is a triple A = (X, m, ι), where X is an object in C, m : X ⊗X → X is a morphism (called multiplication), and ι : id C → X is a monomorphism (called unit), fulfilling the associativity and the unit property: Remark 2.4.We shall consider only associative algebras.Thanks to the * structure on C, every algebra in C is also a (coassociative) coalgebra with comultiplication m * : X → X ⊗X and counit ι * : X → id C .Definition 2.5.A C * -Frobenius algebra in C is an algebra A = (X, m, ι) such that m and m * fulfill the Frobenius relations: Remark 2.6.Note that either of the two equalities above implies the other one, by taking the * , as the associator is unitary.Obviously, C * -Frobenius algebras are special cases of Frobenius algebras, see [FRS02,FS03,Müg03,Yam04a], where the comultiplication ∆ : X → X ⊗ X is not required to be equal to m * .
Recall that the tensor unit id C is simple, namely Hom(id C , id C ) ∼ = C, i.e., Hom(id C , id C ) = C1 id C .Definition 2.7.An algebra A = (X, m, ι) in C is called normalized if ι * ι = 1 id C (namely the unit ι is an isometry, hence ιι * is a self-adjoint projection in Hom(X, X)).Furthermore, A is called special (or sometimes also strongly separable) if mm * is a scalar multiple of 1 X , where the scalar is necessarily a positive real number, in Hom(X, X).Definition 2.8.Two algebras A = (X, m, ι) and B = (Y, n, j) in C are called equivalent if there is an isomorphism S ∈ Hom(X, Y ) which intertwines the two algebra structures: The algebras A and B are called unitarily equivalent if S is in addition unitary.
Remark 2.9.Note that every algebra A = (X, m, ι) in C is equivalent to a normalized one.Indeed, ι * ι = α1 id C (as Hom(id C , id C ) ∼ = C) for some positive real number α and thus A S := (X, m S , ι S ) with S := √ α1 X , m S := S −1 m(S ⊗ S) and ι S := S −1 ι, is a normalized algebra and S −1 is an equivalence from A to A S .
Lemma 2.10.Let A = (X, m, ι) be an algebra in C.Then, mm * is a strictly positive element in Hom(X, X).If, in addition, A is a C * -Frobenius algebra, then it is equivalent to a special C * -Frobenius algebra.
Proof.The proof of the first statement is [BKLR15, Eq. (3.1.6)]for strict C * -tensor categories.Yet, it clearly works for the general case too, we recall it below for the reader's convenience.ι * ι = α1 id C for some positive real number α and thus α −1 ιι * is a projection in Hom(X, X), i.e., α −1 ιι * ≤ 1 X .It follows that where we have used the unitarity of r X for the second equality and the unit property of A for the last one.The second statement follows as in the second part of the proof of [BKLR15, Lemma 3.5] and in the proof of [BKLR15, Corollary 3.6], by the associativity and the Frobenius property and by taking the non-trivial associator into account.
The following and somehow converse statement, originally due to [LR97], holds: Proof.The proof can be adapted from the one in the strict case given in [BKLR15, Lemma 3.7].
The following haploid condition is motivated by the applications to extensions of chiral conformal field theories (CFTs).It is the abstract description of the irreducibility or simplicity of an extension (uniqueness of the vacuum), both in the conformal net and in the vertex operator algebra formalism.Finite index and conformal extensions of chiral CFTs are necessarily irreducible, hence the haploid case is general for our applications.Definition 2.12.An algebra A = (X, m, ι) in C is called haploid (or connected, or sometimes also irreducible) if Hom(id C , X) ∼ = C, i.e., Hom(id C , X) = Cι.
In the haploid case, special algebras are the same as C * -Frobenius algebras, without the need of passing to equivalent algebras: Lemma 2.13.A haploid algebra A in C is special if and only if it is C * -Frobenius.
Proof.The "if"part follows as in the proof of [BKLR15,Lemma 3.3].
If A is haploid, then ι determines a unique morphism ε : X → id C such that ει = 1 id C .In particular, if A is in addition normalized, then ε = ι * .Following [KO02]: Definition 2.14.A haploid algebra A = (X, m, ι) in C is called rigid if the morphism e A := εm : X ⊗ X → id C admits a coevaluation i A : id C → X ⊗ X, fulfilling the conjugate equations (1).In particular, the object X is rigid with conjugate X = X.
Remark 2.15.More generally, if A = (X, m, ι) is a (not necessarily haploid) C * -Frobenius algebra in C, then e A := ι * m : X ⊗ X → id C and i A := m * ι : id C → X ⊗ X, thus e A = i * A , provide a solution of the conjugate equations (1) for X and X := X.
In the general (not necessarily haploid) case: Definition 2.16.We call Q-system in C a special C * -Frobenius algebra A in C. Definition 2.17.A Q-system is normalized or haploid, if it is respectively normalized or haploid as an algebra.A Q-system is standard if e A = ι * m and i A = m * ι = e * A are a standard solution of the conjugate equations (1) for X and X = X, see [LR97], cf.[GL19].
Remark 2.18.If the Q-system is normalized, then it is standard if and only if the scalar λ in mm * = λ1 X equals the dimension d(X) of X seen as rigid object in C. Namely, A are standard.If the Q-system is haploid, then it is automatically standard, see [LR97, Section 6], see also [Müg03,Remark 5.6(3)], [NY18, Theorem 2.9], [Gui22, Proposition 2.20].
In our applications to conformal nets and vertex operator algebras in Section 4, but not in our main result in Section 3, the category C is in addition unitarily braided.Let C be a braided C * -tensor category.Denote by b X,Y : X ⊗ Y −→ Y ⊗ X the braiding in C, which makes the usual hexagonal diagrams commute and which we will assume to be unitary in the C * context.For rigid objects X in C, together with the dimension d(X) recalled above, denote by ω(X) the canonical unitary twist of X in C. Namely, if e X and i X are standard, see [LR97] and [Müg00].
Remark 2.19.In the special case of unitary fusion categories, which cover the applications to rational chiral CFTs, every braiding is automatically unitary thanks to [Gal14, Theorem 3.2].Moreover, every unitary braided fusion category admits a unique ribbon structure making it into a unitary pre-modular tensor category, namely the one defined by the canonical twist ω, see [Gal14, Theorem 3.5].
Remark 2.20.Let C be a unitary fusion category.An object X in C is said to be invertible (or a simple current in the CFT context) if X ⊗ X and X ⊗ X are isomorphic to id C .Equivalently, X is invertible if d(X) = 1.If X is invertible, then X and X ⊗ X are simple.As a consequence, if C is a unitary pre-modular tensor category, there are complex numbers α(X) and β(X) such that ω(X) = α(X)1 X and b X,X = β(X)1 X⊗X .Hence, from Eq. (2) we find Z n -simple currents are defined analogously.
Definition 2.21.An algebra A = (X, m, ι) in C is called commutative, with respect to the given braiding, if the following commutativity condition holds: or equivalently mb op X,X = m, where b op X,X := b −1 X,X is the opposite self-braiding of X.We state and sketch the proof of the following fact, which is presumably known to experts, but which we could not find in the literature: Proposition 2.22.Let A = (X, m, ι) be a standard Q-system in a braided C * -tensor category C. If A is commutative, then it has trivial twist, namely ω(X) = 1 X .
Proof.The unitarity of the canonical twist implies that e A (ω(X) ⊗ 1 A as a standard solution of the conjugate equations (1) and by the commutativity condition (3), it follows that e A (ω(X)⊗1 X ) = e A .Thus ω(X) = 1 X by using the conjugate equations.
Remark 2.23.If A is haploid, the conclusion of the previous proposition follows by realizing the rigid braided C * -tensor category generated by X as endomorphisms of a type III factor, see [Yam03,BHP12,GY19], and by considering the irreducible finite index subfactor associated to X, see [Lon94,Jon83].Then ω(X) = 1 X follows by [Reh94, Proposition 4], or by [BDG21, Corollary 2.20].
Recall Definition 2.8.We shall need the following observations: Remark 2.24.The properties of being haploid or rigid or Frobenius, or commutative in the case of braided categories, are invariant under equivalence of algebras.In contrast, the properties of being normalized or special or C * -Frobenius, hence Q-system, or standard Q-system, are invariant under unitary equivalence of algebras.
Proposition 2.25.Let C and D be two (braided) C * -tensor categories with simple tensor unit.Let F : C → D be a (braided) unitary, i.e., *-preserving, tensor equivalence, with unitary tensorator f 2 : F (X) ⊗ F (Y ) → F (X ⊗ Y ), for X, Y objects in C, and unitor f 0 : id D → F (id C ), and with inverse G : D → C and unitary tensor natural transformations G • F ⇒ I C and F • G ⇒ I D .Then, there is a one-to-one correspondence between equivalence classes of (commutative) algebras in C and in D given by Moreover, the map A → F (A) also gives a one-to-one correspondence between equivalence classes of (commutative) Q-systems in C and in D.
For later use, we recall the definition of module over an algebra in a (C * -)tensor category, the definition of unitary module, and of local module.
Now, let C be a C * -tensor category with simple tensor unit and A be a Q-system (i.e., a special C * -Frobenius algebra) in C.
Definition 2.27.A left A-module is called unitary (or special, or also standard) if In this case, it is the same scalar as mm * in Hom(X, X).We denote by Mod u C (A) the full subcategory of unitary left A-modules in C. Definition 2.28.Let C be in addition braided, and A = (X, m, ι) in addition commutative with respect to the given braiding b.
We denote respectively by Mod 0 C (A) and Mod u,0 C (A), the full subcategory of local and unitary local left A-modules in C.

From algebra objects to Q-systems
In this section, we show that a haploid algebra in a C * -tensor category (with simple tensor unit) is equivalent to a Q-system if and only if it is rigid.Furthermore, we show that the haploid condition (which is general for the sake of studying finite index extensions of conformal nets and vertex operator algebras) cannot be removed from the statement.
Recall the following Perron-Frobenius type result.As customary, we call an element T in a unital C * -algebra A positive, denoted by T ≥ 0, if it is of the form T = S * S for some S ∈ A. We call T strictly positive, denoted by T > 0, if T is positive and invertible in A. Differently, a real number λ > 0 is called positive, whereas λ ≥ 0 is called non-negative.Recall also that a linear map Φ : A → A is positive if Φ(T ) ≥ 0 for every T ≥ 0. It is called strictly positive if Φ(T ) > 0 for every T ≥ 0, T = 0.For a finite dimensional C * -algebra realized on a Hilbert space of dimension n, see [EH78, Lemma 2.1], we call a positive map Φ irreducible if (id A +Φ) n−1 is strictly positive, where id A is the identity map on A.
Proposition 3.1.Let Φ : A → A be an irreducible positive map on a finite dimensional C * -algebra A. Then, there exist a strictly positive element T of A and a positive number λ such that Φ(T ) = λT .Furthermore, if Φ(S) = αS for some non-zero positive element S in A and some complex number α, then α = λ and S is a scalar multiple of T .

Proof. See [EH78, Theorem 2.3 and Theorem 2.4].
Theorem 3.2.Let C be a C * -tensor category (with simple tensor unit) and A = (X, m, ι) be a haploid algebra in C.Then, A is rigid if and only if A is equivalent to a Qsystem in C.More specifically, A is rigid if and only if A is equivalent to a Q-system A S := (X, S −1 m(S ⊗ S), S −1 ι) in C for a strictly positive isomorphism S ∈ Hom(X, X).Moreover, A S can always be taken to be normalized, in which case A is normalized if and only if S −1 ι = ι.In either case, the equivalent Q-system A S is also standard.
To render the proof of Theorem 3.2 more transparent, we recall and use a second multiplication operation on the finite dimensional C * -algebra Hom(X, X), given by the algebra (and coalgebra) structure on X.Let T, S ∈ Hom(X, X).The convolution of T and S (sometimes also called coproduct, or horizontal 2-box multiplication) is defined by The terminology comes from subfactor/planar algebra theory [Jon99, BJ00], and from the subfactor theoretical Fourier transform [Ocn88], see also [NW95, Bis97, BKLR15, JLW16, JJLRW20, BDG22a].The convolution is clearly bilinear.By the associativity (and coassociativity) of A and by the naturality of the associator, the convolution is associative, i.e., (T * S) * R = T * (S * R) for all T, S, R ∈ Hom(X, X).Simarly, thanks to the unit property of A and to the naturality of the unitors, it has an identity element given by ιι * ∈ Hom(X, X), i.e., ιι * * T = T = T * ιι * for all T ∈ Hom(X, X).Moreover, it is *-preserving by the unitarity of the associator and of the unitors, i.e., (T * S) * = T * * S * for all T, S ∈ Hom(X, X).
Proof of Theorem 3.2.To prove the first claim, assume that A = (X, m, ι) is haploid and rigid and consider the finite dimensional C * -algebra A := Hom(X, X).Thanks to Lemma 2.13, it is sufficient to deform A into an equivalent (by Remark 2.24, necessarily haploid) algebra satisfying specialness.More specifically, we shall keep X fixed and deform m and ι.Namely, we want to find an invertible element for some γ ∈ C, which is necessarily positive.Let T := SS * and recall the notation from (4).Then, finding S as in ( 5) is equivalent to finding a strictly positive element T ∈ A such that for some positive real number γ.
To this end, define a linear map Φ : A → A by setting We first show that Φ is an irreducible positive map.By the finite dimensionality of A, entailed by rigidity and by [LR97, Lemma 3.2], we have that and we can suppose that A 0 = CE 0 with E 0 = βιι * for some positive real number β thanks to the haploid condition.As a consequence, by the convention right above Definition 2.14, the rigidity of A is realized with ε = βι * .Moreover, we can write any T ∈ A as a sum As an intermediate step, we prove that Φ 2 is a strictly positive linear map.Note that Φ is a positive linear map by definition and thus each Φ ij is too.For each j ∈ I, let T j ∈ A j be any non-zero positive element, then we have that The latter equation (recall that ε = βι * with β > 0) is equivalent to εm( T j ⊗ 1 X ) = 0, which is not possible in our setting thanks to the rigidity of A. Indeed, suppose by contradiction that this is not the case.Rigidity means that e A = εm is part of a solution e A , i A of the conjugate equations (1) for X and X = X.Thus, e A ( which is only possible if T j = 0. Therefore, it must be Φ 0j (T j ) ≥ 0 and Φ 0j (T j ) = 0 for each non-zero positive element T j ∈ A j .Moreover, Φ 0j (T j ) = α j E 0 for some positive real number α j because A 0 is one-dimensional thanks to the haploid condition.Therefore, we conclude that where we have used the positivity of Φ ij : A j → A i for all i, j ∈ I and the properties of the convolution.Now, if T = N i=0 T i is positive and non-zero in A, then each T i is positive, and at least one of them, say T j , is non-zero.Then, We now prove that the positive map Φ is irreducible.As the dimension of the Hilbert space on which A is realized is at least n = 2 (unless X ∼ = id C in which case the statement of the theorem is trivial), then (id A +Φ) n−1 (T ) > 0 for T positive and non-zero as above.
which is not strictly positive.Summing up, we have shown that Φ is an irreducible positive map.
By Proposition 3.1, there exists a unique (in the strong sense specified in the proposition) strictly positive eigenvector T ∈ A with positive eigenvalue λ for Φ, namely such that Φ(T ) = T * 1 X = λT .But also T * T ∈ A is an eigenvector with the same eigenvalue, indeed Φ(T * T ) = (T * T ) * 1 X = T * (T * 1 X ) = λ(T * T ).Moreover, T * T is positive by the definition of the convolution and non-zero.Indeed, T * T = 0 would imply m( √ T ⊗ √ T ) = 0, which is not possible as it would contradict the unit property of A. By the uniqueness part of Proposition 3.1, we conclude that T * T = γT , for some positive real number γ.In other words, the pair (T, γ) is a solution of (6) and thus (S := √ T , γ) is a solution of (5).In conclusion, the deformed triple A S := (X, m S , ι S ) with m S := S −1 m(S ⊗ S) and ι S := S −1 ι, where S happens to be strictly positive in A and not only invertible, satisfies specialness and thus it is the desired Q-system equivalent to A = (X, m, ι).
Conversely, suppose that the haploid algebra A = (X, m, ι) is equivalent to a Q-system.This means that there exists a deformed triple by the same formulae as above A S = (Y, m S , ι S ), for an invertible S ∈ Hom(X, Y ), which satisfies the C * -Frobenius property, or equivalently specialness by Lemma 2.13, thanks to the haploid assumption.We have already observed in Remark 2.15 that a C * -Frobenius algebra is rigid, and in Remark 2.24 that rigidity is preserved under equivalence.Thus, A is necessarily rigid.
For the second claim, note that any algebra is equivalent to a normalized one by Remark 2.9.Suppose that A = (X, m, ι) is haploid and rigid.Then, the Q-system A S = (X, m S , ι S ) just constructed, can be considered to be normalized, by substituting the positive isomorphism S ∈ Hom(X, X) with an appropriate positive multiple, still denoted by S. By the haploid condition and by the strict positivity of S, ι S = αι for a positive real number α.If A is also normalized, then Finally, if A is just haploid and rigid, then the standardness of A S follows from the fact that any haploid Q-system in a C * -tensor category is standard, see Remark 2.18.Thus, the proof of the theorem is complete.
We continue with some remarks and consequences: Remark 3.3.It follows by [FRS02, Lemma 3.7], cf.[FS08, Proposition 8] (not necessarily in the C * context) that an algebra A = (X, m, ι) admits a Frobenius algebra structure if and only if it is rigid.The Frobenius algebra structure (namely the comultiplication solving the Frobenius relations) is uniquely determined by the counit, there denoted by ε.In the C * context, Theorem 3.2 can be rephrased as follows.If A is haploid and rigid, and we set ε := ι * , then A can be deformed to an equivalent algebra A S (still haploid and rigid) where the unique solution (the Frobenius algebra structure) is given by the comultiplication ∆ := m * .In particular, the solution is a C * -Frobenius algebra structure.Remark 3.4.Under the mild assumption that the object X is rigid as an object in C, it follows by [Yam04b, Lemma 3.6] that the rigidity of A as an algebra is actually equivalent (not only implies, as we observed and used in the proof of Theorem 3.2) to the faithfulness of the state ι * Φ(•)ι : A → Hom(id C , id C ) ∼ = C on the finite dimensional C * -algebra A = Hom(X, X), where Φ : A → A is as in (7).Theorem 3.2 provides an answer to the following natural questions on the unitarizability of categorical structures (algebras, modules) in the C * -tensor category context: Remark 3.5.The idea of deforming a (not necessarily haploid) algebra A in C, to a special algebra is present at the end of [BKLR15, Section 3.1], where an iterative method is proposed.Assuming the haploid property, the proof of Theorem 3.2 provides a solution of T * T = γT , see (6), for some positive real number γ, where T is strictly positive in A = Hom(X, X).Namely, T fulfills the desired "regularity condition"mentioned in [BKLR15, Page 20].
Remark 3.6.In [CHJP22, Question 3.7], it is asked whether every arbitrary Frobenius algebra in a unitary tensor category (a semisimple rigid C * -tensor category with simple unit in the terminology of [CHJP22, Definition 2.11]) is equivalent to a Q-system.By Remark 3.3, rigidity for an algebra (not necessarily haploid) is equivalent to the existence of a Frobenius algebra structure.Hence, assuming the haploid property, Theorem 3.2 provides a positive answer to [CHJP22, Question 3.7].Below, we show that the answer becomes negative if the haploid assumption is dropped, see Example 3.11.
Remark 3.7.By [Ost03, Theorem 3.1 and Proposition 3.1], every semisimple indecomposable (right) module category M over a fusion category C (a semisimple rigid tensor category with simple tensor unit and finitely many equivalence classes of simple objects) is equivalent to Mod C (A) for some rigid haploid algebra A in C. Hence, our Theorem 3.2 gives a positive answer to [Reu19, Question 12], namely whether every semisimple module category over a unitary fusion category is equivalent to a C * -module category, in the case of M indecomposable.
We summarize this latter discussion in: Corollary 3.8.Let M be a semisimple indecomposable module category over a unitary fusion category C.Then, M is equivalent to Mod C (A) for some haploid Q-system A in C. Consequently, every (direct sum of ) semisimple indecomposable module category M over a unitary fusion category C is unitarizable (uniquely up to unitary module equivalence).
Proof.An equivalence of algebras in C entails an equivalence of the respective module categories.Thus, the first claim follows from [Ost03, Theorem 3.1 and Proposition 3.1] and from Theorem 3.2.For the second claim, it is enough to observe that modules over special algebras (in particular over haploid Q-systems) are equivalent to unitary modules, see [BKLR15, Lemma 3.22], and the latter form a unitary (in fact, C * ) category, see [GY23, Section 2.2 and 2.3] and [NY16, Remark 6.2].
By the techniques used in the proof of Theorem 3.2, we can prove the following: Theorem 3.9.Let C be a C * -tensor category (with simple tensor unit).Then, any equivalence between normalized haploid (hence standard) Q-systems in C is necessarily unitary.Furthermore, there is a one-to-one correspondence between: (i) equivalence classes of rigid haploid algebras in C; (ii) unitary equivalence classes of normalized haploid (hence standard) Q-systems in C.
Proof.Let A = (X, m, ι) and B = (Y, n, j) be two normalized haploid Q-systems.Let S ∈ Hom(X, Y ) be an isomorphism (not necessarily unitary) realizing the equivalence between A and B as algebras, see Definition 2.8.Recall the convolution * introduced for the proof of Theorem 3.2.Set T := S −1 (S −1 ) * and note that T * T = m(T ⊗ T )m * = λT for some positive real number λ by the specialness of the Q-system B. Now, define a linear map Φ ′ : Hom(X, X) → Hom(X, X) by Φ ′ (R) := 1 X * R for all R ∈ Hom(X, X).Proceeding as in the proof of Theorem 3.2, it is easy to see that the rigidity of A implies that (Φ ′ ) 2 is a strictly positive map.Define also the linear map Ψ : Hom(X, X) → Hom(X, X) by Ψ(R) := T * R for all R ∈ Hom(X, X).As T = S −1 (S −1 ) * is strictly positive, we have that T ≥ δ1 X for some positive real number δ and thus Ψ(R) for all positive R ∈ Hom(X, X), and thus Ψ 2 is strictly positive because (Φ ′ ) 2 is.Again, proceeding as in the proof of Theorem 3.2, we can use that Ψ 2 is strictly positive to prove that Ψ is an irreducible positive map.By definition, Ψ has T as a strictly positive eigenvector with positive eigenvalue λ.By Proposition 3.1, any other non-zero and positive eigenvector of Ψ must be a positive multiple of T .Let Φ : Hom(X, X) → Hom(X, X) be the irreducible positive linear map defined in the proof of Theorem 3.2 as Φ(R) := R * 1 X for all R ∈ Hom(X, X).Then, Hence, Φ(T ) is a non-zero positive eigenvector of Ψ with eigenvalue λ and thus there exists a positive real number α such that Φ(T ) = αT .Again by Proposition 3.1 applied to Φ, observing that 1 X is a strictly positive eigenvector of Φ by the specialness of the Q-system A, we conclude that S −1 (S −1 ) * = T = β1 X for some positive real number β.Using the polar decomposition of (S −1 ) * , we get that (S −1 Then, β = 1 and S = U is a unitary equivalence between the normalized haploid Q-systems A and B. Finally, the one-to-one correspondence follows from Theorem 3.2 and from the first claim. Remark 3.10.In [NY18, after Theorem 2.9], the authors affirm that any isomorphism, see [NY18, Definition 2.4], between irreducible (i.e., haploid, see [NY18, Remark 2.7(i)]) Q-systems is unitary up to a scalar factor.Nevertheless, their definition of isomorphism between C * -Frobenius algebras is stronger than the definition of equivalence for algebras considered here, see Definition 2.8.Now, we provide a counterexample to the statement of Theorem 3.2, if the haploid condition is removed (Example 3.11).We also show that the haploid property alone does not imply rigidity (Example 3.12).
Example 3.11.Let C := Hilb be the (trivial) rigid semisimple C * -tensor category of finite dimensional complex Hilbert spaces, with tensor unit id C = C.We shall find a non-haploid Frobenius algebra in C, which is not equivalent to a Q-system.But it is haploid in this case, as the linear map b → bN does not intertwine the Z 2 -actions on C and X.The adjoint of the unit morphism ι * : X → C is given by ι * (aI + bN ) = 2a.The haploid algebra (X, m, ι) does not admit a Frobenius structure with counit ι * , as the composition ι * m : X ⊗ X → C is degenerate.Indeed, N 2 = 0 and N I = N is sent to ι * (N ) = 0, while N is not zero.

General applications to chiral CFT
In this section, we apply the tools just developed to obtain general results in the theory of vertex operator (super)algebras and (graded-local) conformal nets.In Section 5 and Section 6, we draw consequences for various notable chiral conformal field theory (chiral CFT) models.
In the following exposition, we assume that the reader is familiar with the two axiomatic frameworks and with the relations between them.Nevertheless, for the less expert readers, we give the necessary references here below and across the various sections whenever appropriate, and then we recall standard notations.
General References.The theory of vertex operator algebras (VOAs) can be found e.g. in [Kac01,FLM88,LL04,FHL93].The last two are also a classical introduction to the theory of VOA modules and, just the last one, to the theory of intertwining operators.VOA modules and intertwining operators are the building blocks of the braided tensor category theory of VOA representations, which was developed in the series of papers [HL95I, HL95II, HL95III, Hua95, Hua08].See [HKL15, Section 2] for a brief review.[Kac01] and [Li96] include the theory of vertex operator superalgebras (VOSAs), which will be necessary in some of our applications.
Regarding the unitary theory for VOAs, we refer the reader to [DL14] and to [CKLW18, Chapter 5]; whereas we refer to [AL17a] for the unitary theory of VOSAs, see also [CGH] and [Gau21, Chapter 2].Turning back to the representation theory for VOAs, the unitary modular tensor structure for VOA representations was established in [Gui19I,Gui19II].
The correspondence between VOAs and conformal nets is established in [CKLW18].Moreover, [Gui21a] and [Gui20] study the relation between the respective representation theories for VOAs and conformal nets.
The (locally normal) representations of an irreducible conformal net A form a braided C * -tensor category with simple tensor unit, often denoted by Rep(A), see [FRS89,FRS92], based on DHR superselection theory [DHR71, DHR74,Haa96].An equivalent approach through Connes' fusion is discussed e.g. in [Was95,Was98], see also [Gui21a, Section 6] and [Gui21b].Finite index representations, see e. Recall that every graded-local conformal net A has a grading unitary, i.e., a unitary self-adjoint automorphism of the defining vacuum Hilbert space of A. The eigenspaces of the operator induced by the adjoint action, of eigenvalues 1 and −1 are called A 0 , the even part, and A 1 , the odd part, of A respectively.In the same way, a VOSA V has a parity automorphism, i.e., a VOSA automorphism of order two, such that V = V 0 ⊕ V 1 , where V 0 and V 1 are the eigenspaces of eigenvalues 1 and −1 respectively.They are called the even and the odd part of V respectively.Then, a VOA is simply a VOSA with trivial parity automorphism, i.e., V 1 = {0}.
A VOSA V is said to be simple if the only ideals are {0} and V itself, which corresponds to V being irreducible as V -module.Instead, a VOSA V is said to be of CFT type if V 0 = CΩ and V n = {0} for all negative n.Note that the latter condition is actually automatic for VOAs with just V 0 = CΩ, see [CKLW18, Remark 4.5].Furthermore, simplicity and the CFT type condition are equivalent for unitary VOSAs, see [CKLW18, Proposition 5.3] and [Ten19b, Proposition 2.14], cf. also [CGH] and [Gau21, Proposition 2.3.6].Recall that a VOA V is said to be self-dual (or self-contragredient) if, as V -module, it is isomorphic to its contragredient module.This is equivalent to the existence of a non-degenerate invariant bilinear form on V , see e. Definition 4.1.A VOA V is said to be regular if every weak V -module is a direct sum of irreducible (ordinary) V -modules.V is said to be strongly rational (or sometimes strongly regular) if, in addition, it is of CFT type and self-dual.
It is well known that regularity implies rationality and C 2 -cofiniteness.On the other hand, the two latter properties together imply regularity under the assumption of CFT type.In particular, rationality implies that there are only finitely many irreducible admissible V -modules and every admissible V -module is actually ordinary.See [ABD04] and references therein for definitions and results.Note that a strongly rational VOA is also simple, rational and C 2 -cofinite.Lastly, if V is strongly rational, then the V -modules form a modular tensor category Rep(V ), see [Hua08] and references therein.Definition 4.2.A regular VOA V of CFT type is said to be completely unitary if it is unitary, if every V -module is unitarizable (in this case, V is said to be strongly unitary) and if the invariant sesquilinear form Λ on the categorical tensor product of V -modules, as defined in [Gui19II, Section 6.2], see also [Gui22, Definition 1.7], is positive definite.
Remark 4.3.Let V be as in Definition 4.2.Note that V is always strongly rational.By strong unitarity, the C * -category Rep u (V ) of unitary V -modules, see [Gui19I, Section 2.4], is linearly equivalent to Rep(V ).Moreover, the invariant sesquilinear form Λ turns Rep u (V ) into a unitary modular tensor category by [Gui19II, Theorem 7.9].In particular, the forgetful functor from Rep u (V ) to Rep(V ) is an equivalence of modular tensor categories.
Remark 4.4.The unitary structure of a simple unitary VOA is unique up to unitary isomorphism.Furthermore, the unitary structure is really unique, that is not just up to isomorphism, if every automorphism of the VOA is unitary, see the discussion just after [CKLW18, Proposition 5.19].
The following is a result of independent interest, which will be needed in some of the applications in Section 4.1.
Proposition 4.5.Let V be a simple unitary VOA and M be an irreducible unitary (ordinary) V -module.Then the conformal Hamiltonian L M 0 of the module M has only nonnegative eigenvalues.Moreover, if there exists a non-zero vector v ∈ M of conformal weight d v = 0, then M has a VOA structure, which makes it a VOA isomorphic to V .Hence, in the latter case, the module M is equivalent to the adjoint V -module V .
Proof.For any a ∈ V , let Y M (a, z) = n∈Z a M (n) z −n−1 denote any vertex operator on the V -module M .Let Ω and ν be the vacuum and the conformal vector of V .Moreover, we use the symbol (•|•) M for the scalar product making M into a unitary V -module.
The endomorphisms give a representation of the Virasoro algebra on M with central charge c (the cental charge of V ).This representation is unitary because M is a unitary V -module and consequently the eigenvalues of L M 0 are non-negative real numbers, see [KR87], cf. also [Gui19I, Proposition 1.7].
Let us now assume that for all a, b ∈ V and all n ∈ Z.In particular, φ(V ) is a non-zero V-submodule of M and hence, by the irreducibility of M , φ(V ) = M , i.e. φ is also surjective.Moreover, φ is a VOA isomorphism.
4.1.Applications to VOAs and conformal nets.The next important result, see Theorem 4.7, is a first application of Theorem 3.2 and of Theorem 3.9 to the VOA theory.We first recall the definition of a (simple CFT type) VOA extension, see e.g.[HKL15].For the related definition of vertex subalgebra, see e.g.[Kac01, Section 4.3].For unitary (vertex) subalgebras, see [CKLW18, Section 5.4] and also [CGH19].
Definition 4.6.A simple VOA U of CFT type is called a simple CFT type VOA extension of a simple VOA V of CFT type if the latter, namely V , is a vertex subalgebra of U with the same conformal vector.Moreover, U is said in addition to be a simple unitary CFT type VOA extension of V if both VOAs are unitary and if the unitary structure of U restricts to the one of V , i.e., V is a unitary subalgebra of U .
Theorem 4.7.Let V be a regular completely unitary VOA of CFT type and U be a simple CFT type VOA extension of V .Then, U is automatically unitary as simple CFT-type VOA extension of V , and it is also a completely unitary VOA.Furthermore, if φ : U 1 → U 2 is a VOA isomorphism between simple unitary CFT-type VOA extensions of V , which restricts to the identity map on V , then φ is unitary and U 1 and U 2 are unitarily isomorphic.In particular, the unitary structure on U extending the given one on V is unique (not just up to unitary isomorphism, see Remark 4.4).
Proof.Throughout the proof, we use Y U and Y M for the state-field correspondences of the VOA U and of a U -module M respectively.
Note that, since V is strongly unitary, U is a preunitary VOA extension of V in the sense of [Gui22, Section 2.1], i.e., it has a scalar product whose restriction to V is the one realizing the unitary structure of V .Furthermore, we can obviously associate to U a V -module (W, Y W ) such that W = U as C-vector spaces and Y W (a, z) = Y U (a, z) for all a ∈ V .Therefore, U determines a normalized haploid commutative algebra A = (W, µ, ι) in Rep u (V ) with trivial twist, where µ ∈ Hom(W ⊗ W, W ) is the map associated to Y W and ι ∈ Hom(V, W ) is the obvious inclusion map of V into W , see [HKL15, Theorem 3.2] for details and Remark 4.3, cf. also [Gui22, Proposition 2.1].Note also that U is irreducible as U -module by simplicity.Therefore, A is rigid by [KO02, Lemma 1.20, cf.Theorem 5.2], cf. also [HKL15, Theorem 3.6 and Remark 3.7].Now, A satisfies all the hypotheses of Theorem 3.2 and thus there exists a strictly positive isomorphism S ∈ Hom(W, W ) such that A S = (W, µ S , ι) is a normalized haploid Q-system in Rep u (V ) equivalent to A, where µ S := S −1 µ(S ⊗ S).Note that A S is also commutative by Remark 2.24 and has the same twist of A which is trivial, cf.Proposition 2.22.Therefore, A S determines a unitary CFT type VOA extension U S such that U S = U as C-vector spaces thanks to [HKL15, Theorem 3.2], cf. also [HKL15, Theorem 3.6] and [KO02, Theorem 5.2], together with [Gui19I, Proposition 1.7], Proposition 4.5 and [Gui22, Theorem 2.21].We remark that the unitary structure on U S restricts to the one of V , as A and A S share the same ι.(Note that U S is also completely unitary by [Gui22, Theorem 3.30].)By [Gui22, Eq. (1.2)], see also [Gui19I, Section 2.4] and references therein, the definition of µ S and the fact that Sι = ι imply that S is an actual VOA isomorphism from U S to U .As a consequence, U has a unitary structure induced by the one of U S through S, making it a simple unitary VOA extension of V .Then, the complete unitarity of U follows from [Gui22, Theorem 3.30], so proving the first claim.
The second claim follows from Theorem 3.9 and the discussion here above.Moreover, let (•|•) and {•|•} be two unitary invariant scalar products on U , which restricts to the given one on V .The identity map from (U, (•|•)) to (U, {•|•}) is a VOA automorphism, which restricts to the identity map from (V, (•|•)) to (V, {•|•}) (which is also obviously unitary).Then, the former identity map is unitary and thus (•|•) and {•|•} are the same, that is the unitary structure on U extending the given one on V is unique.
Corollary 4.8.Let V be a regular completely unitary VOA of CFT type.Let U and U be two simple CFT type extensions of V such that V ⊂ U ⊂ U .Then, there exists a unitary structure on U making V and U unitary subalgebras.
Proof.It is sufficient to apply Theorem 4.7 to V ⊂ U first, and then to U ⊂ U , reminding that as an effect of the first application, U turns out to be regular and completely unitary.
Referring e.g. to [CKLW18, Section 3.4], see also [Car04,CGH19,BDG22b,Lon03], for the definition and properties of covariant subnets, as done before for VOA extensions in Definition 4.6, we recall the following (cf.e.g.[Car04,KL04]): Definition 4.9.An irreducible conformal net extension of an irreducible conformal net A is an irreducible conformal net B, containing A as covariant subnet and such that the Virasoro subnet of B coincides with the Virasoro subnet of A.
Indeed, we want to relate simple CFT type VOA extensions and irreducible conformal net extensions by means of the fact that both are determined by Q-systems in their respective unitary modular tensor categories of representations, see [HKL15], [Gui22] and [LR95] respectively.To this end, we have to look at the core of the correspondence between unitary VOAs and conformal nets, referring to [CKLW18] for details.One crucial point is that it is possible to associate to a simple unitary VOA V a unique up to isomorphism irreducible conformal net A V on the Hilbert space completion H V of the vector space V , with respect to its scalar product, provided that certain analytic conditions on the vertex operators are satisfied.A VOA satisfying such analytic conditions is said to be strongly local, see [CKLW18, Definition 6.7].
As a further consequence of Theorem 4.7 and Theorem 3.2, or better Theorem 3.9, we obtain the following: Theorem 4.10.Let V be a regular completely unitary VOA of CFT type.Suppose that V is strongly local and that the associated irreducible conformal net A V is completely rational.If Rep u (V ) is equivalent to Rep f (A V ) as a unitary modular tensor category, then there is a one-to-one correspondence between the following: Furthermore, let U be a simple CFT type VOA extension of V and A U V be the corresponding irreducible conformal net extension of A V .Then, U is a simple unitary CFT type VOA extension of V , it is completely unitary, and Rep u (U ) is equivalent to Rep f (A U V ) as a unitary modular tensor category.
Proof.The proof of the first part goes as follows.On the one hand, [HKL15, Theorem 3.2], [KO02, Lemma 1.20, cf.Theorem 5.2], cf. also [HKL15, Theorem 3.6 and Remark 3.7], together with Remark 4.3, [Gui19I, Proposition 1.7] and Proposition 4.5, cf. also [Gui22, Proposition 2.1], say that isomorphism classes of simple CFT type VOA extensions of V are in one-to-one correspondence with equivalence classes of rigid haploid commutative algebras in Rep u (V ) with trivial twist.By Theorem 3.9 and Remark 2.24, the latter are in one-to-one correspondence with unitary equivalence classes of normalized haploid (hence standard) commutative Q-systems (with trivial twist, which is actually automatic by [Gui22, Theorem 3.25] or Proposition 2.22) in Rep u (V ).On the other hand, isomorphism classes of irreducible extensions of A V correspond bijectively to unitary equivalence classes of normalized haploid (hence standard) commutative Q-systems in Rep f (A V ) (with trivial twist by the conformal spin and statistics theorem [GL96] or by Proposition 2.22), see [LR95, Theorem 4.9] and [Lon03, Lemma 15], see also [BKLR15, Section 5.2.1].Therefore, the desired one-to-one correspondence is obtained from the equivalence between Rep u (V ) and Rep f (A V ) as unitary modular tensor categories, see Proposition 2.25 and Theorem 3.9.
By Theorem 4.7, U is a simple unitary CFT type VOA extension of V , which is also completely unitary.Then, the final part of the theorem follows from the fact that Rep u (U ) and Rep f (A U V ) are both equivalent to Mod u,0 C (A), respectively by [Gui22, Theorem 3.30] and by [BKL15, Proposition 6.4], cf. also [Müg10a, Theorem 3.1], [Bis16, Proposition 5.1] and [Gui21b, Main Theorem C].Recall that Mod u,0 C (A) (Definition 2.28) is the category of abstract unitary local (left) modules in C := Rep u (V ) ∼ = Rep f (A V ), over the haploid Q-system A, which describes the extensions V ⊂ U and A V ⊂ A U V .Note that Mod u,0 C (A) is denoted by Mod 0 (A) in [BKL15] and by Rep u (A) in [Gui22].
We shall apply Theorem 4.7 and Theorem 4.10 to tensor products and regular cosets of some well-known VOAs listed in Table 1.Indeed, it is known that these VOAs meet the desired hypotheses, mostly thanks to the results in [Gui21a] and [Gui20].
Before going further, it is useful to recall that for any strongly local regular completely unitary VOA V of CFT type (and thus also simple), a fully faithful *-functor F : Rep u (V ) → Rep(A V ) can be defined, assuming the strong integrability of Vmodules, see [CWX] or [Gui19II, Eq. (4.4)].It is realized associating to every V -module M , a representation of A V on the Hilbert space completion H M of M in a natural way, see [CWX] and [Gui19II,Theorem 4.3].Cf. [Gui20] and references therein for a discussion of strong integrability in a more general setting and for further details.
Corollary 4.11.Let V be a tensor product of the following VOAs: unitary Virasoro VOAs with c < 1; unitary affine VOAs associated to simple Lie algebras; discrete series W -algebras of type ADE; unitary parafermion VOAs; lattice VOAs.Let U be any simple CFT type VOA extension of V .Then, U is a simple unitary CFT type VOA extension of V , which is also completely unitary.Moreover, A V is completely rational and the strong integrability *-functor F : Rep u (V ) → Rep f (A V ) is an equivalence of unitary modular tensor categories.F realises a one-to-one correspondence between (isomorphism classes of ) simple CFT type VOA extensions U of V and irreducible conformal net extensions as a unitary modular tensor category.Proof.If V is a tensor product of VOAs in the above list, then it is of CFT type, regular and completely unitary, see Table 1.Then, U is indeed a simple unitary CFT type VOA extension of V , which is also completely unitary, thanks to Theorem 4.7.Note that V is also strongly local, see Table 1.Moreover, A V is completely rational and Corollary 4.12.The WZW VOA V G k is unitary for every compact connected Lie group G and every k ∈ H 4 + (BG, Z).In [AL17b], Ai and Lin classified the simple CFT type VOA extensions of the simple affine VOAs L(sl 3 , k) associated to sl 3 at positive integer level k.Up to isomorphism, these extensions are given by: L(sl 3 , k) for any positive integer k, a Z 3 -simple current extension of L(sl 3 , k) for all k ≡ 0 (mod3), the conformal inclusions L(sl 3 , 5) ⊂ L(sl 6 , 1), L(sl 3 , 9) ⊂ L(E 6 , 1) and L(sl 3 , 21) ⊂ L(E 8 , 1).From Corollary 4.11 we get the following: Corollary 4.13.The irreducible extensions of the loop group conformal nets A L(sl 3 ,k) are given by: A L(sl 3 ,k) for any positive integer k, a Z 3 -simple current extension of A L(sl 3 ,k) for all k ≡ 0 (mod 3), the conformal inclusions A L(sl 3 ,5) ⊂ A L(sl 6 ,1) , A L(sl 3 ,9) ⊂ A L(E 6 ,1) and A L(sl 3 ,21) ⊂ A L(E 8 ,1) .  1 gives the bibliographical references for the well-known classes of VOAs listed in the first column concerning the properties listed in the first row.Actually, the last two rows give references for two general constructions, i.e., tensor products and cosets, which can be performed within VOAs.In particular, for the coset construction, the regularity is assumed, but note that it is only used to derive the property of complete unitarity in [Gui20, Theorem 2.6.6]under some other sufficient conditions.In some cases, more than one reference is given after the text string "cf.also:".The symbol "+" means that the property "X" for the VOA "Y" is obtained by a combined action of two results.For example, the strong locality for parafermion VOAs is obtained considering the fact that these models can be constructed as coset VOAs from VOAs whose strong locality is already known.

By
Corollary 4.14.Let n ∈ Z >0 .Then, there is a one-to-one correspondence between framed VOAs V with central charge c = n 2 and framed conformal nets A with the same central charge c.Furthermore, V is completely unitary, A is completely rational, and Rep u (V ) is equivalent to Rep f (A) as a unitary modular tensor category.
Note that the discrete series W -algebras, as well as the parafermion VOAs, can be obtained through a regular coset construction of affine and lattice VOAs, see Table 1.Therefore, for these models, the results stated in Corollary 4.11 are just an application of the following more general statement: Corollary 4.15.Let V and U be tensor products of the following VOAs: unitary Virasoro VOAs with c < 1; unitary affine VOAs associated to simple Lie algebras; discrete series W -algebras of type ADE; unitary parafermion VOAs; lattice VOAs.Suppose that V is a unitary subalgebra of U and that the coset VOA V c of V in U is regular.Let U be any simple CFT type VOA extension of V c .Then, U is a simple unitary CFT type VOA extension of V c , which is also completely unitary.Moreover, the coset net A c V (which is equal to A V c by [CKLW18, Proposition 7.8]) is completely rational and the strong integrability *-functor ) is an equivalence of unitary modular tensor categories.F realises a one-to-one correspondence between (isomorphism classes of ) simple CFT type VOA extensions U of V c and irreducible conformal net extensions ) as a unitary modular tensor category.Proof.The coset VOA V c is of CFT type and completely unitary by [Gui20, Theorem I], see also the last row of Table 1.Then, U is indeed a simple unitary CFT type VOA extension of V c , which is also completely unitary, thanks to Theorem 4.7.Note that V , U and V c are also strongly local, see Table 1.Furthermore, The definition of vertex subalgebra in the VOSA setting does essentially not differ from the one in the VOA one, see e.g.[Kac01, Section 4.3].For the definition of unitary (vertex) subalgebra, see e.g.[CGH] and [Gau21, Section 2.6].In this paper, we will only consider VOSAs with correct statistics, cf.[CKL19].Hence, we always assume that the 1 2 Z-grading Definition 4.16.A simple VOSA U of CFT type is called a simple CFT type VOSA extension of a simple VOSA V of CFT type if the latter, namely V , is a vertex subalgebra of U with the same conformal vector.Moreover, U is said in addition to be a simple unitary CFT type VOSA extension of V if both VOSAs are unitary and if the unitary structure of U restricts to the one of V , i.e., V is a unitary subalgebra of U .
Remark 4.17.It is well-known that if V is a simple VOSA, then its even part V 0 is a simple VOA.Indeed, if I is an ideal of V 0 , then the linear span From Theorem 4.7, in the VOSA context, we get: Corollary 4.18.Let V be a regular completely unitary VOA of CFT type and U be a simple CFT type VOSA extension of V .Then, U is a simple unitary CFT type VOSA extension of V .
Proof.The even part U 0 of U is a simple CFT type VOA extension of V , whereas the odd part U 1 is an irreducible U 0 -module, see Remark 4.17.Then, U 0 is a simple unitary CFT type VOA extension of V which is also completely unitary by Theorem 4.7.Thus, U 1 is a unitary U 0 -module.In conclusion, the unitarity of U , as a simple CFT type VOSA extension of V , follows by a (kind of) "super" version of [DL14, Theorem 3.3] as given in [CGH], see [Gau21, Corollary 2.7.3].Following Theorem 4.21, for a simple CFT type VOSA extension U of the VOA V , we denote by A U V the corresponding irreducible graded-local conformal net extension of A V .We present our main result in the VOSA context: Theorem 4.22.Let V be a simple VOSA of CFT type and A be an irreducible gradedlocal conformal net.Assume that V 0 is completely unitary and strongly local, and that A 0 is completely rational.Assume also that A V 0 is isomorphic to A 0 and that Rep u (V 0 ) and Rep f (A 0 ) are equivalent as unitary modular tensor categories.Suppose that the equivalence class of the Z 2 -simple current defining V in Rep u (V 0 ) is mapped into the equivalence class of the one defining A in Rep f (A 0 ) by the modular tensor equivalence between Rep u (V 0 ) and Rep f (A 0 ) (see the proof of Theorem 4.21).Then, every simple CFT type VOSA extension U of V 0 extends also V if and only if the corresponding irreducible graded-local conformal net extension In other words, there is a one-to-one correspondence between (isomorphism classes of ) simple CFT type VOSA extensions of V and irreducible graded-local conformal net extensions of A.
The proof of Theorem 4.22 makes use of the following two propositions.
For the first one, consider a simple VOSA V of CFT type and a simple CFT type VOSA extension U of V 0 .Note that V 0 and U 0 are simple and of CFT type, whereas V 1 and U 1 are an irreducible V 0 -module and U 0 -module respectively, see Remark 4.17.Suppose further that: V 0 is regular and self-dual (then, it is strongly rational); non-zero vectors of the irreducible V 0 -modules have non-negative real conformal weights; V 0 is the only irreducible V 0 -module with a non-zero vector of conformal weight zero.(Note that these two last conditions are satisfies if V 0 is strongly unitary by [Gui19I, Proposition 1.7] and Proposition 4.5.)From [HKL15, Theorem 3.6], cf.[KO02, Theorem 5.2], Rep(U 0 ) is equivalent to Mod 0 C (B 0 ) (Definition 2.28) as a modular tensor category, where C := Rep(V 0 ) and B 0 is the haploid commutative algebra in C with trivial twist, realizing the extension V 0 ⊂ U 0 .By [KO02, Lemma 1.20], B 0 is also rigid.Denote by A 1 the Z 2 -simple current in C which uniquely determines V , as explained in the proof of Theorem 4.21.It corresponds to the With an abuse of notation, we identify B 0 with its corresponding object and we write m : B 0 ⊗ B 0 → B 0 for its multiplication as algebra in C. Accordingly, define the object Assume that: V 0 is strongly rational; non-zero vectors of the irreducible V 0 -modules have non-negative real conformal weights; V 0 is the only irreducible V 0 -module with a non-zero vector of conformal weight zero.Then, U is a simple CFT type VOSA extension of V if and only if ).On the one hand, as A 1 is invertible, B 0 ⊗A 1 is an irreducible B 0 -module.On the other hand, as U extends V , A 1 is a V 0 -submodule of B 1 and thus Hom C (A 1 , B 1 ) is non-zero.Therefore, Hom Mod C (B 0 ) (B 0 ⊗ A 1 , B 1 ) is non-zero too.Thus, B 0 ⊗ A 1 and B 1 must be equivalent left B 0 -modules.In particular, B 0 ⊗ A 1 is local as B 1 is.
Vice versa, suppose that B 0 ⊗ A 1 and B 1 are equivalent (local) left B 0 -modules.Then, they are equivalent as V 0 -module too.As A 1 is a V 0 -submodule of B 0 ⊗ A 1 , it is a V 0submodule of B 1 and thus of U .1 Now, consider the V 0 -submodule of U given by the direct sum V 0 ⊕ A 1 .Our goal is to prove that V 0 ⊕ A 1 is a simple vertex subalgebra of U .
To this end, let a, b ∈ V 0 and c, d ∈ A 1 and consider their modes To this end we first prove that To sum up, we have proved that V 0 ⊕ A 1 is a Z 2 -simple current extension of V 0 , giving a simple vertex subalgebra of U .It is well known that the VOSA structure of a simple current extension is unique, up to isomorphism, cf.[DM04b, Proposition 5.3].Therefore, V 0 ⊕ A 1 must be isomorphic to V , concluding the proof.
For the second proposition, we proceed similarly to the first one.Let A be an irreducible graded-local conformal net and B be an irreducible graded-local conformal net extension of A 0 .Suppose that A 0 is completely rational and that it is a proper subnet of A. By [BKL15, Proposition 6.4], cf. also [Müg10a, Theorem 3.1], [Bis16, Proposition 5.1] and [Gui21b, Main Theorem C], Rep f (B 0 ) is equivalent to Mod u,0 C (B 0 ) as a unitary modular tensor category, where C := Rep f (A 0 ) and B 0 is the normalized haploid commutative Q-system in C (with trivial twist by [GL96] or by Proposition 2.22), realizing the extension A 0 ⊂ B 0 .Call A 1 the Z 2 -simple current in C which uniquely determines A, as explained in the proof of Theorem 4.21.Similarly, B 1 is the Z 2 -simple current in Rep f (B 0 ) ∼ = Mod u,0 C (B 0 ) giving U .Also in this case, identify, with an abuse of notation, B 0 with its corresponding object and say m : B 0 ⊗ B 0 → B 0 for its multiplication as algebra in C. Similarly, define the object Therefore: Proposition 4.24.Let A be an irreducible graded-local conformal net and assume that A 0 is completely rational.Then, B is an irreducible graded-local conformal net extension of A if and only if Conversely, if B is an irreducible graded-local conformal net extension of A then α A 1 is a DHR automorphism of B 0 equivalent to B 1 .Now, α A 1 restricts to a DHR representation of A 0 equivalent to B 0 ⊗ A 1 , cf. [LR95, Proposition 3.9].It follows that the twist ω(B 0 ⊗ A 1 ) is equal to −1 B 0 ⊗ 1 A 1 = ω(B 0 ) ⊗ ω(A 1 ).As a consequence, the monodromy M B 0 ,A 1 := b A 1 ,B 0 b B 0 ,A 1 is equal to 1 B 0 ⊗A 1 .Thus, B 0 ⊗ A 1 is local and using again the ασ-reciprocity in [BE98, Theorem 3.21], we find that B 0 ⊗ A 1 is a left B 0 -module equivalent to B 1 .
Proof of Theorem 4.22.By Theorem 4.21 and its proof, there is a one-to-one correspondence between simple CFT type VOSA extensions of V 0 and irreducible graded-local conformal net extensions of A V 0 ∼ = A 0 .Moreover, if U is such an extension of V 0 , then U 0 is completely unitary by Theorem 4.10 and Rep u (U 0 ) ∼ = Mod u,0 0 ) are equivalences of unitary modular tensor categories, where B 0 is the normalized haploid commutative Q-system (with trivial twist by [GL96] or by Proposition 2.22) in C := Rep u (V 0 ) ∼ = Rep f (A 0 ), giving the extensions V 0 ⊂ U 0 and A 0 ⊂ A U 0 0 .Note that, without loss of consistency, we can consider every Z 2 -simple current in Rep(U 0 ) as an object in Rep u (U 0 ), see Remark 4.3.Then, the statement of the theorem follows from Proposition 4.23 and Proposition 4.24.

Unitarity and strong locality of the Schellekens list
We start with two central definitions, see Section 4 for the general setting.
Definition 5.1.A strongly rational holomorphic VOA is a strongly rational VOA, which has itself as unique irreducible module.
Similarly, we have: Definition 5.2.A holomorphic conformal net is a completely rational conformal net, which has itself as unique irreducible representation, or equivalently [KL06, Definition 2.6], which has µ-index equal to 1.
Over the recent years, it was proved that any strongly rational holomorphic VOA with central charge c = 24 is completely determined by the Lie algebra structure on its weightone subspace if the latter is non-trivial.More precisely, every strongly rational holomorphic VOA U with central charge c = 24 and with U 1 = {0} is a simple CFT type VOA extension of its affine vertex subalgebra V U 1 .Moreover, the Lie algebra U 1 must be in the list of complex Lie algebras in Schellekens' work [Sch93] on holomorphic c = 24 CFTs, see [DM04a], [EMS20] and [ELMS21].This list [Sch93, Table 1] counts 71 entries in total.To entry 0 is associated the Moonshine VOA, see e.g.[FLM88], which has indeed trivial weight-one subspace.Although the uniqueness of the Moonshine VOA is still a very important open problem, the existence and uniqueness of the other 70 VOAs was proved in a series of papers, based on a case-by-case analysis, see e.g.[LS19] (and [LS20]) for a review, and through uniform approaches slightly later, see [Höh17] and [Lam19, MS23, MS21, HM20, CLM22, BLS22], cf. also [LM22].
Regarding the unitarity of these 71 VOAs, it is already known for the 24 of them arising from the corresponding Niemeier lattices, see e.g.[CS99] for these lattices, see [Möl16, Figure 6.1] for the corresponding entries in the list, see the third row of Table 1 for lattice VOAs.The Leech lattice Λ and the corresponding Leech lattice VOA V Λ are among them.Furthermore, the unitarity of the Moonshine VOA was established in [DL14,Theorem 4.15] and in [CKLW18,Example 5.10].
In the first result here below (Theorem 5.3), we apply what has been developed in Section 4 to give a uniform proof of the unitarity of the 69 VOAs from the Schellekens list, excluding the Leech lattice VOA and the Moonshine VOA, but including all the previously missing cases.For each of these 69 entries, we show the existence of a holomorphic conformal net with central charge c = 24, as an extension of the affine conformal net associated with the corresponding strongly local unitary affine VOA, see the second row of Table 1.We point out that some of these conformal nets are new, see Remark 5.7 and Remark 5.8 for details.We also prove a uniqueness result for all of them.A similar uniqueness result holds for the Leech lattice conformal net, which will be treated separately for expository reasons (Theorem 5.4), just after the following: Theorem 5.3.Every strongly rational holomorphic VOA U with central charge c = 24 and weight-one subspace U 1 being a semisimple Lie algebra is unitary.Let V U 1 be the affine vertex subalgebra of U generated by U 1 and let A V U 1 be the irreducible conformal net associated to V U 1 .Then, there exists a holomorphic irreducible conformal net extension Proof.Recall from the discussion just preceding the statement of this theorem, that the strongly rational holomorphic VOAs U with central charge c = 24 and with U 1 being a semisimple Lie algebra are completely classified and there exist exactly 69 such VOAs with corresponding weight-one subspaces as listed by Schellekens in [Sch93, Table 1].Note also that the affine vertex subalgebra V U 1 generated by U 1 is the tensor product of simple Theorem 5.4 poses the natural question (often hard to settle) on whether the 69 VOAs appearing in Theorem 5.3 are strongly local too.Recall that the Moonshine VOA is known to be strongly local by [CKLW18,Theorem 8.15].It turns out that all of them are indeed strongly local, as we show in the following: Theorem 5.5.Every strongly rational holomorphic VOA U with central charge c = 24 and U 1 = {0} is strongly local.If U 1 is a semisimple Lie algebra, then Proof.Recall that if U is the Leech lattice VOA V Λ , then it is strongly local.Accordingly, we can assume that U 1 is a semisimple Lie algebra.We split the proof into several steps.We are going to use the theory developed in [CKLW18] throughout, and thus we refer to it for notation and details.
First step: we are going to find a set of generators for U and to fix a suitable unitary structure on it.By [MS23, Section 6.3], see in particular [MS23, Theorem 6.6] and its proof, there exists a generalized deep hole g ∈ Aut(V Λ ), see [MS23, Section 6.2], such that U is isomorphic to the orbifold construction V orb(g) Λ , see [MS23, Section 3.3] and references therein.In particular, g is of finite order and there exists an automorphism h ∈ Aut(U ) of the same order as g, such that V Λ is isomorphic to the inverse (or reverse) orbifold construction U orb (h) .Let G and H be the cyclic groups of order n generated by g and h respectively.Consider the VOA inclusions U H ⊂ U ⊆ U , where U is generated by the fixed point subalgebra U H and by V U 1 .By [DM97, Theorem 1], cf. also [HMT99, Theorem 1], U = U h k for some k ∈ Z ≥0 , which either is 0 or divides n.Here, h k denotes the subroup of H generated by h k .On the one hand, (U h k ) 1 = U 1 as U 1 ⊂ U .On the other hand, the order of the restriction of h as automorphism of U 1 equals n, cf. the last paragraph of [MS21, Section 3.2].Then, it must be k = n and thus U = U .By Theorem 5.3, U is unitary.By Proposition A.5, there exists a unitary structure on U making U H be a unitary subalgebra of U and h be a unitary automorphism.From now on, we keep fixed such unitary structure.Note also that any PCT operator θ on U preserves the conformal vector and thus the L 0 grading too.Therefore, V U 1 is a unitary subalgebra of U for any unitary structure we choose on U by [CKLW18, Proposition 5.23].
Second step: we are going to prove that U is energy-bounded and that U H is strongly local.For the energy boundedness of U , note that U is a simple unitary CFT type VOA extension of the affine VOA V U 1 and that U 1 is a semisimple Lie algebra.Then, the result follows directly from [CT23, Theorem 4.8] (in the ADE cases one could also use [Gui20, Theorem 4.7]).Now, note that the fixed points subalgebras V G Λ and U H are isomorphic.Therefore, by Proposition A.5 applied to V Λ with G and by [CKLW18,  As a preparation for the coming step, consider H U H as a subspace of H U and denote by E the corresponding orthogonal projection.Let J be the set of proper intervals of the circle S 1 .Clearly, E ∈ B U H (I) ′ for all I ∈ J .
Third step: we are going to prove that EB U H (I)E = A U H (I) for all I ∈ J , which implies that {EB U H (I)E | I ∈ J } determines an irreducible conformal net on H U H by the locality of A U H . Consider a smeared vertex operator Y (a, f ) affiliated to B U H (I), where a ∈ U H and suppf ⊂ I for some fixed I ∈ J .It is easy to see that EY (a, f )E = Y (a, f ), where the • is used for smeared vertex operators affiliated to A U H (I). Consider the polar decomposition of Y (a, f ) as operator on B U H (I), i.e., Y (a, f ) = V (a, f )T (a, f ) with T (a, f ) := Y (a, f ) .Similarly, Y (a, f ) = V (a, f ) T (a, f ).As E commutes with Y (a, f ), it commutes also with V (a, f ) and T (a, f ).Then, we have that Y (a, f ) = (EV (a, f )E)(ET (a, f )E) and thus V (a, f ) = EV (a, f )E and T (a, f ) = ET (a, f )E.In conclusion, and thus: By the arbitrariness of I ∈ J , we have that EB U H (I)E = A U H (I) for all I ∈ J .
Fourth step: we are going to prove that B U H (I) ⊂ B U H (I ′ ) ′ for all I ∈ J , i.e., the locality for B U H . Let I ∈ J .By Möbius covariance, it is enough to prove that if I 1 , I 2 ∈ J are such that I 1 ⊂ I and Now, let J 1 and J 2 be two disjoint intervals and let f, g ∈ C ∞ (S 1 ) be such that suppf ⊂ J 1 and suppg ⊂ J 2 .If a ∈ U 1 is Hermitian, i.e., θ(a) = −a, then the smeared vertex operator Y (a, f ) is self-adjoint, whenever f is real, because it satisfies the linear energy bounds, see the proof of [CKLW18, Proposition 6.3] with [CKLW18, Eq. ( 113)] and [Nel72, Proposition 2].Moreover, Y (a, f ) strongly commutes with every Y (b, g) whenever b ∈ U by [CTW22, Lemma 3.6].Let J ∈ J be disjoint from I 1 and I 2 and pick f ∈ C ∞ (S 1 ) such that its support is contained in J. Therefore, Y (a, f ) commutes with elements of B U H (I 1 ) and of B U H (I 2 ), so that and all a ∈ U 1 because any a ∈ U 1 is a linear combination of two Hermitian vectors in U 1 .Now, let c ∈ U and let K c be the closed subspace generated by vectors of type Y (a, f )c with a ∈ U 1 and f ∈ C ∞ (S 1 ) such that suppf is in J.By a Reeh-Schlieder argument as in the proof of [CKLW18, Theorem 8.1], cf. also Step 2 in the proof of [Gau21, Theorem 5.2.1], we can prove that K c contains vectors of type Y (a, f )c with a ∈ U 1 and f ∈ C ∞ (S 1 ) (without any restriction on the support of f ).This implies that a (n) c ∈ K c for all a ∈ U 1 and all n ∈ Z. Consequently, a (n) b ∈ M for all a ∈ U 1 , all b ∈ M and all n ∈ Z.By the fact that U 1 generates the affine vertex subalgebra V U 1 and by the Borcherds formula, see Now, we come back to the orbifold construction of U from V Λ .By [MS21, Section 4, p. 11], U is constructed as a direct sum of irreducible U H -modules, i.e., U = , where U H = V (0,0) Λ and every V (i,0) Λ is a simple current for U H .Moreover, h acts on every V (i,0) Λ by a scalar χ i ∈ C and χ i = χ j for i = j.The VOA automorphisms of U leave U 1 , and hence V U 1 , globally invariant.It follows that the action of H on U restricts to an action on V U 1 .The latter action is faithful because the order of h ↾ U 1 equals the order of h, see again the last paragraph of [MS21, Section 3.2].By [DM97, Theorem 2], V Fifth step: we are ready to move to the conclusion of the proof.By the fourth step together with [CKLW18, Theorem 8.1] and [CTW22, Lemma 3.6], U is strongly local.Therefore, U is strongly local as we have proved that U = U in the first step.Finally, by the uniqueness result of Theorem 5.
Remark 5.6.If V is a holomorphic VOA with c = 24 and V 1 = {0} then Aut(V ) is described in [BLS22].Hence, by Theorem 5.5 and Theorem A.4, the isomorphism class of Aut(A V ) can be described by any maximal compact subgroup of Aut(V ).
We end this section with two remarks on the relation between the holomorphic conformal nets given by Theorem 5.3 and the various constructions of some of them present in the literature.The main point is that the strong locality proved in Theorem 5.5 gives a uniform way to construct these models.
Remark 5.7.In [LS15], see in particular [LS15, Remark 1.2] for the corresponding entries in the Schellekens list, the holomorphic framed VOAs with central charge c = 24 were classified.There exist exactly 56 of such VOAs up to isomorphism.One of them is the Moonshine VOA [FLM88], see also [DGH98] and [Miy04].By tensor categorical methods, corresponding holomorphic framed conformal nets with c = 24 were constructed in [KL06] and in [KS14].Actually, they must correspond to the holomorphic framed conformal nets, arising from the strong locality of the holomorphic framed VOAs with c = 24, given by Theorem 5. .2]that if V and W are simple strongly local unitary VOAs then V and W are isomorphic if and only if A V and A W are isomorphic.Hence, if B is a framed holomorphic conformal net with c = 24 then B is isomorphic to A V for some framed holomorphic VOA V with c = 24.Note that Corollary 4.14 also gives back the construction of the Moonshine conformal net given in [KL06].
Remark 5.8.Other models were constructed by the technique of mirror extension in [Xu09, Section 3.2] (cf.[LL20] for a parallel VOA application of mirror extension).There, the author gives three holomorphic irreducible conformal net extensions of affine conformal nets, corresponding to entries 18, 27 and 40 of the Schellekens list, see [Xu09, Theorem 3.3].By the uniqueness part of Theorem 5.3, these models must be isomorphic to the ones obtained using strong locality by Theorem 5.5.In particular, note that nos.27 and 40 are framed models.Moreover, in [Xu18, Section 4], the author gives three holomorphic conformal net extensions of the conformal nets associated to the affine VOAs corresponding to entries 9, 11 and 20 of the Schellekens list.By the uniqueness part of Theorem 5.3, these three models must be isomorphic to the ones obtained via strong locality by Theorem 5.5.Actually, one could probably use the construction in [Xu18, Section 4] together with the generalized deep hole construction of strongly rational holomorphic VOAs with c = 24 and non-zero weight-one subspace to obtain all the conformal nets obtained through Theorem 5.5, by a conformal net analogue of the orbifold construction from the Leech lattice conformal net constructed in [DX06] and in [KL06].

Classification of superconformal VOSAs
In this section, we discuss the classification of N = 0, N = 1 and N = 2 superconformal VOSAs, by transferring the already known classification in the superconformal net setting, using the tools developed in Section 4.
First, we give an alternative proof of an already known classification result for N = 0 superconformal VOAs, see [DL15, Section 4] and [Gui22, Corollary 2.22], namely the classification of simple CFT type extensions of the unitary Virasoro VOAs with central charge c < 1, see the first row of Table 1.In a similar way, we have two classification results [CKL08, Section 7] and [CHKLX15, Section 6] for the N = 1 and N = 2 superconformal nets respectively.By definition, see e.g.[Kac01, Section 5.9], the N = 1 and N = 2 superconformal VOSAs are extensions of the N = 1 and N = 2 super-Virasoro VOSAs respectively and we will consider the case where the corresponding super-Virasoro subalgebra are unitary with c < 3/2 and c < 3 respectively (the unitary discrete series).Then, the crucial point is that the even part of these super-Virasoro VOSAs can be realized as regular cosets of certain VOAs in Table 1.Thanks to this, we are allowed to apply Corollary 4.15 and get the desired classifications via Theorem 4.22.Proof.Fix n ∈ Z >0 such that the central charge c equals c n < 3 2 as in [GKO98].Let V 0 be the even part of the N = 1 super-Virasoro VOSA V := V cn (N S) with central charge c n .Note that V 0 is simple and of CFT type as V is, see Remark 4.17.It follows from [GKO98, Section 3 and Section 4], cf.[CKL08, pp. 1103[CKL08, pp. -1104]], that V 0 can be realized as the coset VOA of the VOA inclusion  Proof.Fix n ∈ Z >0 such that the central charge c equals c n < 3 as in [CHKLX15].Let V 0 be the even part of the N = 2 super-Virasoro VOSA V := V cn (N 2) with central charge c n .Note that V 0 is simple and of CFT type as V is, see Remark 4.17.By [CHKLX15, Section 5], cf. also [CL19,Corollary 8.8], V can be realized as the coset VOSA of the VOSA inclusion V L 2(n+2) ⊂ V n (sl(2, C)) ⊗ F ⊗ F , where F is the real free fermion VOSA, see e. Appendix A. On the automorphism groups of unitary VOAs Let V = n∈Z V n be a VOA and let Aut(V ) be its automorphism group.If g ∈ Aut(V ), then for any n ∈ Z, gV n ⊂ V n and the restriction g ↾ Vn belongs to GL(V n ).The map g → (g ↾ Vn ) n∈Z gives an isomorphism of Aut(V ) onto a closed subgroup of the direct product n∈Z GL(V n ) and this makes Aut(V ) into a metrizable topological group, cf.[CKLW18, Section 4.3].
It is well-known that if V is finitely generated, then Aut(V ) is a finite dimensional Lie group.This can be seen as follows.If V is finitely generated, there is a N ∈ Z ≥0 such that V is generated by the finite dimensional vector space V ≤N := n∈Z, n≤N V n and the map g → g ↾ V ≤N is a topological isomorphism of Aut(V ) onto a closed subgroup of GL(V ≤N ).It follows that if V is finitely generated then Aut(V ) is a finite dimensional Lie group.Actually, if V is finitely generated, the image of the restriction map g → g ↾ V ≤N is Zariski closed in GL(V ≤N ) and hence Aut(V ) is isomorphic to a complex linear algebraic group, cf.[DG02, Theorem 2.4].As a consequence, if Aut(V ) 0 denotes the connected component of the identity in Aut(V ), then the quotient group Aut(V )/ Aut(V ) 0 is finite, cf.[DG02, Section 1].Note that every strongly rational VOA is finitely generated by [GN03] or by [DZ08].
As usual, if V is a VOA and H is a subgroup of Aut(V ), we will denote by V H the fixed point subalgebra of V , namely V H = {a ∈ V | ∀g (g ∈ H ⇒ ga = a)}.
From now on, V will denote a simple unitary VOA with invariant normalized scalar product ( We say that g ∈ Aut(V ) is strictly positive if (a|ga) > 0 for all a ∈ V \{0} and denote by Aut + (V ) the set of strictly positive elements of Aut(V ).We have that 1 V ∈ Aut + (V ) and we say that Aut + (V ) is trivial if Aut + (V ) = {1 V }.If g ∈ Aut + (V ) and α ∈ C, then g α is a well defined element of Aut(V ) and the map C ∋ α → g α = e α log g ∈ Aut(V ) is a continuous group homomorphism, cf.[CKLW18, Section 5.3].It is not difficult to show that, for any α ∈ C, the map Aut + (V ) ∋ g → g α ∈ Aut(V ) is continuous.Moreover, g t ∈ Aut + (V ) for all t ∈ R. It follows that Aut + (V ) is a path connected subset of Aut(V ) containing 1 V and hence Aut + (V ) ⊂ Aut(V ) 0 .Note that Aut + (V ) is not in general a subgroup of Aut(V ).However, g −1 ∈ Aut + (V ) for all g ∈ Aut + (V ) and, if g and h are commuting elements of Aut + (V ) then gh = h 1 2 gh 1 2 ∈ Aut + (V ).It follows that if Aut(V ) 0 is abelian, then Aut + (V ) is an abelian closed and connected subgroup of Aut(V ).It is clear that if Aut(V ) 0 is trivial, then Aut + (V ) is also trivial.The converse is also true as a consequence of [CKLW18, Theorem 5.21].
Proposition A.1.Let V be a simple unitary VOA and let g ∈ Aut(V ).Then, there is a unique |g| ∈ Aut + (V ) and a unique u ∈ Aut (•|•) (V ) such that g = u|g|.
Proof.Clearly V Aut(V ) ⊂ V Aut (•|•) (V ) .Now, let a ∈ V Aut (•|•) (V ) and let g = u|g| be any element of Aut(V ).Since |g| it is unitary for all t ∈ R, we have |g| it a = a for all t ∈ R. By taking the derivative at t = 0 of the latter equality we get log |g| a = 0 and hence |g|a = e log |g| a = a, so ga = ua = a and a ∈ V Aut(V ) .
Theorem A.4.Let V be a simple unitary VOA and assume that Aut(V ) is a finite dimensional Lie group.Then, Aut (•|•) (V ) is a maximal compact subgroup of Aut(V ).
Definition 2.26.Let C be a tensor category with simple tensor unit, and A = (X, m, ι) an algebra in C. A left A-module in C (the definition of right A-module in C is analogous) is a pair M = (Y, m Y ), where Y is an object in C and m Y : X ⊗ Y → Y is a morphism (called left action), fulfilling the representation and unit properties: Let X be the two-dimensional Hilbert space generated by the 2×2 matrices I :morphism m : X ⊗ X → X is defined by the ordinary matrix multiplication (aI + bN )(cI + dN ) = acI + (ad + bc)N for a, b, c, d ∈ C. The unit morphism ι : C → X is defined by a → aI for a ∈ C.This algebra in C is not haploid, as Hom(C, X) ∼ = C 2 , where we recall that the morphisms in Hilb are just the linear maps.Then ε(aI + bN ) := a + b defines a linear functional ε : X → C such that the composition εm : X ⊗ X → C is a non-degenerate pairing, i.e., the functional ε is a Frobenius form.Recall that rigidity is equivalent to the existence of a Frobenius structure by [FRS02, Lemma 3.7], see Remark 3.3.However, (X, m, ι) is not equivalent to a C * -Frobenius algebra (hence nor to a special one), because X is not a C * -algebra (it is generated by I and by a nilpotent N ) with respect to any involution, see [NY18, Lemma 2.2].Example 3.12.Let C := Rep(Z 2 ) be the (symmetric) rigid semisimple C * -tensor category of finite dimensional unitary representations of Z 2 = Z/2Z, with tensor unit id C = C.We shall find a haploid algebra in C which is not rigid, i.e., not Frobenius.Let X be the two-dimensional Hilbert space generated by I and N as in the previous example, with the inner product (aI +bN |cI +dN ) := Tr((aI +bN ) * (cI +dN )) = 2ac+bd, where Tr is the ordinary non-normalized trace.Endow X with the unitary Z 2 -action given by −1 • (aI + bN ) := S(aI + bN )S −1 = aI − bN , where S := 1 0 0 −1 .Hence X is an object in C. Now, (X, m, ι) is an algebra in C with the same operations defined before.
g. [GL96, Section 2.1] and [Car04, Section 2.2], determine a full subcategory of Rep(A), sometimes denoted by Rep f (A).We will often deal with irreducible conformal nets that are completely rational, see [KLM01, Definition 8].By [LX04, Theorem 4.9] and [MTW18, Theorem 5.4], a conformal net is completely rational if and only if it has finitely many inequivalent irreducible representations and all of them have finite index or, equivalently, if and only if it has finite µ-index, see [LX04, Theorem 5.3].If a conformal net A is completely rational then every representation in Rep(A) is a (possibly infinite) direct sum of irreducible ones and the objects in Rep f (A) are exactly the finite direct sums of irreducibles in Rep(A).Moreover, Rep f (A) is a unitary modular tensor category, see [KLM01, Corollary 37 and Corollary 39].
be the linear map defined by φ(a) = a M (−1) v.By [LL04, Proposition 4.2.1] and [DK06, Theorem 1.5] φ is an injective map.By the existence theorem [Kac01, Theorem 4.5] M have a VOA structure with vacuum vector Ω M := v, conformal vector ν an equivalence of unitary modular tensor categories by [Gui21a, Theorem 5.1] and [Gui20, Theorem I].Therefore, the last part follows from Theorem 4.10.In[Hen17], Henriques constructed VOAs V G k associated to any pair (G, k) with G a compact connected Lie group and k ∈ H 4 + (BG, Z).These VOAs where obtained as simple current extensions by finite abelian groups of tensor product of unitary affine VOAs associated to simple Lie algebras and lattice VOAs.Hence, from Corollary 4.11 we get the following: an equivalence of unitary modular tensor categories by [Gui20, Theorem I].Then, the last part follows from Theorem 4.10.4.2.Applications to VOSAs and graded-local conformal nets.Now, we draw some consequences of Theorem 4.7 and Theorem 4.10 in the VOSA context.
g. [LL04, Proposition 4.5.6] and [Li94, Lemma 6.1.1],cf.[Gau21, Lemma 2.7.1].For a similar reason, the odd part For any pair of subsets C and D of U we denote by C • D the vector subspace of U linearly spanned by vectors c (k) d for arbitrary c ∈ C, d ∈ A 1 and k ∈ Z.Using the Borcherds commutator formula [Kac01, Section 4.8] for U , we can prove that It follows that Y (a, z)Y (b, w)c = 0 for all a ∈ U and all b, c ∈ A 1 .Hence, for any a ∈ U and any b, c ∈ A 1 , there is a positive integer N such that (z − w) N Y (b, z)Y (a, w)c = 0. Now, if d is in the restricted dual U ′ of U then d, Y (b, z)Y (a, w)c converges to a rational function R(z, w) in the domain |z| > |w|, see e.g.[FHL93, Proposition 3.2.1]and [Kac01, Remark 4.9a].Since (z − w) N R(z, w) = 0 for |z| > |w| we must have R(z, w) = 0 and thus d, Y (b, z)Y (a, w)c = 0. Since d ∈ U ′ was arbitrary we can conclude that Y (b, z)Y (a, w)c = 0. Now, U 0 • A 1 is a non-zero U 0 -submodule of U by [LL04, Proposition 4.5.6] and thus it must coincide with U 1 because U is a simple VOSA.It follows that A 1 • U 1 = {0} and hence U 1 • A 1 = {0} by skew-symmetry.Hence, by the Borcherds commutator formula we find that for the definition and properties of α-induction see[BE98,LR95].Now, α A 1 is an automorphism (possibly solitonic) of the net B 0 by [BE98, Theorem 3.21], and thus it is an irreducible endomorphism.Similarly,B 0 ⊗ A 1 is invertible and hence irreducible in Mod u C (B 0 ) by [CKM21, Theorem 2.59].If B 0 ⊗ A 1 is a left B 0 -module equivalent to B 1 ,then we can identify B 0 ⊗ A 1 with a DHR automorphism of the net B 0 by [BKL15, Proposition 6.4].Then, it follows by the ασ-reciprocity in [BE98, Theorem 3.21] that α A 1 and B 0 ⊗ A 1 are locally equivalent endomorphisms of B 0 .Thus, they are globally equivalent by strong additivity.It follows that α A 1 is a DHR automorphism of B 0 equivalent to B 1 and hence B is an irreducible graded-local conformal net extension of A.

Theorem 6. 1 .
Every simple CFT type VOA extension U of a unitary Virasoro VOA with central charge c < 1 is unitary.Furthermore, these VOA extensions are in one-toone correspondence with the irreducible conformal nets of the same central charge c, which are completely classified in [KL04, Section 5].Proof.The claim follows directly from Corollary 4.11.

Theorem 6. 2 .
Every simple CFT type VOSA extension U of a unitary super-Virasoro VOA with central charge c < 3 2 is a unitary VOSA.Furthermore, these N = 1 superconformal VOSAs are in one-to-one correspondence with the irreducible superconformal nets of the same central charge c, which are completely classified in [CKL08, Section 7].
, and completely unitary by [Gui20, Theorem I].Hence, U has a unitary VOSA structure by Corollary 4.18.Now, consider the N = 1 super-Virasoro net A := SVir cn with central charge c n , as constructed in [CKL08, Section 6.3].It is not difficult to check that A 0 is isomorphic to A V 0 .By Corollary 4.15, A 0 is completely rational and the strong integrability functor F : Rep u (V 0 ) → Rep f (A 0 ) is an equivalence of unitary modular tensor categories.Moreover, F maps the equivalence class of the Z 2 -simple current defining V in Rep u (V 0 ) into the equivalence class of the one defining A in Rep f (A 0 ).Then, the result follows from Theorem 4.22.In a similar fashion, we have: Theorem 6.3.Every simple CFT type VOSA extension U of a unitary N = 2 super-Virasoro VOSA with central charge c < 3 is a unitary VOSA.Furthermore, these N = 2 superconformal VOSAs are in one-to-one correspondence with the irreducible superconformal nets of the same central charge c, which are completely classified in [CHKLX15, Section 6].
g. [Kac01, Section 3.6 and Proposition 4.10(b)].Therefore, V 0 is equal to the coset VOA of the VOA inclusionV L 2(n+2) ⊂ V n (sl(2, C)) ⊗ V L 4 ,see also [CHKLX15, p. 1312] and [CKM21, Section 4.4.2].(Note that the even part of F ⊗ F is the even rank-one lattice VOA V L 4 .)Furthermore, V is regular by [Ada04, Theorem 7.2], cf. the discussion after [CL19, Corollary 8.8].It follows that V 0 is regular too, see the claim in [DNR21, Section 4, p. 7789] based on [Miy15] and [CM18].It is also strongly local, see the last row of Table 1, and completely unitary by [Gui20, Theorem I].Hence, U has a unitary VOSA structure by Corollary 4.18.Now, consider the N = 2 super-Virasoro net A := SVir2 cn with central charge c n , as constructed in [CHKLX15, Section 3].It is not difficult to check that A 0 is isomorphic to A V 0 .By Corollary 4.15, A 0 is completely rational and the strong integrability functor F : Repu (V 0 ) → Rep f (A 0) is an equivalence of unitary modular tensor categories.Moreover, F maps the equivalence class of the Z 2 -simple current defining V in Rep u (V 0 ) into the equivalence class of the one defining A in Rep f (A 0 ).Then, the result follows from Theorem 4.22.

Table 1 .
[DGH98, Definition 2.1 and Lemma 2.2], a framed VOA with c = n 2 with n ∈ Z >0 , is a simple CFT type VOA extension of a tensor product of n copies of the Virasoro VOA with central charge 1 2 .Similarly, a framed conformal net [KL06, Definition 4.1] with c = n 2 is an irreducible conformal net extension of a tensor product of n copies of the Virasoro conformal net with central charge 1 2 .Consequently, for framed VOAs and framed conformal nets, Corollary 4.11 implies the following: Properties of well-known classes of VOAs.

Table
Proposition 7.6], V G Λ is strongly local and thus U H is strongly local too as a consequence of [CKLW18, Theorem 6.8].As a consequence, we have two different nets of von Neumann algebras associated to U H . On the one hand, we can consider the net B U H on H U generated by the energy-bounded smeared vertex operators of U H as unitary subalgebra of U as in [CKLW18, Eq. (114)].On the other hand, we can construct the irreducible conformal net A U H on H U H by strong locality.
Theorem 6.2 and Theorem 6.3].It is also strongly local, see the last row of Table1