arXiv subjects

Cain Edie-Michell

Publications and source records attributed to Cain Edie-Michell.

At least 19 recordsLinked to original sources

arXiv2026

Classification of 1-super-transitive quantum subgroups in type A

We define a notion of super-transitivity for \`etale algebra objects $A \in \mathcal{C}(\mathfrak{sl}_N, k)$. This definition is a direct analogue of the notion of super-transitivity for subfactors, and measures at what depth the first ``new stuff'' appears in the category of $A$-modules internal to $\mathcal{C}(\mathfrak{sl}_N, k)$. Our main theorem gives a classification of all 1-super-transitive \`etale algebra objects in $\mathcal{C}(\mathfrak{sl}_N, k)$ running over all $N,k \in \mathbb{N}$. Our classification captures all known infinite families of non-pointed \`etale algebras in $\mathcal{C}(\mathfrak{sl}_N, k)$, and includes all but 16 of the known non-pointed \`etale algebra objects in these categories. These remaining 16 known examples have super-transitivities between 2 and 4.

math.QA↗

arXiv2025

Hecke-Clifford algebras at roots of unity and conformal embeddings

In this paper we give a combinatorial description of the Cauchy completion of the categories $\mathcal{E}_q$ and $\overline{\mathcal{SE}_N}$ recently introduced by the first author and Snyder. This in turns gives a combinatorial description of the categories $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}_{A}$ where $A$ is the \`etale algebra object corresponding to the conformal embedding $\mathfrak{sl}_N$ level $N$ into $\mathfrak{so}_{N^2-1}$ level 1. In particular we give a classification of the simple objects of these categories, a formula for their quantum dimensions, and fusion rules for tensoring with the defining object. Our method of obtaining these results is the Schur-Weyl approach of studying the representation theory of certain endomorphism algebras in $\mathcal{E}_q$ and $\mathcal{SE}_N$, which are known to be subalgebras of Hecke-Clifford algebras. We build on existing literature to study the representation theory of the Hecke-Clifford algebras at roots of unity.

math.QA↗

arXiv2025

Interpolation categories for Conformal Embeddings

In this paper we give a diagrammatic description of the categories of modules coming from the conformal embeddings $\mathcal{V}(\mathfrak{sl}_N,N) \subset \mathcal{V}(\mathfrak{so}_{N^2-1},1)$. A small variant on this construction (morally corresponding to a conformal embedding of $\mathfrak{gl}_N$ level $N$ into $\mathfrak{o}_{N^2-1}$ level $1$) has uniform generators and relations which are rational functions in $q = e^{2 \pi i/4N}$, which allows us to construct a new continuous family of tensor categories at non-integer level which interpolate between these categories. This is the second example of such an interpolation category for families of conformal embeddings after Zhengwei Liu's interpolation categories $\mathcal{V}(\mathfrak{sl}_N, N\pm 2) \subset \mathcal{V}(\mathfrak{sl}_{N(N\pm 1)/2},1)$ which he constructed using his classification Yang-Baxter planar algebras. Our approach is different from Liu's, we build a two-color skein theory, with one strand coming from $X$ the image of defining representation of $\mathfrak{sl}_N$ and the other strand coming from an invertible object $g$ in the category of local modules, and a trivalent vertex coming from a map $X \otimes X^* \rightarrow g$. We anticipate small variations on our approach will yield interpolation categories for every infinite discrete family of conformal embeddings.

math.QA↗

arXiv2024

Type $\textrm{II}$ quantum subgroups for quantum $\mathfrak{sl}_N$. $\textrm{II}$: Classification

In this paper we study the indecomposable module categories over $\mathcal{C}(\mathfrak{sl}_N, k)$, the category of integrable level-$k$ respresentations of affine Kac-Moody $\mathfrak{sl}_N$. Our first main result classifies these module categories in the case of generic $k$, i.e. $k$ is sufficiently large relative to $N$. As $\mathcal{C}(\mathfrak{sl}_N, k)$ is a braided tensor category, there is a relative tensor product structure on its category of module categories. In the generic setting we obtain a formula for the relative tensor product rules between the indecomposable module categories. Our second main result classifies the indecomposable module categories over $\mathcal{C}(\mathfrak{sl}_N, k)$ for $N\leq 7$, with no restrictions on $k$. In this non-generic setting, exceptional module categories are obtained. This work relies heavily on previous results by the two authors. In previous literature, module category classification results were known only for $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$.

math.QA↗

arXiv2023

The construction of a $E_7$-like quantum subgroup of $SU(3)$

In this short note we construct an embedding of the planar algebra for $\overline{\operatorname{Rep}(U_q(sl_3))}$ at $q = e^{2\pi i \frac{1}{24}}$ into the graph planar algebra of di Francesco and Zuber's candidate graph $\mathcal{E}_4^{12}$. Via the graph planar algebra embedding theorem we thus construct a rank 11 module category over $\overline{\operatorname{Rep}(U_q(sl_3))}$ whose graph for action by the vector representation is $\mathcal{E}_4^{12}$. This fills a small gap in the literature on the construction of $\overline{\operatorname{Rep}(U_q(sl_3))}$ module categories. As a consequence of our construction, we obtain the principal graphs of subfactors constructed abstractly by Evans and Pugh.

math.QA↗

arXiv2023

Cell Systems for $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}$ Module Categories

In this paper, we define the KW cell system on a graph $\Gamma$, depending on parameters $N\in \mathbb{N}$, $q$ a root of unity, and $\omega$ an $N$-th root of unity. This is a polynomial system of equations depending on $\Gamma$ and the parameters. Using the graph planar algebra embedding theorem, we prove that when $q = e^{2\pi i \frac{1}{2(N+k)}}$, solutions to the KW cell system on $\Gamma$ classify module categories over $\overline{\mathrm{Rep}(U_q(sl_N))^\omega}$ whose action graph for the object $\Lambda_1$ is $\Gamma$. The KW cell system is a generalisation of the Etingof-Ostrik and the De Commer-Yamashita classifying data for $\overline{\mathrm{Rep}(U_q(sl_2))}$ module categories, and Ocneanu's cell calculus for $\overline{\mathrm{Rep}(U_q(sl_3))}$ module categories. To demonstrate the effectiveness of this cell calculus, we solve the KW cell systems corresponding to the exceptional module categories over $\overline{\mathrm{Rep}(U_q(sl_4))}$ when $q= e^{2\pi i \frac{1}{2(4+k)}}$, as well as for all three infinite families of charge conjugation modules. Building on the work of the second author, this explicitly constructs and classifies all irreducible module categories over $\mathcal{C}(sl_4, k)$ for all $k\in \mathbb{N}$. These results prove claims made by Ocneanu on the quantum subgroups of $SU(4)$. We also construct exceptional module categories over $\overline{\mathrm{Rep}(U_q(sl_4))^\omega}$ where $\omega\in \{-1, i, -i\}$. Two of these module categories have no analogue when $\omega=1$. The main technical contributions of this paper are a proof of the graph planar algebra embedding theorem for oriented planar algebras, and a refinement of Kazhdan and Wenzl's skein theory presentation of the category $\overline{\mathrm{Rep}(U_q(sl_N))^\omega}$. We also explicitly describe the subfactors coming from a solution to a KW cell system.

math.QA↗

arXiv2021

Classification of pivotal tensor categories with fusion rules related to $SO(4)$

In this paper we classify all semisimple tensor categories with the same fusion rules as $\operatorname{Rep}(SO(4))$, or one of the associated truncations. We show that such categories are explicitly classified by two non-zero complex numbers. Furthermore we show these tensor categories are always braided, and there exist exactly 8 braidings.

math.QA↗

arXiv2021

Classification of $\mathbb{Z}/2\mathbb{Z}$-quadratic unitary fusion categories

A unitary fusion category is called $\mathbb{Z}/2\mathbb{Z}$-quadratic if it has a $\mathbb{Z}/2\mathbb{Z}$ group of invertible objects and one other orbit of simple objects under the action of this group. We give a complete classification of $\mathbb{Z}/2\mathbb{Z}$-quadratic unitary fusion categories. The main tools for this classification are skein theory, a generalization of Ostrik's results on formal codegrees to analyze the induction of the group elements to the center, and a computation similar to Larson's rank-finiteness bound for $\mathbb{Z}/3\mathbb{Z}$-near group pseudounitary fusion categories. This last computation is contained in an appendix coauthored with attendees from the 2014 AMS MRC on Mathematics of Quantum Phases of Matter and Quantum Information.

math.QA↗

arXiv2021

Type $II$ quantum subgroups of $\mathfrak{sl}_N$. $I$: Symmetries of local modules

This paper is the first of a pair that aims to classify a large number of the type $II$ quantum subgroups of the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. In this work we classify the braided auto-equivalences of the categories of local modules for all known type $I$ quantum subgroups of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds $\mathcal{C}( \mathfrak{sl}_{2},16)_{\operatorname{Rep}(\mathbb{Z}_2)}$, $\mathcal{C}( \mathfrak{sl}_{3},9)_{\operatorname{Rep}(\mathbb{Z}_3)}$, $\mathcal{C}( \mathfrak{sl}_{4},8)_{\operatorname{Rep}(\mathbb{Z}_4)}$, and $\mathcal{C}( \mathfrak{sl}_{5},5)_{\operatorname{Rep}(\mathbb{Z}_5)}$. We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type $D$-$D$ case, which is used to construct one of the exceptionals. Finally we uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type $II$ quantum subgroups of the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$. When paired with Gannon's type $I$ classification for $r\leq 6$, this will complete the type $II$ classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$.

math.QA↗

arXiv2020

Auto-equivalences of the modular tensor categories of type $A$, $B$, $C$ and $G$

We compute the monoidal and braided auto-equivalences of the modular tensor categories $\mathcal{C}(\mathfrak{sl}_{r+1},k)$, $\mathcal{C}(\mathfrak{so}_{2r+1},k)$, $\mathcal{C}(\mathfrak{sp}_{2r},k)$, and $\mathcal{C}(\mathfrak{g}_{2},k)$. Along with the expected simple current auto-equivalences, we show the existence of the charge conjugation auto-equivalence of $\mathcal{C}(\mathfrak{sl}_{r+1},k)$, and exceptional auto-equivalences of $\mathcal{C}(\mathfrak{so}_{2r+1},2)$, $\mathcal{C}(\mathfrak{sp}_{2r},r)$, $\mathcal{C}(\mathfrak{g}_{2},4)$. We end the paper with a section discussing potential applications of these computations.

math.QA↗

arXiv2019

A complete classification of unitary fusion categories tensor generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$

In this paper we give a complete classification of unitary fusion categories $\otimes$-generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$. We show that all such categories arise as certain wreath products of either the Fibonacci category, or of the dual even part of the $2D2$ subfactor. As a by-product of proving our main classification result we produce a classification of finite unitarizable quotients of $\operatorname{Fib}^{*N}$ satisfying a certain symmetry condition.

math.QA↗

arXiv2019

Simple current auto-equivalences of modular tensor categories

In this short note we investigate the process of constructing auto-equivalences of modular tensor categories using invertible objects. We derive conditions on the invertible object for the resulting auto-equivalence to be either monoidal, braided, or pivotal. We also discuss the composition of these auto-equivalences constructed from invertible objects. To demonstrate the practicality of this construction, we construct auto-equivalences of several real-world examples of modular tensor categories.

math.QA↗

arXiv2018

Classifying fusion categories $\otimes$-generated by an object of small Frobenius-Perron dimension

The goal of this paper is to classify fusion categories $\otimes$-generated by a $K$-normal object (defined in this paper) of Frobenius-Perron dimension less than 2. This classification has recently become accessible due to a result of Morrison and Snyder, showing that any such category must be a cyclic extension of a category of adjoint $ADE$ type. Our main tools in this classification are the results of Etingof, Ostrik, and Nikshych, classifying cyclic extensions of a given category in terms of data computed from the Brauer-Picard group, and Drinfeld centre of that category, and the results of the author, which compute the Brauer-Picard group and Drinfeld centres of the categories of adjoint $ADE$ type. Our classification includes the expected categories, constructed from cyclic groups and the categories of $ADE$ type. More interestingly we have categories in our classification that are non-trivial de-equivariantizations of these expected categories. Most interesting of all, our classification includes three infinite families constructed from the exceptional quantum subgroups $\mathcal{E}_4$ of $\mathcal{C}( \mathfrak{sl}_4, 4)$, and $\mathcal{E}_{16,6}$ of $\mathcal{C}( \mathfrak{sl}_2, 16)\boxtimes \mathcal{C}( \mathfrak{sl}_3,6)$.

math.QA↗

arXiv2018

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↗

arXiv2017

Equivalences of Graded Categories

We further the techniques developed by Etingof, Nikshych, and Ostrik in order to classify the $\mathcal{C}$-based equivalences between two $G$-graded extensions of $\mathcal{C}$. The main result of this paper (which follows from this classification) shows that there is an action of the group $\operatorname{Aut}(G)\times \operatorname{Aut}_\otimes(\mathcal{C})$ on the set of all $G$-graded extensions of $\mathcal{C}$, and further, any two extensions in the same orbit of this action are monoidally equivalent. As a warm up for the proof of our classification result we reprove the classification of graded extensions of a fusion category, making extensive use of graphical calculus. Aside from our main result, we provide several other practical applications of our classification of $\mathcal{C}$-based equivalences.

math.QA↗

arXiv2017

A field guide to categories with $A_n$ fusion rules

We collate information about the fusion categories with $A_n$ fusion rules. This note includes the classification of these categories, a realisation via the Temperley-Lieb categories, the auto-equivalence groups (both braided and tensor), identifications of the subcategories of invertible objects, and explicit descriptions of the Drinfeld centres. The first section describes the classification of these categories (as monoidal, dagger, pivotal, and braided categories). The second section describes the properties of these categories.

math.QA↗

arXiv2017

The Brauer-Picard groups of the fusion categories coming from the $ADE$ subfactors

We compute the group of Morita auto-equivalences of the even parts of the $ADE$ subfactors, and Galois conjugates. To achieve this we study the braided auto-equivalences of the Drinfeld centres of these categories. We give planar algebra presentations for each of these Drinfeld centres, which we leverage to obtain information about the braided auto-equivalences of the corresponding categories. We also perform the same calculations for the fusion categories constructed from the full $ADE$ subfactors. Of particular interest, the even part of the $D_{10}$ subfactor is shown to have Brauer-Picard group $S_3 \times S_3$. We develop combinatorial arguments to compute the underlying algebra objects of these invertible bimodules.

math.QA↗

arXiv2016

Ideals of Steinberg algebras of strongly effective groupoids, with applications to Leavitt path algebras

We consider the ideal structure of Steinberg algebras over a commutative ring with identity. We focus on Hausdorff groupoids that are strongly effective in the sense that their reductions to closed subspaces of their unit spaces are all effective. For such a groupoid, we completely describe the ideal lattice of the associated Steinberg algebra over any commutative ring with identity. Our results are new even for the special case of Leavitt path algebras; so we describe explicitly what they say in this context, and give two concrete examples.

math.RA↗