Related papers: Prismatic Dieudonn\'e theory

We show that the bounded derived category of regular holonomic D-modules on a smooth variety is equivalent to the homotopy catgory of compact (or constructible) modules over the motivic ring spectrum $H_{dR}$ representing algebraic de Rham…

The Tate conjecture predicts that Galois-invariant classes in $\ell$-adic cohomology, and Frobenius-invariant classes in crystalline cohomology, arise from algebraic cycles. We prove an unconditional p-adic analogue of this principle in the…

We prove the Pappas-Rapoport conjecture on the existence of canonical integral models of Shimura varieties with parahoric level structure in the case where the Shimura variety is defined by a torus. As an important ingredient, we show,…

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

Let $\mathscr{O}_K$ be a 2-adic discrete valuation ring with perfect residue field $k$. We classify $p$-divisible groups and $p$-power order finite flat group schemes over $\mathscr{O}_K$ in terms of certain Frobenius module over…

The form factor of the unitary group U(N) endowed with the Haar measure characterizes the correlations within the spectrum of a typical unitary matrix. It can be decomposed into a sum over pairs of ``periodic orbits'', where by periodic…

Let $A$ be an algebra over a commutative ring $k$. We prove that braidings on the category of $A$-bimodules are in bijective correspondence to canonical R-matrices, these are elements in $A\ot A\ot A$ satisfying certain axioms. We show that…

For a smooth projective scheme $X$ over a ring $R$ on which $p$ is nilpotent that meets some general assumptions we prove that the crystalline cohomology is equipped with the structure of a higher display which is a relative version of…

As is well known to physicists, the axial anomaly of the massless free fermion in Euclidean signature is given by the index of the corresponding Dirac operator. We use the Batalin-Vilkovisky (BV) formalism and the methods of equivariant…

We lay the groundwork for a Riemann-Hilbert correspondence for Ardakov-Wadsley's D-cap-modules by introducing corresponding solution and de Rham functors. Our constructions rely on Scholze's $p$-adic Hodge theory for rigid-analytic…

Following an idea of A. Berenstein, we define a commutor for the category of crystals of a finite dimensional complex reductive Lie algebra. We show that this endows the category of crystals with the structure of a coboundary category.…

We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z)…

We prove an analogue of the Tate isogeny conjecture and the semi-simplicity conjecture for overconvergent crystalline Dieudonn\'e modules of abelian varieties defined over global function fields of characteristic $p$. As a corollary we…

Let $(R, \mf, k_R)$ be regular local $k$-algebra satisfying the weak Jacobian criterion, such that $k_R/k$ is an algebraic field extension. Let $D_R$ be the ring of $k$-linear differential operators of $R$. We give an explicit decomposition…

We identify Drinfeld's formal group on the prismatization of $\mathrm{Spf}\,\mathbb{Z}_p$ with a formal group arising from homotopy theory, given locally by the Quillen formal group of a decompleted variant of topological periodic cyclic…

We define a normed matrix factorization category and a notion of bounding cochains for objects of this category. We classify bounding cochains up to gauge equivalence for spherical objects and use this classification to define numerical…

We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…

We prove that rigid cohomology can be computed as the cohomology of a site analogous to the crystalline site. Berthelot designed rigid cohomology as a common generalization of crystalline and Monsky-Washnitzer cohomology. Unfortunately,…

We investigate the maximal finite length submodule of the Breuil-Kisin prismatic cohomology of a smooth proper formal scheme over a p-adic ring of integers. This submodule governs pathology phenomena in integral p-adic cohomology theories.…

We observe that there exists an associative finite dimensional $\mathbb{C}$-algebra $A$ of finite global dimension, such that the bounded derived category $D^b(A)$ of finite dimensional $A$-modules admits an admissible subcategory…