Qurves and quivers (Q2386051)

Let \(k\) be a field with algebraic closure \(\mathbf{k}\). This paper is a study of \(k\)-qurves, a term coined by the author to refer to \(k\)-algebras which have previously been referred to as both quasi-free and formally smooth in works by other authors. That is, a \(k\)-qurve is a finitely generated \(k\)-algebra \(A\) where every \(\phi :A\rightarrow B/I\) (where \(B\) is a \(k\) -algebra and \(I\) is a nilpotent ideal) factors through \(B\). This new term is justified by the statement that (from the paper): ``...they behave \textit{q}uite like c\textit{urves}.'' Associated to a \(k\)-qurve \(A\) is the one-quiver \(Q_{1}\left( A\right) .\) This quiver consists of a vertex set \(\left\{ v_{\alpha }\,| \,\alpha \in \Sigma _{A}\right\} \) with the number of arrows from \(v_{\alpha }\) to \( v_{\beta }\) is given by \(\delta _{\alpha \beta }-\dim _{\mathbf{k}}\text{ Hom}_{A}\left( \alpha ,\beta \right) -\dim _{\mathbf{k}}\)Ext\(_{A}^{1}\left( \alpha ,\beta \right) ,\) where \(\Sigma _{A}\) is the minimal set of semi-group generators of the component semigroup. Along with this quiver is its dimension vector \(\alpha _{1}\left( A\right) .\) The pair \(\left( Q_{1}\left( A\right) ,\alpha _{1}\left( A\right) \right) \) can be used in the study of representations of \(k\)-qurves. For example, it is shown that \(\alpha \) is a simple finite-dimensional representation of \(A\) if and only if \(\left( a_{1},\dots ,a_{k}\right) \) is a simple dimension vector of \(Q_{1}\left( A\right) ,\) where \(\alpha =a_{1}\beta _{1}+\cdots +a_{k}\beta _{k}\) is the decomposition of \(\alpha \) in terms of the semigroup generators of the component semigroup. Also, if \(S\in \text{rep}_{\alpha }A\) and \(T\in \text{rep}_{\beta }A\) this pair can be used to compute the dimension of Ext\(_{A}^{1}\left( S,T\right) .\) The main result in this area, however, is that \(\left( Q_{1}\left( A\right) ,\alpha _{1}\left( A\right) \right) \) can be used to construct the local quiver pair \(\left( Q_{M},\alpha _{M}\right) \) for \(M\) a semisimple representation of \(A\), thereby providing information about \(Q_{M}.\) Finally, the one-quiver setting for \(\pi _{1}:=\pi _{1}\left( \mathcal{S} _{G}\right) ,\) where \(\mathcal{S}_{G}\) is a graph of semisimple \(\mathbf{k}\) -algebras, is constructed. It is shown that simple \(n\)-dimensional representations of \(\pi _{1}\) are parameterized by points of a certain smooth quasi-affine variety. In the case where \(k\) has characteristic \(0\) conditions are provided for when rep\(_{\alpha }\pi _{1}\) contains simple representations.