Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Li, Zhenghui, Qin, Yanshuai, Ertl, with an appendix by Veronika
Format: Preprint
Veröffentlicht: 2024
Schlagworte:
Online-Zugang:https://arxiv.org/abs/2406.19518
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866912171021041664
author Li, Zhenghui
Qin, Yanshuai
Ertl, with an appendix by Veronika
author_facet Li, Zhenghui
Qin, Yanshuai
Ertl, with an appendix by Veronika
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2406_19518
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle On p-torsions of geometric Brauer groups
Li, Zhenghui
Qin, Yanshuai
Ertl, with an appendix by Veronika
Algebraic Geometry
11G40, 14G17, 14J20, 11G25, 11G35
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.
title On p-torsions of geometric Brauer groups
topic Algebraic Geometry
11G40, 14G17, 14J20, 11G25, 11G35
url https://arxiv.org/abs/2406.19518