arXiv subjects

Pinhas Grossman

Publications and source records attributed to Pinhas Grossman.

15 recordsLinked to original sources

arXiv2022

Graded extensions of generalized Haagerup categories

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.

math.OA↗

arXiv2019

Infinite families of potential modular data related to quadratic categories

We present several infinite families of potential modular data motivated by examples of Drinfeld centers of quadratic categories. In each case, the input is a pair of involutive metric groups with Gauss sums differing by a sign, along with some conditions on the fixed points of the involutions and the relative sizes of the groups. From this input we construct $S$ and $T$ matrices which satisfy the modular relations and whose Verlinde coefficients are non-negative integers. We also check certain restrictions coming from Frobenius-Schur indicators. These families generalize Evans and Gannon's conjectures for the modular data associated to generalized Haagerup and near-group categories for odd groups, and include the modular data of the Drinfeld centers of almost all known quadratic categories. In addition to the subfamilies which are conjecturally realized by centers of quadratic categories, these families include many examples of potential modular data which do not correspond to known types of modular tensor categories.

math.OA↗

arXiv2018

The Extended Haagerup fusion categories

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?

math.QA↗

arXiv2016

Fusion Categories Associated to Subfactors with Index $3+\sqrt{5}$

We classify fusion categories which are Morita equivalent to even parts of subfactors with index $3+\sqrt{5} $, and module categories over these fusion categories. For the fusion category $\mathcal{C} $ which is the even part of the self-dual $3^{\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} } $ subfactor, we show that there are $30$ simple module categories over $ \mathcal{C}$; there are no other fusion categories in the Morita equivalence class; and the order of the Brauer-Picard group is $360$. The proof proceeds indirectly by first describing the Brauer-Picard groupoid of a $ \mathbb{Z}/3\mathbb{Z} $-equivariantization $\mathcal{C}^{\mathbb{Z}/3\mathbb{Z} } $ (which is the even part of the $4442$ subfactor). We show that that there are exactly three other fusion categories in the Morita equivalence class of $\mathcal{C}^{\mathbb{Z}/3\mathbb{Z} } $, which are all $ \mathbb{Z}/3\mathbb{Z} $-graded extensions of $\mathcal{C} $. Each of these fusion categories admits $20$ simple module categories, and their Brauer-Picard group is $\mathcal{S}_3 $. We also show that there are exactly five fusion categories in the Morita equivalence class of the even parts of the $3^{\mathbb{Z}/4\mathbb{Z} }$ subfactor; each admits $7$ simple module categories; and the Brauer-Picard group is $\mathbb{Z}/2\mathbb{Z} $.

math.OA↗

arXiv2015

Existence of the $AH+2$ subfactor

We give two different proofs of the existence of the $AH+2$ subfactor, which is a $3$-supertransitive self-dual subfactor with index $\frac{9+\sqrt{17}}{2} $. The first proof is a direct construction using connections on graphs and intertwiner calculus for bimodule categories. The second proof is indirect, and deduces the existence of $AH+2$ from a recent alternative construction of the Asaeda-Haagerup subfactor and fusion combinatorics of the Brauer-Picard groupoid.

math.OA↗

arXiv2015

Drinfeld centers of fusion categories arising from generalized Haagerup subfactors

We consider generalized Haagerup categories such that $1 \oplus X$ admits a $Q$-system for every non-invertible simple object $X$. We show that in such a category, the group of order two invertible objects has size at most four. We describe the simple objects of the Drinfeld center and give partial formulas for the modular data. We compute the remaining corner of the modular data for several examples and make conjectures about the general case. We also consider several types of equivariantizations and de-equivariantizations of generalized Haagerup categories and describe their Drinfeld centers. In particular, we compute the modular data for the Drinfeld centers of a number of examples of fusion categories arising in the classification of small-index subfactors: the Asaeda-Haagerup subfactor; the $3^{\Z_4} $ and $3^{\Z_2 \times \Z_2} $ subfactors; the $2D2$ subfactor; and the $4442$ subfactor. The results suggest the possibility of several new infinite families of quadratic categories. A description and generalization of the modular data associated to these families in terms of pairs of metric groups is taken up in the accompanying paper \cite{GI19_2}.

math.OA↗

arXiv2015

The Asaeda-Haagerup fusion categories

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.

math.OA↗

arXiv2014

The Brauer-Picard group of the Asaeda-Haagerup fusion categories

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.

math.OA↗

arXiv2012

Cyclic extensions of fusion categories via the Brauer-Picard groupoid

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.

math.QA↗

arXiv2011

Quantum subgroups of the Haagerup fusion categories

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.

math.OA↗

arXiv2010

A quadrilateral in the Asaeda-Haagerup category

We construct a noncommuting quadrilateral of factors whose upper sides are each the Asaeda-Haagerup subfactor with index $\frac{5+\sqrt{17}}{2} $ by showing the existence of a Q-system in the Asaeda-Haagerup category with index $\frac{7+\sqrt{17}}{2} $.

math.OA↗

arXiv2008

Strong Singularity for Subfactors

We examine the notion of $α$-strong singularity for subfactors of a \IIi factor, which is a metric quantity that relates the distance between a unitary in the factor and a subalgebra with the distance between that subalgebra and its unitary conjugate. Through planar algebra techniques, we demonstrate the existence of a finite index singular subfactor of the hyperfinite \IIi factor that cannot be strongly singular with $α=1$, in contrast to the case for masas. Using work of Popa, Sinclair, and Smith, we show that there exists an absolute constant $0<c<1$ such that all singular subfactors are $c$-strongly singular. Under the hypothesis of 2-transitivity, we prove that finite index subfactors are $α$-strongly singular with a constant that tends to 1 as the Jones Index tends to infinity and infinite index subfactors are 1-strongly singular. Finally, we give a proof that proper finite index singular subfactors do not have the weak asymptotic homomorphism property relative to the containing factor.

math.OA↗

arXiv2007

Classification of Noncommuting Quadrilaterals of Factors

A quadrilateral of factors is an irreducible inclusion of factors $N \subset M$ with intermediate subfactors $P$ and $Q$ such that $P$ and $Q$ generate $M$ and the intersection of $P$ and $Q$ is $N$. We investigate the structure of a non-commuting quadrilateral of factors with all the elementary inclusions $P\subset M$, $Q\subset M$, $N\subset P$, and $N\subset Q$ 2-supertransitive. In particular we classify such quadrilaterals with the indices of the elementary subfactors less than or equal to 4. We also compute the angles between $P$ and $Q$ for quadrilaterals coming from $α$-induction and asymptotic inclusions.

math.OA↗

arXiv2006

Forked Temperley-Lieb Algebras and Intermediate Subfactors

We consider noncommuting pairs P,Q of intermediate subfactors of an irreducible, finite-index inclusion N in M of II_1 factors such that P and Q are supertransitive with Jones index less than 4 over N. We show that up to isomorphism of the standard invariant, there is a unique such pair corresponding to each even value [P:N]=4cos^2(pi/2n) but none for the odd values [P:N]=4cos^2 (pi/(2n+1)). We also classify the angle values which occur between pairs of intermediate subfactors with small index over their intersection: if [P:N] < 4, then the unique nontrivial angle value is always cos^-1 (1/([P:N]-1)).

math.OA↗

arXiv2005

Intermediate Subfactors with No Extra Structure

If $N \subset P,Q \subset M$ are type II_1 factors with $N' \cap M = C id$ and $[M:N]$ finite we show that restrictions on the standard invariants of the elementary inclusions $N \subset P$, $N \subset Q$, $P \subset M$ and $Q \subset M$ imply drastic restrictions on the indices and angles between the subfactors. In particular we show that if these standard invariants are trivial and the conditional expectations onto $P$ and $Q$ do not commute, then $[M:N]$ is 6 or $6 + 4\sqrt 2$. In the former case $N$ is the fixed point algebra for an outer action of $S_3$ on $M$ and the angle is $π/3$, and in the latter case the angle is $cos^{-1}(\sqrt 2-1)$ and an example may be found in the GHJ subfactor family. The techniques of proof rely heavily on planar algebras.

math.OA↗