Symbolic power containments in singular rings in positive characteristic

DOI10.1007/S00229-021-01359-7MaRDI QIDQ6329196arXivFDO

Authors Eloísa Grifo, Linquan Ma, Karl Schwede

Publication date 14 November 2019

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00229-021-01359-7

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Homological methods in commutative ring theory (13D99) Singularities in algebraic geometry (14B05) Singularities of curves, local rings (14H20) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05)

arXiv classification

math.ACmath.AG

Abstract: The containment problem for symbolic and ordinary powers of ideals asks for what values of $a$ and $b$ we have $I^{(a)}subseteq{I}^b$. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers this question, but the containments it provides are not always best possible. In particular, a tighter containment conjectured by Harbourne has been shown to hold for interesting classes of ideals - although it does not hold in general. In this paper, we develop a Fedder (respectively, Glassbrenner) type criterion for $F$-purity (respectively, strong $F$-regularity) for ideals of finite projective dimension over $F$-finite Gorenstein rings and use our criteria to extend the prime characteristic results of Grifo-Huneke to singular ambient rings. For ideals of infinite projective dimension, we prove that a variation of the containment still holds, in the spirit of work by Hochster-Huneke and Takagi.

This page was built for publication: Symbolic power containments in singular rings in positive characteristic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6329196)