arXiv subjects

Scott Morrison

Publications and source records attributed to Scott Morrison.

At least 19 recordsLinked to original sources

arXiv2021

Kashaev--Reshetikhin Invariants of Links

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.

math.GT↗

arXiv2021

Schemes in Lean

We tell the story of how schemes were formalised in three different ways in the Lean theorem prover.

math.AG↗

arXiv2019

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↗

arXiv2019

Invariants of 4-manifolds from Khovanov-Rozansky link homology

We use Khovanov-Rozansky gl(N) link homology to define invariants of oriented smooth 4-manifolds, as skein modules constructed from certain 4-categories with well-behaved duals. The technical heart of this construction is a proof of the sweep-around property, which makes these link homologies well defined in the 3-sphere.

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↗

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↗

arXiv2018

Completion for braided enriched monoidal categories

Monoidal categories enriched in a braided monoidal category $\mathcal{V}$ are classified by braided oplax monoidal functors from $\mathcal{V}$ to the Drinfeld centers of ordinary monoidal categories. In this article, we prove that this classifying functor is strongly monoidal if and only if the original $\mathcal{V}$-monoidal category is tensored over $\mathcal{V}$. We then define a completion operation which produces a tensored $\mathcal{V}$-monoidal category $\overline{\mathcal{C}}$ from an arbitrary $\mathcal{V}$-monoidal category $\mathcal{C}$, and we determine many equivalent conditions which imply $\mathcal{C}$ and $\overline{\mathcal{C}}$ are $\mathcal{V}$-monoidally equivalent. Since being tensored is a property of the underlying $\mathcal{V}$-category of a $\mathcal{V}$-monoidal category, we begin by studying the equivalence between (tensored) $\mathcal{V}$-categories and oplax (strong) $\mathcal{V}$-module categories respectively. We then define the completion operation for $\mathcal{V}$-categories, and adapt these results to the $\mathcal{V}$-monoidal setting.

math.CT↗

arXiv2018

Computing Modular Data for Pointed Fusion Categories

A formula for the modular data of $\mathcal{Z}(Vec^{\omega}G)$ was given by Coste, Gannon and Ruelle in arXiv:hep-th/0001158, but without an explicit proof for arbitrary 3-cocycles. This paper presents a derivation using the representation category of the quasi Hopf algebra $D^{\omega}G$. Further, we have written code to compute this modular data for many pairs of small finite groups and 3-cocycles. This code is optimised using Galois symmetries of the S and T matrices. We have posted a database of modular data for the Drinfeld center of every Morita equivalence class of pointed fusion categories of dimension less than 64.

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

Lifting shadings on symmetrically self-dual subfactor planar algebras

In this note, we discuss the notion of symmetric self-duality of shaded planar algebras, which allows us to lift shadings on subfactor planar algebras to obtain Z/2Z-graded unitary fusion categories. This finishes the proof that there are unitary fusion categories with fusion graphs 4442 and 3333.

math.OA↗

arXiv2017

Monoidal categories enriched in braided monoidal categories

We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some monoidal category $\mathcal T$. Even the basic theory is interesting; it shares many characteristics with the theory of monoidal categories enriched in a symmetric monoidal category, but lacks some features. Of particular note, there is no cartesian product of braided-enriched categories, and the natural transformations do not form a 2-category, but rather satisfy a braided interchange relation. Strikingly, our classification is slightly more general than what one might have anticipated in terms of strong monoidal functors $\mathcal V \to Z(\mathcal T)$. We would like to understand this further; in a future paper we show that the functor is strong if and only if the enriched category is `complete' in a certain sense. Nevertheless it remains to understand what non-complete enriched categories may look like. One should think of our construction as a generalization of de-equivariantization, which takes a strong monoidal functor $\mathsf{Rep}(G) \to Z(\mathcal T)$ for some finite group $G$ and a monoidal category $\mathcal T$, and produces a new monoidal category $\mathcal T // G$. In our setting, given any braided oplax monoidal functor $\mathcal V \to Z(\mathcal T)$, for any braided $\mathcal V$, we produce $\mathcal T // \mathcal V$: this is not usually an `honest' monoidal category, but is instead $\mathcal V$-enriched. If $\mathcal V$ has a braided lax monoidal functor to $\mathsf{Vec}$, we can use this to reduce the enrichment to $\mathsf{Vec}$, and this recovers de-equivariantization as a special case.

math.CT↗

arXiv2016

Modular data for the extended Haagerup subfactor

We compute the modular data (that is, the $S$ and $T$ matrices) for the centre of the extended Haagerup subfactor. The full structure (i.e. the associativity data, also known as 6-$j$ symbols or $F$ matrices) still appears to be inaccessible. Nevertheless, starting with just the number of simple objects and their dimensions (obtained by a combinatorial argument in arXiv:1404.3955) we find that it is surprisingly easy to leverage knowledge of the representation theory of $SL (2, \mathbb Z)$ into a complete description of the modular data. We also investigate the possible character vectors associated with this modular data.

math.QA↗

arXiv2015

The classification of subfactors with index at most $5 \frac{1}{4}$

Subfactor standard invariants encode quantum symmetries. The small index subfactor classification program has been a rich source of interesting quantum symmetries. We give the complete classification of subfactor standard invariants to index $5\frac{1}{4}$, which includes $3+\sqrt{5}$, the first interesting composite index.

math.OA↗

arXiv2015

Computing annular Khovanov homology

We define a third grading on Khovanov homology, which is an invariant of annular links but changes by $\pm 1$ under stabilization. We illustrate the use of our computer implementation, and give some example calculations.

math.GT↗

arXiv2015

A Formula for the Jones-Wenzl Projections

I present a method of calculating the coefficients appearing in the Jones-Wenzl projections in the Temperley-Lieb algebras. It essentially repeats the approach of Frenkel and Khovanov published in 1997. I wrote this note mid-2002, not knowing about their work, but then set it aside upon discovering their article. Recently I decided to dust it off and place it on the arXiv --- hoping the self-contained and detailed proof I give here may be useful. It's also been cited a number of times, so I thought it best to give it a permanent home. The proof is based upon a simplification of the Wenzl recurrence relation. I give an example calculation, and compare this method to the formula announced by Ocneanu and partially proved by Reznikoff. I also describe certain moves on diagrams which modify their coefficients in a simple way.

math.QA↗

arXiv2015

Categories generated by a trivalent vertex

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\"obner bases, and evaluation algorithms which use the discharging method developed in the proof of the $4$-color theorem.

math.QA↗

arXiv2014

2-supertransitive subfactors at index $3+\sqrt{5}$

This article proves the existence and uniqueness of a subfactor planar algebra with principal graph consisting of a diamond with arms of length 2 at opposite sides, which we call 2D2. We also prove the uniqueness of the subfactor planar algebra with principal graph 4442. We conjecture this will complete the list of subfactor planar algebras at index $3+\sqrt{5}$.

math.OA↗

arXiv2014

Subfactors of index exactly 5

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.

math.OA↗