It is shown that for the modular representations associated to Rational Conformal Field Theories, the kernel is a congruence subgroup whose level equals the order of the Dehn-twist. An explicit algebraic characterization of the kernel is given. It is also shown that the conductor, i.e. the order of the Dehn-twist is bounded by a function of the number of primary fields, allowing for a systematic enumeration of the modular representations coming from RCFTs. Restrictions on the spectrum of the Dehn-twist and arithmetic properties of modular matrix elements are presented.
The correlators of two-dimensional rational conformal field theories that are obtained in the TFT construction of [FRSI,FRSII,FRSIV] are shown to be invariant under the action of the relative modular group and to obey bulk and boundary factorisation constraints. We present results both for conformal field theories defined on oriented surfaces and for theories defined on unoriented surfaces. In the latter case, in particular the so-called cross cap constraint is included.
We give a general construction of correlation functions in rational conformal field theory on a possibly non-orientable surface with boundary in terms of 3-dimensional topological quantum field theory. The construction applies to any modular category. It is proved that these correlation functions obey modular and factorization rules. Structure constants are calculated and expressed in terms of the data of the modular category.
We address here the question of whether the characters of an RCFT are modular functions for some level N, i.e. whether the representation of the modular group SL_2(Z) coming from any RCFT is trivial on some congruence subgroup. We prove that if the matrix T, associated to $(\matrix{1&1\cr 0&1})\in{\rm SL}_2(\Z)$, has ODD order, then this must be so. When the order of T is even, we present a simple test which if satisfied -- and we conjecture it always will be -- implies that the characters for that RCFT will also be level N. We use this to explain three curious observations in RCFT made by var…
The notion of Galois currents in Rational Conformal Field Theory is introduced and illustrated on simple examples. This leads to a natural partition of all theories into two classes, depending on the existence of a non-trivial Galois current. As an application, the projective kernel of a RCFT, i.e. the set of all modular transformations represented by scalar multiples of the identity, is described in terms of a small set of easily computable invariants.
We use simple currents to construct symmetric special Frobenius algebras in modular tensor categories. We classify such simple current type algebras with the help of abelian group cohomology. We show that they lead to the modular invariant torus partition functions that have been studied by Kreuzer and Schellekens. We also classify boundary conditions in the associated conformal field theories and show that the boundary states are given by the formula proposed in hep-th/0007174. Finally, we investigate conformal defects in these theories.
We formulate rational conformal field theory in terms of a symmetric special Frobenius algebra A and its representations. A is an algebra in the modular tensor category of Moore-Seiberg data of the underlying chiral CFT. The multiplication on A corresponds to the OPE of boundary fields for a single boundary condition. General boundary conditions are A-modules, and (generalised) defect lines are A-A-bimodules. The relation with three-dimensional TFT is used to express CFT data, like structure constants or torus and annulus coefficients, as invariants of links in three-manifolds. We compute expl…
This article reviews some recent progress in our understanding of the structure of Rational Conformal Field Theories, based on ideas that originate for a large part in the work of A. Ocneanu. The consistency conditions that generalize modular invariance for a given RCFT in the presence of various types of boundary conditions --open, twisted-- are encoded in a system of integer multiplicities that form matrix representations of fusion-like algebras. These multiplicities are also the combinatorial data that enable one to construct an abstract ``quantum'' algebra, whose $6j$- and $3j$-symbols con…
We show that Galois theory of cyclotomic number fields provides a powerful tool to construct systematically integer-valued matrices commuting with the modular matrix S, as well as automorphisms of the fusion rules. Both of these prescriptions allow the construction of modular invariants and offer new insight in the structure of known exceptional invariants.
We use string-net models to accomplish a direct, purely two-dimensional, approach to correlators of two-dimensional rational conformal field theories. We obtain concise geometric expressions for the objects describing bulk and boundary fields in terms of idempotents in the cylinder category of the underlying modular fusion category, comprising more general classes of fields than is standard in the literature. Combining these idempotents with Frobenius graphs on the world sheet yields string nets that form a consistent system of correlators, i.e. a system of invariants under appropriate mapping…
We establish a set of general results to study how the Galois action on modular tensor categories interacts with fusion subcategories. This includes a characterization of fusion subcategories of modular tensor categories which are closed under the Galois action, and a classifcation of modular tensor categories which factor as a product of pointed and transitive categories in terms of pseudoinvertible objects. As an application, we classify modular tensor categories with two Galois orbits of simple objects and a nontrivial grading group.
We continue our program of mapping data of 4D $\mathcal{N}=2$ superconformal field theories (SCFTs) onto observables of 2D chiral rational conformal field theories (RCFTs) by revisiting an infinite set of strongly coupled Argyres-Douglas (AD) SCFTs and their associated logarithmic 2D chiral algebras. First, we turn on discrete flavor fugacities (for continuous flavor symmetries) in a known correspondence between certain unrefined characters of these logarithmic theories and unrefined characters of a set of unitary 2D chiral RCFTs. Motivated by this discussion, we then study 4D Higgs branch ren…
Modular Tensor Categories (MTC's) arise in the study of certain condensed matter systems. There is an ongoing program to classify MTC's of low rank, up to modular data. We present an overview of the methods to classify modular tensor categories of low rank, applied to the specific case of a rank 6 category with Galois group $\langle(012)(345)\rangle$, and show that certain symmetries in this case imply nonunitarizable (hence, nonphysical) MTC's. We show that all the rank 6 MTC's with this Galois group have modular data conjugate to either the product of the semion category with $(A_1, 5)_{\fra…
In this paper, we study modular categories whose Galois group actions on their simple objects are transitive. We show that such modular categories admit unique factorization into prime transitive factors. The representations of $SL_2(\mathbb{Z})$ associated with transitive modular categories are proven to be minimal and irreducible. Together with the Verlinde formula, we characterize prime transitive modular categories as the Galois conjugates of the adjoint subcategory of the quantum group modular category $\mathcal{C}(\mathfrak{sl}_2,p-2)$ for some prime $p > 3$. As a consequence, we complet…
To an RCFT corresponds two combinatorial structures: the amplitude of a torus (the 1-loop partition function of a closed string, sometimes called a modular invariant), and a representation of the fusion ring (called a NIM-rep or equivalently a fusion graph, and closely related to the 1-loop partition function of an open string). In this paper we develop some basic theory of NIM-reps, obtain several new NIM-rep classifications, and compare them with the corresponding modular invariant classifications. Among other things, we make the following fairly disturbing observation: there are infinitely …
Let H be a Hopf algebra. By definition a modular crossed H-module is a vector space M on which H acts and coacts in a compatible way. To every modular crossed H-module M we associate a cyclic object Z(H,M). The cyclic homology of Z(H,M) extends the usual cyclic homology of the algebra structure of H, and the relative cyclic homology of an H-Galois extension. For a Hopf subalgebra K we compute, under some assumptions, the cyclic homology of an induced modular crossed module. As a direct application of this computation, we describe the relative cyclic homology of strongly graded algebras. In par…
Modular categories are important algebraic structures in a variety of subjects in mathematics and physics. We provide an explicit, motivated and elementary definition of a modular category over a field of characteristic 0 as an equivalence class of solutions to a set of polynomial equations. We conclude that within each class of solutions, there is one which consists entirely of algebraic numbers. These algebraic solutions make it possible to discuss defining algebraic number fields of modular categories and their Galois twists. One motivation for such a definition is an arithmetic theory of m…
