SearcharxivSearch

arXiv subjects

David E. Evans

Publications and source records attributed to David E. Evans.

At least 19 recordsLinked to original sources

An operator algebraic approach to fusion category symmetry on the lattice

We propose a framework for fusion category symmetry on the (1+1)D lattice in the infinite-volume limit by giving a formal interpretation of SymTFT decompositions. Our approach is based on axiomatizing physical boundary subalgebra of quasi-local observables, and applying ideas from algebraic quantum field theory to derive the expected categorical structures. We show that given a physical boundary subalgebra $B$ of a quasi-local algebra $A$, there is a canonical fusion category $\mathcal{C}$ that acts on $A$ by bimodules and whose fusion ring acts by locality preserving quantum channels on the quasi-local algebra such that $B$ is recovered as the fixed point operators. We show that a fusion category can be realized as symmetries on a tensor product quasi-local algebra if and only if all of its objects have integer dimensions, and that it admits an ``on-site" action on a tensor product spin chain if and only if it admits a fiber functor. We give a formal definition of a topological symmetric state, and prove two anomaly enforced gaplessness theorems, one for internal categorical symmetries and one for anomalous duality channels. Using the first, we show that for any fusion category $\mathcal{C}$ with no fiber functor there always exist gapless pure symmetric states on an anyon chain.

math-ph

Spectral Sequence Computation of Higher Twisted $K$-Groups of $ SU(n)$

Motivated by the Freed-Hopkins-Teleman theorem we study graded equivariant higher twists of $K$-theory for the groups $G = SU(n)$ induced by exponential functors. We compute the rationalisation of these groups for all $n$ and all non-trivial functors. Classical twists use the determinant functor and yield equivariant bundles of compact operators that are classified by Dixmier-Douady theory. Their equivariant $K$-theory reproduces the Verlinde ring of conformal field theory. Higher twists give equivariant bundles of stable UHF algebras, which can be classified using stable homotopy theory. Rationally, only the $K$-theory in degree $\dim(G)$ is again non-trivial. The non-vanishing group is a quotient of a localisation of the representation ring $R(G) \otimes \mathbb{Q}$ by a higher fusion ideal $J_{F,\mathbb{Q}}$. We give generators for this ideal and prove that these can be obtained as derivatives of a potential. For the exterior algebra functor, which is exponential, we show that the determinant bundle over $LSU(n)$ has a non-commutative counterpart where the fibre is the unitary group of the UHF algebra.

math.KT

Quantum symmetries of noncommutative tori

We consider the problem of building non-invertible quantum symmetries (as characterized by actions of unitary fusion categories) on noncommutative tori. We introduce a general method to construct actions of fusion categories on inductive limit C*-algberas using finite dimenionsal data, and then apply it to obtain AT-actions of arbitrary Haagerup-Izumi categories on noncommutative 2-tori, of the even part of the $E_{8}$ subfactor on a noncommutative 3-torus, and of $\text{PSU}(2)_{15}$ on a noncommutative 4-torus.

math.QA

Equivariant higher Dixmier-Douady Theory for circle actions on UHF-algebras

We develop an equivariant Dixmier-Douady theory for locally trivial bundles of $C^*$-algebras with fibre $D \otimes \mathbb{K}$ equipped with a fibrewise $\mathbb{T}$-action, where $\mathbb{T}$ denotes the circle group and $D = \operatorname{End}\left(V\right)^{\otimes \infty}$ for a $\mathbb{T}$-representation $V$. In particular, we show that the group of $\mathbb{T}$-equivariant $*$-automorphisms $\operatorname{Aut}_{\mathbb{T}}(D \otimes \mathbb{K})$ is an infinite loop space giving rise to a cohomology theory $E^*_{D,\mathbb{T}}(X)$. Isomorphism classes of equivariant bundles then form a group with respect to the fibrewise tensor product that is isomorphic to $E^1_{D,\mathbb{T}}(X) \cong [X, B\operatorname{Aut}_{\mathbb{T}}(D \otimes \mathbb{K})]$. We compute this group for tori and compare the case $D = \mathbb{C}$ to the equivariant Brauer group for trivial actions on the base space.

math.OA

Subfactors and Mathematical Physics

This paper surveys the long-standing connections and impact between Vaughan Jones's theory of subfactors and various topics in mathematical physics, namely statistical mechanics,quantum field theory,quantum information and two-dimensional conformal field theory.

math-ph

Equivariant higher twisted K-theory of SU(n) for exponential functor twists

We prove that each exponential functor on the category of finite-dimensional complex inner product spaces and isomorphisms gives rise to an equivariant higher (ie. non-classical) twist of $K$-theory over $G=SU(n)$. This twist is represented by a Fell bundle $\mathcal{E} \to \mathcal{G}$, which reduces to the basic gerbe for the top exterior power functor. The groupoid $\mathcal{G}$ comes equipped with a $G$-action and an augmentation map $\mathcal{G} \to G$, that is an equivariant equivalence. The $C^*$-algebra $C^*(\mathcal{E})$ associated to $\mathcal{E}$ is stably isomorphic to the section algebra of a locally trivial bundle with stabilised strongly self-absorbing fibres. Using a version of the Mayer-Vietoris spectral sequence we compute the equivariant higher twisted $K$-groups $K^G_*(C^*(\mathcal{E}))$ for arbitrary exponential functor twists over $SU(2)$, and also over $SU(3)$ after rationalisation.

math.KT

Classification of Module Categories for $SO(3)_{2m}$

The main goal of this paper is to classify $\ast$-module categories for the $SO(3)_{2m}$ modular tensor category. This is done by classifying $SO(3)_{2m}$ nimrep graphs and cell systems, and in the process we also classify the $SO(3)$ modular invariants. There are module categories of type $\mathcal{A}$, $\mathcal{E}$ and their conjugates, but there are no orbifold (or type $\mathcal{D}$) module categories. We present a construction of a subfactor with principal graph given by the fusion rules of the fundamental generator of the $SO(3)_{2m}$ modular category. We also introduce a Frobenius algebra $A$ which is an $SO(3)$ generalisation of (higher) preprojective algebras, and derive a finite resolution of $A$ as a left $A$-module along with its Hilbert series.

math.OA

Realizing the braided Temperley-Lieb-Jones C*-tensor categories as Hilbert C*-modules

We associate to each Temperley-Lieb-Jones C*-tensor category $\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$ with parameter $δ$ in the discrete range $\{2\cos(π/(k+2))\,:\,k=1,2,\ldots\}\cup\{2\}$ a certain C*-algebra $\mathcal{B}$ of compact operators. We use the unitary braiding on $\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$ to equip the category $\mathrm{Mod}_{\mathcal{B}}$ of (right) Hilbert $\mathcal{B}$-modules with the structure of a braided C*-tensor category. We show that $\mathcal{T}\!\mathcal{L}\mathcal{J}(δ)$ is equivalent, as a braided C*-tensor category, to the full subcategory $\mathrm{Mod}_{\mathcal{B}}^f$ of $\mathrm{Mod}_{\mathcal{B}}$ whose objects are those modules which admit a finite orthonormal basis. Finally, we indicate how these considerations generalize to arbitrary finitely generated rigid braided C*-tensor categories.

math-ph

$K$-theory of AF-algebras from braided C*-tensor categories

Renault, Wassermann, Handelman and Rossmann (early 1980s) and Evans and Gould (1994) explicitly described the $K$-theory of certain unital AF-algebras $A$ as (quotients of) polynomial rings. In this paper, we show that in each case the multiplication in the polynomial ring (quotient) is induced by a $*$-homomorphism $A\otimes A\to A$ arising from a unitary braiding on a C*-tensor category and essentially defined by Erlijman and Wenzl (2007). We also present some new explicit calculations based on the work of Gepner, Fuchs and others. Specifically, we perform computations for the rank two compact Lie groups SU(3), Sp(4) and G$_2$ that are analogous to the Evans-Gould computation for the rank one compact Lie group SU(2). The Verlinde rings are the fusion rings of Wess-Zumino-Witten models in conformal field theory or, equivalently, of certain related C*-tensor categories. Freed, Hopkins and Teleman (early 2000s) realized these rings via twisted equivariant $K$-theory. Inspired by this, our long-term goal is to realize these rings in a simpler $K$-theoretical manner, avoiding the technicalities of loop group analysis. As a step in this direction, we note that the Verlinde rings can be recovered as above in certain special cases.

math-ph

Spectral Measures for $G_2$ II: finite subgroups

Joint spectral measures associated to the rank two Lie group $G_2$, including the representation graphs for the irreducible representations of $G_2$ and its maximal torus, nimrep graphs associated to the $G_2$ modular invariants have been studied. In this paper we study the joint spectral measures for the McKay graphs (or representation graphs) of finite subgroups of $G_2$. Using character theoretic methods we classify all non-conjugate embeddings of each subgroup into the fundamental representation of $G_2$ and present their McKay graphs, some of which are new.

math.OA

Ola Bratteli and his diagrams

This article discusses the life and work of Professor Ola Bratteli (1946--2015). Family, fellow students, his advisor, colleagues and coworkers review aspects of his life and his outstanding mathematical accomplishments.

math.HO

Reconstruction and Local Extensions for Twisted Group Doubles, and Permutation Orbifolds

We prove the first nontrivial reconstruction theorem for modular tensor categories: the category associated to any twisted Drinfeld double of any finite group, can be realised as the representation category of a completely rational conformal net. We also show that any twisted double of a solvable group is the category of modules of a completely rational vertex operator algebra. In the process of doing this, we identify the 3-cocycle twist for permutation orbifolds of holomorphic conformal nets: unexpectedly, it can be nontrivial, and depends on the value of the central charge modulo 24. In addition, we determine the branching coefficients of all possible local (conformal) extensions of any finite group orbifold of holomorphic conformal nets, and identify their modular tensor categories. All statements also apply to vertex operator algebras, provided the conjecture holds that finite group orbifolds of holomorphic VOAs are rational, with a category of modules given by a twisted group double.

math.QA

Non-unitary fusion categories and their doubles via endomorphisms

We realise non-unitary fusion categories using subfactor-like methods, and compute their quantum doubles and modular data. For concreteness we focus on generalising the Haagerup-Izumi family of Q-systems. For example, we construct endomorphism realisations of the (non-unitary) Yang-Lee model, and non-unitary analogues of one of the even subsystems of the Haagerup subfactor and of the Grossman-Snyder system. We supplement Izumi's equations for identifying the half-braidings, which were incomplete even in his Q-system setting. We conjecture a remarkably simple form for the modular S and T matrices of the doubles of these fusion categories. We would expect all of these doubles to be realised as the category of modules of a rational VOA and conformal net of factors. We expect our approach will also suffice to realise the non-semisimple tensor categories arising in logarithmic conformal field theories.

math.QA

Spectral measures associated to rank two Lie groups and finite subgroups of $GL(2,\mathbb{Z})$

Spectral measures for fundamental representations of the rank two Lie groups $SU(3)$, $Sp(2)$ and $G_2$ have been studied. Since these groups have rank two, these spectral measures can be defined as measures over their maximal torus $\mathbb{T}^2$ and are invariant under an action of the corresponding Weyl group, which is a subgroup of $GL(2,\mathbb{Z})$. Here we consider spectral measures invariant under an action of the other finite subgroups of $GL(2,\mathbb{Z})$. These spectral measures are all associated with fundamental representations of other rank two Lie groups, namely $\mathbb{T}^2=U(1) \times U(1)$, $U(1) \times SU(2)$, $U(2)$, $SU(2) \times SU(2)$, $SO(4)$ and $PSU(3)$.

math.OA

Spectral Measures for $Sp(2)$

Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the compact connected rank two Lie group $SO(5)$ and its double cover the compact connected, simply-connected rank two Lie group $Sp(2)$, including the McKay graphs for the irreducible representations of $Sp(2)$ and $SO(5)$ and their maximal tori, and fusion modules associated to the $Sp(2)$ modular invariants.

math.OA

Spectral Measures for $G_2$

Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the rank two Lie group $G_2$, including the McKay graphs for the irreducible representations of $G_2$ and its maximal torus, and fusion modules associated to all known $G_2$ modular invariants.

math.OA

Braided Subfactors, Spectral Measures, Planar algebras and Calabi-Yau algebras associated to SU(3) modular invariants

Braided subfactors of von Neumann algebras provide a framework for studying two dimensional conformal field theories and their modular invariants. We review this in the context of SU(3) conformal field theories through corresponding SU(3) braided subfactors and various subfactor invariants including spectral measures for the nimrep graphs, A_2-planar algebras and almost Calabi-Yau algebras.

math.OA

Modular Invariants and Twisted Equivariant K-theory II: Dynkin diagram symmetries

The most basic structure of chiral conformal field theory (CFT) is the Verlinde ring. Freed-Hopkins-Teleman have expressed the Verlinde ring for the CFT's associated to loop groups, as twisted equivariant K-theory. We build on their work to express K-theoretically the structures of full CFT. In particular, the modular invariant partition functions (which essentially parametrise the possible full CFTs) have a rich interpretation within von Neumann algebras (subfactors), which has led to the developments of structures of full CFT such as the full system (fusion ring of defect lines), nimrep (cylindrical partition function), alpha-induction etc. Modular categorical interpretations for these have followed. For the generic families of modular invariants (i.e. those associated to Dynkin diagram symmetries), we provide a K-theoretic framework for these other CFT structures, and show how they relate to D-brane charges and charge-groups. We also study conformal embeddings and the E7 modular invariant of SU(2), as well as some families of finite group doubles. This new K-theoretic framework allows us to simplify and extend the less transparent, more ad hoc descriptions of these structures obtained previously within CFT.

math.KT