On the topology of the space of bi-orderings of a free group on two generators (Q6039663)

Summary: Let \(G\) be a group. We can topologize the spaces of left-orderings \(\mathrm{LO}(G)\) and bi-orderings \(\mathrm{O}(G)\) of \(G\) with the product topology. These spaces may or may not have isolated points. It is known that \(\mathrm{LO}(F_n)\) has no isolated points, where \(F_n\) is a free group on \(n \geq 2\) generators. In this paper, we show that \(\mathrm{O}(F_n)\) has no isolated points as well, thereby resolving the second part of Conjecture 2.2 by Sikora [Bull. London Math. Soc. 36 (2004), 519--526].