Separable essential finite-generation conjecture for valuation rings

From papers

Let (K,ν)(L,ω)(K,\nu)\subset (L,\omega) be in situation, with valuation rings Oν\mathcal{O}_\nu and Oω\mathcal{O}_\omega. Assume in addition that the field extension LKL|K is separable. Separable essential finite-generation conjecture. The valuation ring Oω\mathcal{O}_\omega is essentially finitely generated over Oν\mathcal{O}_\nu. The paper states that proving this separable case is enough to prove the preceding conjecture; no resolution is given in the supplied text.

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

Steven Dale Cutkosky and Josnei Novacoski, “Essentially finite generation of valuation rings in terms of classical invariants”, arXiv:1907.01859 (2019).

Solutions 0

No solutions have been posted yet.