1: \begin{definition} The Weil-Petersson geometry contains a \ka

2: orbifold

3: $M$ with the orbifold metric

4: $\omega_{WP}$ such that:

5: \begin{enumerate}

6: \item Let $\tilde M$ be the universal covering space of $M$. Then

7: there is a natural immersion $\tilde M\rightarrow D$ from $M$ to the

8: classifying space $D$ (cf. ~\cite{Gr}) such that $M$ is a

9: horizontal slice of

10: $D$. In this way, we can also endowed the Hodge bundles

11: $F^1,\cdots,F^n$ to $M$ where $F^n$ is a line bundle;

12: \item $\omega_{WP}$ is the curvature of the bundle $F^n$. It

13: is positive definite and thus defines a \ka metric in

14: ${M}$ and is called the Weil-Petersson metric;

15: \item $M$ is quasi-projective and $F^n$ is an ample line

16: bundle of $M$. 

17: The compactification is called Viehweg

18: compactification~\cite[page 21, Theorem 1.13]{V2}. The Hodge

19: bundles

20: $F^1,\cdots, F^n$ extend to the compactification $\bar M$ of $M$~

21: \footnote{This follows from Schmid's Nilpotent 

22: Orbit Theorem~\cite{Schmid}.};

23: \item After passing to a finite covering

24: and after desingularization, in a neighborhood of the infinity,

25: $M$ can be written as

26: \[

27: \Delta^{n-k}\times (\Delta^*)^{k},

28: \]

29: where $\Delta$ is the unit disk and $\Delta^*$ is the

30: punctured unit disk. Let $\Omega$ be a local section of

31: $F^n$ in the neighborhood, then locally, $\Omega$ can be

32: (multi-valuedly) written as

33: \[

34: \Omega=e^{\sqrt{-1}(N_1\log\frac{1}{z_1}+\cdots+N_k\log\frac{1}{z_k}

35: )}A(z_1,\cdots, z_n),  

36: \]

37: where $N_1,\cdots,N_k$ are nilpotent operators

38: and $A$ is a vector valued holomorphic function of

39: $z_1,\cdots,z_n$.

40: \end{enumerate}

41: \end{definition}

42: