Table of Contents
Fetching ...

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

César Galindo, Simon Lentner, Sven Möller

Abstract

We explicitly construct nondegenerate braided $\mathbb{Z}_2$-crossed tensor categories of the form $\operatorname{Vect}_Γ\oplus\operatorname{Vect}_{Γ/2Γ}$. They are $\mathbb{Z}_2$-crossed extensions, in the sense of arXiv:0909.3140, of the braided tensor category $\operatorname{Vect}_Γ$ with $\mathbb{Z}_2$-action given by $-\mathrm{id}$ on the finite, abelian group $Γ$. Thus, we obtain generalisations of the Tambara-Yamagami categories, where now the abelian group $Γ$ may have even order and the nontrivial sector $\operatorname{Vect}_{Γ/2Γ}$ 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}_Γ$ for any $Γ$ 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}_Γ$, which we prove commutes with crossed extensions. The $\mathbb{Z}_2$-equivariantisation of $\operatorname{Vect}_Γ\oplus\operatorname{Vect}_{Γ/2Γ}$ 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.

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

Abstract

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

Paper Structure

This paper contains 15 sections, 27 theorems, 122 equations, 1 table.

Key Result

Theorem 1

For $\varepsilon\in\{\pm1\}$, the data given in main_cat:sec_evenTY define a $\mathbb{Z}_2$-crossed ribbon fusion category which is a braided $\mathbb{Z}_2$-crossed extension of ${\operatorname{Vect}_\Gamma^Q}$ for a discriminant form $(\Gamma,Q)$ with the above categorical $\mathbb{Z}_2$-action. It is equipped with a natural choice of $\mathbb{Z}_2$-ribbon structure for which all quantum dimensi

Theorems & Definitions (75)

  • Theorem 1: \ref{['main_cat:thm_evenTY']}
  • Example 3.1: Pointed Fusion Categories
  • Example 3.2: Pointed Braided Fusion Categories
  • Definition 3.3
  • Remark 3.4
  • Definition 3.5
  • Example 3.6
  • Definition 3.7
  • Proposition 3.8: DGNO10
  • Remark 3.9
  • ...and 65 more