The t-henselian approximation conjecture for algebraic curves

Let CC be an algebraic curve over a field KK, and let τ1\tau_1 and τ2\tau_2 be independent field topologies on KK. Two topologies on a set are independent if every nonempty open set for one intersects every nonempty open set for the other.

T-henselian approximation conjecture. If τ1\tau_1 is t-henselian, then τ1\tau_1 and τ2\tau_2 induce independent topologies on C(K)C(K).

This is proposed as a technical hybrid needed to adapt arguments relating the Shelah and generalized henselianity conjectures. The source explicitly says that it has not been proved and may be within reach of current techniques.

Sources & referencesView supporting material

Primary source

Will Johnson, “Translating between NIP integral domains and topological fields”, arXiv:2504.10927 (2025).

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.