Related papers: Parallel transport and the p-adic Simpson correspo…

Let $X$ be a quasi-compact quasi-separated $p$-adic formal scheme that is smooth either over a perfectoid $\mathbb{Z}_p$-algebra or over some ring of integers of a $p$-adic field. We construct a fully faithful functor from perfect complexes…

Suppose $X$ is a smooth, proper, geometrically connected curve over $\mathbb F_q$ with an $\mathbb F_q$-rational point $x_0$. For any $\mathbb F_q^{\times}$-character $\sigma$ of $\pi_1(X)$ trivial on $x_0$, we construct a functor $\mathbb…

In this article, we study the behavior of the stability of pullback of a vector bundle under a finite morphism from a (not necessarily smooth) stacky curve to an orbifold curve. We establish a categorical equivalence between proper formal…

We characterize decomposable principally polarized abelian varieties of the form $E\times B$, with $E$ an elliptic curve, in two different ways, which are, surprisingly, completely analogous to classical results of curve theory concerning…

Let $X$ be a smooth projective curve genus $G$ (as elaborated in \ref{main1}), over an algebraically closed field $k$ of arbitrary characteristics. Let $\cH$ {\em be a tamely ramified absolutely simple, simply connected connected group…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

This paper originated as an appendix to the paper "Topology and Geometry of the Berkovich Ramification Locus for Rational Functions, II" by Xander Faber arXiv:1104.0943v2 [math.NT]. It may however be read independently. We prove a variant…

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

We show that the completed Hecke algebra of $p$-adic modular forms is isomorphic to the completed Hecke algebra of continuous $p$-adic automorphic forms for the units of the quaternion algebra ramified at $p$ and $\infty$. This gives an…

This paper studies the relationship between quadratic Hodge classes on moduli spaces of pseudostable and stable curves given by the contraction morphism $\mathcal{T}.$ While Mumford relations do not hold in the pseudostable case, we show…

We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…

In this paper, we first prove the parabolic Beauvile-Narasimhan-Ramanan correspondence over an arbitrary field which generalizes the corresponding results over algebraically closed fields in [SWW22]. We use the correspondence and the p-adic…

We define the $p^m$-curvature map on the sheaf of differential operators of level $m$ on a scheme of positive characteristic $p$ as dual to some divided power map on infinitesimal neighborhhods. This leads to the notion of $p^m$-curvature…

Given a principal $G$-bundle $P \to M$ and two $C^1$ curves in $M$ with coinciding endpoints, we say that the two curves are holonomically equivalent if the parallel transport along them is identical for any smooth connection on $P$. The…

Any arrangement of hyperplanes in general position in $P^n$ can be regarded as a divisor with normal crossing. We study the bundles of logarithmic 1-forms corresponding to such divisors` from the point of view of classification of vector…

The parallel linear transports defined by flat linear connection are axiomatically described. On this basis a number of properties, some of which are new, of these transports and connections are derived.

Originally conjectured unpublished by Grothendieck, then formulated precisely by Katz, the $p$-curvature conjecture is a local-global principle for algebraic differential equations. It is at present open, though various cases are known.…

We prove that, for adic \'{e}tale motives over $\mathbb{C}_p$, the vector bundles on the Fargues-Fontaine curve arising from their Hyodo-Kato cohomology coincide with their de Rham-Fargues-Fontaine cohomologies, where the latter provides an…

The classical parabolic induction functor is a fundamental tool on the representation theoretic side of the Langlands program. In this article, we study its derived version. It was shown by the second author that the derived category of…

The motivation for this paper stems \cite{CR} from the need to construct explicit isomorphisms of (possibly nontrivial) principal $G$-bundles on the space of loops or, more generally, of paths in some manifold $M$, over which I consider a…