\(F\)-signature of graded Gorenstein rings (Q538067): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2061423838 / rank | |||
Normal rank |
Revision as of 20:34, 19 March 2024
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