Related papers: Ax-Kochen-Er{\v{s}}ov Theorems for $p$-adic integr…

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the…

Poincar\'e series of $p$-adic, definable equivalence relations have been studied in various cases since Igusa's and Denef's work related to counting solutions of polynomial equations modulo $p^n$ for prime $p$. General semi-algebraic…

We develop a framework for Poisson geometry on loop spaces of low regularity, extending Mokhov's classical constructions from smooth loops to weak Sobolev spaces $W^{s,p}(\mathbb{S^1},\mathbb{R}^m)$ with $o < s \frac{1}{2}$ and $1 < p <…

We show that representations of convolution algebras such as Lustzig's graded affine Hecke algebra or the quiver Hecke algebra and quiver Schur algebra in (affine) type A can be realised in terms of certain equivariant motivic sheaves…

We extend the formalism of I to a global setting for which a theorem on fiber integrals and a Fubini theorem are obtained. We compare our formalism to the previous constructions of motivic integration in the geometric and arithmetic cases.

We study algebraic K-theory, syntomic cohomology, and prismatic cohomology of Cartier smooth rings. As an application, we provide an alternative proof of Kelly-Morrow's generalization of the Geisser-Levine theorem computing $p$-adic…

We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of…

We study congruences relating Fourier coefficients of meromorphic modular forms and Frobenius eigenvalues of elliptic curves corresponding to their poles. We develop a $p$-adic cohomological framework that interprets these congruences via…

We prove that extension groups in strict polynomial functor categories compute the rational cohomology of classical algebraic groups. This result was previously known only for general linear groups. We give several applications to the study…

For a formal scheme over a complete discrete valuation ring with a good action of a finite group, we define equivariant motivic integration, and we prove a change of variable formula for that.To do so, we construct and examine an induced…

We continue the study of operator algebras over the $p$-adic integers, initiated in our previous work [1]. In this sequel, we develop further structural results and provide new families of examples. We introduce the notion of $p$-adic von…

We discuss several congruences satisfied by the coefficients of meromorphic modular forms, or equivalently, the $p$-adic behaviors of meromorphic modular forms under the $U_p$ operator, that are summarized from numerical experiments. In the…

This is an introduction to $p$-adic geometry and $p$-adic analysis focusing on the theme of $p$-adic period mappings. We follow as closely as possible the development of the classical theory of complex period mappings, blending differential…

This paper has two purposes. The first is to explicate the diagrammatic approach to Hopf algebras due to Kuperberg, and to examine his proof of the existence and uniqueness of integrals in both the diagrammatic and purely algebraic…

We construct motivic power operations on the mod-$p$ motivic cohomology of $\Fb_p$-schemes using a motivic refinement of Nizio{\l}'s theorem. The key input is a purity theorem for motivic cohomology established by Levine. Our operations…

We introduce a direct image formalism for constructible motivic functions. One deduces a very general version of motivic integration for which a change of variables theorem is proved. These constructions are generalized to the relative…

We construct, based on Nicaise's article in Math. Ann. in 2009, an equivariant geometric motivic integration for special formal schemes, such that when applying to algebraizable formal schemes, we can revisit our previous work in 2020 on…

We give effective bounds for the set quasi-integral points in orbits of non-isotrivial rational maps over function fields under some conditions, generalizing previous work of Hsia and Silverman (2011) for orbits over function fields of…

We develop a framework to investigate conjectures on congruences between the algebraic part of special values of $L$-functions of congruent motives. We show that algebraic local Euler factors satisfy precise interpolation properties in…

The rational points of a smooth curve $X$ over a number field $k$ map to the set of augmentations of the associated motivic algebra. An expectation, related to Kim's conjecture, is that for $X$ hyperbolic, the set of augmentations which…