arXiv subjects

Kang Zuo

Publications and source records attributed to Kang Zuo.

96 records · Page 6Linked to original sources

arXiv2003

Harmonic bundles on quasi-compact Kaehler manifolds

We define the C^*-action on moduli spaces of reductive representations of fundamental groups of quasi-compact Kaehler manifolds by solving Hermitian-Yang-Mills equation. As applications in algebraic geometry we show a non-abelian Hodge (p,q)-type theorem for families of quasi-projective manifolds. We also prove that any discrete sub group of a Lie group of rank >1 that is not of Hodge type can't be the fundamental group of a quasi-compact Kaehler manifold.

math.AG↗

arXiv2002

Base spaces of non-isotrivial families of smooth minimal models

Let f: V --> U be a smooth non-isotrivial family of canonically polarized n-dimensional complex manifolds, where U is the complement of a normal crossing divisor S in a projective manifold Y. We show that some symmetric product of the sheaf of one-forms with logarithmic poles along S contains an invertible subsheaf of positive Kodaira dimension. As a corollary one finds that U can not be a complete intersection in the projective N space of codimension l < N/2, nor the complement of l general hyperplanes, for l < N. Moreover, as shown by S. Kovacs before, U can not be a projective manifold with a nef tangent bundle. If the induced morphism to the moduli scheme is generically finite, one can also exclude U to be the product of more than n curves. Moreover, the existence of the family forces the automorphism group of U to be finite. Most of those results carry over to smooth families f:V --> U, with an f-semi-ample dualizing sheaf, provided f is of maximal variation.

math.AG↗

arXiv2002

Families of abelian varieties over curves with maximal Higgs field

Let f:X-->Y be a semi-stable family of complex abelian varieties over a curve Y of genus q, and smooth over the complement of s points. If F(1,0) denotes the non-flat (1,0) part of the corresponding variation of Hodge structures, the Arakelov inequalities say that 2deg(F(1,0)) is bounded from above by g=rank(F(1,0))(2q-2+s). We show that for s>0 families reaching this bound are isogenous to the g-fold product of a modular family of elliptic curves, and a constant abelian variety. The content of this note became part of the article "A characterization of certain Shimura curves in the moduly stack of abelian varieties" (math.AG/0207228), where we also handle the case s=0.

math.AG↗

arXiv2002

Families of K3 surfaces over curves satisfying the equality of Arakelov-Yau's type and modularity

Let $f:X\to C$ be a family of semistable K3 surfaces with non-empty set $S$ of singular fibres having infinite local monodromy. Then, when the so called Arakelov-Yau inequality reaches equality, we prove that $C\setminus S$ is a modular curve and the family comes essentially from a family of elliptic curves through a so called Nikulin-Kummer construction. In particular, when $C=\BBb P^1$, the family of elliptic curves must be one of Beauville's 6 examples where Arakelov inequality reaches equality.

math.AG↗

arXiv2000

Representations of fundamental groups of algebraic manifolds and their restrictions to fibers of a fibration

We use pluriharmonic maps to study representations of fundamental groups of algebraic manifolds. This approach is functorial in the sense that the restriction of such a map to a fiber of a fibration remains pluriharmonic, and on this basis, we can investigate the relation between the properties of the original representation and what can be inferred by restricting it to the fibers of a fibration.

math.AG↗

arXiv2000

On the isotriviality of families of projective manifolds over curves

Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative, and if Y is the projective line we show that f has at least 3 singular fibres. In general, for non-isotrivial morphisms f, one expects that the number of singular fibres is at least 3, if g=0, or at least 1, if g=1. Using the strong additivity of the Kodaira dimension, this is verified, if either F is of general type, or if F has a minimal model with a semi-ample canonical divisor. The corresponding result has been obtained by Migliorini and Kovacs, for families of surfaces of general type and for families of canonically polarized manifolds, and by Oguiso-Viehweg for families of elliptic surfaces. As a byproduct we obtain explicit bounds for the degree of the direct image of powers of the dualizing sheaf, generalizing those obtained by Bedulev-Viehweg for families of surfaces of general type.

math.AG↗