Stabilizer-ring conjecture for saturated unstable dp-finite fields

Let K\mathbb{K} be a saturated unstable dp-finite field. A subgroup J(K,+)J \subseteq (\mathbb{K},+) is bounded in the sense used by the source, and its stabilizer ring is

RJ={xK:xJJ}.R_J = \{x \in \mathbb{K}: xJ \subseteq J\}.

Stabilizer-ring conjecture. There is a non-zero bounded subgroup J(K,+)J \subseteq (\mathbb{K},+) for which RJR_J is a multi-valuation ring on K\mathbb{K}.

The source states this as an equivalent formulation of the valuation-type conjecture. The supplied text does not resolve it.

Sources & referencesView supporting material

Primary source

Will Johnson, “Dp-finite fields II: the canonical topology and its relation to henselianity”, arXiv:1910.05932 (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.