Related papers: The Overconvergent Site I. Coefficients

This paper analyses conforming and nonconforming virtual element formulations of arbitrary polynomial degrees on general polygonal meshes for the coupling of solid and fluid phases in deformable porous plates. The governing equations…

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…

We prove various results on the size and structure of subsets of vector spaces over finite fields which, in some sense, have too many mutually orthogonal pairs of vectors. In particular, we obtain sharp finite field variants of a theorem of…

This article represents our attempt to improve the previous results on defining and understanding overconvergent Eichler-Shimura maps for overconvergent modular symbols (in the elliptic case).

This paper develops aspects of cosheaf theory on rigid analytic spaces, and demonstrates a sheaf-cosheaf Verdier duality equivalence theorem for overconvergent sheaves on separated, paracompact spaces, analogous to Jacob Lurie's treatment…

We show all Laurent $F$-crystals over $p$-adic fields are overconvergent.

For a smooth scheme over a perfect field of characteristic p>0, we generalise a definition of Bloch and introduce overconvergent de Rham-Witt connections. This provides a tool to extend the comparison morphisms of Davis, Langer and Zink…

We prove that cohomological descent holds for finitely presented crystals on the overconvergent site with respect to proper or fppf hypercovers.

We introduce a category of 'rigid spaces with overconvergent structure sheaf' which we call dagger spaces --- this is the correct category in which de Rham cohomology in rigid analysis should be studied. We compare it with the (usual)…

We revisit congruence zeta functions of smooth projective varieties over finite fields in the framework of Scholze's Berkovich motives. Via this formalism and categorical traces, we construct a new zeta function, and show that it agree with…

This article is the first one of a series of three articles devoted to direct images of isocrystals: here we consider isocrystals without Frobenius structure; in the second one (resp. the third one), we will introduce a Frobenius structure…

We study here the Berkovich line over the ring of integers of a number field. It is a natural object which contains complex and non-Archimedean analytic spaces associated to each place. We prove that this line satisfies good topological and…

This is an expository article, originally written in Japanese, on a dynamical system over a non-archimedean field. The main viewpoint is from complex and non-archimedean potential theories. After quickly introducing the Berkovich projective…

We generalize the functorial quasi-isomorphism in \cite{Davis2011} from overconvergent Witt de-Rham cohomology to rigid cohomology on smooth varieties over a finite field $k$, dropping the quasi-projectiveness condition. We do so by…

In this paper, we develop the theory of relative log convergent cohomology. We prove the coherence of relative log convergent cohomology in certain case by using the comparison theorem between relative log convergent cohomlogy and relative…

We state a conjecture about the zeta function of crepant resolutions of Berglund--H\"ubsch orbifold hypersurfaces over a finite field. In addition to numerical evidence, we show that our conjectural zeta function satisfies the Weil…

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$…

We review the shape theory of $\infty$-topoi, and relate it with the usual cohomology of locally constant sheaves. Additionally, a new localization of profinite spaces is defined which allows us to extend the \'etale realization functor of…

We investigate the local properties of Berkovich spaces over Z. Using Weierstrass theorems, we prove that the local rings of those spaces are noetherian, regular in the case of affine spaces and excellent. We also show that the structure…

We present a comprehensive and versatile theoretical framework to study site and bond percolation on clustered and correlated random graphs. Our contribution can be summarized in three main points. (i) We introduce a set of iterative…