Wightman fields for two-dimensional conformal field theories with pointed representation category

Two-dimensional full conformal field theories have been studied in various mathematical frameworks, from algebraic, operator-algebraic to categorical. In this work, we focus our attention on theories with chiral components having pointed braided tensor representation subcategories, namely having automorphisms whose equivalence classes necessarily form an abelian group. For such theories, we exhibit the explicit Hilbert space structure and construct primary fields as Wightman fields for the two-dimensional full theory. Given a finite collection of chiral components with automorphism categories with trivial total braiding, we also construct a local extension of their tensor product as a chiral component. We clarify the relations with the Longo-Rehren construction, and illustrate these results with concrete examples including the U(1)-current.


Introduction
Two-dimensional conformal field theories (CFTs) have been studied extensively [DMS97] and have attracted the interest of mathematicians for their algebraic, analytic and geometric structures.In particular, the conformal symmetry in two-dimensional Minkowski spacetime is described by the diffeomorphism group of the lightrays, therefore it is infinite-dimensional.This allows to study first the theories that depend only on one of the lightray coordinates (the chiral components) and then their two-dimensional (full) extensions.
From the operator-algebraic point of view (Haag-Kastler axioms), a general quantum field theory can be formulated as a net of von Neumann algebras associated with the open spacetime regions [Haa96].The relations between the full theory and the chiral components have been obtained, e.g., in [Reh00], and they resulted in classification schemes for certain classes of two-dimensional CFTs, see, e.g., [KL04b], [BKL15].In this course, it was important that from two copies of a single chiral theory and a family of charged sectors, one can construct two-dimensional theories as extensions of the two-dimensional theory obtained just by taking tensor products of the chiral components, and then extended it by introducing non-chiral (bulk) fields.Among such extensions, the most studied ones are the "diagonal" extensions, obtained by letting the chiral theories act simultaneously on a direct sum of copies of their vacuum representation, and then introducing "charged" fields that mix the different components.
Since [LR95], in the operator-algebraic setting, the (finite index, i.e., "relatively small") extensions can be equivalently well described by Q-systems (i.e., C * -Frobenius algebra objects) in the unitary braided tensor representation category of the net that one wants to extend.Locality of the extension can also be characterized by means of a commutativity condition on the associated Q-system.In the operator-algebras context, the Q-system associated with a finite index "diagonal" extension is called a Longo-Rehren Q-system.
The relationship between chiral and full two-dimensional CFTs (not restricted to a single Minkowski spacetime) can also be cast and studied [BGS22] in the more general categorical/operadic framework of locally covariant AQFT [BFV03], [BSW19], [BSW21].
Let us note, however, that most of the purely algebraic frameworks, see, e.g., [HK07], are designed particularly for conformal field theories, and do not apply, as they are, to massive theories.On the other hand, it is natural to expect that a two-dimensional full CFT can be described in a more traditional framework for quantum field theory, the Wightman axioms [SW00].Wightman fields are operator-valued distributions on a Hilbert space, and a reasonable description of such fields and the Hilbert space would be desirable.
Having explicit Wightman fields is not just interesting on its own, but could be a starting point for constructing non-conformal field theory, e.g., by perturbing the dynamics of the CFT by these fields.Such an idea is presented in [Zam89], where certain massive integrable fields are associated with charged fields in CFT.Perturbing the dynamics of the free field on the same Hilbert space has been carried out on the de Sitter space [BJM23].Therefore, developing a theory of Wightman fields in two dimensions will be a basis for rigorously studying the relations between CFT and massive models [JT23].
In this paper, we study full two-dimensional CFTs whose chiral components admit a (finite or infinite) collection of automorphisms (invertible objects in the language of tensor categories) among their irreducible representations (superselection sectors).We will define and construct both two-dimensional conformal Haag-Kastler nets and two-dimensional conformal Wightman fields explicitly in terms of the Hilbert space of the chiral components and of their charged sectors.We introduce charged primary fields as operators between different charged sectors of the chiral components, and combine them to obtain local bulk fields.
To be more specific, let A L and A R be chiral conformal nets on S 1 admitting a family of automorphisms (including the defining vacuum representation) among their charged representations (in the sense of Doplicher-Haag-Roberts [DHR69a], [DHR69b], [DHR71] [DHR74], but in one and two dimensions instead of four) parametrized by the same abelian group G.These automorphisms, respectively denoted by L(g) and R(g), g ∈ G, are defined on the same Hilbert spaces, but we denote them as H to distinguish the representation.On the Hilbert space g∈G H R , the chiral observables A L ⊗ A R act diagonally.We will add charged fields that shift the sectors in the direct sum, under some condition on their braiding (which is satisfied in many cases, see, e.g., the end of Section 6) and obtain full two-dimensional conformal nets and conformal Wightman fields.Moreover, with a similar technique, we construct some (presumably new) local conformal nets on S 1 by taking the tensor product of a family of conformal nets and then extending it, in such a way that a certain trivial total braiding condition is fulfilled.This generalizes the well-known extensions of a single chiral U(1)-current net [BMT88], and it can be seen as a variation of the "gluing" construction due to [CKM22] for VOAs.
We describe explicitly the fields for the U(1)-current algebra.Charged primary fields of a single chiral component are given as formal series between charged sectors [TZ12], [TL97].We expect that our construction works for loop group nets (for a simply laced, simple, simply connected, compact group) at level 1 as well [Was98], [TL97].With a more involved combination of left and right chiral components, it should also be possibile to generalize it to other completely rational nets (when the charged fields are available), in the presence of irreducible representations with statistical dimension greater that 1 (i.e., in the non-pointed tensor category case).
This paper is organized as follows.In Section 2, we recall the fact that two-dimensional conformal field theories extend to the Einstein cylinder, then set out the operator-algebraic formulation of the chiral components and of the full two-dimensional CFTs.We also collect some facts about representations and charged fields of chiral components, in the case of automorphisms.In Section 3, from a family of chiral components equipped with a collection of automorphisms and satisfying certain conditions on the braiding, we construct an extension of their tensor product on S 1 .In Section 4, we take a pair of left and right chiral components with a collection of automorphisms and assume that their braidings cancel in a certain sense, and we construct a full two-dimensional CFT extending the tensor product of the chiral components.In Section 5, we study the case where the charged primary fields are given as formal series.Under similar assumptions on the braiding and assuming energy bounds, we exhibit the Wightman fields responsible for the extensions at the level of nets constructed in the previous sections.In Section 6, we consider the explicit example of the U(1)-current.We exhibit its superselection charge structure, the associated braiding and charged fields, and we show that they fit in the general construction of the previous sections.In Section 7, we summarize our outlook.

Notations
In order to keep uniform notations throughout the paper, we label chiral (one-dimensional) objects, while we use symbols without a label for two-dimensional objects.

Einstein cylinder
As suggested by [LM75], it is natural to study four-dimensional conformally covariant Wightman fields on the Einstein cylinder1 .Moreover, the conformal group acts on the Einstein cylinder in a natural way and the fields are covariant with respect to its action.In two dimensions, an analogous procedure can be carried out with one more step because the two-dimensional Einstein cylinder is not simply connected.To state these results, let us first discuss the conformal geometry.We follow [KL04b], and start the discussion with the lightrays R in R 1+1 .
The Möbius group PSL(2, R) ∼ = Möb acts on the one-point compactification S 1 of R, where R is identified with S 1 \ {−1} through the stereographic projection.Hence, by lifting such action, its universal covering group Möb acts on R, the universal covering of S 1 .The original lightray R is identified with the interval (−π, π) in R as the universal covering of S 1 .For an interval I such that I ⊂ (−π, π), there is a neighborhood U of the unit element in Möb such that if γ ∈ U, then γ • I ⊂ (−π, π).In this sense, the group Möb acts locally on the lightray.
The two-dimensional Minkowski space , the Minkowski space is the product of two lightrays R 1+1 = R × R (in the lightcone coordinates, not the (a 0 , a 1 )coordinates) and the metric can be written as (a, b) = a − b + + a + b − .A conformal transformation of R 1+1 is, by definition, a transformation of R 1+1 that preserves the metric up to a scalar.From the above expression, it is clear that a product of any pair of orientation-preserving diffeomorphisms of lightrays is a conformal transformation.The diamond D 0 = {(a − , a + ) : −π < a ± < π} can be mapped to the Minkowski space R 1+1 by the conformal transformation (a − , a + ) → (tan( 1 2 a − ), tan( 1 2 a + )).Through this transformation, R 1+1 can be identified with D 0 .On D 0 = (−π, π)×(−π, π), the group Möb×Möb acts locally in the sense above.
Let R t be the lift of the rotation by t in Möb.In a two-dimensional conformal field theory, the correlation functions are invariant under the local action of Möb × Möb, and moreover, the spacelike 2π-rotations R := {R 2nπ × R −2nπ : n ∈ Z} are often trivial.If this holds, the field theory can be extended to the Einstein cylinder2 E = R 1+1 /R.In the most favorable case, the theory extends to E and there is also a local action of the conformal group C = Diff + (S 1 ) × Diff + (S 1 )/R.
The Minkowski space R 1+1 , depicted as the diamond.When the spacelike rotation R 2π × R −2π is trivial, the dotted lines are identified and it is a subset of the Einstein cylinder E.

Conformal net on S 1
Among two-dimensional conformal fields, there are those that do not depend on one of the lightray coordinates.They are called chiral fields, and can be restricted to the lightray, then extended to the circle S 1 by locality.We put the index κ to the objects in this section, although we study a single chiral field theory at a time.Note that we do not use the index κ to distinguish between left and right chiral components.This convention will be useful later when we combine different chiral fields on either component of a two-dimensional conformal field theory, while we denote two-dimensional objects without index.
Let us start with a net on R, and see how it extends to S 1 .Note that if a unitary projective U κ representation of Diff + (S 1 ) on a Hilbert space H κ is restricted to the semisimple subgroup Möb, there is a unique true (non-projective) representation whose quotient in PU(H κ ) coincides with U κ .In this sense, we can consider the spectrum of U κ restricted to Möb without ambiguity [Bar54, Theorem 7.1].
We call a triple (A κ , U κ , Ω κ ) a conformal net on R if A κ assigns to each open non-dense non-empty interval I ⊂ R a von Neumann algebra A κ (I) on a Hilbert space H κ , U κ is a unitary projective representation of Diff + (S 1 ) and Ω κ ∈ H κ such that (1dCN1) (1dCN4) Positivity of energy: the restriction of U κ to the translation subgroup R ⊂ Möb has the spectrum contained in R + .
(1dCN5) Vacuum and the Reeh-Schlieder property: there exists a unique (up to a phase) vector If we assume only the covariance with respect to Möb, we call it a Möbius-covariant net.
If U κ factors through Diff + (S 1 ) as a projective representation, that is, if U κ (R 2nπ ), n ∈ Z is a scalar, then A κ can be extended to a net defined on the set I of non-dense, non-trivial open intervals on S 1 and it satisfies the usual axioms of conformal net on S 1 , that is a triple (A κ , U κ , Ω κ ) satisfying isotony, locality, Diff + (S 1 )-covariance, positivity of energy and the vacuum properties.See, e.g., [KL04a, Section 2.1], [CKLW18, Chapter 3].
We also recall that U κ can be made into a unitary multiplier representation (rather than projective) of Diff + (S 1 ), that is, Proof.If U κ (R 2π ) = ½, then its adjoint action is trivial, and the natural extension of A κ on (−π, π) to R (the universal covering of S 1 ) is periodic, hence we can regard it as a net on S 1 .It is known that the positivity of energy restricted to the rotation subgroup and that to the translation subgroup are equivalent (see, e.g., [Wei06, Lemma 3.1]).The remaining axioms of [KL04a, Section 2.1] follow easily.
The assumption U κ (R 2π ) = ½ is necessary, but we do not know whether this follows from more general assumptions (cf. the Bisognano-Wichmann property is necessary and sufficient [GLW98, Theorem 1.4], but we are not aware whether it is automatic for conformal nets on R).
There is an example of a net on R with a weaker covariance and not extending to S 1 (U κ is only a projective representation of the group generated by translations, dilations and diffeomorphisms of R with compact support): the U(1)-current net with the perturbed stressenergy tensor [BSM90], see also the discussion in [MT19, Section 5.2].

Representations of chiral conformal nets
A representation of a conformal net A κ (or more precisely of (A κ , U κ , Ω κ )) on S 1 is a family of representations ρ = {ρ I } of {A κ (I)} I∈I on a single Hilbert space H ρ κ , which is compatible in the sense that if of a neighborhood U of the unit element of Diff + (S 1 ) with the same cocycle as that of U κ such that U ρ κ (γ) = ρ(U κ (γ)) if supp γ ⊂ I for some I and Ad U ρ κ (γ)(ρ(x)) = ρ(Ad U κ (γ)(x)) for x ∈ A κ (I) for some I, γ ∈ U (the last restriction is why we call it a local representation).U ρ κ extends to Diff + (S 1 ) as a projective representation because Diff + (S 1 ) is simply connected.Moreover, its restriction to Möb is a true representation and it has automatically positive energy [Wei06,Theorem 3.8].Therefore, the lowest eigenvalue of the generator of lift rotations L ρ 0 is uniquely determined, and we denote it by D κ,ρ .This is called the conformal dimension.As the 2π-rotation is trivial, the spectrum of By the first part of the proof of [FH05, Theorem 5.1], the representation U ρ κ extends to a unitary multiplier representation of Diff + (S 1 ).
• If ρ, ρ ′ are two representations of A κ and there is a unitary V ∈ U(H κ ) such that V ρ I (x) = ρ ′ I (x)V , for every x ∈ A κ (I) and for all I ∈ I we say that they are unitarily equivalent.We also say that V is a unitary intertwiner between ρ and ρ ′ .
• An automorphism is said to be localized in I if ρ I ′ = id, where I ′ is the interior of S 1 \ I.In this case, ρ I maps A κ (I) to itself, i.e., it is an endomorphism (in this case an automorphism) of A κ (I), by Haag duality on S 1 , [GF93, Theorem 2.19] (i.e., A κ (I ′ ) = A κ (I) ′ for every I ∈ I, cf.[BSM90]).Given ρ localized in I 1 , one can always find a unitarily equivalent automorphism localized in another interval I 2 .(More generally, every representation of a conformal net on a separable Hilbert space can be localized in any given interval, [GF93, Lemma 4.6]).If I 1 ∪ I 2 is not dense in S 1 , one can take a proper interval I that contains I 1 ∪ I 2 , and by Haag duality on S 1 , the unitary operator V implementing the equivalence belongs to A κ (I).Such a V is called a charge transporter.
• The DHR tensor (or monoidal) product of representations ρ 1 and ρ 2 is defined by the composition of the associated endomorphisms (automorphisms in this case) localized in each I.Note that the tensor product is not given by considering the tensor product Hilbert space, which would not give a well-defined family of representations of the local algebras.In symbols, (ρ 1 ) I ⊗ (ρ 2 ) I := (ρ 1 ) I • Let ρ 1 , ρ 2 be two automorphisms localized in I.In order to define the DHR braiding [DHR71], [FRS89] between ρ 1 and ρ 2 , let us choose a point on S 1 , identified with the point at infinity by means of the corresponding stereographic projection onto R. Take ρ 1 , ρ 2 localized in I 1 , I 2 , respectively, such that I 1 ∩ I 2 = ∅, I 1 , I 2 are away from infinity, and take charge transporters V 1 , V 2 between ρ 1 and ρ 1 , ρ 2 and ρ 2 , respectively.The operator , where ± depends on whether I 1 is on the left or right of I 2 , is a unitary intertwiner between ρ 1 ρ 2 and ρ 2 ρ 1 with all the properties of a unitary braiding in a unitary tensor category.It does not depend on the choice of ρ 1 , ρ 2 or V 1 , V 2 under the same configuration of I 1 , I 2 , or on the chosen point at infinity, see, e.g., [GF93,Section IV.4].
• Let ρ be an automorphism localized in I.The conjugate automorphism ρ of ρ is the automorphism localized in I ′ given by j • ρ • j, where j = Ad J I and J I is the modular conjugation of A κ (I) with respect to the vacuum.It follows that ρ Let (B κ , U κ , Ω κ ) be a conformal net on S 1 and let {A κ } I∈I be a family of von Neumann subalgebras A κ (I) ⊂ B κ (I) satisfying covariance with respect to U κ .Then, on the subspace The restriction of U κ | H Aκ to Möb often extends to Diff + (S 1 ) and A κ | H Aκ is covariant with respect to it, in which case we say that A κ is a (conformal) subnet of B κ and write A κ ⊂ B κ for simplicity.In this case, we say that B κ is an extension of A κ .

Charged fields associated with automorphisms
Let {(A κ , U κ , Ω κ )} be a conformal net on S 1 .In this section, we assume that among its irreducible representations there are non-trivial automorphisms.In the language of tensor categories, the representations of A κ contain a (braided) pointed tensor subcategory.
The construction of charged fields and extensions performed in this section is inspired by [DHR69b] and [DR89a], [DR90] in the four-dimensional context, cf.[Bau95, Chapter 3], where the unitary tensor categories in question are in addition symmetrically braided (hence dual to a compact group [DR90]).In [DHR69b] the pointed case is investigated, as in our case.See also [Müg01] for comparison with the one and two-dimensional context.
Fix an interval I ∈ I. Let ∆ κ be a choice of mutually inequivalent automorphisms of A κ localized in I, one for each unitary equivalence class, including the trivial automorphism id (the defining vacuum representation) of A κ .Under the present assumption, the equivalence classes of automorphisms form a discrete (finite or infinite) abelian group G under class multiplication [ρ][σ] = [ρσ] (where ρσ is the composition of automorphisms) and inversion [ρ] −1 = [ρ −1 ].Let us assume that G is finitely generated, whose elements we denote by g, h, g −1 , . .., and we denote by ι the identity element.Let κ(g) ∈ ∆ κ , for every g ∈ G, be the previously made choice of automorphisms of A κ .We assume that κ(ι) = id.Without loss of generality, by suitably changing the localization of the automorphisms inside I, we may assume that κ(g)κ(h) = κ(h)κ(g) for every g, h ∈ G.Note that we are not assuming κ(g)κ(h) = κ(gh), as ∆ κ need not be closed under composition and inverses.For every g, h ∈ G, let V g,h be a unitary intertwiner in A κ (I) between κ(gh) and κ(g)κ(h) realizing the equivalence [κ(gh)] = [κ(g)][κ(h)].Namely, V g,h κ(gh)(x) = κ(g)(κ(h)(x))V g,h for every x ∈ A κ (I).We may assume that V g,h = V h,g and that V g,ι = V ι,h = 1.
For each g ∈ G, we define the operator ψ g κ acting on the Hilbert space Ĥκ := g∈G H κ(g) κ , where H κ(g) κ := H κ the vacuum Hilbert space of A κ , by setting for every Ψ ∈ Ĥκ .We call the ψ g κ charged field operators.They satisfy the following: • Each ψ g κ is unitary on Ĥκ and it maps H for every h ∈ G.
Therefore, we have the "charged field intertwiner" property (in the sense of Doplicher-Roberts [DR72]) together with its conjugate (by substituting x with κ(g) −1 (x * )): for every x ∈ A κ (I), as operators on Ĥκ .
Therefore, we have the following "covariance property" of the charged fields: for every γ ∈ Diff + (S 1 ), as operators on Ĥκ , where we used that ( * by the charged field intertwiner property of (ψ g κ ) * and the tensoriality of cocycle.
Remark 2.2.Note that the charged fields constructed above are highly non-canonical, as they depend, e.g., on the choice of V g,h for every g, h ∈ G (each V g,h is unique up to unitary equivalence).Note also that we are demanding neither ψ g κ ψ h κ = ψ gh κ , nor ψ g κ * = ψ g −1 κ for g, h ∈ G, i.e., the charged field operators need not form a group, cf.[Reh90a, Section 3].Nevertheless, by the intertwiner and covariance properties, for every choice of V g,h , they give rise to relatively local (but possibly neither irreducible, nor factorial) extensions of A κ .
Later we shall need the condition ψ g κ ψ h κ = ψ h κ ψ g κ (established in Proposition 2.3 below) on the charged fields just defined, in order to produce local extensions of tensor products by "gluing" conformal nets.Note that ψ g κ ψ h κ = ψ h κ ψ g κ , alone, does not mean locality of the extension.Note also that the group multiplication condition ψ g κ ψ h κ = ψ gh κ would imply the commutativity condition Proposition 2.3.In the notation of this section, suppose that G = Z n whose elements we label by {0, 1, . . ., n−1} modulo n, and let α ∈ ∆ κ be an automorphism localized in I such that Proof.Only in this proof, we use the additive notation g + h for the group operation.
We first note that with our choice V g,h κ(g + h) = κ(g)κ(h)V g,h .By taking the representative g, h ∈ {0, 1, . . ., n − 1}, this can be checked by cases depending on whether g + h ≥ n or g + h < n and using that κ(g) = κ(1) g .
From the definition, it is straightforward that ψ 1 κ (where the upper index 1 is the group element, not the exponent) is the product of a shift on g∈G H κ(g) κ = g∈G H κ as a Hilbert space followed by 1 or V , and that ψ g κ = (ψ 1 κ ) g , again with g ∈ {0, 1, . . ., n − 1}.From this it is clear that ψ g κ , (ψ g κ ) * and ψ h κ commute.Now let G be a finitely generated abelian group.Then it is isomorphic to a finite product of cyclic groups Z n or Z.Let us assume that ∆ κ is a choice of mutually inequivalent automorphisms of A κ localized in I and their equivalence classes form G as a group.For each of the finite cyclic groups Z n in G, we can choose a generator in ∆ κ localized in a smaller interval I ⊂ I.For each of these generators, we choose V h,g ∈ A(I) as in Proposition 2.3, constructing the operator ψ h κ for such h, g ∈ Z n .We can make this choice for each copy of Z n by choosing finitely many mutually disjoint smaller intervals inside I, obtaining commuting operators ψ h κ , ψ g κ where g, h are in different finite cyclic groups in G.For each of the copies of the infinite cyclic group Z, we can take a generator 1 and we may assume that κ(g) = κ(1) g for all g ∈ Z, thus we can set V g,h := ½ and ψ g κ ψ h κ = ψ gh κ for every g, h ∈ Z. Altogether, we obtain charged fields Section 6], thus (ψ g ) * = ψ g −1 and the rest of our construction works as well.This happens with the U(1)-current net with G = Q or R.

Two-dimensional conformal nets
In [KL04b], it was shown that any Haag-Kastler net on R 1+1 that is locally conformally covariant extends to the Einstein cylinder, using a slight modification of the conformal spinstatistics theorem [GL96], [MT19, Theorem A.5].To state this result precisely, let us start with a net on R 1+1 .We call a triple (A, U, Ω) a conformal net on (2dCN4) Positivity of energy: the restriction of U to the translation subgroup R 2 ⊂ Möb × Möb has the joint spectrum contained in the closed forward light cone Vacuum and the Reeh-Schlieder property: there exists a unique (up to a phase) vector Ω ∈ H such that U(g)Ω = Ω for g ∈ Möb and is cyclic for any local algebra, namely If there is a conformal net on R 1+1 as above, we can consider it as a net on the diamond D 0 = (−π, π) × (−π, π) as in Section 2.1.With this identification, the group Diff + (S 1 ) × Diff + (S 1 ) acts on R × R, and we can extend the net A by covariance.However, this extension is not very natural.Indeed, it often happens that the conformal net extends to E rather than to R × R. We say that (A, U, Ω) is a conformal net on E if A is defined for regions in E, covariant with respect to U along the natural action of Diff + (S 1 ) × Diff + (S 1 ) and local in the sense that A(O 1 ) and A(O 2 ) commute whenever there is a translation γ of the cylinder such that D 0 contains γ • O 1 , γ • O 2 and they are spacelike there.A sufficient condition is given in [MT19, Theorem A.5] (the Bisognano-Wichmann property for wedges), however, it is not immediate to check it in the examples we construct.Instead, the following is easier to check and gives immediately the desired extension.
Proposition 2.5.Let (A, U, Ω) be a conformal net on R 1+1 .Assume furthermore that extends to a conformal net on E.
Proof.This is parallel to Proposition 2.1.
coincide.Therefore, we can identify any point x on R × R and R 2π × R −2π • x, and obtain the Einstein cylinder E. Covariance follows by definition, and locality in the sense above follows from covariance and locality in D 0 .
In the situation of Proposition 2.5, our net (A, U, Ω) is equivalent to a local conformal net in the sense of [KL04b, Section 2].
Rehren introduced the maximal chiral nets of a two-dimensional conformal net (A, U, Ω) that extends to E [Reh00]: let where ι is the unit element of Diff + (S 1 ).Then A max L is a priori a conformal net on R defined on the Hilbert subspace H L = A max L Ω, and satisfies the condition of Proposition 2.1, therefore, it extends to S 1 .Similarly, one can define 3 One-dimensional gluing from trivial total braiding In this Section, from a family of conformal nets on S 1 satisfying certain conditions, we construct local extensions of their tensor products.Let us start with a finite collection conformal nets We fix an interval I ∈ I.We assume that each A κ admits a (not necessarily finite) collection ∆ κ of mutually inequivalent and commuting automorphisms localized in I, containing the trivial automorphism id κ , and whose fusion rules (up to unitary equivalence) are isomorphic to the same abelian group G, as in Section 2.2.3.This group G should be either a finitely generated abelian group, or we assume that we can choose elements in ∆ κ and charged fields ψ h κ as in Section 2.2.3, fulfilling the conclusions of Proposition 2.3 (for each κ ∈ K).Denote also by κ : G → ∆ κ a bijection (not necessarily an isomorphism, as each ∆ κ need not be closed under composition and inverses), such that κ(ι) = id κ , for each κ ∈ K.Here κ is used as an index as well as a map, with a slight abuse of notations, hence κ(g) is an automorphism of A κ .Furthermore, we assume that, for all g 1 , g 2 , g ∈ G, • κ ǫ ± κ(g 1 ),κ(g 2 ) = 1, where the choice of ± above is common for all κ, and we denoted by the same symbol ǫ ± κ(g 1 ),κ(g 2 ) the phase multiple of ½ (the trivial intertwiner between κ(g 1 )κ(g 2 ) and itself) associated with the braiding of κ(g 1 ) and κ(g 2 ).This makes sense by the commutativity assumption on ∆ κ , namely κ(g 1 )κ(g 2 ) = κ(g 2 )κ(g 1 ).Now we construct a conformal net A K on S 1 as follows.
• The Hilbert space of our net is On this space, we let any operator of the form κ x κ ∈ κ A κ (I) act3 as g∈G κ κ(g)(x κ ).Denote this representation of the tensor product net κ A κ by K.
• We also consider an auxiliary tensor product space ĤK := κ∈K g∈G H κ(g) κ ⊃ H K .The representation of the element κ x κ on this space is denoted by K( κ x κ ).We have K( κ x κ )| H K = K( κ x κ ).
• The vacuum vector of the net A K will be Ω • The covariance is given by U K (γ) := g∈G κ U κ(g) κ (γ), which is a unitary multiplier representation of Diff + (S 1 ).By the condition that κ D κ,κ(g) ∈ Z, U K satisfies the assumptions of Proposition 2.1 and is a unitary multiplier representation of Diff + (S 1 ).Thus by ignoring the phase, it is a unitary projective representation of Diff + (S 1 ).This also extends naturally to ÛK on ĤK .
• For each element g ∈ G, we introduce the charged field operator ψ g K as follows.Our Hilbert space in a natural way, where recall that Ĥκ was defined and used in Section 2.2.3.Let where ψ g κ are charged fields acting as in Section 2.2.3 on Ĥκ , hence ψ g K acts on κ Ĥκ but preserves H K .Now, for the ψ g κ we make the choice of the V g,h leading to the conclusions of Proposition 2.3 and comments thereafter.Namely, we choose charged fields such that ψ g κ ψ h κ = ψ h κ ψ g κ and (ψ g κ ) * ψ h κ = ψ h κ (ψ g κ ) * for every g, h ∈ G.
• From the charged intertwiner property (2.1), it follows that • The local algebras are given as follows.For the interval I fixed above, we set For any other interval γ • I ⊂ R given by the action of a diffeomorphism γ, we set ).We will show below that this net is well-defined, diffeomorphism covariant, local, and it extends to S 1 .
Theorem 3.1.Let {(A κ , U κ , Ω κ )} κ∈K as above and assume that {∆ κ } κ∈K , their braiding and D κ,κ(g) satisfy the conditions stated at the beginning of this section.Then the net (A K , U K , Ω K ) satisfies (1dCN1)-(1dCN5) and the condition of Proposition 2.1, hence provides a conformal net on S 1 , extending the chiral tensor product net κ A κ .
Proof.Although the calculations will be similar to those of [MTW18, Section 6], the setting is different because we construct a chiral net on S 1 , instead of two-dimensional on E. Let us present the proofs to exhibit why this works for tensor products of |K| factors.
Let us first compute on the auxiliary Hilbert space κ Ĥκ with ÛK (γ) := κ Ûκ (γ), where Ûκ (γ) = h∈G U κ(h) κ (γ) was defined and used in Section 2.2.3.Using the covariance property of charged fields (2.2) (i.e., the formula for the adjoint action of Ûκ (γ) on ψ g κ acting on each Ĥκ ), we get Furthermore, we also have by the commutation condition we imposed on the charged fields ψ g κ , ψ h κ , and (ψ g κ ) * .We have to make sure that A K (γ •I) is well-defined, that is, the definition does not depend on the choice of γ.This question reduces to whether Ad This is true because we can check the inclusion for γ with compact support and generating elements of A K (I): because z κ(g) (γ) ∈ A κ (I).As a general γ can be written as a product of diffeomorphisms with compact supports, this gives the inclusion Ad U K (γ)(A K (I)) ⊂ A K (I), and the converse inclusion is obtained by applying this to γ −1 .With this well-definedness, the first part of covariance (1dCN3) follows by definition.Concerning the second part, if supp γ is disjoint from I, then U K (γ) commutes both with K ( κ A κ (I)) by covariance of A κ .Furthermore, U K (γ) commutes with ψ g K because componentwise ψ g K is a product of the shift and an element in κ A κ (I), while U K (γ) ∈ K ( κ A κ (I ′ )) and this commutes with the shift because the κ(g) are localized in I.
Positivity of energy (1dCN4) follows because U K is a direct sum of positive-energy representations.The vacuum Ω K is invariant under U K | Möb because it is the tensor product of the vacuum vectors of A κ .It is cyclic for A K (I 1 ), where I 1 ⊂ I ′ , because A K (I 1 )Ω K spans κ H κ due to the cyclicity of the vacua of A κ , and the whole H K , since A K (I 1 ) contains the shifts K(z g (γ))ψ g K (up to a unitary on the left).From the assumption κ D κ,κ(g) ∈ Z for each g ∈ G, we can apply Proposition 2.1.
As for locality, we take γ such that γ •I is disjoint from I. We have to show that generating elements K( κ x κ ), This is easy except the one involving ψ g 1 K and Ad U K (γ)(ψ g 2 K ).As we have seen, Therefore, to compute the commutator, and Now observe that z κ(g 2 ) (γ) * κ(g 1 )(z κ (g 2 )(γ)) = ǫ ± κ(g 1 ),κ(g 2 ) (the DHR braiding, a scalar in the case of automorphisms κ(g 1 ) and κ(g 2 )) where the ± sign depends only on whether γ moves I to the left or to the right, and the choice of ± is common for all κ).Hence the two left hand sides above are equal if and only if κ ǫ ± κ(g 1 ),κ(g 2 ) = 1 and follows too by replacing κ(g 1 ) by κ(g 1 ) −1 and using the condition κ ǫ ± κ(g 1 ) −1 ,κ(g 2 ) = 1 and (ψ

Locality for general intervals follows from the previous paragraph and covariance.
If all A κ are strongly additive, that is, A κ (I 3 ) = A κ (I 1 ) ∨ A κ (I 2 ) where I 1 , I 2 is obtained by removing one point from I 3 , then A K is strongly additive, too.This can be seen by taking This construction can be carried out even if there is only one index κ, if the condition ǫ ± κ(g 1 ),κ(g 2 ) = 1 is satisfied.When applied to the U(1)-current net, this gives the extensions considered in [BMT88], cf.Section 6, where G = Z, the map κ is a group isomorphism, and κ(g 1 ), κ(g 2 ) are powers of the same fixed automorphism κ(h) having ǫ ± κ(h),κ(h) = 1 (bosonic automorphism).

Two-dimensional conformal field theory arising from braiding-cancelling map
With an idea similar to that of Section 3, we construct conformal nets on R 1+1 .Here we start with left and right chiral components, take their tensor product as a two-dimensional conformal net, then find extensions of it.The problem of constructing extensions on R 1+1 by adding "charged fields" associated with suitable subgroups of automorphisms on top of a tensor product theory has also been tackled in [Reh90b, Section 5], see in particular [Reh90b, Proposition 5.5], within the framework of the reduced field bundle [FRS89], [FRS92].

Extensions with pointed tensor category
Let us start with a pair of conformal nets A L , A R on S 1 .We fix an interval I ⊂ S 1 .As in Section 3, we assume that A L and A R admit, respectively, a family ∆ L , ∆ R (finite or infinite) of mutually inequivalent and commuting automorphisms localized in I, containing the trivial automorphism id L , id R , and whose fusion rules (up to unitary equivalence) are isomorphic to the same abelian group G, cf.Section 2.2.3.This group G should be either finitely generated, or we assume that we can choose elements in ∆ L , ∆ R and charged fields ψ g L , ψ g R with the commuting property as in the conclusions of Proposition 2.3 (for κ = L, R) and comments thereafter.In this section, we denote by L, R (instead of κ) the bijections from G to ∆ L , ∆ R , respectively, corresponding to the choice of automorphisms, and by D L(g) , D R(g) , where g ∈ G, the conformal dimensions of the associated automorphisms.
We assume that • ∆ L and ∆ R contain the trivial automorphisms id L , id R of A L and A R , corresponding to the identity element ι of G via L(ι) = id L , R(ι) = id R .
We denote by the same symbol ǫ ± L(g 1 ),L(g 2 ) the phase multiple of ½ (the trivial intertwiner between L(g 1 )L(g 2 ) = L(g 2 )L(g 1 ) and itself) associated with the braiding of L(g 1 ) and L(g 2 ).
With this input, we construct a conformal net A on R 1+1 as follows.
• The full Hilbert space is On H, any operator of the form ) (see the footnote 3 for this notation).Denote this representation by τ .

• The vacuum vector of
• The covariance is given by U , which is a unitary projective representation of Diff + (S 1 ) × Diff + (S 1 ).By the assumption that D L(g) − D R(g) ∈ Z, U satisfies the condition of Proposition 2.5.
• Note that H can be seen as a subspace of ĤL ⊗ ĤR := g∈G H in a natural way.We denote L := g∈G L(g), R := g∈G R(g).
• Let ψ g L , ψ g R be as in Section 2.2.3, with the V g,h chosen as in Proposition 2.3.For each g ∈ G, we introduce the charge operator ψ g as follows It is then clear that ψ g preserves H.
From this definition and by (2.1), it follows that just as in (3.1).
• The local algebras of A are given as follows: For the diamond I × I, we set Theorem 4.2.The net ( A, U , Ω) satisfies (2dCN1)-(2dCN5) and the condition of Proposition 2.5, hence provides a conformal net on E, extending the two-dimensional conformal net Proof.Most of the properties, well-definedness of A, (2dCN1)-(2dCN5) except for (2dCN2) and the condition of Proposition 2.5 can be verified as in [MTW18, Section 6], using the assumption D L(g) − D R(g) ∈ Z.As for locality, in the proof of [MTW18, Section 6], it is only important that ǫ ± L(g 1 ),L(g 2 ) = ǫ ∓ R(g 1 ),R(g 2 ) as scalars, which we assume.The commutation between ( ψ g 1 ) * and Ad U(γ Therefore, the proof of locality (2dCN2) works as well.

Comparison with Longo-Rehren extensions
In this section, we review the so-called Longo-Rehren extensions introduced in [LR95, Proposition 4.10], see also [Mas00], [KLM01, Appendix A], [BKLR15, Section 3.3] and references therein, and we interpret them as "generalized shift constructions".Later, we shall relate them to the extensions presented in the previous sections.
Let N be an infinite factor (e.g., N = A κ (I) a local algebra of a conformal net on S 1 ).Let C be a unitary fusion category (not necessarily braided, for the moment) realized as a full subcategory of End(N ), the set of normal injective unital *-endomorphisms of N .For the preliminaries on unitary fusion categories (realized, without loss of generality, as endomorphisms of von Neumann algebras) we refer, e.g., to [BKLR15], [EGNO15].We use the notation Hom C (ρ, σ) for the spaces of intertwiners V ∈ N between ρ and σ objects in C, namely V ρ(x) = σ(x)V for every x ∈ N , the arrows in our subcategory of endomorphism.
For every unitary equivalence class of irreducible objects in C, choose one representative ρ i , i = 0, . . ., n, with ρ 0 = id, and denote ∆ := {ρ 0 , . . ., ρ n }.Note that, if C, D ⊂ End(N ) are two unitary fusion categories, then the Deligne tensor product C ⊠D [BK01, Definition 1.1.15]can be realized in End(N ⊗N ), where N ⊗N is the spatial tensor product4 von Neumann algebra.Next, let J : N → N J be an antilinear isomorphism of von Neumann algebras, where N J := J (N ), e.g., the natural involution J : x → x * , where N J ∼ = N opp .Consider the unitary fusion category C J ⊂ End(N J ) with objects ρ J := J • ρ • J −1 ∈ End(N J ), where ρ is an object in C, and with arrows t J := J (t), where t is an arrow in C.
The Longo-Rehren extension of the spatial tensor product von Neumann algebra N ⊗N J (an irreducible finite index unital inclusion of factors N ⊗N J ⊂ M) is specified by the irreducible Q-system (Θ LR , W LR , X LR ) in C ⊠ C J ⊂ End(N ⊗N J ) defined as follows.Let The direct sum is defined by choosing a family of n+ 1 isometries T i,i ∈ N ⊗N J , i = 0, . . ., n, "mutually orthogonal" in the sense that T * i,i T i ′ ,i ′ = δ i,i ′ ½, and "complete" in the sense that i=0,...,n T i,i T * i,i = ½, and letting Θ LR (x) := i=0,...,n T i,i ρ i ⊗ρ J i (x)T * i,i for every x ∈ N ⊗N J .Hence, by definition, T i,i ∈ Hom C⊠C J (ρ i ⊗ρ J i , Θ LR ) for every i = 0, . . ., n.Note that the endomorphism Θ LR is not a "simple tensor" in C ⊠ C J , unless n = 0.
Let W LR := T 0,0 ∈ Hom C⊠C J (id ⊗ id, Θ LR ) be the unit of the Q-system and let be the comultiplication of the Q-system, where V ∈ N runs in a chosen orthonormal basis of N k i,j (= the multiplicity of ρ k in ρ i ρ j , possibly 0) isometries of Hom C (ρ k , ρ i ρ j ) (whose dimension indeed equals N k i,j ) for every fixed i, j, k = 0, . . ., n, with respect to the inner product The definition of X LR is independent of this choice because J is antilinear.Note that T i,i ⊗ T j,j denotes the tensor product of arrows in the category of endomorphisms, and that both X LR and W LR belong to N ⊗N J .The normalizations read W * LR W LR = ½ and Let ψ j,j := Θ LR (T * j,j )X LR ∈ M −1 , for every j = 0, . . ., n.Each ψ j,j has the "charged field intertwiner" property on M −2 ⊂ M −1 in the sense of Doplicher-Roberts [DR72], i.e., We refer to the ψ j,j as the charged fields of the Longo-Rehren Q-system (Θ LR , W LR , X LR ).Such charged fields can be defined for every other Q-system of endomorphisms.As X LR = j=0,...,n Θ LR (T j,j )ψ j,j , because j=0,...,n T j,j T * j,j = ½, it holds Setting H j,j := T j,j T * j,j H ⊗H J , for every j = 0, . . ., n, yields an orthogonal decomposition Note that H 0,0 is the range of the Jones projection e −2 = T 0,0 T * 0,0 = W LR W * LR .Moreover, by definition of X LR and T i,i ⊗ T j,j = Θ LR (T j,j )T i,i , it follows where the first sum runs over all i, k such that Hom(ρ k , ρ i ρ j ) = 0 for fixed j, and the second sum runs over V in the chosen orthonormal basis of isometries in Hom C (ρ k , ρ i ρ j ).Note that, while M −2 acts diagonally on H ⊗H J by the very definition of Θ LR , the charged fields ψ j,j 's mix different components.
Remark 4.4.In the special case of pointed unitary fusion categories C (in particular, d(ρ i ) = d(ρ j ) = d(ρ k ) = 1 and the fusion ring is a finite group), then all vector spaces Hom C (ρ k , ρ i ρ j ) have either dimension 1 or 0. In this case each ψ j,j operates as a "right j −1 shift operator" on the grading of H ⊗H J , mapping each subspace H k,k , k = 0, . . ., n, to the subspace Moreover, for every j, j ′ = 0, . . ., n, Note that, as ∆ is fixed, V, V ′ are both unique up to a phase factor, and J is antilinear, hence the irrelevance of their choice is immediately evident in the pointed case.If we could choose ∆ to be a group (i.e., closed under multiplication, as ρ 0 = id), then using ) for some ρ h ∈ ∆ such that ρ j ρ j ′ = ρ h , then it would follow that ψ j,j ψ j ′ ,j ′ = ψ h,h .If we chose the inverse (which is a conjugate in the case of automorphisms) of some ρ j to be some ρ l ∈ ∆, together with ρ 0 = id, then ψ * j,j = ψ l,l .If C is in addition braided, not necessarily pointed, and C J is endowed with the braiding induced by J , then the Longo-Rehren Q-system is commutative.See the discussion following the proof of [LR95, Proposition 4.10] and cf.[BKLR15, Proposition 4.21].Let ǫ ± ρ i ,ρ j be the braiding in C and its opposite, then the commutativity condition reads ǫ ± Θ LR ,Θ LR X LR = X LR , i.e., for every i, j = 0, . . ., n, where ǫ ± ρ i ,ρ j ⊗ ǫ ±,J ρ i ,ρ j is the braiding between ρ i ⊗ρ J i and ρ j ⊗ρ J j in C ⊠ C J , the irreducible summands of Θ LR .
Remark 4.5.If C is braided and pointed, then each braiding ǫ ± ρ i ,ρ j is a phase multiple of any fixed unitary intertwiner U ∈ Hom C (ρ i ρ j , ρ j ρ i ) (both ρ i ρ j and ρ j ρ i are automorphisms hence irreducible).Thus ǫ ± ρ i ,ρ i ⊗ ǫ ±,J ρ i ,ρ i = ½ ⊗½ for i = j, by taking U = ½ and by the antilinearity of J .Equivalently, the statistical phase of each ρ i ⊗ρ J i is +1 (all bosonic automorphisms in C ⊠ C J ) being equal to the (phase associated with the) self-braiding in the case of automorphisms.If, in addition, ρ i ρ j = ρ j ρ i for every i = j as automorphisms of N (e.g., by spacelike localization in the case of DHR automorphisms and N = A κ (I), or if ρ i and ρ j are different powers of the same automorphism as for cyclic groups), then one can take U = ½ as well, and ǫ ± ρ i ,ρ j ⊗ ǫ ±,J ρ i ,ρ j = ½ ⊗½ for every i, j = 0, . . ., n.In the latter case of commuting automorphisms, the commutativity of the Longo-Rehren Q-system for braided pointed fusion categories reads ψ i,i ψ j,j = ψ j,j ψ i,i .
If we take C to be the representation category of a (completely) rational conformal net on R or S 1 , then C is necessarily unitary fusion (finitely many sectors) and braided (also modular, see, e.g., [BK01]), equipped with the DHR braiding, by a result of [KLM01].Then the Longo-Rehren Q-system provides an irreducible finite index local (by the commutativity property (4.4)) and "diagonal" extension ÃLR of the tensor product conformal net A κ ⊗A J κ on R 1+1 (with equal left and right chiral components), by choosing N ⊗N J = A κ (I) ⊗A κ (I) J , where I is an interval on R symmetric around the origin, and J the modular conjugation with respect to A κ (R + ), Ω κ (with this choice, ρ J i ∼ = ρi , hence in particular ρ J i ∼ = ρ −1 i in the pointed case).See [LR95, Theorem 4.9], cf.[DG18, Theorem 6.8], for the general construction of extensions from arbitrary Q-systems in the representation category of a local net, and the comments after the proof of [LR95, Proposition 4.10] for the Longo-Rehren Q-system.
5 Conformal Wightman fields from charged primary fields

Conformal Wightman axioms
Here we show that to some of the extensions we discussed in Sections 3 and 4 we can associate conformal Wightman fields, as we define below.It is natural to expect that such Wightman fields on R 1+1 also extend to E as conformal nets do, and hence we formulate Wightman fields on E.
For simplicity, let us start with chiral fields on S 1 .Let us see S 1 ⊂ C and the counterclockwise direction as the lightlike direction when S 1 is seen as the one-point compactification of R as in Section 2.1.
A conformal Wightman field on S 1 with conformal dimension D is a quantum field that transforms as the tensor field f d dθ ⊗D−1 under diffeomorphisms as (1dW2) below, and such a field is called a primary field: Note that γ is orientation-preserving, hence X is strictly positive and (X γ (γ −1 (z))) D−1 is bounded below by some positive number for a fixed γ.
A conformal Wightman field theory on S 1 is a family of operator-valued distributions {φ κ,j } (κ is a fixed label, while j indexes the family) on S 1 , closed under the conjugate (φ † κ,j is also in the family), with corresponding conformal dimensions {D κ,j } defined on a common invariant dense domain D ⊂ H κ , a unitary projective representation U κ of Diff + (S 1 ) and a vector Ω κ ∈ H κ such that (1dW1) Locality: for f, g ∈ C ∞ (S 1 ) with disjoint supports, [φ κ,j 1 (f ), φ κ,j 2 (g)] = 0 on D.
(1dW3) Positivity of energy: the spectrum of rotations of U κ is contained in N ∪ {0}.
A general two-dimensional conformal field is not chiral and depends on both lightlike variables.There are fields called primary fields and they are distinguished by the conformal dimensions (D L , D R ), where D L , D R > 0 and can be non-integer.We set ).This can be extended to C if D L − D R ∈ Z, which we always assume (cf.Section 4.1).Let H be the generator of {R t × R t : t ∈ R} in U, which plays a similar role to that of L 0 in chiral fields.
A conformal Wightman field theory on E is a family of operator-valued distributions { ψ j } on E, closed under conjugation, with corresponding conformal dimensions {(D L,j , D R,j )} defined on a common invariant domain D ⊂ H consisting of vectors of the form ψ j 1 (f 1 ) • • • ψ jn (f n )Ω, a unitary projective representation U of C and a vector Ω ∈ H such that (2dW1) Locality: for f, g ∈ C ∞ (E) with spacelike separated supports, [ ψ j 1 (f ), ψ j 2 (g)] = 0.
(2dW2) Diffeomorphism covariance: U(γ) preserves D and it holds that for γ ∈ C (2dW3) Positivity of energy: the joint spectrum of the translation subgroup of R 1+1 in U is contained in the closed forward light cone (2dW4) Vacuum and the Reeh-Schlieder property: there exists a unique (up to a phase) vector Ω ∈ H such that U(γ)Ω = Ω for γ ∈ Möb × Möb/R and H is spanned by vectors of the form (2dW5) Polynomial energy bounds: it holds that D = C ∞ (H) and there are p j > 0 such that, for Ψ ∈ C ∞ (H), for some C f > 0 depending only on f .
As is well-known, linear energy bounds (p j = 1) assure that the conformal Wightman fields commute strongly.

Formal series of operators
Let A s be a family of operators parametrized by s ∈ R. By a formal series we mean a symbol of the form s A s z s , where the summation actually has no meaning.We refer to A s as Fourier components of a formal series.One can consider sums and scalar multiples of such formal series: The product of two formal series is not always defined, but in some cases there is a natural product.We define the product of s A s z s and s B s z s as the formal series s C s z s with the coefficient C s = t∈R A s−t B t , whenever these sums make sense.
Similarly, we consider formal series in two or more variables.If we have two formal series in two different variables z, w, the product s A s z s t B t w t = s,t A s B t z s w t makes always sense.A product of such formal series in two variables is defined similarly as above.
A typical case we use in this paper is when the vector spaces are graded as V j = t∈N+h j V j t , where j = 1, 2, h j ∈ R and A s are operators V 1 t → V 2 t−s and they are nonzero only for s ∈ Z + D for some D ∈ R and t − s ∈ N + h 2 .We also consider the situation where V = j V j and s A s is a formal series on V , that has the form for each pair V j 1 , V j 2 as above (and D j 1 ,j 2 may depend on j 1 , j 2 ).Let s A s z s , s B s z s such two formal series with [A s 1 , B s 2 ] = 0 for all s 1 , s 2 ∈ R. In the situation of the previous paragraph, we can define the product s A s z s t B s z s = s z s t A s−t B t (this is a special case of normal product, see [CTW23, Section 2.1]): indeed, for each vector Ψ ∈ V the sum over t is finite because either A s−t Ψ or B t Ψ vanishes for large |t|.Therefore, the sum t A s−t B t defines an operator on V and this is a formal series on V .

Charged primary fields
We continue studying a single chiral component, but we omit κ from certain parameters that do not appear later.We assume that a conformal net (A κ , U κ , Ω κ ) on S 1 is generated by conformal Wightman fields {φ κ,j } which commute strongly when smeared with test functions with disjoint supports.
Unitary operators e iφ κ,j (f ) with compactly supported f are represented in a representation ρ as a unitary operator, and the question arises whether the operator ρ(φ κ,j (f )) makes sense and whether it is the generator of ρ(e iφ κ,j (f ) ).This property is called strong integrability, and veryfing it in examples is a non-trivial problem (although it holds in interesting cases, like the U(1)-current [CWX,Gui20]).Furthermore, we can also consider localized unbounded intertwiners between representations and there is the problem whether the commutation relations between them hold strongly (strong intertwining property and strong braiding) [Gui20], see also [Ten19b,Ten19a].These properties should be useful in comparing the extension of nets and Wightman fields, see Remark 5.8.
Let κ(g) be an automorphism of the conformal net A κ for g ∈ G as in Section 2.2.We consider the Fourier components of chiral fields and assume that they have corresponding operators φ κ(g) κ,j,n on the representation spaces H κ(g),fin κ , where V fin denotes the linear span of eigenspaces V t = ker(L κ,0 − t) of L κ,0 , where L κ,0 is represented on V as an unbounded operator.We denote the algebraic direct sum of the φ κ(g) κ,j,n over g ∈ G by φκ,j,n defined on the (algebraic) linear span .Let (A κ , U κ , Ω κ ) be a conformal net on S 1 generated by fields {φ κ,j } with conformal dimensions {D j } as above and a collection ∆ κ of automorphisms to which there is a bijective map κ from a group G.A charged primary field {ψ h κ (ξ, s)} s∈R is a family of operators (labelled by h ∈ G and ξ in some index set 5 Ξ depending on κ and h), acting on the domain alg g∈G H κ(g),fin κ with the associated formal series , where D h > 0 is the conformal dimension and z is the formal variable, such that , and there is ℓ h,g ∈ R such that ψ h κ (ξ, s) = 0 only for s ∈ ℓ h,g + Z.
5 Examples where we need all these labels are the WZW models associated with a simply laced, simply connected, simple, connected compact group G (different from the group above) at level 1.The sectors are parametrized by the center Z(G), which can be identified with Λ W /Λ R , the weight lattice quotiented by the root lattice [TL97, Lemma I.2.1.1].The primary fields are of the form Φ µ (z), where µ is a minimal weight of G [TL97, Section V.5.3].In this example, h is µ + Λ R ∈ Λ W /Λ R , while µ is one of minimal weights, playing the role of ξ in our notations.See [TL97, Theorem V.5.3.2] for relative locality of these fields.
• As formal series, the braiding relation holds: β n (−u) n as a formal series, where .
• We assume that the family of charged primary fields is closed under conjugation, in the sense that for given h, ξ there are h, ξ such that ψ h κ (ξ, z) * = ψ h κ ( ξ, z), with the convention z * = z −1 in the formal series expansion.
We further assume polynomial energy bounds:
Proof.Let z 0 ∈ S 1 , z 0 = −1 such that arg supp f < arg z 0 < arg supp g, and I + be the interval on S 1 from z 0 to −1 (counterclockwise) while I − be the interval on S 1 from −1 to z 0 , hence we have supp f ⊂ I − , supp g ⊂ I + (see Figure 2), and put )e −itθ dθ.As f, g are smooth, these coefficients are rapidly decaying.The product )Ψ 2 can be considered as a formal series in w, z with coefficients in C, and by the first assumption on charged primary fields, it is just a countable sum.Furthermore, these coefficients of w s z t vanish for s large and t small, because each H κ(h j ),fin κ is a positive-energy representation of the Virasoro algebra.By polynomial energy bounds, it can be seen as a distribution in w, z, which we denote again by ϕ 1 (w, z).Then it holds that ϕ 1 (f, g) = ϕ 1 (s, t)f s g t , where ϕ 1 (s, t) is the coefficient of the formal series ϕ 1 (w, z) of w s z t (with a slight abuse of notation).
Let a < 1 and b > 1.We introduce ϕ a,b 1 (z, w) := Ψ 1 , ψ h 1 κ (ξ 1 , bw)ψ h 2 κ (ξ 2 , az)Ψ 2 , then it has only finitely many terms with negative powers in z and those with positive powers in w, therefore, it is a convergent series for |z| = |w| = 1 again by the polynomial energy bounds and the choice a < 1, b > 1.Now it can be seen as a function on I − × I + , thus defines a distribution and ϕ a,b 1 (f, g) = ϕ a,b 1 (s, t)f s g t , in the sense above.Furthermore, as a → 1, b → 1, this converges to ϕ 1 (f, g).
The formal series (1 − z w ) α(h 1 ,h 2 ) has only negative powers in w and positive powers in z, therefore, the product makes sense again as a formal series (see the remark on formal series above).Again by polynomial energy bounds, these coefficients grow only polynomially in s, t.Therefore, it can be seen as a distribution with two variables w ∈ I − , z ∈ I + , which we denote by ϕ 2 (w, z).Define also ϕ a,b 2 (w, z) = ϕ 2 (bw, az).As a → 1, b → 1, each coefficients converge, and ϕ a,b 2 (f, g) converge as distributions to ϕ 2 (f, g) by polynomial energy bounds.
Note that the expansion (1 − u) β = n≥0 β n (−u) n converges for |u| < 1, and can be analytically continued to C \ [1, ∞).This expansion coincides with the definition (1 − u) β = e β log(1−u) as an analytic function in u ∈ C \ [1, ∞), where log w is defined on C \ (−∞, 0] and log w ∈ R when w ∈ (0, ∞) (the last condition fixes a branch of log w uniquely).We use the same continuation for log w when w β = e β log w is considered as a function.If we consider (1 − w z ) α(h 1 ,h 2 ) as a function in w, z, we can multiply it to the above distribution ϕ 1 and obtain a distribution in I − × I + , which we denote by ϕ 3 (w, z).We also introduce ϕ a,b 3 (w, z) = ϕ 3 (bw, az).Then ϕ a,b 3 (f, g) converges to ϕ 3 (f, g) as a → 1, b → 1 because both ϕ a,b 1 (w, z) and (1 − bw az ) α(h 1 ,h 2 ) converge as distributions and smooth functions on ) can be seen as the operator-valued distribution multiplied by a smooth function (1 The circle, the point of infinity (−1) and two functions with disjoint supports.
Similarly, (1− w z ) α(h 1 ,h 2 ) ψ h 2 κ (ξ 1 , z)ψ h 1 κ (ξ 2 , w) can be seen as an operator-valued distribution.Therefore, by the braiding relation of the primary fields, we have the equality in the sense of operator-valued distributions, under the restriction on the supports of f and g.Seen as functions, the quotient of (1 . Therefore, by dividing the equation by the former factor, we obtain as desired, as operator-valued distributions.
Lemma 5.4.Assume that a charged primary field ψ h κ has conformal dimension D and satisfies polynomial energy bounds as above (we omit the dependence on ξ).Then it is diffeomorphism covariant, that is, with Ûκ the projective unitary representation of Diff + (S 1 ), Ad Ûκ (γ Let us sketch the arguments of [CKL08, Section 6.3].Note that Lκ,n is a representation of the Virasoro algebra on the dense domain Ĥfin κ in the Hilbert space Ĥκ .By polynomial energy bounds they extend to C ∞ ( Lκ,0 ).Furthermore, on this domain we have the commutation relations From this, the following relation follows: Again by energy bounds for Lκ,n , it holds that U κ (exp(tf )) preserves the domain C ∞ (L κ,0 ).For Ψ ∈ C ∞ ( Lκ,0 ), we can consider two vector-valued functions of t ∈ R and they both satisfy the differential equation Ψ ′ (t) = i Lκ (f )Ψ(t).As they satisfy the same initial condition Ψ 1 (0) = Ψ 2 (0) = ψ h κ (f 2 )Ψ, they must coincide.Therefore, we have Ad Ûκ (exp(tf 1 ))(ψ(f 2 )) = ψ h κ (β D (exp(tf 1 ))f 2 ).Recall that Diff + (S 1 ) is algebraically simple [Thu74] while the subgroup generated by one-parameter groups is a normal subgroup of Diff + (S 1 ).Therefore, they must coincide.This implies that any element in Diff + (S 1 ) is a product of elements in some one-parameter group and an element in the center {R 2πn }.Now the relation holds for all γ ∈ Diff + (S 1 ) which is a product of elements in oneparameter groups, and it is straightforward to verify it for R 2π , therefore, we have the desired covariance.

One-dimensional Wightman fields arising from trivial total braiding
Let us first assume that there are two conformal nets A 1 , A 2 on S 1 and charged primary fields ψ 1 , ψ 2 of these nets (here we omit the dependence on h ∈ G and ξ ∈ Ξ).
Proof.Let us assume polynomial energy bounds: there are r j , p j , C > 0, for j = 1, 2 such that Then, for a fixed s and Ψ such that HΨ = ℓΨ where where ⌈p⌉ is the smallest integer larger or equal to p, in the last line we estimated 1 + |s −t| ≤ For a general Ψ = ℓ Ψ ℓ , the t ψ 1 (s − t) ⊗ ψ 2 (t)Ψ ℓ are orthogonal for different ℓ.Therefore, a polynomial energy bound follows for ψ 1 (z) ⊗ ψ 2 (z).
Clearly, this estimate is not optimal.It can happen, as we will see with concrete examples, that a product of two charged primary fields whose Fourier components are bounded ψ(s) ≤ C has again bounded Fourier components.
As in Section 3, let {(A κ , U κ , Ω κ )} κ∈K be a finite family of conformal nets on S 1 generated by fields {φ κ,j } κ∈K , with a collection ∆ κ of localized automorphisms in some interval, with a common (finitely generated) abelian group structure G and a family of bijections κ : G → ∆ κ for every index κ ∈ K. Let {ψ h κ (ξ, z)} κ∈K,h∈G,ξ∈Ξκ be a family of charged primary fields satisfying the conditions of Section 5.3.
We assume that κ ǫ + κ(h 1 ),κ(h 2 ) = 1 for all pairs h 1 , h 2 ∈ G, as in Section 3. Let us pick ξ κ for each κ.Then we consider the formal series ψ h K (ξ K , z) := κ ψ h κ (ξ κ , z) acting on the auxiliary space κ Ĥκ , where ξ K = (ξ 1 , • • • , ξ K ) is an index to label the formal series for the tensor product of K factors.This is a (normal) product of two commuting formal series, hence this makes sense as a formal series, see Section 5.2.It follows from Lemma 5.5 that it makes sense as an operator-valued distribution if each of the fields satisfies polynomial energy bounds.
Theorem 5.7.The fields ψ h K , h ∈ G, together with chiral fields φ κ,j , is a conformal Wightman field theory acting on the Hilbert space then {ψ h K : h ∈ G} generates a conformal net on S 1 .Proof.The formal series ψ h K is defined on the Hilbert space κ Ĥκ .It generates vectors in H K = g∈G κ H κ(g) κ from the vacuum.Then the φ κ,j (f ) generate a dense set of vectors in each of these summands.On the other hand, no other vector is generated from ψ h K and φ κ,j acting on the vacuum.
Let us prove locality.For two test functions f 1 , f 2 with arg supp f 1 < arg supp f 2 , we have by Lemma 5.3 that giving locality as operator-valued distributions.The fields ψ h K and φ κ,j are relatively local.The representation U K is a tensor product of positive-energy representations, therefore it has itself positive energy.
If we assume linear energy bounds, then the fields strongly commute and generate a conformal net on S 1 by Theorem A.2.
Remark 5.8.We expect that the conformal net on S 1 in Theorem 5.7 generated by the conformal Wightman field is unitarily equivalent to the net extension A K constructed in Theorem 3.1.This, at least for |K| = 2, should follow by a similar argument as in the proof of Theorem 5.9.More generally, assuming properties that assures that the VOA intertwiners intertwine DHR sectors (strong integrability, strong intertwining property and strong braiding [CWX,Gui20]), it should be possible to show that the two nets coincide.We will address this question in a future publication.

Two-dimensional Wightman fields through braiding-cancelling map
From a pair of charged primary fields with the braiding satisfying certain conditions, we can construct a two-dimensional conformal Wightman field.This is in particular the case if we take two copies of the same conformal net A L = A R , with a pointed braided fusion subcategory of automorphisms whose fusion ring is isomorphic to a finite abelian group G, and we take the tensor product of the left charged fields ψ h L and ψ h −1 L , where h ∈ G, similarly to (4.1), namely acting on H L ⊗ H L .If we assume that the braidings cancel in the sense7 that ǫ + L(g),L(h) = ǫ − R(g),R(h) , we can prove locality of the combined Wightman field.We show that this corresponds to a (finite index) Longo-Rehren extension with respect to a pointed braided fusion category, [LR95], see Section 4.2.The basic idea behind these constructions is also present in the two-dimensional quantum field theory context, e.g., in [Reh97], see in particular [Reh97, Section 2.3].
Let {(A L/R , U L/R , Ω L/R )} be a pair of conformal nets on S 1 generated by fields {φ L/R,j }, with a collection ∆ L/R of (mutually commuting inequivalent) localized automorphisms in some interval (and closed under composition and inverses up to unitary equivalence), as in Section 4, with a common finite abelian group structure G and bijections L/R : G → ∆ L/R .Let {ψ h L/R (ξ, z)} h∈G,ξ∈Ξ L/R be a family of primary fields satisfying the conditions of Section 5.3.Denote ǫ + := ǫ + L(g),L(h) and ǫ − := ǫ − R(g),R(h) , for short.Then our braiding cancellation assumption reads ǫ + = ǫ − .For w 1 , w 2 ∈ S 1 \ {−1}, arg w 1 < arg w 2 , we have by Lemma 5.3 that For fixed ξ L and ξ R , let us introduce a two-dimensional formal power series by Theorem 5.9.The field ψ h is a two-dimensional conformal Wightman field on the Hilbert space . If the field satisfies a linear energy bound with respect to L0 ⊗ ½ + ½ ⊗ L0 , then it generates a two-dimensional conformal net.If G is finite, the net coincides (up to unitary equivalence) with A constructed in Theorem 4.2 in the case A L = A R .
Proof.The field ψ h satisfies two-dimensional locality: the point (w 1 , z 1 ) is spacelike to (w 2 , z 2 ) if arg w 1 < arg w 2 and arg z 1 > arg z 2 (or the reversed relations, and in this case, with It is a two-dimensional operator-valued distribution because it is a tensor product of two one-dimensional operator-valued distributions.Other axioms, positivity of energy, diffeomorphism covariance, the cyclicity of vacuum in H, can be proven as in Theorem 5.7.If we assume linear energy bounds, strong commutativity of smeared fields follows.
Let G be finite.As the decomposition of the vacuum representation with respect to the action of A L ⊗ A R is the same as the decomposition of the vacuum representation of the Longo-Rehren extension ÃLR (4.3), and the former determines the dual canonical endomorphism of the extension we constructed, by [LR95, Proposition 3.4], the latter endomorphism must be unitarily equivalent to the Longo-Rehren endomorphism Θ LR .As we are in the braided pointed fusion case with finite abelian group G, the uniqueness of the associated Longo-Rehren extension (among finite index local extensions) provided by [KL04b, Section 4, Example 4.5] proves the last claim.

Examples: the U(1)-current
We construct examples of a conformal net on S 1 , collections of sectors and charged primary fields associated with the U(1)-current.To the best of our knowledge, most of the material of this section is scattered in several places, see, e.g., [BMT88, TL97, TZ12], or it is known as folklore.We collect some useful facts for the sake of the reader to appreciate the construction of Wightman fields through charged primary fields in the special case of extensions of the U(1)-current, cf.[Reh97] for the two-dimensional case.
Here we use the symbols H, A, U, Ω, L n , J n , Y α,n for a chiral component, differently from the previous sections where we used the index κ.

The field and the net
In literature, several constructions of the U(1)-current appeared.One can use the lowest weight representation with the lowest weight 1 of PSL(2, R), and the associated net standard subspaces, then by second quantization the local algebras of the U(1)-current net are generated by the Weyl operators, cf.[BGL93].
The construction of the U(1)-current that we illustrate here relies on the so-called current algebra, namely the complex Lie algebra generated as C-linear space by the family of symbols {J n : J n : n ∈ Z} and a central element c that verify [J m , J n ] = mδ n+m c, see [BMT88].The vacuum representation of the current algebra is given as a Verma module (with the lowest weight 0, hence J 0 Ω = 0), which is the linear span of the symbols where, by abuse of notation, J n are interpreted as operators with the Lie brackets given for an associative algebra, J k Ω = 0 for k ≥ 0 and one defines the actions of J n for n ∈ Z by using the commutation relations.There is a unique inner product satisfying J * n = J −n and J −i 1 . . .J −im Ω, J −l 1 . . .J −ls Ω := Ω, J im . . .J i 1 J −l 1 . . .J −ls Ω , (6.1) and we extend it by linearity.Its completion is isomorphic to the Bosonic Fock space with the one-particle space spanned by {J −n Ω : n ∈ N}, see, e.g., [KR87, Proposition 2.1].Using Sugawara's formula to define new generators L n as where : • : is the Wick product, one defines a projective unitary representation of the Virasoro algebra with the central charge c = 1.In particular, the conformal Hamiltonian L 0 acts as Therefore, L 0 extends to a positive self-adjoint operator.Moreover, as J n can be regarded as an annihilation operator for n > 0, we have the following bound: for every n ∈ Z and every Ψ in the Verma module From this, the representation {L n } of the Virasoro algebra integrates to a projective unitary representation U of Diff + (S 1 ).Moreover, the current ) is an essentially self-adjoint operator on D(L 0 ).Therefore, J(f ) for f ∈ C ∞ (S 1 ) is well-defined on the dense Verma module and J(f 1 2 Ψ , so by Theorem A.2 is essentially self-adjoint and it can defined on D(L 0 ).In this way, if f, g ∈ C ∞ (S 1 ), then the commutator [J(f ), J(g)] is well-defined on D(L 0 ) and Moreover, by Theorem A.2, if the support of f and g is disjoint, then J(f ) and J(g) commute strongly, i.e., [e itJ(f ) , e itJ(g) ] = 0.One can also show that Ad U(ϕ)(e iJ(f ) ) = e iJ(f •ϕ −1 ) .
For any λ ∈ R, and denoting the lowest weight vector by Ω λ , one can construct a Verma module such that the representation J λ n is of the form explained above, except that J λ 0 Ω λ = λΩ λ .The same commutation relations and similar estimates hold for λ ∈ R.
The triple (A U(1) , U, Ω) is a conformal net on the circle S 1 .

Representations of the U(1)-current
Let us fix an open non-empty non-dense interval I ⊂ S 1 and a function h ∈ C ∞ (S 1 ) with supp h ⊂ I.Then, we define a map on the Weyl operators W (f ) := e iJ(f ) for f ∈ C ∞ (S 1 ) supported in I in the following way The map σ h,I can be extended to a representation of the local algebra A U(1) (I) on the Fock space.Indeed, for every interval I 1 , σ h,I 1 is implemented by Ad W (H), where H ′ = h on I 1 and supported on another interval I 1 .Therefore, σ H,I 1 extends to a representation of the local algebra A U(1) (I 1 ).If I 2 ⊂ S 1 is another interval such that I 1 ⊂ I 2 , then a function H supported in an interval I 2 ⊃ I 2 such that H ′ = h on I 2 and σ h,I 1 (W (f )) = Ad W (H)(W (f )).Therefore, one can define a representation σ h of the net A U(1) as the family {σ h,I 1 } I 1 for I 1 ⊂ S 1 as above, verifying the compatibility condition σ h,I 2 | A U(1) (I 1 ) = σ h,I 1 whenever I 1 ⊂ I 2 are two non-empty non-dense open intervals of S 1 .
The unitary equivalence class of the representations is determined by the value S 1 h(t)dt.In particular, when S 1 h(t)dt = 0, then σ h is unitary equivalent to the vacuum representation.Let α = S 1 h(t)dt.Although the representation σ h is defined on the vacuum Hilbert space, we denote it H α in order to distinguish the representation.Analogously, the lowest weight vector in H α is denoted by Ω α .See [BMT88] for these results.

Fusion relations and braiding
Let h 1 , h 2 ∈ C ∞ (S 1 ).Then the maps σ h 1 , σ h 2 are automorphisms of the U(1)-current net A U(1) .Let I 0 ∈ I and consider the local algebra A U(1) (I 0 ).Then, σ h 1 ,I 0 , σ h 2 ,I 0 are representations of the local algebra A U(1) (I 0 ) such that σ h 1 ,I 0 • σ h 2 ,I 0 = σ h 1 +h 2 ,I 0 .Since the interval I 0 is arbitrary, we have We now compute the braiding for the U(1)-current, which we believe is well-known, but for which we couldn't find any reference.
Let I ∈ I be fixed.Consider two functions h 1 , h 2 ∈ C ∞ (S 1 ) with supp(h 1 ), supp(h 2 ) ⊂ I and let σ h 1 and σ h 2 be two automorphisms of the net A U(1) .Next, let I 0 ∈ I such that I ⊂ I 0 and choose I 1 , I 2 ⊂ I 0 in I such that I 2 stays in the future of I 1 , and I 1 , I 2 , I are pairwise disjoint.
Let i = 1, 2 be fixed, and let g i ∈ C ∞ (S 1 ) such that supp g i ⊂ I i and S 1 g i (t)dt = S 1 h i (t)dt.Then there exist H i ∈ C ∞ (S 1 ) supported in I 0 such that AdW (H i )σ h i = σ g i .Moreover, for the mutual position of I 1 and I 2 , H 1 and H 2 have to be of the form i and a constant elsewhere.As the conditions on h i , g i show, H i are piecewise constant in the union of intervals (I ∪ I i ) c ∩ I 0 (see Figure 3).In particular, if the intervals are between I c 0 and I or between I c 0 and I c , then H i is defined as 0, since H i is continuous.On the rest, and for the same reason, we set H i to I h i (t)dt = I i g i (t)dt := √ 2πα i , where α i is the so called charge.
The braiding is given by the following formula and "past" is fixed by considering the point −1 as the point of infinity for the lightray, and choosing I 0 that does not contain it.
Therefore, we have Therefore, the braiding is If we take h i = √ 2πα i h for a single function h such that S 1 h(t)dt = 1, then H 2 is proportional to a function H on I such that H ′ = −h on I. Therefore, by integration by parts, Hence we conclude that in this case ǫ(σ α 1 h , σ α 2 h ) = e iπα 1 α 2 , with the configuration above.In particular, it holds that ǫ(σ α 1 h , σ α 2 h ) = ǫ(σ α 2 h , σ α 1 h ).

The charged field
The U(1)-current net has charged primary fields in the sense of Section 5.3.We equip R with the scalar product α, β = αβ.In the sequel, we check that the formal series  [TZ12] (α(n) there is identified with αJ n in our notation, cf.[TL97, Chapter V (3.2.1)]), we define, as formal series, where αJ 0 = α, β is a scalar on each H β .The formal series of the exponential in E ± (α, z) is defined without problems, because, when expanding it into a Taylor series the coefficients of z n are finite sums of operators on H fin 0 .As for Y α (z), the coefficients of the product E − (α, z)E + (α, z) are infinite sums, but they still make sense as operators.Indeed, for each n, the coefficient and there are only finitely many such combinations.The series E − (α, z) has a similar structure.As any vector Ψ in H fin 0 has finite energy M and J m lowers the energy by m, Ψ is annihilated by any product Therefore, if we introduce the pre-vertex operators Y α (z) = E − (α, z)E + (α, z)z αJ 0 (it is Y α (z) without c α ), and using that E ± (α, z) and E ± (β, w) commute (when ± coincide), we obtain Y β (z)Y α (w) .(6.3) Here again, the equality is understood as the equality between the coefficients of z n ζ m on each fixed vector Ψ ∈ H fin 0 .Now we take λ∈R H fin λ (algebraic direct sum).Using c λ 1 z λ 2 J 0 = z − λ 1 ,λ 2 +λ 2 J 0 c λ 1 , and the fact that c λ 1 commute with E + (α, z), E − (α, w), we obtain Relative locality Here again we consider Y α (z) as a formal series on λ∈R H fin λ .On each of these summands, L m and J m act naturally as a representation.We denote their direct sum on λ∈R H fin λ by Lm , Ĵm , respectively.The commutation relation [ Ĵm , Y α (z)] = αY α (z)z m can be checked easily from the definition of Y α (z).This is equivalent to [ Ĵm , Y α,s ] = αY α,m+s .
Primarity As we will see, the conformal dimension of Y α should be D = α 2 2 .Note that 2 ).We want to verify directly that Y α (z) is primary in the sense above (this should also follow by using VOA modules, see [CGP21,(36.1)] and references therein, in particular, [FHL93, Section 5.4]).To do this, recall the commutation relations [ Lm , Ĵj ] = −j Ĵj+m .
In the definition of E ± , the order of product does not matter, hence contribution α 2 z m Y α (z).Altogether, we obtain a contribution of (m + 1) α 2 2 z m Y α (z) which is the last term of (6.5) and the term corresponding to j = m.This completes the proof of the case m > 0 odd.
• m > 0, even.In this case, there is j such that −2j = m.We calculate the commutator L−2j , exp − α Ĵj j z −j slightly modifying the argument above for m > 0 odd L−2j , exp − α Ĵj and this gives the contribution α 2 2 z m Y α (z).From j with m + j < −j, we get a contribution in (6.5) α 2 z m Y α (z) for each such j as before, and as m is even there are m−2 2 such cases, and together with the contribution from the previous paragraph we obtain m−1 2 α 2 z m Y α (z) as before.The rest is the same as in the case where m is odd.
• The case m < 0 is obtained by taking the conjugate and substituting α by −α.
On the other hand, we have checked that the charged primary fields Y α satisfy the conditions of Section 5.3 (without the index ξ).Moreover, if there is α ∈ G, |α| ≤ 1, then Y α,s are bounded, and hence the two-dimensional Wightman field as constructed in Section 5.5 satisfies a linear energy bound, and generate the conformal net on E. If G is a subgroup without such α, the extension given by G can be embedded with a larger net, where the field satisfy a linear energy bound.From this, it follows that the fields for α > 1 strongly commute when smeared with spacelike separated test functions by an analogue of [CTW22, Lemma 3.6].

Outlook
This construction should apply also to loop group nets at level 1 [Was98], [TL97].The bosonic construction of charged primary fields of [TL97] should give two-dimensional Wightman fields by our construction.
There are a few works on two-dimensional extension of CFT in a language similar to that of vertex operator algebras, e.g., [HK07], [CKM22], [Mor23].We plan to investigate the construction problems of Wightman fields with more generality, in particular, for loop group nets with higher levels and for Virasoro nets [KL04b].Deforming CFT by a pair of currents [Mor23] should also have a similar realization in the Wightman setting, and it would be interesting to see whether it has a dynamical meaning, at least in the sense of perturbation theory, cf.[CRV22].
In principle, our fields should be Wick-rotated to an Euclidean theory, that should correspond to the works above.It would be interesting to understand these Euclidean models in terms of Hilbert spaces and operators, cf.[FFK89].
see[LR95, Proposition 4.10] for the proof and cf.[BKLR15, Definition 3.8], [BKLR15, Proposition 3.19], then by[Lon94] Θ LR ∈ End(N ⊗N J ) is a dual canonical endomorphism of an irreducible finite index unital extension N ⊗N J ⊂ M realized on the Hilbert space H ⊗H J if N and N J are respectively realized on H and H J .The beginning of the Jones/canonical tunnel, see [LR95, Section 2.5], readsM −2 ⊂ M −1 ⊂ N ⊗N J ⊂ M,where M −2 := Θ LR (N ⊗N J ) is the image of Θ LR , and M −1 := Θ LR (N ⊗N J ), X LR is the von Neumann algebra generated together with X LR .The two subfactors M −2 ⊂ M −1 and N ⊗N J ⊂ M are spatially isomorphic.The Q-system (Θ LR , W LR , X LR ) also specifies a (unique, by irreducibility, normal faithful) conditional expectation E from M onto N ⊗N J with Jones projection e ∈ M 1 (the Jones extension of M with respect to E), or equivalentlyE −2 (•) := Θ LR (W * LR • W LR ) from M −1 onto M −2 withJones projection e −2 := W LR W * LR .Remark 4.3.Choosing a state ω on N ⊗N J (e.g., the vacuum state in the QFT context) and working in the GNS Hilbert space of (M, ω • E) yields the more common description in QFT of the extension N ⊗N J ⊂ M with a vacuum vector Ω (cyclic and separating for M and inducing an E-invariant state) such that e = [N ⊗N J Ω], cf. the proof of [LR95, Theorem 4.9].

Figure 3 :
Figure3: An example configuration for the intervals I, I 0 , I 1 and I 0 .The choice of "future" and "past" is fixed by considering the point −1 as the point of infinity for the lightray, and choosing I 0 that does not contain it.