Loewy matrix, koszul cone and applications (Q4944401)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1418139
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Loewy matrix, koszul cone and applications |
scientific article; zbMATH DE number 1418139 |
Statements
Loewy matrix, koszul cone and applications (English)
0 references
2 July 2001
0 references
finite-dimensional graded algebras
0 references
orthogonal idempotents
0 references
Frobenius matrices
0 references
Loewy matrices
0 references
Loewy dimension vectors
0 references
Loewy conex
0 references
convex hulls
0 references
Koszul modules
0 references
spectral radii
0 references
projective resolutions
0 references
graded selfinjective Koszul algebras
0 references
complexity
0 references
Gelfand-Kirillov dimension
0 references
Yoneda algebras
0 references
0.8224174976348877
0 references
0.7893606424331665
0 references
0.7883012294769287
0 references
0.7589368224143982
0 references
0.7206158638000488
0 references
Let \(\Lambda=\Lambda_0+\Lambda_1+\cdots+\Lambda_m\) be a finite-dimensional graded algebra over a field \(k\), generated by \(\Lambda_0\) and \(\Lambda_1\) such that \(\Lambda_0=ke_1+\cdots+ke_n\), where \(e_1,\dots,e_n\) are pairwise orthogonal idempotents, and the radical \(\mathfrak r\) of \(\Lambda\) is generated by \(\Lambda_1\). Let \(A^t\) be the matrix whose entries \(a^t_{i,j}\) are equal to the dimensions of the spaces \(e_j\Lambda_te_i\). The Frobenius matrix \(L_\Lambda\) of the matrix polynomial \(T^m+A_1T^{m-1}+\cdots+A_{m-1}T+A_m\cdot E\) is called Loewy matrix of \(\Lambda\). If \(M\) is a finitely generated \(\Lambda\)-module generated at one degree, then the Loewy dimension vector \(\text{ldim }M\) is the vector of dimension \(mn\) whose components are the dimensions of the spaces \(e_i({\mathfrak r}^jM/{\mathfrak r}^{j+1}M)\). At last, the Loewy cone \(\mathcal K\) of the algebra \(\Lambda\) is the closed convex hull in \(\mathbb{R}^{mn}\) of rays \(\mathbb{R}^+\text{ldim }M\) where \(M\) runs over all indecomposable nonprojective Koszul \(\Lambda\)-modules. The maximum of the absolute values of the eigenvalues of the Loewy matrix is called spectral radius of \(\Lambda\). It is proved in the paper that some properties of the algebra \(\Lambda\) and of modules over \(\Lambda\) can be expressed in terms of the Loewy matrix and Loewy cone. Let us mention several of them. A \(\Lambda\)-module is a Koszul module if and only if all terms of its minimal projective resolution can be obtained by multiplying the row \((\Lambda e_1,\dots,\Lambda e_n,0,\dots,0)\) with the degrees of the Loewy matrix. If \(\Lambda\) is a graded selfinjective Koszul algebra, and its spectral radius is \(>1\), then all Koszul \(\Lambda\)-modules have the same complexity \(\infty\). On the contrary, if the spectral radius is equal to \(1\) and \(1\) is an eigenvalue, then there are Koszul modules of finite complexity. Moreover, if the corresponding Jordan block has the dimension \(d\), then there are modules of complexities \(0,1,\dots,d-1\). If the spectral radius of a graded selfinjective Koszul algebra \(\Lambda\) is \(>1\), then the Gelfand-Kirillov dimension of the Yoneda algebra of \(\Lambda\) is infinite. If this spectral radius is equal to \(1\), \(1\) is an eigenvalue and \(d\) is the dimension of the corresponding Jordan block, then the Gelfand-Kirillov dimension of the Yoneda algebra of \(\Lambda\) is equal to \(d\).
0 references