Jordan Blocks, Differential Traces, and Colon-Ideal Noncontainment over Noetherian Quotients
Let $k$ be a field of characteristic zero, let $R$ be a commutative $k$-algebra, let $I$ be a proper ideal of $R$, and assume that $A=R/I$ is Noetherian. We prove that if $a=[f]$ in $A$ is nilpotent and $d_{A/k}a=0$, then $I:f$ is not contained in $(I,f)$. If $R$ is local with maximal ideal $\mathfrak n$, then $I:f$ is not contained in $(I,f)+\mathfrak n(I:f)$. As applications, we prove the isolated hypersurface case in arbitrary dimension and extend the conclusion to non-isolated critical loci on smooth varieties. Finally, we exhibit a five-variable isolated singularity satisfying…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.29516
curl -X POST /api/v1/records/arxiv/2609.29516/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.29516/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'