Skip to content
DraconiticResearch
Search Sources API
181,713 studies31 sourcesUpdated 12 min ago
PreprintarXiv licencearXiv

Jordan Blocks, Differential Traces, and Colon-Ideal Noncontainment over Noetherian Quotients

Abstract

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 dA/ka=0, then I:f is not contained in (I,f). If R is local with maximal ideal n, then I:f is not contained in (I,f)+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 Jf:f⊆Jf̅, thereby disproving the integral-closure strengthening.

Related

  1. Noetherian local rings without perfectoid towers
    Tatsuki Yamaguchi
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  2. Solvability of complex Hessian equations corresponding to right-Noetherian polynomials
    Junbang Liu, Yulun Xu
    arXivPreprintCC BY-NC-SA 4.0Full textAnalysis & PDEsGeometry & topologyarXiv
  3. A prime isoartinian ring that is not noetherian
    Zahra Nazemian, Doniyor Yazdonov
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  4. Noetherian forms of free non-symmetric operads
    Zurab Janelidze
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv
  5. Transfer theory for noetherian forms
    Kishan Dayaram, Zurab Janelidze, Francois van Niekerk
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
BibTeX
@misc{zhang2026jordan,
  title = {{Jordan Blocks, Differential Traces, and Colon-Ideal Noncontainment over Noetherian Quotients}},
  author = {Yizhi Zhang},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.29516},
  eprint = {2609.29516},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.29516},
}
RIS
TY  - UNPB
TI  - Jordan Blocks, Differential Traces, and Colon-Ideal Noncontainment over Noetherian Quotients
AU  - Yizhi Zhang
PY  - 2026
DA  - 2026/09/01
PB  - arXiv
DO  - 10.48550/arxiv.2609.29516
UR  - https://arxiv.org/abs/2609.29516
AB  - 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/ka=0, then I:f is not contained in (I,f). If R is local with maximal ideal n, then I:f is not contained in (I,f)+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 J_f:f⊆J_f̅, thereby disproving the integral-closure strengthening.
ER  -