The algebraically closed field-topology independence conjecture

Let CC be an algebraic curve over an algebraically closed 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.

Curve-topology independence conjecture. The topologies τ1\tau_1 and τ2\tau_2 induce independent topologies on C(K)C(K).

This is a weaker variant of the preceding proposed technical statement, obtained by assuming that the field is algebraically closed and omitting t-henselianity. The source gives no resolution.

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.