Frobenius algebras associated with the -induction for equivariantly braided tensor categories
arXiv:2303.11845 · doi:10.1007/s00023-023-01396-w
Abstract
Let be a group. We give a categorical definition of the -equivariant -induction associated with a given -equivariant Frobenius algebra in a -braided multitensor category, which generalizes the -induction for -twisted representations of conformal nets. For a given -equivariant Frobenius algebra in a spherical -braided fusion category, we construct a -equivariant Frobenius algebra, which we call a -equivariant -induction Frobenius algebra, in a suitably defined category called neutral double. This construction generalizes Rehren's construction of -induction Q-systems. Finally, we define the notion of the -equivariant full center of a -equivariant Frobenius algebra in a spherical -braided fusion category and show that it indeed coincides with the corresponding -equivariant -induction Frobenius algebra, which generalizes a theorem of Bischoff, Kawahigashi and Longo.
49 pages, 78 TikZ figures. Version 2 includes additional results in Section 4