We study indigenous bundles in characteristic p>0 with nilpotent p-curvature, and show that they correspond to so-called deformation data. Using this equivalence, we translate the existence problem for deformation data into the existence of polynomial solutions of certain differential equations with additional properties. As in application, we show that P^1 minus four points is hyperbolically ordinary (in the sense of Mochizuki. We also give a concrete application to existence of deformation data with fixed local invariants.
The aim of the present paper is to provide a new aspect of the $p$-adic Teichmüller theory established by S. Mochizuki. We study the symplectic geometry of the $p$-adic formal stacks $\widehat{\mathcal{M}}_{g, \mathbb{Z}_p}$ (= the moduli classifying $p$-adic formal curves of fixed genus $g>1$) and $\widehat{\mathcal{S}}_{g, \mathbb{Z}_p}$ (= the moduli classifying $p$-adic formal curves of genus $g$ equipped with an indigenous bundle). A major achievement in the (classical) $p$-adic Teichmüller theory is the construction of the locus $\widehat{\mathcal{N}}_{g, \mathbb{Z}_p}^{\mathrm{ord}}$ in…
We study the symplectic nature of the moduli stack classifying dormant curves over a field $K$ of positive characteristic, i.e., proper hyperbolic curves over $K$ equipped with a dormant indigenous bundle. The central objects of the present paper are the following two Deligne-Mumford stacks. One is the cotangent bundle ${^\circledcirc T^{\vee ^\mathrm{Zzz...}}_{g,K}}$ of the moduli stack ${^\circledcirc \mathfrak{M}^{^\mathrm{Zzz...}}_{g,K}}$ classifying ordinary dormant curves over $K$ of genus $g$. The other is the moduli stack ${^\circledcirc \mathfrak{S}^{^\mathrm{Zzz...}}_{g,K}}$ classify…
Let $G$ be a real reductive Lie group, and $H^{\mathbb{C}}$ the complexification of its maximal compact subgroup $H\subset G$. We consider classes of semistable $G$-Higgs bundles over a Riemann surface $X$ of genus $g\geq2$ whose underlying $H^{\mathbb{C}}$-principal bundle is unstable. This allows us to find obstructions to a deformation retract from the moduli space of $G$-Higgs bundles over $X$ to the moduli space of $H^{\mathbb{C}}$-bundles over $X$, in contrast with the situation when $g=1$, and to show reducibility of the nilpotent cone of the moduli space of $G$-Higgs bundles, for $G$ c…
We study an algebraic inequality for nilpotent matrices and show some interesting geometric applications: (i) obtaining topological information for nilpotent polystable Higgs bundles over a compact Riemann surface; (ii) obtaining a sharp upper bound of the holomorphic sectional curvatures of the period domain and the Hodge metric on the Calabi-Yau moduli.
We consider the problem of finding the limit at infinity (corresponding to the downward Morse flow) of a Higgs bundle in the nilpotent cone under the natural $\mathbb{C}^*$-action on the moduli space. For general rank we provide an answer for Higgs bundles with regular nilpotent Higgs field, while in rank three we give the complete answer. Our results show that the limit can be described in terms of data defined by the Higgs field, via a filtration of the underlying vector bundle.
For a quasi-compact Kähler manifold $U$ endowed with a nilpotent harmonic bundle whose Higgs field is injective at one point, we prove that $U$ is pseudo-algebraically hyperbolic, pseudo-Picard hyperbolic, and is of log general type. Moreover, we prove that there is a finite unramified cover $\tilde{U}$ of $U$ from a quasi-projective manifold $\tilde{U}$ so that any projective compactification of $\tilde{U}$ is pseudo-algebraically hyperbolic, pseudo-Picard hyperbolic and is of general type. As a byproduct, we establish some criterion of pseudo-Picard hyperbolicity and pseudo-algebraic hyperbo…
In this paper, we provide an $L^2$ fine resolution of the prolongation of a nilpotent harmonic bundle in the sense of Simpson-Mochizuki (an analytic analogue of the Kashiwara-Malgrange filtrations). This is the logarithmic analogue of Cattani-Kaplan-Schmid's and Kashiwara-Kawai's results on the $L^2$ interpretation of the intersection complex. As an application, we give an $L^2$-theoretic proof to the Nadel-Kawamata-Viehweg vanishing theorem with coefficients in a nilpotent Higgs bundle.
The aim of the present paper is to lay the foundation for a theory of Ehresmann structures in positive characteristic, generalizing the Frobenius-projective and Frobenius-affine structures defined in the previous work. This theory deals with atlases of étale coordinate charts on varieties modeled on homogenous spaces of algebraic groups, which we call Frobenius-Ehresmann structures. These structures are compared with Cartan geometries in positive characteristic, as well as with higher-dimensional generalizations of dormant indigenous bundles. In particular, we investigate the conditions under …
We define and study the existence of very stable Higgs bundles on Riemann surfaces, how it implies a precise formula for the multiplicity of the very stable components of the global nilpotent cone and its relationship to mirror symmetry. The main ingredients are the Bialynicki-Birula theory of ${\mathbb C}^*$-actions on semiprojective varieties, ${\mathbb C}^*$ characters of indices of ${\mathbb C}^*$-equivariant coherent sheaves, Hecke transformation for Higgs bundles, relative Fourier-Mukai transform along the Hitchin fibration, hyperholomorphic structures on universal bundles and cominuscul…
Isomonodromic deformations of Higgs bundles and characterization of the non-abelian Noether--Lefschetz locus
Wuhan University(武汉大学);Xiamen University(厦门大学);University of Science and Technology of China(中国科学技术大学);Institut für Mathematik, Universität Mainz(美因茨大学数学研究所)