Searcharxiv⌕ Search

arXiv subjects

Kang Zuo

Publications and source records attributed to Kang Zuo.

At least 73 records · Page 4Linked to original sources

A characterization of special subvarieties in orthogonal Shimura varieties

Let $Y$ be a subvariety contained in a smooth Mumford compactification of an orthogonal Shimura variety $M \subset A_g$, where $A_g$ is the moduli space of principally polarized abelian varieties of dimension $g$ with some level structure, such that $Y$ intersects the boundary of $A_g$ transversally. Then we give necessary and sufficient conditions of André-Oort type for $Y$ itself being the compactification of a special subvariety $Y^0 \subset M$

math.AG↗

Periodic Higgs subbundles in positive and mixed characteristic

Let $k$ be an algebraically closed field of odd characteristic $p$ and $X$ a proper smooth scheme over the Witt ring $W(k)$. To an object $(M,Fil^{\cdot},\nabla,Φ)$ in the Faltings category $\mathcal{MF}^{\nabla}_{[0,n]}(X), n\leq p-2$, one associates an étale local system $\V$ over the generic fiber of $X$ and a Higgs bundle $(E,θ)$ over $X$. Our motivation is to find the analogue of the classical Simpson correspondence for the categories of subobjects of $\V$ and $(E,θ)$. Our main discovery in this paper is the notion of periodic Higgs subbundles, both in positive characteristic and in mixed characteristic. In char $p$, it relies on the inverse Cartier transform constructed by Ogus and Vologodsky in their work on the char $p$ nonabelian Hodge theory. A lifting of the inverse Cartier transform to mixed characteristic is constructed, which is used for the notion of periodicity in mixed characteristic. We show a one to one correspondence between the set of periodic Higgs subbundles of $(E,θ)$ and the set of étale sub local systems of $\V\otimes_{\Z_{p}}\Z_{p^r}$, where $r$ is a natural number. The notion turns out to be useful in applications. We have proven, among other results, that the reduction $(E,θ)_0$ of $(E,θ)$ modulo $p$ is Higgs stable, if and only if, the corresponding representation $\V$ is absolutely irreducible over $k$.

math.AG↗

Maximal families of Calabi-Yau manifolds with minimal length Yukawa coupling

For each natural odd number $n\geq 3$, we exhibit a maximal family of $n$-dimensional Calabi-Yau manifolds whose Yukawa coupling length is one. As a consequence, Shafarevich's conjecture holds true for these families. Moreover, it follows from Deligne-Mostow and Mostow that, for $n=3$, it can be partially compactified to a Shimura family of ball type, and for $n=5,9$, there is a sub $\mathbb Q$-PVHS of the family uniformizing a Zariski open subset of an arithmetic ball quotient.

math.AG↗

An inverse Cartier transform via exponential in positive characteristic

Let $k$ be a perfect field of odd characteristic $p$ and $X_0$ a smooth connected algebraic variety over $k$ which is assumed to be $W_2(k)$-liftable. In this short note we associate a de Rham bundle to a nilpotent Higgs bundle over $X_0$ of exponent $n\leq p-1$ via the exponential function. Presumably, the association is equivalent to the inverse Cartier transform of A. Ogus and V. Vologodsky for these Higgs bundles. However this point has not been verified in the note. Instead, we show the equivalence of the association with that of Sheng-Xin-Zuo in the geometric case. The construction relies on the cocycle property of the difference of different Frobenius liftings over $W_2(k)$, which plays the key role in the proof of $E_1$-degeration of the Hodge to de Rham spectral sequence of $X_0$ due to P. Deligne and L. Illusie.

math.AG↗

$L^2$ and intersection cohomologies for the reductive representation of the fundamental groups of quasiprojective manifolds with unipotent local monodromy

Let $X$ be a projective manifold, and $D$ be a normal crossing divisor of $X$. By Jost-Zuo's theorem that if we have a reductive representation $ρ$ of the fundamental group $π_{1}(X^{*})$ with unipotent local monodromy, where $X^*=X-D$, then there exists a tame pluriharmonic metric $h$ on the flat bundle $\mathcal V$ associated to the local system $\mathbb V$ obtain from $ρ$ over $X^*$. Therefore, we get a harmonic bundle $(E, θ, h)$, where $θ$ is the Higgs field, i.e. a holomorphic section of $End(E)\otimesΩ^{1,0}_{X^*}$ satisfying $θ^2=0$. In this paper, we study the harmonic bundle $(E,θ,h)$ over $X^*$. We are going to prove that the intersection cohomology $IH^{k}(X; \mathbb V)$ is isomorphic to the $L^{2}$-cohomology $H^{k}(X, (\mathcal A_{(2)}^{\cdot}(X,\mathcal V), \mathbb D))$.

math.DG↗

Calabi-Yau Varieties with Fibre Structures

Motivated by the Strominger-Yau-Zaslow conjecture, we study fibre spaces whose total space has trivial canonical bundle. Especially, we are interest in Calabi-Yau varieties with fibre structure. In this paper, we only consider semi-stable families. We use Hodge theory and the generalized Donaldson-Simpson-Uhlenbeck-Yau correspondence to study the parabolic structure of higher direct images over higher dimensional quasi-projective base, and obtain an important result on parabolic-semi-positivity. We then apply this result to study nonisotrivial Calabi-Yau varieties fibred by Abelian varieties (or fibred by hyperkähler varieties), we obtain that the base manifold for such a family is rationally connected and the dimension of a general fibre depends only on the base manifold.

math.AG↗

An Arakelov Inequality in Characteristic p and Upper Bound of p-Rank Zero Locus

In this paper we show an Arakelov inequality for semi-stable families of algebraic curves of genus $g\geq 1$ over characteristic $p$ with nontrivial Kodaira-Spencer maps. We apply this inequality to obtain an upper bound of the number of algebraic curves of $p-$rank zero in a semi-stable family over characteristic $p$ with nontrivial Kodaira-Spencer map in terms of the genus of a general closed fiber, the genus of the base curve and the number of singular fibres. An extension of the above results to smooth families of Abelian varieties over $k$ with $W_2$-lifting assumption is also included.

math.AG↗

Higgs bundles over the good reduction of a quaternionic Shimura curve

This paper is devoted to the study of the Higgs bundle associated with the universal abelian variety over the good reduction of a Shimura curve of PEL type. Due to the endomorphism structure, the Higgs bundle decomposes into the direct sum of Higgs subbundles of rank two. They are basically divided into two type: uniformizing type and unitary type. As the first application we obtain the mass formula counting the number of geometric points of the degeneracy locus in the Newton polygon stratification. We show that each Higgs subbundle is Higgs semistable. Furthermore, for each Higgs subbundle of unitary type, either it is strongly semistable, or its Frobenius pull-back of a suitable power achieves the upper bound of the instability. We describe the Simpson-Ogus-Vologodsky correspondence for the Higgs subbundles in terms of the classical Cartier descent.

math.AG↗

Polarized Variation of Hodge Structures of Calabi-Yau Type and Characteristic Subvarieties Over Bounded Symmetric Domains

In this paper we extend the construction of the canonical polarized variation of Hodge structures over tube domain considered by B. Gross in \cite{G} to bounded symmetric domain and introduce a series of invariants of infinitesimal variation of Hodge structures, which we call characteristic subvarieties. We prove that the characteristic subvariety of the canonical polarized variations of Hodge structures over irreducible bounded symmetric domains are identified with the characteristic bundles defined by N. Mok in \cite{M}. We verified the generating property of B. Gross for all irreducible bounded symmetric domains, which was predicted in \cite{G}.

math.AG↗

Canonical Class Inequality for Fibred Spaces

We establish the canonical class inequality for families of higher dimensional projective manifolds. As an application, we get a new inequality between the Chern numbers of 3-folds with smooth families of minimal surfaces of general type over a curve, $c_1^3<18c_3$.

math.AG↗

On the monodromy of the moduli space of Calabi-Yau threefolds coming from eight planes in $\mathbb{P}^3$

It is a fundamental problem in geometry to decide which moduli spaces of polarized algebraic varieties are embedded by their period maps as Zariski open subsets of locally Hermitian symmetric domains. In the present work we prove that the moduli space of Calabi-Yau threefolds coming from eight planes in $\mathbb{P}^3$ does {\em not} have this property. We show furthermore that the monodromy group of a good family is Zariski dense in the corresponding symplectic group. Moreover, we study a natural sublocus which we call hyperelliptic locus, over which the variation of Hodge structures is naturally isomorphic to wedge product of a variation of Hodge structures of weight one. It turns out the hyperelliptic locus does not extend to a Shimura subvariety of type III (Siegel space) within the moduli space. Besides general Hodge theory, representation theory and computational commutative algebra, one of the proofs depends on a new result on the tensor product decomposition of complex polarized variations of Hodge structures.

math.AG↗

Hodge classes associated to 1-parameter families of Calabi-Yau 3-folds

We use $L^2$-Higgs cohomology to determine the Hodge numbers of the parabolic cohomology $H^1(\bar S, j_*\V)$, where the local system $\V$ arises from the third primitive cohomology of family of Calabi-Yau threefolds over a curve $\bar S$. The method gives a way to predict the presence of algebraic 2-cycles in the total space of the family and is applied to some examples.

math.AG↗

Harmonic metrics on unipotent bundles over quasi-compact Kaehler manifolds

In this note, we propose an approach to the study of the analogue for unipotent harmonic bundles of Schmid's Nilpotent Orbit Theorem. Using this approach, we construct harmonic metrics on unipotent bundles over quasi-compact Kähler manifolds with carefully controlled asymptotics near the compactifying divisor; such a metric is unique up to some isometry. Such an asymptotic behavior is canonical in some sense.

math.DG↗

Stability of Hodge bundles and a numerical characterization of Shimura varieties

Consider a family f:A --> U of g-dimensional abelian varieties over a quasiprojective manifold U. Suppose that the induced map from U to the moduli scheme of polarized abelian varieties is generically finite and that there is a projective manifold Y, containing U as the complement of a normal crossing divisor S, such that the sheaf of logarithmic one forms is nef and that its determinant is ample with respect to U. We characterize whether $U$ is a Shimura variety by numerical data attached to the variation of Hodge structures, rather than by properties of the map from U to the moduli scheme or by the existence of CM points. More precisely, we show that U is a Shimura variety, if and only if two conditions hold. First, each irreducible local subsystem V of the complex weight one variation of Hodge structures is either unitary or satisfies the Arakelov equality. Secondly, for each factor M in the universal cover of U whose tangent bundle behaves like the one of a complex ball, an iterated Kodaira-Spencer map associated with V has minimal possible length in the direction of M.

math.AG↗