pith. sign in

arxiv: 1808.00698 · v3 · pith:DW5IFC7Znew · submitted 2018-08-02 · 🧮 math.QA

Metaplectic Categories, Gauging and Property F

classification 🧮 math.QA
keywords categoriesmetaplecticmodularpropertybosonscategoryconjecturegauging
0
0 comments X
read the original abstract

$N$-Metaplectic categories, unitary modular categories with the same fusion rules as $SO(N)_2$, are prototypical examples of weakly integral modular categories. As such, a conjecture of the second author would imply that images of the braid group representations associated with metaplectic categories are finite groups, i.e. have property $F$. While it was recently shown that $SO(N)_2$ itself has property $F$, proving property $F$ for the more general class of metaplectic modular categories is an open problem. We verify this conjecture for $N$-metaplectic modular categories when $N$ is odd, exploiting their classification and enumeration to relate them to $SO(N)_2$. In another direction, we prove that when $N$ is divisible by $8$ the $N$-metaplectic categories have $3$ non-trivial bosons, and the boson condensation procedure applied to 2 of these bosons yields $\frac{N}{4}$-metaplectic categories. Otherwise stated: any $8k$-metaplectic category is a $\mathbb{Z}_2$-gauging of a $2k$-metaplectic category, so that the $N$ even metaplectic categories lie towers of $\mathbb{Z}_2$-gaugings commencing with $2k$- or $4k$-metaplectic categories with $k$ odd.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Braid group representations from twisted tensor products of algebras

    math.QA 2019-06 unverdicted novelty 4.0

    Unifies and generalizes braid group representations from finite groups via iterated twisted tensor products and suggests a relationship between braidings on G-gaugings of pointed modular category C(A,Q) and on C(A,Q) itself.