Quasi-Hodge metrics and canonical singularities. (Q1565806)

In this paper, for any smooth projective family \({X} \rightarrow S\) over a smooth base \(S\) such that \({X}_{s}\) has semi-ample canonical bundle, the author defines for each large \(m \in {\mathbb N}\) a Kähler metric \(g_{m}\) on \(S,\) called the \(m\)-th quasi-Hodge metric. Theorem 1.1. For any smooth projective family \(\pi : {X} \rightarrow \Delta^{\times},\) (1) The quasi-Hodge metric \(g_{H}\) is incomplete if and only if \(H^{n,0}({X}_{s})\) consists of \(T^{r}\)-invariant cycles for some \(r \in {\mathbb N}.\) (2) In terms of a semi-stable model with \({X}_{0} = \bigcup_{i=0}^{N} X_{i},\) \(g_{H}\) is incomplete if and only if \(p_{g}({X}_{s}) = \sum_{i=0}^{N} p_{g}(X_{i})\) holds. (3) In particular, degenerations with Gorenstein canonical singularities have finite \(g_{H}\) distance. Theorem 1.4. Let \(\pi : {X}^{\times} \rightarrow \Delta^{\times}\) be a projective family of smooth curves of genus \(\geq 2,\) then \(g_{m}\) is defined for all \(m \in {\mathbb N}\) and the incompleteness of \(g_{m}\) for any three values of \(m\)'s implies that up to a finite base change \(\pi\) can be completed into a smooth family.