Geometric Approach to the Weil-Petersson Symplectic Form

Reynir Axelsson and Georg Schumacher

arXiv: 0808.3741v2 · PDF · 28 August 2008
Categories: math.DG, math.CV
Licence: CC BY 4.0 The site shows the text.

Abstract

In a family of compact, canonically polarized, complex manifolds the first variation of the lengths of closed geodesics is computed. As an application, we show the coincidence of the Fenchel-Nielsen and Weil-Petersson symplectic forms on the Teichmueller spaces of compact Riemann surfaces in a purely geometric way. The method can also be applied to situations like moduli spaces of weighted punctured Riemann surfaces, where the methods of Kleinian groups are not available.

Items 15

Theorem

Theorem 1.1

TE14

The complex derivative of a length coordinate with respect to a holomorphic coordinate equals half the integral of the corresponding harmonic Beltrami differential along the closed geodesic:

\left.\frac{\partial \ell^i(s)}{\partial s^\kappa}\right|_{s_0}= \frac{1}{2}\int_{\gamma_i} \mu_\kappa.

Theorem

Theorem 1.2

NBCL

The tangent vector \partial/\partial \tau^i|_{s_0} applied to a quadratic holomorphic differential \varphi=\varphi(z)dz^2 is given by the integration of the quadratic differential along the corresponding closed geodesic.

\left(\left.\frac{\partial}{\partial \tau^i}\right|_{s_0}\!\!, \varphi(z) dz^2\right)= \frac{\sqrt{-1}}{2} \int_{\gamma_i} \varphi.

Theorem

Theorem 1.3

MULI

The Fenchel-Nielsen symplectic form on the Teichmüller space is equal to the Weil-Petersson form:

\omega^{FN}=\omega^{WP} \text{, i.e. } -\sum_{i=1}^N d\tau^i\wedge d\ell^i = \sqrt{-1}\; G_{\kappa{\overline{\lambda}}}^{WP}\; ds^\kappa\wedge ds^{\overline{\lambda}}.

Used by Proof

Proposition

Proposition 2.1

4MFU

The horizontal lifts with respect to \omega_{\mathcal X} of tangent vectors induce harmonic representatives of Kodaira-Spencer classes: The harmonic representative of \rho(\partial/\partial s^i) equals A_{i{\overline{\beta}}}^\alpha \partial_\alpha dz^{\overline{\beta}}. These satisfy the following properties

(i)
\nabla_{\overline{\delta}} A^\alpha_{i{\overline{\beta}}}=\nabla_{\overline{\beta}} A^\alpha_{i{\overline{\delta}}},
(ii)
\nabla_\gamma A_{i{\overline{\beta}}}^\alpha g^{{\overline{\beta}}\gamma}=0,
(iii)
A_{i{\overline{\beta}}{\overline{\delta}}}=A_{i{\overline{\delta}}{\overline{\beta}}}.

Used by Proof

Definition

Definition 3.1

IUSR

Let C=C_{{\overline{\beta}}{\overline{\delta}}} be a tensor on the Kähler manifold X, and \gamma be a geodesic of length \ell, parameterized by u(t)= (u^1(t),\ldots,u^n(t)), such that \|\dot u(t)\|=1. Then

\int_\gamma C = \int_\gamma C_{{\overline{\beta}}{\overline{\delta}}}dz^{\overline{\beta}} dz^{\overline{\delta}} := \int_0^\ell C_{{\overline{\beta}}{\overline{\delta}}}(u(t)) \dot u^{\overline{\beta}} \dot u^{\overline{\delta}} dt.

Theorem

Theorem 3.2

CRHK

Let {\mathcal X} \to S be a family of canonically polarized, compact, complex manifolds equipped with Kähler-Einstein metrics. Let \gamma_s be a differentiable family of closed geodesics on the fibers {\mathcal X} _s, having the lengths \ell(s). Let \partial/\partial s^i|_{s=s_0} \in T_{s_0}S be a tangent vector. Then the first variation of the length of the closed geodesic with respect to the holomorphic parameter of the family is half the integral of the symmetric, harmonic Kodaira-Spencer tensor along the geodesic:

\left.\frac{\partial}{\partial s^i}\right|_{s=s_0}\!\!\!\ell(s)= \frac{1}{2} \int_{\gamma(s_0)} A_{i{\overline{\beta}}{\overline{\delta}}}dz^{\overline{\beta}} dz^{\overline{\delta}}.

Lemma

Lemma 3.3

J41E

\frac{\partial}{\partial s}\|\dot u\|^2 - \dot \chi = A_{s{\overline{\beta}}{\overline{\delta}}} \dot u^{\overline{\beta}}\dot u^{\overline{\delta}}.

Proof of Lemma 3.3

We use (?) and (?) together with (?) and (?) and apply Proposition 2.1. The statement now follows from a calculation.

Uses Proposition 2.1

Corollary

Corollary 7.1

ISUP

The vector fields \partial/\partial \tau^j are Hamiltonian with respect to the Weil-Petersson form:

\begin{aligned} \frac{\partial\ell^j}{\partial s^{\overline{\kappa}}}&=-\sqrt{-1} \left\langle \frac{\partial}{\partial \tau^j}, \mu_\kappa\right\rangle, \\ \frac{\partial\ell^j}{\partial s^\kappa}&= \sqrt{-1} \left\langle \mu_\kappa , \frac{\partial}{\partial \tau^j}\right\rangle. \end{aligned}

Used by Proof

Proof

Proof (Theorem :FNWP)

RRR6

We write \omega^{WP} in terms of Fenchel-Nielsen coordinates and begin with the contribution of the twist parameter involving d\tau^j\wedge d\tau^k. Since we are dealing with real forms, we need to show:

Uses Theorem 1.3

Claim

O3LF

The real part

\text{\rm Re}\left(\sqrt{-1}\; \left\langle \frac{\partial}{\partial s^\alpha},\frac{\partial}{\partial s^\beta} \right\rangle \frac{\partial s^\alpha}{\partial \tau^j} \frac{\partial s^{\overline{\beta}}}{\partial \tau^k}\right)

vanishes, in particular, it is symmetric in j and k.

Proof (the claim) of Claim

\begin{aligned} \sqrt{-1}\; \left\langle \frac{\partial}{\partial s^\alpha},\frac{\partial}{\partial s^\beta} \right\rangle \frac{\partial s^\alpha}{\partial \tau^j} \frac{\partial s^{\overline{\beta}}}{\partial \tau^k} &= \sqrt{-1} \; \left\langle \frac{\partial}{\partial s^\alpha},\frac{\partial s^\beta}{\partial \tau^k} \frac{\partial}{\partial s^\beta} \right\rangle \frac{\partial s^\alpha}{\partial \tau^j}\\ &= \sqrt{-1} \; \left\langle \frac{\partial}{\partial s^\alpha},\frac{\partial}{\partial \tau^k} \right\rangle \frac{\partial s^\alpha}{\partial \tau^j} \text{\footnotesize\quad (type consideration) }\\ & =\atop\eqref{eq:ltaudual2}& \frac{\partial \ell^k}{\partial s^\alpha}\cdot \frac{\partial s^\alpha}{\partial \tau^j}. \end{aligned}

The real part of this quantity equals $$ 12 ^k^j=0.

Uses Corollary 7.1

Corollary

Corollary 7.2

HZPT

The length coordinates \ell^j give rise to Hamiltonian vector fields \partial/\partial \ell^j:

\frac{\partial \tau^j}{\partial s^\alpha}=-\sqrt{-1} \left\langle \frac{\partial}{\partial s^\alpha},\frac{\partial}{\partial \ell^j} \right\rangle.

Corollary

Corollary 7.3

X82Q

Let \gamma and \delta be closed geodesics on X. Then

\frac{\partial \ell(\gamma)}{\partial \tau(\delta)} = - \frac{\partial \ell(\delta)}{\partial\tau(\gamma)}.

Proof of Corollary 7.3

We show that the left-hand side is skew symmetric in \gamma and \delta.

\begin{aligned} \frac{\partial \ell(\gamma)}{\partial \tau(\delta)} &=2 \text{\rm Re}\left( \frac{\partial\ell(\gamma)}{\partial s^\alpha}\cdot \frac{\partial s^\alpha}{\partial \tau(\delta)} \right)\\ &=\atop\eqref{eq:ltaudualvar}& 2 \text{\rm Re} \left(\sqrt{-1}\;\frac{\partial s^\alpha}{\partial \tau(\delta)}\cdot \left\langle\frac{\partial}{\partial s^\alpha},\frac{\partial}{\partial \tau(\gamma)} \right\rangle \right)\\ &= 2 \text{\rm Re} \left(\sqrt{-1}\;\frac{\partial s^\alpha}{\partial \tau(\delta)}\cdot\left\langle\frac{\partial}{\partial s^\alpha},\frac{\partial s^\beta}{\partial\tau(\gamma)}\frac{\partial}{\partial s^\beta} \right\rangle \right) \text{\footnotesize\quad (type consideration) }\\ &= 2 \text{\rm Re} \left( \sqrt{-1}\; G^{WP}_{\alpha{\overline{\beta}}}\frac{\partial s^\alpha}{\partial\tau(\delta)} \frac{\partial s^{\overline{\beta}}}{\partial \tau(\gamma)} \right)\\ &= \sqrt{-1} \; G^{WP}_{\alpha{\overline{\beta}}} \left(\frac{\partial s^\alpha}{\partial \tau(\delta)} \frac{\partial s^{\overline{\beta}}}{\partial \tau(\gamma)} - \frac{\partial s^\alpha}{\partial \tau(\gamma)} \frac{\partial s^{\overline{\beta}}}{\partial \tau(\delta)}\right). \end{aligned}

Source and licence

The text on this page is from arXiv:0808.3741v2 by Reynir Axelsson and Georg Schumacher, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/0808/0808.3741.jsonl.