The universal cover of an algebra without double bypass. (Q2370217): Difference between revisions

Let \(K\) be an~algebraically closed field of characteristic zero and let \(A\) be a~finite dimensional algebra over \(K\), which is basic and connected. Denote by \(Q=(Q_0,Q_1)\) the ordinary (Gabriel) quiver of \(A\), where \(Q_0\) is the set of vertices and \(Q_1\) is the set of arrows of \(Q\). A~bypass in \(Q\) is a~couple \((\alpha,u)\) where \(\alpha\neq u\), \(\alpha\in Q_1\) and \(u\) is a~path in \(Q\) parallel to \(\alpha\) (i.e. \(\alpha\) and \(u\) have the same source and the same target). A~double bypass is a~\(4\)-tuple \((\alpha,u,\beta,v)\), where \((\alpha,u)\) and \((\beta,v)\) are bypasses such that the arrow \(\beta\) appears in the path \(u\). Let \((Q,I)\) be a~quiver with admissible relation and let \(\pi_1(Q,I)\) be the fundamental group of \((Q,I)\). This group is playing an~important role in the theory of Galois coverings of algebras. The author studies the theory of Galois coverings of algebras whose ordinary quivers have no double bypass. The main aim of this paper is to prove the following two theorems. Theorem 1. Let \(K\) and \(A\) be as above. Moreover, assume that the ordinary quiver of \(A\) has no double bypass. There exists a~presentation \(KQ/I_0\simeq A\) by a~quiver and relations such that for any other presentation \(KQ/I\simeq A\) the identity map on the walks in \(Q\) induces a~surjective group morphism \(\pi_1(Q,I_0)\to \pi_1(Q,I)\). Theorem 2. For any connected Galois covering \(F\colon{\mathcal C}'\to A\) with group \(G\) there exist an~isomorphism \(i\colon KQ/I_0\to A\), a~Galois covering \(p\colon K\widetilde Q/\widetilde I_0\to{\mathcal C}'\) with group a~normal subgroup \(N\) of \(\pi_1(Q,I_0)\) and a~commutative diagram: \(F\circ p=i\circ F_0\) together with an exact sequence of groups \(1\to N\to\pi_1(Q,I_0)\to G\to 1\), where \(F_0\colon K\widetilde Q/\widetilde I_0\to KQ/I_0\) is the Galois covering with group \(\pi_1(Q,I_0)\).