Searcharxiv⌕ Search

arXiv subjects

Corey Jones

Publications and source records attributed to Corey Jones.

At least 37 records · Page 2Linked to original sources
arXiv2022

Composing topological domain walls and anyon mobility

Topological domain walls separating 2+1 dimensional topologically ordered phases can be understood in terms of Witt equivalences between the UMTCs describing anyons in the bulk topological orders. However, this picture does not provide a framework for decomposing stacks of multiple domain walls into superselection sectors - i.e., into fundamental domain wall types that cannot be mixed by any local operators. Such a decomposition can be understood using an alternate framework in the case that the topological order is anomaly-free, in the sense that it can be realized by a commuting projector lattice model. By placing these Witt equivalences in the context of a 3-category of potentially anomalous (2+1)D topological orders, we develop a framework for computing the decomposition of parallel topological domain walls into indecomposable superselection sectors, extending the previous understanding to topological orders with non-trivial anomaly. We characterize the superselection sectors in terms of domain wall particle mobility, which we formalize in terms of tunnelling operators. The mathematical model for the 3-category of topological orders is the 3-category of fusion categories enriched over a fixed unitary modular tensor category.

cond-mat.str-el↗
arXiv2022

Equivariant fusion subcategories

We provide a parameterization of all fusion subcategories of the equivariantization by a group action on a fusion category. As applications, we classify the Hopf subalgebras of a family of semisimple Hopf algebras of Kac-Paljutkin type and recover Naidu-Nikshych-Witherspoon classification of the fusion subcategories of the representation category of a twisted quantum double of a finite group.

math.QA↗
arXiv2021

A categorical Connes' $χ(M)$

Popa introduced the tensor category $\tildeχ(M)$ of approximately inner, centrally trivial bimodules of a $\rm{II}_{1}$ factor $M$, generalizing Connes' $χ(M)$. We extend Popa's notions to define the $\rm W^*$-tensor category $\operatorname{End}_{\rm loc}(\mathcal{C})$ of local endofunctors on a $\rm W^*$-category $\mathcal{C}$. We construct a unitary braiding on $\operatorname{End}_{\rm loc}(\mathcal{C})$, giving a new construction of a braided tensor category associated to an arbitrary $\rm W^*$-category. For the $\rm W^*$-category of finite modules over a $\rm{II}_{1}$ factor, this yields a unitary braiding on Popa's $\tildeχ(M)$, which extends Jones' $κ$ invariant for $χ(M)$. Given a finite depth inclusion $M_{0}\subseteq M_{1}$ of non-Gamma $\rm{II}_1$ factors, we show that the braided unitary tensor category $\tildeχ(M_{\infty})$ is equivalent to the Drinfeld center of the standard invariant, where $M_{\infty}$ is the inductive limit of the associated Jones tower. This implies that for any pair of finite depth non-Gamma subfactors $N_{0}\subseteq N_{1}$ and $M_{0}\subseteq M_{1}$, if the standard invariants are not Morita equivalent, then the inductive limit factors $N_{\infty}$ and $M_{\infty}$ are not stably isomorphic.

math.OA↗
arXiv2021

Computing fusion rules for spherical G-extensions of fusion categories

A $G$-graded extension of a fusion category $\mathcal{C}$ yields a categorical action of $G$ on the center $Z(\mathcal C)$. If the extension admits a spherical structure, we provide a method for recovering its fusion rules in terms of the action. We then apply this to find closed formulas for the fusion rules of extensions of some group theoretical categories and of cyclic permutation crossed extensions of modular categories.

math.QA↗
arXiv2021

Remarks on anomalous symmetries of C*-algebras

For a group $G$ and $ω\in Z^{3}(G, \text{U}(1))$, an $ω$-anomalous action on a C*-algebra $B$ is a $\text{U}(1)$-linear monoidal functor between 2-groups $\text{2-Gr}(G, \text{U}(1), ω)\rightarrow \underline{\text{Aut}}(B)$, where the latter denotes the 2-group of $*$-automorphisms of $B$. The class $[ω]\in H^{3}(G, \text{U}(1))$ is called the anomaly of the action. We show for every $n\ge 2$ and every finite group $G$, every anomaly can be realized on the stabilization of a commutative C*-algebra $C(M)\otimes \mathcal{K}$ for some closed connected $n$-manifold $M$. We also show that although there are no anomalous symmetries of Roe C*-algebras of coarse spaces, for every finite group $G$, every anomaly can be realized on the Roe corona $C^{*}(X)/\mathcal{K}$ of some bounded geometry metric space $X$ with property $A$.

math.OA↗
arXiv2021

Triangle presentations and tilting modules for $\text{SL}_{2k+1}$

Triangle presentations are combinatorial structures on finite projective geometries which characterize groups acting simply transitively on the vertices of a locally finite building of type $\tilde{\text{A}}_{n-1}$ ($n\ge3$). From a type $\tilde{\text{A}}_{n-1}$ triangle presentation on a geometry of order $q$, we construct a fiber functor on the diagrammatic monoidal category $\text{Web}(\text{SL}^{-}_{n})$ over any field $\mathbb{k}$ with characteristic $p\ge n-1$ such that $q \equiv 1$ mod $p$. When $\mathbb{k}$ is algebraically closed and $n$ odd, this gives new fiber functors on the category of tilting modules for $\text{SL}_{n}$.

math.QA↗
arXiv2021

Extension theory for braided-enriched fusion categories

For a braided fusion category $\mathcal{V}$, a $\mathcal{V}$-fusion category is a fusion category $\mathcal{C}$ equipped with a braided monoidal functor $\mathcal{F}:\mathcal{V} \to Z(\mathcal{C})$. Given a fixed $\mathcal{V}$-fusion category $(\mathcal{C}, \mathcal{F})$ and a fixed $G$-graded extension $\mathcal{C}\subseteq \mathcal{D}$ as an ordinary fusion category, we characterize the enrichments $\widetilde{\mathcal{F}}:\mathcal{V} \to Z(\mathcal{D})$ of $\mathcal{D}$ which are compatible with the enrichment of $\mathcal{C}$. We show that G-crossed extensions of a braided fusion category $\mathcal{C}$ are G-extensions of the canonical enrichment of $\mathcal{C}$ over itself. As an application, we parameterize the set of $G$-crossed braidings on a fixed $G$-graded fusion category in terms of certain subcategories of its center, extending Nikshych's classification of the braidings on a fusion category.

math.QA↗
arXiv2020

A 3-categorical perspective on G-crossed braided categories

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to $G$-crossed braided categories, certain mathematical structures which have emerged as important invariants of low-dimensional quantum field theories. More precisely, we show that the 4-category of $3$-categories $\mathcal{C}$ equipped with a 3-functor $\mathrm{B}G \to \mathcal{C}$ which is essentially surjective on objects and $1$-morphisms is equivalent to the $2$-category of $G$-crossed braided categories. This provides a uniform approach to various constructions of $G$-crossed braided categories.

math.CT↗
arXiv2019

Fusion Rules for $\mathbb{Z}/2\mathbb{Z}$ Permutation Gauging

In this note, we examine the gauging of the $\mathbb{Z}/2\mathbb{Z}$ permutation action on the tensor square of a modular tensor category. When $\mathcal{C}$ has no nontrivial invertible objects, we provide formulas for the fusion rules of both the extensions, expressed in terms of the fusion rules of $\mathcal{C}$, and the subsequent equivariantizations, which additionally requires the modular data of $\mathcal{C}$. We discuss several examples related to quantum groups at roots of unity.

math.QA↗
arXiv2019

Spontaneous symmetry breaking from anyon condensation

In a physical system undergoing a continuous quantum phase transition, spontaneous symmetry breaking occurs when certain symmetries of the Hamiltonian fail to be preserved in the ground state. In the traditional Landau theory, a symmetry group can break down to any subgroup. However, this no longer holds across a continuous phase transition driven by anyon condensation in symmetry enriched topological orders (SETOs). For a SETO described by a $G$-crossed braided extension $\mathcal{C}\subseteq \mathcal{C}^{\times}_{G}$, we show that physical considerations require that a connected étale algebra $A\in \mathcal{C}$ admit a $G$-equivariant algebra structure for symmetry to be preserved under condensation of $A$. Given any categorical action $\underline{G}\rightarrow \underline{\sf Aut}_{\otimes}^{\sf br}(\mathcal{C})$ such that $g(A)\cong A$ for all $g\in G$, we show there is a short exact sequence whose splittings correspond to $G$-equivariant algebra structures. The non-splitting of this sequence forces spontaneous symmetry breaking under condensation of $A$. Furthermore, we show that if symmetry is preserved, there is a canonically associated SETO of $\mathcal{C}^{\operatorname{loc}}_{A}$, and gauging this symmetry commutes with anyon condensation.

math.QA↗
arXiv2019

Rank-finiteness for G-crossed braided fusion categories

We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake.

math.QA↗
arXiv2019

Fusing Binary Interface Defects in Topological Phases: The $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$ case

A binary interface defect is any interface between two (not necessarily invertible) domain walls. We compute all possible binary interface defects in Kitaev's $\mathbb{Z}/p\mathbb{Z}$ model and all possible fusions between them. Our methods can be applied to any Levin-Wen model. We also give physical interpretations for each of the defects in the $\mathbb{Z}/p\mathbb{Z}$ model. These physical interpretations provide a new graphical calculus which can be used to compute defect fusion.

math.QA↗
arXiv2018

Domain walls in topological phases and the Brauer-Picard ring for $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$

We show how to calculate the relative tensor product of bimodule categories (not necessarily invertible) using ladder string diagrams. As an illustrative example, we compute the Brauer-Picard ring for the fusion category $\operatorname{Vec}(\mathbb{Z}/p\mathbb{Z})$. Moreover, we provide a physical interpretation of all indecomposable bimodule categories in terms of domain walls in the associated topological phase. We show how this interpretation can be used to compute the Brauer-Picard ring from a physical perspective.

math.QA↗
arXiv2018

Eigenvalues of rotations and braids in spherical fusion categories

We give formulae for the multiplicities of eigenvalues of generalized rotation operators in terms of generalized Frobenius-Schur indicators in a semisimple spherical tensor category $\mathcal{C}$. In particular, this implies that the entire collection of rotation eigenvalues for a fusion category can be computed from the fusion rules and the traces of rotation at finitely many tensor powers. We also establish a rigidity property for FS indicators of fusion categories with a given fusion ring via Jones's theory of planar algebras. If $\mathcal{C}$ is also braided, these formulae yield the multiplicities of eigenvalues for a large class of braids in the associated braid group representations. When $\mathcal{C}$ is modular, this allows one to determine the eigenvalues and multiplicities of braids in terms of just the $S$ and $T$ matrices.

math.QA↗
arXiv2018

Free oriented extensions of subfactor planar algebras

We show that the restriction functor from oriented factor planar algebras to subfactor planar algebras admits a left adjoint, which we call the free oriented extension functor. We show that for any subfactor planar algebra realized as the standard invariant of a hyperfinite $\rm{II}_1$ subfactor, the projection category of the free oriented extension admits a realization as bimodules of the hyperfinite $\rm{II}_{1}$ factor.

math.QA↗
arXiv2018

Vanishing of categorical obstructions for permutation orbifolds

The orbifold construction $A\mapsto A^G$ for a finite group $G$ is fundamental in rational conformal field theory. The construction of $Rep(A^G)$ from $Rep(A)$ on the categorical level, often called gauging, is also prominent in the study of topological phases of matter. Given a non-degenerate braided fusion category $\mathcal{C}$ with a $G$-action, the key step in this construction is to find a braided $G$-crossed extension compatible with the action. The extension theory of Etingof-Nikshych-Ostrik gives two obstructions for this problem, $o_3\in H^3(G)$ and $o_4\in H^4(G)$ for certain coefficients, the latter depending on a categorical lifting of the action and is notoriously difficult to compute. We show that in the case where $G\le S_n$ acts by permutations on $\mathcal{C}^{\boxtimes n}$, both of these obstructions vanish. This verifies a conjecture of Müger, and constitutes a nontrivial test of the conjecture that all modular tensor categories come from vertex operator algebras or conformal nets.

math.QA↗
arXiv2018

Realizations of algebra objects and discrete subfactors

We give a characterization of extremal irreducible discrete subfactors $(N\subseteq M, E)$ where $N$ is type ${\rm II}_1$ in terms of connected W*-algebra objects in rigid C*-tensor categories. We prove an equivalence of categories where the morphisms for discrete inclusions are normal $N-N$ bilinear ucp maps which preserve the state $τ\circ E$, and the morphisms for W*-algebra objects are categorical ucp morphisms. As an application, we get a well-behaved notion of the standard invariant of an extremal irreducible discrete subfactor, together with a subfactor reconstruction theorem. Thus our equivalence provides many new examples of discrete inclusions $(N\subseteq M, E)$, in particular, examples where $M$ is type ${\rm III}$ coming from non Kac-type discrete quantum groups and associated module W*-categories. Finally, we obtain a Galois correspondence between intermediate subfactors of an extremal irreducible discrete inclusion and intermediate W*-algebra objects.

math.OA↗