[Paper Review] F-injectivity and Buchsbaum singularities

Linquan Ma|arXiv (Cornell University)|Aug 1, 2013

Commutative Algebra and Its Applications20 references4 citations

TL;DR

This paper establishes that in equal characteristic $p>0$ local rings, $F$-injectivity is equivalent to every system of parameters generating a Frobenius-closed ideal, under the condition that local cohomology modules $H_{rak{m}}^i(R)$ have finite length for $i < \dim R$. As a consequence, such rings are Buchsbaum, affirmatively answering a question by Takagi on $F$-injective singularities with isolated non-Cohen-Macaulay locus. The result extends to characteristic 0 via Du Bois singularities in the graded case.

ABSTRACT

Let (R,m) be a local ring that contains a field. We show that, when R has equal characteristic p&gt;0 and when H_m^i(R) has finite length for all i

Motivation & Objective

• To clarify the relationship between $F$-injectivity and Frobenius closure of ideals generated by systems of parameters in non-Cohen-Macaulay rings.
• To resolve an open question by S. Takagi on whether $F$-injective singularities with isolated non-Cohen-Macaulay locus are Buchsbaum.
• To extend the analogy between $F$-injective singularities in characteristic $p>0$ and Du Bois singularities in characteristic 0, particularly in the graded setting.
• To provide a characteristic 0 analogue of the main result, showing that Du Bois singularities with isolated non-Cohen-Macaulay locus are Buchsbaum under standard graded normality.

Proposed method

• Established an equivalence between $F$-injectivity and Frobenius closure of all ideals generated by systems of parameters in equal characteristic $p>0$ local rings with finite-length local cohomology modules $H_{rak{m}}^i(R)$ for $i < \dim R$.
• Used the structure of Koszul homology and generic freeness to reduce the problem to a fibral argument over a finitely generated $\mathbb{Z}$-algebra.
• Applied Schenzel’s criterion for Buchsbaum rings via alternating sums of lengths of Koszul homology modules.
• Utilized base change and reduction to positive characteristic via the theory of $F$-pure and $F$-injective singularities.
• Leveraged Schwede’s characterization of Du Bois singularities in terms of Frobenius splitting in characteristic 0.
• Proved the characteristic 0 result by reducing to the $p>0$ case via deformation and generic freeness, assuming the conjecture on dense $F$-injective type.

Experimental results

Research questions

• RQ1 Is $F$-injectivity equivalent to Frobenius closure of all systems of parameters in equal characteristic $p>0$ local rings with finite-length local cohomology modules $H_{rak{m}}^i(R)$ for $i < \dim R$?
• RQ2 Are $F$-injective local rings with isolated non-Cohen-Macaulay locus necessarily Buchsbaum rings?
• RQ3 Does the characteristic 0 analogue of this result hold for Du Bois singularities in the graded case?
• RQ4 Can the conjecture that Du Bois singularities have dense $F$-injective type be used to prove the Buchsbaum property in characteristic 0?
• RQ5 Is the Buchsbaum property preserved under reduction modulo $p$ for normal standard graded algebras with isolated non-Cohen-Macaulay locus?

Key findings

• The paper proves that $F$-injectivity is equivalent to every ideal generated by a system of parameters being Frobenius closed in equal characteristic $p>0$ local rings where $H_{rak{m}}^i(R)$ has finite length for all $i < \dim R$.
• As a consequence, such rings are Buchsbaum, thus affirmatively answering Takagi’s question about $F$-injective singularities with isolated non-Cohen-Macaulay locus.
• In the graded case, Du Bois singularities with isolated non-Cohen-Macaulay locus are shown to be Buchsbaum, under the assumption of normality and standard grading.
• The proof relies on reduction to positive characteristic and generic freeness to compare Koszul homology lengths across different systems of parameters.
• The authors show that if the conjecture on dense $F$-injective type holds, then the characteristic 0 result follows from the $p>0$ case.
• The paper demonstrates that the Buchsbaum property is preserved under reduction modulo $p$ for normal standard graded $K$-algebras with isolated non-Cohen-Macaulay locus.