Related papers: P-adic Simpson correpondence via prismatic crystal…
Motivated by applications to duality theorems for $p$-adic pro-\'etale cohomology of rigid analytic spaces, we study the category of Topological Vector Spaces in the setting of condensed mathematics. We prove that it contains, as full…
We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$-adic formal scheme. The resulting cohomology theory…
We construct $p$-adic $L$-functions interpolating critical $L$-values of algebraic Hecke characters for arbitrary unramified primes $p$ and any totally imaginary field. For non-ordinary primes, the only previously known case was that of…
We define the i-restriction and i-induction functors on the category O of the cyclotomic rational double affine Hecke algebras. This yields a crystal on the set of isomorphism classes of simple modules, which is isomorphic to the crystal of…
We explain how to construct a cohomology theory on the category of separated quasi-compact smooth rigid spaces over $\mathbf{C}_p$ (or more general base fields), taking values in the category of vector bundles on the Fargues-Fontaine curve,…
Let $K$ be a complete valued field extension of $\mathbf{Q}_p$ with perfect residue field. We consider $p$-adic representations of a finite product $G_{K,\Delta}=G_K^\Delta$ of the absolute Galois group $G_K$ of $K$. This product appears as…
We prove that a Hodge--Tate prismatic crystal on (O_K)_{\Prism} is uniquely determined by a topologically "nilpotent" operator. Using this operator, we construct a C_p-representation of G_K from a Hodge--Tate crystal in an explicit way. We…
Let $L$ be a totally real field, and $p$ be a rational prime that is unramified in $L$. We construct overconvergent families of classes of relative de Rham cohomology of the universal abelian scheme over Hilbert modular varieties associated…
We prove that an $F$-crystal $(M,\vph)$ over an algebraically closed field $k$ of characteristic $p>0$ is determined by $(M,\vph)$ mod $p^n$, where $n\ge 1$ depends only on the rank of $M$ and on the greatest Hodge slope of $(M,\vph)$. We…
We consider the space of nilpotent Higgs bundles on a weighted projective line, as a global analog of the nilpotent cone. We show that it is pure, compute its dimension, and define geometric correspondences between irreducible components.…
Let $\mathcal{A}$ be an abelian category and $\mathcal{B}$ be the Happel-Reiten-Smal{\o} tilt of $\mathcal{A}$ with respect to a torsion pair. We give necessary and sufficient conditions for the existence of a derived equivalence between…
Under certain conditions, a scheme can be reconstructed from its category of quasi-coherent sheaves. The Tannakian reconstruction theorem provides another example where a geometric object can be reconstructed from an associated category, in…
Let $G$ denote a possibly discrete topological group admitting an open subgroup $I$ which is pro-$p$. If $H$ denotes the corresponding Hecke algebra over a field $k$ of characteristic $p$ then we study the adjunction between $H$-modules and…
We introduce the class of partially invertible modules and show that it is an inverse category which we call the Picard inverse category. We use this category to generalize the classical construction of crossed products to, what we call,…
For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative…
In this paper by using the ring of real-valued continuous functions $C(X)$, we prove a theorem in profinite spaces which states that for a compact Hausdorff space $X$, the set of its connected components $X/_{\sim}$ endowed with some…
We develop geometric approach to A-infinity algebras and A-infinity categories based on the notion of formal scheme in the category of graded vector spaces. Geometric approach clarifies several questions, e.g. the notion of homological unit…
This paper studies crystalline representations of G_K with coefficients of any dimension, where K is the unramified extension of Q_p of degree a. We prove a theorem of Fontaine-Laffaille type when \sigma-invariant Hodge-Tate weight less…
We give an example of proper smooth fourfold over a perfect field k of characteristic p > 0 with asymmetric Hodge--Witt numbers in total degree 3. Our example is sharp both in terms of dimension and total degree. We arrive at our example by…
The Corlette-Donaldson-Hitchin-Simpson's correspondence states that, on a compact K\"ahler manifold $(X, \omega )$, there is a one-to-one correspondence between the moduli space of semisimple flat complex vector bundles and the moduli space…