\(F\)-signature of graded Gorenstein rings (Q538067): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(R\) be a reduced ring of positive characteristic \(p\), \(p\) prime. For \(e\geq 0\), \(R^{(e)}\) denotes \(R\) regarded as an \(R\)-algebra via \(F^e:R\to R\), \(F^e(r)=r^{p^e}\), for all \(r\in R\). Whenever \(R\) is \(\mathbb N\)-graded, \(F\)-finite and Gorenstein, an upper bound for the \(F\)-signature of \(R\) in terms of the \(a\)-invariant, the Poincaré series, and the dimension of the ring is established. The inequality is shown to be an equality in dimension \(2\), when \(R\) is regular or a rational double point. The equality does not hold for regular rings of dimension greater or equal to \(3\). In addition, under the additional hypothesis that \(R\) is an isolated singularity and \(R_0\) is a perfect field, then \(R^{(e)}\) has only one free direct summand for each \(e\geq 0\) if and only if \(R\) is \(F\)-pure and \(a(R)=0\). A version of this result is given in the local case as well. | |||
Property / review text: Let \(R\) be a reduced ring of positive characteristic \(p\), \(p\) prime. For \(e\geq 0\), \(R^{(e)}\) denotes \(R\) regarded as an \(R\)-algebra via \(F^e:R\to R\), \(F^e(r)=r^{p^e}\), for all \(r\in R\). Whenever \(R\) is \(\mathbb N\)-graded, \(F\)-finite and Gorenstein, an upper bound for the \(F\)-signature of \(R\) in terms of the \(a\)-invariant, the Poincaré series, and the dimension of the ring is established. The inequality is shown to be an equality in dimension \(2\), when \(R\) is regular or a rational double point. The equality does not hold for regular rings of dimension greater or equal to \(3\). In addition, under the additional hypothesis that \(R\) is an isolated singularity and \(R_0\) is a perfect field, then \(R^{(e)}\) has only one free direct summand for each \(e\geq 0\) if and only if \(R\) is \(F\)-pure and \(a(R)=0\). A version of this result is given in the local case as well. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Florian Enescu / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13H10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5899126 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(F\)-signature | |||
Property / zbMATH Keywords: \(F\)-signature / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(F\)-pure rings | |||
Property / zbMATH Keywords: \(F\)-pure rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(a\)-invariant | |||
Property / zbMATH Keywords: \(a\)-invariant / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gorenstein rings | |||
Property / zbMATH Keywords: Gorenstein rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free direct summands | |||
Property / zbMATH Keywords: free direct summands / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Frobenius action | |||
Property / zbMATH Keywords: Frobenius action / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
graded rings | |||
Property / zbMATH Keywords: graded rings / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Poincaré polynomials | |||
Property / zbMATH Keywords: Poincaré polynomials / rank | |||
Normal rank |
Revision as of 10:32, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(F\)-signature of graded Gorenstein rings |
scientific article |
Statements
\(F\)-signature of graded Gorenstein rings (English)
0 references
23 May 2011
0 references
Let \(R\) be a reduced ring of positive characteristic \(p\), \(p\) prime. For \(e\geq 0\), \(R^{(e)}\) denotes \(R\) regarded as an \(R\)-algebra via \(F^e:R\to R\), \(F^e(r)=r^{p^e}\), for all \(r\in R\). Whenever \(R\) is \(\mathbb N\)-graded, \(F\)-finite and Gorenstein, an upper bound for the \(F\)-signature of \(R\) in terms of the \(a\)-invariant, the Poincaré series, and the dimension of the ring is established. The inequality is shown to be an equality in dimension \(2\), when \(R\) is regular or a rational double point. The equality does not hold for regular rings of dimension greater or equal to \(3\). In addition, under the additional hypothesis that \(R\) is an isolated singularity and \(R_0\) is a perfect field, then \(R^{(e)}\) has only one free direct summand for each \(e\geq 0\) if and only if \(R\) is \(F\)-pure and \(a(R)=0\). A version of this result is given in the local case as well.
0 references
\(F\)-signature
0 references
\(F\)-pure rings
0 references
\(a\)-invariant
0 references
Gorenstein rings
0 references
free direct summands
0 references
Frobenius action
0 references
graded rings
0 references
Poincaré polynomials
0 references