Separable essential finite-generation conjecture for valuation rings

At least 6 years old · documented by

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 L∣KL|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.

References

Primary source

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

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.