-
Interpolation categories for Conformal Embeddings
Authors:
Cain Edie-Michell,
Noah Snyder
Abstract:
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 rati…
▽ More
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 π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.
△ Less
Submitted 17 March, 2025;
originally announced March 2025.
-
Invertible Fusion Categories
Authors:
Sean Sanford,
Noah Snyder
Abstract:
A tensor category $\mathcal{C}$ over a field $\mathbb{K}$ is said to be invertible if there's a tensor category $\mathcal{D}$ such that $\mathcal{C}\boxtimes\mathcal{D}$ is Morita equivalent to $\mathrm{Vec}_{\mathbb{K}}$. When $\mathbb{K}$ is algebraically closed, it is well-known that the only invertible fusion category is $\mathrm{Vec}_{\mathbb{K}}$, and any invertible multi-fusion category is…
▽ More
A tensor category $\mathcal{C}$ over a field $\mathbb{K}$ is said to be invertible if there's a tensor category $\mathcal{D}$ such that $\mathcal{C}\boxtimes\mathcal{D}$ is Morita equivalent to $\mathrm{Vec}_{\mathbb{K}}$. When $\mathbb{K}$ is algebraically closed, it is well-known that the only invertible fusion category is $\mathrm{Vec}_{\mathbb{K}}$, and any invertible multi-fusion category is Morita equivalent to $\mathrm{Vec}_{\mathbb{K}}$. By contrast, we show that for general $\mathbb{K}$ the invertible multi-fusion categories over a field $\mathbb{K}$ are classified (up to Morita equivalence) by $H^3(\mathbb{K};\mathbb{G}_m)$, the third Galois cohomology of the absolute Galois group of $\mathbb{K}$. We explicitly construct a representative of each class that is fusion (but not split fusion) in the sense that the unit object is simple (but not split simple). One consequence of our results is that fusion categories with braided equivalent Drinfeld centers need not be Morita equivalent when this cohomology group is nontrivial.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Towards the quantum exceptional series
Authors:
Kim Morrison,
Noah Snyder,
Dylan P. Thurston
Abstract:
We find a single two-parameter skein relation on trivalent graphs, the quantum exceptional relation, that specializes to a skein relation associated to each exceptional Lie algebra (in the adjoint representation). If a slight strengthening of Deligne's conjecture on the existence of a (classical) exceptional series is true, then this relation holds for a new two-variable quantum exceptional polyno…
▽ More
We find a single two-parameter skein relation on trivalent graphs, the quantum exceptional relation, that specializes to a skein relation associated to each exceptional Lie algebra (in the adjoint representation). If a slight strengthening of Deligne's conjecture on the existence of a (classical) exceptional series is true, then this relation holds for a new two-variable quantum exceptional polynomial, at least as a power series near $q=1$. The single quantum exceptional relation can be viewed as a deformation of the Jacobi relation, and implies a deformation of the Vogel relation that motivated the conjecture on the classical exceptional series.
We find a conjectural basis for the space of diagrams with $n$ loose ends modulo the quantum exceptional relation for $n \le 6$, with dimensions agreeing with the classical computations, and compute the matrix of inner products, and the quantum dimensions of idempotents. We use the skein relation to compute the conjectural quantum exceptional polynomial for many knots. In particular we determine (unconditionally) the values of the quantum polynomials for the exceptional Lie algebras on these knots. We can perform these computations for all links of Conway width less than $6$, which includes all prime knots with 12 or fewer crossings. Finally, we prove several specialization results relating our conjectural family to certain quantum group categories, and conjecture a number of exceptional analogues of level-rank duality.
△ Less
Submitted 8 April, 2025; v1 submitted 5 February, 2024;
originally announced February 2024.
-
The circular Delannoy category
Authors:
Nate Harman,
Andrew Snowden,
Noah Snyder
Abstract:
Let $G$ (resp. $H$) be the group of orientation preserving self-homeomorphisms of the unit circle (resp. real line). In previous work, the first two authors constructed pre-Tannakian categories $\underline{\mathrm{Rep}}(G)$ and $\underline{\mathrm{Rep}}(H)$ associated to these groups. In the predecessor to this paper, we analyzed the category $\underline{\mathrm{Rep}}(H)$ (which we named the ``Del…
▽ More
Let $G$ (resp. $H$) be the group of orientation preserving self-homeomorphisms of the unit circle (resp. real line). In previous work, the first two authors constructed pre-Tannakian categories $\underline{\mathrm{Rep}}(G)$ and $\underline{\mathrm{Rep}}(H)$ associated to these groups. In the predecessor to this paper, we analyzed the category $\underline{\mathrm{Rep}}(H)$ (which we named the ``Delannoy category'') in great detail, and found it to have many special properties. In this paper, we study $\underline{\mathrm{Rep}}(G)$. The primary difference between these two categories is that $\underline{\mathrm{Rep}}(H)$ is semi-simple, while $\underline{\mathrm{Rep}}(G)$ is not; this introduces new complications in the present case. We find that $\underline{\mathrm{Rep}}(G)$ is closely related to the combinatorics of objects we call Delannoy loops, which seem to have not previously been studied.
△ Less
Submitted 19 March, 2023;
originally announced March 2023.
-
The Delannoy category
Authors:
Nate Harman,
Andrew Snowden,
Noah Snyder
Abstract:
Let $G$ be the group of all order-preserving self-maps of the real line. In previous work, the first two authors constructed a pre-Tannakian category $\underline{\mathrm{Rep}}(G)$ associated to $G$. The present paper is a detailed study of this category, which we name the Delannoy category. We classify the simple objects, determine branching rules to open subgroups, and give a combinatorial rule f…
▽ More
Let $G$ be the group of all order-preserving self-maps of the real line. In previous work, the first two authors constructed a pre-Tannakian category $\underline{\mathrm{Rep}}(G)$ associated to $G$. The present paper is a detailed study of this category, which we name the Delannoy category. We classify the simple objects, determine branching rules to open subgroups, and give a combinatorial rule for tensor products. The Delannoy category has some remarkable features: it is semi-simple in all characteristics; all simples have categorical dimension $\pm 1$; and the Adams operations on its Grothendieck group are trivial. We also give a combinatorial model for $\underline{\mathrm{Rep}}(G)$ based on Delannoy paths.
△ Less
Submitted 6 January, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Graded extensions of generalized Haagerup categories
Authors:
Pinhas Grossman,
Masaki Izumi,
Noah Snyder
Abstract:
We classify certain $\mathbb{Z}_2 $-graded extensions of generalized Haagerup categories in terms of numerical invariants satisfying polynomial equations. In particular, we construct a number of new examples of fusion categories, including: $\mathbb{Z}_2 $-graded extensions of $\mathbb{Z}_{2n} $ generalized Haagerup categories for all $n \leq 5 $; $\mathbb{Z}_2 \times \mathbb{Z}_2 $-graded extensi…
▽ More
We classify certain $\mathbb{Z}_2 $-graded extensions of generalized Haagerup categories in terms of numerical invariants satisfying polynomial equations. In particular, we construct a number of new examples of fusion categories, including: $\mathbb{Z}_2 $-graded extensions of $\mathbb{Z}_{2n} $ generalized Haagerup categories for all $n \leq 5 $; $\mathbb{Z}_2 \times \mathbb{Z}_2 $-graded extensions of the Asaeda-Haagerup categories; and extensions of the $\mathbb{Z}_2 \times \mathbb{Z}_2 $ generalized Haagerup category by its outer automorphism group $A_4 $. The construction uses endomorphism categories of operator algebras, and in particular, free products of Cuntz algebras with free group C$^*$-algebras.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Kashaev--Reshetikhin Invariants of Links
Authors:
Kai-Chieh Chen,
Calvin McPhail-Snyder,
Scott Morrison,
Noah Snyder
Abstract:
Kashaev and Reshetikhin previously described a way to define holonomy invariants of knots using quantum $\mathfrak{sl}_2$ at a root of unity. These are generalized quantum invariants depend both on a knot $K$ and a representation of the fundamental group of its complement into $\mathrm{SL}_2(\mathbb{C})$; equivalently, we can think of $\mathrm{KR}(K)$ as associating to each knot a function on (a s…
▽ More
Kashaev and Reshetikhin previously described a way to define holonomy invariants of knots using quantum $\mathfrak{sl}_2$ at a root of unity. These are generalized quantum invariants depend both on a knot $K$ and a representation of the fundamental group of its complement into $\mathrm{SL}_2(\mathbb{C})$; equivalently, we can think of $\mathrm{KR}(K)$ as associating to each knot a function on (a slight generalization of) its character variety. In this paper we clarify some details of their construction. In particular, we show that for $K$ a hyperbolic knot $\mathrm{KaRe}(K)$ can be viewed as a function on the geometric component of the $A$-polynomial curve of $K$. We compute some examples at a third root of unity.
△ Less
Submitted 14 August, 2021;
originally announced August 2021.
-
A quick route to unique factorization in quadratic orders
Authors:
Paul Pollack,
Noah Snyder
Abstract:
We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization.
We give a short proof -- not relying on ideal classes or the geometry of numbers -- of a known criterion for quadratic orders to possess unique factorization.
△ Less
Submitted 10 October, 2020;
originally announced October 2020.
-
Invertible braided tensor categories
Authors:
Adrien Brochier,
David Jordan,
Pavel Safronov,
Noah Snyder
Abstract:
We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also non-semisimple examples such as categories of representations of the small quantum group at good roots of unity. Via the cobordism hypothesis, we obtain new inverti…
▽ More
We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also non-semisimple examples such as categories of representations of the small quantum group at good roots of unity. Via the cobordism hypothesis, we obtain new invertible 4-dimensional framed topological field theories, which we regard as a non-semisimple framed version of the Crane-Yetter-Kauffman invariants, after Freed--Teleman and Walker's construction in the semisimple case. More generally, we characterize invertibility for E_1- and E_2-algebras in an arbitrary symmetric monoidal oo-category, and we conjecture a similar characterization of invertible E_n-algebras for any n. Finally, we propose the Picard group of BrTens as a generalization of the Witt group of non-degenerate braided fusion categories, and pose a number of open questions about it.
△ Less
Submitted 30 March, 2020;
originally announced March 2020.
-
The Extended Haagerup fusion categories
Authors:
Pinhas Grossman,
Scott Morrison,
David Penneys,
Emily Peters,
Noah Snyder
Abstract:
In this paper we construct two new fusion categories and many new subfactors related to the exceptional Extended Haagerup subfactor.
The Extended Haagerup subfactor has two even parts EH1 and EH2. These fusion categories are mysterious and are the only known fusion categories which appear to be unrelated to finite groups, quantum groups, or Izumi quadratic categories. One key technique which has…
▽ More
In this paper we construct two new fusion categories and many new subfactors related to the exceptional Extended Haagerup subfactor.
The Extended Haagerup subfactor has two even parts EH1 and EH2. These fusion categories are mysterious and are the only known fusion categories which appear to be unrelated to finite groups, quantum groups, or Izumi quadratic categories. One key technique which has previously revealed hidden structure in fusion categories is to study all other fusion categories in the Morita equivalence class, and hope that one of the others is easier to understand. In this paper we show that there are exactly four categories (EH1, EH2, EH3, EH4) in the Morita equivalence class of Extended Haagerup, and that there is a unique Morita equivalence between each pair. The existence of EH3 and EH4 gives a number of interesting new subfactors. Neither EH3 nor EH4 appears to be easier to understand than the Extended Haaerup subfactor, providing further evidence that Extended Haagerup does not come from known constructions. We also find several interesting intermediate subfactor lattices related to Extended Haagerup.
The method we use to construct EH3 and EH4 is interesting in its own right and gives a general computational recipe for constructing fusion categories in the Morita equivalence class of a subfactor. We show that pivotal module $\rm C^*$ categories over a given subfactor correspond exactly to realizations of that subfactor planar algebra as a planar subalgebra of a graph planar algebra. This allows us to construct EH3 and EH4 by realizing the Extended Haagerup subfactor planar algebra inside the graph planar algebras of two new graphs. This technique also answers a long-standing question of Jones: which graph planar algebras contain a given subfactor planar algebra?
△ Less
Submitted 14 October, 2018;
originally announced October 2018.
-
On dualizability of braided tensor categories
Authors:
Adrien Brochier,
David Jordan,
Noah Snyder
Abstract:
We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-…
▽ More
We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively 2, 3 and 4-dimensional framed local topological field theories. In particular, we produce a framed 3-dimensional local TFT attached to the category of representations of a quantum group at any value of $q$.
△ Less
Submitted 15 August, 2018; v1 submitted 20 April, 2018;
originally announced April 2018.
-
The Asaeda-Haagerup fusion categories
Authors:
Pinhas Grossman,
Masaki Izumi,
Noah Snyder
Abstract:
The classification of subfactors of small index revealed several new subfactors. The first subfactor above index 4, the Haagerup subfactor, is increasingly well understood and appears to lie in a (discrete) infinite family of subfactors where the Z/3Z symmetry is replaced by other finite Abelian groups. The goal of this paper is to give a similarly good description of the Asaeda-Haagerup subfactor…
▽ More
The classification of subfactors of small index revealed several new subfactors. The first subfactor above index 4, the Haagerup subfactor, is increasingly well understood and appears to lie in a (discrete) infinite family of subfactors where the Z/3Z symmetry is replaced by other finite Abelian groups. The goal of this paper is to give a similarly good description of the Asaeda-Haagerup subfactor which emerged from our study of its Brauer-Picard groupoid. More specifically, we construct a new subfactor S which is a Z/4Z x Z/2Z analogue of the Haagerup subfactor and we show that the even parts of the Asaeda-Haagerup subfactor are higher Morita equivalent to an orbifold quotient of S. This gives a new construction of the Asaeda-Haagerup subfactor which is much more symmetric and easier to work with than the original construction. As a consequence, we can settle many open questions about the Asaeda-Haagerup subfactor: calculating its Drinfel'd center, classifying all extensions of the Asaeda-Haagerup fusion categories, finding the full higher Morita equivalence class of the Asaeda-Haagerup fusion categories, and finding intermediate subfactor lattices for subfactors coming from the Asaeda-Haagerup categories. The details of the applications will be given in subsequent papers.
△ Less
Submitted 28 January, 2015;
originally announced January 2015.
-
Categories generated by a trivalent vertex
Authors:
Scott Morrison,
Emily Peters,
Noah Snyder
Abstract:
This is the first paper in a general program to automate skein theoretic arguments. In this paper, we study skein theoretic invariants of planar trivalent graphs. Equivalently, we classify trivalent categories, which are nondegenerate pivotal tensor categories over $\mathbb C$ generated by a symmetric self-dual simple object $X$ and a rotationally invariant morphism…
▽ More
This is the first paper in a general program to automate skein theoretic arguments. In this paper, we study skein theoretic invariants of planar trivalent graphs. Equivalently, we classify trivalent categories, which are nondegenerate pivotal tensor categories over $\mathbb C$ generated by a symmetric self-dual simple object $X$ and a rotationally invariant morphism $1 \rightarrow X \otimes X \otimes X$. Our main result is that the only trivalent categories with $\dim \operatorname{Hom}(1, X^{\otimes n})$ bounded by $1,0,1,1,4,11,40$ for $0 \leq n \leq 6$ are quantum $SO(3)$, quantum $G_2$, a one-parameter family of free products of certain Temperley-Lieb categories (which we call ABA categories), and the $H3$ Haagerup fusion category. We also prove similar results where the map $1 \rightarrow X^{\otimes 3}$ is not rotationally invariant, and we give a complete classification of nondegenerate braided trivalent categories with dimensions of invariant spaces bounded by $1,0,1,1,4$. Our main techniques are a new approach to finding skein relations which can be easily automated using Gröbner bases, and evaluation algorithms which use the discharging method developed in the proof of the $4$-color theorem.
△ Less
Submitted 20 July, 2016; v1 submitted 27 January, 2015;
originally announced January 2015.
-
The balanced tensor product of module categories
Authors:
Christopher L. Douglas,
Christopher Schommer-Pries,
Noah Snyder
Abstract:
The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal linear category C is the linear category corepresenting C-balanced right-exact bilinear functors out of the product category M x N. We show that the balanced tensor…
▽ More
The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal linear category C is the linear category corepresenting C-balanced right-exact bilinear functors out of the product category M x N. We show that the balanced tensor product can be realized as a category of bimodule objects in C, provided the monoidal linear category is finite and rigid.
△ Less
Submitted 10 March, 2018; v1 submitted 16 June, 2014;
originally announced June 2014.
-
Subfactors of index exactly 5
Authors:
Masaki Izumi,
Scott Morrison,
David Penneys,
Emily Peters,
Noah Snyder
Abstract:
We give the classification of subfactor planar algebras at index exactly 5. All the examples arise as standard invariants of subgroup subfactors. Some of the requisite uniqueness results come from work of Izumi in preparation. The non-existence results build upon the classification of subfactor planar algebras with index less than 5, with some additional analysis of special cases.
We give the classification of subfactor planar algebras at index exactly 5. All the examples arise as standard invariants of subgroup subfactors. Some of the requisite uniqueness results come from work of Izumi in preparation. The non-existence results build upon the classification of subfactor planar algebras with index less than 5, with some additional analysis of special cases.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
Dualizable tensor categories
Authors:
Christopher L. Douglas,
Christopher Schommer-Pries,
Noah Snyder
Abstract:
We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-dimensional 3-framed local field theories. We also show that all finite tensor cat…
▽ More
We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-dimensional 3-framed local field theories. We also show that all finite tensor categories are 2-dualizable, and yield categorified 2-dimensional 3-framed local field theories. On the other hand, topological properties of 3-framed manifolds determine algebraic equations among functors of tensor categories. We show that the 1-dimensional loop bordism, which exhibits a single full rotation, acts as the double dual autofunctor of a tensor category. We prove that the 2-dimensional belt-trick bordism, which unravels a double rotation, operates on any finite tensor category, and therefore supplies a trivialization of the quadruple dual. This approach produces a quadruple-dual theorem for suitably dualizable objects in any symmetric monoidal 3-category. There is furthermore a correspondence between algebraic structures on tensor categories and homotopy fixed point structures, which in turn provide structured field theories; we describe the expected connection between pivotal tensor categories and combed fixed point structures, and between spherical tensor categories and oriented fixed point structures.
△ Less
Submitted 15 March, 2018; v1 submitted 26 December, 2013;
originally announced December 2013.
-
On cubes of Frobenius extensions
Authors:
Ben Elias,
Noah Snyder,
Geordie Williamson
Abstract:
Given a hypercube of Frobenius extensions between commutative algebras, we provide a diagrammatic description of some natural transformations between compositions of induction and restriction functors, in terms of colored transversely-intersecting planar 1-manifolds. The relations arise in the first and third authors' work on (singular) Soergel bimodules.
Given a hypercube of Frobenius extensions between commutative algebras, we provide a diagrammatic description of some natural transformations between compositions of induction and restriction functors, in terms of colored transversely-intersecting planar 1-manifolds. The relations arise in the first and third authors' work on (singular) Soergel bimodules.
△ Less
Submitted 25 November, 2014; v1 submitted 27 August, 2013;
originally announced August 2013.
-
The classification of subfactors of index at most 5
Authors:
Vaughan F. R. Jones,
Scott Morrison,
Noah Snyder
Abstract:
A subfactor is an inclusion $N \subset M$ of von Neumann algebras with trivial centers. The simplest example comes from the fixed points of a group action $M^G \subset M$, and subfactors can be thought of as fixed points of more general group-like algebraic structures. These algebraic structures are closely related to tensor categories and have played important roles in knot theory, quantum groups…
▽ More
A subfactor is an inclusion $N \subset M$ of von Neumann algebras with trivial centers. The simplest example comes from the fixed points of a group action $M^G \subset M$, and subfactors can be thought of as fixed points of more general group-like algebraic structures. These algebraic structures are closely related to tensor categories and have played important roles in knot theory, quantum groups, statistical mechanics, and topological quantum field theory. There's a measure of size of a subfactor, called the index. Remarkably the values of the index below 4 are quantized, which suggests that it may be possible to classify subfactors of small index. Subfactors of index at most 4 were classified in the '80s and early '90s. The possible index values above 4 are not quantized, but once you exclude a certain family it turns out that again the possibilities are quantized. Recently the classification of subfactors has been extended up to index 5, and (outside of the infinite families) there are only 10 subfactors of index between 4 and 5. We give a summary of the key ideas in this classification and discuss what is known about these special small subfactors.
△ Less
Submitted 7 June, 2013; v1 submitted 22 April, 2013;
originally announced April 2013.
-
Cyclic extensions of fusion categories via the Brauer-Picard groupoid
Authors:
Pinhas Grossman,
David Jordan,
Noah Snyder
Abstract:
We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result to several examples coming from small index subfactors, thereby constructing several new fusion categories as G-extensions. The most striking of these is a Z/2…
▽ More
We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result to several examples coming from small index subfactors, thereby constructing several new fusion categories as G-extensions. The most striking of these is a Z/2Z-extension of one of the Asaeda-Haagerup fusion categories, which is one of only two known 3-supertransitive fusion categories outside the ADE series.
In another direction, we show that our long exact sequence appears in exactly the way one expects: it is part of a long exact sequence of homotopy groups associated to a naturally occuring fibration. This motivates our constructions, and gives another example of the increasing interplay between fusion categories and algebraic topology.
△ Less
Submitted 11 April, 2013; v1 submitted 27 November, 2012;
originally announced November 2012.
-
A rotational approach to triple point obstructions
Authors:
Noah Snyder
Abstract:
Subfactors where the initial branching point of the principal graph is 3-valent are subject to strong constraints called triple point obstructions. Since more complicated initial branches increase the index of the subfactor, triple point obstructions play a key role in the classification of small index subfactors. There are two strong triple point obstructions called the triple-single obstruction…
▽ More
Subfactors where the initial branching point of the principal graph is 3-valent are subject to strong constraints called triple point obstructions. Since more complicated initial branches increase the index of the subfactor, triple point obstructions play a key role in the classification of small index subfactors. There are two strong triple point obstructions called the triple-single obstruction and the quadratic tangles obstruction. Although these obstructions are very closely related, neither is strictly stronger. In this paper we give a more general triple-point obstruction which subsumes both. The techniques are a mix of planar algebraic and connection-theoretic techniques with the key role played by the rotation operator.
△ Less
Submitted 20 July, 2012;
originally announced July 2012.
-
The Brauer-Picard group of the Asaeda-Haagerup fusion categories
Authors:
Pinhas Grossman,
Noah Snyder
Abstract:
We prove that the Brauer-Picard group of Morita autoequiv- alences of each of the three fusion categories which arise as an even part of the Asaeda-Haagerup subfactor or of its index 2 extension is the Klein four-group. We describe the 36 bimodule categories which occur in the full subgroupoid of the Brauer-Picard groupoid on these three fusion categories. We also classify all irreducible subfacto…
▽ More
We prove that the Brauer-Picard group of Morita autoequiv- alences of each of the three fusion categories which arise as an even part of the Asaeda-Haagerup subfactor or of its index 2 extension is the Klein four-group. We describe the 36 bimodule categories which occur in the full subgroupoid of the Brauer-Picard groupoid on these three fusion categories. We also classify all irreducible subfactors both of whose even parts are among these categories, of which there are 111 up to isomorphism of the planar algebra (76 up to duality). Although we identify the entire Brauer-Picard group, there may be additional fusion categories in the groupoid. We prove a partial classification of possible additional fusion categories Morita equivalent to the Asaeda-Haagerup fusion categories and make some conjectures about their existence; we hope to address these conjectures in future work.
△ Less
Submitted 2 January, 2014; v1 submitted 20 February, 2012;
originally announced February 2012.
-
Subfactors of index less than 5, part 3: quadruple points
Authors:
Masaki Izumi,
Vaughan F. R. Jones,
Scott Morrison,
Noah Snyder
Abstract:
One major obstacle in extending the classification of small index subfactors beyond 3+\sqrt{3} is the appearance of infinite families of candidate principal graphs with 4-valent vertices (in particular, the "weeds" Q and Q' from Part 1 (arXiv:1007.1730)). Thus instead of using triple point obstructions to eliminate candidate graphs, we need to develop new quadruple point obstructions. In this pape…
▽ More
One major obstacle in extending the classification of small index subfactors beyond 3+\sqrt{3} is the appearance of infinite families of candidate principal graphs with 4-valent vertices (in particular, the "weeds" Q and Q' from Part 1 (arXiv:1007.1730)). Thus instead of using triple point obstructions to eliminate candidate graphs, we need to develop new quadruple point obstructions. In this paper we prove two quadruple point obstructions. The first uses quadratic tangles techniques and eliminates the weed Q' immediately. The second uses connections, and when combined with an additional number theoretic argument it eliminates both weeds Q and Q'. Finally, we prove the uniqueness (up to taking duals) of the 3311 Goodman-de la Harpe-Jones subfactor using a combination of planar algebra techniques and connections.
△ Less
Submitted 14 September, 2011;
originally announced September 2011.
-
Quantum subgroups of the Haagerup fusion categories
Authors:
Pinhas Grossman,
Noah Snyder
Abstract:
We answer three related questions concerning the Haagerup subfactor and its even parts, the Haagerup fusion categories. Namely we find all simple module categories over each of the Haagerup fusion categories (in other words, we find the `"quantum subgroups" in the sense of Ocneanu), we find all subfactors whose principal even part is one of the Haagerup fusion categories, and we compute the Brauer…
▽ More
We answer three related questions concerning the Haagerup subfactor and its even parts, the Haagerup fusion categories. Namely we find all simple module categories over each of the Haagerup fusion categories (in other words, we find the `"quantum subgroups" in the sense of Ocneanu), we find all subfactors whose principal even part is one of the Haagerup fusion categories, and we compute the Brauer-Picard groupoid of Morita equivalences of the Haagerup fusion categories. In addition to the two even parts of the Haagerup subfactor, there is exactly one more fusion category which is Morita equivalent to each of them. This third fusion category has six simple objects and the same fusion rules as one of the even parts of the Haagerup subfactor, but has not previously appeared in the literature. We also find the full lattice of intermediate subfactors for every subfactor whose even part is one of these three fusion categories, and we discuss how our results generalize to Izumi subfactors.
△ Less
Submitted 1 September, 2011; v1 submitted 13 February, 2011;
originally announced February 2011.
-
Subfactors of index less than 5, part 2: triple points
Authors:
Scott Morrison,
David Penneys,
Emily Peters,
Noah Snyder
Abstract:
We summarize the known obstructions to subfactors with principal graphs which begin with a triple point. One is based on Jones's quadratic tangles techniques, although we apply it in a novel way. The other two are based on connections techniques; one due to Ocneanu, and the other previously unpublished, although likely known to Haagerup.
We then apply these obstructions to the classification of…
▽ More
We summarize the known obstructions to subfactors with principal graphs which begin with a triple point. One is based on Jones's quadratic tangles techniques, although we apply it in a novel way. The other two are based on connections techniques; one due to Ocneanu, and the other previously unpublished, although likely known to Haagerup.
We then apply these obstructions to the classification of subfactors with index below 5. In particular, we eliminate three of the five families of possible principal graphs called "weeds" in the classification from arXiv:1007.1730.
△ Less
Submitted 24 March, 2011; v1 submitted 13 July, 2010;
originally announced July 2010.
-
Subfactors of index less than 5, part 1: the principal graph odometer
Authors:
Scott Morrison,
Noah Snyder
Abstract:
In this series of papers we show that there are exactly ten subfactors, other than $A_\infty$ subfactors, of index between 4 and 5. Previously this classification was known up to index $3+\sqrt{3}$. In the first paper we give an analogue of Haagerup's initial classification of subfactors of index less than $3+\sqrt{3}$, showing that any subfactor of index less than 5 must appear in one of a large…
▽ More
In this series of papers we show that there are exactly ten subfactors, other than $A_\infty$ subfactors, of index between 4 and 5. Previously this classification was known up to index $3+\sqrt{3}$. In the first paper we give an analogue of Haagerup's initial classification of subfactors of index less than $3+\sqrt{3}$, showing that any subfactor of index less than 5 must appear in one of a large list of families. These families will be considered separately in the three subsequent papers in this series.
△ Less
Submitted 22 February, 2011; v1 submitted 10 July, 2010;
originally announced July 2010.
-
Cyclotomic integers, fusion categories, and subfactors
Authors:
Frank Calegari,
Scott Morrison,
Noah Snyder
Abstract:
Dimensions of objects in fusion categories are cyclotomic integers, hence number theoretic results have implications in the study of fusion categories and finite depth subfactors. We give two such applications. The first application is determining a complete list of numbers in the interval (2, 76/33) which can occur as the Frobenius-Perron dimension of an object in a fusion category. The small…
▽ More
Dimensions of objects in fusion categories are cyclotomic integers, hence number theoretic results have implications in the study of fusion categories and finite depth subfactors. We give two such applications. The first application is determining a complete list of numbers in the interval (2, 76/33) which can occur as the Frobenius-Perron dimension of an object in a fusion category. The smallest number on this list is realized in a new fusion category which is constructed in the appendix written by V. Ostrik, while the others are all realized by known examples. The second application proves that in any family of graphs obtained by adding a 2-valent tree to a fixed graph, either only finitely many graphs are principal graphs of subfactors or the family consists of the A_n or D_n Dynkin diagrams. This result is effective, and we apply it to several families arising in the classification of subfactors of index less then 5.
△ Less
Submitted 5 April, 2010;
originally announced April 2010.
-
Knot polynomial identities and quantum group coincidences
Authors:
Scott Morrison,
Emily Peters,
Noah Snyder
Abstract:
We construct link invariants using the $D_{2n}$ subfactor planar algebras, and use these to prove new identities relating certain specializations of colored Jones polynomials to specializations of other quantum knot polynomials. These identities can also be explained by coincidences between small modular categories involving the even parts of the $D_{2n}$ planar algebras. We discuss the origins of…
▽ More
We construct link invariants using the $D_{2n}$ subfactor planar algebras, and use these to prove new identities relating certain specializations of colored Jones polynomials to specializations of other quantum knot polynomials. These identities can also be explained by coincidences between small modular categories involving the even parts of the $D_{2n}$ planar algebras. We discuss the origins of these coincidences, explaining the role of $SO$ level-rank duality, Kirby-Melvin symmetry, and properties of small Dynkin diagrams. One of these coincidences involves $G_2$ and does not appear to be related to level-rank duality.
△ Less
Submitted 10 August, 2014; v1 submitted 26 February, 2010;
originally announced March 2010.
-
Non-cyclotomic fusion categories
Authors:
Scott Morrison,
Noah Snyder
Abstract:
Etingof, Nikshych and Ostrik ask in arXiv:math.QA/0203060 if every fusion category can be completely defined over a cyclotomic field. We show that this is not the case: in particular one of the fusion categories coming from the Haagerup subfactor arXiv:math.OA/9803044 and one coming from the newly constructed extended Haagerup subfactor arXiv:0909.4099 can not be completely defined over a cyclot…
▽ More
Etingof, Nikshych and Ostrik ask in arXiv:math.QA/0203060 if every fusion category can be completely defined over a cyclotomic field. We show that this is not the case: in particular one of the fusion categories coming from the Haagerup subfactor arXiv:math.OA/9803044 and one coming from the newly constructed extended Haagerup subfactor arXiv:0909.4099 can not be completely defined over a cyclotomic field. On the other hand, we show that the double of the even part of the Haagerup subfactor is completely defined over a cyclotomic field. We identify the minimal field of definition for each of these fusion categories, compute the Galois groups, and identify their Galois conjugates.
△ Less
Submitted 2 May, 2010; v1 submitted 31 January, 2010;
originally announced February 2010.
-
Constructing the extended Haagerup planar algebra
Authors:
Stephen Bigelow,
Scott Morrison,
Emily Peters,
Noah Snyder
Abstract:
We construct a new subfactor planar algebra, and as a corollary a new subfactor, with the `extended Haagerup' principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range $(4,3+\sqrt{3})$, which was initiated by Haagerup in 1993. We prove that the subfactor planar algebra with these principal graphs is unique. We give a skein theoretic descript…
▽ More
We construct a new subfactor planar algebra, and as a corollary a new subfactor, with the `extended Haagerup' principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range $(4,3+\sqrt{3})$, which was initiated by Haagerup in 1993. We prove that the subfactor planar algebra with these principal graphs is unique. We give a skein theoretic description, and a description as a subalgebra generated by a certain element in the graph planar algebra of its principal graph. In the skein theoretic description there is an explicit algorithm for evaluating closed diagrams. This evaluation algorithm is unusual because intermediate steps may increase the number of generators in a diagram.
△ Less
Submitted 22 February, 2011; v1 submitted 22 September, 2009;
originally announced September 2009.
-
The half-twist for U_q(g) representations
Authors:
Noah Snyder,
Peter Tingley
Abstract:
We introduce the notion of a half-ribbon Hopf algebra, which is a ribbon Hopf algebra along with a distinguished element $t$ corresponding to twisting a ribbon by 180 degrees (the half-twist). We show that U_q(g) is a (topological) half-ribbon Hopf algebra, but only if one uses a modified ribbon element. We then discuss some consequences of using this modified ribbon element.
We introduce the notion of a half-ribbon Hopf algebra, which is a ribbon Hopf algebra along with a distinguished element $t$ corresponding to twisting a ribbon by 180 degrees (the half-twist). We show that U_q(g) is a (topological) half-ribbon Hopf algebra, but only if one uses a modified ribbon element. We then discuss some consequences of using this modified ribbon element.
△ Less
Submitted 30 October, 2009; v1 submitted 1 October, 2008;
originally announced October 2008.
-
Skein theory for the D_{2n} planar algebras
Authors:
Scott Morrison,
Emily Peters,
Noah Snyder
Abstract:
We give a combinatorial description of the ``$D_{2n}$ planar algebra,'' by generators and relations. We explain how the generator interacts with the Temperley-Lieb braiding. This shows the previously known braiding on the even part extends to a `braiding up to sign' on the entire planar algebra.
We give a direct proof that our relations are consistent (using this `braiding up to sign'), give a c…
▽ More
We give a combinatorial description of the ``$D_{2n}$ planar algebra,'' by generators and relations. We explain how the generator interacts with the Temperley-Lieb braiding. This shows the previously known braiding on the even part extends to a `braiding up to sign' on the entire planar algebra.
We give a direct proof that our relations are consistent (using this `braiding up to sign'), give a complete description of the associated tensor category and principal graph, and show that the planar algebra is positive definite. These facts allow us to identify our combinatorial construction with the standard invariant of the subfactor $D_{2n}$.
△ Less
Submitted 12 November, 2013; v1 submitted 6 August, 2008;
originally announced August 2008.
-
Mednykh's Formula via Lattice Topological Quantum Field Theories
Authors:
Noah Snyder
Abstract:
Mednykh proved that for any finite group G and any orientable surface S, there is a formula for #Hom(pi_1(S), G) in terms of the Euler characteristic of S and the dimensions of the irreducible representations of G. A similar formula in the nonorientable case was proved by Frobenius and Schur. Both of these proofs use character theory and an explicit presentation for π_1. These results have been…
▽ More
Mednykh proved that for any finite group G and any orientable surface S, there is a formula for #Hom(pi_1(S), G) in terms of the Euler characteristic of S and the dimensions of the irreducible representations of G. A similar formula in the nonorientable case was proved by Frobenius and Schur. Both of these proofs use character theory and an explicit presentation for π_1. These results have been reproven using quantum field theory. Here we present a greatly simplified proof of these results which uses only elementary topology and combinatorics. The main tool is an elementary invariant of surfaces attached to a semisimple algebra called a lattice topological quantum field theory.
△ Less
Submitted 28 August, 2008; v1 submitted 4 March, 2007;
originally announced March 2007.
-
Groups with a Character of Large Degree
Authors:
Noah Snyder
Abstract:
Let G be a finite group of order n and V an irreducible representation over the complex numbers of dimension d. For some nonnegative number e, we have n=d(d+e). If e is small, then the character of V has unusually large degree. We fix e and attempt to classify such groups. For e<=3 we give a complete classification. For any other fixed e we show that there are only finitely many examples.
Let G be a finite group of order n and V an irreducible representation over the complex numbers of dimension d. For some nonnegative number e, we have n=d(d+e). If e is small, then the character of V has unusually large degree. We fix e and attempt to classify such groups. For e<=3 we give a complete classification. For any other fixed e we show that there are only finitely many examples.
△ Less
Submitted 28 August, 2008; v1 submitted 9 March, 2006;
originally announced March 2006.
-
Cartan subalgebras of root-reductive Lie algebras
Authors:
Elizabeth Dan-Cohen,
Ivan Penkov,
Noah Snyder
Abstract:
Root-reductive Lie algebras are direct limits of finite-dimensional reductive Lie algebras under injections which preserve the root spaces. It is known that a root-reductive Lie algebra is a split extension of an abelian Lie algebra by a direct sum of copies of finite-dimensional simple Lie algebras as well as copies of the three simple infinite-dimensional root-reductive Lie algebras sl_infty,…
▽ More
Root-reductive Lie algebras are direct limits of finite-dimensional reductive Lie algebras under injections which preserve the root spaces. It is known that a root-reductive Lie algebra is a split extension of an abelian Lie algebra by a direct sum of copies of finite-dimensional simple Lie algebras as well as copies of the three simple infinite-dimensional root-reductive Lie algebras sl_infty, so_infty, and sp_infty. As part of a structure theory program for root-reductive Lie algebras, Cartan subalgebras of the Lie algebra gl_infty were introduced and studied in a paper of Neeb and Penkov.
In the present paper we refine and extend the results of [N-P] to the case of a general root-reductive Lie algebra g. We prove that the Cartan subalgebras of g are the centralizers of maximal toral subalgebras and that they are nilpotent and self-normalizing. We also give an explicit description of all Cartan subalgebras of the simple Lie algebras sl_infty, so_infty, and sp_infty.
We conclude the paper with a characterization of the set of conjugacy classes of Cartan subalgebras of the Lie algebras gl_infty, sl_infty, so_infty, and sp_infty with respect to the group of automorphisms of the natural representation which preserve the Lie algebra.
△ Less
Submitted 28 February, 2006;
originally announced March 2006.
