Pith. sign in

REVIEW

The integral closure of a primary ideal is not always primary

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2210.16824 v3 pith:DD3F2JSV submitted 2022-10-30 math.AC math.AG

classification math.ACmath.AG
keywords primarywhitneyclosureidealintegralconditionskrullpolynomial
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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=2$. We provide counterexamples to Krull's question regarding polynomial rings with any characteristics. We also find that the Jacobian ideal $J$ of the polynomial $f = 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 $V_1$ be the hypersurface defined by $f = 0$ and $V_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 $(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 $(V_1 \setminus V_2,\ V_2)$ fails Whitney's conditions at the variety of the embedded prime of the integral closure $\bar{J}$, which means that $V_1$ is not Whitney regular along $V_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.

Discussion (0). Sign in to comment.

Pith tools