For a certain class of vector bundles E on abelian varieties A over local fields containing all line bundles algebraically equivalent to zero we define a canonical representation of the Tate module of A on the fibre of E in the zero section. This extends an old construction of Tate for line bundles to vector bundles of higher rank. We also compare this construction to the theory of parallel transport for vector bundles on p-adic curves developed in mathAG/0403516. Relations with the Hodge-Tate decomposition are also explained.
We develop a theory of étale parallel transport for vector bundles with numerically flat reduction on a $p$-adic variety. This construction is compatible with natural operations on vector bundles, Galois equivariant and functorial with respect to morphisms of varieties. In particular, it provides a continuous $p$-adic representation of the étale fundamental group for every vector bundle with numerically flat reduction. The results in the present paper generalize previous work by the authors on curves. They can be seen as a $p$-adic analog of higher-dimensional generalizations of the classical …
In [DW05] and [DW07], C. Deninger and A. Werner developed a partial p-adic analogue of the classical Narasimhan-Seshadri correspondence between vector bundles and representations of the fundamental group. We will investigate the various monodromy groups that occur in this theory, that is the image of these representations and their Zariski closure as well as the Tannaka dual group of these vector bundles.
We prove that a category of degree zero vector bundles with "potentially strongly semistable reduction" on a p-adic curve is a neutral Tannakian category. We also make a first study of the corresponding affine group scheme. In particular, we determine its group of connected components using a theorem of Weil.
We define functorial isomorphisms of parallel transport along étale paths for a class of principal $G$-bundles on a $p$-adic curve. Here $G$ is a connected reductive algebraic group of finite presentation and the considered principal bundles are just those with potentially strongly semistable reduction of degree zero. The constructed isomorphisms yield continous functors from the étale fundamental groupoid of the given curve to the category of topological spaces with a simply transitive continous right $G(\mathbb{C}_{p})$-action. This generalizes a construction in the case of vector bundles on…
The p-adic Simpson correspondence due to Faltings is a p-adic analogue of non-abelian Hodge theory. The following is the main result of this article: The correspondence for line bundles can be enhanced to a rigid analytic morphism of moduli spaces under certain smallness conditions. In the complex setting, Simpson shows that there is a complex analytic morphism from the moduli space for the vector bundles with integrable connection to the moduli space of representations of a finitely generated group as algebraic varieties. We give a p-adic analogue of Simpson's result.
We study the motivic and $\ell$-adic realizations of the dg category of singularities of the zero locus of a global section of a line bundle over a regular scheme. We will then use the formula obtained in this way together with a theorem due to D.~Orlov and J.~Burke - M.~Walker to give a formula for the $\ell$-adic realization of the dg category of singularities of the special fiber of a scheme over a regular local ring of dimension $n$.
For an abeloid variety $A$ over a complete algebraically closed field extension $K$ of $\mathbb Q_p$, we construct a $p$-adic Corlette-Simpson correspondence, namely an equivalence between finite-dimensional continuous $K$-linear representations of the Tate module and a certain subcategory of the Higgs bundles on $A$. To do so, our central object of study is the category of vector bundles for the $v$-topology on the diamond associated to $A$. We prove that any pro-finite-étale $v$-vector bundle can be built from pro-finite-étale $v$-line bundles and unipotent $v$-bundles. To describe the latte…
We extend our previous theory of etale parallel transport to a larger class of slope zero vector bundles on p-adic curves. The new class is stable under pullback by ramified coverings. We also construct p-adic representations of a central extension of the fundamental group for certain bundles of non-zero slope.
We define and study a certain category of vector bundles on a p-adic curve to which we can associate in a functorial way finite dimensional p-adic representations of the geometric fundamental group. Among other things we investigate two different relations of these constructions with the Hodge-Tate decomposition.
We study the p-adic deformation properties of algebraic cycle classes modulo rational equivalence. We show that the crystalline Chern character of a vector bundle lies in a certain part of the Hodge filtration if and only if, rationally, the class of the vector bundle lifts to a formal pro-class in K-theory on the p-adic scheme.
For a vector bundle E on a model of a smooth projective curve over a p-adic number field a p-adic representation of the geometric fundamental group of X has been defined in work with Annette Werner if the reduction of E is strongly semistable of degree zero. In the present note we calculate the reduction of this representation using the theory of Nori's fundamental group scheme.
Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective modules over $\mathcal{O}_X(X)$ form a stack with respect to the analytic topology on $X$; in particular, we prove that the category of vector bundles on $X$ is equivalent to the category of finite projective modules over $\mathcal{O}_X(X)$. To that end, we construct a fully faithful functor from the category of complete Huber pairs to the category of analytic …
Given two arbitrary vector bundles on the Fargues-Fontaine curve, we give an explicit criterion in terms of Harder-Narasimhan polygons on whether they realize a semistable vector bundle as their extensions. Our argument is largely combinatorial and builds upon the dimension analysis of certain moduli spaces of bundle maps developed in [BFH+22].
For any smooth proper rigid space $X$ over a complete algebraically closed extension $K$ of $\mathbb Q_p$ we give a geometrisation of the $p$-adic Simpson correspondence of rank one in terms of analytic moduli spaces: The $p$-adic character variety is canonically an étale twist of the moduli space of topological torsion Higgs line bundles over the Hitchin base. This also eliminates the choice of an exponential. The key idea is to relate both sides to moduli spaces of $v$-line bundles: We develop a theory of topological torsion subsheaves of $v$-sheaves and apply this to the diamantine $v$-Pica…
We define functorial isomorphisms of parallel transport along etale paths for a class of vector bundles on a p-adic curve. All bundles of degree zero whose reduction is strongly semistable belong to this class. In particular, they give rise to representations of the algebraic fundamental group of the curve. This may be viewed as a partial analogue of the classical Narasimhan-Seshadri theory of vector bundles on compact Riemann surfaces.
Let $k$ 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 $X_1$ defined over $k$, there exists a lifting $X$ of the curve to the ring $W(k)$ of Witt vectors as well as a lifting of the Higgs bundle to a periodic Higgs bundle over $X/W$. As a consequence, it gives rise to a two-dimensional absolutely irreducible representation of the arithmetic fundamental group $π_1(X_K)$ of the generic fiber of $X$. This curve $X$ and its associated representation is in close relation wit…
Let $p$ be a prime. This papers aims at investigating sheaf cohomology of a broader class of $p$-adic period domains, other then the Drinfeld's upper half space (cf. \cite{O2}). Concretely, we let $\mathbf{G}$ be a split connected reductive group over $\mathbb{Q}_p$ and restrict our attention to the $p$-adic period domain $\mathscr{F}^{\mathrm{wa}}$ which parametrizes the weakly admissible filtrations on the trivial $\mathbf{G}$-isocrystal inside a complete flag variety $\mathscr{F}$. Then, we consider sheaf cohomology of $\mathscr{F}^{\mathrm{wa}}$ with coefficients in vector bundles which ar…
We show how to functorially attach continuous $p$-adic representations of the profinite fundamental group to vector bundles with numerically flat reduction on a proper rigid analytic variety over $\mathbb{C}_p$. This generalizes results by Deninger and Werner for vector bundles on smooth algebraic varieties. Our approach uses fundamental results on the pro-étale site of a rigid analytic variety introduced by Scholze. This enables us to get rid of the smoothness condition and to work in the analytic category. Moreover, under some mild conditions, the functor we construct gives a full embedding …
We define functorial isomorphisms of parallel transport along etale paths for a class of G-principal bundles on a p-adic curve where G is a connected reductive algebraic group of finite presentation. This class consists of all principal bundles with potentially strongly semistable reduction of degree zero. In particular, this construction gives us a continous functor from the etale fundamental grupoid of the given curve to the category of topological spaces with a simply transitive continous right G(\mathbb{C}_{p})-action for every such principal bundle. This generalizes the construction of fu…
We prove the Topological Mirror Symmetry Conjecture by Hausel-Thaddeus for smooth moduli spaces of Higgs bundles of type $\operatorname{SL}_n$ and $\operatorname{PGL}_n$. More precisely, we establish an equality of stringy Hodge numbers for certain pairs of algebraic orbifolds generically fibred into dual abelian varieties. Our proof utilises p-adic integration relative to the fibres, and interprets canonical gerbes present on these moduli spaces as characters on the Hitchin fibres using Tate duality. Furthermore we prove for $d$ coprime to $n$, that the number of rank $n$ Higgs bundles of deg…
We use Scholze's framework of diamonds to gain new insights in correspondences between $p$-adic vector bundles and local systems. Such correspondences arise in the context of $p$-adic Simpson theory in the case of vanishing Higgs fields. In the present paper we provide a detailed analysis of local systems on diamonds for the étale, pro-étale, and the $v$-topology, and study the structure sheaves for all three topologies in question. Applied to proper adic spaces of finite type over $\mathbb{C}_p$ this enables us to prove a category equivalence between $\mathbb{C}_p$-local systems with integral…
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…
A classical construction of Katz gives a purely algebraic construction of Eisenstein--Kronecker series using the Gauß--Manin connection on the universal elliptic curve. This approach gives a systematic way to study algebraic and $p$-adic properties of real-analytic Eisenstein series. In the first part of this paper we provide an alternative algebraic construction of Eisenstein--Kronecker series via the Poincaré bundle. Building on this, we give in the second part a new conceptional construction of Katz' two-variable $p$-adic Eisenstein measure through $p$-adic theta functions of the Poincaré b…
We investigate degenerations of syzygy bundles on plane curves over $p$-adic fields. We use Mustafin varieties which are degenerations of projective spaces to find a large family of models of plane curves over the ring of integers such that the special fiber consists of multiple projective lines meeting in one point. On such models we investigate vector bundles whose generic fiber is a syzygy bundle and which become trivial when restricted to each projective line in the special fiber. Hence these syzygy bundles have strongly semistable reduction. This investigation is motivated by the fundamen…
The basic admissible locus $\mathcal{F}(G, μ, b)^a$ inside the flag variety $\mathcal{F}(G, μ)$, attached to a reductive group $G$ with a minuscule cocharacter $μ$ of $G$, is a $p$-adic analogue of the complex analytic period spaces. It has an algebraic approximation $\mathcal{F}(G, μ, b)^{wa}$ inside the flag variety, called the weakly admissible locus. On the flag variety $\mathcal{F}(G, μ)$, we have the Newton stratification which has the admissible locus as its unique open stratum. In this paper, we study the relation between the Newton strata and the weakly admissible locus. We show that …
We show that there exist exceptional collections of length 3 consisting of line bundles on the three fake projective planes that have a 2-adic uniformisation with torsion free covering group. We also compute the Hochschild cohomology of the right orthogonal of the subcategory of the bounded derived category of coherent sheaves generated by these exceptional collections.
We revisit the Harder-Narasimhan stratification on a minuscule $p$-adic flag variety, by the theory of modifications of $G$-bundles on the Fargues-Fontaine curve. We compare the Harder-Narasimhan strata with the Newton strata introduced by Caraiani-Scholze. As a consequence, we get further equivalent conditions in terms of $p$-adic Hodge-Tate period domains for fully Hodge-Newton decomposable pairs. Moreover, we generalize these results to arbitrary cocharacters case by considering the associated $B_{dR}^+$-affine Schubert varieties. Applying Hodge-Tate period maps, our constructions give appl…
We give an explicit description of the syntomic elliptic polylogarithm on the universal elliptic curve over the ordinary locus of the modular curve in terms of certain $p$-adic analytic moment functions associated to Katz' two-variable $p$-adic Eisenstein measure. The present work generalizes previous results of Bannai-Kobayashi-Tsuji and Bannai-Kings on the syntomic Eisenstein classes.
Deninger and Werner developed an analogue for p-adic curves of the classical correspondence of Narasimhan and Seshadri between stable bundles of degree zero and unitary representations of the topological fundamental group for a complex smooth proper curve. Using parallel transport, they associated functorially to every vector bundle on a p-adic curve whose reduction is strongly semi-stable of degree 0 a p-adic representation of the fundamental group of the curve. They asked several questions: whether their functor is fully faithful; whether the cohomology of the local systems produced by this …
We construct infinitely many non-isotrivial families of abelian varieties over given four punctured projective lines. These families lead to algebraic solutions of Painleve VI equation. Finally, based on a recent paper by Lin-Sheng-Wang, we prove a complete characterization for the locus of motivic Higgs bundles in the moduli space as fixed points of an ``additive'' self-map. This is a note based on the lecture given by the second named author on 04 Nov. 2022 at Tsinghua University.
The aim of this thesis is to study the dg categories of singularities Sing(X,s) of pairs (X,s), where X is a scheme and s is a global section of some vector bundle over X. Sing(X,s) is defined as the kernel of the dg functor from Sing(X_0) to Sing(X) induced by the pushforward along the inclusion of the (derived) zero locus X_0 of s in X. In the first part, we restrict ourselves to the case where the vector bundle is trivial. We prove a structure theorem for Sing(X,s) when X=Spec(B) is affine. Roughly, it tells us that every object in Sing(X,s) is represented by a complex of B-modules concentr…
We prove that Chern classes in continuous $\ell$-adic cohomology of automorphic bundles associated to representations of $G$ on a projective Shimura variety with data $(G,X)$ are trivial rationally. It is a consequence of Beilinson's conjectures which predict that the Chern classes in the Chow groups vanish rationally.
Given an automorphic line bundle ${\mathcal O}_X(k)$ of weight $k$ on the Drinfel'd upper half plane $X$ over a local field $K$, we construct a ${\rm GL}_2(K)$-equivariant integral lattice ${\mathcal O}_{\widehat{\mathfrak X}}(k)$ in ${\mathcal O}_X(k)\otimes_K\widehat{K}$, as a coherent sheaf on the formal model $\widehat{\mathfrak{X}}$ underlying $X\otimes_K\widehat{K}$. Here $\widehat{K}/K$ is ramified of degree $2$. This generalizes a construction of Teitelbaum from the case of even weight $k$ to arbitrary integer weight $k$. We compute $H^*(\widetilde{\mathfrak{X}},{\mathcal O}_{\widehat{…
For a smooth rigid space $X$ over a perfectoid field extension $K$ of $\mathbb Q_p$, we investigate how the $v$-Picard group of the associated diamond $X^\diamondsuit$ differs from the analytic Picard group of $X$. To this end, we construct a left-exact "Hodge--Tate logarithm" sequence \[0\to \mathrm{Pic}_{\mathrm{an}}(X)\to \mathrm{Pic}_v(X^\diamondsuit)\to H^0(X,Ω_X^1)\{-1\}.\] We deduce some analyticity criteria which have applications to $p$-adic modular forms. For algebraically closed $K$, we show that the sequence is also right-exact if $X$ is proper or one-dimensional. In contrast, we s…
In this paper we show that certain Shimura varieties, uniformized by the product of complex unit balls, can be p-adically uniformized by the product (of equivariant coverings) of Drinfeld upper half-spaces. We also extend a p-adic uniformization to automorphic vector bundles. It is a continuation of our previous work [V], and contains all cases (up to a central modification) of a uniformization by known p-adic symmetric spaces. The idea of the proof is to show that an arithmetic quotient of the product of Drinfeld upper half-spaces cannot be anything else than a certain unitary Shimura variety…
We introduce the characteristic class of an l-adic etale sheaf using a cohomological pairing due to Verdier (SGA5). As a consequence of the Lefschetz-Verdier trace formula, its trace computes the Euler-Poincare characteristic of the sheaf. We compare the characteristic class to two other invariants arising from ramification theory. One is the Swan class of Kato-Saito (math.AG/0402010) and the other is the 0-cycle class defined by Kato for rank 1 sheaves.
We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a subfield $k\subset K\subset\mathbb C_p$ of a p-adic field $K$. We then give an Hodge realization functor on the de derived category of relative motives over $k\subset\mathbb C$, and for a prime number $p$ a $p$-adic Hodge realization functor on the derived category of relative motives over $k\subset K\subset\mathbb C_p$.
We prove several related results on the low-degree Hodge numbers of proper smooth rigid analytic varieties over non-archimedean fields. Our arguments rely on known structure theorems for the relevant Picard varieties, together with recent advances in p-adic Hodge theory. We also define a rigid analytic Albanese naturally associated with any smooth proper rigid space.
We study the unipotent completion $Π^{DR}_{un}(x_0, x_1, X_K)$ of the de Rham fundamental groupoid [De] of a smooth algebraic variety over a local non-archimedean field K of characteristic 0. We show that the vector space $Π^{DR}_{un}(x_0, x_1, X_K)$ possesses a distinguished element. In the other words, given a vector bundle E on $X_K$ together with a unipotent integrable connection, we have {\sf a canonical} isomorphism $E_{x_0}\simeq E_{x_1}$ between the fibers. The latter construction is a generalization of Colmez's p-adic integration (rk E=2) and Coleman's p-adic iterated integrals ($X_K$…
