Flatness of $\alpha$-induced bi-unitary connections and commutativity of Frobenius algebras

TL;DR

This paper investigates the flatness of $eta$-induced bi-unitary connections in fusion categories, showing that flatness implies commutativity of the associated Frobenius algebra, thus advancing understanding in subfactor theory and topological order.

Contribution

It establishes that flatness of $eta$-induced bi-unitary connections implies the commutativity of the original Frobenius algebra, providing a converse to previous results and addressing a question by R. Longo.

Findings

Flatness of $eta$-induced bi-unitary connections implies Frobenius algebra commutativity.

Finer correspondence between flat parts of connections and commutative Frobenius subalgebras.

Answers a question raised by R. Longo regarding bi-unitary connections and Frobenius algebras.

Abstract

The tensor functor called $\alpha$-induction produces a new unitary fusion category from a Frobenius algebra, or a $Q$-system, in a braided unitary fusion category. A bi-unitary connection, which is a finite family of complex number subject to some axioms, realizes an object in any unitary fusion category. It also gives a characterization of a finite-dimensional nondegenerate commuting square in subfactor theory of Jones and realizes a certain $4$-tensor appearing in recent studies of $2$-dimensional topological order. We study $\alpha$-induction for bi-unitary connections, and show that flatness of the resulting $\alpha$-induced bi-unitary connections implies commutativity of the original Frobenius algebra. This gives a converse of our previous result and answers a question raised by R. Longo. We furthermore give finer correspondence between the flat parts of the $\alpha$-induced bi-unitary connections and the commutative Frobenius subalgebras studied by B\"ockenhauer-Evans.