Categorical extensions of conformal nets (Q2662973)

From MaRDI portal
Revision as of 23:26, 24 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Categorical extensions of conformal nets
scientific article

    Statements

    Categorical extensions of conformal nets (English)
    0 references
    0 references
    15 April 2021
    0 references
    A systematic study of the relation between vertex operator algebras (VOAs) and conformal nets, two major mathematical formulations of chiral conformal field theory, was initiated in [\textit{S. Carpi} et al., From vertex operator algebras to conformal nets and back. Providence, RI: American Mathematical Society (AMS) (2018; Zbl 1434.17001)]. The principal objective in this paper is to establish the equivalence between the ribbon categories of unitary VOAs and those of conformal nets for many familiar examples. The basic idea is to construct categorical extensions. This paper assumes that a VOA \(V\)\ is regular [\textit{C. Dong} et al., Adv. Math. 132, No. 1, 148--166 (1997; Zbl 0902.17014)], so that there exists a modular tensor categorical structure on the category \(\mathrm{Rep}^{\mathrm{u}}\left(V\right)\)\ of unitary \(V\)-modules [\textit{Y.-Z. Huang}, Commun. Contemp. Math. 10, 871--911 (2008; Zbl 1169.17019)]. This paper consists of 6 chapters. A synopsis of the paper goes as follows. \begin{itemize} \item Chapter 2, consisting of 6 sections, is concerned with Connes fusion products [\textit{A. Connes}, J. Funct. Anal. 35, 153--164 (1980; Zbl 0443.46042)]. \S 2.1 reviews some of the basic facts about conformal nets and their representations. \S 2.2 defines the notion of path continuation, which plays a centrally important role in this paper. \S 2.3 uses path continuations to define the action of a conformal net \(\mathcal{A} \)\ on the Connes fusion \(\mathcal{H}_{i}\boxtimes\mathcal{H}_{j}\) of A-modules \(\mathcal{H}_{i}\)\ and \(\mathcal{H}_{j}\). \S 2.4 describes the conformal structure of \(\mathcal{H}_{i}\boxtimes\mathcal{H}_{j}\)\ in terms of \(\mathcal{H}_{i}\)\ and \(\mathcal{H}_{j}\). \S 2.5 discusses Connes fusions of three or more representations. \S 2.6 defines the \(C^{\ast}\)-tensor categorical structure on \(\mathrm{Rep}\left(\mathcal{A}\right)\)\ using the theory of Connes fusions, defining braiding, which is shown to be identical with the one in [\textit{A. Wassermann}, Invent. Math. 133, No. 3, 467--538 (1998; Zbl 0944.46059), \S 33]. \item Chapter 3, consisting of 6 sections, is concerned with Connes fusions and categorical extensions. \S 3.1 defines categorical extensions of conformal nets. \S 3.2 uses Connes fusions to construct what are called Connes categorical extensions, by which the Hexagon axioms for \(\mathrm{Rep}\left(\mathcal{A}\right)\) are established in \S 3.3. The succeeding two sections are devoted to the uniqueness of categorical extensions. \S 3.4 shows that if \(\mathcal{E}\)\ is a categorical extension of \(\mathcal{A}\)\ over a braided \(C^{\ast}\)-tensor category \(\mathcal{C}\)\ which is a full subcategory of \(\mathrm{Rep}\left(\mathcal{A}\right)\), then \(\mathcal{C}\)\ is equivalent to the corresponding braided \(C^{\ast}\)-tensor\ category defined by Connes fusions. \S 3.5 shows that \(\mathcal{E}\)\ is to be extended to a unique maximal categorical extension \(\overline{\mathcal{E}}\)\ defined also over \(\mathcal{C}\) called the closure of \(\mathcal{E}\), which is naturally equivalent to a Connes categorical extension. \S 3.6 shows that a categorical local extension \(\mathcal{E}^{\mathrm{loc}}\) generates a categorical extension \(\mathcal{E}\), demonstrating that if \(A\) (resp. \(B\)) commutes with the right (resp. left) action of \(\mathcal{F}\) on \(\mathcal{C}\), then \(A\)\ and \(B\)\ commute adjointly (Theorem 3.17). \item The aim of Chapter 4 is to construct vertex categorical extensions by using smeared intertwining operators. \S 4.1 reviews Huang-Lepowsky construction of ribbon categories for VOA-modules [\textit{Y.-Z. Huang} and \textit{J. Lepowsky}, in: Differential geometric methods in theoretical physics. Proceedings of th 20th international conference, June 3-7, 1991, New York City, NY, USA. Vol. 1-2. Singapore: World Scientific. 344--354 (1992; Zbl 0829.17025); Sel. Math., New Ser. 1, No. 4, 699--756 (1995; Zbl 0854.17032); Sel. Math., New Ser. 1, No. 4, 757--786 (1995; Zbl 0854.17033); J. Pure Appl. Algebra 100, No. 1--3, 141--171 (1995; Zbl 0841.17014); J. Pure Appl. Algebra 100, No. 1--3, 173--216 (1995; Zbl 0841.17015); Prog. Math. 123, 349--383 (1994; Zbl 0848.17031)]. \S 4.2 gives the construction of the intertwining operators \(\mathcal{L}_{i}\)\ and \(\mathcal{R}_{i}\), which are closely related to the left and right actions \(L\)\ and \(R\)\ in categorical extensions.\S 4.3 reviews unitary structures on these tensor categories [\textit{B. Gui}, Commun. Math. Phys. 366, No. 1, 333--396 (2019; Zbl 1425.17039); Commun. Math. Phys. 372, No. 3, 893--950 (2019; Zbl 1425.17040)]. \S 4.4 reviews energy bounds condtions and smeared intertwining operators, establishing the adjoint commutativity of the smeared \(\mathcal{L}\)\ and \(\mathcal{R}\). \S 4.5 discusses constructions of conformal nets and their representationf from their VOA-modules. \S 4.6 constructs vertex categorical extensions by using these smeared intertwining operators. \item Chapter 5 is concerned with applications. \S 5.1 shows that if \(V\) is a \(c<1\) unitary Virasoro VOA, or a unitary affine VOA of type \(A\), \(C\), \(G_{2}\), then the category \(\mathrm{Rep}^{\mathrm{ss}}\left( \mathcal{A}_{V}\right)\)\ of semisimple \(\mathcal{A}_{V}\)-modules is equivalent to \(\mathrm{Rep}^{\mathrm{u}}\left( V\right) \)\ as unitary modular tensor categories, demonstrating that if \(V\) is an affine VOA of type \(B\) or \(D\), then the monoidal subcategory \(\mathcal{C}\)\ of \(\mathrm{Rep}^{\mathrm{u}}\left(V\right)\)\ tensor-generated by the smallest non-vacuum\ irreducible \(V\)-module is equivalent to \(\mathfrak{F}\left( \mathcal{C}\right)\) as unitary ribbon fusion categories (The braided tensor categorical structure on \(\mathfrak{F}\left(\mathcal{C}\right)\)\ is defined using Connes fusions). \S 5.2 establishes the equivalence of the ribbon fusion categories \(\mathrm{Rep}^{\mathrm{u}}\left(V\right)\)\ and \(\mathfrak{F}\left(\mathrm{Rep}^{\mathrm{u}}\left(V\right)\right)\)\ when \(V\)\ is a unitary Heisenberg VOA (In this case \(\mathrm{Rep}^{\mathrm{u}}\left(V\right)\)\ is defined to be the tensor category of semisimple unitary \(V\)-modules), demonstrating the strong intertwining and braiding properties for all intertwining operators of unitary Heisenberg VOAs, which is used in \S 5.3 to establish the strong intertwining and braiding properties of an even lattice VOA \(V\). \item In the literature of conformal nets, the braided tensor categories are often defined using Doplicher-Haag-Roberts (DHR) superselection theory [\textit{K. Fredenhagen} et al., Commun. Math. Phys. 125, No. 2, 201--226 (1989; Zbl 0682.46051); Rev. Math. Phys. Spec. Issue, 113--157 (1992; Zbl 0774.46041); Comm. Math. Phys. 23, 199--230 (1971); ibid. 35, 49--85 (1974)]. It is well known tha, as far as conformal nets are strongly additive, Connes fusions and DHR theory define the same monoidal structures, though it is not clear that these two theories give the same braidings. Chapter 6 clarifies the relation between the two theories, showing that the braided \(C^{\ast}\)-tensor\ categories defined by them are equivalent. As an important application, we can conclude that the Reshetikhin-Turaev \(3\)d topological quantum field theories [\textit{N. Reshetikhin} and \textit{V. G. Turaev}, Invent. Math. 103, No. 3, 547--597 (1991; Zbl 0725.57007); Quantum invariants of knots and 3-manifolds. Berlin: Walter de Gruyter (1994; Zbl 0812.57003)] constructed from \(\mathrm{Rep}^{\mathrm{u}}\left(V\right)\) and from \(\mathrm{Rep}^{\mathrm{ss}}\left(\mathcal{A}_{V}\right)\)\ are the same. \end{itemize}
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references