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
      0 references
      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
      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

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references