arXiv subjects
Publications and source records attributed to Georg Schumacher.
Let $X$ and $Y$ be compact connected complex manifolds of the same dimension with $b_2(X)= b_2(Y)$. We prove that any surjective holomorphic map of degree one from $X$ to $Y$ is a biholomorphism. A version of this was established by the first two authors, but under an extra assumption that $\dim H^1(X {\mathcal O}_X)\,=\,\dim H^1(Y {\mathcal O}_Y)$. We show that this condition is actually automatically satisfied.
We investigate stable holomorphic vector bundles on a compact complex Kähler manifold and more generally on an orbifold that is equipped with a Kähler structure. We use the existence of Hermite-Einstein connections in this set-up and construct a generalized Weil-Petersson form on the moduli space of stable vector bundles with fixed determinant bundle. We show that the Weil-Petersson form extends as a (semi-)positive closed current for degenerating families that are restrictions of coherent sheaves. Such an extension will be called a Weil-Petersson current. When the orbifold is of Hodge type, there exists a determinant line bundle on the moduli space; this line bundle carries a Quillen metric, whose curvature coincides with the generalized Weil-Petersson form. As an application we show that the determinant line bundle extends to a suitable compactification of the moduli space.
The classical Hurwitz spaces, that parameterize compact Riemann surfaces equipped with covering maps to ${\mathbb P}_1$ of fixed numerical type with simple branch points, are extensively studied in the literature. We apply deformation theory, and present a study of the Kähler structure of the Hurwitz spaces, which reflects the variation of the complex structure of the Riemann surface as well as the variation of the meromorphic map. We introduce a generalized Weil-Petersson Kähler form on the Hurwitz space. This form turns out to be the curvature of a Quillen metric on a determinant line bundle. Alternatively, the generalized Weil-Petersson Kähler form can be characterized as the curvature form of the hermitian metric on the Deligne pairing of the relative canonical line bundle and the pull back of the anti-canonical line bundle on ${\mathbb P}_1$. Replacing the projective line by an arbitrary but fixed curve $Y$, we arrive at a generalized Hurwitz space with similar properties. The determinant line bundle extends to a compactification of the (generalized) Hurwitz space as a line bundle, and the Quillen metric yields a singular hermitian metric on the compactification so that a power of the determinant line bundle provides an embedding of the Hurwitz space in a projective space.
Given a family $(F,h) \to X \times S$ of Hermite-Einstein bundles on a compact Kähler manifold $(X,g)$ we consider the higher direct image sheaves $R^q p_* \mathcal{O}(F)$ on $S$, where $p: X \times S \to S$ is the projection. On the complement of an analytic subset these sheaves are locally free and carry a natural metric, induced by the $L_2$ inner product of harmonic forms on the fibers. We compute the curvature of this metric which has a simpler form for families with fixed determinant and families of endomorphism bundles. Furthermore, we discuss the metric for moduli spaces of stable vector bundles.
Let $X\rightarrow S$ be a smooth projective surjective morphism of relative dimension $n$, where $X$ and $S$ are integral schemes over $\mathbb C$. Let $L\rightarrow X$ be a relatively very ample line bundle. For every sufficiently large positive integer $m$, there is a canonical isomorphism of the Deligne pairing $\langle L ,\cdots , L\rangle\rightarrow S$ with the determinant line bundle ${\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m})$ \cite{PRS}. If we fix a hermitian structure on $L$ and a relative Kähler form on $X$, then each of the line bundles ${\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m})$ and $\langle L\, ,\cdots\, ,L\rangle$ carries a distinguished hermitian structure. We prove that the above mentioned isomorphism between $\langle L\, ,\cdots\, ,L\rangle\longrightarrow S$ and ${\rm Det}((L- {\mathcal O}_{X})^{\otimes (n+1)}\otimes L^{\otimes m})$ is compatible with these hermitian structures. This holds also for the isomorphism in \cite{BSW} between a Deligne paring and a certain determinant line bundle.
Given a family $f:\mathcal X \to S$ of canonically polarized manifolds, the unique Kähler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $\mathcal K_{\mathcal X/S}$. We use a global elliptic equation to show that this metric is strictly positive on $\mathcal X$, unless the family is infinitesimally trivial. For degenerating families we show that the curvature form on the total space can be extended as a (semi-)positive closed current. By fiber integration it follows that the generalized Weil-Petersson form on the base possesses an extension as a positive current. We prove an extension theorem for hermitian line bundles, whose curvature forms have this property. This theorem can be applied to a determinant line bundle associated to the relative canonical bundle on the total space. As an application the quasi-projectivity of the moduli space $\mathcal M_{\text{can}}$ of canonically polarized varieties follows. The direct images $R^{n-p}f_*Ω^p_{\mathcal X/S}(\mathcal K_{\mathcal X/S}^{\otimes m})$, $m > 0$, carry natural hermitian metrics. We prove an explicit formula for the curvature tensor of these direct images. We apply it to the morphisms $S^p \mathcal T_S \to R^pf_*Λ^p\mathcal T_{\mathcal X/S}$ that are induced by the Kodaira-Spencer map and obtain a differential geometric proof for hyperbolicity properties of $\mathcal M_{\text{can}}$.
Let $X \rightarrow S$ be a smooth projective surjective morphism, where $X$ and $S$ are integral schemes over complex numbers. Let L_0, L_1, .... L_{n-1}, L_{n} be line bundles over $X$. There is a natural isomorphism of the Deligne pairing $ $ with the determinant line bundle ${\rm Det}(\otimes_{i=0}^{n} (L_i- {\mathcal O}_{X}))$.
Given an effectively parameterized family of canonically polarized manifolds the Kaehler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle. We use a global elliptic equation to show that this metric is strictly positive. For degenerating families we obtain a singular hermitian metric. Main application is an analytic proof of the quasi-projectivity of the moduli space of canonically polarized manifolds. Further applications in arXiv:1002.4858v2.
We study the Weil-Petersson geometry for holomorphic families of Riemann Surfaces equipped with the unique conical metric of constant curvature -1.
Given an effectively parameterized family $f:X\to S$ of canonically polarized manifolds, the Kähler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $K_{X/S}$. We use a global elliptic equation to show that this metric is strictly positive everywhere and give estimates. The direct images $R^{n-p}f_*Ω^p_{X/S}(K_{X/S}^{\otimes m})$, $m > 0$, carry induced natural hermitian metrics. We prove an explicit formula for the curvature tensor of these direct images with estimates, which implies Nakano-positivity for $p=n$. The Kodaira-Spencer map induces morphisms $S^p\mathcal T_S \to R^p f_*Λ^p T_{X/S}$. For a suitable value of $p$ (and $\dim S=1$) a natural hermitian metric on $T_S$ of negative curvature is induced. A differential geometric proof for hyperbolicity properties of the moduli space follows.
We investigate the analog of holomorphic vector bundles in the context of Sasakian manifolds.
This paper has been withdrawn by the authors.
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.
We investigate differential geometric aspects of moduli spaces parametrizing solutions of coupled vortex equations over a compact Kaehler manifold X. These solutions are known to be related to polystable triples via a Kobayashi-Hitchin type correspondence. Using a characterization of infinitesimal deformations in terms of the cohomology of a certain elliptic double complex, we construct a Hermitian structure on these moduli spaces. This Hermitian structure is proved to be Kaehler. The proof involves establishing a fiber integral formula for the Hermitian form. We compute the curvature tensor of this Kaehler form. When X is a Riemann surface, the holomorphic bisectional curvature turns out to be semi--positive. It is shown that in the case where X is a smooth complex projective variety, the Kaehler form is the Chern form of a Quillen metric on a certain determinant line bundle.
We establish a Kobayashi-Hitchin correspondence for the stable Higgs sheaves on a compact Kaehler manifold. Using it, we also obtain a Kobayashi-Hitchin correspondence for the stable Higgs G-sheaves, where G is any complex reductive linear algebraic group.
We construct a Petersson-Weil type Kähler form on the moduli spaces of Higgs bundles over a compact Kähler manifold. A fiber integral formula for this form is proved, from which it follows that the Petersson-Weil form is the curvature of a certain determinant line bundle, equipped with a Quillen metric, on the moduli space of Higgs bundles over a projective manifold. The curvature of the Petersson-Weil Kähler form is computed. We also show that, under certain assumptions, a moduli space of Higgs bundles supports of natural hyper-Kähler structure.
By means of analytic methods the quasi-projectivity of the moduli space of algebraically polarized varieties with a not necessarily reduced complex structure is proven including the case of non-uniruled polarized varieties.
We study the asymptotics of the Weil-Petersson volumes of the moduli spaces of compact Riemann surfaces of genus $g$ with $n$ punctures, for fixed $n$ as $g \to \infty$.