The classifying space of a bound quiver.

From MaRDI portal



Abstract: We associate to a bound quiver (Q,I) a CW-complex which we denote by B(Q,I), and call the classifying space of (Q,I). We show that the fundamental group of B(Q,I) is isomorphic to the fundamental group of (Q,I). Moreover, we show that this construction behaves well with respect to coverings. On the other hand, we study the (co)homology groups of B(Q,I), and compare them with the simplicial and the Hochschild (co)homology groups of the algebra A=kQ/I. More precisely, we give sufficient conditions for these groups to be isomorphic. This generalizes a theorem due to Gerstenhaber and Schack.


Let \(K\) be an algebraically closed field. We recall that a bound quiver is a pair \((Q,I)\), where \(Q\) is a quiver (i.e. oriented graph) and \(I\) is an admissible ideal in the path \(K\)-algebra \(KQ\) of \(Q\). To any bound quiver \((Q,I)\) a CW-complex \({\mathcal B}(Q,I)\) is associated in the paper in such a way that the fundamental group of \({\mathcal B}(Q,I)\) is isomorphic to the fundamental group \(\pi_1(Q,I)\) of the bound quiver \((Q,I)\). It is proved that the construction \((Q,I)\mapsto{\mathcal B}(Q,I)\) behaves well with respect to coverings \((\widetilde Q,\widetilde I)\to (Q,I)\) of bound quivers. Relations between the simplicial cohomology of a \(K\)-algebra \(R=KQ/I\) having a semi-normal basis with Hochschild cohomology, cellular cohomology of \({\mathcal B}(Q,I)\) and simplicial cohomology are studied in the paper.



Cites work









This page was built for publication: The classifying space of a bound quiver.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1882870)