On varieties of representations of bocses (Q700208)

Let \(K\) be an algebraically closed field. A left action \(\mathbb{H}\times X\to X\) of an irreducible algebraic \(K\)-variety \(\mathbb{H}\) on an algebraic \(K\)-variety \(X\) is defined and studied in the paper. The second concept introduced by the authors is a left grouplike action \(\mathbb{H}\times X\to X\) of \(\mathbb{H}\) on \(X\). The main application of these concepts are given in the study of the Krull-Schmidt \(K\)-category \(\text{rep}_{\mathcal B}\) of all finite dimensional \(K\)-linear representations of a free triangular \(K\)-bocs \({\mathcal B}=(R, W,\delta)\), where \(R\) is a finitely generated \(K\)-algebra, \(W\) is an \(R\)-bimodule and \(\delta\) is a differential. We assume that there is a decomposition \(1=e_1+\cdots+e_n\) of the identity \(1\) of \(R\) in a sum of orthogonal idempotents \(e_1,\dots,e_n\) of \(R\). Fix a compatible finite subset \(G\) of \(R\) such that \(G\cup\{e_1,\dots,e_n\}\) generates the \(K\)-algebra \(R\) and denote by \(Q_{\mathcal B}\) the quiver of \({\mathcal B}\) with \(n\) points \(1,2,\dots,n\) and the set of arrows \(G\cup A\). Given a dimension vector \(d\in\mathbb{N}^n\), we denote by \(\text{rep}_{\mathcal B}(d)\) the closed affine subspace of the affine space \[ \mathbb{A}_d=\prod_{r\in G}K^{(d_{t(r)},d_{s(r)})}\times\prod_{\beta\in A}K^{(d_{t(\beta)},d_{s(\beta)})}. \] In order to handle the differential, another affine \(K\)-variety \[ \mathbb{M}_d=\prod_{i=1}^nK^{(d_i,d_i)}\times\prod_{x\in X}K^{(d_{t(x)},d_{s(x)})} \] is associated to \(d\in\mathbb{N}^n\) and the bocs \(\mathcal B\), and its open subspace \(\mathbb{H}_d=\mathbb{G}_d\times\prod_{x\in X}K^{(d_{t(x)},d_{s(x)})}\), where \(\mathbb{G}_d=\text{GL}(d_1,K)\times\cdots\times\text{GL}(d_n,K)\) is the product of general linear groups. A morphism \(\Phi\colon\mathbb{H}_d\times\mathbb{A}_d\to\mathbb{A}_d\) of \(K\)-varieties is defined in such a way that \(\Phi\) restricts to a morphism \(\mathbb{H}_d\times\text{rep}_{\mathcal B}(d)\to\text{rep}_{\mathcal B}(d)\) and induces an action of the variety \(\mathbb{H}_d\) on the variety \(\text{rep}_{\mathcal B}(d)\). As an application, the authors present several important geometrical and dimension type lemmata, and their important consequences in the study of tameness and wildness of a wide class of bocses that appear naturally in practice. In particular, a new proof of a theorem of Drozd is presented, as well as interesting facts on generic decompositions and the number of the parameters are given. The authors prove also a version of the well-known Voigt lemma on the tangent space at a point \(M\) and the \(\text{Ext}(M,M)\) group in the category of \(K\)-linear representations of a bocs. Links between varieties of \(K\)-linear representations of bocses and varieties of modules over finite dimensional \(K\)-algebras are also discussed.