Group actions on rings and the Čech complex (Q390730): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
\textit{D. Karagueuzian} and the author [J. Am. Math. Soc. 20, No. 4, 931-967 (2007; Zbl 1138.13004)] have previously shown that, when a finite group \(G\) acts on a polynomial ring \(S = k[x_1, \dots , x_n]\) over a finite field \(k\) by homogeneous linear transformations, only finitely many isomorphism classes of indecomposable \(kG\)-modules occur as summands of \(S\). They have also shown that the regularity of the invariant subring \(S^G\) is at most zero, which has various important consequences: for example, \(S^G\) is generated in degrees at most \(n(|G|-1)\) (provided \(n, |G| \geq 2\)). In the article under review the author reproves these results using a simpler, more conceptual method, based on considering the Čech complex associated to \(S\) and showing that it is split exact over \(kG\) in degrees greater than \(-n\). | |||
Property / review text: \textit{D. Karagueuzian} and the author [J. Am. Math. Soc. 20, No. 4, 931-967 (2007; Zbl 1138.13004)] have previously shown that, when a finite group \(G\) acts on a polynomial ring \(S = k[x_1, \dots , x_n]\) over a finite field \(k\) by homogeneous linear transformations, only finitely many isomorphism classes of indecomposable \(kG\)-modules occur as summands of \(S\). They have also shown that the regularity of the invariant subring \(S^G\) is at most zero, which has various important consequences: for example, \(S^G\) is generated in degrees at most \(n(|G|-1)\) (provided \(n, |G| \geq 2\)). In the article under review the author reproves these results using a simpler, more conceptual method, based on considering the Čech complex associated to \(S\) and showing that it is split exact over \(kG\) in degrees greater than \(-n\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ivo M. Michailov / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20C05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6243605 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
regularity | |||
Property / zbMATH Keywords: regularity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Čech complex | |||
Property / zbMATH Keywords: Čech complex / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
invariant | |||
Property / zbMATH Keywords: invariant / rank | |||
Normal rank |
Revision as of 15:01, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Group actions on rings and the Čech complex |
scientific article |
Statements
Group actions on rings and the Čech complex (English)
0 references
8 January 2014
0 references
\textit{D. Karagueuzian} and the author [J. Am. Math. Soc. 20, No. 4, 931-967 (2007; Zbl 1138.13004)] have previously shown that, when a finite group \(G\) acts on a polynomial ring \(S = k[x_1, \dots , x_n]\) over a finite field \(k\) by homogeneous linear transformations, only finitely many isomorphism classes of indecomposable \(kG\)-modules occur as summands of \(S\). They have also shown that the regularity of the invariant subring \(S^G\) is at most zero, which has various important consequences: for example, \(S^G\) is generated in degrees at most \(n(|G|-1)\) (provided \(n, |G| \geq 2\)). In the article under review the author reproves these results using a simpler, more conceptual method, based on considering the Čech complex associated to \(S\) and showing that it is split exact over \(kG\) in degrees greater than \(-n\).
0 references
regularity
0 references
Čech complex
0 references
invariant
0 references