SearcharxivSearch

arXiv · 1709.01485

Projective Crystalline Representations of \'Etale Fundamental Groups and Twisted Periodic Higgs-de Rham Flow

Abstract

This paper contains three new results. {\bf 1}.We introduce new notions of projective crystalline representations and twisted periodic Higgs-de Rham flows. These new notions generalize crystalline representations of \'etale fundamental groups introduced in [7,10] and periodic Higgs-de Rham flows introduced in [19]. We establish an equivalence between the categories of projective crystalline representations and twisted periodic Higgs-de Rham flows via the category of twisted Fontaine-Faltings module which is also introduced in this paper. {\bf 2.}We study the base change of these objects over very ramified valuation rings and show that a stable periodic Higgs bundle gives rise to a geometrically absolutely irreducible crystalline representation. {\bf 3.} We investigate the dynamic of self-maps induced by the Higgs-de Rham flow on the moduli spaces of rank-2 stable Higgs bundles of degree 1 on $\mathbb{P}^1$ with logarithmic structure on marked points $D:=\{x_1,\,...,x_n\}$ for $n\geq 4$ and construct infinitely many geometrically absolutely irreducible $\mathrm{PGL_2}(\mathbb Z_p^{\mathrm{ur}})$-crystalline representations of $\pi_1^\text{et}(\mathbb{P}^1_{{\mathbb{Q}}_p^\text{ur}}\setminus D)$. We find an explicit formula of the self-map for the case $\{0,\,1,\,\infty,\,\lambda\}$ and conjecture that a Higgs bundle is periodic if and only if the zero of the Higgs field is the image of a torsion point in the associated elliptic curve $\mathcal{C}_\lambda$ defined by $ y^2=x(x-1)(x-\lambda)$ with the order coprime to $p$.

Explore related subjects

Keep this discovery

BibTeXRIS

Ruiran Sun, Jinbang Yang, Kang Zuo. 2017-09-05. Projective Crystalline Representations of \'Etale Fundamental Groups and Twisted Periodic Higgs-de Rham Flow. https://arxiv.org/abs/1709.01485

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Perverse Euler Characteristics of Hermitian Locally Symmetric Spaces

We prove that finite-volume locally Hermitian symmetric spaces of noncompact type have nonnegative perverse Euler characteristics. To show this, we obtain a nefness result for the logarithmic cotangent bundle of a smooth toroidal compactification. Combining this with a positivity criterion for Euler characteristics of perverse sheaves, we deduce the nonnegativity result. We further prove that the inequality is strict for perverse sheaves with full support. As applications, we get nonnegativity results for perverse Euler characteristics on various moduli spaces.

math.AG

Coupled Pklt Tuples and Varieties of Pklt Type

We introduce asymptotic multiplier ideal sheaves and log canonical thresholds associated with tuples of pseudoeffective divisors on a projective klt pair. We prove that the threshold of a coupled potentially klt tuple is computed by a quasi-monomial valuation. For varieties of potentially klt type, we prove that every big divisor admits a birational Zariski decomposition with semiample positive part. We also prove finite generation of multisection rings of big divisors and give a criterion for a variety of potentially klt type to be a Mori dream space.

math.AG

Graded Betti numbers of general curves of large degree

Let $C$ be a smooth projective complex curve of genus $g$ and gonality $k$, and $L$ be a very ample line bundle on $C$. When $L$ has sufficiently large degree, the vanishing and nonvanishing of the Koszul cohomology groups $K_{p,q}(C,L)$ have been determined previously, but the exact values of the graded Betti numbers $\kappa_{p,q}(C, L)$ remain largely unknown. In this paper, we give explicit closed formulas for all graded Betti numbers $\kappa_{p,q}(C, L)$ when the Brill--Noether locus $W_k^1(C)$ has the expected dimension and $H^1(C, L \otimes \omega_C^{-1})=0$. Consequently, we determine the complete Betti table for a general curve when $\deg L \geq 4g-3$ or when $\deg L \geq 3g-3$ and $L$ is general. We also explicitly compute the Boij--S\"{o}derberg coefficient of the section ring $R(C, L)$ governing asymptotic purity, and show eventual monotonicity of the remaining coefficients: they decrease for hyperelliptic curves and increase under a natural generic reducedness assumption on the relevant Brill--Noether loci.

math.AG