The single valuation conjecture for homological dimension zero

From papers

Let O2=k[x1,x2]\mathcal{O}_2=k[x_1,x_2] and let IO2\mathcal{I}\triangleleft\mathcal{O}_2 be a finite-codimensional, integrally closed ideal. Let O\mathcal{O} denote the ambient module in the inclusion IO\mathcal{I}\hookrightarrow\mathcal{O}, and let homdim(IO)\operatorname{homdim}(\mathcal{I}\hookrightarrow\mathcal{O}) be the lattice homological dimension. Single valuation conjecture. If

homdim(IO)=0,\operatorname{homdim}(\mathcal{I}\hookrightarrow\mathcal{O})=0,

then there exist a discrete valuation v\mathfrak{v} and an integer dId_{\mathcal{I}} such that

I={fO2:v(f)dI}.\mathcal{I}=\{f\in\mathcal{O}_2:\mathfrak{v}(f)\geq d_{\mathcal{I}}\}.

The conjecture is motivated by computations in which every finite-codimensional integrally closed ideal of homological dimension zero was realized by a single valuation. The source gives no resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

András Némethi and Gergő Schefler, “Lattice homology of integrally closed submodules and Artin algebras”, arXiv:2603.26189 (2026).

Solutions 0

No solutions have been posted yet.