The single valuation conjecture for homological dimension zero

Less than 1 year old · traced to

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

homdim⁡(I↪O)=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={f∈O2: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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.