English

Computing the core of ideals in arbitrary characteristic

Commutative Algebra 2007-10-11 v2

Abstract

Let RR be a local Gorenstein ring with infinite residue field of arbitrary characteristic. Let II be an RR--ideal with g=\heightI>0g=\height I >0, analytic spread \ell, and let JJ be a minimal reduction of II. We further assume that II satisfies GG_{\ell} and \depthR/IjdimR/Ij+1{\depth} R/I^j \geq \dim R/I -j+1 for 1jg1 \leq j \leq \ell-g. The question we are interested in is whether \coreI=Jn+1:\dsbI(J,b)n\core{I}=J^{n+1}:\ds \sum_{b \in I} (J,b)^n for n0n \gg 0. In the case of analytic spread one Polini and Ulrich show that this is true with even weaker assumptions (\cite[Theorem 3.4]{PU}). We give a negative answer to this question for higher analytic spreads and suggest a formula for the core of such ideals.

Keywords

Cite

@article{arxiv.0705.1808,
  title  = {Computing the core of ideals in arbitrary characteristic},
  author = {Louiza Fouli},
  journal= {arXiv preprint arXiv:0705.1808},
  year   = {2007}
}
R2 v1 2026-06-21T08:27:45.910Z