Observations on the \(F\)-signature of local rings of characteristic \(p\) (Q2497453)

From MaRDI portal
Revision as of 20:52, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Observations on the \(F\)-signature of local rings of characteristic \(p\)
scientific article

    Statements

    Observations on the \(F\)-signature of local rings of characteristic \(p\) (English)
    0 references
    0 references
    4 August 2006
    0 references
    Let \((R,\mathfrak{m}, k)\) be a \(d\)-dimensional noetherian reduced local ring of prime characteristic \(p\). If \(R^{1/p}\) is finite over \(R\) (i.e., \(R\) is \(F\)-finite), \textit{C. Huneke} and \textit{G. Leuschke} [Math. Ann. 324, No. 2, 391--404 (2002; Zbl 1007.13005)] have introduced a numerical invariant \(s(R)\) as the limit of the quotient of certain numerical data associated to the ring \(R\). The present author defines \(s^+(R)\) and \(s^-(R)\) as limsup and respectively liminf of the same quotient, which, unlike \(s(R)\), always exist. A first contribution of the paper under review is an alternative definition for these invariants that does not require \(R\) to be \(F\)-finite. Moreover, the definitions apply to finitely generated \(R\)-modules. The values of \(s^+(R)\), \(s^-(R)\), \(s(R)\) are between 0 and 1. The author shows that if \(s^+(R)\) is big enough, then \(R\) is regular. The invariant \(s(M)\) being defined as a limit, its existence is not always guaranteed. Several sufficient conditions for the existence of the limit are given. In particular, it is shown that \(s(M)\) exists when \(M\) is finitely generated over a regular ring or is a maximal Cohen-Macaulay module over an excellent local ring which is Gorenstein on the punctured spectrum. The behavior of \(F\)-signature under localizations and faithfully flat ring extensions is also studied.
    0 references
    0 references
    flat extension
    0 references
    maximal Cohen-Macaulay modules
    0 references
    excellent rings
    0 references
    Gorenstein rings
    0 references
    regular rings
    0 references

    Identifiers