Gorenstein Prüfer domains with non-Prüfer integral closure
Abstract
There exists a one-dimensional local Gorenstein Prüfer domain whose integral closure is not Prüfer. We prove that the recently constructed coherent counterexample to the normalization problem has this stronger Gorenstein property. The argument establishes permanence of divisoriality of finitely generated ideals under ultraproducts and quotients by divided primes. It also supplies uniform matrix factorizations: in an ultraproduct of plane-curve domains, every nonzero ideal generated by r elements is a cycle of a two-periodic totally acyclic complex with free terms of rank r. The divided prime defining the one-dimensional example is flat, so these complexes descend through the quotient and localization. A specified two-generated ideal remains noninvertible in every integral overring. Over the normalization, its associated Laurent overring has nonzero first Tor with every injective cogenerator, although both rings are Gorenstein flat over the original domain. Examples distinguish this failure from a nonnormal Gorenstein curve with Prüfer normalization and show that the periodicity conclusion is stronger than the Gorenstein Prüfer property alone.
Related
- An overring characterization of Gorenstein Prüfer domains
- A one-dimensional coherent domain with non-Prüfer integral closure
- Rosenbrock's Theorem characterizes Prüfer domains
- Regularity under Integral Closure: A General Criterion and a Sharp Counterexample
- A comparison of the v-number of a monomial ideal and its integral closure
BibTeX
@misc{kim2026gorenstein,
title = {{Gorenstein Prüfer domains with non-Prüfer integral closure}},
author = {Hwankoo Kim},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.15444},
eprint = {2610.15444},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.15444},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Gorenstein Prüfer domains with non-Prüfer integral closure
AU - Hwankoo Kim
PY - 2026
DA - 2026/10/11
PB - arXiv
DO - 10.48550/arxiv.2610.15444
UR - https://arxiv.org/abs/2610.15444
AB - There exists a one-dimensional local Gorenstein Prüfer domain whose integral closure is not Prüfer. We prove that the recently constructed coherent counterexample to the normalization problem has this stronger Gorenstein property. The argument establishes permanence of divisoriality of finitely generated ideals under ultraproducts and quotients by divided primes. It also supplies uniform matrix factorizations: in an ultraproduct of plane-curve domains, every nonzero ideal generated by r elements is a cycle of a two-periodic totally acyclic complex with free terms of rank r. The divided prime defining the one-dimensional example is flat, so these complexes descend through the quotient and localization. A specified two-generated ideal remains noninvertible in every integral overring. Over the normalization, its associated Laurent overring has nonzero first Tor with every injective cogenerator, although both rings are Gorenstein flat over the original domain. Examples distinguish this failure from a nonnormal Gorenstein curve with Prüfer normalization and show that the periodicity conclusion is stronger than the Gorenstein Prüfer property alone.
ER -