Kitaev's stabilizer code and chain complex theory of bicommutative Hopf algebras

In this paper, we give a generalization of Kitaev's stabilizer code based on chain complex theory of bicommutative Hopf algebras. Due to the bicommutativity, the Kitaev's stabilizer code extends to a broader class of spaces, e.g. finite CW-complexes ; more generally short abstract complex over a commutative unital ring R which is introduced in this paper. Given a finite-dimensional bisemisimple bicommutative Hopf algebra with an R-action, we introduce some analogues of A-stabilizers, B-stabilizers and the local Hamiltonian, which we call by the (+)-stabilizers, the (-)-stabilizers and the elementary operator respectively. We prove that the eigenspaces of the elementary operator give an orthogonal decomposition and the ground-state space is isomorphic to the homology Hopf algebra. In application to topology, we propose a formulation of topological local stabilizer models in a functorial way. It is known that the ground-state spaces of Kitaev's stabilizer code extends to Turaev-Viro TQFT. We prove that the 0-eigenspaces of a topological local stabilizer model extends to a projective TQFT which is improved to a TQFT in typical examples. Furthermore, we give a generalization of the duality in the literature based on the Poincar'e-Lefschetz duality of R-oriented manifolds.