Math-14451 · mathematics · Algebra

Math-14451

Complete Integral Closures of Total Blow-Up Rings

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

For a commutative integral domain $A$ with fraction field $K=\operatorname{Frac}(A)$, its complete integral closure in $K$ is \[ A^{\mathrm{cic}}=\left\{x\in K:\text{there exists }0\ne a\in A\text{ such that }ax^n\in A\text{ for every integer }n\geq 1\right\}. \] A subring $W\subseteq K$ is a valuation ring of $K$ if, for every $x\in K\setminus\{0\}$, either $x\in W$ or $x^{-1}\in W$.

The supplied question is: for every total blow-up ring \[ S=B_{\infty}(R,v), \] is the complete integral closure of $S$ a valuation ring? Under the usual integral-domain interpretation, with $K=\operatorname{Frac}(S)$ and complete integral closure taken in $K$, the requested assertion is \[ \forall x\in K\setminus\{0\},\qquad x\in S^{\mathrm{cic}}\ \text{or}\ x^{-1}\in S^{\mathrm{cic}}. \] The supplied record does not define $B_{\infty}(R,v)$, specify the admissible rings $R$ and valuations $v$, or state the ambient ring or field for complete integral closure. Consequently, the displayed assertion is a conditional formulation using the usual domain convention; it does not supply the missing definition of a total blow-up ring or establish that this convention matches the source. The intended quantifier ranges over all total blow-up rings allowed by that source.

Short English statement

The question asks whether taking the complete integral closure of any total blow-up ring always produces a valuation ring. The construction of a total blow-up ring and its hypotheses are absent from the supplied record, so the precise class of rings remains unresolved. The supplied open status is dated curation, not an independently verified conclusion.

Sources

  • Supplied local registry record: permanent UnsolvedMath ID $30002714$, title Complete Integral Closures of Total Blow-Up Rings, source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The proposed year is recorded as 2014; no individual proposer is supplied.
  • Supplied source citation: Valuation Theory and Its Applications (2015), Oberwolfach Reports, pp. 2757--2823, DOI 10.4171/owr/2014/49. https://doi.org/10.4171/owr/2014/49. The background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions.
  • Supplied literature source: Oberwolfach Report 49/2014. https://ems.press/content/serial-article-files/46540.
  • Supplied literature source: Heinzer, Some remarks on complete integral closure. https://doi.org/10.1017/S1446788700007230.
  • Literature assessment dated exactly 2026-08-21: the supplied curation labels the problem open, states that the question for total blow-up rings is explicitly left open, and reports that no later general resolution was found. This is supplied dated curation derived from the OWR material, not an independently verified literature assessment; time-sensitive status and cited claims require independent verification.

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.