Bi-algebraicity in the rank one Riemann--Hilbert correspondence via o-minimality
For a smooth, projective, complex algebraic variety , the Riemann--Hilbert correspondence establishes a complex analytic isomorphism between the `Betti moduli space' of rank local systems on and the `de Rham moduli space' of rank vector bundles with flat connection on . In the rank one case, C. Simpson precisely characterizes the subvarieties of these moduli spaces that are `bi-algebraic' for this typically transcendental, analytic isomorphism. In this short note, we give a new proof of this characterization of Simpson, using methods from o-minimal geometry. We adapt the o-minimal proof to a p-adic setting, namely that of Mumford curves.