Showing 1–16 of 16 results for author: Ertl, V

On p-torsions of geometric Brauer groups

Authors: Zhenghui Li, Yanshuai Qin, with an appendix by Veronika Ertl

Abstract: Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate conjecture for divisors, generalizing D'Addezio's theorem for abelian varieties to arbitrary smooth projective varieties. In combination with the Leray spectral sequ… ▽ More Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate conjecture for divisors, generalizing D'Addezio's theorem for abelian varieties to arbitrary smooth projective varieties. In combination with the Leray spectral sequence for rigid cohomology derived from the Berthelot conjecture recently proved by Ertl-Vezzani, we show that the cokernel of $\mathrm{Br}_{\mathrm{nr}}(K(X)) \rightarrow \mathrm{Br}(X_{k^s})^{G_k}$ is of finite exponent. This completes the $p$-primary part of the generalization of Artin-Grothendieck's theorem on relations between Brauer groups and Tate-Shafarevich groups to higher relative dimensions. △ Less

Submitted 30 December, 2024; v1 submitted 27 June, 2024; originally announced June 2024.

Comments: Added Theorem 1.8, comments welcome

MSC Class: 11G40; 14G17; 14J20; 11G25; 11G35

Berthelot's conjecture via homotopy theory

Authors: Veronika Ertl, Alberto Vezzani

Abstract: We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on the base. We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on the base. △ Less

Submitted 1 April, 2025; v1 submitted 4 June, 2024; originally announced June 2024.

Comments: 34 pages. The comparison to Berthelot's rigid cohomology has been expanded. To appear in Duke

On the $v$-Picard group of Stein spaces

Authors: Veronika Ertl, Sally Gilles, Wiesława Nizioł

Abstract: We study the image of the Hodge-Tate logarithm map (in any cohomological degree), defined by Heuer, in the case of smooth Stein varieties. Heuer, motivated by the computations for the affine space of any dimension, raised the question whether this image is always equal to the group of closed differential forms. We show that it indeed always contains such forms but the quotient can be non-trivial:… ▽ More We study the image of the Hodge-Tate logarithm map (in any cohomological degree), defined by Heuer, in the case of smooth Stein varieties. Heuer, motivated by the computations for the affine space of any dimension, raised the question whether this image is always equal to the group of closed differential forms. We show that it indeed always contains such forms but the quotient can be non-trivial: it contains a slightly mysterious $Z_p$-module that maps, via the Bloch-Kato exponential map, to integral classes in the pro-étale cohomology. This quotient is already non-trivial for open unit discs of dimension strictly greater than $1$. △ Less

Submitted 27 August, 2024; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: Final version; to appear in IMRN

Integral p-adic cohomology theories for open and singular varieties

Authors: Veronika Ertl, Atsushi Shiho, Johannes Sprang

Abstract: 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 cohomology. We develop such a theory under certain assumptions of resolution of singularities in positive characteristic, by using cdp- and cdh-topologies. Without r… ▽ More 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 cohomology. We develop such a theory under certain assumptions of resolution of singularities in positive characteristic, by using cdp- and cdh-topologies. Without resolution of singularities in positive characteristic, we prove the existence of a good p-adic cohomology theory for open and singular varieties in cohomological degree 1, by using split proper generically étale hypercoverings. This is a slight generalisation of a result due to Andreatta--Barbieri-Viale. We also prove that this approach does not work for higher cohomological degrees. △ Less

Submitted 13 February, 2025; v1 submitted 23 May, 2021; originally announced May 2021.

Comments: 73 pages

MSC Class: 14F30; 14E15; 14F20; 18F10

Comparison of different Tate conjectures

Authors: Veronika Ertl, Timo Keller, Yanshuai Qin

Abstract: For an abelian variety $A$ over a finitely generated field $K$ of characteristic $p > 0$, we prove that the algebraic rank of $A$ is at most a suitably defined analytic rank. Moreover, we prove that equality, i.e., the BSD rank conjecture, holds for $A/K$ if and only if a suitably defined Tate--Shafarevich group of $A/K$ (1) has finite $\ell$-primary component for some/all $\ell \neq p$, or (2) fi… ▽ More For an abelian variety $A$ over a finitely generated field $K$ of characteristic $p > 0$, we prove that the algebraic rank of $A$ is at most a suitably defined analytic rank. Moreover, we prove that equality, i.e., the BSD rank conjecture, holds for $A/K$ if and only if a suitably defined Tate--Shafarevich group of $A/K$ (1) has finite $\ell$-primary component for some/all $\ell \neq p$, or (2) finite prime-to-$p$ part, or (3) has $p$-primary part of finite exponent, or (4) is of finite exponent. There is an algorithm to verify those conditions for concretely given $A/K$. △ Less

Submitted 17 October, 2024; v1 submitted 2 December, 2020; originally announced December 2020.

MSC Class: 11G40 (Primary) 11G05; 11G10; 14G10 (Secondary)

Poincaré duality for rigid analytic Hyodo--Kato theory

Authors: Veronika Ertl, Kazuki Yamada

Abstract: The purpose of this paper is to establish Hyodo--Kato theory with compact support for semistable schemes through rigid analytic methods. To this end we introduce several types of log rigid cohomology with compact support. moreover we show that additional structures on the (rigid) Hyodo--Kato cohomology and the Hyodo--Kato map introduced in our previous paper are compatible with Poincaré duality. C… ▽ More The purpose of this paper is to establish Hyodo--Kato theory with compact support for semistable schemes through rigid analytic methods. To this end we introduce several types of log rigid cohomology with compact support. moreover we show that additional structures on the (rigid) Hyodo--Kato cohomology and the Hyodo--Kato map introduced in our previous paper are compatible with Poincaré duality. Compared to the crystalline approach, the constructions are explicit yet versatile, and hence suitable for computations. △ Less

Submitted 8 May, 2024; v1 submitted 19 September, 2020; originally announced September 2020.

Comments: 4th version, 58 pages. We added an appendix concerning an explicit construction of the cup product. We modified the references to our paper "Rigid analytic reconstruction of Hyodo--Kato theory" where necessary. We made changes to avoid the use of Thms. A and B for dagger quasi-Stein spaces

MSC Class: 14F30; 14F43

Rigid analytic reconstruction of Hyodo--Kato theory

Authors: Veronika Ertl, Kazuki Yamada

Abstract: We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato cohomology and the Hyodo--Kato map.) We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato cohomology and the Hyodo--Kato map.) △ Less

Submitted 27 February, 2025; v1 submitted 25 July, 2019; originally announced July 2019.

Comments: 6th version, 88 pages. The definition of Hyodo--Kato cohomology is reverted to a previous version

MSC Class: 14F30; 14F40 14G22

On infiniteness of integral overconvergent de Rham-Witt cohomology modulo torsion

Authors: Veronika Ertl, Atsushi Shiho

Abstract: In this article, we give examples of smooth varieties of positive characteristic whose first integral overconvergent de Rham-Witt cohomology modulo torsion is not finitely generated over the Witt ring of the base field. In this article, we give examples of smooth varieties of positive characteristic whose first integral overconvergent de Rham-Witt cohomology modulo torsion is not finitely generated over the Witt ring of the base field. △ Less

Submitted 6 May, 2019; v1 submitted 10 December, 2018; originally announced December 2018.

Comments: 12 pages

Report number: BCSim-2018-s09 MSC Class: 14F30; 14F40; 14H50

A new proof of a vanishing result due to Berthelot, Esnault, and Rülling

Authors: Veronika Ertl

Abstract: The goal of this small note is to give a more concise proof of a result due to Berthelot, Esnault, and Rülling. For a regular, proper, and flat scheme $X$ over a discrete valuation ring of mixed characteristic $(0,p)$, it relates the vanishing of the cohomology of the structure sheaf of the generic fibre of $X$ with the vanishing of the Witt vector cohomology of its special fibre. We use as a crit… ▽ More The goal of this small note is to give a more concise proof of a result due to Berthelot, Esnault, and Rülling. For a regular, proper, and flat scheme $X$ over a discrete valuation ring of mixed characteristic $(0,p)$, it relates the vanishing of the cohomology of the structure sheaf of the generic fibre of $X$ with the vanishing of the Witt vector cohomology of its special fibre. We use as a critical ingredient results and constructions by Beilinson and Nekovář--Nizioł related to the $h$-topos over a $p$-adic field. △ Less

Submitted 12 April, 2019; v1 submitted 16 May, 2018; originally announced May 2018.

Comments: 9 pages

MSC Class: 11G25; 14F20; 14F17

Journal ref: Journal of Number Theory, 2019

Comparison between rigid syntomic and crystalline syntomic cohomology for strictly semistable log schemes with boundary

Authors: Veronika Ertl, Kazuki Yamada

Abstract: We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to Nekovář-Nizioł's crystalline syntomic cohomology of the generic fibre. The main ingredients are a modification of Große-Klönne's rigid Hyodo-Kato theory and a generalisation of… ▽ More We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to Nekovář-Nizioł's crystalline syntomic cohomology of the generic fibre. The main ingredients are a modification of Große-Klönne's rigid Hyodo-Kato theory and a generalisation of it for strictly semistable log schemes with boundary. △ Less

Submitted 3 December, 2019; v1 submitted 13 May, 2018; originally announced May 2018.

Comments: 46 pages, Replaced version: axiomatized the construction of canonical rigid complexes, and modified typos and confusing explanations. To be published in: Rend. Sem. Mat. Univ. Padova \c{opyright} European Mathematical Society

Integral Comparison of Monsky-Washnitzer and overconvergent de Rham-Witt cohomology

Authors: Veronika Ertl, Johannes Sprang

Abstract: The goal of this small note is to extend a result by Christopher Davis and David Zureick-Brown on the comparison between integral Monsky-Washnitzer cohomology and overconvergent de~Rham-Witt cohomology for a smooth variety over a perfect field of positive characteristic $p$ to all cohomological degrees independent of the dimension of the base or the prime number $p$. Le but de ce travail est de… ▽ More The goal of this small note is to extend a result by Christopher Davis and David Zureick-Brown on the comparison between integral Monsky-Washnitzer cohomology and overconvergent de~Rham-Witt cohomology for a smooth variety over a perfect field of positive characteristic $p$ to all cohomological degrees independent of the dimension of the base or the prime number $p$. Le but de ce travail est de prolonger un résultat de Christopher Davis et David Zureick-Brown concernant la comparaison entre la cohomologie de Monsky-Washnitzer entière et la cohomologie de de~Rham-Witt surconvergente d'une variété lisse sur un coprs parfait de charactéristique positive $p$ à tous les degrés cohomologiques indépnedent de la dimension de base et du nombre premier $p$. △ Less

Submitted 2 December, 2017; v1 submitted 21 September, 2017; originally announced September 2017.

Comments: 7 pages

Journal ref: Proceedings of the AMS, Series B, vol. 5, pp. 64-72, (2018)

Witt differentials in the h-topology

Authors: Veronika Ertl, Lance Edward Miller

Abstract: Recent important and powerful frameworks for the study of differential forms by Huber-Joerder and Huber-Kebekus-Kelly based on Voevodsky's h-topology have greatly simplified and unified many approaches. This article builds towards the goal of putting Illusie's de Rham-Witt complex in the same framework by exploring the h-sheafification of the rational de Rham-Witt differentials. Assuming resolutio… ▽ More Recent important and powerful frameworks for the study of differential forms by Huber-Joerder and Huber-Kebekus-Kelly based on Voevodsky's h-topology have greatly simplified and unified many approaches. This article builds towards the goal of putting Illusie's de Rham-Witt complex in the same framework by exploring the h-sheafification of the rational de Rham-Witt differentials. Assuming resolution of singularities in positive characteristic one recovers a complete cohomological h-descent for all terms of the complex. We also provide unconditional h-descent for the global sections and draw the expected conclusions. The approach is to realize that a certain right Kan extension introduced by Huber-Kebekus-Kelly takes the sheaf of rational de Rham-Witt forms to a qfh-sheaf. As such, we state and prove many results about qfh-sheaves which are of independent interest. △ Less

Submitted 17 October, 2018; v1 submitted 26 March, 2017; originally announced March 2017.

Journal ref: Journal of Pure and Applied Algebra, 2019

Syntomic cohomology and $p$-adic motivic cohomology

Authors: Veronika Ertl, Wieslawa Niziol

Abstract: We prove a mixed characteristic analog of the Beilinson-Lichtenbaum Conjecture for p-adic motivic cohomology. It gives a description, in the stable range, of p-adic motivic cohomology (defined using algebraic cycles) in terms of differential forms. This generalizes a result of Geisser from small Tate twists to all twists and uses as a critical new ingredient the comparison theorem between syntomic… ▽ More We prove a mixed characteristic analog of the Beilinson-Lichtenbaum Conjecture for p-adic motivic cohomology. It gives a description, in the stable range, of p-adic motivic cohomology (defined using algebraic cycles) in terms of differential forms. This generalizes a result of Geisser from small Tate twists to all twists and uses as a critical new ingredient the comparison theorem between syntomic complexes and p-adic nearby cycles proved recently in Colmez-Niziol. △ Less

Submitted 16 April, 2016; v1 submitted 5 March, 2016; originally announced March 2016.

Full faithfulness for overconvergent F-de Rham-Witt connections

Authors: Veronika Ertl

Abstract: Let X be a smooth variety over a perfect field of characteristic p>0. In this small note we define overconvergent F-de Rham-Witt connections as an analogue for F-crystals over proper schemes. We prove that the forgetful functor from the category of overconvergent F-de Rham-Witt connections to the category of convergent F-de Rham-Witt connections is fully faithful. The argument is an analogue of a… ▽ More Let X be a smooth variety over a perfect field of characteristic p>0. In this small note we define overconvergent F-de Rham-Witt connections as an analogue for F-crystals over proper schemes. We prove that the forgetful functor from the category of overconvergent F-de Rham-Witt connections to the category of convergent F-de Rham-Witt connections is fully faithful. The argument is an analogue of a discussion by Kedlaya on full faithfulness of overconvergent F-isocrystals.} △ Less

Submitted 17 March, 2016; v1 submitted 26 November, 2014; originally announced November 2014.

Comments: 6 pages. Key Words: Witt vectors, overconvergent F-crystals, de Rham-Witt connections, Frobenius, slope

MSC Class: 14F20; 14F30

Journal ref: Comptes rendus - Mathématique vol. 354, no. 7, pp. 653-658, (2016)

Comparison between Rigid and Overconvergent Cohomology with Coefficients

Authors: Veronika Ertl

Abstract: 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 between overconvergent de Rham-Witt cohomology and Monsky-Washnitzer respectively rigid cohomology to coefficients. 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 between overconvergent de Rham-Witt cohomology and Monsky-Washnitzer respectively rigid cohomology to coefficients. △ Less

Submitted 17 March, 2016; v1 submitted 11 October, 2013; originally announced October 2013.

Comments: 14 pages

Overconvergent Chern Classes and Higher Cycle Classes

Authors: Veronika Ertl

Abstract: The goal of this work is to construct integral Chern classes and higher cycle classes for a smooth variety over a perfect field of characteristic p>0 that are compatible with the rigid Chern classes defined by Petrequin. The Chern classes we define have coefficients in the overconvergent de Rham-Witt complex of Davis, Langer and Zink and the construction is based on the theory of cycle modules dis… ▽ More The goal of this work is to construct integral Chern classes and higher cycle classes for a smooth variety over a perfect field of characteristic p>0 that are compatible with the rigid Chern classes defined by Petrequin. The Chern classes we define have coefficients in the overconvergent de Rham-Witt complex of Davis, Langer and Zink and the construction is based on the theory of cycle modules discussed by Rost. We prove a comparison theorem in the case of a quasi-projective variety. △ Less

Submitted 15 June, 2014; v1 submitted 11 October, 2013; originally announced October 2013.

Comments: 43 pages