Definition

Let XX be a . A complex projective structure on XX is a maximal atlas of charts

φα:Uαφα(Uα)P1(C)\varphi_\alpha:U_\alpha\longrightarrow \varphi_\alpha(U_\alpha)\subseteq\mathbb P^1(\mathbb C)

such that every transition map

φβφα1\varphi_\beta\circ\varphi_\alpha^{-1}

is locally the restriction of a wherever it is defined.

Underlying complex structure

Möbius transformations are biholomorphic, so a complex projective atlas is in particular a . Thus a projective structure refines the complex structure of XX; it is extra data, not merely the assertion that XX is a Riemann surface.

Developing map and holonomy

Analytically continuing projective charts on the universal cover produces a locally biholomorphic developing map

dev:X~P1(C)\operatorname{dev}:\widetilde X\to\mathbb P^1(\mathbb C)

and a

ρ:π1(X)PGL2(C)\rho:\pi_1(X)\to PGL_2(\mathbb C)

for which dev(γx)=ρ(γ)dev(x)\operatorname{dev}(\gamma x)=\rho(\gamma)\operatorname{dev}(x). The pair is defined only up to simultaneous postcomposition and conjugation by a Möbius transformation.

Associated projective connection

Taking the of projective charts in an ordinary holomorphic coordinate produces a .

References
  1. R. C. Gunning, Lectures on Riemann Surfaces, Princeton University Press, 1966. Relevant: projective structures and projective connections.
  2. William M. Goldman, “Projective structures with Fuchsian holonomy,” Journal of Differential Geometry 25 (1987), 297–326. Project Euclid record. Relevant: developing maps and holonomy.