On the limit of Frobenius in the Grothendieck group (Q2352393): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q267403
Property / reviewed by
 
Property / reviewed by: Janet C. Vassilev / rank
Normal rank
 

Revision as of 09:26, 12 February 2024

scientific article
Language Label Description Also known as
English
On the limit of Frobenius in the Grothendieck group
scientific article

    Statements

    On the limit of Frobenius in the Grothendieck group (English)
    0 references
    0 references
    0 references
    1 July 2015
    0 references
    The Cohen-Macaulay cone of a local ring \(R\) is the set of non-negative \(\mathbb{R}\)-linear combinations of equivalence classes of maximal Cohen-Macaulay modules of \(R\) in the Grothendieck group of finitely generated \(R\)-modules modulo numerical equivalence extended to \(\mathbb{R}\). For an \(F\)-finite local ring \((R, \mathfrak{m}, k)\) with \(k\) algebraically closed, the fundamental class is the direct limit of the classes \([^eR]/p^{de}\) in the Grothendieck group modulo numerical equivalence extended to \(\mathbb{Q}\). The authors show that when \((R,\mathfrak{m},k)\) is an \(F\)-finite Cohen-Macaulay local domain of characteristic \(p\) with \(k\) algebraically closed the following two facts hold: (1) If \(R\) is of finite \(F\)-representation type, then the fundamental class is contained in the Cohen-Macaulay cone. (2) If \(R\) is \(F\)-rational then the fundamental class is contained in the interior of the Cohen-Macaulay cone. The paper presents several interesting examples and suggests many open questions about the relationship between the fundamental class and the Cohen-Macaulay cone. The authors also provide a clear explanation of why this work is related to the homological conjectures.
    0 references
    Grothendieck group
    0 references
    Cohen-Macaulay cone
    0 references
    homological conjectures
    0 references
    fundamental class
    0 references
    numerical equivalence
    0 references

    Identifiers