Source author record

Mao Sheng

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

18works
2topics
4close collaborators

Published work

18 publications

preprint2016arXiv

Uniformization of pp-adic curves via Higgs-de Rham flows

Let kk be an algebraic closure of a finite field of odd characteristic. We prove that for any rank two graded Higgs bundle with maximal Higgs field over a generic hyperbolic curve X1X_1 defined over kk, there exists a lifting XX of the curve to the ring W(k)W(k) of Witt vectors as well as a lifting of the Higgs bundle to a periodic Higgs bundle over X/WX/W. As a consequence, it gives rise to a two-dimensional absolutely irreducible representation of the arithmetic fundamental group π1(XK)π_1(X_K) of the generic fiber of XX. This curve XX and its associated representation is in close relation with the canonical curve and its associated canonical crystalline representation in the pp-adic Teichmüller theory for curves due to S. Mochizuki. Our result may be viewed as an analogue of the Hitchin-Simpson's uniformization theory of hyperbolic Riemann surfaces via Higgs bundles.

preprint2014arXiv

On the cohomology groups of local systems over Hilbert modular varieties via Higgs bundles

Let XX be a Hilbert modular variety and V\mathbb{V} a non-trivial local system over XX with infinite monodromy. In this paper we study Saito's mixed Hodge structure (MHS) on the cohomology group Hk(X,V)H^k(X,\mathbb{V}) using the method of Higgs bundles. Among other results we prove the Eichler-Shimura isomorphism, give a dimension formula for the Hodge numbers and show that the mixed Hodge structure is split over R\mathbb{R}. These results are analogous to Matsushima-Shimura [Annals of Mathematics 78, 1963] in the cocompact case and complement the results in Freitag [Book: Hilbert modular forms, Springer-Verlag, Berlin, 1990] for constant coefficients.

preprint2014arXiv

The monodromy groups of Dolgachev's CY moduli spaces are Zariski dense

Let Mn,2n+2\mathcal{M}_{n,2n+2} be the coarse moduli space of CY manifolds arising from a crepant resolution of double covers of Pn\mathbb{P}^n branched along 2n+22n+2 hyperplanes in general position. We show that the monodromy group of a good family for Mn,2n+2\mathcal{M}_{n,2n+2} is Zariski dense in the corresponding symplectic or orthogonal group if n≥3n\geq 3. In particular, the period map does not give a uniformization of any partial compactification of the coarse moduli space as a Shimura variety whenever n≥3n\geq 3. This disproves a conjecture of Dolgachev. As a consequence, the fundamental group of the coarse moduli space of mm ordered points in Pn\mathbb{P}^n is shown to be large once it is not a point. Similar Zariski-density result is obtained for moduli spaces of CY manifolds arising from cyclic covers of Pn\mathbb{P}^n branched along mm hyperplanes in general position. A classification towards the geometric realization problem of B. Gross for type AA bounded symmetric domains is given.

preprint2013arXiv

Deuring's mass formula of a Mumford family

We study the Newton polygon jumping locus of a Mumford family in char pp. Our main result says that, under a mild assumption on pp, the jumping locus consists of only supersingular points and its cardinality is equal to (pr−1)(g−1)(p^r-1)(g-1), where rr is the degree of the defining field of the base curve of a Mumford family in char pp and gg is the genus of the curve. The underlying technique is the pp-adic Hodge theory.

preprint2013arXiv

Nonabelian Hodge theory in positive characterstic via exponential twisting

Let kk be a perfect field of odd characteristic and XX a smooth algebraic variety over kk which is W2W_2-liftable. We show that the exponent twisiting of the classical Cartier descent gives an equivalence of categories between the category of nilpotent Higgs sheaves of exponent ≤p−1\leq p-1 over X/kX/k and the category of nilpotent flat sheaves of exponent ≤p−1\leq p-1 over X/kX/k, and it is equivalent up to sign to the inverse Cartier and Cartier transforms for these nilpotent objects constructed in the nonabelian Hodge theory in positive characteristic by Ogus-Vologodsky. In view of the crucial role that Deligne-Illusie's lemma has ever played in their algebraic proof of E1E_1 degeneration and Kodaira vanishing theorem in abelian Hodge theory, it may not be overly surprising that again this lemma plays a significant role via the concept of Higgs-de Rham flow in establishing pp-adic Simpson correspondence in nonabelian Hodge theory and Langer's algebraic proof of Bogomolov inequality for semistable Higgs bundles and Miyaoka-Yau inequality.

preprint2013arXiv

Periodic Higgs subbundles in positive and mixed characteristic

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

preprint2013arXiv

Semistable Higgs bundles and representations of algebraic fundamental groups: Positive characteristic case

Let kk be an algebraic closure of finite fields with odd characteristic pp and a smooth projective scheme X/W(k)\mathbf{X}/W(k). Let X0\mathbf{X}^0 be its generic fiber and XX the closed fiber. For X0\mathbf{X}^0 a curve Faltings conjectured that semistable Higgs bundles of slope zero over XCp0\mathbf{X}^0_{\mathbb{C}_p} correspond to genuine representations of the algebraic fundamental group of XCp0\mathbf{X}^0_{\mathbb{C}_p} in his pp-adic Simpson correspondence. This paper intends to study the conjecture in the characteristic pp setting. Among other results, we show that isomorphism classes of rank two semistable Higgs bundles with trivial chern classes over XX are associated to isomorphism classes of two dimensional genuine representations of X0\mathbf{X}^0 and the image of the association contains all irreducible crystalline representations. We introduce intermediate notions strongly semistable Higgs bundles and quasi-periodic Higgs bundles between semistable Higgs bundles and representations of algebraic fundamental groups. We show that quasi-periodic Higgs bundles give rise to genuine representations and strongly Higgs semistable are equivalent to quasi-periodic. We conjecture that a Higgs semistable bundle is indeed strongly Higgs semistable.

preprint2012arXiv

An inverse Cartier transform via exponential in positive characteristic

Let kk be a perfect field of odd characteristic pp and X0X_0 a smooth connected algebraic variety over kk which is assumed to be W2(k)W_2(k)-liftable. In this short note we associate a de Rham bundle to a nilpotent Higgs bundle over X0X_0 of exponent n≤p−1n\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 W2(k)W_2(k), which plays the key role in the proof of E1E_1-degeration of the Hodge to de Rham spectral sequence of X0X_0 due to P. Deligne and L. Illusie.

preprint2012arXiv

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

For each natural odd number n≥3n\geq 3, we exhibit a maximal family of nn-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=3n=3, it can be partially compactified to a Shimura family of ball type, and for n=5,9n=5,9, there is a sub Q\mathbb Q-PVHS of the family uniformizing a Zariski open subset of an arithmetic ball quotient.

preprint2011arXiv

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≥1g\geq 1 over characteristic pp with nontrivial Kodaira-Spencer maps. We apply this inequality to obtain an upper bound of the number of algebraic curves of p−p-rank zero in a semi-stable family over characteristic pp 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 kk with W2W_2-lifting assumption is also included.

preprint2011arXiv

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.

preprint2011arXiv

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}.

preprint2010arXiv

On the monodromy of the moduli space of Calabi-Yau threefolds coming from eight planes in P3\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 P3\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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.