Abstract
Let \({\mathcal {X}}\rightarrow C\) be a flat k-morphism between smooth integral varieties over a finitely generated field k such that the generic fiber X is smooth, projective and geometrically connected. Assuming that C is a curve with function field K, we build a relation between the Tate-Shafarevich group of \(\textrm{Pic}^0_{X/K}\) and the geometric Brauer groups of \({\mathcal {X}}\) and X, generalizing a theorem of Artin and Grothendieck for fibered surfaces to higher relative dimensions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For any regular noetherian scheme X, the cohomological Brauer group \({\textrm{Br}}(X)\) is defined to be the étale cohomology group \(H^2_{\textrm{et}}(X,\mathbb {G}_m)\).
Let C be the spectrum of the ring of integers in a number field or a smooth projective geometrically connected curve over a finite field with function field K. Let \(\mathcal {X}\) be a 2-dimensional regular scheme and \(\pi :\mathcal {X}\longrightarrow C\) be a proper flat morphism such that the generic fiber X of \(\pi \) is smooth and geometrically connected over K. Artin and Grothendieck (cf. [18, \(\S \) 4] or [42, Prop. 5.3]) proved that there is an isomorphism
up to finite groups. Assuming the finiteness of or \({\textrm{Br}}(\mathcal {X})\), Gordon [17], Milne [28], Gonzales-Aviles [16], Liu-Lorenzini-Raynaud [24, 25], Geisser [14] and Lichtenbaum-Ramachandran-Suzuki [21] gave a precise relation between their orders.
In this paper, we will generalize the above result of Artin and Grothendieck to fibrations of higher relative dimensions over arbitrary finitely generated fields. As an application, we give a simpler proof of Geisser’s Theorem 1.1 in [15] and reprove the reduction theorem of the Tate conjecture to prime fields due to André [2] and Ambrosi [1].
1.1 Main results
For any field k, denote by \(k^s\) the separable closure. Denote by \(G_k={\textrm{Gal}}(k^s/k)\) the absolute Galois group of k. For a torsion abelian group M and a prime number p, let \(M({\textrm{non}\text {-}}p)\) denote the subgroup of elements of order prime to p. We also define \(M({\textrm{non}\text {-}}p):=M\) for \(p=0\). For two abelian groups M and N, we say that they are almost isomorphic if there exists a subquotient \(M_1/M_0\) of M (resp. \(N_1/N_0\) of N) such that \(M_0\) (resp. \(N_0\)) and \(M/M_1\) (resp. \(N/N_1\)) are finite and \(M_1/M_0\cong N_1/N_0\). Let \(f:M\rightarrow N\) be a homomorphism with a finite cokernel and a kernel almost isomorphic to an abelian group H, in this situation, we say that the sequence \(0\rightarrow H\rightarrow M\rightarrow N\rightarrow 0\) is exact up to finite groups.
Theorem 1.1
Let k be a finitely generated field of characteristic \(p\ge 0\). Let \(\mathcal {X}\) be a smooth geometrically connected variety over k and C be a smooth projective geometrically connected curve over k with function field K. Let \(\pi :\mathcal {X}\longrightarrow C\) be a flat k-morphism such that the generic fiber X is smooth projective geometrically connected over K. Let \(K^{\prime }\) denote \(Kk^s\) and write P for \(\textrm{Pic}^{0}_{X/K,{\textrm{red}}}\). Define
where \(|C_{k^s}|\) denotes the set of closed points in \(C_{k^s}\) and \(K_v^{sh}\) denotes the fraction field of a strictly henselian local ring of \(C_{k^s}\) at v. Then there is an exact sequence up to finite groups
In the case that k is a finite field of characteristic p and \({\mathcal {X}}\) is projective over k, the above result gives a generalization (up to p-torsion) of Artin-Grothendieck’s theorem to higher relative dimensions in positive characteristics:
Corollary 1.2
Let \(\pi :\mathcal {X}\longrightarrow C\) be a proper flat k-morphism, where C is a smooth projective geometrically connected curve over a finite field k of characteristic p with function field K. Assuming that \(\mathcal {X}\) is smooth projective over k and the generic fiber X of \(\pi \) is smooth projective geometrically connected over K, then there is an exact sequence up to finite groups
In Theorem 1.1, when k is finite, the canonical maps and \({\textrm{Br}}({\mathcal {X}})\rightarrow {\textrm{Br}}(\mathcal {X}_{k^s})^{G_k}\) have finite kernels and cokernels (cf. Proposition 2.5 and [43, Cor. 1.4]). Thus, Corollary 1.2 follows from Theorem 1.1.
Remark 1.3
Two natural questions not pursued in our Theorem 1.1 and Corollary 1.2 are
-
the relation between p-primary part of those groups in characteristic \(p>0\) and
-
formulas which express the discrepancy in the exact sequence.
For the first question, one may ask if the p-primary torsion of \({\textrm{Br}}(X_{K^s})^{G_K}\) is still the obstruction of the Tate conjecture for divisors. D’Addezio [10] proved that for an abelian variety A/K, the p-primary torsion of \({\textrm{Br}}(A_{K^s})^{G_K}\) is of finite exponent. To address the p-torsion, one must delve into the flat cohomology of X over an imperfect field. Establishing connections between flat cohomology over an imperfect field and crystalline or rigid cohomology poses a challenge. Thus, our existing approach cannot be extended to encompass the p-torsion scenario. For the second question, one may ask for an explicit bound for the cokernel of \({\textrm{Br}}(X)\rightarrow {\textrm{Br}}(X_{K^s})^{G_K}\). In this direction, Colliot-Thélène and Skorobogatov [8, Thm. 2.2] gave interesting bounds for the cokernel of \({\textrm{Br}}(X)\rightarrow {\textrm{Br}}(X_{K^s})^{G_K}\) for some specific varieties over number fields.
1.2 Applications
Let us first recall the Tate conjecture for divisors over finitely generated fields.
Conjecture 1.4
(Conjecture \(T^1(X,\ell )\)) Let X be a projective and smooth variety over a finitely generated field k of characteristic \(p\ge 0\), and \(\ell \ne p\) be a prime number. Then the cycle class map
is surjective.
The conjecture is proved for abelian varieties by Tate [41] (over finite fields), Zarhin [45, 46] (over positive characteristics) and Faltings [11, 12] (over characteristic zero), for K3 surfaces over characteristic zero by André [3] and Tankeev [36, 37], for K3 surfaces over positive characteristics by Nygaard [31], Nygaard-Ogus [32], Artin-Swinnerton-Dyer [4], Maulik [27], Charles [6] and Madapusi-Pera [26].
By a well-known result (cf. [34, Prop. 2.5] or [43, Thm. 1.2] ), \(T^1(X,\ell )\) is equivalent to the finiteness of \({\textrm{Br}}(X_{k^s})^{G_k}(\ell )\). Thus, Corollary 1.2 implies the following Theorem of Geisser [15]:
Corollary 1.5
Notations as in Corollary 1.2. Let \(\ell \ne p\) be a prime, then \(T^{1}(\mathcal {X},\ell )\) is equivalent to the finiteness of and \(T^1(X,\ell )\).
Remark 1.6
Geisser [15] first studied fibrations of higher relative dimensions over finite fields by using étale motivic cohomology theory. He proved Corollary 1.5 (cf. [15, Thm. 1.1]) and gave a precise relation between the orders of the Tate-Shafarevich group of the Albanese variety of the generic fiber and the Brauer group of \({\mathcal {X}}\) (cf. [15, Thm. 1.2]) under the assumption of the finiteness of \({\textrm{Br}}({\mathcal {X}})\). For fibrations over the spectrum of the ring of integers in a number field of relative dimension \(>1\), the above question was first studied by Tankeev (cf. [38,39,40]). In [33], we will prove a version of Corollary 1.2 over the spectrum of the ring of integers in a number field.
Since Brauer groups are the obstruction of the Tate conjecture for divisors, in combination with a spreading out argument, Theorem 1.1 will imply the following reduction theorem of the Tate conjecture due to André [2] and Ambrosi [1]:
Theorem 1.7
Let k be a prime field and K be a finitely generated field over k. Let \(\ell \) be a prime different from char(k). Assuming that \(T^1(\mathcal {X},\ell )\) is true for all smooth projective varieties \(\mathcal {X}\) over k, then \(T^1(X,\ell )\) holds for all smooth projective varieties X over K.
Remark 1.8
\(T^1(X,\ell )\) for smooth projective varieties over finite fields has been reduced to \(T^1(X,\ell )\) for smooth projective surfaces X over finite fields with \(H^1(X,{\mathcal {O}}_X)=0\) by the work of A.J. de Jong (unpublished), Morrow [30, Thm. 4.3] and Yuan [44, Thm. 1.6]. In [20], Kahn proved that Tate conjecture in codimension 1 over a finitely generated field follows from the same conjecture for surfaces over its prime subfield.
In [34], Skorobogatov and Zarhin conjectured that \({\textrm{Br}}(X_{k^s})^{G_k}\) is finite for any smooth projective variety X over a finitely generated field k. In [34, 35], they proved the finiteness of \({\textrm{Br}}(X_{k^s})^{G_k}({\textrm{non}\text {-}}p)\) for abelian varieties and K3 surfaces(\({\textrm{char}}(k)\ne 2\)). By our Theorem 1.1, we reduce the question about the finiteness of \({\textrm{Br}}(X_{k^s})^{G_k}({\textrm{non}\text {-}}p)\) to the question over prime fields:
Theorem 1.9
Let k be a prime field and K be a field finitely generated over k. Then the following statements are true.
-
If \(k=\mathbb {Q}\) and \({\textrm{Br}}(X_{k^s})^{G_k}\) is finite for any smooth projective variety X over k, then \({\textrm{Br}}(X_{K^s})^{G_K}\) is finite for any smooth projective variety X over K.
-
If \(k=\mathbb {F}_p\) and the Tate conjecture for divisors holds for any smooth projective variety over k, then \({\textrm{Br}}(X_{K^s})^{G_K}({\textrm{non}\text {-}}p)\) is finite for any smooth projective variety X over K.
1.3 Sketch of the proof of Theorem 1.1
For the proof of Theorem 1.1, the left exactness will follow from Grothendieck’s argument in [18, \(\S \) 4]. The tricky part is to show that the natural map
has a finite cokernel. The key idea is to use a pull-back trick developed by Colliot-Thélène and Skorobogatov (cf. [8] or [43] ) to reduce it to cases of relative dimension 1. Choose an open dense subset \(U\subseteq C\) such that \(\pi ^{-1}(U)\longrightarrow U\) is smooth and proper. Write \({\mathcal {V}}\) for \(\pi ^{-1}(U)\). By purity for Brauer groups, the natural map
is injective and has a finite cokernel. It suffices to show that
has a finite cokernel. For simplicity, we assume that X(K) is not empty. By the spectral sequence
we get an exact sequence
And we will show there is a canonical isomorphism
So the question is reduced to show the vanishing of \(d^{0,2}_{2}\). In the case of relative dimension 1, this is obvious since \(R^2\pi _*\mathbb {G}_m=0 \) by Artin’s theorem [18, Cor. 3.2]. In general, taking a smooth projective curve \(Y\subseteq X\), then spreading out, we get a relative curve \(\pi ^\prime :{\mathcal {Y}}\longrightarrow C\) and a C-morphism \({\mathcal {Y}}\longrightarrow {\mathcal {X}}\). This gives a commutative diagram
We hope that the second column is injective. In fact, we need finitely many \(\pi ^{i}:{\mathcal {Y}}_i\longrightarrow C\) such that the induced morphism of abelian sheaves
is split up to abelian sheaves of finite exponent. The splitting implies that the natural map
has a kernel of finite exponent. It follows that \(d^{0,2}_2\) has an image of finite exponent. This shows that the cokernel of the natural map at the beginning is of finite exponent. Since the groups are cofinitely generated (cf. §2.3), this property of finite exponent translates to finite cokernel.
To get this splitness, we will choose \(Y_i\) as the complete intersection of very ample divisors on X such that there exists an abelian variety A/K and a \(G_K\)-equivariant map
with finite kernel and cokernel (cf. [43, §3.3, p17]).
1.4 Notations
By a finitely generated field, we mean a field which is finitely generated over a prime field. By a variety over a field k, we mean a scheme which is separated and of finite type over k. A morphism between varieties over k is a k-morphism. For a smooth proper geometrically connected variety X over a field k, we use \(\textrm{Pic}^0_{X/k}\) to denote the identity component of the Picard scheme \(\textrm{Pic}_{X/k}\). Denote by \(\textrm{Pic}^0_{X/k,{\textrm{red}}}\) the underlying reduced closed subscheme of \(\textrm{Pic}^0_{X/k}\). The default sheaves and cohomology over schemes are with respect to the small étale site. So \(H^i\) is the abbreviation of \(H_{\textrm{et}}^i\). For any abelian group M, integer m and prime \(\ell \), we set
2 Preliminary results
2.1 The Galois invariant parts of geometric Brauer groups
In this section, we will show that the Galois invariant part of the geometric Brauer group of a smooth variety is a birational invariant up to finite groups. This will allow us to shrink the base of a fibration without changing the question.
The following results in the case of characteristic 0 were proved in [8] (cf. [8, Prop. 6.1 and Thm. 6.2 (iii)]).
Proposition 2.1
Let X be a smooth geometrically connected variety over a finitely generated field k of characteristic \(p\ge 0\). Let \(U\subseteq X\) be an open dense subset. Then the natural map
is injectie and has a finite cokernel.
Proof
The injectivity follows from that \(X_{k^s}\) is regular and irreducible. To show that the cokernel is finite, we need the lemma below. Let Y denote \(X-U\) with reduced scheme structure. By purity for Brauer group (cf. [5, Thm. 1.1]), removing a close subset of codimension \(\ge 2\) will not change the Brauer group. Thus, by shrinking X, we may assume that Y is regular and of codimension 1 in X. Let \(\ell \ne p\) be a prime. By purity for Brauer group (cf. [18, §6] and [13]), there is a canonical exact sequence
Thus, it suffices to show that the group
is finite and vanishes for all but finitely many \(\ell \). This follows from the lemma below. \(\square \)
The following lemma in characteristic 0 was proved by Colliot-Thélène and Skorobogatov (cf. [8, Prop. 6.1]). For completeness, we present the proof for the cases in arbitrary characteristics, following their arguments.
Lemma 2.2
Let U be a regular variety over a finitely generated field k. Let \(\ell \ne {\textrm{char}}(k)\) be a prime. Then
is finite and vanishes for all but finitely many \(\ell \).
Proof
Firstly, we will show that it suffices to prove the claim for smooth varieties over k. Notice that we can replace k by a finite separable extension. Thus, we may assume that \(U_{k^s}\) is irreducible. Let V be an open dense subset of \(U_{k^s}\). By semi-purity (cf. [13, §8]),
is injective. We may assume that V is defined over k. Therefore, it suffices to prove the claim for an open dense subset. Since \(U_{k^s}\) and \(U_{\bar{k}}\) have the same underlying toplological space, by shrinking \(U_{k^s}\), we may assume that \((U_{\bar{k}})_{{\textrm{red}}}\) is irreducible and smooth over \(\bar{k}\). So there exists a finite extension l/k such that \((U_{l})_{\textrm{red}}\) is irreducible and smooth over l. We may assume that l/k is purely inseparable. Then \(l^s=l\otimes _{k}k^s\) and \(G_l=G_k\). Let V denote \((U_{l})_{\textrm{red}}\). Thus \(V_{l^s}=V\times _{{{\,\textrm{Spec}\,}}k} {{\,\textrm{Spec}\,}}k^s\). The k-morphism \(V\longrightarrow U\) induces a \(G_k\)-equivariant isomorphism
so it suffices to prove the claim for V. Thus we may assume that U is smooth and geometrically connected over k.
By above arguments, we can always replace k by a finite extension and shrink U. By de Jong’s alteration theorem, we may assume that there is a finite flat morphism \(f:V\longrightarrow U\) such that V admits a smooth projective geometrically connected compactification over k. Since the kernel of
is killed by the degree of f (cf. [7, Prop. 3.8.4]), it suffices to prove the claim for V. Thus we may assume that U is an open subvariety of a smooth projective geometrically connected variety X over k. Let \(Y_i\) be irreducible components of \(X-U\) of codimension 1. Let \(D_i\) be the regular locus of \(Y_i\). By extending k to a finite separable extension, we may assume that \(D_i\) is geometrically irreducible. By purity, there is a canonical exact sequence
Taking \(G_k\)-invariants, we get an exact sequence
It suffices to show that the size of the first and third group are bounded independent of n and is equal to 1 for all but finitely many \(\ell \). Since \(D_{i,k^s}\) is connected, we have
By the lemma below, the size of the third group is bounded independent of n and is equal to 1 for all but finitely many \(\ell \). Since
and
is exact, it suffices to show that the size of \((\textrm{Pic}^0_{X/K,{\textrm{red}}}[\ell ^n](-1))^{G_k}\) is bounded independent of n and is equal to 1 for all but finitely many \(\ell \). Let A be the dual of \(\textrm{Pic}^0_{X/K,{\textrm{red}}}\). By the Weil pairing,
Taking \(G_k\)-invariants, we get
By the lemma below, the claim follows. \(\square \)
Lemma 2.3
Let A be an abelian variety over a finitely generated field K of characteristic \(p\ge 0\). Let \(\ell \ne p\) be a prime. Then the sizes of
are bounded independent of n. Moreover, for all but finitely many \(\ell \), these two groups vanish for any n.
Proof
We will only prove the claim for the first group, since the second one follows from the same arguments. Firstly, we assume that K is finite, then we will use a specialization technique to reduce the general case to the finite field case.
If K is finite, then we have
which has the same size as \(A[\ell ^n]^{G_{K}}\). Then the claim follows from the finiteness of A(K).
In general, choose an integral regular scheme S of finite type over \({{\,\textrm{Spec}\,}}\mathbb {Z}\) with function field K. By Shrinking S, we may assume A/K extends to an abelian scheme \({\mathscr {A}}/S\). Fix a closed point \(s\in S\). For any \(\ell \ne {\textrm{char}}(k(s))\), we can shrink S such that \(\ell \) is invertible on S and \(s\in S\). Then the étale sheaf \({\mathscr {A}}[\ell ^n]\) is a locally constant sheaf of \(\mathbb {Z}/\ell ^n\)-module since \({\mathscr {A}}[\ell ^n]\) is finite étale over S. Thus
is also a locally constant sheaf of \(\mathbb {Z}/\ell ^n\)-module and its stalk at the generic point can be identified with
Set \(\mathscr {F}={\mathscr {H}}om({\mathscr {A}}[\ell ^n],\mathbb {Z}/\ell ^n)\), we have
Since \(H^0(s,\mathscr {F})={\textrm{Hom}}({\mathscr {A}}_{s}[\ell ^n],\mathbb {Z}/\ell ^n)^{G_{k(s)}}\) and k(s) is finite, thus the claim holds for \(\ell \ne {\textrm{char}}(k(s))\). In the case \({\textrm{char}}(K)=0\), we can choose another closed point \(s^\prime \) such that \({\textrm{char}}(k(s^\prime ))\ne {\textrm{char}}(k(s))\), then by the same argument, the claim also holds for \(\ell ={\textrm{char}}(k(s))\). This completes the proof. \(\square \)
2.2 The Tate-Shafarevich group
In this section, first, we will study a geometric version of the Tate-Shafarevich group for an abelian variety over a function field with a base field k. Then, we will prove that the Galois fixed part of the geometric Tate-Shafarevich group is canonically isomorphic to Tate-Shafarevich group up to finite groups in the case that k is a finite field. The idea is reducing the question to the relation between arithmetic Brauer groups and geometric Brauer groups which was studied in [8] (cf. [43]).
Proposition 2.4
Let C be a smooth projective geometrically connected curve defined over a finitely generated field k of characteristic \(p\ge 0\). Let K be the function field of C and A be an abelian variety over K. Denote \(Kk^s\) by \(K^\prime \). Let \(U\subseteq C\) be an open dense subscheme. Define
Then the natural map
is injective and has a cokernel of finite exponent.
Proof
By definitions, the injectivity is obvious. It suffices to show that the cokernel is of finite exponent. Since there exists an abelian variety B/K such that \(A\times B\) is isogenous to \(\textrm{Pic}^0_{X/K}\) for some smooth projective geometrically connected curve X over K (cf. [8, p10]), it suffices to prove the claim for \(A=\textrm{Pic}^0_{X/K}\). Without loss of generality, we may replace k by a finite extension l/k. This is obvious if l/k is separable. For l/k a purely inseparable extension of degree \(p^n\), the quotient \(A(K^sl^s)/A(K^s)\) is killed by \(p^n\). Then \(H^1(K^\prime ,A) \longrightarrow H^1(Kl^s,A)\) has a kernel and a cokernel killed by \(p^n\). It follows that has a kernel and a cokernel killed by some power of p. By resolution of singularity of surfaces (cf. [23]), \(X\longrightarrow {{\,\textrm{Spec}\,}}K\) admits a proper regular model \(\pi :{\mathcal {X}}\longrightarrow C\). By extending k, we may assume that \({\mathcal {X}}\) is smooth proper geometrically connected over k. Write V for \(\pi ^{-1}(U)\). By the Leray spectral sequence
we get a long exact sequence
By [18, Cor. 3.2 and Lem. 3.2.1], \(R^2\pi _*\mathbb {G}_m=0\) and \(H^i(U_{k^s},\mathbb {G}_m)({\textrm{non}\text {-}}p)=0\) for \(i\ge 2\). Thus, we have a canonical isomoprhism
Let \(j:{{\,\textrm{Spec}\,}}K^\prime \longrightarrow C_{k^s}\) be the generic point. By the spectral sequence
we have
Let D be an effective divisor on X with \(\deg (D)>0\). Since the quotient \(\textrm{Pic}(X_{K^s})/(\textrm{Pic}^0_{X/K}(K^s)\oplus \mathbb {Z}[D])\) is finite, the natural map induced by the inclusion \(\textrm{Pic}^0_{X/K}(K^s)\longrightarrow \textrm{Pic}(X_{K^s})\)
has a kernel and a cokernel of finite exponent. Thus, the question is reduced to show that the natural map
has a cokernel of finite exponent. Without loss of generality, we may shrink U such that \(\pi \) is smooth on \(\pi ^{-1}(U)\). Then, by Lemma 3.1, the natural map
is an isomorphism on U. It follows that
Consider the following commutative diagram
Since the map on the bottom is an isomorphism, it suffices to show that the natural map
has a finite cokernel. This follows from Proposition 2.1. \(\square \)
Proposition 2.5
Notations as in the above proposition. Assuming that k is a finite field, define
Then the natural map
has a kernel and a cokernel of finite exponent.
Proof
We use the same arguments as in the proof of the previous lemma. It suffices to prove the claim for \(A=\textrm{Pic}^0_{Y/K}\) where Y is a smooth projective geometrically connected curve over k. Y admits a projective regular model \( {\mathcal {Y}}\longrightarrow C\). Then we have
and
up to finite groups. Thus the question is reduced to show that
has a finite kernel and a finite cokernel. This follows from [43, Cor. 1.4]. \(\square \)
2.3 Cofiniteness of Brauer groups and Tate-Shafarevich groups
Let \(\ell \) be a prime number. Recall that a \(\ell \)-torsion abelian group M is of cofinite type if \(M[\ell ]\) is finite. This is also equivalent to that M can be written as \((\mathbb {Q}_\ell /\mathbb {Z}_\ell )^{r}\oplus M_0\) for some integer \(r\ge 0\) and some finite group \(M_0\). We also say that a torsion abelian group M is of cofinite type if \(M(\ell )\) is of cofinite type for all primes \(\ell \). It is easy to see that a morphism \(M\rightarrow N\) between abelian groups of cofinite type has a kernel and a cokernel of finite exponent if and only if the kernel and cokernel are finite.
In the following, we will show the cofinitness of geometric Tate-Shafarevich groups and geometric Brauer groups defined in previous sections.
Lemma 2.6
The group defined in the Proposition 2.4 is of cofinite type for any \(\ell \ne p\).
Proof
We may shrink U such that A extends to an abelian scheme \({\mathscr {A}}\) over U. By the exact sequence
we get a surjection
Since \(H^1(U_{k^s},{\mathscr {A}}[\ell ])\) is finite, \(H^1(U_{k^s}, {\mathscr {A}})[\ell ]\) is also finite. Thus, it suffices to show
This follows from \({\mathscr {A}}\cong j_*A\), since \({\mathscr {A}}\) is a Néron model of A over U, where \(j:{{\,\textrm{Spec}\,}}K\longrightarrow U\) is the generic point. \(\square \)
Lemma 2.7
Let X be a smooth variety over a separable closed field k of characteristic \(p\ge 0\). Let \(\ell \ne p\) be a prime. Then \({\textrm{Br}}(X)(\ell )\) is of cofinite type.
Proof
The Kummer exact sequence
induces a surjection
Then the claim follows from the finiteness of \(H^2(X,\mu _\ell )\). \(\square \)
3 Proof of the main theorem
3.1 The left exactness in Theorem 1.1
In this section, we will prove the left exactness of the sequence in Theorem 1.1 by following Grothendieck’s arguments in [18, §4].
Lemma 3.1
Let U be an irreducible regular scheme of dimension 1 with function field K. Let \(\pi :{\mathcal {X}}\longrightarrow U\) be a smooth proper morphism with a generic fiber geometrically connected over K. Let \(j:{{\,\textrm{Spec}\,}}K\longrightarrow U\) be the generic point of U. Then we have
-
(a) the natural map
$$\begin{aligned} R^1\pi _*\mathbb {G}_m\longrightarrow j_*j^*R^1\pi _*\mathbb {G}_m \end{aligned}$$is an isomorphism,
-
(b) the natural map
$$\begin{aligned} R^2\pi _*\mathbb {G}_m(\ell )\longrightarrow j_*j^*R^2\pi _*\mathbb {G}_m(\ell ) \end{aligned}$$is an isomorphism for any prime \(\ell \) invertible on U.
Proof
It suffices to show that the induced maps on stalks are isomorphism. Thus, we may assume that \(U={{\,\textrm{Spec}\,}}R\) where R is a strictly henselian DVR.
Let X denote the generic fiber. Let \(s \in U\) be the closed point. Then we have
Since \({\mathcal {X}}_s\) admits a section \(s\longrightarrow {\mathcal {X}}_s\) and \(\pi \) is smooth, the section can be extended to a section \(U\longrightarrow {\mathcal {X}}\). Thus X(K) is not empty. So
Since \({\mathcal {X}}\) is regular, the natural map
is surjective and has a kernel generated by vertical divisors. It suffices to show that \({\mathcal {X}}_s\) is connected. This actually follows from \(\pi _*{\mathscr {O}}_{{\mathcal {X}}}={\mathscr {O}}_U\) (cf. [19, Chap. III, Cor. 11.3]). This proves (a).
Let I denote \(G_K\). For (b), the induced map on the stalk at s is
Since \(\pi \) is smooth and proper, we have
Consider
Since \({\textrm{NS}}(X_{K^s})\otimes \mathbb {Q}_\ell /\mathbb {Z}_\ell \) is I-invariant and \(\textrm{Pic}({\mathcal {X}})=\textrm{Pic}(X)\). It suffices to show that
is surjective. Write \({\textrm{NS}}(X_{K^s})_{free}\) for \({\textrm{NS}}(X_{K^s})/{\textrm{NS}}(X_{K^s})_{{\textrm{tor}}}\). The action of I on \({\textrm{NS}}(X_{K^s})\) factors through a finite quotient \(I^\prime \). Consider the exact sequence
\(H^1(I^\prime ,{\textrm{NS}}(X_{K^s})_{free} \otimes \mathbb {Z}_{\ell })\) is killed by the order of \(I^\prime \). Since \(({\textrm{NS}}(X_{K^s}) \otimes \mathbb {Q}_{\ell }/\mathbb {Z}_\ell )^I={\textrm{NS}}(X_{K^s}) \otimes \mathbb {Q}_{\ell }/\mathbb {Z}_\ell \) is divisible, so the image of the last map is zero. Since
is surjective (cf. [43, §2.2]), the claim follows. By the Snake Lemma, the natural map
is an isomorphism. \(\square \)
Lemma 3.2
Let U be a smooth geometrically connected curve over a field k of characteristic \(p\ge 0\) with function field K. Let \(\pi :{\mathcal {X}}\longrightarrow U\) be a smooth proper morphism with a generic fiber X geometrically connected over K. Let \(K^\prime \) denote \(Kk^s\). Define
Then we have a canonical exact sequence
Moreover, the natural map
has a kernel and cokernel of finite exponent.
Proof
We may assume that \(k=k^s\). By the Leray spectral sequence
we get a long exact sequence
By [18, Lem. 3.2.1], \(H^i(U,\mathbb {G}_m)({\textrm{non}\text {-}}p)=0\) for \(i\ge 2\). Thus, we get a canonical exact sequence
Let \(j:{{\,\textrm{Spec}\,}}K \longrightarrow U\) be the generic point. By Lemma 3.1, we have canonical isomorphisms
and
Since \(j^*R^i\pi _*\mathbb {G}_m\) corresponds to the \(G_K\)-module \(H^i(X_{K^s},\mathbb {G}_m)\), we have
This proves the first claim.
For the second claim, consider the exact sequence
Since \({\textrm{NS}}(X_{K^s})\) is finitely generated, there exists a finite Galois extension L/K such that \(\textrm{Pic}(X_{L})\longrightarrow {\textrm{NS}}(X_{K^s})\) is surjective. Taking cohomoloy, we get a long exact sequence
We have a similar long exact sequence for \(H^i(L,-)\). Since \(\textrm{Pic}(X_L)\rightarrow {\textrm{NS}}(X_{K^s})\) is surjective, we have \(a_L=0\) and
\(a_L=0\) implies that the image of \(a_K\) is contained in
which is killed by [L : K]. Similarly, one can show that \(H^1(K,{\textrm{NS}}(X_{K^s}))\) is killed by \([L:K]|{\textrm{NS}}(X_{K^s})_{{\textrm{tor}}}|\). Therefore, the kernel and cokernel of
are killed by \([L:K]|{\textrm{NS}}(X_{K^s})_{{\textrm{tor}}}|\). The claim also holds for
By diagram chasings, the kernel and cokernel of
is of finite exponent. This completes the proof. \(\square \)
3.2 The pull-back trick
In this section, we will introduce a pull-back trick initially developed by Colliot-Thélène and Skorobogatov in [8] which allows us to reduce the question to cases of relative dimension 1.
Let U be a regular integral excellent scheme of dimension 1 with function field K. Let \(\pi :{\mathcal {X}}\longrightarrow U\) be a smooth projective morphism with the generic fiber X geometrically connected over K. The Leray spectral sequence
induces canonical maps
Lemma 3.3
Assuming that X(K) is not empty and the natural map \(\textrm{Pic}(X)\rightarrow {\textrm{NS}}(X_{K^s})\) is surjective, then the canonical maps \(d^{1,1}_2\) and \(d_3^{0,2}\) vanish and \(E_3^{3,0}=E_2^{3,0}\). Moreover, there exists an open dense subscheme \(V\subseteq U\) such that the canonical map \(d_2^{0,2}\) has an image of finite exponent when replacing U by V. As a result, the natural map
has a cokernel of finite exponent.
Proof
Let \(s\in X(K)\). Since \(\pi \) is proper, it extends to a section \(s:U\longrightarrow {\mathcal {X}}\). Let \({\tilde{E}}_2^{p,q}\) denote the Leray spectral sequence for the identity map \(U\longrightarrow U\). Then s induces a commutative diagram
The second column is an isomorphism since \(E_2^{3,0}=H^3(U,\mathbb {G}_m)={\tilde{E}}_2^{3,0}\). Since \({\tilde{E}}_2^{1,1}=0\), thus \(d_2^{1,1}=0\). By definition, \(d_2^{3,0}=0\), it follows that \(E_3^{3,0}=E_2^{3,0}\). By the same arguments, we have \(d_3^{0,2}=0\).
For the proof of the second claim, we will use the pullback method for finitely many U-morphisms \({\mathcal {Y}}_i\longrightarrow {\mathcal {X}}\) where \({\mathcal {Y}}_i\) is of relative dimension 1 over U. Let \(^iE^{p,q}_2\) denote the Leray spectral sequence for \(\pi _i:{\mathcal {Y}}_i\longrightarrow U\). There is a commutative diagram
By shrinking U, we can assume that \(\pi _i\) is smooth and projective for all i. By Artin’s theorem [18, Cor. 3.2], \(R^2\pi _{i,*}\mathbb {G}_m=0\). Thus, to show that \(d_2^{0,2}\) has an image of finite exponent, it suffices to show that the second column has a kernel of finite exponent. The second column is the map
By Lemma 3.1(a), we have a canonical isomorphism
where \(j:{{\,\textrm{Spec}\,}}K\longrightarrow U\) is the generic point. It suffices to show that there exists an étale sheaf \(\mathscr {F}\) on \({{\,\textrm{Spec}\,}}K\) and a morphism \(\mathscr {F}\longrightarrow \oplus _ij^*R^1\pi _{i,*}\mathbb {G}_m\) such that the induced map
has a kernel and a cokernel killed by some positive integer. This will imply that the induced map
has a kernel and a cokernel of finite exponent. Since \(j^*R^1\pi _*\mathbb {G}_m\) corresponds to the \(G_K\)-module \(\textrm{Pic}(X_{K^s})\), (1) can be interpreted as that there is a \(G_K\)-module M and a \(G_K\)-equivariant map \(M\longrightarrow \oplus _{i}\textrm{Pic}(Y_{i,K^s})\) such that
has a kernel and a cokernel of finite exponent. In [43, §3.3, p17], Yuan proved that there exist smooth projective curves \(Y_i\) in X which are obtained by taking intersection of very ample divisors and an abelian subvariety A of \(\prod _i\textrm{Pic}^0_{Y_i/K}\) such that the induced morphism
has a finite kernel and a finite cokernel. Taking \({\mathcal {Y}}_i\) to be the Zariski closure of \(Y_i\) in \({\mathcal {X}}\), then shrinking U, we get smooth and proper morphisms \(\pi :{\mathcal {Y}}_i\longrightarrow U\). This proves the second claim.
For the last claim, consider the following canonical exact sequences induced by the Leray spectral sequence,
Since \(d_3^{0,2}\) vanishes and \(d_2^{0,2}\) has an image of finite exponent, it follows that
has a cokernel of finite exponent. This completes the proof. \(\square \)
3.3 Proof of Theorem 1.1
Now we prove Theorem 1.1. Let U be an open dense subscheme of C such that \(\pi \) is smooth and projective over U. By Lemma 3.2, the natural map
has a kernel of finite exponent. By Lemma 2.6 and 2.7, all groups here are of cofinite type, thus the kernel is actually finite. By Proposition 2.1 and 2.4, it suffices to show that the natural map
has a cokernel of finite exponent.
Firstly, we will prove this under the assumption that X(K) is not empty and the natural map \(\textrm{Pic}(X)\rightarrow {\textrm{NS}}(X_{K^s})\) is surjective. We still use \({\mathcal {X}}\) to denote \(\pi ^{-1}(U)\). By Proposition 2.1, without loss of generality, we can always replace U by an open dense subset. By Lemma 3.1(b), we have
so it suffices to show that the natural map induced by the Leray spectral sequence for \(\pi \)
has a cokernel of finite exponent. By shrinking U, the claim follows from Lemma 3.3.
Secondly, we will show that the question can be reduced to the case that X(K) is not empty and the natural map \(\textrm{Pic}(X)\rightarrow {\textrm{NS}}(X_{K^s})\) is surjective. There exists a finite Galois extenion L/K such that X(L) is not empty and the natural map \(\textrm{Pic}(X_L)\rightarrow {\textrm{NS}}(X_{K^s})\) is surjective. Let W be a smooth curve over k with function field L. By shrinking U and W, the map \({{\,\textrm{Spec}\,}}L \longrightarrow {{\,\textrm{Spec}\,}}K\) extends to a finite étale Galois covering map \(W\longrightarrow U\). Let \({\mathcal {X}}_W \longrightarrow W\) be the base change of \({\mathcal {X}}\longrightarrow U\) to W. By the above arguments, the natural map
has a cokernel of finite exponent. Let G denote \({\textrm{Gal}}(L/K)\). The above map is compatible with the G-action. Taking G-invariant, we have that
has a cokernel of finite exponent. Then the question is reduced to show that the natural map
has a cokernel of finite exponent. Consider the spectral sequence
Since \(H^p(G,-)\) is killed by the order of G, by similar arguments as in Lemma 3.3, we can conclude that the cokernel of
is of finite exponent. This completes the proof of the theorem.
4 Applications
4.1 Proof of Theorem 1.9
Firstly, note that in the case that k is finite, by [22, Thm. 2.3], the finiteness of \({\textrm{Br}}({\mathcal {X}}_{k^s})^{G_k}({\textrm{non}\text {-}}p)\) is equivalent to the Tate conjecture for divisors on \({\mathcal {X}}\).
We will prove the finiteness of \({\textrm{Br}}(X_{K^s})^{G_K}({\textrm{non}\text {-}}p)\) by the induction on the transcendence degree of K/k. If K/k is of transcendence degree 0, a smooth projective variety over K can be view as a smooth projective variety over k. So the claim is true by assumptions.
Assume that the claim is true for all extensions l/k of transcendence degree n. Let K/k be a finitely generated extension of transcendence degree \(n+1\). Let X/K be a smooth projective connected variety over K, by extending K, we may assume that X/K is geometrically connected. K can be regarded as the function field of a smooth projective geometrically connected curve C over a field l of transcendence degree n over k. \(X\longrightarrow {{\,\textrm{Spec}\,}}K\) can be extended to a smooth morphism \(\pi :{\mathcal {X}}\longrightarrow C\). By Theorem 1.1,
has a finite cokernel. It suffices to show that \({\textrm{Br}}({\mathcal {X}}_{l^s})^{G_l}({\textrm{non}\text {-}}p) \) is finite. By Proposition 2.1, we may shrink \({\mathcal {X}}\) such that there is an alteration \(f:{\mathcal {X}}^{\prime }\longrightarrow {\mathcal {X}}\) such that \({\mathcal {X}}^{\prime }\) admits a smooth projective compactification over a finite extension of l. Replacing l by a finite extension will not change the question, so we may assume that \({\mathcal {X}}^{\prime }\) admits a smooth projective compactification over l. By shrinking \({\mathcal {X}}\), we may assume that f is finite flat. Then the kernel of
is killed by the degree of f (cf. [7, Prop. 3.8.4]) and therefore is finite. Since \({\textrm{Br}}({\mathcal {X}}^\prime _{l^s})^{G_l}({\textrm{non}\text {-}}p)\) is finite by induction, so \({\textrm{Br}}({\mathcal {X}}_{l^s})^{G_l}({\textrm{non}\text {-}}p)\) is finite. This completes the proof.
4.2 Proof of Theorem 1.7
Let \(\ell \ne p\) be a prime, the the claim in Theorem 1.9 also holds when replacing the prime to p part by the \(\ell \) primary part in the statement. So by the same argument as in the proof of Theorem 1.9, Theorem 1.7 is true.
4.3 Brauer groups of integral models of abelian varieties and K3 surfaces
Proposition 4.1
Let C be a smooth projective geometrically connected curve over a finite field k of characteristic \(p>2\). Let \(\pi :{\mathcal {X}}\longrightarrow C\) be a projective flat morphism. Let X denote the generic fiber of \(\pi \). Assuming that \({\mathcal {X}}\) is regular and \(X_{K^s}\) is an abelian variety over \(K^s\), then there is an isomorphism up to finite groups
Proof
By [34, Thm. 1.1], \({\textrm{Br}}(X_{K^s})^{G_K}({\textrm{non}\text {-}}p)\) is finite, the claim follows directly from Corollary 1.2. \(\square \)
Proposition 4.2
Let C be a smooth projective geometrically connected curve over a finite field k of characteristic p. Let \(\pi :{\mathcal {X}}\longrightarrow C\) be a projective flat morphism. Assuming that \({\mathcal {X}}\) is regular and the generic fiber X of \(\pi \) is a smooth projective geometrically connected surface over K with \(H^1(X_{K^s},\mathbb {Q}_\ell )=0\) for some prime \(\ell \ne p\), then the natural map
has a finite kernel and cokernel. As a result, \({\textrm{Br}}(X_{K^s})^{G_K}({\textrm{non}\text {-}}p)\) is finite if and only if \({\textrm{Br}}(X_{K^s})^{G_K}(\ell )\) is finite for some prime \(\ell \ne p\).
Proof
\(\textrm{Pic}^0_{X/K,{\textrm{red}}}=0\) since \(H^1(X_{K^s},\mathbb {Q}_\ell )=0\). It follows that
Then the claim follows from Corollary 1.2. \(\square \)
Corollary 4.3
Notations as above, if X/K is a K3 surface and \(p>2\), then \({\textrm{Br}}({\mathcal {X}})\) is finite.
Proof
Since Tate conjecture for X is known by work of lots of people (cf. Conjecture 1.4 ), so \({\textrm{Br}}(X_{K^s})^{G_K}(\ell )\) is finite for some prime \(\ell \ne p\). By the above proposition, \({\textrm{Br}}({\mathcal {X}})(\ell )\) is also finite. Then by [29, Thm. 0.4], \({\textrm{Br}}({\mathcal {X}})\) is finite. \(\square \)
Proposition 4.4
Let X be a K3 surface over a global field K of characteristic \(p>2\). Then \({\textrm{Br}}(X_{K^s})^{G_K}({\textrm{non}\text {-}}p)\) is finite.
Proof
By previous results, it suffices to show that X admits a projective regular model. By resolution of singularity of threefolds (cf. [9]), X does admit a projective regular model. \(\square \)
Data availability
As our manuscript does not utilize data in its findings, there is no data availability statement applicable.
References
Ambrosi, E.: A note on the behaviour of the Tate conjecture under finitely generated field extensions. Pure Appl. Math. Quart. 14(3), 515–527 (2018)
André, Y.: Pour une théorie inconditionnelle des motifs. Publications Mathématiques de l’IHÉS 83, 5–49 (1996)
André, Y.: On the Shafarevich and Tate conjectures for hyperkähler varieties. Math. Ann. 305(2), 205–248 (1996)
Artin, M., Swinnerton-Dyer, H.P.F.: The Shafarevich-Tate conjecture for pencils of elliptic curves on K3 surfaces. Invent. Math. 20, 249–266 (1973)
Česnavičius, K.: Purity for the Brauer group. Duke Math. J. 168(8), 1461–1486 (2019)
Charles, F.: The Tate conjecture for K3 surfaces over finite fields. Invent. Math. 194, 119–145 (2013)
Colliot-Thélène, J.-L., Skorobogatov, A.N.: The Brauer-Grothendieck Group vol. 71. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-74248-5
Colliot-Thélène, J.-L., Skorobogatov, A.N.: Descente galoisienne sur le groupe de Brauer. J. Reine Angew. Math. 682, 141–165 (2013)
Cossart, V., Piltant, O.: Resolution of singularities of threefolds in positive characteristic II. J. Algebra 321(7), 1836–1976 (2009)
D’Addezio, M.: Boundedness of the p-primary torsion of the Brauer group of an abelian variety. Compos. Math. 160(2), 463–480 (2024)
Faltings, G.: Complements to mordell. In: Rational Points (Bonn, 1983/1984). Aspects Math., vol. E6, pp. 203–227. Friedr. Vieweg, Braunschweig (1984)
Faltings, G.: Endlichkeitssätze für abelsche varietäten über zahlkörpern. Invent. Math. 73(3), 349–366 (1983)
Fujiwara, K.: A proof of the absolute purity conjecture (after Gabber). In: Algebraic Geometry 2000. Azumino, vol. 36, pp. 153–184. Mathematical Society of Japan, Tokyo (2002)
Geisser, T.H.: Comparing the Brauer group to the Tate-Shafarevich group. J. Inst. Math. Jussieu 19(3), 965–970 (2020)
Geisser, T.H.: Tate’s conjecture and the Tate-Shafarevich group over global function fields. J. Inst. Math. Jussieu 20(3), 1001–1022 (2021)
Gonzalez-Aviles, C.D.: Brauer Groups and Tate-Shafarevich Groups. J. Math. Sci. Univ. Tokyo 10, 391–419 (2003)
Gordon, W.: Linking the conjectures of Artin-Tate and Birch-Swinnerton-Dyer. Compos. Math. 38, 163–199 (1979)
Grothendieck, A.: Le groupe de Brauer III: exemples et compléments. Dix Exposes sur la Cohomologie des Schemas, Masson et Cie (1968)
Hartshorne, R.: Algebraic Geometry, vol. 52. Springer, New York (2013)
Kahn, B.: Sur la conjecture de Tate pour les diviseurs. Preprint at https://arxiv.org/abs/2205.05287v3
Lichtenbaum, S., Ramachandran, N., Suzuki, T.: The conjectures of Artin-Tate and Birch-Swinnerton-Dyer. Preprint at https://arxiv.org/abs/2101.10222v5
Lichtenbaum, S.: Zeta-functions of varieties over finite fields at \(s=1\). In: Arithmetic and Geometry, pp. 173–194. Birkhäuser, Boston, MA (1983)
Lipman, J.: Desingularization of \(2\)-dimensional schemes. Ann. Math. 107, 151–207 (1978)
Liu, Q., Lorenzini, D., Raynaud, M.: Néron models, Lie algebras, and reduction of curves of genus one. Invent. Math. 157, 455–518 (2004)
Liu, Q., Lorenzini, D., Raynaud, M.: On the Brauer group of a surface. Invent. Math. 159, 673–676 (2005)
Madapusi Pera, K.: The Tate conjecture for K3 surfaces in odd characteristic. Invent. Math. 201, 625–668 (2015)
Maulik, D.: Supersingular K3 surfaces for large primes. Duke Math. J. 163, 2357–2425 (2014)
Milne, J.S.: Comparison of the Brauer Group with the Tate-Safarevic group. J. Fac. Science Univ. Tokyo, Sec. IA 28, 735–743 (1981)
Milne, J.S.: Values of zeta functions of varieties over finite fields. Am. J. Math. 108(2), 297–360 (1986)
Morrow, M.: A Variational Tate Conjecture in crystalline cohomology. J. Eur. Math. Soc. 21(11), 3467–3511 (2019)
Nygaard, N.: The Tate conjecture for ordinary K3 surfaces over finite fields. Invent. Math. 74, 213–237 (1983)
Nygaard, N., Ogus, A.: Tate’s conjecture for K3 surfaces of finite height. Ann. Math. 122, 461–507 (1985)
Qin, Y.: On the Brauer groups of fibrations II. Preprint at https://arxiv.org/abs/2103.06910v2
Skorobogatov, A.N., Zarkhin, Y.G.: A finiteness theorem for the Brauer group of Abelian varieties and K3 surfaces. J. Algebraic Geom. 17(3), 481–502 (2008)
Skorobogatov, A.N., Zarkhin, Y.G.: A finiteness theorem for the Brauer group of K3 surfaces in odd characteristic. Int. Math. Res. Not. 21, 11404–11418 (2015)
Tankeev, S.G.: Surfaces of K3 type over number fields and the Mumford-Tate conjecture. II. Izv. Ross. Akad. Nauk Ser. Mat. 59(3), 179–206 Translation in Izv. Math. 59(3), 619–646 (1995)
Tankeev, S.G.: Surfaces of K3 type over number fields and the Mumford-Tate conjecture. Izv. Akad. Nauk SSSR Ser. Mat. 54(4), 846–861 Translation in Math. USSR-Izv. 37(1), 191–208 (1990)
Tankeev, S.G.: On the Brauer group of an arithmetic scheme. Izvestiya Math. 65(2), 357 (2001)
Tankeev, S.G.: On the Brauer group of an arithmetic scheme. II. Izvestiya: Mathematics 67(5), 1007 (2003)
Tankeev, S.G.: On the finiteness of the Brauer group of an arithmetic scheme. Math. Notes 95(1–2), 121–132 (2014)
Tate, J.: Endomorphisms of abelian varieties over finite fields. Invent. Math. 2(2), 134–144 (1966)
Ulmer, D.: Curves and Jacobians over Function Fields. In: Arithmetic Geometry over Global Function Fields. Adv. Courses Math. CRM Barcelona, pp. 283–337. Birkhäuser/Springer, Basel (2014)
Yuan, X.: Comparison of arithmetic Brauer groups with geometric Brauer group. Preprint at https://arxiv.org/abs/2011.12897v2
Yuan, X.: Positivity of Hodge bundles of abelian varieties over some function fields. Compos. Math. 157(9), 1964–2000 (2021)
Zarhin, Y.G.: Abelian varieties in characteristic \(p\). Mat. Zametki 19, 393–400 Translation in Math. Notes 19, 240–244 (1976)
Zarhin, Y.G.: Endomorphisms of Abelian varieties over fields of finite characteristic. Izv. Akad. Nauk SSSR Ser. Mat. 39, 272–277 Translation in Math. USSR Izv. 9, 255–260 (1975)
Acknowledgements
I would like to thank my advisor Xinyi Yuan for suggesting this question to me and for telling me the pull-back trick. I also want to thank Jean-Louis Colliot-Thélène, Alexei N. Skorobogatov, Cristian D. Gonzalez-Aviles, Timo Keller, Dino Lorenzini, Thomas Geisser and the anonymous referees for very helpful comments and suggestions.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author is supported by the DFG through CRC1085 Higher Invariants (University of Regensburg).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Qin, Y. On the Brauer groups of fibrations. Math. Z. 307, 18 (2024). https://doi.org/10.1007/s00209-024-03487-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-024-03487-8