Table of Contents
Fetching ...

Parallel transport for Higgs bundles over p-adic curves

Daxin Xu

TL;DR

The paper constructs and analyzes a p-adic Simpson-type framework for curves of genus at least 2, linking finite-dimensional representations of the geometric étale fundamental group to Higgs bundles whose underlying bundles admit strongly semistable degree-zero reductions. By developing Higgs crystals, the Higgs envelope, and a twisted inverse image formalism within the Faltings topos, it defines a global functor $H_{ ext{X}, ext{Exp}}$ from $f C$-representations to Higgs bundles and a quasi-inverse $V_{ ext{X}, ext{Exp}}$ back to representations, with careful descent arguments ensuring independence from choices. It proves that the image Higgs bundles are semistable of degree zero, and that the constructions are compatible with Deninger–Werner theory, yielding an abelian, closed-under-extensions subcategory $ ext{HB}^{ ext{pDW}}_{ ext{X,Exp}}(X_{f C})$ that encapsulates the pDW phenomenon. The work provides a concrete realization of how true $p$-adic representations arise from, and recover, Higgs data in the p-adic Simpson landscape, and offers substantial evidence toward Faltings’ conjecture in the curve case through explicit descent and parallel transport.

Abstract

Faltings conjectured that under the p-adic Simpson correspondence, finite dimensional p-adic representations of the geometric étale fundamental group of a smooth proper p-adic curve X are equivalent to semi-stable Higgs bundles of degree zero over X. In this article, we establish, over a p-adic curve of genus $g\ge 2$, an equivalence between these representations and Higgs bundles, whose underlying bundles potentially admit a strongly semi-stable reduction of degree zero. We show that these Higgs bundles are semi-stable of degree zero and investigate some evidence for the aforementioned conjecture.

Parallel transport for Higgs bundles over p-adic curves

TL;DR

The paper constructs and analyzes a p-adic Simpson-type framework for curves of genus at least 2, linking finite-dimensional representations of the geometric étale fundamental group to Higgs bundles whose underlying bundles admit strongly semistable degree-zero reductions. By developing Higgs crystals, the Higgs envelope, and a twisted inverse image formalism within the Faltings topos, it defines a global functor from -representations to Higgs bundles and a quasi-inverse back to representations, with careful descent arguments ensuring independence from choices. It proves that the image Higgs bundles are semistable of degree zero, and that the constructions are compatible with Deninger–Werner theory, yielding an abelian, closed-under-extensions subcategory that encapsulates the pDW phenomenon. The work provides a concrete realization of how true -adic representations arise from, and recover, Higgs data in the p-adic Simpson landscape, and offers substantial evidence toward Faltings’ conjecture in the curve case through explicit descent and parallel transport.

Abstract

Faltings conjectured that under the p-adic Simpson correspondence, finite dimensional p-adic representations of the geometric étale fundamental group of a smooth proper p-adic curve X are equivalent to semi-stable Higgs bundles of degree zero over X. In this article, we establish, over a p-adic curve of genus , an equivalence between these representations and Higgs bundles, whose underlying bundles potentially admit a strongly semi-stable reduction of degree zero. We show that these Higgs bundles are semi-stable of degree zero and investigate some evidence for the aforementioned conjecture.
Paper Structure (27 sections, 60 theorems, 206 equations)

This paper contains 27 sections, 60 theorems, 206 equations.

Key Result

Theorem 1.1.7

(i) The functor $\mathbb{H}_{\mathcal{X},\mathop{\mathrm{Exp}}\nolimits}$ factors through the category $\mathop{\mathrm{HB}}\nolimits_{\mathcal{X},\mathop{\mathrm{Exp}}\nolimits}^{\mathop{\mathrm{pDW}}\nolimits}(X_{\mathbf{C}})$: (ii) There exists a quasi-inverse $\mathbb{V}_{\mathcal{X},\mathop{\mathrm{Exp}}\nolimits}$ of $\mathbb{H}_{\mathcal{X},\mathop{\mathrm{Exp}}\nolimits}$:

Theorems & Definitions (124)

  • Theorem 1.1.7: \ref{['c:C-rep to HBpDW']}, \ref{['t:HBpDW to C-rep']}
  • Remark 1.1.8
  • Theorem 1.1.9: § \ref{['ss:pDW']}, \ref{['c:abelian']}
  • Remark 1.1.11
  • Proposition 1.1.12
  • Definition 2.1.1: AGT IV.2.1.1
  • Definition 2.1.2: AGT IV.2.1.5
  • Lemma 2.1.5
  • proof
  • Remark 2.2.3
  • ...and 114 more