Related papers: Overconvergent log isocrystals and holonomicity

In this note I define an overconvergent version of prisms and prismatic cohomology as introduced by Bhatt and Scholze and show that overconvergent prismatic cohomology specialises to $p$-adic cohomologies, like Monsky-Washnitzer resp. rigid…

We define log Hochschild co/homology for log schemes that behaves well for simple normal crossing pairs $(X,D)$ or toroidal singularities. We prove a Hochschild-Kostant-Rosenberg isomorphism for log smooth schemes, as well as an equivariant…

In this paper we prove a comparison theorem between the category of certain modules with integrable connection on the complement of a normal crossing divisor of the generic fiber of a proper semistable variety over a DVR and the category of…

This paper discusses the dimension of spline spaces with highest order smoothness over hierarchical T-meshes over certain type of hierarchical T-meshes. The major step is to set up a bijection between the spline space with highest order…

Nous d\'efinissons et \'etudions les d\'evissages des $F$-complexes de $\mathcal{D}$-modules arithm\'etiques en $F$-isocristaux surconvergents. Nous prouvons que les $F$-complexes surholonomes sont d\'evissables en $F$-isocristaux…

We study invariant divisors on the total spaces of the homogeneous deformations of rational complexity-one T-varieties constructed by Ilten and Vollmert. In particular, we identify a natural subgroup of the Picard group for any general…

For a simple normal crossing variety $X$, we introduce the concepts of prelog Chow ring, saturated prelog Chow group, as well as their counterparts for numerical equivalence. Thinking of $X$ as the central fibre in a (strictly) semistable…

Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected base $S$, with everything defined over $\overline{\mathbb{Q}}$. Denote by $\mathbb{V} = R^{2i} f_{*} \mathbb{Z}(i)$ the associated integral…

Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…

We prove that rigid cohomology can be computed as the cohomology of a site analogous to the crystalline site. Berthelot designed rigid cohomology as a common generalization of crystalline and Monsky-Washnitzer cohomology. Unfortunately,…

For every non-exceptional affine Lie algebra, we explicitly construct a positive geometric crystal associated with a fundamental representation. We also show that its ultra-discretization is isomorphic to the limit of certain perfect…

We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness…

In this paper we use formal group rings to construct an algebraic model of the $T$-equivariant oriented cohomology of smooth toric varieties. Then we compare our model with known results of equivariant cohomology of toric varieties to…

In this article we give a survey of the various forms of Berthelot's conjecture and some of the implications between them. By proving some comparison results between pushforwards of overconvergent isocrystals and those of arithmetic…

Let $X$ be a complex smooth algebraic variety admitting a symmetry $L$, that is, an antiholomorphic automorphism of order two. If both, $X$ and $L$ are defined over $\overline{\mathbb Q}$, then Koeck, Lau and Singerman showed the existence…

Let G be a connected simply-connected reductive algebraic group. In this article, we consider the normal algebraic varieties equipped with a horospherical G-action such that the quotient of a G-stable open subset is a curve. Let X be such a…

For a singular variety X, an essential step to determine its smoothability and study its deformations is the understanding of the tangent sheaf and of the sheaf T^1_X:=ext^1(Omega_X,O_X). A variety is semi-smooth if its singularities are…

Inspired by a theorem of Bhatt-Morrow-Scholze, we develop a stacky approach to crystals and isocrystals on "Frobenius-smooth" schemes over F_p . This class of schemes goes back to Berthelot-Messing and contains all smooth schemes over…

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…

Let $V=Spec(R)$ and $R$ be a complete discrete valuation ring of mixed characteristic $(0,p)$. For any flat $R$-scheme $X$ we prove the compatibility of the de Rham fundamental class of the generic fiber and the rigid fundamental class of…