Abstract
We study the energy distribution of harmonic 1forms on a compact hyperbolic Riemann surface S where a short closed geodesic is pinched. If the geodesic separates the surface into two parts, then the Jacobian variety of S develops into a variety that splits. If the geodesic is nonseparating then the Jacobian degenerates. The aim of this work is to get insight into this process and give estimates in terms of geometric data of both the initial surface S and the final surface, such as its injectivity radius and the lengths of geodesics that form a homology basis. The Jacobians in this paper are represented by Gram period matrices. As an invariant we introduce new families of symplectic matrices that compensate for the lack of full dimensional Gramperiod matrices in the noncompact case.
Similar content being viewed by others
1 Introduction
This paper grew out of the following question: given a compact hyperbolic Riemann surface S of genus \(g \ge 2\) and a simple closed geodesic \(\gamma \) separating it into two parts \(S_1\), \(S_2\); if \(\gamma \) is fairly short, e.g. if it has length \(\ell (\gamma ) \le \frac{1}{2}\), does that imply that the Jacobian of S comes close to a direct product?
We shall answer this and related questions by analyzing the energy distribution of real harmonic 1forms on thin handles.
Energy distribution. In what follows a differential form or 1form on a Riemann surface S (compact or not) shall always be understood to be a real differential 1form. If it is harmonic we shall call it a harmonic form. Given two differential forms \(\omega \), \(\eta \) we denote by \(\omega \wedge \eta \) the wedge product and by \(\star \eta \) the Hodge star operator applied to \(\eta \). The pointwise norm squared \(\Vert \omega \Vert ^2\) of \(\omega \) is defined by \(\Vert \omega \Vert ^2\, d \text {vol}= \omega \wedge \star \omega \), where \(d \text {vol}\) is the volume element with respect to the hyperbolic metric of S. When necessary we write \(\Vert \omega (p) \Vert ^2\) to indicate that it is evaluated at point \(p \in S\). The integral of an integrable function f over a domain \(D \subseteq S\) shall be denoted by \(\int _D f\, d\text {vol}\). Provided the integral exists we define the energy of a differential form \(\omega \) over D as
When \(D = S\) we write, more simply, \(E_S(\omega ) = E(\omega )\) and call it the energy of \(\omega \). We also work with the scalar product for 1forms \(\omega \), \(\eta \) of class \(L^2\) on S,
In this paper we make extensively use of the fact that when S is compact, then in each cohomology class of closed 1forms on S there is a unique harmonic form and that the latter is an energy minimizer, i.e. the harmonic form is the unique element in its cohomology class that has minimal energy.
Our main technical tool will be the analysis of the energy distribution of a harmonic form in a cylinder (Sect. 3). By the Collar Lemma for hyperbolic surfaces, discussed in Sect. 2.1, any simple closed geodesic \(\gamma \) on S is embedded in a cylindrical neighborhood \(C(\gamma )\) whose width is defined by \(\gamma \), the so called standard collar. The gray shaded area in Fig. 5 is an illustration in the case where \(\gamma \) is separating. A first application of this analysis towards the question asked above is the following, where the constant \(\mu (\gamma )\) is defined as
Theorem 1.1
(Vanishing theorem) Let S be a compact hyperbolic Riemann surface and let \(\gamma \) be a simple closed geodesic of length \(\ell (\gamma ) \le \frac{1}{2}\) separating S into two parts \(S_1\), \(S_2\). If \(\sigma \) is a nontrivial harmonic 1form on S all of whose periods over cycles in \(S_2\) vanish, then

(a)
\(E_{S_2}(\sigma ) \le \mu (\gamma ) E(\sigma )\)

(b)
\(E_{S_2 {\smallsetminus } C(\gamma )}(\sigma ) \le \mu ^2(\gamma ) E_{C(\gamma )}(\sigma )\).
In other words, if \(\sigma \) “lives on \(S_1\)” then its energy decays rapidly along \(C(\gamma )\) and stays small in the rest of \(S_2\). The proof is given in Sect. 4. For technical reasons it is split: statement (a) appears as the first part of Theorem 4.1 and statement (b) appears as Theorem 4.2.
Jacobian and Gram period matrix. We denote by \(H_1(S,{{\mathbb {Z}}})\) the first homology group and by \(H^1(S,{{\mathbb {R}}})\) the vector space of all real harmonic 1forms on S. Together with the scalar product (1.2) \(H^1(S,{{\mathbb {R}}})\) is a Euclidean vector space of dimension 2g, and \(H_1(S,{{\mathbb {Z}}})\) is an Abelian group of rank 2g.
For any homology class \([\alpha ] \in H_1(S,{{\mathbb {Z}}})\) and any closed 1form \(\omega \) the period of \(\omega \) over \([\alpha ]\) is the path integral \(\int _{\alpha }\omega \), defined independently of the choice of the cycle \(\alpha \) in the homology class and we write it also in the form \(\int _{\alpha }\omega = \int _{[\alpha ]}\omega \). When \([\alpha ]\) is the class of a simple closed curve we usually take \(\alpha \) to be a geodesic (with respect to the hyperbolic metric on S). We call a set of 2g oriented simple closed geodesics
a canonical homology basis if for \(k = 1, \ldots , g\), \(\alpha _{2k1}\) intersects \(\alpha _{2k}\) in exactly one point, with algebraic intersection number +1, and if for all other couples \(i < j\) one has \(\alpha _i \cap \alpha _j = \emptyset \). For given \(\mathrm A\) we let \(\left( {\sigma _k } \right) _{k = 1,\ldots ,2g} \subset H^1(S,{{\mathbb {R}}})\) be the dual basis of harmonic forms
It is at the same time a basis of the lattice \(\Lambda = \{n_1\sigma _1 + \cdots + n_{2g}\sigma _{2g} \mid n_1,\ldots ,n_{2g} \in {{\mathbb {Z}}}\}\), where \(\Lambda \) is also defined intrinsically as the set of all \(\lambda \in H^1(S,{{\mathbb {R}}})\) for which all periods are integer numbers. The quotient \(J(S) = H^1(S,{{\mathbb {R}}})/\Lambda \) of the Euclidean space \(H^1(S,{{\mathbb {R}}})\) by the lattice \(\Lambda \) is a real 2gdimensional flat torus, the (real) Jacobian variety of the Riemann surface S (for the relation with the complex form see, e.g., [11, Chapter III]). Up to isometry, the lattice \(\Lambda \) is determined by the Gram matrix
(suppressing the mention of \({\mathrm{A}}\)). As a riemannian manifold J(S) is isometric to the standard torus \({{\mathbb {R}}}^{2g}/{{\mathbb {Z}}}^{2g}\) endowed with the flat riemannian metric induced by the matrix \(P_S\). Hence, knowing J(S) is the same as knowing \(P_S\). We call \(P_S\) the Gram period matrix of S with respect to \({\mathrm{A}}\).
Going to the boundary of \({\mathcal {M}}_g\). Let \({\mathcal {M}}_g\) be the moduli space of all isometry classes of compact Riemann surfaces of genus g, \(g\ge 2\) and let \(\partial {\mathcal {M}}_g\) be its boundary in the sense of Deligne–Mumford. The members of \(\partial {\mathcal {M}}_g\) are Riemann surfaces with nodes where some collars have degenerated into cusps (e.g. Bers [2]).
Several authors have studied the Jacobian under the aspect of opening up nodes i.e., by giving variational formulas in terms of t for the period matrix along paths \(F_t\) in \({\mathcal {M}}_g \cup \partial {\mathcal {M}}_g\) that start on the boundary, for \(t=0\), and lead inside \({\mathcal {M}}_g\) for \(t \ne 0\); see e.g. [12, 19, 15, Appendix], [10] and, more recently, the accounts [13, 14], where one may also find additional literature.
In contrast to this, our starting point is a surface S inside \({\mathcal {M}}_g\), a certain distance away from the boundary. Therefore, in order to formulate an answer to the question asked above we first have to determine some element on the boundary \(\partial {\mathcal {M}}_g\) whose (limit) Jacobian we may use for comparison. We shall apply two constructions that yield paths from S to such an element on the boundary, one uses Fenchel–Nielsen coordinates (e.g. [4, Chapter 1.7]), the other construction is grafting.
Fenchel–Nielsen construction
This way of going to the boundary seems to have been applied for the first time in [5] in connection with the small eigenvalues of the Laplace–Beltrami operator.
Fix a set of Fenchel–Nielsen coordinates corresponding to a partition of S into hyperbolic pairs of pants, where the partition is chosen such that \(\gamma \) is among the partitioning geodesics and \(\ell (\gamma )\) is one of the coordinates. For any \(t > 0\), in particular for \(t \in (0, \ell (\gamma )]\), there is a Riemann surface \(S_t\) that has the same Fenchel–Nielsen coordinates as S for the same partitioning pattern, with the sole exception that the coordinate \(\ell (\gamma )\) is changed to \(\ell (\gamma _t) = t\). Furthermore, there is a natural marking homeomorphism \(\phi _t : S \rightarrow S_t\) that sends the partitioning geodesics of S to those of \(S_t\) and preserves the twist parameters. Hence, a path \(\big (S_t\big )_{t \le \ell (\gamma )}\) in \({\mathcal {M}}_g\), where “\(\ell (\gamma )\) is shrinking to zero.”
If \(\gamma \) is a nonseparating geodesic then the limit for \(t \rightarrow 0\) is a noncompact hyperbolic surface \(S^{{\scriptscriptstyle {\mathsf {F}}}}\) of genus \(g1\) with two cusps, and the marking homeomorphisms \(\phi _t\) degenerate into a marking homeomorphism \(\phi ^{{\scriptscriptstyle {\mathsf {F}}}} : S{\smallsetminus } \gamma \rightarrow S^{{\scriptscriptstyle {\mathsf {F}}}}\).
If \(\gamma \) separates S into two bordered surfaces \(S_1\), \(S_2\), say of genera \(g_1\), \(g_2\), then the limit is a pair of noncompact hyperbolic surfaces \(S_1^{{\scriptscriptstyle {\mathsf {F}}}}\), \(S_2^{{\scriptscriptstyle {\mathsf {F}}}}\) of genera \(g_1\), \(g_2\) each with one cusp, and the marking homeomorphisms \(\phi _t\) degenerate into a couple of marking homeomorphisms \(\phi _i^{{\scriptscriptstyle {\mathsf {F}}}}: S_i {\smallsetminus }\gamma \rightarrow S_i^{{\scriptscriptstyle {\mathsf {F}}}}\), \(i=1,2\).
Grafting construction This is more widespread in the literature (see e.g. [16] or [9] for an account). The idea is to cut S open along \(\gamma \) and insert a Euclidean cylinder \([0,l] \times \gamma \), \(l \ge 0\) with the appropriate twist parameter (details below (1.4)). The resulting family of surfaces \(\big (S(l)\big )_{l \ge 0}\) is a path in \({\mathcal {M}}_g\) that converges to a boundary point which is a surface \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) of genus \(g1\) with two cusps if \(\gamma \) is nonseparating and a pair of surfaces \(S_1^{{\scriptscriptstyle {\mathsf {G}}}}, S_2^{{\scriptscriptstyle {\mathsf {G}}}}\) of genera \(g_1\), \(g_2\) each with one cusp if \(\gamma \) is separating. Here too we have natural marking homeomorphisms \(\phi _{(l)}: S \rightarrow S(l)\) and their limits \(\phi ^{{\scriptscriptstyle {\mathsf {G}}}} : S {\smallsetminus }\gamma \rightarrow S^{{\scriptscriptstyle {\mathsf {G}}}}\) respectively, \(\phi _i^{{\scriptscriptstyle {\mathsf {G}}}}: S_i {\smallsetminus }\gamma \rightarrow S_i^{{\scriptscriptstyle {\mathsf {G}}}}\), \(i=1,2\).
The hyperbolic metrics in the conformal classes of \(S^{{\scriptscriptstyle {\mathsf {G}}}}\), respectively \(S_1^{{\scriptscriptstyle {\mathsf {G}}}}\), \(S_2^{{\scriptscriptstyle {\mathsf {G}}}}\) are given by the Uniformization Theorem, but there is no explicit way known to compute them. This “drawback” is compensated by the better comparison with the limit Jacobians in the results below.
Figure 1 illustrates the two ways to go to the boundary in the case of a separating geodesic. The limit surfaces are depicted as noded surfaces with the two cusps pasted together at the node, i.e. along their ideal points at infinity.
Separating case. This is the context of the question asked in the beginning. We shall compare the Jacobian of S with the direct products of the Jacobians of \(S_1^{{\scriptscriptstyle {\mathsf {F}}}}, S_2^{{\scriptscriptstyle {\mathsf {F}}}}\) respectively, \(S_1^{{\scriptscriptstyle {\mathsf {G}}}}, S_2^{{\scriptscriptstyle {\mathsf {G}}}}\) in terms of Gram period matrices.
To this end we choose the homology basis \({\mathrm{A}} = (\alpha _i )_{i=1,\ldots ,2g}\) in such a way that \(\alpha _1, \ldots , \alpha _{2g_1} \subset S_1\) and \(\alpha _{2g_1+1}, \ldots , \alpha _{2g} \subset S_2\). On \(S_1^{{\scriptscriptstyle {\mathsf {F}}}}\), more precisely on the one point compactification , the homology classes \([\phi _1^{{\scriptscriptstyle {\mathsf {F}}}} \circ \alpha _i]\), \(i=1, \ldots , 2g_1\) form a canonical homology basis. We let \((\sigma _i^{{\scriptscriptstyle {\mathsf {F}}}})_{i=1,\ldots ,2g_1}\) be the corresponding dual basis of harmonic forms on and denote the associated Gram period matrix by \(P_{S_1^{{\scriptscriptstyle {\mathsf {F}}}}}\). The matrices \(P_{S_2^{{\scriptscriptstyle {\mathsf {F}}}}}\), \(P_{S_1^{{\scriptscriptstyle {\mathsf {G}}}}}\), \(P_{S_2^{{\scriptscriptstyle {\mathsf {G}}}}}\) are defined in the same way.
With this setting we have the following result, where the members in the block matrices \({ \left( {\begin{matrix} R_1&{}\Omega \\ {}^{\mathrm{t}} \Omega &{}R_2 \end{matrix}}\right) } \) are enumerated consecutively disregarding their relative positions in the blocks, so that e.g. the first line is \(r_{11}, \ldots , r_{1,2g_1}, \omega _{1,2g_1+1}, \ldots , \omega _{1,2g}\) and the last is \(\omega _{2g,1}, \ldots , \omega _{2g,2g_1}, r_{2g,2g_1+1}, \ldots , r_{2g,2g}\).
Theorem 1.2
Assume that the separating geodesic \(\gamma \) has length \(\ell (\gamma ) \le \frac{1}{2}\). Then
where the remainder matrices \(\Omega = \big (\omega _{ij}\big )\), \(R_k^{{\scriptscriptstyle {\mathsf {F}}}} = \big (r_{ij}^{{\scriptscriptstyle {\mathsf {F}}}} \big )\), \(R_k^{{\scriptscriptstyle {\mathsf {G}}}} = \big (r_{ij}^{{\scriptscriptstyle {\mathsf {G}}}} \big )\) have the following bounds,

(i)
\(\vert \omega _{ij} \vert \le e^{2\pi ^2(\frac{1}{\ell (\gamma )}\frac{1}{2})} \sqrt{p_{ii}p_{jj}}\),

(ii)
\(\vert r_{ij}^{{\scriptscriptstyle {\mathsf {G}}}}\vert \le e^{4\pi ^2(\frac{1}{\ell (\gamma )}\frac{1}{2})} \sqrt{p_{ii}p_{jj}}\),

(iii)
\(\vert r_{ij}^{{\scriptscriptstyle {\mathsf {F}}}}\vert \le 6 \ell (\gamma )^2 \sqrt{p_{ii}p_{jj}}\),
and for the \(p_{ii}\), \(p_{jj}\) we may take either, the diagonal elements of \(P_S\) or the diagonal elements of the corresponding limit matrix.
Nonseparating case. Here we adapt the homology basis \({\mathrm{A}} = (\alpha _1, \ldots , \alpha _{2g})\) of S to the given setting by requiring that \(\alpha _2\) coincides with the nonseparating geodesic \(\gamma \).
The nonseparating case is quite a different world. Two complications arise from the fact that the (compactified) limit surface has genus \(g1\) instead of g: the rank of the homology and the dimension of the Gram period matrix are not the same as for S and, in addition, the condition \(\int _{[\alpha _1]}\sigma _j = 0\) for the members \(\sigma _j\) of the dual basis of harmonic forms disappears.
A way to overcome the first difficulty could be to find a useful concept of 2g by 2g generalized Gram period matrix that can intrinsically be attributed to the limit surface. We did not quite succeed in this. However, in Sect. 7 we shall find a substitute for the lack of such a matrix in form of a package of geometric invariants that are defined in terms of harmonic differentials. Based on this we shall define, a concept of “blown up” Gram period matrices consisting of a one parameter family of symplectic 2g by 2g matrices \(P_{{\mathscr {R}}}(\lambda )\), \(\lambda > 0\), attributable to any Riemann surface \({\mathscr {R}}\) of genus \(g1\) with two cusps that is marked by the selection of a homology basis and a “twist at infinity” (Sects. 7.2 and 7.3). To formulate the main results we outline here the geometric invariants for \(P_{{\mathscr {R}}}(\lambda )\) in the case of the grafting limit \({\mathscr {R}}= S^{{\scriptscriptstyle {\mathsf {G}}}}\).
First, we describe a variant of the grafting construction better adapted to our needs. Inside the standard collar \(C(\gamma )\) introduced above there is a smaller such cylindrical neighborhood \(C^{\prime }(\gamma )\) with boundary curves \(c_1\), \(c_2\) of constant distance to \(\gamma \) that have lengths \(\ell (c_1) = \ell (c_2) = 1\). Removing \(C^{\prime }(\gamma )\) from S we obtain a compact surface \(\mathfrak {M}\) of genus \(g1\) with two boundary curves \(c_1\), \(c_2\), the “main part” of S. The closure of the hyperbolic cylinder \(C^{\prime }(\gamma )\) is conformally equivalent to the Euclidean cylinder \([0, L_{\gamma }] \times {{\mathbb {S}}}_1\), where \({{\mathbb {S}}}_1 = {{\mathbb {R}}}/{{\mathbb {Z}}}\) is the circle of length 1 and
(redefined in (5.4)). From the conformal point of view, S is the Riemann surface obtained out of \(\mathfrak {M}\) by reattaching \([0,L_{\gamma }] \times {{\mathbb {S}}}_1\). We now define \(S_L\), for any \(L> 0\), to be the Riemann surface obtained out of \(\mathfrak {M}\) by attaching, in the same way, \([0,L] \times {{\mathbb {S}}}_1\) instead of \([0,L_{\gamma }] \times {{\mathbb {S}}}_1\). The short hand “in the same way” means that if points \(p \in c_1\), \(q \in c_2\) on the boundary of \(\mathfrak {M}\) are connected by the straight line \([0,L_{\gamma }] \times \{y_0\}\) in \([0,L_{\gamma }] \times {{\mathbb {S}}}_1 \subset S\) then they are connected by the straight line \([0,L] \times \{y_0\}\) in \([0,L] \times {{\mathbb {S}}}_1 \subset S_L\).
The part \(\big (S_L\big )_{L\ge L_{\gamma }}\) of the family of surfaces described in this way differs from the previously defined \(\big (S(l)\big )_{l \ge 0}\) only by an additive change of parameter. The limit surface \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) is \(\mathfrak {M}\) with two copies of the infinite Euclidean cylinders \([0,\infty ) \times {{\mathbb {S}}}_1\) attached (see Fig. 2).
The natural marking homeomorphism \(\phi _L : S \rightarrow S_L\) is taken to be the mapping that acts as the identity from \(\mathfrak {M} \subset S\) to \(\mathfrak {M} \subset S_L\) and performs a linear stretch from \([0,L_{\gamma }] \times {{\mathbb {S}}}_1\) to \([0,L] \times {{\mathbb {S}}}_1\). In the limit, \(\phi ^{{\scriptscriptstyle {\mathsf {G}}}}:S{\smallsetminus }\gamma \rightarrow S^{{\scriptscriptstyle {\mathsf {G}}}}\) is defined similarly but with the stretching of the cylinders fixed in some nonlinear way.
For any \(L>0\) the mapping \(\phi _L\) sends the given homology basis on S to a homology basis on \(S_L\) and we have the associated Gram period matrix \(P_{S_L}\). For \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) this is no longer fully the case and we make the following adaptions. For \(j=3,\ldots ,2g\), we set \(\alpha _j^{{\scriptscriptstyle {\mathsf {G}}}} = \phi ^{{\scriptscriptstyle {\mathsf {G}}}}(\alpha _j)\). These curves form a canonical homology basis of the compactified surface
where q, \(q^{\prime }\) symbolize the two ideal points at infinity of \(S^{{\scriptscriptstyle {\mathsf {G}}}}\). There is the dual basis of harmonic forms \(\big (\sigma _j^{{\scriptscriptstyle {\mathsf {G}}}}\big )_{j=3,\ldots ,2g}\) on and we denote by
the corresponding Gram period matrix. We append two curves to the system \(\alpha _3^{{\scriptscriptstyle {\mathsf {G}}}},\ldots ,\alpha _{2g}^{{\scriptscriptstyle {\mathsf {G}}}}\), setting \(\alpha _1^{{\scriptscriptstyle {\mathsf {G}}}} = \phi ^{{\scriptscriptstyle {\mathsf {G}}}}(\alpha _1^{\prime })\), \(\alpha _2^{{\scriptscriptstyle {\mathsf {G}}}} = \phi ^{{\scriptscriptstyle {\mathsf {G}}}}(\alpha _2^{\prime })\), where \(\alpha _1^{\prime }\) is \(\alpha _1\) minus the intersection point with \(\gamma = \alpha _2\), and \(\alpha _2^{\prime }\) is one of the boundary curves of \(\mathfrak {M}\) oriented in such a way that it lies in the homology class of \(\alpha _2\). On \(\alpha _2^{{\scriptscriptstyle {\mathsf {G}}}}\) is a null homotopic curve and \(\alpha _1^{{\scriptscriptstyle {\mathsf {G}}}}\) is an arc from q to \(q^{\prime }\).
A word is to be said about the latter. In Sect. 7.2 we shall define a concept of “twist at infinity” by markings with particular classes of curves that go from cusp to cusp. From that point of view our limit surface is \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) marked with the class of \(\alpha _1^{{\scriptscriptstyle {\mathsf {G}}}}\).
In addition to the curves we also append two harmonic forms \(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}}\), \(\sigma _2^{{\scriptscriptstyle {\mathsf {G}}}}\), of infinite energy, to the system \(\sigma _3^{{\scriptscriptstyle {\mathsf {G}}}},\ldots , \sigma _{2g}^{{\scriptscriptstyle {\mathsf {G}}}}\). The first one is \(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}} = df_1^{{\scriptscriptstyle {\mathsf {G}}}}\), where \(f_1^{{\scriptscriptstyle {\mathsf {G}}}}\) is a (real valued) harmonic function on \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) with logarithmic poles in q, \(q^{\prime }\) ([11, Theorem II.4.3]). It is made unique by the condition that \(\int _{\alpha _2^{{\scriptscriptstyle {\mathsf {G}}}}} \star \tau _1^{{\scriptscriptstyle {\mathsf {G}}}} = 1\). Since \(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}}\) is exact all its periods vanish. The second form is defined by the condition that \(\sigma _2^{{\scriptscriptstyle {\mathsf {G}}}}\star \tau _1^{{\scriptscriptstyle {\mathsf {G}}}}\) is harmonic on and that it has the periods
Even though \(\sigma _2^{{\scriptscriptstyle {\mathsf {G}}}}\) is not an \(L^2\)form the following integrals are well defined
For \(j=2\) the above integral does not converge. Hence, there is no \(q_{22}^{{\scriptscriptstyle {\mathsf {G}}}}\). But one can define the “gist of \(q_{22}^{{\scriptscriptstyle {\mathsf {G}}}}\)”: since \(\sigma _2^{{\scriptscriptstyle {\mathsf {G}}}}\) and \(\star \tau _1^{{\scriptscriptstyle {\mathsf {G}}}}\) have the same singularities the following quantity is well defined,
In a certain way \(\pi _{22}^{{\scriptscriptstyle {\mathsf {G}}}}\) measures how much additional energy it costs for \(\sigma _2^{{\scriptscriptstyle {\mathsf {G}}}}\) to satisfy the duality condition (1.5). There is also a “gist of \(p_{11}^{{\scriptscriptstyle {\mathsf {G}}}}\)” : if we denote, for \(L > 0\), by \(S_L^{{\scriptscriptstyle {\mathsf {G}}}} \subset S^{{\scriptscriptstyle {\mathsf {G}}}}\) the subsurface obtained out of \(\mathfrak {M}\) by attaching two copies of \([0, L/2] \times {{\mathbb {S}}}_1\), then the energy \(E_{S_L^{{\scriptscriptstyle {\mathsf {G}}}}}(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}})\) grows asymptotically like constant + L and we set
Finally, we introduce the following limit periods, where we point out that the integral is well defined also for \(j = 2\) despite the singularities of \(\sigma _2^{{\scriptscriptstyle {\mathsf {G}}}}\).
For an overview we put the invariants together into an array.
\(\mathfrak {P}_{S^{{\scriptscriptstyle {\mathsf {G}}}}}\) is not meant to be regarded as a matrix. However, we shall define a one parameter family of “true” matrices out of it in (1.9) and, more generally, in Sect. 7.3.
All entries of \(\mathfrak {P}_{S^{{\scriptscriptstyle {\mathsf {G}}}}}\) except \(\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}\) are defined intrinsically by the conformal structure of \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) and the given curve system \(\alpha _1^{{\scriptscriptstyle {\mathsf {G}}}}, \dots , \alpha _{2g}^{{\scriptscriptstyle {\mathsf {G}}}}\). The entry \(\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}\), however, makes use of the description of \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) in terms of the main part \(\mathfrak {M}\) of S.
In contrast to the case of Theorem 1.2 the bounds for the error terms in the nonseparating case do not have a simple expression. We shall therefore use order notation to formulate the results. We make the following definition to indicate on what quantities the bounds depend: for real valued functions \(\rho (x)\), F(x), \(x \in (0, + \infty )\), we say that
if \(\vert \rho (x)\vert \le c_{\rho } F(x)\), \(x \in (0, + \infty )\), for some constant \(c_{\rho }\) that can be explicitly estimated in terms of g, a lower bound on \(sys_{\gamma }(S)\) and an upper bound on the lengths \(\ell (\alpha _1), \dots , \ell (\alpha _{2g})\) on S, where \({{\,\mathrm{sys}\,}}_{\gamma }(S)\) is the length of the shortest simple closed geodesic on S different from \(\gamma \).
For the grafting limit the result is as follows.
Theorem 1.3
Let \(p_{ij}(S_L)\) be the entries of the Gram period matrix \(P_{S_L}\). Then for any \(L \ge 4\) we have the following comparison,

$$\begin{aligned} p_{11}(S_L)= & {} \dfrac{1}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L} + {\mathcal {O}}_{\mathrm{A}} \left( \frac{1}{L}e^{2\pi L}\right) , \quad p_{12}(S_L) = \dfrac{\kappa _2^{{\scriptscriptstyle {\mathsf {G}}}}}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L} + {\mathcal {O}}_{\mathrm{A}} \left( \frac{1}{L}e^{\pi L} \right) ,\\ p_{1j}(S_L)= & {} \dfrac{\kappa _j^{{\scriptscriptstyle {\mathsf {G}}}}}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L} + {\mathcal {O}}_{\mathrm{A}} \left( \frac{1}{L}e^{2\pi L}\right) , \quad j=3, \ldots , 2g, \end{aligned}$$

$$\begin{aligned} p_{22}(S_L) = \mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L + \pi _{22}^{{\scriptscriptstyle {\mathsf {G}}}} + \dfrac{(\kappa _2^{{\scriptscriptstyle {\mathsf {G}}}})^2}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L} + {\mathcal {O}}_{\mathrm{A}} \left( \frac{1}{L}e^{\pi L} \right) , \end{aligned}$$

$$\begin{aligned} p_{ij}(S_L)=q_{ij}^{{\scriptscriptstyle {\mathsf {G}}}} + \dfrac{\kappa _i^{{\scriptscriptstyle {\mathsf {G}}}}\kappa _j^{{\scriptscriptstyle {\mathsf {G}}}}}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L}+{\mathcal {O}}_{\mathrm{A}}(e^{2\pi L}), \quad i,j = 2,\ldots ,2g, (i,j) \ne (2,2). \end{aligned}$$
For S itself in this theorem one has to take \(L=L_{\gamma }\) with \(L_{\gamma }\) as in (1.4).
For the Fenchel–Nielsen limit the array of constants \(\mathfrak {P}_{S^{{\scriptscriptstyle {\mathsf {F}}}}}\) is similar to \(\mathfrak {P}_{S^{{\scriptscriptstyle {\mathsf {G}}}}}\) except that it shall be defined in terms of the hyperbolic metric of \(S^{{\scriptscriptstyle {\mathsf {F}}}}\). In analogy to (1.4) we abbreviate, for \(t>0\),
The result is then as follows, where for S itself one has to take \(t = \ell (\gamma )\).
Theorem 1.4
For any surface in the family \(\big (S_t\big )_{t\le \frac{1}{4}}\) of the Fenchel–Nielsen construction we have the comparison.

$$\begin{aligned} p_{11}(S_t)= & {} \dfrac{1}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {F}}}}+L_t} + {\mathcal {O}}_{\mathrm{A}}(t^4), \quad p_{12}(S_t) = \dfrac{\kappa _2^{{\scriptscriptstyle {\mathsf {F}}}}}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {F}}}}+L_t} + {\mathcal {O}}_{\mathrm{A}}(t^2)\\ p_{1j}(S_t)= & {} \dfrac{\kappa _j^{{\scriptscriptstyle {\mathsf {F}}}}}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {F}}}}+L_t} + {\mathcal {O}}_{\mathrm{A}}(t^3), \quad j=3, \ldots , 2g, \end{aligned}$$

$$\begin{aligned} p_{22}(S_t) = \mathfrak {m}^{{\scriptscriptstyle {\mathsf {F}}}}+L_t + \pi _{22}^{{\scriptscriptstyle {\mathsf {F}}}} + \dfrac{(\kappa _2^{{\scriptscriptstyle {\mathsf {F}}}})^2}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {F}}}}+L_t} + {\mathcal {O}}_{\mathrm{A}}(t^2), \end{aligned}$$

$$\begin{aligned} p_{ij}(S_t)=q_{ij}^{{\scriptscriptstyle {\mathsf {F}}}} + \dfrac{\kappa _i^{{\scriptscriptstyle {\mathsf {F}}}}\kappa _j^{{\scriptscriptstyle {\mathsf {F}}}}}{\mathfrak {m}^{{\scriptscriptstyle {\mathsf {F}}}}+L_t}+{\mathcal {O}}_{\mathrm{A}}(t^2), \quad i,j = 2,\ldots ,2g, (i,j) \ne (2,2). \end{aligned}$$
In Theorem 1.3 all occurrences of L are in the combined form \(\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L\) (and a similar remark holds for Theorem 1.4). This observation suggests to translate the array \(\mathfrak {P}_{S^{{\scriptscriptstyle {\mathsf {G}}}}}\) in (1.6) (and in a similar way \(\mathfrak {P}_{S^{{\scriptscriptstyle {\mathsf {F}}}}}\)) into a parametrized family of matrices \(P_{S^{{\scriptscriptstyle {\mathsf {G}}}}}(\lambda )\), \(\lambda \in (0,+\infty )\), that may be regarded as a substitute for the missing Gram period matrix for \(S^{{\scriptscriptstyle {\mathsf {G}}}}\).
For the translation we regard the constants \(q_{ij}^{{\scriptscriptstyle {\mathsf {G}}}}\) as constant functions \(q_{ij}^{{\scriptscriptstyle {\mathsf {G}}}}(\lambda ) = q_{ij}^{{\scriptscriptstyle {\mathsf {G}}}}\), \(i,j = 2,\ldots , 2g\), \((i,j) \ne (2,2)\); then define \(q_{22}^{{\scriptscriptstyle {\mathsf {G}}}}(\lambda ) = \pi _{22}^{{\scriptscriptstyle {\mathsf {G}}}}+\lambda \); and, for completion, \(q_{1j}^{{\scriptscriptstyle {\mathsf {G}}}}(\lambda ) = q_{j1}^{{\scriptscriptstyle {\mathsf {G}}}}(\lambda ) = 0\), \(j=1,\ldots ,2g\). We also complete the list \(\kappa _2^{{\scriptscriptstyle {\mathsf {G}}}}, \ldots , \kappa _{2g}^{{\scriptscriptstyle {\mathsf {G}}}}\) setting \(\kappa _1^{{\scriptscriptstyle {\mathsf {G}}}} = 1\). The definition then is
Theorem 1.3 now states that
with the bounds for the entries of \(\rho ^{{\scriptscriptstyle {\mathsf {G}}}}(L)\) as given. There is a similar expression for Theorem 1.4.
We shall prove in Corollary 7.11 that the \(P_{S^{{\scriptscriptstyle {\mathsf {G}}}}}(\lambda )\) are symplectic matrices. We do not know, however, whether or not they are Gram period matrices of compact Riemann surfaces.
The paper is divided into seven parts: Sect. 1 is the introduction. In Sect. 2 we construct mappings used to embed Riemann surfaces with a small geodesic into the limit surfaces with cusps obtained by the Fenchel–Nielsen construction. These mappings shall be used to compare the energies of corresponding harmonic forms with each other. In Sect. 3 we give decay and dampening down estimates for harmonic forms on flat cylinders. These are later used to provide the exponential decay estimates given in Theorem 1.1– 1.3. Section 4 treats the case where the shrinking curve \(\gamma \) is separating and Sects. 5–7 the case where \(\gamma \) is nonseparating. Theorems 1.3 and 1.4 are proven as Theorems 7.10 and 7.12 in Sect. 7.4.
At various places we estimate energies of harmonic forms via test forms and then simplify the results “by elementary considerations”. For the latter it is—and was—helpful to use a computer algebra system.
2 Mappings for degenerating Riemann surfaces
In this section we construct mappings used to embed Riemann surfaces with a small geodesic into the limit surfaces with cusps obtained by the Fenchel–Nielsen construction. These mappings shall be used to compare the energies of corresponding harmonic forms with each other.
2.1 Collars and cusps
We first collect a number of facts about collars and cusps that follow from the socalled Collar Theorem. For proofs we refer e.g. to [4, Chapter 4]. In the present section S is a surface of signature (g, m; n) with a metrically complete hyperbolic metric for which the m boundary components are simple closed geodesics and the n punctures are cusps. We assume, furthermore, that \(2g + m + n \ge 3\).
For any simple closed geodesic \(\gamma \) on S (on the boundary or in the interior) the standard collar \(C(\gamma )\) is defined as the neighborhood
By the Collar Theorem \(C(\gamma )\) is an embedded cylinder; moreover, the geodesic arcs of length \({{\,\mathrm{cl}\,}}(\gamma )\) emanating perpendicularly from \(\gamma \) are pairwise disjoint (except for the common initial points of pairs of opposite arcs). This allows us to use Fermi coordinates for points in \(C(\gamma )\) by taking \(\gamma \) as base curve, parametrized in the form \(t \mapsto \gamma (t)\), \(t \in [0,1]\), with constant speed \(\ell (\gamma )\). The parameter t will also be interpreted as running through \({{\mathbb {S}}}_1\), where we set
For any \(p \in C(\gamma )\) we then have Fermi coordinates \((\rho ,t)\) defined so that \(\vert \rho \vert \) is the distance from p to \(\gamma \) and p lies on the orthogonal geodesic through \(\gamma (t)\). If \(\gamma \) lies in the interior of S then all \(\rho \) have negative signs on one side of \(\gamma \) and positive signs on the other. For the case where \(\gamma \) is a boundary geodesic, we adopt the convention that all \(\rho \) shall be nonpositive. The metric tensor in these coordinates is
Hence, if \(\gamma \) lies in the interior of S then \(C(\gamma )\) is isometric to the cylinder
endowed with the metric tensor (2.4). If \(\gamma \) is a boundary geodesic then \(C(\gamma )\) is isometric to \(({}{{\,\mathrm{cl}\,}}(\ell (\gamma )),0]\times {{\mathbb {S}}}_1\) endowed with this metric. In this latter case we also call \(C(\gamma )\) a half collar.
In a similar way, also by the collar theorem, there exists for any puncture q (to be understood as an isolated ideal boundary point at infinity) an open neighborhood V(q) that is isometric to the cylinder
endowed with the metric tensor
Under this isometry any curve \(\{r\} \times {{\mathbb {S}}}_1\), for \(r \in ({}\ln (2),{+}\infty )\), corresponds to a horocycle \(\eta _{\lambda }\) of length \(\lambda = e^{r}\) on V(q) and the couples (r, t) are Fermi coordinates for points in V(q) based on the curve \(\eta _1\).
We shall also look at parts of cusps: for \(a > b \ge 0\) the truncated cusp \(V_a^b\) is defined as the annular region
where ‘between” shall allow that p lies on \(\eta _a\), or \(\eta _b\). When \(b=0\) the truncated cusp becomes a punctured disk and we denote it by \(V_a\).
Finally, the collar theorem further states that all cusps are pairwise disjoint, no cusp intersects a collar, and collars belonging to disjoint simple closed geodesics are disjoint.
2.2 Conformal mappings of collars and cusps
We shall make use of the standard conformal mappings \(\psi _{\gamma }\), \(\psi _q\) that map collars and cusps into the flat cylinder
where we use (x, y) as coordinates for points in Z with \(x \in ({}\infty , {+}\infty )\), \(y \in {{\mathbb {S}}}_1 = {{\mathbb {R}}}/{{\mathbb {Z}}}\), and y is treated as a real variable. It is straightforward to check that for any simple closed geodesic \(\gamma \) on S the mapping \(\psi _{\gamma } : C(\gamma ) \rightarrow Z\) defined in Fermi coordinates by
with
is conformal. Similarly, for any cusp V(q) we have a conformal mapping \(\psi _q : V(q) \rightarrow Z\) defined in Fermi coordinates by
For later use we note that by (2.1), (2.2), (2.11) \(\psi _{\gamma }\) maps \(C(\gamma )\) onto \(({}M,M) \times {{\mathbb {S}}}_1\), where \(M = M(\ell (\gamma ))\) satisfies
and the inequality follows from elementary consideration. (M is not the same as \(L_{\gamma }\) defined in (1.4) and later used in (5.4).) In the next section we shall combine \(\psi _{\gamma }\) with \(\psi _q^{1}\) to conformally map half collars into cusps.
2.3 Mappings of Ypieces
The results of this section are presented in [3]. We summarize them for convenience and slightly extend them for the present needs. A Ypiece or hyperbolic pair of pants is a surface as in the preceding section that has signature (0, 3; 0). To include limit cases we shall also admit signatures (0, 2; 1) and (0, 1; 2).
We denote by \(Y=Y_{l_1,l_2,l_3}\) the Ypiece with boundary geodesics \(\gamma _1,\gamma _2,\gamma _3\) of lengths \(\ell (\gamma _i)=l_i\), for \(i \in \{1,2,3\}\). For any pair \(\gamma _{i1}, \gamma _i\), \(i=1,2,3\), (indices \(\mod 3\)) there is a unique connecting geodesic arc \(a_i\) orthogonal to \(\gamma _{i1}\) and \(\gamma _i\) at its end points. These arcs are called the common perpendiculars or orthogeodesics of Y. They decompose Y into two identical right angled geodesic hexagons, and there is an orientation reversing isometry \(\sigma _Y : Y \rightarrow Y\), the natural symmetry of Y, that keeps the orthogeodesics pointwise fixed.
The boundary geodesics are parametrized with constant speed \(\gamma _i: [0,1] \rightarrow \partial Y\), with positive boundary orientation (with respect to a fixed orientation on Y) and such that \(\gamma _i(0)\) coincides with the endpoint of \(a_i\) (see Fig. 3). We call this the standard parametrization. By the aforementioned collar theorem the sets
are pairwise disjoint embedded cylinders. Moreover, for \(0 \le \rho \le {{\,\mathrm{cl}\,}}(\ell (\gamma _i))\) the equidistant curves
are embedded circles. We parametrize them with constant speed in the form \(\gamma _i^{\rho }:[0,1] \rightarrow Y_{l_1,l_2,l_3}\), such that there is an orthogonal geodesic arc of length \(\rho \) from \(\gamma _i(t)\) to \(\gamma _i^{\rho }(t), t \in [0,1]\). This too shall be called a standard parametrization.
We extend these conventions to degenerated Ypieces with cusps writing symbolically ‘\(\ell (\gamma _i)=0\)’, if the ith end is a puncture. In this case the equidistant curves are horocycles and the collar \({\mathcal {C}}_i\) is isometric to a cusp whose boundary length is equal to 2.
We also consider restricted Ypieces, where parts of the collars have been cut off: Take \(Y_{l_1,l_2,l_3}\). Select in each \({\mathcal {C}}_i\) an equidistant curve \(\beta _i = \gamma _i^{\rho _i}\) (respectively, a horocycle if \({\mathcal {C}}_i\) is a cusp) of some length \(\lambda _i\), possibly \(\beta _i= \gamma _i\), and cut away the outer part of the collar along this curve. The thus restricted Ypiece, \(Y_{l_1,l_2,l_3}^{\lambda _1,\lambda _2,\lambda _3}\), is the closure of the connected component of \(Y_{l_1,l_2,l_3} \smallsetminus \{\beta _1,\beta _2,\beta _3\}\) that has signature (0, 3; 0).
Our mappings shall have the following two properties. A homeomorphism
of, possibly restricted, Ypieces is called boundary coherent if for corresponding boundary curves \(\beta _i\) of Y and \(\beta ^{\prime }_i\) of \(Y^{\prime }\) in standard parametrization one has \(\phi (\beta _i(t))=\beta ^{\prime }_i(t),t \in [0,1]\). The mapping \(\phi \) is called symmetric if it is compatible with the natural symmetries, i.e. if \(\phi \circ \sigma _Y = \sigma _{Y^{\prime }} \circ \phi \). Since the fixed point sets of \(\sigma _Y\) and \(\sigma _{Y^{\prime }}\) are the orthogeodesics it follows, in particular, that a symmetric \(\phi \) sends orthogeodesics to orthogeodesics.
We need, in particular, the following restriction of Ypieces. Assume first that for some \(i \in \{1,2,3\}\) we have \(0<\ell (\gamma _i) = \epsilon < 2\). Then we define the reduced collar
where, using (2.2),
The inner boundary curve of \(\widehat{{\mathcal {C}}}_i\) has length
By (2.14) we have \(\widehat{{\mathcal {C}}}_i \subset {\mathcal {C}}_i\). For convenient notation we complete the definition by setting \(\widehat{{\mathcal {C}}}_i = \emptyset \) if \(\ell (\gamma _i) \ge 2\).
We now extend the definition of \(\widehat{{\mathcal {C}}}_i\) to the case where \(\gamma _i\) is a puncture. In this case \(\widehat{{\mathcal {C}}}_i\) is defined as the subset of all points in the cusp \({\mathcal {C}}_i\) that lie outside the horocycle of length 1. With this set up we define, for all cases, the reduced Ypiece as
We are ready to introduce the mappings. Let us first consider the case of a Ypiece where “one boundary geodesic is shrinking”, i.e where \(l_1,l_2 \ge 0\), and \(l_3 = \epsilon > 0\) with \(\epsilon \) small. In [3, Theorem 5.1], it is shown that there exists a symmetric boundary coherent quasiconformal homeomorphism \(\phi : {\widehat{Y}}_{l_1,l_2,\epsilon } \rightarrow {\widehat{Y}}_{l_1,l_2,0}\) of dilatation \(\le 1+ 2\epsilon ^2\). We extend \(\phi \) to all of Y by letting it be an isometry on \(\widehat{{\mathcal {C}}}_1\), \(\widehat{{\mathcal {C}}}_2\) and a conformal mapping on \(\widehat{{\mathcal {C}}}_3\). To compute the image set we use the preceding section: the mapping \(\psi _{\gamma }\) as in (2.10) with \(\gamma = \gamma _3\) maps the closure of \({\hat{C}}_3\) conformally to the flat cylinder \([{\hat{M}},0] \times {{\mathbb {S}}}_1\), where by (2.11) and (2.15)
and the inequality follows from elementary consideration. We then shift the cylinder forward to \([1, {\hat{M}}+1] \times {{\mathbb {S}}}_1\) and apply the inverse of the conformal mapping \(\psi _q\) defined in (2.12), where q is the corresponding puncture of \(Y_{l_1,l_2,0}\). The combination of the three mappings is our extension of \(\phi \) to \({\widehat{C}}_3\). From the above expression for \({\hat{M}}\) and the form of the metric tensor in (2.7) it follows that
In particular, the boundary geodesic \(\gamma _3\) of length \(\epsilon \) goes to the horocycle \(h_{{\hat{\epsilon }}}\) of length \({\hat{\epsilon }}\), where asymptotically \({\hat{\epsilon }} \sim \frac{2}{\pi }\epsilon \), as \(\epsilon \rightarrow 0\).
With \(\phi \) thus extended we have the following variant of Theorem 5.1 in [3]:
Theorem 2.1
Let \(0 \le l_1,l_2\), \(0 < \epsilon \le \frac{1}{2}\), and define \({\hat{\epsilon }}\) as in (2.17). Then there exists a symmetric boundary coherent quasiconformal homeomorphism
with dilatation \(q_{\phi _Y} \le 1+ 2\epsilon ^2\) and the property that the restriction of \(\phi _Y\) to \(\widehat{{\mathcal {C}}}_i\) is an isometry for \(i=1,2\), and a conformal mapping for \(i=3\).
The theorem is illustrated in Fig. 3. Note that the bound is independent of \(l_1\) and \(l_2\). Applying the theorem twice we also have the following:
Theorem 2.2
Let \(0 \le l_1\), \(0 < \epsilon _2, \epsilon _3 \le \frac{1}{2}\), and define \({\hat{\epsilon }}_2\), \({\hat{\epsilon }}_3\) as in (2.17). Then there exists a symmetric boundary coherent quasiconformal homeomorphism
with dilatation \(q_{\psi _Y} \le (1+ 2\epsilon _2^2)(1+ 2\epsilon _3^2)\) and the property that the restriction of \(\psi _Y\) to \(\widehat{{\mathcal {C}}}_i\) is an isometry for \(i=1\), and a conformal mapping for \(i=2,3\).
2.4 Mappings between \(S^{{\scriptscriptstyle {\mathsf {F}}}}\) and \(S^{{\scriptscriptstyle {\mathsf {G}}}}\)
We extend the mappings of the preceding paragraph to quasi conformal mappings between \(S^{{\scriptscriptstyle {\mathsf {F}}}}\) and \(S^{{\scriptscriptstyle {\mathsf {G}}}}\). For future reference the setting is slightly more general. The term marking preserving in the next theorem is explained in the proof.
Theorem 2.3
Let R be a hyperbolic surface of signature (g, m; n) and assume that for some positive integer \(l \le m\) and some \(\epsilon \in (0,\frac{1}{2}]\), the boundary geodesics \(\gamma _1, \ldots , \gamma _l\) satisfy
Let \(R^{{\scriptscriptstyle {\mathsf {G}}}}\) be obtained by attaching flat cylinders \([0,\infty ) \times \gamma _i\) to \(\gamma _i\) for \(i=1,\ldots ,l\), and let \(R^{{\scriptscriptstyle {\mathsf {F}}}}\) be obtained by choosing a partition of R and shrinking \(\gamma _1, \ldots , \gamma _l\) to zero while keeping the remaining Fenchel–Nielsen parameters fixed. Then there exists a marking preserving quasiconformal homeomorphism
with dilatation \(q_{\psi } \le (1+ 2\epsilon ^2)^2\) that, moreover, embeds the cylinders \( [0,\infty ) \times \gamma _i\) conformally into \(R^{{\scriptscriptstyle {\mathsf {F}}}}\) for \(i=1,\ldots , l\).
Proof
By construction, we may label the Ypieces of R and \(R^{{\scriptscriptstyle {\mathsf {F}}}}\) and the geodesics along which they are pasted together in the form \(Y_1, \ldots , Y_q\) and \(\gamma _{m+1}, \ldots , \gamma _{m+p}\) respectively, \(Y^{\prime }_1, \ldots , Y^{\prime }_q\) and \(\gamma ^{\prime }_{m+1}, \ldots , \gamma ^{\prime }_{m+p}\) (with \(p=3g3+m+n\), \(q=2g2+m+n\)) in such a way that, whenever \(Y_i\) is pasted to \(Y_j\) along \(\gamma _k\) with some twist parameter \(\vartheta _k\), then \(Y^{\prime }_i\) is pasted to \(Y^{\prime }_j\) along \(\gamma ^{\prime }_k\) with twist parameter \(\vartheta _k\).
There exists then, in the same way as in Sect. 1, a marking homeomorphism \(\phi ^{{\scriptscriptstyle {\mathsf {F}}}}: R \rightarrow R^{{\scriptscriptstyle {\mathsf {F}}}}\) that sends the \(Y_j\) to the corresponding \(Y^{\prime }_j\), \(j=1,\ldots ,q\), and preserves the twist parameters. (This is also a marking homeomorphism in the sense of Teichmüller theory with R understood as base surface, e.g. [4, Section 6.1].) There is a similar marking homeomorphism \(\phi ^{{\scriptscriptstyle {\mathsf {G}}}}: R \rightarrow R^{{\scriptscriptstyle {\mathsf {G}}}}\) and we shall say that a homeomorphism \(\varphi : R^{{\scriptscriptstyle {\mathsf {G}}}} \rightarrow R^{{\scriptscriptstyle {\mathsf {F}}}}\) is marking preserving if the mappings \(\varphi \circ \phi ^{{\scriptscriptstyle {\mathsf {G}}}}\) and \(\phi ^{{\scriptscriptstyle {\mathsf {F}}}}\) are isotopic.
Now, if, for a given i, the boundary geodesics of \(Y_i\) are distinct from \(\gamma _1, \ldots , \gamma _l\), then there exists an isometry \(\psi _{Y_i} : Y_i \rightarrow Y^{\prime }_i\) that preserves the labelling of the boundary geodesics. If, on the other hand, some of the boundary geodesics of \(Y_i\) are amongst \(\gamma _1, \ldots , \gamma _l\), then, by Theorems 2.1 and 2.2, there exists a symmetric boundary coherent quasiconformal embedding \(\psi _{Y_i} : Y_i \rightarrow Y^{\prime }_i\) that preserves the labelling of the interior geodesics and has dilatation \(q_{\psi _{Y_i}}\le (1+ 2\epsilon ^2)^2\). Since the mappings \(\psi _{Y_i}\), for \(i=1,\ldots ,q\), are boundary coherent, and since the twist parameters for the pastings in R are the same as those for the corresponding pastings in \(R^{{\scriptscriptstyle {\mathsf {F}}}}\), it follows that the \(\psi _{Y_i}\) match along the boundaries and together define a quasiconformal embedding \(\psi : R \rightarrow R^{{\scriptscriptstyle {\mathsf {F}}}}\) with dilatation \(q_{\psi }\le (1+ 2\epsilon ^2)^2\).
The mapping \(\psi \) sends \(\gamma _1, \ldots , \gamma _l\) to horocycles in the cusps of \(R^{{\scriptscriptstyle {\mathsf {F}}}}\) and, again by boundary coherence, match with the conformal mappings between the attached cylinders and the outer parts of the horocycles. We may thus extend \(\psi \) to a \((1+ 2\epsilon ^2)^2\)quasi conformal homeomorphism \(\psi : R^{{\scriptscriptstyle {\mathsf {G}}}} \rightarrow R^{{\scriptscriptstyle {\mathsf {F}}}}\) that acts conformally on the cylinders \( [0,\infty ) \times \gamma _i\). Furthermore the so extended \(\psi \) sends the orthogeodesics of the pairs of pants of the partition of \(R^{{\scriptscriptstyle {\mathsf {G}}}}\) to the orthogeodesics of the pairs of pants of the partition of \(R^{{\scriptscriptstyle {\mathsf {F}}}}\) and is thus marking preserving. \(\square \)
3 Harmonic forms on a cylinder
In this section we give decay and dampening down estimates for harmonic forms on the flat cylinder \(Z = ({}\infty ,{+}\infty ) \times {{\mathbb {S}}}_1\) (c.f. (2.9)), where \({{\mathbb {S}}}_1 = {{\mathbb {R}}}/{{\mathbb {Z}}}\).
We use (x, y) as coordinates for points in Z with \(x \in ({}\infty , {+}\infty )\) and \(y \in {{\mathbb {S}}}_1\), where y is treated as a real variable. Any real harmonic function h(x, y) on Z may be written as a series
(e.g. [1, p. 253]) via the conformal mapping \((x,y) \rightarrow \exp (2\pi (x+iy))\)). We decompose h(x, y) into
where \(h^{}\) is the first sum in (3.1) and \(h^{+}\) the second. We call \(a_0 + b_0 x\) the linear part of h and \(h^{{\scriptscriptstyle \mathsf {nl}}} = h^{}\!+h^{+}\) the nonlinear part . The differential of h is given by
with
Its pointwise squared norm is
Integrating \(\Vert d h(x,y) \Vert ^2\) over \({{\mathbb {S}}}_1\) we obtain
We now prove the following pointwise and \(L^2\)decay estimates that shall be used at various places. (“\(d \text {vol}\)” below is the volume element with respect to the flat metric of Z.)
Lemma 3.1
Assume \(l > 0\) and let \(Z_l\) be the subset \(Z_l = [l,l] \times {{\mathbb {S}}}_1\) of Z. For \(\delta _{{\mathsf {L}}}, \delta _{{\mathsf {R}}}\ge 0\) with \(\delta _{{\mathsf {L}}} + \delta _{{\mathsf {R}}} < 2l\), set
Then for any harmonic function h on \(Z_l\) with nonlinear part \(h^{}\!+h^{+}\) as in (3.1), (3.2) we have

(i)
\(E_{D_{int}}(d h^{}+d h^{+}) = E_{D_{int}}(d h^{}) + E_{D_{int}}(d h^{+})\).

(ii)
\(8\pi ^2 \int _{D_{int}}  h^{}^2 \, d \text {vol}\le E_{D_{int}}(d h^{}) \le e^{4\pi \delta _{{\mathsf {L}}}} E_{Z_l}(d h^{})\).

(iii)
\(8\pi ^2\int _{D_{int}}  h^{+}^2 \, d \text {vol}\le E_{D_{int}}(d h^{+}) \le e^{4\pi \delta _{{\mathsf {R}}}} E_{Z_l}(d h^{+})\).

(iv)
\(4\pi ^2 \int _{D_{int}} h^{{\scriptscriptstyle \mathsf {nl}}}^2 \, d \text {vol}\le E_{D_{int}}(d h^{{\scriptscriptstyle \mathsf {nl}}}) \le e^{4\pi \delta } E_{Z_l}(d h^{{\scriptscriptstyle \mathsf {nl}}})\), \(\delta {:}{=} \min \{\delta _{{\mathsf {L}}},\delta _{{\mathsf {R}}}\}\).

(v)
If \(l \ge 1\) and \(\delta _{{\mathsf {L}}} \ge \frac{1}{2}\) then, for any \((x,y) \in D_{int}\),

(vi)
If \(l \ge 1\) and \(\delta _{{\mathsf {R}}} \ge \frac{1}{2}\) then, for any \((x,y) \in D_{int}\),

(vii)
If \(l \ge 1\) and \(\delta {:}{=} \min \{\delta _{{\mathsf {L}}}, \delta _{{\mathsf {R}}}\} \ge \frac{1}{2}\), then for any \((x,y) \in D_{int}\),
Proof
Statement (i) is an immediate consequence of (3.3). Furthermore, (3.3) applied to \(h^{}\) and integration over \([l, l]\) yields
Similarly,
From this and observing that
we get the second inequality in (ii). Integrating \( h^{}(x,y)^2\) and \(\Vert d h^{}(x,y) \Vert ^2\) over \({{\mathbb {S}}}_1\) we obtain in a similar fashion as in (3.3):
which implies the first. Item (iii) is obtained in the same way. Combining (ii), (iii) and using that \((u+v)^2 \le 2(u^2+v^2)\) we get (iv). For item (v) we first have
and then estimate the sums for \(a_n\) and \(b_n\) individually, beginning with \(a_n\). Let, with a glance at (3.4),
With \(\alpha _n = \vert a_n \vert e^{2\pi n l}(n(1e^{8\pi n l}))^{\frac{1}{2}}\), the two terms may be written in the form
By the Cauchy–Schwarz inequality,
The second sum is further bounded above by
where the simplification of the right uses that \(l \ge 1\) and \(4\pi (x+l) \ge 4\pi \delta _{{\mathsf {L}}} \ge 2\pi \). Bringing everything together we get \(s_a^2 < \frac{1}{2}E_a e^{4\pi (x+l)}\). An analogous inequality holds for the \(b_n\). Using that \((u+v)^2 \le 2(u^2 + v^2)\) and recalling (3.4) we get the first inequality in (v). The proof of the second inequality is following the same scheme beginning with
The sum \(s_a\) is now replaced by \(t_a = 2\pi \sum _{n=1}^{\infty }n \vert a_n \vert e^{2\pi n x}\) , and instead of the above sum \(\sum _{n=1}^{\infty }\frac{1}{n}e^{4\pi n(x+l)}\) we now deal with \(\sum _{n=1}^{\infty }n e^{4\pi n(x+l)} = e^{4\pi (x+l)}(e^{4\pi (x+l)}1)^{2}\). The inequality \(s_a^2 < \frac{1}{2}E_a e^{4\pi (x+l)}\) is taken over by \(t_a^2 < 13 E_a e^{4\pi (x+l)}\) with its analog for the \(b_n\), and the result is
Hence, the second inequality. The proof of (vi) is the same. For the proof of (vii) one uses (v) and (vi) and the fact that \(E_{Z_l}(d h^{{\scriptscriptstyle \mathsf {nl}}}) = E_{Z_l}(d h^{}) + E_{Z_l}(d h^{+})\). \(\square \)
We also need the following orthogonality lemma, where \(Z^{\prime } = [x_0,x_1] \times {{\mathbb {S}}}_1\). The proof is similar to that of the first part of the preceding lemma and is omitted. The term “sufficiently strongly” means that the series and the term by term differentiated series are absolutely uniformly convergent.
Lemma 3.2
(Orthogonality lemma) Let \(H, {\tilde{H}} : Z^{\prime } \rightarrow {{\mathbb {R}}}\) be sufficiently strongly convergent series
and \(\omega \), \({\tilde{\omega }}\) on \(Z^{\prime }\) the forms
where \(b, {\tilde{b}} : [x_0,x_1] \rightarrow {{\mathbb {R}}}\) are continuous functions and \(c, {\tilde{c}} \in {{\mathbb {R}}}\) are constants. Then
Lemma 3.3
(First dampening down lemma) Let \(Z_l = [l,l] \times {{\mathbb {S}}}_1\) with subsets \(D_{{\mathsf {L}}}\), \(D_{int}\), \(D_{{\mathsf {R}}}\) be as in Lemma 3.1, \(h : Z_l \rightarrow {{\mathbb {R}}}\) with nonlinear part \(h^{{\scriptscriptstyle \mathsf {nl}}}=h^{}+h^{+}\) a harmonic function as in (3.2) and \(\omega \) the harmonic form
where \(b_0, c_0 \in {{\mathbb {R}}}\) are constants. Set \(\delta {:}{=} \min \{\delta _{{\mathsf {L}}}, \delta _{{\mathsf {R}}} \}\) and \(w = 2l (\delta _{{\mathsf {L}}}+\delta _{{\mathsf {R}}})\). In \(D_{int}\) we dampen down \(\omega \) to
where \(\chi : Z_l \rightarrow {{\mathbb {R}}}\) is the cut off function with the property that \(\chi = 1\) on \(D_{{\mathsf {L}}}\), \(\chi = 0\) on \(D_{{\mathsf {R}}}\) and \(\chi \) is a linear function of x on \(D_{int}\). Then for the three functions \(h^{\texttt {\#}}= h^{}, h^{+}, h^{{\scriptscriptstyle \mathsf {nl}}}\) we have

(i)
\(E_{D_{int}}(d(\chi \cdot h^{\texttt {\#}})) \le E_{D_{int}}(d h^{\texttt {\#}}) + \left( 1+\frac{1}{2 \pi ^2 w^2}\right) e^{4\pi \delta _{\texttt {\#}}}E_{Z_l}(d h^{\texttt {\#}})\),
where, respectively, \(\delta _{\texttt {\#}} = \delta _{{\mathsf {L}}}, \delta _{{\mathsf {R}}}, \delta \). The dampened down form \(\omega _{\chi }\) satisfies

(ii)
\(E_{D_{int}}(\omega _{\chi }) = E_{D_{int}}(b_0 d x + c_0 d y) + E_{D_{int}}(d(\chi \cdot h^{{\scriptscriptstyle \mathsf {nl}}}))\),

(iii)
\(E_{Z_l}(\omega _{\chi }) \le E_{Z_l}(\omega ) + \left( 1+\frac{1}{2 \pi ^2 w^2}\right) e^{4\pi \delta }E_{Z_l}(\omega )\).
Proof
Statement (ii) is an instance of Lemma 3.2. For the inequality in (i) we first have, pointwise,
Using that \((u+v)^2 \le 2(u^2 + v^2)\) we further get
Integrating over \(D_{int}\) we conclude the proof of (i) using Lemma 3.1. (For \(h^{\texttt {\#}} = h^{}, h^{+}\) we can actually replace \((1+ \frac{1}{2 \pi ^2 w^2})\) with \((1+ \frac{1}{4 \pi ^2 w^2})\), but this will not improve our later results). Statement (iii) is a consequence of the preceding ones. \(\square \)
The choice of \(\frac{1}{100}\) for w in the next lemma has been made so as to keep the increase of energy in the dampening down process small.
Lemma 3.4
(Second dampening down lemma) Let \(Z_l = [l,l] \times {{\mathbb {S}}}_1\) and \(h : Z_l \rightarrow {{\mathbb {R}}}\) be as in the first lemma, but now assume that \(l \ge 1\), \(\delta _{{\mathsf {L}}} = \frac{1}{2}\) and \(w = 2l  (\delta _{{\mathsf {L}}} + \delta _{{\mathsf {R}}}) =\frac{1}{100}\). In \(D_{int}\) we partially dampen down \(\omega \) to
where \(\chi : Z_l \rightarrow {{\mathbb {R}}}\) is the same cut off function as in Lemma 3.3. Then

(i)
\(E_{Z_l}(\omega _{\chi }^{+}) = E_{Z_l}(b_0 d x + c_0 d y) + E_{Z_l}(d h^{} + d(\chi \cdot h^{+}))\),

(ii)
\(E_{Z_l}(d h^{} + d(\chi \cdot h^{+})) \le E_{Z_l}(d h^{} + d h^{+}) + e^{8\pi l +5}E_{Z_l}(d h^{})\).
Proof
(i) is again an instance of Lemma 3.2. For the proof of (ii) we abbreviate
By Lemma 3.1 (v) and (vi) (applicable since \(l \ge 1\), \(\delta _{{\mathsf {L}}}=\frac{1}{2}\)) we have the following bounds for \((x,y) \in D_{int}\):
Furthermore, since \(\Vert d \chi (x,y) \Vert = \frac{1}{w}\) for \((x,y) \in D_{int}\) and \(\vert \chi (x)\vert \le 1\), the triangle inequality yields
Taking the squares and integrating over \(D_{int}\) we get, using (3.7),
with
Since \(E_{D_{int}}(d h^{}) = E_{D_{int}}(d h^{{\scriptscriptstyle \mathsf {nl}}})  E_{D_{int}}(d h^{+})\) and \(E_{D_{{\mathsf {R}}}}(d h^{{\scriptscriptstyle \mathsf {nl}}}) = E_{D_{{\mathsf {R}}}}(d h^{})+E_{D_{{\mathsf {R}}}}(d h^{+})\) we get
Now \(E_{Z_l {\smallsetminus }D_{{\mathsf {L}}}}(d h^{+})\) is close to \(E_{Z_l }(d h^{+})\) : By (3.3)
Introducing the lower bound \(\kappa \) in the following elementary inequality:
we get \(E_{Z_l {\smallsetminus }D_{{\mathsf {L}}}}(d h^{+}) \ge \kappa E_{Z_l }(d h^{+})\) and therefore \(E_{Z_l}(d {\hat{h}}) \le E_{Z_l}(d h^{{\scriptscriptstyle \mathsf {nl}}}) + \alpha \sqrt{E^{+}} + (\beta \kappa ) E^{+}\). We are now using that \(l \ge 1\), \(\delta _{{\mathsf {L}}} = \frac{1}{2}\), and \(w =\frac{1}{100}\). For these values, it is easily checked that \(\beta \) is close to 0 and \(\kappa \) is close to 1, and we have the rough but sufficient estimate \(\beta \kappa < \frac{3}{4}\). We get
Finally, for \(t \in [0,\infty )\) the function \(\alpha \sqrt{t}  \frac{3}{4}t\) has the upper bound \(\frac{1}{3}\alpha ^2\), and plugging in the values of w, \(\delta _{{\mathsf {L}}}\), \(\delta _{R}\) into \(\alpha \) (see (3.9)) we conclude the proof of (ii) by elementary simplification. \(\square \)
4 Separating case
The setting for this section is as follows. S is a compact hyperbolic Riemann surface of genus \(g \ge 2\) that contains a simple closed geodesic \(\gamma \) of length
separating S into two surfaces \(S_1\) and \(S_2\) of signatures \((g_1,1)\) and \((g_2,1)\), respectively (see Fig. 5). We let \(\left( {\alpha _i } \right) _{i = 1,\ldots ,2g}\) be a canonical homology basis of S, such that \((\alpha _1,..,\alpha _{2g_1}) \subset S_1\) and \((\alpha _{2g_1 +1},..,\alpha _{2(g_1+g_2)}) \subset S_2\) and let \(P_S\) be the Gram period matrix with respect to this basis. In the first part of this section we look at the energy distribution of harmonic forms that have zero periods on \(S_2\) respectively, \(S_1\). In the second part we make use of this to prove Theorem 4.3.
4.1 Concentration of the energies of harmonic forms
In the first part of the next theorem we prove point (a) of Theorem 1.1. We recall \(\mu (\gamma )\) from (1.3), for convenience,
Theorem 4.1
Let \(\sigma \in H^1(S,{{\mathbb {R}}})\) be a real harmonic 1form, such that \(\int _{[\alpha ]} \sigma =0\) for all \([\alpha ] \in H_1(S_2,{{\mathbb {Z}}})\). Then
Let, furthermore, \(\tau \in H^1(S,{{\mathbb {R}}})\) be a real harmonic 1form such that \(\int _{[\beta ]} \tau =0\) for all \([\beta ] \in H_1(S_1,{{\mathbb {Z}}})\). Then
Proof
We look at the decay of \(\sigma \) in the standard collar \(C=C(\gamma )\) of \(\gamma \) (shaded area in Fig. 5, see (2.1), (2.2) for the definition). To make use of the preceding section we shall map \(C(\gamma )\) conformally to a flat cylinder using the mapping \(\psi _{\gamma }\) as in (2.10) which we repeat here, for convenience.
and by (2.13)
We denote the inverse of \(\psi _{\gamma }\) by \(\phi _C\):
On C the form \(\sigma \) has only zero periods and can therefore be written as \(\sigma = d F\), with a harmonic function \(F:C \rightarrow {{\mathbb {R}}}\). Let \(h = F \circ \phi _C\) be the corresponding harmonic function on \(Z_M\). We decompose it into a sum
as in the preceding section, where \(h^{{\scriptscriptstyle \mathsf {nl}}}\) is the nonlinear part of h. The constant \(a_0\) may be arbitrarily chosen, we take \(a_0 = 0\). With \(w = \frac{1}{8}\) (a constant that has proved to be practical) we set \(\delta = Mw\) and dampen down h to H setting
where \(\chi \) is the cut off function as in Lemma 3.3 that goes linearly from 1 to 0 in the interval \([w,0]\). Setting \({\widetilde{D}} = [w,0] \times {{\mathbb {S}}}_1\) we obtain, by that lemma, clause (i), with \(l=M\), \(\delta _{{\mathsf {L}}} = Mw\), \(\delta _{{\mathsf {R}}} = M\), \(\delta _{\texttt {\#}} = \min \{\delta _{{\mathsf {L}}}, \delta _{{\mathsf {R}}} \} =: \delta \) and \(h^{\texttt {\#}} = h^{{\scriptscriptstyle \mathsf {nl}}}\),
In addition, we have used that by the Orthogonality Lemma 3.2 we have \(E_{{\widetilde{D}}}(dh^{{\scriptscriptstyle \mathsf {nl}}}) \le E_{{\widetilde{D}}}(dh)\) and \(E_{Z_M}(dh^{{\scriptscriptstyle \mathsf {nl}}}) \le E_{Z_M}(dh)\). An elementary calculation using that \(M(\ell (\gamma )) \ge \frac{\pi }{2\ell (\gamma )}\frac{1}{2}\) (see (4.3)) yields
Now we set
Since all periods of \(\sigma \) over cycles in \(S_2\) vanish the two forms are in the same cohomology class and so we have \(E_S(\sigma ) \le E_S(s)\) by the minimizing property of harmonic forms. On the other hand, using that \(\phi _C\) is conformal,
Furthermore, \(E_{Z_M}(d h) \le E_S(\sigma )\). Hence, altogether
This proves part (i) of Theorem 4.1. For part (ii) we first remark that \(s = \sigma + d G_{\sigma }\) for some piecewise smooth function \(G_{\sigma } : S \rightarrow {{\mathbb {R}}}\), given that \(\sigma \) and s are in the same cohomology class. By orthogonality and by Eq. (4.7) this function satisfies
Hence, \(E_S(d G_{\sigma }) \le \mu (\gamma )E_S(\sigma )\). Now consider \(\tau \). Repeating the procedure with the roles of \(S_1\), \(S_2\) reversed we get a dampened down form t that vanishes on \(S_1\) and can be written as \(t = \tau + d G_{\tau }\) with some function \(G_{\tau } : S \rightarrow {{\mathbb {R}}}\) satisfying \(E_S(d G_{\tau }) \le \mu (\gamma )E_S(\tau )\). Since t vanishes on \(S_1\) and s vanishes on \(S_2\) we have, again by orthogonality,
By Cauchy–Schwarz, \(\vert \int _S d G_{\sigma } \wedge \star d G_{\tau } \vert ^2 \le E_S(d G_{\sigma })E_S(d G_{\tau }) \le \mu (\gamma )^2 E_S(\sigma )E_S(\tau )\), and (ii) follows. \(\square \)
It is interesting to observe that for \(\sigma \) as in Theorem 4.1 almost all of the energy decay in the direction of \(S_2\) takes place in the collar \(C(\gamma )\): with \(\mu (\gamma )\) as in (4.2) we have the following which is part (b) of Theorem 1.1
Theorem 4.2
Let S with separating geodesic \(\gamma \) and \(\sigma \in H^1(S,{{\mathbb {R}}})\) with all periods over cycles in \(S_2\) vanishing be as in Theorem 4.1. Then
In particular, the upper bound for the energy of \(\sigma \) on \(S_2 {\smallsetminus }C(\gamma )\) is much smaller than that for \(\sigma \) on \(S_2\)
Proof
We take over the setting of the proof of Theorem 4.1. However, this time the constant \(a_0\) for the function h in (4.4) is chosen such that \(a_0  b_0 M = 0\), i.e. such that the linear part \(h^{{\scriptscriptstyle \mathsf {lin}}}(x) = a_0 + b_0 x\) vanishes at the left end of the cylinder \(Z_M\).
In a first step we take \(\delta ^{\prime }_{{\mathsf {L}}}=\frac{1}{2}\), \(w^{\prime } = \frac{1}{100}\) and partially dampen down dh as in Lemma 3.4 setting
where \(h^{} + h^{+} = h^{{\scriptscriptstyle \mathsf {nl}}}\) is the decomposition of the nonlinear part of h as in (3.1), (3.2), Lemma 3.4, and \(\chi ^{\prime }\) is the cut off function that goes linearly from 1 at \(x=M+\delta ^{\prime }_{{\mathsf {L}}}\) to 0 at \(x=M+\delta ^{\prime }_{{\mathsf {L}}} + w^{\prime }\). By Lemma 3.4 (applicable since by (4.3) \(M > 1\)),
In a second step we use Lemma 3.3 again, taking \(w^{\prime \prime } = \frac{1}{8}\), \(\delta ^{\prime \prime }_{{\mathsf {L}}} = 2M w^{\prime \prime }\), and further dampen down \(d H^{\prime }\) setting
where \(\chi ^{\prime \prime }\) is the cut off function that goes linearly from 1 at \(x=Mw^{\prime \prime }\) to 0 at \(x=M\). By Lemma 3.3, applied to \(h^{\texttt {\#}} = h^{}\),
We now go back to S letting \(s^{\prime \prime }\) be the test form that coincides with \(\sigma \) on \(S_1 {\smallsetminus }C(\gamma )\), is the pullback of \(d H^{\prime \prime }\) on \(C(\gamma )\) via \(\psi _{\gamma }\) and vanishes on \(S_2 {\smallsetminus }C(\gamma )\). Then \(E_S(s^{\prime \prime }) = E_{S_1 \smallsetminus C(\gamma )}(\sigma ) + E_{Z_M}(d H^{\prime \prime }) \le E_{S_1 \smallsetminus C(\gamma )}(\sigma ) + E_{Z_M}(d h^{}\!+d h^{+}) +e^{8\pi M+6}E_{Z_M}(d h^{})\) (simplifying the numerical constants). Now
This yields, altogether,
where M is from (4.3). The theorem now follows by elementary simplification. \(\square \)
We remark that, by (4.9), the linear part of \(\sigma \) contributes very little to the total energy of \(\sigma \) in \(C(\gamma )\).
For later use we also note that, by the inequalities preceding (4.9) (and using that by the Orthogonality Lemma 3.2\(E_{Z_M}(d h^{}+d h^{+}) \le E_{Z_M}(d h)\)) the test form \(s^{\prime \prime }\) satisfies, in particular,
4.2 Convergence of the Jacobians for separating geodesics
We now compare the Jacobian of S with the Jacobian of the limit surface on \(\partial {\mathcal {M}}_g\) obtained by either the Fenchel–Nielsen or the grafting construction. Figure 6 illustrates the first case for the part \(S_1\) with Fenchel–Nielsen limit \(S_1^{{\scriptscriptstyle {\mathsf {F}}}}\). The pair of pants, or Ypiece, \(Y_1\subset S_1\) with boundary geodesic \(\gamma \) and half collar \(C(\gamma )\) is quasi conformally embedded into the degenerated Ypiece \(Y_1^0\) with ideal boundary point q and cusp neighborhood V(q), similarly to the case illustrated in Fig. 3. The remaining parts of \(S_1\) and \(S_1^{{\scriptscriptstyle {\mathsf {F}}}}\) are isometric. The punctured surface \(S_1^{{\scriptscriptstyle {\mathsf {F}}}}\) and its compactification , understood as a Riemann surface in the conformal sense, have the same \(L^2\) harmonic forms. We denote by \(P_{S_1^{{\scriptscriptstyle {\mathsf {F}}}}}\) the Gram period matrix of with respect to the homology basis \(\alpha _1, \ldots , \alpha _{2g_1}\); the matrices \(P_{S_2^{{\scriptscriptstyle {\mathsf {F}}}}}\), \(P_{S_1^{{\scriptscriptstyle {\mathsf {G}}}}}\), \(P_{S_2^{{\scriptscriptstyle {\mathsf {G}}}}}\) are defined in the same way. We now prove Theorem 1.2 which we restate for convenience. The entries of the blocks are named \(r_{ij}\), those of \(\Omega \) and its transpose \(^{\mathrm{t}}\Omega \) are named \(\omega _{ij}\), and the numbering, disregarding the blocks, is \(i,j=1,\ldots , 2g\).
Theorem 4.3
Assume that the separating geodesic \(\gamma \) has length \(\ell (\gamma ) \le \frac{1}{2}\). Then
where stands for either \(\{\}^{{\scriptscriptstyle {\mathsf {F}}}}\) or \(\{\}^{{\scriptscriptstyle {\mathsf {G}}}}\) and the entries of the remainder matrices have the following bounds,

(i)
\(\vert \omega _{ij} \vert \le e^{2\pi ^2(\frac{1}{\ell (\gamma )}\frac{1}{2})} \sqrt{p_{ii}p_{jj}}\),

(ii)
\(\vert r_{ij}^{{\scriptscriptstyle {\mathsf {G}}}}\vert \le e^{4\pi ^2(\frac{1}{\ell (\gamma )}\frac{1}{2})} \sqrt{p_{ii}p_{jj}}\),

(iii)
\(\vert r_{ij}^{{\scriptscriptstyle {\mathsf {F}}}}\vert \le 6 \ell (\gamma )^2 \sqrt{p_{ii}p_{jj}}\).
Proof
Statement (i) is an instance of Theorem 4.1 (ii). For the proof of (ii) we take the part concerning \(P_{S_1^{{\scriptscriptstyle {\mathsf {G}}}}}\). For simplicity, we shall identify the collar \(C(\gamma )\) with the conformally equivalent \(Z_M = ({}M,M) \times {{\mathbb {S}}}_1\) (M is from (4.3)).
We use that the surface \(S^{\prime } = \text {closure of } S_1 \cup C(\gamma )\), seen as a conformal surface, may be understood as a subset of the grafted surface \(S_1^{{\scriptscriptstyle {\mathsf {G}}}}\) in a natural way: \(S^{\prime }\) is \(S_1\) with a copy of the flat cylinder \([0,M]\times {{\mathbb {S}}}_1\) attached along the boundary, and \(S_1^{{\scriptscriptstyle {\mathsf {G}}}}\) is \(S_1\) with a copy of \([0,\infty )\times {{\mathbb {S}}}_1\) attached. For simplicity we write \(S_1^{{\scriptscriptstyle {\mathsf {G}}}}={\tilde{S}}\).
Consider now a harmonic form \(\sigma \) on S with vanishing periods over the cycles of \(S_2\) and let \({\tilde{\sigma }}\) on \({\tilde{S}}\) be the harmonic form that has the same periods over \(\alpha _1, \ldots \alpha _{2g_1}\) as \(\sigma \). For later reference we write \({\tilde{\sigma }} = \Psi (\sigma )\).
We shall dampen down \(\sigma \) and \({\tilde{\sigma }}\) to test forms s and \({\tilde{s}}\) with supports on \(S^{\prime }\) and compare the energies. To obtain s we apply to \(\sigma \) the two step dampening down procedure used in the proof of Theorem 4.2. Thus, s is \(s^{\prime \prime }\) as in (4.10). By (4.10) it satisfies
To obtain \({\tilde{s}}\) we remark that \({\tilde{\sigma }}\) on \(Z_M\) has a representation \( {\tilde{\sigma }}= d h\), where we have \(h(x,y) = \sum _{n=1}^{\infty } (a_n\cos (ny) + b_n\sin (ny)) e^{nx}\), i.e. dh has vanishing linear and \(d h^{+}\) parts (owing to the fact that on the infinite cylinder \({\tilde{\sigma }}\) has finite energy). We now let \({\tilde{s}}\) be the test form on \({\tilde{S}}\) that coincides with \({\tilde{\sigma }}\) on \(S_1{\smallsetminus }C(\gamma )\), is represented on \(Z_M\) by \(d \chi \cdot h\) and vanishes on the rest. For \(\chi \) we take the cut off function that goes linearly from 1 at \(x=Mw\) to 0 at \(x=M\), with \(w = \frac{1}{8}\). By Lemma 3.3(i) applied to \(h^{\texttt {\#}} = h = h^{}\) with \(\delta ^{\texttt {\#}} = \delta _{{\mathsf {L}}}=2Mw\)
Now s, having its support on \(S^{\prime }\), may be extended by zero to \({\tilde{S}}\) and thus also be seen as a test form for \({\tilde{\sigma }}\) on \({\tilde{S}}\). Similarly, \({\tilde{s}}\) may be seen as a test form for \(\sigma \) on S. Hence, by (4.11) and (4.12)
Now, the above mapping \(\Psi \) that sends any harmonic \(\sigma \) on S with vanishing periods over the cycles of \(S_2\) to \({\tilde{\sigma }} = \Psi (\sigma )\) is a linear isomorphism of vector spaces. Therefore, by Lemma 4.4 below, for any \(i,j = 1, \ldots , 2g_1\),
and (ii) follows from (4.3) by elementary simplification.
For statement (iii) we use that by Theorem 2.3 there exists a quasiconformal homeomorphism \(\phi : S_1^{{\scriptscriptstyle {\mathsf {F}}}} \rightarrow S_1^{{\scriptscriptstyle {\mathsf {G}}}}\) of dilatation \(q_{\phi } \le (1+2\ell (\gamma )^2)^2\) that extends conformally to the compactified surfaces (with the notation of Theorem 2.3 our \(\phi \) here is \(\psi ^{1}\)). Using that \(\ell (\gamma ) \le \frac{1}{2}\) we simplify the bound on the dilatation to \(q_{\phi } \le 1+5 \ell (\gamma )^2\). By Lemma 4.5 below we have the following inequality for the harmonic forms \(\sigma ^{\prime }_i\), \(\sigma ^{\prime }_j\) in the cohomology classes of \(\phi ^{*}\sigma _i\), \(\phi ^{*}\sigma _j\),
Now \((\sigma ^{\prime }_1, \ldots , \sigma ^{\prime }_{2g_1})\) is our chosen dual basis of harmonic forms on \(S_1^{{\scriptscriptstyle {\mathsf {F}}}}\) whose scalar products \(\big \langle \sigma ^{\prime }_i,\sigma ^{\prime }_j \big \rangle \) are the entries of the Gram period matrix \(P_{S_1^{{\scriptscriptstyle {\mathsf {F}}}}}\), and \(({\tilde{\sigma }}_1, \ldots , {\tilde{\sigma }}_{2g_1})\) is the dual basis on \(S_1^{{\scriptscriptstyle {\mathsf {G}}}}\) with \(\big \langle {\tilde{\sigma }}_i,{\tilde{\sigma }}_j \big \rangle \) being the entries of \(P_{S_1^{{\scriptscriptstyle {\mathsf {G}}}}}\).
Together with (ii) this yields (iii) by elementary simplification. \(\square \)
Lemma 4.4
Let U, V be Euclidean vector spaces whose norms and scalar products we denote by \(\Vert \, \Vert \) and \(\big \langle , \big \rangle \), let \(\phi :U \rightarrow V\) be a linear mapping and let \(\varepsilon >0\). If \((1\varepsilon )\Vert u \Vert ^2 \le \Vert \phi (u) \Vert ^2 \le (1+\varepsilon ) \Vert u \Vert ^2\), for all \(u \in U\), then
Proof
We sketch the proof of this known fact, for convenience. The hypothesis and the conclusion are both scaling invariant so that we may assume that \(\Vert u \Vert = \Vert v \Vert =1\). Writing \(\phi (u) = u^{\prime }\) and \(\phi (v) = v^{\prime }\) we get, using the polarization identity,
In the same way one shows that \(\big \langle u^{\prime },v^{\prime } \big \rangle \ge \big \langle u,v \big \rangle  \varepsilon \). \(\square \)
As a corollary one has
Lemma 4.5
Let \(\phi : R^{\prime } \rightarrow R\) be a quasi conformal homeomorphism of compact Riemann surfaces, \(\omega , \eta \in H^1(R,{{\mathbb {R}}})\) and \(\omega ^{\prime }, \eta ^{\prime } \in H^1(R^{\prime },{{\mathbb {R}}})\) the harmonic forms in the cohomology classes of the induced forms \(\phi ^{*}\omega \), \(\phi ^{*}\eta \) on \(R^{\prime }\). If \(\phi \) has dilatation \(1 + \varepsilon \), then
Proof
Again we sketch the argument; for the analytic details we refer, e.g. to [17, proof of Theorem 2]. Let first \(\tau \) be any closed 1form on R. By the bound on the dilatation we have, pointwise,
where \(\Vert \ \Vert \) and \(d \text {vol}\) are the pointwise norms and volume elements on the respective surfaces. Integration yields \(E_{R^{\prime }}(\phi ^{*} \tau ) \le (1+\varepsilon )E_R(\tau )\). If now \(\tau \) is harmonic, and \(\tau ^{\prime }\) the harmonic form in the cohomology class of \(\phi ^{*} \tau \) then, by the minimizing property of harmonic forms, \(E_{R^{\prime }}(\tau ^{\prime }) \le (1+\varepsilon )E_R(\tau )\). Repeating these arguments for \(\phi ^{1}:R \rightarrow R^{\prime }\) we get altogether (for harmonic \(\tau \) and \(\tau ^{\prime }\)),
The inequality for the scalar product now follows from Lemma 4.4\(\square \)
5 The forms \(\pmb {\sigma _1}\) and \(\pmb {\tau _1}\)
Here begins the second part of the paper. In all that follows S is a compact hyperbolic Riemann surface of genus \(g \ge 2\) and \(\gamma \) is a nonseparating simple closed geodesic on S. In addition, a geodesic canonical homology basis \({\mathrm{A}} = (\alpha _1, \alpha _{2},\ldots ,\alpha _{2g1},\alpha _{2g})\) is given, with the intersection convention that, as in Sect. 1, \(\alpha _{2k1}\) intersects \(\alpha _{2k}\), \(k=1,\ldots ,g\). Furthermore, \(\alpha _2\) coincides with \(\gamma \).
When, in a limit process, \(\gamma \) becomes short, then the first two members \(\sigma _1\), \(\sigma _2\) of the dual basis of harmonic forms become more and more singular, while the other members are hardly affected. In this section we analyze \(\sigma _1\), beginning with energy bounds in terms of a certain conformal capacity which too varies only little when \(\ell (\gamma ) \rightarrow 0\).
5.1 The capacity of \(\pmb {S^{\times }}\)
We denote by \(S^{\times }\) the surface S cut open along the nonseparating geodesic \(\gamma \). The capacity of \(S^{\times }\), more generally the capacity \({{\,\mathrm{cap}\,}}(M)\) of any connected surface M with two disjoint boundary components \(\partial _1\), \(\partial _2\) is defined as the infimum
where the competing functions f are piecewise smooth. We shall estimate \({{\,\mathrm{cap}\,}}(S^{\times })\) when \(\gamma \) becomes small while all other Fenchel–Nielsen parameters of S are kept fixed. For this we look at a suitable subset \(\mathfrak {M}\) of \(S^{\times }\) whose capacity remains bounded under such a deformation. We shall define it as follows (see also Sect. 1, Fig. 2).
Let \(\gamma _1, \gamma _2\) be the two boundary geodesics of \(S^{\times }\). For \(i=1,2\) we have the half collars \(C(\gamma _i)\) consisting of the points at distance \(< {{\,\mathrm{cl}\,}}(\ell (\gamma ))\) from \(\gamma _i\) (see (2.2)). The larger boundary, \(b_i\), of \(C(\gamma _i)\) is a parallel curve of length \(\ge 2\), and we let \(c_i\) in \(C(\gamma _i)\) be the parallel curve that has length \(\ell (c_i) = 1\). It splits \(C(\gamma _i)\) into two ring domains: \(C_i\) from \(\gamma _i\) to \(c_i\) and \(B_i\) from \(c_i\) to \(b_i\). In what follows we shall understand \(C_i\) and \(B_i\) to be the closures of these domains. The subsurface \(\mathfrak {M}\) is obtained by cutting a way the parts \(C_1, C_2\) and taking the closure:
In Sect. 7.2 we shall define \(\mathfrak {M}\) in a similar way for a Riemann surface with a pair of cusps. We set
Then \([0,\Gamma ] \times {{\mathbb {S}}}_1\) is the cylinder that has the same capacity as \(\mathfrak {M}\). We shall call \(\mathfrak {M}\) the main part of S.
To compare this with the capacity of \(S^{\times }\) we look at the lengths of the half collars. The conformal mapping \(\psi _{\gamma }\) as in (2.10), with \(F_{\gamma }\) as in (2.11) sends the closure of \(C(\gamma _1)\) onto the flat cylinder \([0,F_{\gamma }({{\,\mathrm{cl}\,}}(\ell (\gamma )))]\times {{\mathbb {S}}}_1\). The parts \(C_1, B_1\) go to the parts
respectively. Observe the notation: the quantity \(\frac{1}{2}L_{\gamma }+d_{\gamma }\) we are using here is the same as \(M(\ell (\gamma ))\) in (2.13). From this equation it follows by elementary computation that
and the inequality holds under the assumption that \(\ell (\gamma ) \le \frac{1}{2}\). For \(C_2,B_2\) we have the same properties. Since \(B_1, B_2\) are disjoint subsets of \(\mathfrak {M}\) that are conformally equivalent to \([0,d_{\gamma }]\times {{\mathbb {S}}}_1\) it follows immediately that
However, the lower bounds of \({{\,\mathrm{cap}\,}}(\mathfrak {M})\) (e.g. Sect. 6) are more important.
From a conformal point of view, \(S^{\times }\) is \(\mathfrak {M}\) with two copies of \([0,L_{\gamma }/2]\times {{\mathbb {S}}}_1\) attached along \(c_1, c_2\). In the following, \(S_L^{\times }\) is \(\mathfrak {M}\) with two copies \(Z_1, Z_2\) of \([0,L/2]\times {{\mathbb {S}}}_1\) attached, for some arbitrary \(L > 0\).
Lemma 5.1
There exists a universal constant \(\mathfrak {z} < 2.3\) such that for any \(L>0\)
Proof
The upper bound is obtained out of the test function F that grows linearly from 0 to \(\frac{L/2}{L+\Gamma }\) on \(Z_1\), linearly from \(1\frac{L/2}{L+\Gamma }\) to 1 in \(Z_2\), and is harmonic with boundary values \(\frac{L/2}{L+\Gamma }, 1\frac{L/2}{L+\Gamma }\) on \(\mathfrak {M}\).
For the lower bound we let f be the harmonic function that is constant equal to 0 on the left boundary of \(S_L^{\times }\) and constant equal to 1 on the right boundary. For the harmonic 1form \(\omega = d f\) we then have
With constants \(a, b \in {{\mathbb {R}}}\) (to be dealt with at the end) we have the decomposition of f into its linear and nonlinear parts
on \(Z_1\) and
on \(Z_2\). (For either cylinder we adopt the convention that \(x \in [0, L/2]\) and the constant terms are deduced from the fact that the nonlinear parts have mean values \(\int _0^1 h_i(x,y)d y =0\).). We remark that (5.7) and (5.8) also hold on the adjacent ring domains \(\psi _{\gamma }(B_1)=[L/2,L/2+d_{\gamma }]\times {{\mathbb {S}}}_1\) and \(\psi _{\gamma }(B_2) = [d_{\gamma },0]\times {{\mathbb {S}}}_1\). Based on this we construct a form that serves as test form on \(\mathfrak {M}\) by dampening down the nonlinear parts of f as follows. First on \(Z_1 \cup B_1\): using the function \(\chi \) that is 0 on \([0,L/2]\times {{\mathbb {S}}}_1\) and then grows linearly from 0 to 1 on \([L/2, L/2 + d_{\gamma }] \times {{\mathbb {S}}}_1\) we set
on \(Z_1 \cup B_1\). We proceed similarly on \(B_2 \cup Z_2\) and complete the definition setting \(f_{\chi }=f\) on \(\mathfrak {M} {\smallsetminus }(B_1 \cup B_2)\). Now \(f_{\chi }\) is a test function on \(\mathfrak {M}\) that assumes the constant value aL/2 on the boundary component \(c_1\) of \(\mathfrak {M}\) and \(1b L/2\) on \(c_2\). The energy of the harmonic function that is constant r on one boundary and constant \(r+s\) on the other boundary of \(\mathfrak {M}\) can be obtained by rescaling the function that satisfies the capacity problem and is equal to \(s^2 \cdot {{\,\mathrm{cap}\,}}( \mathfrak {M})\). For \(\omega _{\chi }=d f_{\chi }\) we have therefore
By the Dampening Down Lemma 3.3 (i) (with \(\delta = 0\) and \(D_{int} = Z_l= [0, d_{\gamma }] \times {{\mathbb {S}}}_1\) conformally equivalent to \(B_i\)) we get \(E_{B_i}(\omega _{\chi })\le \mathfrak {z}E_{B_i}(\omega )\), \(i=1,2\), with \(\mathfrak {z} = 2 + 2 \pi ^{2}\). Hence,
By the Orthogonality Lemma 3.2 we further have
Bringing (5.9)–(5.11) together we obtain
Now, a and b are not known. We therefore replace the right hand side of (5.12) by the infimum over all real values of a, b. This infimum is readily seen to be achieved for \(a = b = 1/(L+ \mathfrak {z}\Gamma )\), and the corresponding value of the right hand side of (5.12), somewhat accidentally, also equals \(1/(L+ \mathfrak {z}\Gamma )\). This completes the proof. \(\square \)
If we paste the two boundary geodesics of \(S_L^{\times }\) together, with respect to some arbitrary twisting parameter, then for the resulting surface \(S_L\) we have an analogous result. To make this precise we assume that \(\alpha _1, \ldots , \alpha _{2g}\) and \(\sigma _1, \ldots , \sigma _{2g}\) have the same meanings for \(S_L\) as for S, and that \(\alpha _2\) is the curve along which the two boundary curves of \(S^{\times }\) have been pasted together. We shall, however, write \(\sigma _1 = \sigma _{1,L}\) to indicate that the form is defined on \(S_L\).
Lemma 5.2
There exists a universal constant \(\mathfrak {z} < 2.3\) such that for any \(L>0\)
Proof
The proof is identical to the preceding one, owing to the fact that \(\sigma _{1,L}\) has a primitive \(f_L\) on \(S_L^{\times }\). We fix its additive constant such that \(f_L\) has mean value 0 on the left boundary of \(S_L^{\times }\) and mean value 1 on the right. The splitting into linear and nonlinear parts is then again \(f_L(x,y) = a x + h_1(x,y)\) on \(Z_1 \cup B_1\), \(f_L(x,y) = b x + 1b L/2 + h_2(x,y)\) on \(B_2 \cup Z_2\) and the earlier arguments go through. \(\square \)
5.2 The form \(\pmb {\tau _1}\)
When \(\ell (\gamma ) \rightarrow 0\) or when \(L\rightarrow \infty \) the energy of \(\sigma _1\) goes to 0, and \(\sigma _1\) disappears in the limit. We introduce therefore a renormalized form that “survives”. To this end we let \(\tau _1\) be \(\sigma _1\) multiplied with a constant factor such that \(\tau _1\) on the collar \(C(\gamma )\) has a representation
i.e. \(\tau _1\) is normalized so that the linear part of its representations on the flat cylinders \(Z_1 \cup B_1\) and \(Z_2 \cup B_2\) is equal to dx.
The form \(\tau _1\) is defined similarly on any \(S_L\) and is then written \(\tau _{1,L}\). We observe that, by Theorem 5.3 below, \(\tau _{1,L}\) depends only on the conformal class of \(S_L\) and not the particular description we are using here.
We shall show in Sect. 7.1, Theorem 7.3 that as \(L \rightarrow \infty \), \(\tau _{1,L}\) converges, locally uniformly, to the unique harmonic form \(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}}\) on \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) that has zero periods and poles with linear parts dx in the cusps.
As \(L\rightarrow \infty \) the energy of \(\tau _{1,L}\) and the absolute value of its period over \(\alpha _1\) go to infinity. This is caused by the linear part in the cylinder. We introduce therefore an essential energy \({\mathscr {E}}(\tau _{1,L})\) and an essential period \({\mathscr {P}}_1(\tau _{1,L})\) setting
where C is the inserted cylinder conformally equivalent to and identified with \([0,L] \times {{\mathbb {S}}}_1\) and for any harmonic form \(\omega \) on C, \(\omega ^{{\scriptscriptstyle \mathsf {nl}}}\) denotes its nonlinear part.
We first make the following observation concerning \(\sigma _1\).
Theorem 5.3
For \(\sigma _{1,L}\) on \(S_L\) the linear part in the cylinders is \(\alpha d x\) with \(\alpha = E_{S_L}(\sigma _{1,L})\).
Proof
By a well known formula for the period matrix (e.g. [11, III.2.4]) we have
The linear part of \(\star \sigma _{1,L}\) is \(\alpha d y\). Hence, the integral on the right hand side equals \(\alpha \) and the theorem follows. \(\square \)
Since \(\tau _{1,L}=\frac{1}{\alpha }\sigma _{1,L}\) an immediate consequence is that
By additivity the period of \(\tau _{1,L}\) over \(\alpha _1\) is the sum of \({\mathscr {P}}_1(\tau _{1,L})\) and L. On the other hand, \(\tau _{1,L}\) has period \(\frac{1}{\alpha }\). Hence,
By the Orthogonality Lemma
from which it follows that 5.18
This allows us, among other things, to write
Combining (5.17) with Lemma 5.2 we get the following.
Lemma 5.4
The essential energy of \(\tau _{1,L}\) on \(S_L\) has the following bounds, where \(\Gamma = 1/{{\,\mathrm{cap}\,}}(\mathfrak {M})\) and \(\mathfrak {z} \le 2.3\) is the constant as in Lemmas 5.1, 5.2
\(\square \)
In Sect. 7 we shall compare \({\mathscr {E}}(\tau _{1,L})\) with the corresponding essential energy of the harmonic form \(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}}\) on the limit surface \(S^{{\scriptscriptstyle {\mathsf {G}}}}\). For this we prove here the following preparatory lemma.
Lemma 5.5
Assume \(L \ge 1\). Then, for any \({\tilde{L}} \ge L\) we have
Proof
The technique is to begin with the forms \(\sigma _{1,L}\) on \(S_L\) and \(\sigma _{1,{\tilde{L}}}\) on \(S_{{\tilde{L}}}\) which both have period 1 over the first base cycle, then dampen their nonlinear parts down so as to obtain comparison test forms and finally translate the result to \(\tau _{1,L}\) and \(\tau _{1,{\tilde{L}}}\) using (5.17).
In the flat cylinder \(Z = [\frac{1}{2}(L+1),\frac{1}{2}(L+1)] \times {{\mathbb {S}}}_1\) the form \(\sigma _{1,L}\) has a representation \(\sigma _{1,L} = d H = \alpha d x + d h\), where h is the nonlinear part of H. With a constant \(v \le \frac{1}{2}(L+1)\) to be determined later (we shall take \(v=\frac{1}{8}\)) we set
and let \(\chi \) be the cut off function in Z that is equal to 1 outside of the part \(D_{\text {int}}\), goes linearly down from 1 to 0 on \([v,0] \times {{\mathbb {S}}}_1\) and then linearly up again from 0 to 1 on \([0,v] \times {{\mathbb {S}}}_1\). We let \(\sigma _{1,\chi }\) be the form that coincides with \(\sigma _{1,L}\) outside of \(D_{\text {int}}\) and inside has the representation \(\sigma _{1,\chi } = \alpha d x + d (\chi h)\). Its period over the first base cycle is again equal to 1. By Lemma 3.3 (iii) applied twice (with \(w = v\) and \(\delta = d\)) its energy satisfies
Here \(E(\sigma _{1,L})\alpha ^2(L+1)\) is an upper bound for the energy of the nonlinear part of \(\sigma _{1,L}\) in Z. Abbreviating
and recalling that \(E(\sigma _{1,L})=\alpha \) we rewrite the inequality in the form
In a similar way, on \({\tilde{Z}} = [\frac{1}{2}({\tilde{L}}+1),\frac{1}{2}({\tilde{L}}+1)] \times {{\mathbb {S}}}_1\) the form \(\sigma _{1,{\tilde{L}}}\) has a representation \(\sigma _{1,{\tilde{L}}} = d {\tilde{H}} = {\tilde{\alpha }} d x + d {\tilde{h}}\), where \({\tilde{h}}\) is the nonlinear part of \({\tilde{H}}\). Here we set
and let \({\tilde{\chi }}\) be the cut off function on \({\tilde{Z}}\) that is equal to 1 outside of \({\tilde{D}}_{\text {int}}\), goes linearly down from 1 to 0 for \(x \in [\tfrac{1}{2}({\tilde{L}}+1)+ d, \tfrac{1}{2}({\tilde{L}}+1)+ d+v]\), remains 0 until \(x= \tfrac{1}{2}({\tilde{L}}+1) d v\) and then goes linearly up again from 0 to 1 for \(x \in [\tfrac{1}{2}({\tilde{L}}+1) d v,\tfrac{1}{2}({\tilde{L}}+1) d]\). We let \(\sigma _{1,{\tilde{\chi }}}\) be the form that coincides with \(\sigma _{1,{\tilde{L}}}\) outside of \({\tilde{D}}_{\text {int}}\) and inside has the representation \(\sigma _{1,{\tilde{\chi }}} = {\tilde{\alpha }}d x + d({\tilde{\chi }} {\tilde{h}})\). Its period over the first base cycle is 1. In the same way as before we have the inequality
On the part \(D=[\frac{1}{2}({\tilde{L}}L),\frac{1}{2}({\tilde{L}}L)] \times {{\mathbb {S}}}_1\) of \({\tilde{Z}}\) the form \(\sigma _{1,{\tilde{\chi }}}\) coincides with \({\tilde{\alpha }} d x\). Therefore, if \(\sigma _{1,{\tilde{\chi }}}^{\scriptscriptstyle \leftarrow }\) is the restriction of \(\sigma _{1,{\tilde{\chi }}}\) to \(S_{{\tilde{L}}} {\smallsetminus } D\) and if we identify \(S_{{\tilde{L}}} {\smallsetminus } D\) with \(S_L\) (by gluing the ends of \(S_{{\tilde{L}}} {\smallsetminus } D\) together with the same twist), then \(\sigma _{1,{\tilde{\chi }}}^{\scriptscriptstyle \leftarrow }\) becomes a test form on \(S_L\) with period over the first base cycle equal to \(1{\tilde{\alpha }}({\tilde{L}}L)\) and energy
In a converse way we may cut open Z in the middle, insert D and extend \(\sigma _{1,\chi }\) to a test form \(\sigma _{1,\chi }^{\scriptscriptstyle \rightarrow }\) on \(S_{{\tilde{L}}}\) by defining it to be equal to \(\alpha d x\) on D. Then \(\sigma _{1,\chi }^{\scriptscriptstyle \rightarrow }\) has period \(1 + \alpha ({\tilde{L}}L)\) over the first base cycle and its energy is
To get comparison forms with periods 1 we set, abbreviating \({\bar{L}}={\tilde{L}}L\),
We now have \(\alpha = E(\sigma _{1,L}) \le E(s_{1,{\tilde{\chi }}}^{\scriptscriptstyle \leftarrow }) =(1{\tilde{\alpha }}{\bar{L}})^{2}E(\sigma _{1,{\tilde{\chi }}}^{\scriptscriptstyle \leftarrow })\) and \({\tilde{\alpha }} = E(\sigma _{1,{\tilde{L}}}) \le E(s_{1,\chi }^{\scriptscriptstyle \rightarrow }) = (1+\alpha {\bar{L}})^{2}E(\sigma _{1,\chi }^{\scriptscriptstyle \rightarrow })\). From the earlier relations we get
We are ready to estimate the difference \(\Delta = {\mathscr {E}}(\tau _{1,{\tilde{L}}})  {\mathscr {E}}(\tau _{1,L})\). By (5.17), \(\Delta =\frac{1}{{\tilde{\alpha }}}\frac{1}{\alpha }{\bar{L}}\), and the above inequalities yield
By (5.17) and the definition of m and \({\tilde{m}}\) we have \(\frac{m}{\alpha } \le \frac{\mu }{\alpha }(1  \alpha L) = \mu {\mathscr {E}}(\tau _{1,L})\), \(\frac{{\tilde{m}}}{{\tilde{\alpha }}} \le \frac{\mu }{{\tilde{\alpha }}}(1  {\tilde{\alpha }} {\tilde{L}}) = \mu {\mathscr {E}}(\tau _{1,{\tilde{L}}})\). This yields, anticipating on the right hand side that \(\mu < 1\),
The value of \(\mu \) depends on the choice of v and is close to its minimum for \(v = 1/8\) for which case we have the upper bound \(\mu \le \exp (2\pi L2)\) and the lemma follows. \(\square \)
In the next lemma we estimate the variation of the essential energy of \(\tau _1\) under quasiconformal mappings. It will be used in Sect. 7 to compare \({\mathscr {E}}(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}})\) with \({\mathscr {E}}(\tau _1^{{\scriptscriptstyle {\mathsf {F}}}})\). We prove the lemma for the following situation. The mapping \(\phi : R^{\prime } \rightarrow R\) is a \((1+\varepsilon )\)quasi conformal homeomorphism between compact hyperbolic surfaces of genus g. On \(R^{\prime }\) and R nonseparating simple closed geodesics \(\gamma ^{\prime }\), \(\gamma \) of lengths \(\ell (\gamma ^{\prime }) = \ell (\gamma )\) are given and \(\phi \) maps the standard collar \(C(\gamma ^{\prime })\) conformally (and, hence, isometrically) to \(C(\gamma )\). We denote by \(\sigma _1\), \(\sigma ^{\prime }_1\) the first elements of the dual bases corresponding to homology bases on R, \(R^{\prime }\) that have as second member \(\alpha _2 = \gamma \), \(\alpha _2^{\prime } = \gamma ^{\prime }\), and \(\tau _1\), \(\tau ^{\prime }_1\) are the renormalizations of \(\sigma _1\), \(\sigma _1^{\prime }\) whose linear parts in the collars are equal to dx.
Lemma 5.6
Under the above conditions for the compact Riemann surfaces R, \(R^{\prime }\) we have
Proof
We let \(\mathfrak {M} \subset R\), \(\mathfrak {M}^{\prime } \subset R^{\prime }\) be the main parts with respect to the cylinders \(C(\gamma )\), \(C(\gamma ^{\prime })\) as in (5.2). By Lemma 5.3 the linear parts of \(\sigma _1\) and \(\sigma ^{\prime }_1\) in the collars are \(\alpha d x\) and \(\alpha ^{\prime } d x\) respectively, with \(\alpha = E_R(\sigma _1)\) and \(\alpha ^{\prime } = E_{R^{\prime }}(\sigma ^{\prime }_1)\). Now \(\phi ^{*} \sigma _1\) is in the cohomology class of \(\sigma ^{\prime }_1\) and therefore \(\alpha ^{\prime } \le E_{R^{\prime }}(\phi ^{*} \sigma _1)\). Since \(\phi \) is \((1+\varepsilon )\)quasi conformal on \(\mathfrak {M}^{\prime }\) and conformal on \(R^{\prime } {\smallsetminus } \mathfrak {M}^{\prime }\) we get
(using that pointwise, as in (4.14), \(\Vert (\phi ^{*} \sigma _1)(p)\Vert ^2 \, d \text {vol}(R^{\prime }) \le (1+\varepsilon )\Vert \sigma _1(\phi (p)) \Vert ^2\, \phi ^{*}(d \text {vol}(R))\)) for \(p \in \mathfrak {M}^{\prime }\)). By the Orthogonality Lemma
It follows that
Using that the essential energies are given by \({\mathscr {E}}(\tau _1) = \frac{1}{\alpha } L\) and \({\mathscr {E}}(\tau ^{\prime }_1) = \frac{1}{\alpha ^{\prime }} L\) (5.17) we get
Hence, \((1\varepsilon ) {\mathscr {E}}(\tau _1) \le {\mathscr {E}}(\tau ^{\prime }_1)\). Applying this result to \(\phi ^{1}\) we have, in the same way, \((1\varepsilon ) {\mathscr {E}}(\tau ^{\prime }_1) \le {\mathscr {E}}(\tau _1)\). The two inequalities together yield Lemma 5.6. \(\square \)
5.3 Bounds for cap(\(\mathfrak {M}\)) and \(\pmb {\Gamma }\)
The estimates in Lemmas 5.2, 5.4, 5.5 and 5.6 are in terms of \(\Gamma = 1/{{\,\mathrm{cap}\,}}(\mathfrak {M})\) which is an analytic constant. We further estimate \({{\,\mathrm{cap}\,}}(\mathfrak {M})\) geometrically using the following quantities: \(d_{\mathfrak {M}}\) is the distance between the two boundary components and \(\rho _{\mathfrak {M}} {:}{=} \frac{1}{4}\min \{1, {{\,\mathrm{sys}\,}}(\mathfrak {M})\}\), where \({{\,\mathrm{sys}\,}}(\mathfrak {M})\) is the systole, i.e. the length of the shortest closed geodesic on \(\mathfrak {M}\). With these constants we have the following rough upper and lower bounds for the capacity:
Theorem 5.7
Proof
The inequality \(\frac{1}{\Gamma } \le 1\) is given in (5.5). For the second inequality we follow the lines of [18] where a stronger result is proved.
For the lower bound we consider the harmonic function h on \(\mathfrak {M}\) that realizes the boundary conditions \(h\vert _{c_1} = 0\), \(h\vert _{c_2} = 1\) and restrict it to the ribbon \(W=\{p \in \mathfrak {M} \mid {{\,\mathrm {dist}\,}}(p,A) \le \rho _{\mathfrak {M}}\}\), where A is the shortest geodesic from \(c_1\) to \(c_2\). This geodesic has length \(d_{\mathfrak {M}}\) and is orthogonal to the boundary at the endpoints. By the size of \(\rho _{\mathfrak {M}}\) the geodesic arcs of length \(\rho _{\mathfrak {M}}\) emanating orthogonally from A are pairwise disjoint. This follows by the lines of the proof of the main theorem in [6], where a corresponding result is shown for the diameter of a Riemann surface. Introducing Fermi coordinates for W based on A we get therefore a coordinate description of W that makes it isometric to the set
endowed with the Riemannian metric \(d s^2 = \cosh ^2(y)d x^2 + d y^2\). This is true except for a negligible difference at the left and right end of \(W^{\prime }\) which will not affect our rough estimates. Now \(W^{\prime }\) in turn is conformally equivalent to the flat strip (with the standard Euclidean metric) \(W^{\prime \prime } = \{(x,y) \in {{\mathbb {R}}}^2 \mid 0 \le x \le d_{\mathfrak {M}}, \rho ^{\prime \prime } \le y \le \rho ^{\prime \prime } \}\), where \(\rho ^{\prime \prime } = 2\arctan \left( \tanh \frac{1}{2} \rho _{\mathfrak {M}}\right) \) (use (2.11) with \(\ell (\gamma )\) replaced by 1). Identifying W with \(W^{\prime \prime }\) we can now write
For the upper bound we take the test function \(f = \frac{1}{d_{\mathfrak {M}}}F\) on \(\mathfrak {M}\), where F is defined by the condition \(F(p) = {{\,\mathrm{dist}\,}}(p,c_1)\) if \(d(p,c_1) \le \frac{1}{2}d_{\mathfrak {M}}\), \(F(p) = d_{\mathfrak {M}}{{\,\mathrm{dist}\,}}(p,c_2)\) if \(d(p,c_2) \le \frac{1}{2}d_{\mathfrak {M}}\) and \(F(p) = \frac{1}{2}d_{\mathfrak {M}}\) in the remaining cases. Now \(\Vert d F\Vert \le 1\), \(\Vert d f \Vert \le \frac{1}{d_{\mathfrak {M}}}\) and \({{\,\mathrm{cap}\,}}(\mathfrak {M}) \le \int _{\mathfrak {M}}\Vert d f \Vert ^2\, d \text {vol}\le {{\,\mathrm{area}\,}}(\mathfrak {M})d_{\mathfrak {M}}^{2}=4\pi (g1)d_{\mathfrak {M}}^{2}\). \(\square \)
6 Relaxed dual basis
As pointed out in Sect. 1 two difficulties arise in the nonseparating case: the homology changes in the limit and the normalization condition \(\int _{\alpha _1}\sigma _j = 0\), for \(j=2,\ldots ,2g\) disappears. In this section we deal with the second problem by introducing a weaker concept of dual basis of harmonic forms \(\sigma _1, \tau _2, \tau _3, \ldots , \tau _{2g}\), where the \(\tau _j\) have the same periods as the \(\sigma _j\). However, the condition \(\int _{\alpha _1} \tau _j=0\) is dropped and replaced by the condition that the energy of these forms is minimal. This allows us to compare the energy of elements in a dual basis on S with the energy of elements of the relaxed basis on the limit surface. The harmonic forms of this basis have some nice properties that are interesting by themselves. In Sect. 7 we use them to prove Theorems 1.3 and 1.4.
6.1 The forms \(\pmb {\tau _j}\) for \(j=2, \ldots , 2g\)
Let again S be a compact Riemann surface of genus \(g\ge 2\), \(\gamma \) a nonseparating simple closed geodesic on S, \(\alpha _1, \ldots , \alpha _{2g}\) a canonical homology basis with \(\alpha _2 = \gamma \) enumerated such that \(\alpha _{2j1}\) intersects \(\alpha _{2j}\), \(j=1,\ldots ,g\), and \(\sigma _1, \ldots , \sigma _{2g}\) the dual basis of harmonic 1forms. As earlier we extend these notions to any surface in the family \(\big (S_L)_{L>0}\), write, however, most of the time \(\sigma _i\) instead of \(\sigma _{i,L}\), \(i=1,\ldots , 2g\), and similarly for \(\tau _1\) and the forms \(\tau _j\) introduced next.
We introduce the modified basis \(\sigma _1, \tau _2, \tau _3, \ldots , \tau _{2g}\) on \(S_L\) by the following stipulations, for \(j = 2, \ldots , 2g\):

(a)
\(\int \nolimits _{\alpha _i} \tau _j = \delta _{ij}\), \(i = 2, \ldots , 2g\);

(b)
\(\tau _j\) is the harmonic form with the minimal energy that satisfies (a).
We call \((\sigma _1, \tau _2, \ldots , \tau _{2g})\) the relaxed dual basis. (An alternative is to view \((\tau _1, \tau _2, \ldots , \tau _{2g})\) as the relaxed dual basis despite the fact that \(\tau _1\) does not have period 1).
It is easy to see that \(\tau _j\) is also an energy minimizer among all closed 1forms that satisfy (a) We introduce the periods
Again, if it is clear from the context we will use \(\kappa _j\) instead of \(\kappa _{j,L}\), \(j=2,\ldots , 2g\). By (a) and because \(\sigma _1, \ldots , \sigma _{2g}\) is a dual basis we then have
Lemma 6.1
For \(j=2,\ldots ,2g\) we have
Proof
If \(\omega \) is a harmonic 1form on S that, for given j, satisfies the condition \(\int _{\alpha _i} \omega = \delta _{ij}\), for \(i = 2, \ldots , 2g\), then \(\omega = \sigma _j + t \sigma _1\), for some \(t \in {{\mathbb {R}}}\). The function \(f(t) = E(\sigma _j + t \sigma _1) = E(\sigma _j) + 2t \big \langle \sigma _j,\sigma _1 \big \rangle + t^2 E(\sigma _1)\) has a unique minimum at \(t_0 = \big \langle \sigma _j,\sigma _1 \big \rangle /E(\sigma _1)\). Hence,
and the lemma follows. \(\square \)
Taking in (6.2) the scalar product with \(\sigma _1\) we now get
For the next lemma we consider an annular neighborhood \({\mathscr {C}}\) of \(\gamma \) (\({\mathscr {C}}\) need not be a distance neighborhood) and a conformal mapping \(\psi \) that sends \({\mathscr {C}}\) onto a flat cylinder \(Z = ({}m_1,m_2) \times {{\mathbb {S}}}_1\) for some \(m_1,m_2 > 0\). For the cylinder we use the notation as in Sect. 3. In particular, x is the variable that runs through \([m_1,m_2]\) and y runs through \({{\mathbb {S}}}_1 = {{\mathbb {R}}}/ {{\mathbb {Z}}}\). The mapping \(\psi \) is assumed to be such that the image of \(\gamma \) is the circle \(\{0\} \times {{\mathbb {S}}}_1\). The couple \((Z, \psi )\) serves as a coordinate system for \({\mathscr {C}}\), and by abuse of notation we write \(f = f\circ \psi ^{1}\) for the representation of functions on \({\mathscr {C}}\), and \(\omega = (\psi ^{1})^{*} \omega \) for 1forms on \({\mathscr {C}}\).
Lemma 6.2
On \({\mathscr {C}}\) the \(\tau _j\) have vanishing linear dxterms, \(j=2, \ldots , 2g\).
Proof
Without loss of generality we assume that \(m_1=m_2 = m\). We first consider the case \(j \ge 3\). Then \(\tau _j\) on \({\mathscr {C}}\) has a representation
where \(d h^{{\scriptscriptstyle \mathsf {nl}}}\) is the nonlinear part with a harmonic function \(h^{{\scriptscriptstyle \mathsf {nl}}}\). We have to show that \(a=0\). We shall achieve this by dampening down, using the function
Interpreting F as a function on \({\mathscr {C}}\) we define the closed form \(\omega _F = dF\) on \({\mathscr {C}}\) and \(\omega _F = 0\) on \(S{\smallsetminus }{\mathscr {C}}\). The difference \(t_j = \tau _j  \omega _F\) has periods \(\int _{\alpha _i} t_j = \delta _{ij}\), for \(i=2,\ldots , 2g\). By the energy minimizing property of \(\tau _j\) we have
Outside of the part \(D = [0, \frac{m}{2}] \times {{\mathbb {S}}}_1\) the forms \(\tau _j\) and \(t_j\) coincide. On D we may write
where by (6.4) \(t_j = d h^{{\scriptscriptstyle \mathsf {nl}}}\). By the Orthogonality Lemma,
Since \(\tau _j\) and \(t_j\) coincide outside of D we also have
Now (6.5) and (6.6) imply \(a =0\). The proof for the case \(j=2\) is the same except that instead of (6.4) we have \(\tau _2 = a d x + d y + dh^{{\scriptscriptstyle \mathsf {nl}}}\), and on D we have \(t_2 = dh^{{\scriptscriptstyle \mathsf {nl}}} + d y\), where we recall that dx and dy are orthogonal on D. \(\square \)
Remark 6.3
As a consequence of Lemma 6.2\(\tau _1\) can be written as a linear combination
For the proof we note that, by the lemma, \(\tau _1  {\star }\tau _2\) and \(\tau _3, \ldots , \tau _{2g}\) have vanishing linear parts, while \(\sigma _1\) has linear part cdx with \(c \ne 0\) and \(\tau _2\) has linear part dy. Hence, in the basis representation \(\tau _1  {\star }\tau _2 = c_1 \sigma _1 + c_2 \tau _2 + \sum _{k=3}^{2g}c_k \tau _{k}\) we must have \(c_1 = c_2 = 0\).
6.2 Essential energy and the periods \(\kappa _j\)
In this section we investigate the convergence of the periods \(\kappa _j\) (see (6.1)) as \(\ell (\gamma ) \rightarrow 0\) and also under the grafting construction. In order to avoid repetitions we prove the main technical lemma (Lemma 6.4) in a slightly more general context. Furthermore, in order to remain in the realm of compact surfaces we carry out the comparison with compact surfaces that have a thin handle and cover the cusp case by a limiting argument in Sect. 7.
The setting for the lemma is as follows. \(S_L^{\times }\) is the surface as in the preceding section consisting of the main part \(\mathfrak {M}\) (5.2) to which two flat cylinders \([0,L/2] \times {{\mathbb {S}}}_1\) are attached, and \(S_L\) results from \(S_L^{\times }\) by pasting together the two boundaries. These surfaces shall be compared with a second pair, \({\tilde{S}}^{\times }_{{\tilde{L}}}\), \({\tilde{S}}_{{\tilde{L}}}\), defined in a similar way with some main part \(\tilde{\mathfrak {M}}\) to which cylinders of lengths \({\tilde{L}}/2\) are attached. Furthermore, it is assumed that
and that a marking preserving \(q_{\phi }\)quasiconformal boundary coherent homeomorphism \(\phi : \mathfrak {M} \rightarrow \tilde{\mathfrak {M}}\) is given that acts conformally near the boundary and thus extends to an embedding of \(S_L^{\times }\) into \({\tilde{S}}_L^{\times }\) that acts isometrically on the flat cylinders. Finally, we assume that the pastings are such that the twist parameters of \(S_L\) and \({\tilde{S}}_{{\tilde{L}}}\) are the same. By this we mean that, as in the grafting construction, if line \([0,L] \times \{y_0\}\) of the inserted cylinder \([0,L] \times {{\mathbb {S}}}_1\) in \(S_L\) is pasted to the boundary points \(p_1\), \(p_2\) of \(\mathfrak {M}\), then line \([0,{\tilde{L}}] \times \{y_0\}\) of the inserted cylinder \([0,{\tilde{L}}] \times {{\mathbb {S}}}_1\) in \({\tilde{S}}_{{\tilde{L}}}\) is pasted to the boundary points \(\phi (p_1)\), \(\phi (p_2)\) of \(\tilde{\mathfrak {M}} = \phi (\mathfrak {M})\).
For the grafting construction we shall have \(\tilde{\mathfrak {M}} = \mathfrak {M}\) with \(\phi \) the identity mapping; in the Fenchel–Nielsen construction \(\tilde{\mathfrak {M}}\) is the main part of the surface \({\tilde{S}}\) with geodesic \({\tilde{\gamma }}\) that results from the construction and \(\phi \) is the qquasiconformal mapping as in Theorem 2.3 with \(q \le (1+2\ell ^2(\gamma ))^2\), and \({\tilde{L}} = L_{{\tilde{\gamma }}}\).
As for the bases, the quasiconformal mapping \(\phi : \mathfrak {M} \rightarrow \tilde{\mathfrak {M}}\) extends to a topological mapping \(\varphi : S_L \rightarrow {\tilde{S}}_{{\tilde{L}}}\) that operates on the cylinders by stretching them in the xdirection. We define \({\tilde{\alpha }}_i = \varphi (\alpha _i)\), for \(i=1,\ldots ,2g\), and let \({\tilde{\sigma }}_1, \ldots , {\tilde{\sigma }}_{2g}\) be the dual basis of harmonic forms for \({\tilde{\alpha }}_1, \ldots , {\tilde{\alpha }}_{2g}\) on \({\tilde{S}}_{{\tilde{L}}}\). Finally, for \(j=2,\ldots , 2g\), \({\tilde{\tau }}_j\) on \({\tilde{S}}_{{\tilde{L}}}\) is the analog of \(\tau _j\) on \(S_L\).
As L becomes large, the energies of \(\tau _3, \ldots , \tau _{2g}\) remain bounded owing to the fact that their linear parts vanish in the cylinder \([0,L] \times {{\mathbb {S}}}_1\) (using Lemma 6.2). This is not the case for \(\tau _2\). For this reason we define for \(\tau _2\) and, more generally, for any linear combination \(\tau = a_2 \tau _2 + \cdots + a_{2g}\tau _{2g}\) an essential energy \({\mathscr {E}}(\tau )\) as in (5.14) setting
where C is the cylinder \(C = S_L {\smallsetminus }\mathfrak {M}\) which we identify with the conformally equivalent \([0,L] \times {{\mathbb {S}}}_1\) and \((\,)^{{\scriptscriptstyle \mathsf {nl}}}\) denotes the nonlinear part. For later use we also define the scalar product
for \(\omega \) and \(\eta \) in the span of \((\tau _i)_{i=2,\ldots ,2g}\).
By the Orthogonality Lemma \({\mathscr {E}}(\tau )\) may also be defined as follows,
On \({\tilde{S}}_{{\tilde{L}}}\) we define \({\mathscr {E}}\) in an analogous way. For the comparison of these energies and also for the comparison of the periods \(\kappa _j\) of \(\tau _j\) over \(\alpha _1\) and \({\tilde{\kappa }}_j\) of \({\tilde{\tau }}_j\) over \(\tilde{\alpha _j}\), \(j=2, \ldots , 2g\) we introduce the following constants,
Lemma 6.4
Under the condition of the above setting we have, for any \(\tau = a_2 \tau _2 + \cdots + a_{2g}\tau _{2g}\) on \(S_L\) and the corresponding \({\tilde{\tau }} = a_2 {\tilde{\tau }}_2 + \cdots + a_{2g}{\tilde{\tau }}_{2g}\) on \({\tilde{S}}_{{\tilde{L}}}\),
For \(\omega ,\eta \) in the span of \((\tau _i)_{i=2,\ldots ,2g}\) and \({\tilde{\omega }},{\tilde{\eta }}\) in the span of \((\tilde{\tau _i})_{i=2,\ldots ,2g}\) we have
Furthermore, for \(j=2, \ldots , 2g\),
Proof
By Lemma 6.2, \(\tau \) and \({\tilde{\tau }}\) have vanishing linear dx terms. Furthermore, the dyterms of \(\tau _j\) and \({\tilde{\tau }}_j\) are \(\delta _{2j} d y\) because \(\int _{\alpha _2}\tau _j = \int _{{\tilde{\alpha }}_2}\tilde{\tau _j}=\delta _{2j}\), \(j=2,\ldots ,2g\). Hence, \(\tau \) and \({\tilde{\tau }}\) have the same linear term \(a_2 d y\) on the flat cylinders. Taking \(w = \frac{1}{8}\) we dampen down the nonlinear terms of \(\tau \) and \({\tilde{\tau }}\) using the same cut off function \(\chi \) that equals 1 up to distance \(L/2w\) from \(\mathfrak {M}\), respectively \(\tilde{\mathfrak {M}}\), then goes down linearly to 0 from distance \(L/2w\) to distance L/2 and remains 0 on the rest (distances with respect to the flat metric of \(Z = [L/2,L/2] \times {{\mathbb {S}}}_1\) and \({\tilde{Z}} = [{\tilde{L}}/2,{\tilde{L}}/2] \times {{\mathbb {S}}}_1\)).
In the following we think of \(S_L\) and \(S_L^{\times }\) as “sitting on the left hand side,” while \({\tilde{S}}_{{\tilde{L}}}\) and \({\tilde{S}}^{\times }_{{\tilde{L}}}\) “sit on the right hand side”. The mapping \(\phi \) then goes from the left to the right.
The dampened down form \({\tilde{\tau }}_{\chi }\) may be restricted to the subset \({\tilde{S}}^{\times }_L\) of \({\tilde{S}}^{\times }_{{\tilde{L}}}\), then be pushed in the left direction to \(S_L^{\times }\) via the quasiconformal mapping \(\phi ^{1}\) and, upon arrival, be extended to \(S_L\). The so extended form shall be denoted by \({\tilde{\tau }}^{\scriptscriptstyle \leftarrow }\). As a result of the dampening down procedure \({\tilde{\tau }}^{\scriptscriptstyle \leftarrow }\) is a test form in the cohomology class of \(\tau \). In a converse way, we push in the right direction the dampened down form \(\tau _{\chi }\) to \({\tilde{S}}^{\times }_L\) and extend it by \(a_2 d y\) to a test form \(\tau ^{\scriptscriptstyle \rightarrow }\) on \({\tilde{S}}_{{\tilde{L}}}\) in the cohomology class of \({\tilde{\tau }}\). It follows, using the Orthogonality Lemma 3.2 that
Observe that the dampening down process takes place in a subset of the respective cylinders \([d_{\gamma }L/2,L/2 +d_{\gamma }]\times {{\mathbb {S}}}_1\) and \([d_{{\tilde{\gamma }}}{\tilde{L}}/2,{\tilde{L}}/2 +d_{{\tilde{\gamma }}}]\times {{\mathbb {S}}}_1\), where by (5.4) \(d_{\gamma }, d_{{\tilde{\gamma }}} > \frac{1}{2}\). Hence, Lemma 3.3 (with \(l = L/2 + \frac{1}{2}\), \(dh^{\texttt {\#}}\) the nonlinear term of \({\tilde{\tau }}\), respectively \({\tilde{\tau }}\), \(\delta _{\texttt {\#}} = lw\), and \(w = \frac{1}{8}\)) yields that \({\mathscr {E}}(\tau _{\chi }) < (1+\tfrac{1}{12}\mu _L){\mathscr {E}}(\tau )\) and \( {\mathscr {E}}({\tilde{\tau }}_{\chi }) < (1+\tfrac{1}{12}\mu _L){\mathscr {E}}({\tilde{\tau }})\). Since \(\phi \) and \(\phi ^{1}\) act isometrically on the cylinders and are \(q_{\phi }\)quasiconformal on \(\mathfrak {M}\) and \(\tilde{\mathfrak {M}}\), it follows from [17] (or Lemma 4.5) that the essential energy increases at most by a factor \(q_{\phi }\). This yields
Now (6.15) and (6.16) imply (6.12).
The operator that associates to any \(\omega = c_2 \tau _{2} + \cdots + c_{2g} \tau _{2g} \in H^1(S_L,{{\mathbb {R}}})\) the form \({\tilde{\omega }} = c_2 {\tilde{\tau }}_2 + \cdots + c_{2g} {\tilde{\tau }}_{2g} \in H^1({\tilde{S}}_{{\tilde{L}}},{{\mathbb {R}}})\) is linear. Hence, using (6.12) in Lemma 4.4 inequality (6.13) follows.
We turn to the proof of (6.14) and apply the preceding notations and results to the forms \(\tau = \tau _j\), \({\tilde{\tau }} = {\tilde{\tau }}_j\). Since the dampening down process on \(S_L\) and \({\tilde{S}}_{{\tilde{L}}}\) acts as the identity in the neighborhoods of the boundaries of the collars, and since \(\phi \) preserves line integrals, the period \({\tilde{\kappa }}_j\) is not affected and, hence,
Since the periods of \({\tilde{\tau }}_j^{\scriptscriptstyle \leftarrow }  \tau _j\) over the remaining base cycles vanish we have therefore on \(S_L\)
for some function \(f_j\). By Lemma 6.1 the forms on the right hand side are mutually orthogonal so that
Since \(E({\tilde{\tau }}_j^{\scriptscriptstyle \leftarrow } \tau _j) = ({\tilde{\kappa }}_j  \kappa _j)^2 E(\sigma _{1,L}) + E(d f_j)\) and since \({\tilde{\tau }}_j^{\scriptscriptstyle \leftarrow }\) and \(\tau _j\) have the same linear part (dy if \(j = 2\) and 0 if \(j \ge 3\)) we get
Now if \({\mathscr {E}}({\tilde{\tau }}_j) \le {\mathscr {E}}(\tau _j)\), then by the first inequality in (6.16)
If, on the other hand, \({\mathscr {E}}({\tilde{\tau }}_j) > {\mathscr {E}}(\tau _j)\), then by the first inequality in (6.16), the second inequality in (6.15) and the second inequality in (6.16)
Altogether
Now \({\tilde{\tau }}_j^{\scriptscriptstyle \leftarrow }\) and \(\tau _j\) have vanishing linear dxpart. We dampen down \(({\tilde{\tau }}_j^{\scriptscriptstyle \leftarrow } \tau _j)\) using the cut off function \(\chi ^{\prime }\) that goes linearly from 1 to 0 within distance \(\frac{1}{2}\) from \(\mathfrak {M}\) and then remains zero. The resulting form is denoted by \(\theta _j\). Its period over \(\alpha _1\) is still \(({\tilde{\kappa }}_j  \kappa _j)\). By Lemma 3.3 applied twice (with \(l = \frac{1}{4}\), \(\delta _{\texttt {\#}}=\delta = 0\) and \(w=\frac{1}{2}\)) the energy of \(\theta _j\) has the upper bound
That Lemma 3.3 is indeed applicable follows from the fact that \(\phi \) acts isometrically on the cylinders, whose lengths, by (6.7), are \(\ge L/2 > 2\) and, hence, \(\theta _j\) is harmonic in the domain where the dampening down process takes place. Now \(\theta _j\) may also be interpreted as a test form on the surface \(S_1\) that is obtained by attaching cylinders \([0,\frac{1}{2}] \times {{\mathbb {S}}}_1\) to \(\mathfrak {M}\) and then pasting the boundaries together with the same twist parameter as \(S_L\). This means that if points \(p \in c_1\), \(q \in c_2\) on the boundary of \(\mathfrak {M}\) are connected by the straight line \([0,L] \times \{y_0\}\) in \([0,L] \times {{\mathbb {S}}}_1 \subset S_L\) then they are connected by the straight line \([0,1] \times \{y_0\}\) in \([0,1] \times {{\mathbb {S}}}_1 \subset S_1\). Only this time, the cutting and pasting takes place at \(L/2 \times {{\mathbb {S}}}_1\) and \(\frac{1}{2} \times {{\mathbb {S}}}_1\), respectively. On \(S_1\) we have the following decomposition (where \(\sigma _{1,1}\) is \(\sigma _{1,L}\) with \(L=1\)): \(\theta _j = ({\tilde{\kappa }}_j  \kappa _j)\sigma _{1,1} + dF_j\) for some function \(F_j\). By Lemma 5.2, applied to the case \(L=1\), we have \(E(\sigma _{1,1}) \ge \frac{1}{1 + \mathfrak {z} \Gamma }\). Altogether we have
and (6.14) follows. \(\square \)
6.3 Bounds for \(\pmb {\kappa _j}\)
Lemma 6.5
For \(j= 3,\ldots ,2g\) we have on \(S_L\)
Proof
We use the following identity for closed differentials \(\theta \), \(\eta \),
(e.g. [11, III.2.3]). Taking \(\theta = \tau _2\), \(\eta = \tau _j\), (\(j \ge 3\)), we get \(\int _{S_L} \tau _2 \wedge \tau _j = \int _{\alpha _1}\tau _j = \kappa _j\). Hence,
By Lemma 6.2\(\tau _j\) has vanishing linear part in the cylinder \(C = S_L {\smallsetminus }\mathfrak {M}\) (which we identify with the conformally equivalent \([0,L] \times {{\mathbb {S}}}_1\)). Using the Orthogonality Lemma we may thus write
where \((\,)^{{\scriptscriptstyle \mathsf {nl}}}\) is the nonlinear part. Setting
we get
(The fact that \({\hat{\tau }}_2\) is discontinuous at the boundary of C is not a problem here because we are only looking at integrals). We now use the Cauchy–Schwarz inequality:
On the right hand side \(E(\hat{\tau _2}) = {\mathscr {E}}(\tau _2)\). This yields
The first inequality of the lemma follows together with (6.18); the second inequality follows from (6.2) and Lemma 6.1 (which also holds on any \(S_L\)): \(E(\sigma _j) = E(\tau _j + \kappa _j \sigma _1) = E(\tau _j) + \kappa _j^2 E(\sigma _1)\). \(\square \)
Remark 6.6
For \(j = 2\) relation (6.17) is not conclusive. Indeed, by replacing \(\alpha _1\) with \(\alpha _1 + k \alpha _2\), \(k \in {{\mathbb {Z}}}\), one may arbitrarily increase \(\vert \kappa _2\vert \) without affecting \({\mathscr {E}}(\tau _2), E(\tau _j), E(\sigma _j)\), \(j=3,\ldots , 2g\). Hence, there is no a priori bound for \(\vert \kappa _2\vert \) in terms of these quantities.
However, if in (6.17) we take \(\theta = \star \tau _1\) and \(\eta = \tau _2\), we get using Lemma 6.1 and observing that \(\int _{\alpha _2}\star \tau _1 = 1\) (because \(\tau _1\) has linear part dx in C)
The relation shows that if in the choice of the canonical homology basis on S one begins with \(\alpha _2\, (= \gamma )\) and \(\alpha _1\), then \(\kappa _2\) is independent of the choice of \(\alpha _3, \ldots , \alpha _{2g}\).
A rough estimate of \(\kappa _2\) in a different form shall be given in Lemma 6.9.
6.4 Bounds for the dual basis
The estimates in Lemmas 6.4 and 6.5 are in terms of the harmonic quantities \({\mathscr {E}}(\tau _1)\), \({\mathscr {E}}(\tau _2)\) and \(E(\sigma _3), \ldots , E(\sigma _{2g})\). In Sect. 5 a geometric upper bound for \({\mathscr {E}}(\tau _1)\) is obtainable via Lemma 5.4 and Theorem 5.7. We conclude this section with geometric bounds for the remaining quantities.
The first lemma provides bounds for the energies of \(\tau _k\) on \(S_L\) and for the matrix entries \(p_{kk}(S_L)\), \(k \ge 3\), in terms of the lengths of the geodesics \(\alpha _3, \ldots ,\alpha _{2g1},\alpha _{2g}\) of the canonical homology basis on the original surface S. In view of the intersection convention for this basis (Sect. 1) we set, for \(k=1,\ldots ,2g\)
In the following we write \(\tau _{k,L}\), \(\kappa _{k,L}\) for \(\tau _k\) and \(\kappa _k\) on \(S_L\), \(k=2, \ldots , 2g\).
Lemma 6.7
For \(k = 3, \ldots , 2g\) we have
Proof
The expression for \(E(\tau _{k,L}) = \big \langle \tau _{k,L},\tau _{k,L} \big \rangle \) follows from (6.2) and Lemma 6.1. To prove the inequality we construct a test form for \(\sigma _k\) on \(S_L\) using the hyperbolic metric on \(\mathfrak {M}\). The standard collar \(C(\alpha _{{\hat{k}}})\) on S is contained in \(\mathfrak {M}\), by the Collar Lemma. It may therefore also be seen as a subset of \(S_L\). There is a conformal homeomorphism \(\psi \) from the closure of \(C(\alpha _{{\hat{k}}})\) to \(Z = [M,M] \times {{\mathbb {S}}}_1\) with M as in (2.13). Now let f on Z be defined by \(f(x,y) = \frac{1}{2M}(x+M)\), for \(x\in [M,M]\), \(y \in {{\mathbb {S}}}_1\). Then df and its pullback \(\eta = \psi ^{*}d f\) on \(C(\alpha _{{\hat{k}}})\) have energy \(\frac{1}{2M}\). Setting \(\psi = 0\) outside \(C(\alpha _{{\hat{k}}})\) we get an admissible test form for \(\sigma _k\), and the upper bound follows. \(\square \)
We add that for \(\ell (\alpha _{{\hat{k}}}) \rightarrow \infty \) the upper bound grows asymptotically like \(\frac{1}{4} \ell (\alpha _{{\hat{k}}}) \exp (\frac{1}{2}\ell (\alpha _{{\hat{k}}}))\).
In the second lemma we prove a geometric upper bound for \({\mathscr {E}}(\tau _{2,L})\). It is more elaborate since it involves the entire homology basis \({\mathrm{A}} = (\alpha _1, \ldots , \alpha _{2g})\). The geometric quantity we use is
with the systole of \(\mathfrak {M}\) as in Sect. 5.3 and the widths \({{\,\mathrm{cl}\,}}\) of the standard collars as in (2.2).
Lemma 6.8
For any \(L > 0\), we have
Proof
The first statement is as in Lemma 6.7. For the second statement we construct a test form \(s_{2,L}\) for \(\sigma _{2,L}\) on \(S_L\) whose representation in the cylinder \(Z_L = \{(x,y) \mid x \in [0,L], y \in {{\mathbb {S}}}_1 \}\) attached to \(\mathfrak {M}\) along \(c_1\), \(c_2\) coincides with dy.
For this we take the shortest geodesic \({\mathcal {A}}\) in \(\mathfrak {M}^{\prime } = \mathfrak {M} {\smallsetminus }(\alpha _3 \cup \ldots \cup \alpha _{2g})\) that connects the boundary curves \(c_1\), \(c_2\) with each other. Such a geodesic exists because the boundary of \(\mathfrak {M}^{\prime }\) has interior angles \(<\pi \) at all of its vertices; if there are several such geodesics we take any of them. By the Collar Theorem \({\mathcal {A}}\) does not intersect any of the collars \(C(\alpha _k)\) and thus has distance \({{\,\mathrm{dist}\,}}({\mathcal {A}},\alpha _k) \ge w_{\mathrm{A}}\), for \(k=3, \ldots , 2g\). As in the proof of Theorem 5.3 the geodesic segments of length \(w_{\mathrm{A}}\) emanating orthogonally from \({\mathcal {A}}\) (in both directions) are pairwise disjoint and sweep out a ribbon \({\mathcal {W}}\). In Fermi coordinates based on \({\mathcal {A}}\) the ribbon becomes
with the metric tensor \(d s^2 = d \rho ^2 + \cosh ^2(\rho )d t^2\). We let f be the function on \({\mathcal {W}}\) that is defined in these coordinates by \(f(\rho ,t) = \frac{\rho }{2 w_{\mathrm{A}}}\). Its differential has norm \(\Vert d f(\rho ,t) \Vert = \frac{1}{2 w_{\mathrm{A}}}\) and as \({\mathcal {W}} \subset S\) its energy has the upper bound
We now interpolate f in the annular regions \(B_1, B_2 \subset \mathfrak {M}\) (adjacent to the boundary of \(\mathfrak {M}\), see Sect. 5.1, prior to (5.2)) so that its differential matches with the differential dy on the attached cylinder \(Z_L\). We complete the construction of \(s_{2,L}\) by setting it to be dy on \(Z_L\), df on the domain in \(\mathfrak {M}\) where f (together with its interpolation) is defined, and setting \(s_{2,L} = 0\) on the remaining part of \(\mathfrak {M}\). The form is in the cohomology class of \(\sigma _{2,L}\) and has the energy bound
where \(\mathfrak {p}\) is the energy cost of the interpolation. A rough but somewhat tedious argument which we omit shows that the interpolation can be carried out with \(\mathfrak {p} < 2\), and the lemma follows. \(\square \)
In the next lemma we write \(\kappa _{2,L} = \kappa _2(S_L)\), for clarity.
Lemma 6.9
There exists an effective constant K depending on g, on a lower bound of \({{\,\mathrm{sys}\,}}(\mathfrak {M})\) and on an upper bound of \(\ell (\alpha _1)\) on S such that for any \(S_L\), \(L \ge L_{\gamma }\) one has \(\vert \kappa _2(S_L) \vert \le K\).
Proof
By (6.3) using Cauchy–Schwarz we have on \(S = S_{L_{\gamma }}\)
where by Lemma 5.2\( \frac{1}{\langle \sigma _1,\sigma _1 \rangle } \le L_{\gamma }+ \mathfrak {z} \Gamma \) and by Theorem 5.7\(\Gamma \) is bounded above in terms of the systole of \(\mathfrak {M}\) and g. Furthermore, by (6.14)
where \({\mathscr {E}}(\tau _2(S))\) has a bound in terms of g \({{\,\mathrm{sys}\,}}(\mathfrak {M})\) and \(\ell (\alpha _1)\) on S by Lemma 6.8. It suffices therefore to prove an upper bound of \(E(\sigma _2)\) on S. For this we need an embedded ribbon around \(\alpha _1\).
Let w be the supremum of all \(\delta \) such that geodesic segments of length \(\delta \) emanating orthogonally from \(\alpha _1\) are pairwise disjoint. Then there exists a segment \(\eta \) of length 2w on S that meets \(\alpha _1\) orthogonally on both endpoints. Lift \(\alpha _1\) to the universal covering of S. On this lift there is an arc a of length \(\ell (\alpha _1)\) having two lifts \(\eta ^{\prime }\), \(\eta ^{\prime \prime }\) of \(\eta \) at its endpoints. On their other endpoints there are further lifts \(\alpha _1^{\prime }\), \(\alpha _1^{\prime \prime }\) of \(\alpha _1\). Since \(\alpha _1\) is a simple geodesic the latter do not intersect each other. Hence a right angled geodesic hexagon with three consecutive sides of lengths 2w, \(\ell (\alpha _1)\), 2w. This hexagon consists of two isometric pentagons each having a pair of consecutive sides 2w, \(\frac{1}{2}\ell (\alpha _1)\). By trigonometry \(\sinh (2w) \sinh (\frac{1}{2}\ell (\alpha _1)) > 1\). Hence, a lower bound of w in terms of \(\ell (\alpha _1)\).
Taking the function \(f_2\) on the ribbon of width w that grows linearly along the orthogonal geodesics from 0 on one boundary to 1 on the other and setting \(s_2 = df_2\) on the ribbon and \(s_2 = 0\) outside we get a test function for \(\sigma _2\) on S with the required energy bound. \(\square \)
7 Period matrix for a surface with two cusps
If we pinch a nonseparating simple closed geodesic then the limit surface has two cusps. A cusp neighborhood is conformally equivalent to a flat cylinder \(Z_1 = ({}\infty ,0]\times {{\mathbb {S}}}_1\) of infinite length. In this section we first look at the \(L^2\) harmonic forms on this surface to which we add the harmonic forms whose linear part is dx and dy, respectively in the cylinder and show how these can be seen as the limits of forms in \((S_L)_L\). (As earlier x is the coordinate in the direction of \(({}\infty ,0]\) and y is in the direction of \({{\mathbb {S}}}_1\).) Then we look at the compactified limit surface that has genus \(g1\) instead of g. Two difficulties arise: the rank of the homology and the dimension of the Gram period matrix are not the same as for S and, in addition, the condition \(\int _{\alpha _1}\sigma _j = 0\) for the members \(\sigma _j\) of the dual basis of harmonic forms disappears.
As announced in the Introduction (Sect. 1) we overcome the first difficulty by introducing an array of invariants attributed to the limit surface as a substitute for the missing Gram period matrix. The array may also be translated into a parametrized family of matrices that constitutes a variant of this substitute (Sect. 7.3). With the help of these invariants we then prove the main theorems Theorems 1.3 and 1.4 from the Introduction.
7.1 The space \(H^{1,v}({\mathscr {R}},{{\mathbb {R}}})\)
In the grafting construction the limit surface \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) is represented in the form \(S^{{\scriptscriptstyle {\mathsf {G}}}} = Z_1 \cup \mathfrak {M} \cup Z_2\), where \(\mathfrak {M}\) is the main part of S and \(Z_1\), \(Z_2\) are the attached infinite cylinders which we normalize here in the form
With respect to the complete hyperbolic metric in its conformal class (albeit unknown explicitly) the surface has also a representation \(S^{{\scriptscriptstyle {\mathsf {G}}}} = Z_1 \cup \mathfrak {M}^{{\scriptscriptstyle {\mathsf {G}}}} \cup Z_2\), where \(\mathfrak {M}^{{\scriptscriptstyle {\mathsf {G}}}}\) is the main part of \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) obtained by cutting away the cusps along the horocycles of length 1.
To cover both representations we consider in this section, more generally, an arbitrary conformal Riemann surface \({\mathscr {R}}\) of signature \((g1,0;2)\), represented in the form
where \(\mathfrak {K}\) is a conformal Riemann surface of signature \((g1,2;0)\) and the cylinders \(Z_1\), \(Z_2\), are attached along the two boundaries of \(\mathfrak {K}\) with respect to some fixed pasting rules. We denote by the two point compactification of \({\mathscr {R}}\) obtained by adding ideal points at infinity \(v_1\), \(v_2\) to \(Z_1\), \(Z_2\), respectively.
The space of \(L^2\) harmonic forms on \({\mathscr {R}}\) is naturally identified with the space of harmonic 1forms on and is denoted by \(H^1({\mathscr {R}},{{\mathbb {R}}})\).
In addition to these we consider harmonic forms with logarithmic poles. By the existence theorem of real harmonic functions with logarithmic poles ( [11, Theorem II.4.3]) there exists on \({\mathscr {R}}\), up to a change of sign, a unique exact harmonic 1form \(\tau _1\) with logarithmic poles at \(v_1\), \(v_2\). With the appropriate choice of sign this form has the following representation in the cylinders \(Z_1\), \(Z_2\),
where the nonlinear part \(\tau _1^{{\scriptscriptstyle \mathsf {nl}}}\) is exponentially decaying for \(x \rightarrow \infty \) in \(Z_1\) and for \(x \rightarrow +\infty \) in \(Z_2\). We now define the space
Observe that in \(Z_1 \cup Z_2\) any \(\omega \in H^{1,v}({\mathscr {R}},{{\mathbb {R}}})\) has a representation
with the same a, b in \(Z_1\) as in \(Z_2\), and that \(a=b=0\) iff \(\omega \in H^1({\mathscr {R}},{{\mathbb {R}}})\). Analogously to (6.9) we define the finite scalar product for \(\omega , \eta \in H^{1,v}({\mathscr {R}},{{\mathbb {R}}})\),
By the exponential decay of the nonlinear parts the integral on the right is well defined. Since any harmonic form that vanishes in \(\mathfrak {K}\) vanishes everywhere the product defined by (7.4) is positive definite and, hence, a scalar product. It is not intrinsic but shall serve its purpose.
Since \({\star }(\omega ^{{\scriptscriptstyle \mathsf {nl}}})=({\star }\omega )^{{\scriptscriptstyle \mathsf {nl}}}\) we have
We also introduce the essential energy with respect to this product, respectively \(\mathfrak {K}\),
We now prove two properties of \(\tau _1\). For the proof we introduce the following notation which will also be used later on. For any \(L>0\) we consider the finite cylinders \(Z_{1,L} = [\frac{1}{2}L,0] \times {{\mathbb {S}}}_1\), \(Z_{2,L} = [0,\frac{1}{2}L] \times {{\mathbb {S}}}_1\), and let
be the subsurface of \({\mathscr {R}}\) obtained by attaching the two cylinders to \(\mathfrak {K}\) with the same pasting rules as for \(Z_1\), \(Z_2\) in the definition of \({\mathscr {R}}\).
Lemma 7.1

(i)
If \(\omega \in \mathrm{span}\{ H^1({\mathscr {R}},{{\mathbb {R}}}), {\star }\tau _1 \}\) then \(\big \langle \tau _1,\omega \big \rangle _{\mathfrak {K}} = 0\).

(ii)
If \(\omega \in H^1({\mathscr {R}},{{\mathbb {R}}})\) then \(\big \langle {\star }\tau _1,\omega \big \rangle _{\mathfrak {K}}=0\).
Proof
By virtue of the Orthogonality Lemma we have
\(\tau _1\) being exact it is of the form \(\tau _1 = d F\) with a harmonic function F on \({\mathscr {R}}\) whose nonlinear part in \(Z_1\), \(Z_2\) is exponentially decaying for \(x \rightarrow \infty \) respectively, \(x \rightarrow + \infty \). By Stokes’ theorem and because \({\star }\omega \) is of the form \({\star }\omega = a d x + {\star }\omega ^{{\scriptscriptstyle \mathsf {nl}}}\) for some constant a we have
Since \(\vert F \vert \) has at most linear growth while \(\Vert {\star }\omega ^{{\scriptscriptstyle \mathsf {nl}}} \Vert \) is exponentially decaying for \(x \rightarrow \infty \), respectively \(x \rightarrow +\infty \), the right hand side goes to zero as \(L\rightarrow \infty \) and point (i) of the lemma follows. Point (ii) follows from (i) and (7.5) since for \(\omega \in H^1({\mathscr {R}},{{\mathbb {R}}})\) we also have \({\star }\omega \in H^1({\mathscr {R}},{{\mathbb {R}}})\). \(\square \)
Lemma 7.2
Proof
This is straightforward, using the Orthogonality Lemma:
\(\square \)
For the convergence of the period matrices we need the convergence of harmonic forms. To cover all cases we consider the grafting in terms of \({\mathscr {R}}= Z_1 \cup \mathfrak {K} \cup Z_2\) as defined in (7.1). To this end we define \({\mathscr {R}}_L\) to be the compact Riemann surface obtained from \({\mathscr {R}}_L^{\times }\) by pasting together the two boundary curves by the rule that any point \((\frac{1}{2}L,y)\) on the boundary of \(Z_{2,L}\) is identified with the point \((\frac{1}{2}L,y)\) on the boundary of \(Z_{1,L}\). In \({\mathscr {R}}_L\) the pasted cylinders form the subset
where \(\cup _{\mathrm{pg}}\) means disjoint union modulo pasting. By abuse of notation we write \(Z_L = [0,L]\times {{\mathbb {S}}}_1\). As in the case of S, for any \(L > 0\) there is a marking homeomorphism \(\phi _L : {\mathscr {R}}_1 \rightarrow {\mathscr {R}}_L\) that acts as the identity from \(\mathfrak {K} \subset {\mathscr {R}}_1\) to \(\mathfrak {K} \subset {\mathscr {R}}_L\) and sends \([0,1]\times {{\mathbb {S}}}_1\) to \([0,L]\times {{\mathbb {S}}}_1\) by the rule \(\phi _L(x,y) = (L x, y)\).
On \({\mathscr {R}}_1\) we choose a canonical homology basis \((\alpha _1,\ldots ,\alpha _{2g})\) such that \(\alpha _2\) is the boundary curve \(c_1\) of \(\mathfrak {K}\). Setting \(\alpha _{i,L} = \phi _L(\alpha _i)\), \(i=1,\ldots ,2g\), we get a corresponding homology basis on \({\mathscr {R}}_L\), and we let \((\sigma _{1,L}, \ldots , \sigma _{2g,L})\) be the dual basis of harmonic forms on \({\mathscr {R}}_L\), and \((\tau _{1,L}, \tau _{2,L}, \ldots , \tau _{2g,L})\) the modified basis with \(\tau _{1,L}\) as in Sect. 5.2 and the \(\tau _{j,L}\) as in Sect. 6.1. We recall from Remark 6.3 that \(\tau _{1,L}\) can be written as linear combination \(\tau _{1,L} = {\star }\tau _{2,L} + \sum _{k=3}^{2g}c_{k,L}\tau _{k,L}\) and thus has linear part dx in \(Z_L\).
As \(L \rightarrow \infty \) these forms converge. To bring this statement into correct form we associate to any harmonic form \(\omega \) on \({\mathscr {R}}_L\) (as e.g. the \(\tau _{j,L}\)) a form \(\omega ^{\times }\) on \({\mathscr {R}}\) in the following way: first we let \(\omega ^{\times }\) be the restriction of \(\omega \) to \({\mathscr {R}}_L^{\times }\), then we interpret \({\mathscr {R}}_L^{\times }\) as subset of \({\mathscr {R}}\) and finally we extend (discontinuously) \(\omega ^{\times }\) to all of \({\mathscr {R}}\) defining it to be zero outside \({\mathscr {R}}_L\). The statement is now as follows.
Theorem 7.3
(Convergence theorem) Let \({\mathscr {R}}= Z_1 \cup \mathfrak {K} \cup Z_2\) be a conformal Riemann surface as in (7.1) and let the forms \(\tau _{j,L}^{\times }\) be constructed as above for \(j=1, \ldots , 2g\) and \(L \in {{\mathbb {R}}}\). As \(L \rightarrow \infty \) we have

(i)
\(\tau _{1,L}^{\times }\) converges uniformly on compact sets on \({\mathscr {R}}\) to \(\tau _1\);

(ii)
\(\tau _{j,L}^{\times }\) converges uniformly on compact sets to a harmonic form \(\tau _j \in H^{1,v}({\mathscr {R}},{{\mathbb {R}}})\), \(j=2,\ldots ,2g\).
Proof
This is an adaption of [7, 8], where a more general result is proved. We begin with the \(\tau _{2,L}\). To get suitable test forms for them we fix a smooth closed 1form \(\theta _2\) on \(\mathfrak {K}\) that has vanishing periods over \(\alpha _3, \ldots , \alpha _{2g}\) and matches with dy along the boundary of the inserted cylinder \(Z_L = \{(x,y) \mid x \in [0,L], y \in {{\mathbb {S}}}_1\}\). Setting \(\theta _{2,L} = \theta _2\) on \(\mathfrak {K}\) and \(\theta _{2,L} = d y\) on \(Z_L\) we get a test form with energy \(E(\theta _{2,L}) = \vartheta +L\) where \(\vartheta = E_{\mathfrak {K}}(\theta _2)\). On the other hand, \(E(\tau _{2,L}) \ge L\) by the Orthogonality Lemma. Thus,
It follows that the energies of all \(\tau _{2,L}^{\times }\) on \(\mathfrak {K}\) and also the energies of their nonlinear parts in the infinite cylinders \(Z_1\), \(Z_2\) are uniformly bounded by \(\vartheta \). Since the forms are harmonic one can now, using Harnack’s inequality, apply the Arzelà–Ascoli diagonal argument to get a sequence of lengths \(\{L_n\}_{n=1}^{\infty }\) with \(L_n \rightarrow \infty \) such that \(\tau _{2,L_n}^{\times }\) converges uniformly on compact sets to a harmonic form \(\tau _2\) on \({\mathscr {R}}\) satisfying \({\mathscr {E}}_{\mathfrak {K}}(\tau _2) \le \vartheta \) and \(\int _{\alpha _2}\tau _2 = 1\), \(\int _{\alpha _k} \tau _2 = 0\), \(k=3,\ldots ,2g\). Now \(\tau _2\) is uniquely determined by these properties and the Arzelà–Ascoli argument applied a second time implies that the entire family \(\tau _{2,L}^{\times }\) converges to \(\tau _2\). Since all \(\tau _{2,L}\) have linear part dy (by Lemma 6.2) the same is true for \(\tau _2\). Finally, since \({\mathscr {E}}_{\mathfrak {K}}(\tau _2)\) is finite it follows that \(\tau _2\) belongs to \(H^{1,v}({\mathscr {R}},{{\mathbb {R}}})\).
For \(\tau _{k,L}\), \(k=3,\ldots , 2g\), the proof is the same except that the linear parts vanish. Here the energies of the limit forms \(\tau _k\) are finite and, since isolated singularities of \(L^2\) harmonic differentials are removable, we have
For the proof of statement (i) we write \(\tau _{1,L} = {\star }\tau _{2,L} + \sum _{k=3}^{2g}c_{k,L}\tau _{k,L}\) (Remark 6.3), where \(c_{k,L} = \int _{\alpha _k}{\star }\tau _{2,L}\). By the convergence of the \(\tau _{k,L}\), \(k=3,\ldots ,2g\), and since they have vanishing linear parts it follows that \({\mathscr {E}}_{\mathfrak {K}}(\tau _{1,L})\) is bounded above by some constant that does not depend on L. We can therefore apply the same argument for \(\tau _{1,L}\) as for \(\tau _{2,L}\) and use the uniqueness property of \(\tau _1\) to conclude the proof. \(\square \)
7.2 Twist at infinity
Let \({\mathscr {R}}\) be as before, but this time equipped with its complete hyperbolic metric. We represent it in the form \({\mathscr {R}}= V_1 \cup \mathfrak {M}^{{\scriptscriptstyle {\mathscr {R}}}} \cup V_2\) where \(V_1\), \(V_2\) are the cusp neighborhoods of the ideal points at infinity \(v_1\), \(v_2\), cut off along the horocycles of length 1
The curves \(y = \mathrm{constant}\) in \(V_1\), \(V_2\) are geodesics. We shall call them cusp geodesics.
The part \(\mathfrak {M}^{{\scriptscriptstyle {\mathscr {R}}}}\) is the closure of \({\mathscr {R}}{\smallsetminus } \{V_1 \cup V_2\}\) and shall be called the main part of \({\mathscr {R}}\) with respect to the hyperbolic metric. In the cases \({\mathscr {R}}= S^{{\scriptscriptstyle {\mathsf {G}}}}\) and \({\mathscr {R}}= S^{{\scriptscriptstyle {\mathsf {F}}}}\) we shall, respectively, use the notation \(\mathfrak {M}^{{\scriptscriptstyle {\mathsf {G}}}}\) and \(\mathfrak {M}^{{\scriptscriptstyle {\mathsf {F}}}}\) for it.
When \({\mathscr {R}}\) arises e.g. as the Fenchel–Nielsen limit of a family \(\big (S_t\big )\) in which \(\alpha _{2,t}\) shrinks to zero then, as mentioned earlier, two problems arise: a degree of freedom is lost since the twist parameter along \(\alpha _{2,t}\) disappears, and secondly, the homology of \(\alpha _{1,t}\) disappears. We eliminate both problems by introducing families of curves from \(v_1\) to \(v_2\) on \({\mathscr {R}}\) that play the role of “twist parameters at infinity”.
We shall say that a parametrized curve \(\alpha : {{\mathbb {R}}}\rightarrow {\mathscr {R}}\) is an admissible curve if on one has \( \lim _{s \rightarrow \infty }\alpha (s) = v_1\), \( \lim _{s \rightarrow +\infty }\alpha (s) = v_2\) and if, furthermore, \(\alpha \) is asymptotic to a cusp geodesic in either of the two cusps. Asymptotic in \(V_1\) (and similarly in \(V_2\)) means that if the part of \(\alpha \) in \(V_1\) with respect to the above coordinates is written in the form \(\alpha (s) = (x(s), y(s))\), then y(s) converges to some \(y_0\) for \(s \rightarrow  \infty \).
Remark 7.4
From the asymptotic property it follows that for any admissible curve \(\alpha \) from \(v_1\) to \(v_2\) in \({\mathscr {R}}\) and any harmonic form \(\omega \in \mathrm{span}\{ H^1({\mathscr {R}},{{\mathbb {R}}}), {\star }\tau _1 \}\) the integral \(\int _{\alpha } \omega \) is well defined and finite.
A homotopy between admissible curves from \(v_1\) to \(v_2\) on \({\mathscr {R}}\) shall be called an admissible homotopy if in both cusps the curves remain asymptotic to their respective cusp geodesics. Such a homotopy is, of course, only possible if in either cusp the initial and the end curve is asymptotic to the same geodesic.
It turns out that the concept of admissible homotopy is too restrictive and we shall slightly weaken it. Before doing so we prove the following, where we return to the representation of \({\mathscr {R}}\) used in Sect. 7.1
Lemma 7.5
Assume \({\mathscr {R}}\) is represented in the form \({\mathscr {R}}= Z_1 \cup \mathfrak {K} \cup Z_2\) as in (7.1). Then the straight lines \(y = \mathrm{const}\) in the cylinders are asymptotic to cusp geodesics.
We note that this lemma is evident for the limit surface \(S^{{\scriptscriptstyle {\mathsf {G}}}} = V_1 \cup \mathfrak {M}^{{\scriptscriptstyle {\mathsf {G}}}} \cup V_2\), represented with respect to the complete hyperbolic metric that arises from the Uniformization Theorem, where \(V_1\), \(V_2\) are the hyperbolic cusps as in 7.8 and \(\mathfrak {M}^{{\scriptscriptstyle {\mathsf {G}}}}\) is the main part with respect to the hyperbolic metric of \(S^{{\scriptscriptstyle {\mathsf {G}}}}\). However, we also need this statement for the representation \(S^{{\scriptscriptstyle {\mathsf {G}}}} = Z_1 \cup \mathfrak {M} \cup Z_2\), where \(\mathfrak {M}\) is the main part of S and the coordinate lines \(y = \text {const.}\) in the cylinders are not geodesics with respect to the hyperbolic metric of \(S^{{\scriptscriptstyle {\mathsf {G}}}}\).
Proof
This can be shown by using that passing from \(V_i\) to \(Z_i\) is a change of conformal coordinate systems in a neighborhood of (i=1,2), and that for such changes the overlap map is biholomorphic. We use an other approach that measures the angle between the coordinate lines and the geodesics in terms of \(\tau _1\). We do, however, not estimate the constants.
We begin with \(Z_2\). Since \(\tau _1\) is exact and has linear part dx it is of the form \(\tau _1 = d h\) with a harmonic function \(h(x,y) = x + h^{{\scriptscriptstyle \mathsf {nl}}}(x,y)\), where by Lemma 3.1 the nonlinear part satisfies \(\vert h^{{\scriptscriptstyle \mathsf {nl}}}(x,y) \vert \le c_1 e^{2 \pi x}\), \(\Vert d h^{{\scriptscriptstyle \mathsf {nl}}}(x,y)\Vert \le c_2 e^{2\pi x}\) for some constants \(c_1\), \(c_2\). For x large enough the first property implies that h grows asymptotically like x, and the second property implies that the gradient \(\mathrm{grad}h(x,y)\) at (x, y) and the “horizontal” coordinate line \([0,+\infty ) \times \{y\}\) through (x, y) form an absolute angle \(\le 2c_2 e^{2\pi x}\).
Now we turn to \(V_2\), where we write the coordinates as \({\tilde{x}}\), \({\tilde{y}}\). Here \(\tau _1\) is \(d {\tilde{h}}\) with some harmonic function \({\tilde{h}}({\tilde{x}},{\tilde{y}})\), and the horizontal coordinate lines are geodesics. We have the same angle estimates (with different constants). Furthermore, since \({\tilde{h}}({\tilde{x}},{\tilde{y}})\) grows asymptotically like \({\tilde{x}}\) there exists a constant \(c_3\) (possibly negative) such that if \(({\tilde{x}},{\tilde{y}})\) in \(V_2\) and (x, y) in \(Z_2\) represent the same point p of \({\mathscr {R}}\), then \(x \ge {\tilde{x}} + c_3\).
The two angle estimates together with the inequality \(x \ge {\tilde{x}} + c_3\) imply that for some positive constant \(c_4\) and \({\tilde{x}}\) large enough the horizontal coordinate line (in the sense of \(Z_2\)) through \(({\tilde{x}},{\tilde{y}})\) and the cusp geodesic through \(({\tilde{x}},{\tilde{y}})\) form an angle \(\angle ({\tilde{x}},{\tilde{y}}) \le c_4 e^{2\pi {\tilde{x}}}\). This is sufficient to prove that the coordinate line is asymptotic to one of the cusp geodesics. In \(V_1\) the proof is the same. \(\square \)
We now relax slightly the notion of admissible homotopy classes by allowing “synchronized twists” in the cusps. We define this in terms of an arbitrary description \({\mathscr {R}}= Z_1 \cup \mathfrak {K} \cup Z_2\) and then give an intrinsic characterization. For this we use twist homeomorphisms \(J_1, J_2 : {\mathscr {R}}\rightarrow {\mathscr {R}}\) defined as follows. Choose any constant \(b \in {{\mathbb {R}}}\) and let \(\beta : [0,1] \rightarrow {{\mathbb {S}}}_1\) be the path \(\beta (s) = b s \mod 1\) (e.g. if \(b =2\) then \(\beta \) goes twice around \({{\mathbb {S}}}_1\).) For any \(x_0 \le 0\) (respectively, \(x_0 \ge 0\)) we then have a path in \(Z_1\) (respectively, \(Z_2\)) \(s \mapsto (x_0,\beta (s))\), \(s \in [0,1]\).
Next, choose any \(a_1 \le 0\), \(a_2 \ge 0\) and define the cut off functions
This allows us to define homeomorphisms \(J_1, J_2 : {\mathscr {R}}\rightarrow {\mathscr {R}}\) setting
and letting \(J_1\) be the identity mapping on \(\mathfrak {K}\cup Z_2\), and \(J_2\) the identity mapping on \(Z_1 \cup \mathfrak {K}\). Under the mappings \(J_i\) the parts in the cylinders on the left of \(a_1\) and on the right of \(a_2\) are then both rotated by the angle \(2\pi b\). We shall call these mappings twist homeomorphisms with twist parameter b.
The next lemma characterizes b in an intrinsic way. For the lemma we recall that by the remark subsequent to (7.3) any \(\omega \in \mathrm{span}\{ H^1({\mathscr {R}},{{\mathbb {R}}}), {\star }\tau _1 \}\) has linear part wdy in \(Z_1\) and \(Z_2\) for some \(w \in {{\mathbb {R}}}\).
Lemma 7.6
Let \(J_1, J_2:{\mathscr {R}}\rightarrow {\mathscr {R}}\) be twist homeomorphisms with twist parameter b as above and \(\omega \in \mathrm{span}\{ H^1({\mathscr {R}},{{\mathbb {R}}}), {\star }\tau _1 \}\) a harmonic form with linear part wdy in \(Z_1\), \(Z_2\). Then for any admissible curve \(\alpha \) from \(v_1\) to \(v_2\) we have
Proof
Let \(a_1\), \(a_2\) be the constants in the definition of \(J_1\), \(J_2\) as above. If we replace \(a_1\), \(a_2\), by some other values \(a_1^{\prime } \le 1\), \(a_2^{\prime } \ge 1\), and keep b fixed, then the twist homeomorphisms \(J_1^{\prime }\), \(J_2^{\prime }\) based on these new constants have the property that \(J_i\circ \alpha \) and \(J_i^{\prime }\circ \alpha \) are homotopic with a homotopy that is the identity outside some compact region and thus \(\int _{J_i\circ \alpha } \omega = \int _{J_i^{\prime }\circ \alpha } \omega \) (\(i=1,2)\). This implies that for \(i=1,2\), the difference \(d_i {:}{=} \int _{J_i\circ \alpha } \omega  \int _{\alpha }\omega \), seen as a function of \(a_i\) is the constant function. Now, if \(a_1 \rightarrow \infty \) and \(a_2 \rightarrow +\infty \), then, by the exponential decay of the nonlinear part of \(\omega \) in the cylinders, \(d_1\) converges to \(b w\) and \(d_2\) converges to bw. \(\square \)
We now define two admissible curves \(\alpha \), \(\alpha ^{\prime }\) from \(v_1\) to \(v_2\) to be twist equivalent if there exists an admissible homotopy of \(\alpha \) into a curve \(\alpha ^{\prime \prime }\) and a pair of twist homeomorphisms \(J_1\), \(J_2\) with the same twist parameter b such that \(\alpha ^{\prime } = J_1\circ J_2 \circ \alpha ^{\prime \prime }\).
It is a routine exercise to show that this is an equivalence relation thus splitting the admissible curves from \(v_1\) to \(v_2\) into twist equivalence classes. The next lemma shows, among other things, that this definition does not depend on the choice of the representation \({\mathscr {R}}= Z_1 \cup \mathfrak {K} \cup Z_2\).
Lemma 7.7

(i)
If two admissible curves \(\alpha \), \(\alpha ^{\prime }\) from \(v_1\) to \(v_2\) on \({\mathscr {R}}\) are twist equivalent then \(\int _{\alpha } \omega = \int _{\alpha ^{\prime }} \omega \) for any \(\omega \in \mathrm{span}\{ H^1({\mathscr {R}},{{\mathbb {R}}}), {\star }\tau _1 \}\).

(ii)
If two admissible curves \(\alpha \), \(\alpha ^{\prime }\) from \(v_1\) to \(v_2\) on \({\mathscr {R}}\) are homotopic on then they are twist equivalent if and only if \(\int _{\alpha } {\star }\tau _1 = \int _{\alpha ^{\prime }} {\star }\tau _1\).
Proof
(i) From the exponential decay of the nonlinear parts of \(\omega \) in the cylinders it follows that if \(\alpha \) and \(\alpha ^{\prime \prime }\) are homotopic by an admissible homotopy, then the integrals over \(\alpha \) and \(\alpha ^{\prime \prime }\) are the same. By Lemma 7.6 the same is true for the integrals over \(\alpha ^{\prime \prime }\) and \(J_1 \circ J_2 \circ \alpha ^{\prime \prime }\) if \(J_1\) and \(J_2\) have the same twist parameter b.
(ii) Now assume that \(\alpha \) and \(\alpha ^{\prime }\) are homotopic on (meaning that after a parameter change the curves are extended to \(v_1\), \(v_2\) for endpoints and then the homotopy acts on the extended curves keeping \(v_1\), \(v_2\) fixed). This condition is equivalent to saying that there exists an admissible homotopy from \(\alpha \) to some admissible curve \(\alpha ^{\prime \prime }\) and two twist homeomorphisms \(J_1\), \(J_2\) with some twist parameters \(b_1\), \(b_2\) (that do not coincide, in general) such that \(\alpha ^{\prime } = J_1 \circ J_2 \circ \alpha ^{\prime \prime }\). By (i) we have \(\int _{\alpha }{\star }\tau _1 = \int _{\alpha ^{\prime \prime }}{\star }\tau _1\), and by Lemma 7.6\(\int _{\alpha ^{\prime \prime }}{\star }\tau _1 = b_2b_1 + \int _{J_1\circ J_2 \circ \alpha ^{\prime \prime }} {\star }\tau _1 = b_2b_1 + \int _{\alpha ^{\prime }} {\star }\tau _1\). If we now assume that \(\int _{\alpha } {\star }\tau _1 = \int _{\alpha ^{\prime }} {\star }\tau _1\) then \(b_1 = b_2\) and thus \(\alpha \) and \(\alpha ^{\prime }\) are twist equivalent. This proves (ii) in the “ if ” direction. The “ only if ” direction is a special case of (i). \(\square \)
For future reference we associate a twist parameter \(\vartheta \) with any twist class using the representation \({\mathscr {R}}= V_1 \cup \mathfrak {M}^{{\scriptscriptstyle {\mathscr {R}}}} \cup V_2\) as in the beginning of this section. Let \(c_i\) be the common boundary of \(\mathfrak {M}^{{\scriptscriptstyle {\mathscr {R}}}}\) and \(V_i\), \(i=1,2\). For the arcs of curves in \(\mathfrak {M}^{{\scriptscriptstyle {\mathscr {R}}}}\) with initial point on \(c_1\) and endpoint on \(c_2\) we have the homotopy classes with endpoints moving freely on \(c_1\), \(c_2\). These classes are in natural onetoone correspondence with the homotopy classes of curves from \(v_1\) to \(v_2\) in . Furthermore, in each class there is a unique orthogeodesic, i.e. a geodesic arc that meets \(c_1\), \(c_2\) orthogonally at its endpoints.
Let now \(A_0\) be an orthogeodesic from \(c_1\) to \(c_2\) (Fig. 7) and take \(\vartheta \in {{\mathbb {R}}}\). Along \(c_1\) we attach an arc \(a_{1,\vartheta }\) of oriented length \(\vartheta \) whose endpoint coincides with the initial point of \(A_0\); we attach a similar arc \(a_{2,\vartheta }\) along \(c_2\) whose initial point coincides with the endpoint of \(A_0\). With respect to the earlier described coordinates for \(V_1\), \(V_2\) (where the ycoordinates are taken \(\mod 1\)) these arcs may be parametrized as \(A_{1,\vartheta }(s) = (1,\vartheta s +y_1)\), \(A_{2,\vartheta }(s) = (1,\vartheta s +y_2)\), \(s\in [0,1]\) for appropriate \(y_1\), \(y_2\) . By further attaching cusp geodesics \(A_1 \subset V_1\) to the initial point of \(A_{1,\vartheta }\) and \(A_2 \subset V_2\) to the endpoint of \(A_{2,\vartheta }\) we get an admissible curve
from \(v_1\) to \(v_2\) as depicted in Fig. 7. By Lemmas 7.6 and 7.7 we have the following.
Remark 7.8
\(A_{1,\vartheta }\) represents a twist equivalence class of admissible curves from \(v_1\) to \(v_2\) on \({\mathscr {R}}\). Conversely, any twist equivalence class is represented by a polygon as in (7.9) with uniquely determined orthogeodesic \(A_0\) and uniquely determined \(\vartheta \). We call \(\vartheta \) the twist parameter of the class and \(A_{1,\vartheta }\) its representative in normal form.
We also remark by virtue of Lemma 7.6 that for any fixed \(A_0\) there exists a constant \(c_0\) such that
By fixing an orthogeodesic \(A_0\) or, what amounts to the same, a homotopy class of admissible curves from \(v_1\) to \(v_2\) on we can blow up \({\mathscr {R}}\) into a one parameter family by marking it with the twist equivalence classes occurring in (7.9). For \({\mathscr {R}}\) marked with \(A_{1,\vartheta }\) we may then call \(\vartheta \) its twist parameter at infinity.
7.3 Period matrix with a parameter
Let \({\mathscr {R}}= V_1 \cup \mathfrak {M}^{{\scriptscriptstyle {\mathscr {R}}}} \cup V_2\) be as above and mark it with the twist equivalence class of some admissible curve \({\mathcal {A}}_1\) from \(v_1\) to \(v_2\). Let \(\alpha _2\) be the boundary curve of \(V_1\) and select a canonical homology basis \(\alpha _3, \ldots , \alpha _{2g}\) of satisfying
To this configuration we shall associate a parametrized family of 2g by 2g matrices \(P_{{\mathscr {R}}}(\lambda )\), \(\lambda >0\), where the notation suppresses the mention of the curve system. Here the parameter \(\lambda \) is related to the length of the attached cylinders.
Let \((\tau _3, \ldots , \tau _{2g})\) be the dual basis of harmonic forms for \((\alpha _3, \ldots , \alpha _{2g})\) on (restricted to \({\mathscr {R}}\)), \(\tau _1\) the exact form with linear parts dx in \(V_1\), \(V_2\) as in Sect. 7.1 and set
so that \(\tau _2\) has period 1 over \(\alpha _2\) and period 0 over \(\alpha _3, \ldots , \alpha _{2g}\). With these forms we define
The matrix \(Q = \big (q_{i,j}\big )_{i,j \ge 3}\) is the Gram period matrix of with respect to the homology basis \((\alpha _3, \ldots , \alpha _{2g})\). For \(j \ge 3\) the integrals \(q_{2j}\) and \(q_{j2}\) are well defined by the Orthogonality Lemma since the \(\tau _j\) have vanishing linear parts in the cusps (given that \(\tau _j \in L^2({\mathscr {R}})\), \(j\ge 3\)). For \((i,j) = (2,2)\) the integral is infinite and we define a substitute
which is again finite given that \(\tau _2\) and \({\star }\tau _1\) have the same linear parts. We also note that, for any representation \({\mathscr {R}}= Z_1 \cup \mathfrak {K} \cup Z_2\),
Writing \(\tau _2 = {\star }\tau _1 + \omega _2\), where \(\omega _2\) and also \({\star }\omega _2\) belong to \(H^1({\mathscr {R}},{{\mathbb {R}}})\) we have, by Lemma 7.1, \({\mathscr {E}}_{\mathfrak {K}}(\tau _2)=\big \langle {\star }\tau _1,{\star }\tau _1 \big \rangle _{\mathfrak {K}} + \big \langle \omega _2,\omega _2 \big \rangle _{\mathfrak {K}} = {\mathscr {E}}_{\mathfrak {K}}({\star }\tau _1) + E(\omega _2)\).
We complete the definitions setting
Finally, we define the \(\kappa \) constants as
In the case where \({\mathscr {R}}\) is the limit surface \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) or \(S^{{\scriptscriptstyle {\mathsf {F}}}}\) the constants will, respectively, be denoted by
Definition 7.9
\(P_{{\mathscr {R}}}(\lambda )\), \(\lambda >0\), is the matrix function with the following entries based on (7.12)–(7.16),
The analog of Theorem 4.3 in the nonseparating case is now as follows, where the \({\mathcal {O}}_{\mathrm{A}}\)symbol is as in (1.7). (The theorem is a restatement of Theorem 1.3, the proof follows in Sect. 7.4).
Theorem 7.10
Let S be a compact Riemann surface of genus \(g \ge 2\), \(\gamma \) a nonseparating geodesic of length \(\ell (\gamma ) \le \frac{1}{4}\) on S and \(\big (S_L\big )_{L\ge 4}\) with limit \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) the corresponding grafting family. Choose a canonical homology basis \(\mathrm{A} = (\alpha _1, \alpha _2, \ldots , \alpha _{2g})\) with \(\alpha _2 = \gamma \) and let \(P_{S_L}\), \(P_{S^{{\scriptscriptstyle {\mathsf {G}}}}}(\lambda )\) be the corresponding Gram period matrices. Finally set \(\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}} = {\mathscr {E}}_{\mathfrak {M}}(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}})\), where \(\mathfrak {M}\) is the main part of S with respect to \(\gamma \). Then for all \(L \ge 4\),
where the entries of the error term \(\rho ^{{\scriptscriptstyle {\mathsf {G}}}}(L)\) have the following growth rates
The Gram period matrix P of a compact Riemann surface is known to be symplectic where, in accordance with our conventions for a canonical homology basis (Sect. 1), P is called symplectic in our context, if \(P \mathbf{J}P=\mathbf{J}\) for the block diagonal matrix
As a consequence of the theorem we have the following.
Corollary 7.11
The matrices \(P_{{\mathscr {R}}}(\lambda )\) are symplectic for all \(\lambda >0\).
Proof
Any \({\mathscr {R}}\) can be understood as a limit \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) of some family \((S_L)_{L\ge 4}\). Using the fact that the matrices \(P_{S_L}\) are symplectic for every L we have, writing \(S^{{\scriptscriptstyle {\mathsf {G}}}} = {\mathscr {R}}\), \(\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L = \lambda \) and \(\rho ^{{\scriptscriptstyle {\mathsf {G}}}}(L) = r(\lambda )\),
with \(\Omega (\lambda ) = P_{{\mathscr {R}}}(\lambda ) \mathbf{J} r(\lambda ) + r(\lambda )\mathbf{J}P_{{\mathscr {R}}}(\lambda ) + r(\lambda ) \mathbf{J} r(\lambda )\). Now \(\mathbf{J}\) is constant, \(P_{{\mathscr {R}}}(\lambda ) \mathbf{J} P_{{\mathscr {R}}}(\lambda )\) is a rational function of \(\lambda \) and \(\Omega (\lambda )\) is exponentially decaying as \(\lambda \rightarrow \infty \). This is only possible if \(P_{{\mathscr {R}}}(\lambda ) \mathbf{J} P_{{\mathscr {R}}}(\lambda )\) is constant and \(\Omega (\lambda )\) vanishes identically. \(\square \)
For \(t>0\), we set
Then we obtain for the Fenchel–Nielsen construction:
Theorem 7.12
Let \((S_t)_{t \le \ell (\gamma )}\) with limit \(S^{{\scriptscriptstyle {\mathsf {F}}}}\) be the Fenchel–Nielsen family of S and set \(\mathfrak {m}^{{\scriptscriptstyle {\mathsf {F}}}} = {\mathscr {E}}_{\mathfrak {M^{{\scriptscriptstyle {\mathsf {F}}}}}}(\tau _1^{{\scriptscriptstyle {\mathsf {F}}}})\), where \(\mathfrak {M^{{\scriptscriptstyle {\mathsf {F}}}}}\) is the main part of \(S^{{\scriptscriptstyle {\mathsf {F}}}}\). For the Gram period matrices \(P_{S_t}\) and \(P_{S^{{\scriptscriptstyle {\mathsf {F}}}}}\) we have
where the entries of the error term \(\rho ^{{\scriptscriptstyle {\mathsf {F}}}}(t)\) have the following growth rates

\(\rho _{11}^{{\scriptscriptstyle {\mathsf {F}}}}(t) = {\mathcal {O}}_{\mathrm{A}}(t^4)\), \(\rho _{12}^{{\scriptscriptstyle {\mathsf {F}}}}(t) = {\mathcal {O}}_{\mathrm{A}}(t^2)\) \(\rho _{1j}^{{\scriptscriptstyle {\mathsf {F}}}}(t) = {\mathcal {O}}_{\mathrm{A}}(t^3)\), \(j=3, \ldots , 2g\),

\(\rho _{ij}^{{\scriptscriptstyle {\mathsf {F}}}}(t)={\mathcal {O}}_{\mathrm{A}}(t^2)\), \(i,j = 2,\ldots ,2g\).
7.4 Proof of Theorems 1.3 and 1.4
We now prove Theorems 7.10 and 7.12 respectively Theorems 1.3 and 1.4.
Proof of Theorem 7.10
In this proof the following notation is used: \(\tau _{1,L}, \tau _{2,L}, \ldots , \tau _{2g,L}\) is the relaxed dual basis on \(S_L\), and \(\tau _1^{{\scriptscriptstyle {\mathsf {G}}}}, \tau _2^{{\scriptscriptstyle {\mathsf {G}}}}, \ldots , \tau _{2g}^{{\scriptscriptstyle {\mathsf {G}}}}\) are the harmonic forms on \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) as above for the case \({\mathscr {R}}= S^{{\scriptscriptstyle {\mathsf {G}}}}\). We recall the center part \(\mathfrak {M}\) common to all \(S_L\) which also serves as center part of \(S^{{\scriptscriptstyle {\mathsf {G}}}}\) and abbreviate the essential energies
The \(q_{ij}\) in the inequalities that follow are the constants in the Definition 7.9 for the matrix family \(P_{S^{{\scriptscriptstyle {\mathsf {G}}}}}(\lambda )\),
where we recall that
for \(\omega , \eta \in H^{1,v}(S^{{\scriptscriptstyle {\mathsf {G}}}},{{\mathbb {R}}})\) ((7.4) with \(\mathfrak {K} = \mathfrak {M}\)). In particular, \(q_{ii}(S^{{\scriptscriptstyle {\mathsf {G}}}}) = E(\tau _i^{{\scriptscriptstyle {\mathsf {G}}}})\), \(i=3,\ldots ,2g\), and \(q_{22}(S^{{\scriptscriptstyle {\mathsf {G}}}}) = {\mathscr {E}}_{\mathfrak {M}}(\tau _2^{{\scriptscriptstyle {\mathsf {G}}}})\), where by (7.14)
Finally, we recall the periods introduced in (6.1) which we now write \(\kappa _{2,L}, \ldots , \kappa _{2g,L}\) while \(\kappa _2^{{\scriptscriptstyle {\mathsf {G}}}}, \ldots , \kappa _{2g}^{{\scriptscriptstyle {\mathsf {G}}}}\) denote the corresponding periods on \(S^{{\scriptscriptstyle {\mathsf {G}}}}\).
By Lemmas 5.4, 5.5 and the Convergence Theorem 7.3
with \(\mathfrak {z} < 2.3\). Furthermore, for \(j=2\) an application of (6.14) in Lemma 6.4 together with Theorem 7.3 yields
Here \(\rho _L < e^{2 \pi L}\) is from (6.11). For \(j \ge 3\) we obtain a better upper bound via inequality (6.13) in Lemma 6.4: taking \(\omega = \tau _{2,L}\), \(\eta = \star \tau _{j,L}\) and \({\tilde{\omega }} = \tau ^{{\scriptscriptstyle {\mathsf {G}}}}_{2}\), \({\tilde{\eta }} = \star \tau ^{{\scriptscriptstyle {\mathsf {G}}}}_{j}\) we get, in combination with (6.18) and Theorem 7.3,
where \(\nu _L < e^{2 \pi L}\) is again from (6.11). Finally, we recall Lemmas 6.9 and 6.5
where K is a constant estimated in terms of g, \({{\,\mathrm{sys}\,}}(\mathfrak {M})\) and \(\ell (\alpha _1)\) on S. Here \({{\,\mathrm{sys}\,}}(\mathfrak {M})\) is the length of the shortest closed geodesic on \(\mathfrak {M}\) and thus the shortest closed geodesic on S different from \(\gamma \). With the notation used for the definition of the \({\mathcal {O}}_{\mathrm{A}}\)symbol (below (1.7)): \({{\,\mathrm{sys}\,}}(\mathfrak {M}) = {{\,\mathrm{sys}\,}}_{\gamma }(S)\).
By (5.18) and (5.19) (where \({\mathscr {E}}= {\mathscr {E}}_{\mathfrak {M}}\)) we have
Together with (7.22) this yields
By (6.2), (6.3) and Lemma 6.1 we have
We now write, for \(j=2,\ldots ,2g\),
By Lemmas 6.7 and 6.8 the energies \(q_{kk}(S^{{\scriptscriptstyle {\mathsf {G}}}})\), \({\mathscr {E}}(\tau _{2,L})\), \(E(\tau _{j,L})\) in (7.24), (7.25) are effectively bounded above in terms of g, \({{\,\mathrm{sys}\,}}_{\gamma }(S)={{\,\mathrm{sys}\,}}(\mathfrak {M})\) and \(\max \{\ell (\alpha _1), \ldots , \ell (\alpha _{2g})\}\). The same holds, by Theorem 5.7, for \(\Gamma \). Hence, by (7.22)–(7.25)
In a similar way, using (7.27), we write, for \(i,j = 2, \ldots , 2g\),
where \([L]_{22} = L\), \([L]_{ij} = 0\), if \((i,j) \ne (2,2)\), and
Using (7.24) we get
By (7.19), (7.21), \(\big \langle \tau _i^{{\scriptscriptstyle {\mathsf {G}}}},\tau _j^{{\scriptscriptstyle {\mathsf {G}}}} \big \rangle _{\mathfrak {M}}+[L]_{ij} = q_{ij}(S^{{\scriptscriptstyle {\mathsf {G}}}})\), if \((i,j) \ne (2,2)\), and \(\big \langle \tau _2^{{\scriptscriptstyle {\mathsf {G}}}},\tau _2^{{\scriptscriptstyle {\mathsf {G}}}} \big \rangle _{\mathfrak {M}}+[L]_{22}=\mathfrak {m}^{{\scriptscriptstyle {\mathsf {G}}}}+L + \pi _{22}\). We thus have
and, in a similar way as before,
With (7.26) and the pairs (7.28), (7.29) and (7.30), (7.31) the proof of Theorem 1.3 and Theorem 7.10 respectively are now complete. \(\square \)
Proof of Theorem 7.12
The notation is as in the proof before, except that we now use the Fenchel–Nielsen construction, which changes any notation \((\,)^{{\scriptscriptstyle {\mathsf {G}}}}\) to \((\,)^{{\scriptscriptstyle {\mathsf {F}}}}\). In this case we have
We recall that
In view of the geometric bounds from Sects. 5 and 6 the theorem is a consequence of the following inequalities.
Following the lines of the proof of Lemma 5.5, but adding a quasiconformal map to compare the energies on \(S_L\) and \(S^{{\scriptscriptstyle {\mathsf {F}}}}\) together with the Convergence Theorem 7.3 we obtain now
The estimate for \(\rho _{11}^{{\scriptscriptstyle {\mathsf {F}}}}(L)\) then follows from (5.15) and the above inequality.
The remaining inequalities follow in the same steps as in the previous proof, noting that now \(\nu _L\) and \(\rho _L\) are of order \( {\mathcal {O}}_{\mathrm{A}}(t^2)\) as the quasiconformal map is involved. Furthermore by definition \(\frac{1}{L} = \frac{1}{L_t}\) is of order \( {\mathcal {O}}_{\mathrm{A}}(t)\). \(\square \)
References
Axler, S.: Harmonic functions from a complex analysis viewpoint. Am. Math. Mon. 93(4), 246–258 (1986)
Bers, L.: Spaces of degenerating Riemann surfaces. In: Discontinuous Groups and Riemann Surfaces (Proc. Conf., Univ. Maryland, College Park, Md., 1973), pp. 43–55. Ann. of Math. Studies, No. 79. Princeton University Press, Princeton (1974)
Buser, P., Makover, E., Muetzel, B., Silhol, R.: Quasiconformal embeddings of Ypieces. Comput. Methods Funct. Theory 14(2–3), 431–452 (2014)
Buser, P.: Geometry and Spectra of Compact Riemann Surfaces. Progress in Mathematics, vol. 106, p. xiv+454. Birkhäuser Boston, Inc., Boston, MA (1992)
Colbois, B., Courtois, G.: Les valeurs propres inférieures à \(\frac{1}{4}\) des surfaces de Riemann de petit rayon d’injectivité. Comment. Math. Helv. 64, 349–362 (1989)
Chang, F.R.: On the diameters of compact Riemann surfaces. Proc. Am. Math. Soc. 65(2), 274–276 (1977)
Dodziuk, J., McGowan, J., Perry, P.: Harmonic representatives forcuspidal cohomology classes. In: Number Theory, Analysis and Geometry, pp. 161–168. Springer, New York. https://doi.org/10.1007/9781461412601_8
Dodziuk, J.: Correction to “Harmonic representatives for cuspidalcohomology classes”. arXiv:1211.3490 (2012)
Dumas, D., Wolf, M.: Projective structures, grafting and measured laminations. Geom. Topol. 12(1), 351–386 (2008)
Falliero, T.: Dégénérescence de séries d’Eisenstein hyperboliques. Math. Ann. 339(2), 341–375 (2007)
Farkas, H.M., Kra, I.: Riemann Surfaces, 2nd edn. Springer, New York (1992)
Fay, J.D.: Theta Functions on Riemann Surfaces. Lecture Notes in Mathematics, vol. 352, p. iv+137. Springer, Berlin, New York (1973)
Grushevsky, S., Krichever, I.M., Norton, C.: Realnormalized differentials: limits on stable curves. Russ. Math. Surv. 74(2), 265–324 (2019)
Hu, X., Norton, C.: General variational formulas for abelian differentials. Int. Math. Res. Not. (2018). https://doi.org/10.1093/imrn/rny106
Imayoshi, Y., Taniguchi, M.: An introduction to Teichmüller spaces. In: Translated and revised from the Japanese by the authors. Springer, Tokyo (1992)
McMullen, C.T.: Complex earthquakes and Teichmüller theory. J. Am. Math. Soc. 11(2), 283–320 (1998)
Minda, C.D.: Square integrable differentials on Riemann surfaces and quasiconformal mappings. Trans. Am. Math. Soc. 195, 365–381 (1974)
Muetzel, B.: The Jacobian of a Riemann surface and the geometry of the cut locus of simple closed geodesics. Ann. Acad. Sci. Fenn. Math. 42(2), 693–721 (2017)
Yamada, A.: Precise variational formulas for abelian differentials. Kodai Math. J. 3(1), 114–143 (1980)
Acknowledgements
Open access funding provided by EPFL Lausanne.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Buser, P., Makover, E., Muetzel, B. et al. Energy distribution of harmonic 1forms and Jacobians of Riemann surfaces with a short closed geodesic. Math. Z. 297, 1899–1952 (2021). https://doi.org/10.1007/s00209020025848
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209020025848