Modular $\mathbb{Z}_2$-Crossed Tambara-Yamagami-like Categories for Even Groups

TL;DR

This paper constructs new nondegenerate braided $Z_2$-crossed tensor categories generalizing Tambara-Yamagami categories to even groups, with implications for modular tensor categories and lattice vertex operator algebras.

Contribution

It explicitly constructs $Z_2$-crossed extensions of $ ext{Vect}_y{ ext{Gamma}}$ for even order groups, expanding the class of known categories beyond previous limitations.

Findings

Constructed nondegenerate braided $Z_2$-crossed tensor categories.

Generalized Tambara-Yamagami categories to even groups.

Produced new modular tensor categories via $Z_2$-equivariantisation.

Abstract

We explicitly construct nondegenerate braided $\mathbb{Z}_2$-crossed tensor categories of the form $\operatorname{Vect}_\Gamma\oplus\operatorname{Vect}_{\Gamma/2\Gamma}$. They are $\mathbb{Z}_2$-crossed extensions, in the sense of arXiv:0909.3140, of the braided tensor category $\operatorname{Vect}_\Gamma$ with $\mathbb{Z}_2$-action given by $-\mathrm{id}$ on the finite, abelian group $\Gamma$. Thus, we obtain generalisations of the Tambara-Yamagami categories, where now the abelian group $\Gamma$ may have even order and the nontrivial sector $\operatorname{Vect}_{\Gamma/2\Gamma}$ more than one simple object. The idea for this construction comes from a physically motivated approach in arXiv:2409.16357 to construct $\mathbb{Z}_2$-crossed extensions of $\operatorname{Vect}_\Gamma$ for any $\Gamma$ from an infinite Tambara-Yamagami category $\operatorname{Vect}_{\mathbb{R}^d}\oplus\operatorname{Vect}$, which itself is not fully rigorously defined, and then using condensation from $\operatorname{Vect}_{\mathbb{R}^d}$ to $\operatorname{Vect}_\Gamma$, which we prove commutes with crossed extensions. The $\mathbb{Z}_2$-equivariantisation of $\operatorname{Vect}_\Gamma\oplus\operatorname{Vect}_{\Gamma/2\Gamma}$ yields new modular tensor categories, which correspond to the orbifold of an arbitrary lattice vertex operator algebra under a lift of $-\mathrm{id}$, as discussed in arXiv:2409.16357.