Stratification of opers with apparent singularities and isomonodromic bubbling

Let \mathcal{D} be an oper on C with d-2 simple apparent singularities x_3, \dots, x_d, where d \leq 3g-3, and let x_0 \in C be generic. Then there exists a holomorphic family \{\mathcal{D}_u\}_{u\in z(U)} with \mathcal{D}_0 = \mathcal{D} such that, for u \neq 0, \mathcal{D}_u has simple apparent singularities at x_+(u), x_-(u), x_3, \dots, x_d, and the accessory parameters of x_\pm(u) with respect to the projective chart z are of the form

(See Proposition 5.14; the precise form of \nu_\pm(u) is (?).)

Suppose moreover that d is even and that the projective monodromy of \mathcal{D} is irreducible. Then the holomorphic family \{\mathcal{D}_u\} of Proposition A is defined by a holomorphic family \{[E_u, \nabla_u]\}_u in \mathcal{M}_{dR} together with line subbundles L_u \hookrightarrow E_u of degree

and D_{L_u}(\nabla_u) = x_+(u) + x_-(u) + x_3 + \dots + x_d for u \neq 0, D_{L_0}(\nabla_0) = x_3 + \dots + x_d. For d < 2g-2, [E_u, \nabla_u] lies in the partial oper stratum labelled by d for u \neq 0, and in the partial oper stratum labelled by d-2 at u = 0. (See Proposition 5.15, Corollary 5.16.)

For sufficiently small u \neq 0, the branched projective structure corresponding to \mathcal{D}_u of Proposition A is the output of a bubbling surgery that creates branch points that correspond to the apparent singularities x_+(u) and x_-(u). Specifically, this bubbling surgery takes as an input the branched projective structure \sigma_u, which is obtained by removing the bubble bounded by the twin paths and identifying these twin paths, and has simple apparent singularities at x_3, \dots, x_d. (See Theorem 6.3.)

Let \alpha be a stable Hodge bundle, contained in X \in \pi_0(\mathcal{M}_H^{\mathbb{C}^\ast}). Then \alpha^+_0 \subset \mathcal{M}_H and \alpha^+_1 \subset \mathcal{M}_{dR} are holomorphic Lagrangian submanifolds, isomorphic as varieties with \mathbb{C}^\ast-action to the positive weighted subspace of T_\alpha \mathcal{M}_H. In particular, for G = \mathrm{SL}(2, \mathbb{C}), \alpha^+_0 and \alpha^+_1 are isomorphic to \mathbb C^{3g-3}.

Let E be strictly unstable with destabilizing line subbundle L_E \hookrightarrow E.

1. Let [E, \phi] \in \mathcal{M}_H(\Lambda) and \alpha = [E_M, \phi_D] \in N_d for some d < 2g-2. Then [E, \phi] \in \alpha^+_0 if and only if M is the unique destabilizing line subbundle of E and

   D_{M}(\phi) = D.

2. Let [E, \nabla] \in \mathcal{M}_{dR} and \alpha = [E_M, \phi_D] \in N_d for some d < 2g-2. Then [E, \nabla] \in \alpha^+_1 if and only if M is the unique destabilizing line subbundle of E and

   D_{M}(\nabla) = D.

Let \alpha be a stable Hodge bundle.

1. The Lagrangian leaf \alpha^+_0 is closed in \mathcal{M}_H if and only if \alpha is very stable [PPe19, HH21]. For \alpha = [E_M, \phi_D] \in N_d, this holds if and only if D is reduced [HH21].

2. The Lagrangian leaf \alpha^+_1 is closed in \mathcal{M}_{dR} [DS24], but the leaves do not form a C^1 foliation [Huang26].

[DT23] Let (E, \phi) be a Higgs bundle with smooth spectral curve and L \overset{i}{\rightarrow} E an injection. Then \pi^\ast(p) < \widetilde{D}_i(\phi) if and only if i vanishes at p and

[DT23] Let \widetilde{D} be an effective divisor on a non-degenerate spectral curve \widetilde{C}_q \overset{\pi}{\rightarrow} C. Let L and \Lambda be line bundles on C satisfying \mathcal{O}_C(D) \simeq K L^{-2} \Lambda where D = \mathrm{Nm}(\widetilde{D}). Then there exists a triple (L \overset{i}{\rightarrow} E, \phi) unique up to scaling of i such that \widetilde{D}_i(\phi) = \widetilde{D} and \det(E) \cong \Lambda. In particular, i is an embedding if and only if \widetilde{D} contains no summand of the form \pi^\ast(p) for p \in C.

Let \widetilde{C}_q \overset{\pi}{\rightarrow} C be a non-degenerate spectral curve and \mathcal{L} a line bundle on \widetilde{C}_q. Assume that E = \pi_\ast \mathcal{L} is semistable, and let \det(E) = \Lambda. Then E is wobbly if and only if

where L is a line bundle on C and \widetilde{D} is an effective divisor on \widetilde{C}_q with Q_{\mathrm{Nm}(\widetilde{D})} \neq 0. Furthermore, if \widetilde{D} has no summand of the form \pi^\ast(P) for some effective divisor P on C, then E admits an embedding L \overset{i}{\hookrightarrow} E and there is a canonical bijection between the corresponding space of nilpotent Higgs fields

and Q_{\mathrm{Nm}(\widetilde{D})}.

Two \operatorname{SL}_2(\mathbb C)-holomorphic connections (F_1, \nabla_1), (F_2, \nabla_2) have monodromy representations \check{\rho}_1, \check{\rho}_2: \pi_1 \rightarrow \operatorname{SL}_2(\mathbb C) that are lifts of the same projective monodromy representation up to conjugation if and only if F_1 \cong F_2 \otimes N for some line bundle N with N^2 \cong \mathcal{O}_C.

Suppose (F, \nabla) is a holomorphic connection and L \hookrightarrow F a subbundle not invariant by \nabla. Then the divisor of apparent singularities \operatorname{div}( (\mathbb{P}(F^\nabla), \mathbb{P}(L^\nabla))) of the projective connection (\mathbb{P}(F^\nabla), \mathbb{P}(L^\nabla)) coincides with the zero divisor of s_{L}(\nabla).

Two projective connections with the same irreducible projective monodromy representations up to conjugation that have lifts to \operatorname{SL}_2(\mathbb C) and the same divisors of apparent singularities of degree < 2g-2 are isomorphic.

Let (F,\nabla) be an irreducible \operatorname{SL}_2(\mathbb C)-holomorphic connection and L \hookrightarrow F a subbundle. Then the associated oper \mathcal{D}_{(L \hookrightarrow F, \nabla)} is equivalent to the isomorphism class of the projective connection (\mathbb{P}(F^\nabla), \mathbb{P}(L^\nabla)).

Let (E, \phi) \in \mathcal{M}_H with associated non-degenerate spectral curve \widetilde{C} \overset{\pi}{\rightarrow} C, and L \hookrightarrow E a line subbundle with Baker–Akhiezer divisor \widetilde{D}. Let U \subset C be a simply connected open set that contains no branch point of \widetilde{C} and no point of \mathrm{Nm}(\widetilde{D}), and let U' \coloneqq \left\{ (x_+, x_-) \in U^2 \mid x_+ \neq x_- \right\}. Then there exist a holomorphic family \{(E_{x_+, x_-}, \phi_{x_+, x_-})\}_{(x_+, x_-) \in U'} in \mathcal{M}_H and line subbundles L_{x_+, x_-} \hookrightarrow E_{x_+, x_-} of degree \deg(L) - 1, depending holomorphically on (x_+, x_-), such that

1. for all (x_+, x_-) \in U', the Baker–Akhiezer divisor of (L_{x_+, x_-} \hookrightarrow E_{x_+, x_-}, \phi_{x_+, x_-} ) is \widetilde{D} + \tilde{x}_+ + \tilde{x}_-, where \tilde{x}_\pm \in \pi^{-1}(x_\pm) lie in two fixed distinct components of \pi^{-1}(U);

2. for all x_0 \in U, \underset{x_+ \rightarrow x_0 \leftarrow x_-}{\lim} [L_{x_+, x_-}] = [ L(-x_0)] in \mathrm{Pic}^{\deg(L)-1}(C) and \underset{x_+ \rightarrow x_0 \leftarrow x_-}{\lim}(E_{x_+, x_-}, \phi_{x_+, x_-}) = (E, \phi) in \mathcal{M}_H.

Let (E, \phi) \in \mathcal{M}_H with associated non-degenerate spectral curve \widetilde{C} \overset{\pi}{\rightarrow} C, and let L \hookrightarrow E be a line subbundle with Baker–Akhiezer divisor \widetilde{D}. Given x_0 \in C, neither a branch point of \widetilde{C} nor a point of \mathrm{Nm}(\widetilde{D}), let (U, z) be a coordinate neighborhood of x_0, where z(x_0)=0, U is simply connected and contains no branch point of \widetilde{C} and no point of \mathrm{Nm}(\widetilde{D}). For u \in z(U), let x_\pm(u) be the points with z(x_\pm(u)) = \pm u. Then there exist a holomorphic family \{ (E_u, \phi_u)\}_{u \in z(U)} in \mathcal{M}_H with spectral curve \widetilde{C} and (E_0, \phi_0) = (E, \phi), and a holomorphic family of line bundles \{L_u\}_{u \in z(U)} of degree \deg(L) - 1 with L_0 \cong L(-x_0), such that, for all u \neq 0, L_u \hookrightarrow E_u is a line subbundle and the Baker–Akhiezer divisor of (L_u \hookrightarrow E_u, \phi_u) is \widetilde{D} + \tilde{x}_+(u) + \tilde{x}_-(u), where \tilde{x}_\pm(u) \in \pi^{-1}(x_\pm(u)) lie in two fixed distinct components of \pi^{-1}(U).

Let (E, \phi) \in \mathcal{M}_H with the associated non-degenerate spectral curve \widetilde{C} \overset{\pi}{\rightarrow} C and let L \hookrightarrow E be a line subbundle such that s_L(\phi) has a double zero at x_0 \in C which is not a branch point of \widetilde{C}. Let \widetilde{D} be the Baker–Akhiezer divisor of (L \hookrightarrow E, \phi) and \tilde{x}_0 be the point with multiplicity 2 in \widetilde{D} with \pi(\tilde{x}_0) = x_0. Let (U,z) be a coordinate neighborhood of x_0, where z(x_0) = 0, U is simply connected and contains no branch point of \widetilde{C}. For u \in z(U), let x_\pm(u) be the points with z(x_\pm(u)) = \pm u. Then there exist a family of Higgs bundles \{ (E_u, \phi_u)\}_{u \in z(U)} and a family of line bundles \{L_u\}_{u \in z(U)} of the same degree as L such that

1. [L_0] = [ L ] in \mathrm{Pic}^{\deg(L)}(C) and (E_0, \phi_0) = (E, \phi) in \mathcal{M}_H;

2. for all u \in z(U), E_u admits L_u as a subbundle;

3. for all u \neq 0, the Baker–Akhiezer divisor of (L_u \hookrightarrow E_u, \phi_u) is \widetilde{D} - 2\tilde{x}_0 + \tilde{x}_+(u) + \tilde{x}_-(u), where \tilde{x}_\pm(u) \in \pi^{-1}(x_\pm(u)) lie in the component of \pi^{-1}(U) containing \tilde{x}_0.

Let U \subset C be an open subset, i\in \{1, 2\}, d = 3g-4 + i, and \mathbf{x}^d: U \rightarrow C^{[d]}, x \mapsto \mathbf{x}^d(x) = x_1(x) + ... + x_d(x), be a holomorphic map such that, for all x\in U and r \in \{1 , ..., d\}, x_r(x) \neq x and \mathbf{x}^d(x) is Q-generic. Then there exists a family of meromorphic quadratic differentials \left\{ q^{(i)}_{x, \mathbf{x}^d} \right\}_{x \in U} holomorphically parameterized by U such that

1. q^{(i)}_{x, \mathbf{x}^d} has a simple (double) pole at x if i=1 (respectively, i=2) and is holomorphic on C\setminus \{x\};

2. \mathbf{x}^d(x) is contained in the support of the zero divisor of q^{(i)}_{x, \mathbf{x}^d}.

Let (U, z) be an open coordinated subset of C.
1. Let \mathbf{x}^{3g-3}: U \rightarrow C^{[3g-3]}, x \mapsto \mathbf{x}^{3g-3}(x) = x_1(x) + ... + x_{3g-3}, be a holomorphic map such that for all x\in U and r \in \{1, ..., 3g-3\}, x_r(x) \neq x and \mathbf{x}^{3g-3}(x) is Q-generic. Then there exists a unique family of meromorphic quadratic differentials \left\{ q^{(i)}_{z, x, \mathbf{x}} \right\}_{x \in U} holomorphically parameterized by U such that, for each x \in U, q^{(i)}_{z, x, \mathbf{x}^{3g-3}} satisfies conditions (a), (b) in Proposition 5.1, and furthermore takes the local form

where R^{(i)}_{z, x, \mathbf{x}^{3g-3}} (z) is the restriction of a holomorphic function R^{(i)}(z_1, z_2) defined on (U, z) \times (U, z) to the slice \{ z_1 = z(x), z_2 \equiv z \}.
2. Let \mathbf{x}^{3g-4}: U \rightarrow C^{[3g-4]}, x \mapsto \mathbf{x}^{3g-4}(x) = x_1(x) + ... + x_{3g-4}, be a holomorphic map such that for all x\in U and r \in \{1, ..., 3g-4\}, x_r(x) \neq x and x + \mathbf{x}^{3g-4}(x) is Q-generic. Then there exists a unique family of meromorphic quadratic differentials \left\{ q^{(i)}_{0, z, x, \mathbf{x}^{3g-4}} \right\}_{x \in U} holomorphically parameterized by U such that, for each x \in U, q^{(i)}_{0, z, x, \mathbf{x}^{3g-4}} satisfies conditions (a), (b) in Proposition 5.1, and furthermore takes the local form

where R^{(i)}_{0, z, x, \mathbf{x}^{3g-4}} (z) is the restriction of a function R^{(i)}_0 (z_1, z_2), which is defined on (U, z_1) \times (U, z_2) and vanishes at the diagonal \{ z_1 = z_2 \}, to the slice \{ z_1 = z(x), z_2 \equiv z \}.

Fix i \in \{1,2\}.
1. The functions \frac{1}{u} R^{(i)}_{u, +}(-u) and -\frac{1}{u} R^{(i)}_{u,-}(u) are holomorphic on U with variable u = z(x_+). Furthermore, their evaluations at u = 0 are equal.
2. For each fixed z, the limit

exists. These limits define a holomorphic function on U with variable z.

Let x_0 and \mathbf{x'} = x_3 + ... + x_{3g-3} satisfy (?), and (U,z), x_1(u), x_2(u) be constructed as above. Then there exists a family \mathbf{q}_{u} \coloneqq \{ (q_{k, u})_{k = 1}^{3g-3} \}_{u \in z(U)} of basis of H^0(K^2) that is parameterized by U and is such that the function \det (\mathbf{q_{r,k}})(u), where \mathbf{q_{r,k}} = q_{k, u}(z_r(x_r)), has a simple zero at u = 0.

Suppose \nu_3(u), ..., \nu_d(u): U \cong z(U) \rightarrow \mathbb C are holomorphic functions, and \nu_\pm(u): U \cong z(U) \rightarrow \mathbb C are meromorphic functions with simple poles and Laurent expansions at u = 0 of either the form (?) or (?). Then the induced non-homogeneous linear system (?) limits to a degenerate d \times (3g-3) linear system of rank d-1.

Let x_0, x_3, ..., x_{d} satisfy condition (?), \nu_0\in \mathbb C, and q \in H^0(K^2) a holomorphic quadratic differential. Then there exist holomorphic functions \nu_3(u), ..., \nu_{d}(u): z(U) \rightarrow \mathbb C and \nu_\pm(u): z(U\setminus \{x_0\}) \rightarrow \mathbb C with Laurent expansions at u =0 of the forms (?) or (?) (with \nu_0 as the coefficient of order u^0), and a family of holomorphic quadratic differentials \{q^{(0)}_u\}_{u\in z(U)} such that

1. q^{(0)}_u solves the linear system (?) defined by \nu_\pm(u), \nu_3(u), ..., \nu_d(u) for u\neq 0;

2. q^{(0)}_0 = q solves the corresponding limit linear system (Proof).

Let x_0, x_3, ..., x_d be distinct points on C, (U,z) a coordinate neighborhood of x_0 with z(x_0) = 0, \nu_{\pm}(u) = \mp \frac{1}{4u} + \nu_0 \pm \nu' u + \mathcal{O}(u^2) holomorphic functions on U\setminus \{x_0 \}, and q^{(i)}_{u, \pm} defined as in (?) for u \in z\left( U \right), u \neq 0. Then the family of meromorphic quadratic differentials

which is parameterized by U \setminus \{x_0\}, extends to a family parameterized by U. The meromorphic quadratic differential q^{(2)}_{x_0} corresponding to the extension to x_0 is holomorphic on C \setminus \{x_0\}, vanishes at x_3, ..., x_{d}, and on U takes the form

where \check{R}^{(1)}(z) is defined in part 2 of Lemma 5.3 and R^{(i)}_0(z) defined in (?).

Let x_0, x_3, ..., x_{d} be distinct points on C such that 2x_0 + x_3 + ... + x_d is Q-generic. Let z be a coordinate on U subordinate to the chosen holomorphic projective structure, with z(x_0) = 0. Let \nu_3(u), ..., \nu_d(u) be holomorphic functions on U, \nu_{\pm}(u) = \mp \frac{1}{4u} + \nu_0 \pm \nu' u + \mathcal{O}(u^2) holomorphic functions on U\setminus \{x_0 \}, and \{\mathcal{D}_u = \mathcal{D}_{pr} + q_u \}_{u \in z(U), u \neq 0} the corresponding family of opers parameterized by U\setminus \{x_0\} where q_u is defined as in (?), with \{ q^{(0)}_u \}_{u \in z(U), u \neq 0} the corresponding family of holomorphic quadratic differentials.

If there exists a holomorphic quadratic differential q^{(0)}_0 with q^{(0)}_0 = \underset{u \rightarrow 0}{\lim} q^{(0)}_u, then \{ \mathcal{D}_u \}_{u \in z(U), u\neq 0} extends to a family of opers parameterized by U. The oper corresponding to the extension to x_0 is \mathcal{D}_0 = \mathcal{D}_{pr} + q_0, where

(Recall the definition of q^{(2)}_{0, x_r} in (?).) In particular, the apparent singularities of \mathcal{D}_0 consist of a double apparent singularity at x_0 with accessory parameter \nu_0, and simple apparent singularities at x_3, ..., x_d with respective accessory parameters \nu_3(0), ..., \nu_d(0).

Let \mathcal{D} be a branched projective structure with \mathrm{div}(\mathcal{D}) = 2x_0 + x_3 + ... + x_d being Q-generic and d \leq 3g-3. Then there exists a coordinate neighborhood (U, z) centred at x_0 and a family of branched projective structures \{\mathcal{D}_u\}_{u\in z(U)} parametrized by U such that

1. \mathcal{D}_0 = \mathcal{D};

2. for u\neq 0, \mathrm{div}(\mathcal{D}_u) = x_+ + x_- + x_3 + \dots x_d with x_\pm \in U and z(x_\pm) = \pm u;

3. for u\neq 0, the accessory parameters \nu_\pm(u) of x_\pm w.r.t. the local coordinate z have Laurent expansions as functions of u of Form (D) (?), where 2\nu_0^\mathcal{D} is the accessory parameter of the double apparent singularity x_0 of \mathcal{D}.

Furthermore, this family defines via taking monodromy a holomorphic map U \rightarrow \mathrm{Hom}(\pi_1, \mathrm{PSL}_2), which is injective for d < 2g-2.

Let x_0, x_3, ..., x_d be distinct points on C, (U,z) a coordinate neighborhood of x_0 with z(x_0) = 0, \nu_{\pm}(u) = \pm \frac{3}{4u} \pm \nu' u + \mathcal{O}(u^2) holomorphic functions on U \setminus \{x_0\}, and q^{(i)}_{u, \pm} defined as in (?) for u \in z\left( U \right), u \neq 0. Then the family of meromorphic quadratic differentials

which is parameterized by U \setminus \{x_0\}, extends to a family parameterized by U. The quadratic differential \Delta q^{(0)}_{x_0} corresponding to the extension to x_0 is holomorphic on C, vanishes at x_3, ..., x_{d}, and on U takes the form

Let x_0, x_3, ..., x_{d} be distinct points on C such that 2x_0 + x_3 + ... + x_d is Q-generic. Let z be a coordinate on U subordinate to the chosen holomorphic projective structure, with z(x_0) = 0. Let \nu_3(u), ..., \nu_d(u) be holomorphic functions on U, \nu_{\pm}(u) = \pm \frac{3}{4u} \pm \nu' u + \mathcal{O}(u^2) holomorphic functions on U\setminus \{x_0\}, and \{\mathcal{D}_u = \mathcal{D}_{pr} + q_u \}_{u \in z(U), u \neq 0} the corresponding family of opers parameterized by U\setminus \{x_0\} where q_u is defined as in (?), with \{ q^{(0)}_u \}_{u \in z(U), u \neq 0} the corresponding family of holomorphic quadratic differentials.

If there exists a holomorphic quadratic differential q^{(0)}_0 with q^{(0)}_0 = \underset{u \rightarrow 0}{\lim} q^{(0)}_u, then \{ \mathcal{D}_u \}_{u \in z(U), u\neq 0} extends to a family of opers parameterized by U. The oper corresponding to the extension to x_0 is \mathcal{D}_0 = \mathcal{D}_{pr} + q_0, where

where \Delta q^{(0)}_{x_0} is defined as in (5.11). In particular, the apparent singularities of \mathcal{D}_0 are simple and located at x_3, ..., x_d with accessory parameters \nu_3(0), ..., \nu_d(0).

Let \mathcal{D} be a branched projective structure with \mathrm{div}(\mathcal{D}) = x_3+ ... + x_{d} for d \leq 3g-3, and x_0\in C such that 2x_0 + x_3 + ... x_d is Q-generic. Then there exists a coordinate neighborhood (U, z) centred at x_0 and a family of branched projective structures \{\mathcal{D}_u\}_{u\in z(U)} parametrized by U such that

1. \mathcal{D}_0 = \mathcal{D};

2. for u\neq 0, \mathrm{div}(\mathcal{D}_u) = x_+ + x_- + x_3 + \dots x_d with x_\pm \in U and z(x_\pm) = \pm u;

3. for u\neq 0, the accessory parameters \nu_\pm(u) of x_\pm w.r.t. the local coordinate z have Laurent expansions as functions of u of Form (B) (?).

Furthermore, this family defines via taking monodromy a holomorphic map U \rightarrow \operatorname{Hom}(\pi_1, \mathrm{PSL}_2), which is injective for d < 2g-2.

Let \{\mathcal{D}_u\}_{u \in z(U)} be a family as in Proposition 5.14 with d even, and suppose that the projective monodromy of \mathcal{D}_0 is irreducible. Then, after shrinking U, there exist a holomorphic family \{[E_u, \nabla_u]\}_{u \in z(U)} in \mathcal{M}_{dR} and line subbundles L_u \hookrightarrow E_u with \mathcal{D}_u = \mathcal{D}_{(L_u \hookrightarrow E_u, \nabla_u)}. In particular, for the closed strata (?),

Given d < 2g-2, the family [E_u, \nabla_u] of Proposition 5.15 satisfies

Here the last inclusion is Simpson’s, recalled in ?.

Let \sigma' be a branched projective structure on \Sigma, and let \gamma_1, \gamma_2 be twin paths bounding a bubble \Delta. Then \sigma' = \mathrm{Bub}(\sigma, \gamma), where \sigma is obtained from \sigma' by collapsing \Delta and identifying \gamma_1(t) with \gamma_2(t), and \gamma is the resulting segment.

Let \{\mathcal{D}_u\} be a family of branched projective structures as in Proposition 5.14, with \mathrm{div}(\mathcal{D}_u) = x_+ + x_- + x_3 + \dots + x_d for u \neq 0. Then there exists \epsilon > 0 such that for every u with 0 < |u| < \epsilon, the structure \mathcal{D}_u has twin paths \gamma_{u,1} and \gamma_{u,2} from x_+ to x_- bounding a bubble. Consequently, \mathcal{D}_u = \mathrm{Bub}(\sigma_u, \gamma_u), where \sigma_u is a branched projective structure with apparent singularities x_3, \dots, x_d and the same monodromy as \mathcal{D}_u, on a Riemann surface with the same underlying smooth surface as C.

Let \{\mathcal{D}_u\} be the family of projective structures as in Proposition 5.14, with accessory parameters \nu_\pm(u) of Form B (?) and \mathcal{D} = \partial^2 + q_0 as the u \rightarrow 0 limit. Let \mathcal{Q} be the corresponding relative quadratic differential on S. Then for nonzero u and in local chart (u, w),

The extension of \beta^\ast \mathcal{Q} to \pi^{-1}(0) \simeq C \cup_{x_0} \mathbb{E} restricts to q_0 on C and

on the exceptional divisor \mathbb{E} \simeq \mathbb{P}^1.

1. J: \mathbb{P}^1 \rightarrow \mathbb{P}^1 has degree 2: for \xi \in \mathbb{C}, J(w) = \xi if and only if w^2 - \xi w + 1 = 0, and J^{-1}(\infty) = \{0, \infty\}.

2. The critical points of J(w) are w = \pm 1, and the corresponding critical values are J(\pm 1) = \pm 2.

3. J(\mathbb{S}^1) = [-2, 2] where \mathbb{S}^1 is the unit circle.

4. The restriction of J to \mathrm{int} (\mathbb{D}_1) is a biholomorphism to \mathbb{P}^1 \setminus [-2, 2].

J(w) is a developing map of the differential equation defined by (6.4),

In other words, there exists a basis of solutions f_1(w) and f_2(w) with J = f_1/f_2.

Let \{\mathcal{D}_u\} be the family of projective structures as in Proposition 5.14. Fix R > 1, and consider \mathbb{D}_R = \{ \lvert w \rvert < R \} \subset \mathbb{E}. Then there exist \epsilon > 0 and a holomorphic map

such that for all u \in \mathbb{D}_\epsilon, A_u is a developing map of the restriction of \beta^\ast \mathcal{D}_u to \mathbb{D}_R. In particular, A_u simply ramifies at w = \pm 1 and nowhere else on \mathbb{D}_R, and A_0 is Möbius equivalent to the Joukowsky function J = w + w^{-1}.

For R > 0, if R - R^{-1} > M then \overline{\mathcal{B}} \subset \mathbb{D}_R.

There exists a normalized family \mathbf{A} as in Proposition 6.7 with A_0 = J and such that A_u converges uniformly to J as u \rightarrow 0 on \overline{\mathcal{B}} with respect to the chordal metric.

Let 0 \leq s < r, and a, b \in \mathbb{P}^1 with |a| \leq s and |b| \geq r. Then d(a, b) \geq d(s, r).

(Rouché) Let \Omega \subset \mathbb{C} be a regular domain, and f, g holomorphic on an open neighborhood of \overline{\Omega} with |f-g| < |f| on \partial \Omega. Then the number of zeroes of f on \Omega, counted with multiplicity, is equal to that of g.

Let \mathbf{A} be as in Proposition 6.9. Then there exists \epsilon such that for all u \in \mathbb{D}_\epsilon,

is a branched double cover ramified exactly at w = \pm 1.