Related papers: Rigid analytic p-adic Simpson correspondence for l…
Let $G$ be a reductive group, and let $X$ be an algebraic curve over an algebraically closed field $k$ with positive characteristic. We prove a version of nonabelian Hodge correspondence for tame $G$-local systems over $X$ and logarithmic…
We propose a p-adic Langlands correspondence in families.
For a curve C and a reductive group G in prime characteristic, we relate the de Rham moduli of logarithmic G-connections on C to the Dolbeault moduli of logarithmic G-Higgs bundles on the Frobenius twist of C. We name this result the…
We extend the Horrocks correspondence between vector bundles and cohomology modules on the projective plane to the product of two projective lines. We introduce a set of invariants for a vector bundle on the product of two projective lines,…
Using the theory of $(\phi,\Gamma)$-modules and the formalism of Selmer complexes we construct the p-adic height for p-adic representations with coefficients in an affinoid algebra over $Q_p$.
We give a detailed proof of the homological Arnold conjecture for nondegenerate periodic Hamiltonians on general closed symplectic manifolds $M$ via a direct Piunikhin-Salamon-Schwarz morphism. Our constructions are based on a coherent…
Given a smooth curve with weighted marked points, the Abel-Jacboi map produces a line bundle on the curve. This map fails to extend to the full boundary of the moduli space of stable pointed curves. Using logarithmic and tropical geometry,…
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
Fix a smooth projective curve over a field of characteristic zero and a finite set of punctures. Let G be a connected linear algebraic group. We prove that the moduli of G-bundles with logarithmic connections having fixed residue classes at…
In this paper, we associate to every $p$-adic representation $V$ a $p$-adic differential equation $\mathbf{D}^{\dagger}_{\mathrm{rig}}(V)$, that is to say a module with a connection over the Robba ring. We do this via the theory of…
A polysymplectic structure is a vector-valued symplectic form, that is, a closed nondegenerate 2-form with values in a vector space. We first outline the polysymplectic Hamiltonian formalism with coefficients in a vector space $V$, then…
In local relative $p$-adic Hodge theory, we show that the Galois cohomology of a finite height crystalline representation (up to a twist) is essentially computed via the (Fontaine--Messing) syntomic complex with coefficients in the…
We prove a Hitchin-Kobayashi correspondence for extensions of Higgs bundles. The results generalize known results for extensions of holomorphic bundles. Using Simpson's methods, we construct moduli spaces of stable objects. In an appendix…
We show that the moduli spaces of Scholze's $p$-adic shtukas with framing satisfy a $p$-adic rigid analytic version of Borel's extension theorem. In particular, this holds for local Shimura varieties, for all local Shimura data…
The classical theory of elliptic curves with complex multiplication is a fundamental tool for studying the arithmetic of abelian extensions of imaginary quadratic fields. While no direct analogue is available for real quadratic fields, a…
Let $\mathbb{k}$ be a commutative ring with global dimension zero. We show that we can rigidify homotopy coherent comodules in connective modules over the Eilenberg-Mac Lane spectrum of $\mathbb{k}$. That is, the $\infty$-category of…
For a non-archimedean local field $F$ and a connected reductive group $G$ over $F$ equipped with a parabolic subgroup $P$, we show that the dualizing complex on $\mathrm{Bun}_P$, the moduli stack of $P$-bundles on the Fargues--Fontaine…
For a flat proper morphism of finite presentation between schemes with almost coherent structural sheaves (in the sense of Faltings), we prove that the higher direct images of quasi-coherent and almost coherent modules are quasi-coherent…
We show that it is consistent relative to a weakly compact cardinal that strong homology is additive and compactly supported within the class of locally compact separable metric spaces. This complements work of Marde\v{s}i\'{c} and Prasolov…
We prove a conjecture of Bhatt-Hansen that derived pushforwards along proper morphisms of rigid-analytic spaces commute with Verdier duality on Zariski-constructible complexes. In particular, this yields duality statements for the…