Related papers: Log prismatic Dieudonn\'e theory for log $p$-divis…

Let $\mathcal{T}$ be an $\mathcal{O}_K$-linear idempotent-complete, small smooth proper stable $\infty$-category, where $K$ is a finite extension of $\mathbb{Q}_p$. We give a Breuil-Kisin module structure on the topological negative cyclic…

English : In this article we associate to $G$, a truncated $p$-divisible $\mathcal O$-module of given signature, where $\mathcal O$ is a finite unramified extension of $\mathbb{Z}_p$, a filtration of $G$ by sub-$\mathcal O$-modules under…

We compute the group homology, the topological K-theory of the reduced C^*-algebra, the algebraic K-theory and the algebraic L-theory of the group ring of the semi-direct product of the three-dimensional discrete Heisenberg group by Z/4.…

The main purpose of this paper is to prove a group-theoretic generalization of a theorem of Katz on isocrystals. Along the way we reprove the group-theoretic generalization of Mazur's inequality for isocrystals due to Rapoport-Richartz, and…

Let $K$ be a number field and $f\in K[X]$ an irreducible monic polynomial with coefficients in $O_K$, the ring of integers of $K$. We aim to enounce an effective criterion, in terms of the Galois group of $f$ over $K$ and a linear…

In this paper we show that between PDE's and crystallographic groups there is an unforeseen relation. In fact we prove that integral bordism groups of PDE's can be considered extensions of crystallographic subgroups. In this respect we can…

We prove that infinite p-adically discrete sets have Diophantine definitions in large subrings of some number fields. First, if K is a totally real number field or a totally complex degree-2 extension of a totally real number field, then…

Let $k$ be a perfect field of positive characteristic and $Z$ an effective Cartier divisor in the projective line over $k$ with complement $U$. In this note, we establish some results about the formal deformation theory of overconvergent…

In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we prove that Berthelot's characteristic variety associated with a holonomic $\mathcal{D}$-modules endowed with a Frobenius structure has pure dimension. As an…

Let $\mathcal{X}$ be a smooth $p$-adic formal scheme over a mixed characteristic complete discrete valuation ring $\mathcal{O}_{K}$ with perfect residue field. We introduce a general category $\mathcal{M}\mathcal{F}_{[0,…

We show that the formal skew Laurent series ring $R = D(\! ( x; \sigma )\! )$ over a commutative Dedekind domain $D$ with an automorphism $\sigma$ is a noncommutative Dedekind domain. If $\sigma$ acts trivially on the ideal class group of…

For a smooth affine group scheme $G$ over the ring of $p$-adic integers and a cocharacter $\mu$ of $G$, we develop the deformation theory for $G$-$\mu$-displays over the prismatic site of Bhatt-Scholze, and discuss how our deformation…

We prove an elegant structure theorem for log de Rham-Witt sheaves with vanishing along an effective Cartier divisor $D$ defined in arXiv:2403.18763, answering a question of Shuji Saito during the Mainz conference and a question of Yigeng…

Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to…

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

We recall the notions of Fr\"olicher and diffeological spaces and we build regular Fr\"olicher Lie groups and Lie algebras of formal pseudo-differential operators in one independent variable. Combining these constructions with a smooth…

Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…

Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the N\'eron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the…

Let $L/\mathbb{Q}_p$ be a finite extension. We introduce $L$-typical prisms, a mild generalization of prisms. Following ideas of Bhatt, Scholze, and Wu, we show that certain vector bundles, called Laurent $F$-crystals, on the $L$-typical…

Let $\mathfrak{X}$ be a smooth connected $p$-adic formal scheme. Based on the prismatic description of crystalline local systems, we prove an analogue of Fontaine's conjecture for torsion crystalline local systems on the generic fiber of…