{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q700208","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q700208","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q700208","kernelVersion":"v1","immutable":true,"modified":"2026-01-03T07:33:19Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q700208","name":"On varieties of representations of bocses","headline":"On varieties of representations of bocses","description":"scientific article; zbMATH DE number 1809794","url":"https://portal.mardi4nfdi.de/entity/Q700208","datePublished":"2003-02-04","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q312564"},{"@id":"https://portal.mardi4nfdi.de/entity/Q402432"},{"@id":"https://portal.mardi4nfdi.de/entity/Q423983"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q176945"}],"comment":"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."},"provenance":{"prov:generatedAtTime":"2026-01-03T07:33:19Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}