English
Related papers

Related papers: Rigid analytic spaces with overconvergent structur…

200 papers

The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be…

Number Theory · Mathematics 2023-11-02 Pierre Colmez , Wiesława Nizioł

The method of intersection spaces associates cell-complexes depending on a perversity to certain types of stratified pseudomanifolds in such a way that Poincar\'e duality holds between the ordinary rational cohomology groups of the…

Algebraic Topology · Mathematics 2011-02-24 Markus Banagl

Long ago, Fontaine formulated conjectures (now theorems) relating \'etale and de Rham cohomologies of algebraic varieties over $p$-adic fields. In an earlier work we have shown that pro-\'etale and de Rham cohomologies of analytic varieties…

Algebraic Geometry · Mathematics 2024-11-26 Pierre Colmez , Wiesława Nizioł

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…

Algebraic Geometry · Mathematics 2025-10-08 Pierre Colmez , Sally Gilles , Wiesława Nizioł

Given a smooth proper morphism $f\colon X\rightarrow S$, we introduce a certain derived category where morphisms are permitted to be $\mathcal{O}_S$-linear differential operators. We then prove a generalisation of Serre duality that applies…

Algebraic Geometry · Mathematics 2024-09-24 Caleb Ji , Casimir Kothari , Oliver Li , Svetlana Makarova , Shubhankar Sahai , Sridhar Venkatesh

We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…

Algebraic Geometry · Mathematics 2007-05-23 Kiran S. Kedlaya

We define Frobenius and monodromy operators on the de Rham cohomology of $K$-dagger spaces (rigid spaces with overconvergent structure sheaves) with strictly semistable reduction $Y$, over a complete discrete valuation ring $K$ of mixed…

Algebraic Geometry · Mathematics 2014-08-15 Elmar Grosse-Klönne

This is a slightly corrected version of the article published by Functional Analysis and its Applications in 1993. We define the quadratic duality for algebras with nonhomogeneous relations; the duality between the algebra of differential…

Rings and Algebras · Mathematics 2014-11-11 Leonid Positselski

We introduce a formalism of Hochschild (co)-homology for $\mathcal{D}$-cap modules on smooth rigid analytic spaces based on the homological tools of Ind-Banach $\mathcal{D}$-cap modules. We introduce several categories of $\mathcal{D}$-cap…

Number Theory · Mathematics 2026-02-10 Fernando Peña Vázquez

The theory of intersection spaces assigns cell complexes to certain stratified topological pseudomanifolds depending on a perversity function in the sense of intersection homology. The main property of the intersection spaces is Poincar\'e…

Algebraic Topology · Mathematics 2018-12-03 J. Timo Essig

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

Algebraic Geometry · Mathematics 2022-09-19 Bernard Le Stum

Inspired by Bhatt-Scholze, we introduce prismatic cohomology for rigid analytic spaces with l.c.i singularities, with coefficients over Fontaine's de Rham period ring.

Algebraic Geometry · Mathematics 2026-01-21 Haoyang Guo

This paper addresses the question: What is the de Rham theory for general differentiable spaces? We identify two potential answers and study them. In the first part, we show that the de Rham cohomology calculated using (the completion of)…

Algebraic Geometry · Mathematics 2026-02-11 Gregory Taroyan

Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…

Algebraic Geometry · Mathematics 2010-08-03 Christopher Davis , Andreas Langer , Thomas Zink

We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…

Algebraic Geometry · Mathematics 2020-08-18 Alexis Bouthier

We introduce a space of stable meromorphic differentials with poles of prescribed orders and define its tautological cohomology ring. This space, just as the space of holomorphic differentials, is stratified according to the set of…

Algebraic Geometry · Mathematics 2019-06-05 Adrien Sauvaget

We define a notion of global analytic space with overconvergent structure sheaf. This gives an analog on a general base Banach ring of Grosse-Kloenne's overconvergent p-adic spaces and of Bambozzi's generalized affinoid varieties over R.…

Algebraic Geometry · Mathematics 2015-02-09 Frédéric Paugam

We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then…

Algebraic Geometry · Mathematics 2009-09-07 L. Barbieri-Viale , A. Bertapelle

In this article we prove a rigidity theorem for lagrangian singularities by studying the local cohomology of the lagrangian de Rham complex that was introduced in math.AG/0002083. The result can be applied to show the rigidity of all open…

Algebraic Geometry · Mathematics 2007-05-23 Christian Sevenheck , Duco van Straten

The Dolbeault resolution of the sheaf of holomorphic vector fields $Lie$ on a complex manifold $M$ relates $Lie$ to a sheaf of differential graded Lie algebras, known as the Fr\"olicher-Nijenhuis algebra $g$. We establish - following B. L.…

Mathematical Physics · Physics 2011-08-31 Friedrich Wagemann