Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0403322

Conformal Orbifold Theories and Braided Crossed G-Categories

Michael Mueger
View original source ↗Read source document ↗Export metadata ↓

Abstract

We show that a quantum field theory A living on the line and having a group G of inner symmetries gives rise to a category GLoc A of twisted representations. This category is a braided crossed G-category in the sense of Turaev. Its degree zero subcategory is braided and equivalent to the usual representation category Rep A. Combining this with [29], where Rep A was proven to be modular for a nice class of rational conformal models, and with the construction of invariants of G-manifolds in [60], we obtain an equivariant version of the following chain of constructions: Rational CFT -> modular category -> 3-manifold invariant. We then study the relation between GLoc A and the braided (in the usual sense) representation category Rep A^G of the orbifold theory A^G. We prove the equivalence Rep A^G = (GLoc A)^G, which is a rigorous implementation of the insight that one needs to take the twisted representations of A into account in order to determine Rep A^G. In the opposite direction we have GLoc A = Rep A^G \rtimes S, where S \subset Rep A^G is the full subcategory of representations of A^G contained in the vacuum representation of A, and \rtimes refers to the Galois extensions of braided tensor categories of [44,48]. If A is completely rational and G is finite we prove that A has g-twisted representations for every g in G. In the holomorphic case (where Rep A = Vect_C) this allows to classify the possible categories GLoc A and to clarify the role of the twisted quantum doubles D^ω(G) in this context, as will be done in a sequel. We conclude with some remarks on non-holomorphic orbifolds and surprising counterexamples concerning permutation orbifolds.

Explore related subjects

math.QAmath.CTmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Mueger. 2005-03-14. Conformal Orbifold Theories and Braided Crossed G-Categories. https://doi.org/10.1007/s00220-005-1291-z

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On singular vectors and associated Weyl elements for simply-laced universal affine vertex operator algebras

Given a finite-dimensional complex simple Lie algebra $\mathfrak{g}$ and a complex number $κ$, let $V^κ(\mathfrak{g})$ be the associated universal affine vertex algebra. Gorelik and Kac [GK07] gave a sufficient and necessary condition for $V^κ(\mathfrak{g})$ to be simple. In this paper, for simply-laced $\mathfrak{g}$ and non-critical $κ$, we determine the weights of singular vectors of $V^κ(\mathfrak{g})$ with minimal conformal weights, when $V^κ(\mathfrak{g})$ is not simple. We further determine all the longest Weyl elements in the Kashiwara-Tanisaki character theorem [KT00] which correspond to the weights of the singular vectors.

math.QA↗
arXiv2026

Modular invariants and NIM-reps

Given a pivotal module category over a spherical fusion category, we introduce the encircling module, a module over the fusion algebra defined using the pivotal structure, and prove that it is isomorphic to the NIM-rep as a fusion algebra module. When applied to the $\mathcal{TM}$ realisation of the modular invariant partition function (arXiv:1911.09024), this identifies the NIM-rep multiplicities with the entries $Z_{I,I^\vee}$ of the modular invariant (its diagonal relative to the charge-conjugation invariant, which is the one given by the regular module category), providing a categorical generalisation of Böckenhauer, Evans and Kawahigashi's results (arXiv:math/9907149). We also show that for indecomposable module categories the dimension condition on $\mathcal{TM}$ required for modular invariance is automatically satisfied, and that $\mathcal{TM}$ is, as an algebra, the full centre of the module category in the sense of Davydov, Kong and Runkel (arXiv:1307.5956), which for module categories of algebras is the full centre of Fjelstad, Fuchs, Runkel and Schweigert (arXiv:hep-th/0612306). Consequently $\mathcal{TM}$ gives rise to Cardy algebras in the sense of Kong and Runkel (arXiv:0807.3356).

math.QA↗
arXiv2026

A diagrammatic presentation for every pivotal pointed fusion category

We provide a generators and relations presentation of pivotal pointed fusion categories, $Vec(G,ω,π)$. Unlike the well-known skeletal model, our presentation is strict and allows multiple isomorphic objects. Our main tool is skein theory, which allows us to apply topological tools to understand the relations of morphisms in the category. This expository paper provides details of skein-theoretic work in the setup that allows multiple isomorphic labels in the generators, which didn't previously exist in the literature.

math.QA↗