Rigid families and endomorphism algebras of Kronecker modules (Q1293986)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rigid families and endomorphism algebras of Kronecker modules |
scientific article |
Statements
Rigid families and endomorphism algebras of Kronecker modules (English)
0 references
1 February 2000
0 references
Recall that for an arbitrary ring \(R\) with identity, the generalized matrix \(R\)-algebra \(\Gamma_2(R)=\left(\begin{smallmatrix} A &A^2\\ 0 &A\end{smallmatrix}\right)\) is called the Kronecker \(R\)-algebra with the natural multiplication. The category \(\text{Mod}(\Gamma_2(R))\) of Kronecker \(R\)-modules \(X\) can be identified with the category of \(R\)-representations of the Kronecker quiver, i.e.~the systems \(X=(X',X'',\varphi',\varphi'')\) where \(X'\) and \(X''\) are \(R\)-modules and \(\varphi'\) and \(\varphi''\colon X'\to X''\) are \(R\)-homomorphisms. The authors prove that for any \(R\)-algebra \(A\) generated by \(\lambda\) elements, where \(\lambda\) is an infinite cardinal, there exists a rigid directed system \(\mathbb{F}=\{\mathbb{F}_\beta,f_{\beta\gamma}\}_{\beta\subseteq\gamma\subseteq\lambda}\) of fully faithful \(R\)-linear exact functors \(\mathbb{F}_\beta\colon\text{Mod}(R)\to\text{Mod}(\Gamma_2(R))\) connected by \(R\)-splitting functorial monomorphisms \(f_{\beta\gamma}\colon\mathbb{F}_\beta\to\mathbb{F}_\gamma\) satisfying some extra conditions. Moreover, it is shown that any \(R\)-algebra \(A\) is isomorphic to a \(\Gamma_2(R)\)-endomorphism algebra of the form \(\text{End}(X)\), where \(X\) is an \(A\)-free Kronecker \(A\)-module in \(\text{Mod}(\Gamma_2(R))\). As an immediate corollary the authors obtain a generalization of a well-known result by Ringel. They prove that for any field \(K\) every \(K\)-algebra generated by at most \(\lambda\) elements, where \(\lambda\) is an infinite cardinal number, is isomorphic to an endomorphism algebra \(\text{End}(X)\) of a Kronecker module \(X=(X', X'',\varphi',\varphi'')\) in \(\text{Mod}(\Gamma_2(K))\) such that \(\dim_K(X')=\dim_K(X'')=\lambda\), the \(K\)-linear maps \(\varphi'\) and \(\varphi''\) are injective and \(X''=\text{Im }\varphi'+\text{Im }\varphi''\). At the end several open questions are stated and discussed.
0 references
Kronecker modules
0 references
rigid families
0 references
categories of modules
0 references
categories of representations
0 references
endomorphism algebras
0 references
0 references
0 references
0 references