Related papers: Overholonomicity of overconvergent $F$-isocrystals…

The (Fg) condition on Hochschild cohomology as well as the support variety theory are shown to be invariant under derived equivalence.

Up to a translation in the language of arithmetic $\D$-modules, we prove a conjecture of Berthelot on the preservation of the overconvergence under the direct image by a smooth proper morphism of varieties over a perfect field of…

We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…

A basic problem in smooth dynamics is determining if a system can be distinguished from its inverse, i.e., whether a smooth diffeomorphism $T$ is isomorphic to $T^{-1}$. We show that this problem is sufficiently general that asking it for…

In this note, we show that for an ``$F$-crystal" (the equal characteristic analogue of $F$-crystals), its {\it isomorphism number} and its {\it level torsion} coincide. This confirms a conjure of Vasiu \cite{Va} in the equal characteristic…

A flux liquid can condense into a smectic crystal in a pure layered superconductors with the magnetic field oriented nearly parallel to the layers. If the smectic order is commensurate with the layering, this crystal is {\sl stable} to…

This note discusses some examples showing that the crystalline cohomology of even very mildly singular projective varieties tends to be quite large. In particular, any singular projective variety with at worst ordinary double points has…

It is shown that every algebra over the chain operad of the little disks operad gives naturally rise to a Hertling-Manin's F-manifold, that is a smooth manifold equipped with an integrable graded commutative associative product on the…

We introduce a category of filtered F-isocrystals and construct a symbol maps on Milnor K-theory which is compatible with the syntomic symbol maps to the log syntomic cohomology. These are fundamental materials in our applications on…

We prove homological stability for a twisted version of the Houghton groups and their multidimensional analogues. Based on this, we can describe the homology of the Houghton groups and that of their multidimensional analogues over constant…

For open and singular varieties in positive characteristic p we study the existence of an integral p-adic cohomology theory which is finitely generated, compatible with log crystalline cohomology and rationally compatible with rigid…

Consider the small quantum connection on a monotone symplectic manifold, with p-adic coefficients. We conjecture that this always admits an overconvergent Frobenius structure, whose constant term is given by a characteristic class…

We provide an alternative proof that Crosscaps are diffeomorphically stable.

We construct $p$-adic $L$-functions associated with $p$-refined cohomological cuspidal Hilbert modular forms over any totally real field under a mild hypothesis. Our construction is canonical, varies naturally in $p$-adic families, and does…

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…

By a theorem of Bernhard Keller the de Rham cohomology of a smooth variety is isomorphic to the periodic cyclic homology of the differential graded category of perfect complexes on the variety. Both the de Rham cohomology and the cyclic…

In this paper we generalize minimal $p$-divisible groups defined by Oort to $F$-crystal over an algebraically closed field of positive characteristic. We prove a structural theorem and give an explicit formula of the Frobenius endomorphism…

We consider L-infinity quasi-isomorphisms for Hochschild cochains whose structure maps admit "graphical expansion". We introduce the notion of stable formality quasi-isomorphism which formalizes such an L-infinity quasi-isomorphism. We…

This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline…

We classify quasiconformal Anosov flows whose strong stable and unstable distributions are at least two dimensional and the sum of these two distributions is smooth. We deduce from this classification result the complete classification of…