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

Abstract

The tensor functor called $α$-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 $α$-induction for bi-unitary connections, and show that flatness of the resulting $α$-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 $α$-induced bi-unitary connections and the commutative Frobenius subalgebras studied by Böckenhauer-Evans.