English

The integral closure of a primary ideal is not always primary

Commutative Algebra 2022-11-17 v3 Algebraic Geometry

Abstract

In 1936, Krull asked if the integral closure of a primary ideal is still primary. Fifty years later, Huneke partially answered this question by giving a primary polynomial ideal whose integral closure is not primary in a regular local ring of characteristic p=2p=2. We provide counterexamples to Krull's question regarding polynomial rings with any characteristics. We also find that the Jacobian ideal JJ of the polynomial f=x6+y6+x4zt+z3f = x^6 + y^6 + x^4 z t + z^3 given by Brian\c{c}on and Speder in 1975 is a counterexample to Krull's question. Let V1V_1 be the hypersurface defined by f=0f = 0 and V2V_2 be its singular locus. Brian\c{c}on and Speder proved that Whitney equisingularity does not imply Zariski equisingularity by showing that the pair (V1V2, V2)(V_1 \setminus V_2,\ V_2) satisfies Whitney's conditions around the origin but fails Zariski's equisingular conditions. We discover that the pair (V1V2, V2)(V_1 \setminus V_2,\ V_2) fails Whitney's conditions at the variety of the embedded prime of the integral closure Jˉ\bar{J}, which means that V1V_1 is not Whitney regular along V2V_2. Moreover, we also show that Whitney stratification of this hypersurface is different from the stratification of isosingular sets given by Hauenstein and Wampler, which is related to Thom-Boardman singularity.

Keywords

Cite

@article{arxiv.2210.16824,
  title  = {The integral closure of a primary ideal is not always primary},
  author = {Nan Li and Zijia Li and Zhi-Hong Yang and Lihong Zhi},
  journal= {arXiv preprint arXiv:2210.16824},
  year   = {2022}
}

Comments

10 pages, 6 figures