Higman ideal, stable Hochschild homology and Auslander-Reiten conjecture. (Q415476): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1007/s00209-010-0825-z / rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S00209-010-0825-Z / rank | |||
Normal rank |
Revision as of 01:14, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higman ideal, stable Hochschild homology and Auslander-Reiten conjecture. |
scientific article |
Statements
Higman ideal, stable Hochschild homology and Auslander-Reiten conjecture. (English)
0 references
8 May 2012
0 references
Let \(k\) be an algebraically closed field, and \(A\), \(B\) be finite dimensional \(k\)-algebras. The algebras \(A\) and \(B\) are said to be stably equivalent if there is an equivalence of their associated stable module categories. The Auslander-Reiten conjecture asserts that if \(A\) and \(B\) are stably equivalent, then \(A\) and \(B\) should have the same number of isomorphism classes of non-projective simple modules. The focus of this paper is on the special (but oft occurring) case of a stable equivalence of \textit{Morita type}. Let \(A^e:=A\otimes_kA^{op}\) denote the enveloping algebra of \(A\). The center \(Z(A)\) of \(A\) can be identified with the \(A^e\)-endomorphisms of \(A\), and the projective center of \(A\) is the subset of \(Z(A)\) consisting of those endomorphisms that factor though a projective \(A^e\)-module. From an alternate perspective, the projective center of \(A\) can be identified with the Higman ideal of \(A\). The quotient of the center by the projective center is called the stable center of \(A\). The authors introduce an analogous notion of the 0-degree stable Hochschild homology group \(HH_0^{\text{st}}(A)\) as a subset of the ordinary Hochschild homology \(HH_0(A)\). It is shown that if \(A\) and \(B\) are stably equivalent of Morita type, then \(HH_0^{\text{st}}(A)\cong HH_0^{\text{st}}(B)\). Further, it is shown that the dimension of \(HH_0(A)\) is the dimension of \(HH_0^{\text{st}}(A)\) plus the \(p\)-rank of the Cartan matrix of \(A\) where \(p\) is the characteristic of \(k\). The main result is that if \(A\) and \(B\) are stably equivalent of Morita type, then \(A\) and \(B\) having the same number of isomorphism classes of simple modules is equivalent to \(HH_0(A)\) and \(HH_0(B)\) having the same dimension. If \(A\) and \(B\) have no semisimple direct summands, then this is further equivalent to \(A\) and \(B\) having the same number of non-projective simple modules. If one supposes that \(A\) or \(B\) is symmetric, then the condition that \(A\) and \(B\) have the same number of isomorphism classes of simple modules is further equivalent to the centers (or projective centers) of \(A\) and \(B\) having the same dimension. The above results hold over fields of arbitrary characteristic. For \(p>0\), the authors use the existence of a power-\(p\) map on \(HH_0(A)\) to obtain an alternate proof of the results. They also provide an application to stable Külshammer and Reynolds ideals.
0 references
Auslander-Reiten conjecture
0 references
Higman ideals
0 references
projective center
0 references
stable equivalences of Morita type
0 references
stable Hochschild homology
0 references
transfer maps
0 references
simple modules
0 references
finite dimensional algebras
0 references
stable module categories
0 references
0 references
0 references
0 references