\section{Introduction}
\subsection{Tate conjectures in different forms}
In  \cite{Tat1}, Tate formulated \cite[Conj. 1]{Tat1} and \cite[Conj. B+SD, Conj. 2, Conj. B+SD+2]{Tat1} in terms of $L$-functions. He asked about the relations between these conjectures and proved some equivalences between them for smooth projective varieties over finite fields(cf. \cite[Thm. 2.9]{Tat2}). In this paper, We  will try to answer his questions on the relations between these conjectures for a smooth projective variety over a finitely generated field of positive characteristic.

Let $X$ be a smooth projective geometrically connected variety over a finitely generated field $K$ (i.e. finitely generated over a finite field or $\mathbb{Q}$).  One can then construct a projective and smooth morphism $f:{\mathcal {X}}\longrightarrow {\mathcal {Y}}$ of schemes of finite type over $\ZZ$, with ${\mathcal {Y}}$  irreducible and regular, whose generic fiber is $X/K$. For each closed point $y\in {\mathcal {Y}}$, let $k(y)$ denote the residue field of $y$ and  $N(y)=q_y$ denote the cardinality of $k(y)$.

Set
$$
P_{y,i}(T):=\det(1-\sigma_{y}^{-1}T| H^i({\mathcal {X}}_{\bar{y}},\mathbb{Q}_\ell)),
$$
where $\sigma_y\in {\mathrm{Gal}}(\overline{k(y)}/k(y))$ is the arithmetic Frobenius element and $\ell\neq {\mathrm{char}}(k(y))$ be a prime. Set
\begin{equation}\label{prod1}
\Phi_i(s):=\prod_{y\in {\mathcal {Y}}^\circ}\frac{1}{P_{y,i}(q_y^{-s})},
\end{equation}
where ${\mathcal {Y}}^\circ$ denotes the set of closed points. One can show that the product (\ref{prod1}) converges absolutely for $\Re(s)>\dim{\mathcal {Y}}+i/2$. If we replace ${\mathcal {Y}}$ by a nonempty open subscheme in (\ref{prod1}), we divide $\Phi_i(s)$ by a product which converges absolutely for $\Re(s)>\dim {\mathcal {Y}}+i/2-1$, so the zeros and poles of $\Phi_i$ in the strip
$$\dim{\mathcal {Y}}+i/2-1<\Re(s)\leq \dim{\mathcal {Y}}+i/2$$
depend only on $X/K$ and not on our choice of ${\mathcal {X}}/{\mathcal {Y}}$ (cf. Proposition \ref{conv}).
The zeta function of ${\mathcal {X}}$ is defined as
$$
\zeta({\mathcal {X}},s):=\prod_{x\in {\mathcal {X}}^\circ}\frac{1}{1-N(x)^{-s}}.
$$
It follows that
$$
\zeta({\mathcal {X}},s)=\prod_{y\in {\mathcal {Y}}^\circ}\zeta({\mathcal {X}}_y,s),
$$
where ${\mathcal {X}}_y$ denotes the special fiber over $y$. By Grothendieck trace formula, we have\\
\begin{equation}\label{prod}
\zeta({\mathcal {X}},s)=\prod_{i=0}^{2\dim X}\Phi_i(s)^{(-1)^i}.
\end{equation}

Let $\ell\neq {\mathrm{char}}(K)$ be a prime number. Let $A^i(X)$  be the group of classes of algebraic cycles of codimension $i$ on $X$, with coefficents in $\mathbb{Q}$, for $\ell$-adic homological equivalence. Let $N^i(X)\subseteq A^i(X)$ denote the group of classes of cycles that are numerically equivalent to zero. Let $d$ denote the dimension of $X$.

\begin{conj}\label{conj1} $($Conjecture $T^i(X,\ell))$
the cycle class map\\
$$
A^i(X)\otimes_\mathbb{Q}\mathbb{Q}_\ell\longrightarrow H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}
$$
is surjective.
\end{conj}
\begin{conj} $($Conjecture $E^i(X,\ell))$
$N^i(X)=0$, i.e. numerical equivalence is equal to $\ell$-adic homological equivalence for algebraic cycles of codimension $i$ on $X$.

\end{conj}

\begin{conj}\label{bsd}$(BSD)$
The rank of $\mathrm{Pic}^0_{X/K}(K)$ is equal to the order of the zero of $\Phi_1(s)$ at $s=\dim({\mathcal {Y}})$ (and of $\Phi_{2d-1}(s)$ at $s=\dim{\mathcal {X}}-1$ by duality).
\end{conj}
\begin{conj}[Conjcture 2]\label{conj2}
The dimension of $A^i(X)/ N^i(X)$ is equal to the order of the poles of $\Phi_{2i}(s)$ at $s=\dim{\mathcal {Y}}+i$(and of $\Phi_{2d-2i}(s)$ at $s=\dim{\mathcal {X}}-i$ by duality).
\end{conj}

Let ${\mathcal {X}}$ be a regular scheme of finite type over $\ZZ$ whose zeta function $\zeta({\mathcal {X}},s)$ can be meromorphically continued to the point $s=\dim{\mathcal {X}}-1$. Let $e({\mathcal {X}})$ be the order of $\zeta({\mathcal {X}},s)$ at that point, and put
$$
z({\mathcal {X}})={\mathrm{rank}}\, H^0({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^*)-{\mathrm{rank}}\, H^1({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^*)-e({\mathcal {X}}).
$$
One can show that $z({\mathcal {X}})$ is a birational invariant (cf. Proposition \ref{bira}). Let $f:{\mathcal {X}}\longrightarrow{\mathcal {Y}}$ be a morphism as discussed at the beginning, by Proposition \ref{bira}, any two of the following statements imply the third:
\begin{itemize}
\item[(i)]  BSD for $X/K$.
\item[(ii)]  The Conjecture \ref{conj2},  for $i=1$, for $X/K$.
\item[(iii)]  The equality $z({\mathcal {X}})=z({\mathcal {Y}})$.
\end{itemize}
One can show that $z({\mathcal {Y}})=0$ if ${\mathcal {Y}}$ is of dimension $1$, this leads to the following conjecture:
\begin{conj}[BSD+2]\label{BS3}
If  ${\mathcal {X}}$ is a regular scheme of finite type over $\ZZ$, then the order of $\zeta({\mathcal {X}},s)$ at the point $s=\dim {\mathcal {X}}-1$ is equal to ${\mathrm{rank}}\, H^0({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^*)-{\mathrm{rank}}\, H^1({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^*)$.
\end{conj}
For a morphsim $f:{\mathcal {X}}\longrightarrow {\mathcal {Y}}$ as above with $\dim {\mathcal {Y}}=1$, Tate conjectured that the above statement is equivalent to BSD for $X/K$ and the Conjecture \ref{conj2},  for $i=1$, for $X/K$. By our result Corollary \ref{cor1},  this is true when ${\mathcal {Y}}$ is a curve over a finite field.
\subsection{Main Theorems}
For any noetherian scheme $X$,  the \emph{cohomological Brauer group}
$$
{\mathrm{Br}}(X):=H^2(X,\mathbb{G}_m)_{{\mathrm{tor}}}
$$
is defined to be the torsion part of the etale cohomology group $H^2(X,\GG_m)$.
\begin{thm}\label{firstthm}
Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic $p>0$. Let $m$ denote the transcendence degree of $K$ over its prime field. Then
$$\dim_\mathbb{Q}(A^i(X)/N^i(X))\leq  -{\mathrm{ord}}_{s=m+i}\Phi_{2i}(s)$$
with equality if and only if $E^i(X,\ell)$ and $T^i(X,\ell)$ hold.
\end{thm}
This was proved by Tate for the case that $K$ is a finite field (cf.\cite[Thm. 2.9]{Tat2}). Our proof is based on the idea of his proof for finite fields and Deligne's theory of weights.

\begin{cor}\label{cor0}
 The following statements are equivalent.
\begin{itemize}
\item[(1)] ${\mathrm{Br}}(X_{K^s})^{G_K}(\ell)$ is finite for some prime $\ell \neq p$.

\item[(2)] ${\mathrm{Br}}(X_{K^s})^{G_K}(\ell)$ is finite for all primes $\ell \neq p$.

\item[(3)] $T^1(X,\ell)$ holds for all primes $\ell \neq p$.

\item[(4)] The rank of ${\mathrm{NS}}(X)$  is equal to $-{\mathrm{ord}}_{s=m+1}\Phi_{2}(s)$.
\end{itemize}
\end{cor}
\begin{rem}
The equivalence between (1) and (3) is well-known (cf. Proposition \ref{prop2.1}) and the above result was proved by Tate in the case that $K$ is a finite field.
\end{rem}
\begin{thm}\label{bsdconj}
Let $A$ be an abelian variety over a finitely generated field $K$ of characteristic $p>0$. Let ${\mathcal {Y}}$ be a smooth and irreducible variety over a finite field with function field $K$.   Set $m=\dim({\mathcal {Y}})$.
Define
$${\hbox{\cyr Sh}_{{\mathcal {Y}}}(A):={\mathrm{Ker}}(H^1(K,A)\longrightarrow \prod_{s\in {\mathcal {Y}}^1}H^1(K_s^{sh}, A)),$$
where ${\mathcal {Y}}^1$ denotes the set of points of codimension  $1$ and $K_s^{sh}$ denotes the quotient field of a strict local ring at $s$, then we have
$$ {\mathrm{rank}}\, A(K) \leq {\mathrm{ord}}_{s=m}\Phi_{1}(s),$$
and the following statements are equivalent.
\begin{itemize}
\item[(i)] ${\hbox{\cyr Sh}_{{\mathcal {Y}}}(A)(\ell)$ is finite for some prime $\ell \neq p .$

\item[(ii)] ${\hbox{\cyr Sh}_{{\mathcal {Y}}}(A)(\ell)$ is finite for all primes $\ell \neq p .$

\item[(iii)] The BSD conjecture for $A$ holds i.e. the rank  of $A(K)$  is equal to ${\mathrm{ord}}_{s=m}\Phi_{1}(s)$.
\end{itemize}
\end{thm}
\begin{rem}
This kind of Tate-Shafarevich group was studied by Keller in \cite{Kel1}. The above theorem was proved for the case $m=1$ by Schneider \cite{Sch} and for the case that $A$ can extend to an abelian scheme over a smooth projective variety by Keller \cite{Kel2}. Our proof is based on a combination of their ideas. We will show that $V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}}(A)$ is independent of the choice of ${\mathcal {Y}}$ (cf. Lemma \ref{sha}), so we will write $V_\ell{\hbox{\cyr Sh}_{K}(A)$ for $V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}}(A)$.
\end{rem}
\begin{thm}\label{bigthm}
Let $\pi:{\mathcal {X}}\longrightarrow {\mathcal {Y}}$ be a dominant morphism between smooth geometrically connected varieties over a finitely generated field $k$. Let $K$ be the function field of ${\mathcal {Y}}$. Assume that the generic fiber $X$ of $\pi$ is smooth projective geometrically connected over $K$. Set $K^\prime:=Kk^s$. Let $\ell\neq {\mathrm{char}}(k)$ be a prime, and set
$${\mathcal {K}}:={\mathrm{Ker}} (V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell {\mathrm{Br}}(X_{K^s})^{G_K}) .$$
Then we have canonical exact sequences
$$
0\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})^{G_k}\longrightarrow {\mathcal {K}} \longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})^{G_k}\longrightarrow 0 ,
$$
$$0\longrightarrow {\mathcal {K}}\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell {\mathrm{Br}}(X_{K^s})^{G_K}\longrightarrow 0 .
$$
Here we write  $V_\ell{\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})^{G_k}$ for $V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}_{k^s}}(\mathrm{Pic}^0_{X/K})^{G_k}$ which only depends on $\mathrm{Pic}^0_{X/K}$(cf. Lemma \ref{sha}). Moreover, if ${\mathrm{char}}(k)>0$, and $B$ denotes the $K/k$-trace of $\mathrm{Pic}^0_{X/K}$, then we have a canonical exact sequence
$$
0\longrightarrow V_\ell{\hbox{\cyr Sh}_k(B) \longrightarrow V_\ell{\hbox{\cyr Sh}_K(\mathrm{Pic}^0_{X/K}) \longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})^{G_k}\longrightarrow 0 .
$$
In particular, if $k$ is finite, we have $V_\ell{\hbox{\cyr Sh}_{K}(\mathrm{Pic}^0_{X/K})=V_\ell{\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})^{G_k}$.
\end{thm}
\begin{rem}
The relation between Tate-Shafarevich group and Brauer group was studied by Artin and Grothendieck (cf.\cite[$\S$ 4]{Gro3} or \cite[Prop. 5.3]{Ulm}),  Milne \cite{Mil2}, Gonzales-Aviles \cite{Goa} and Geisser \cite{Gei1} for fibrations of relative dimension $1$ over curves, by Keller \cite[Thm. 4.27]{Kel1} for relative dimension $1$ over high dimensional bases, by Geisser\cite{Gei2} for high relative dimension over curves. For fibrations over arbitrary finitely generated fields, Ulmer \cite[\S 7.3]{Ulm} formulated some questions on relations between Tate conjeture and  $BSD$ conjecture in terms of $L$-functions. The key idea of our proof is using a Lefschetz hyperplane argument developed by Colliot-Thél\`ene and Skorobogatov (cf. \cite{CTS} or \cite{Yua2} ).
\end{rem}
\begin{cor}\label{cor1}
Let $\pi:{\mathcal {X}}\longrightarrow {\mathcal {Y}}$  be as in the above theorem, and assume that $k$ is a finite field. Then  Conjecture \ref{BS3} for  ${\mathcal {X}}$  is equivalent to
$$\emph{Conjecture} \ \ref{BS3}  \ \emph{for}\ {\mathcal {Y}} \ + \emph{BSD} \ \emph{for} \ \mathrm{Pic}^0_{X/K} + \ \emph{Conjecture} \ \ref{conj2} \ \emph{for}\  X  \ \emph{when}\ i=1.
$$
\end{cor}
\begin{rem}
For the case that ${\mathcal {Y}}$ is a smooth projective curve and $\pi$ is proper, this result was firstly proved by Geisser (cf.\cite[Thm. 1.1]{Gei2}).

\end{rem}
\begin{cor}\label{cor2}
Assuming that $T^1(X,\ell)$ holds for all smooth projective varieties $X$ over finite fields of characteristic $p$, then Conjecture \ref{conj1} for $i=1$, Conjecture \ref{bsd}, Conjecture \ref{conj2} for $i=1$ and Conjecture \ref{BS3} hold for the case in characteristic $p$.

\end{cor}
\begin{rem}
$T^1(X,\ell)$ for smooth projective varieties over finite fields has been reduced to $T^1(X,\ell)$ for smooth projective surfaces over finite fields with $H^1(X,{\mathcal {O}}_X)=0$ by the work of de Jong \cite{deJ}, Morrow\cite[Thm. 4.3]{Mor} and Yuan \cite[Thm. 1.6]{Yua1}.

\end{rem}
\subsection{Notation and Terminology}
\subsubsection*{Fields}
By a \emph{finitely generated field}, we mean a field which is finitely generated over a prime field.\\
For any field $k$, denote by $k^s$ the separable closure. Denote by $G_k={\mathrm{Gal}}(k^s/k)$ the absolute Galois group of $k$.
\subsubsection*{Henselization}
Let $R$ be a noetherian local ring, denote by $R^h$ (resp. $R^{sh}$) the henselization (resp. strict henselization) of $R$ at the maximal ideal. If $R$
is a domain, denote by $K^h$ (resp. $K^{sh}$) the fraction field of $R^{h}$ (resp. $R^{sh}$).
\subsubsection*{Schemes}
All schemes are assumed to be separated over their bases. For a noetherian scheme $S$, denote by $S^\circ$ the set of closed points and by $S^1$ the set of points of codimension $1$.\\
By a \emph{variety} over a field $k$, we mean a scheme which is separated and of finite type over $k$.\\
For a smooth proper geometrically connected variety $X$ over a field $k$, we use $\mathrm{Pic}^0_{X/k}$ to denote the underlying reduced closed subscheme of the identity component of the Picard scheme $\underline{\mathrm{Pic}}_{X/k}$.
\subsubsection*{Cohomology}
The default sheaves and cohomology over schemes are with respect to the
small \'etale site. So $H^i$ is usually the abbreviation of $H_{\et}^i$ unless otherwise
instructed. We use $H^i_{\fppf}$ to denote flat cohomology for sheaves on fppf site.
\subsubsection*{Brauer groups}
For any noetherian scheme $X$, denote the \emph{cohomological Brauer group}
$$
{\mathrm{Br}}(X):=H^2(X,\mathbb{G}_m)_{{\mathrm{tor}}}.
$$
\subsubsection*{Abelian group}
For any abelian group $M$, integer $m$ and prime $\ell$, we set\\
$$M[m]=\{x\in M| mx=0\},\quad M_{{\mathrm{tor}}}=\bigcup\limits_{m\geq 1}M[m],\quad  M(\ell)=\bigcup\limits_{n\geq 1}M[\ell^n], $$
$$T_\ell M={\mathrm{Hom}}_\mathbb{Z}(\mathbb{Q}_\ell/\mathbb{Z}_\ell, M)=\lim \limits_{\substack{\leftarrow \\ n}}M[\ell^n],\quad V_\ell M= T_\ell(M)\otimes_{\mathbb{Z}_\ell}\mathbb{Q}_\ell.$$

\newpage

\bigskip
\bigskip
\noindent {\bf Acknowledgements}:

\noindent I would like to thank my advisor Xinyi Yuan for important communications and for telling me his idea of Lefschetz hyperplane arguments.

\newpage
\section{$L$-functions and convergences}
\begin{prop}\label{conv}
Notations as in the introduction. Then $\Phi_i(s)$ defined by (\ref{prod1}) converges absolutely for $\Re(s)>\dim{\mathcal {Y}}+i/2$ and the zeros and poles of $\Phi_i$ in the strip
$$\dim{\mathcal {Y}}+i/2-1<\Re(s)\leq \dim{\mathcal {Y}}+i/2$$
does not depend on the choice of a smooth projective model  ${\mathcal {X}}\longrightarrow {\mathcal {Y}}$.
\end{prop}
\begin{proof}
By Deligne's theorem, $P_{y,i}(T)$ are of fixed degree with reciprocal roots of absolute value $q_y^{i/2}$, therefore, by \cite[Thm. 1]{Ser} the product (\ref{prod1}) converges absolutely for $\Re(s)>\dim{\mathcal {Y}}+i/2$.
If we replace ${\mathcal {Y}}$ by a nonempty open subscheme in (\ref{prod1}), and let ${\mathcal {Z}}$  denote the complement, we divide $\Phi_i(s)$ by
$$
\prod_{z\in {\mathcal {Z}}^\circ} P_{z,i}(q_z^{-s}),
$$
which converges absolutely for $\Re(s)>\dim {\mathcal {Y}}+i/2-1$ since $\dim{\mathcal {Z}}\leq \dim {\mathcal {Y}} -1$. It follows that the zeros and poles of $\Phi_i$ in the strip
$$\dim{\mathcal {Y}}+i/2-1<\Re(s)\leq \dim{\mathcal {Y}}+i/2$$
depend only on $X/K$ and not on our choice of ${\mathcal {X}}/{\mathcal {Y}}$.

\end{proof}

\begin{prop}\label{bira}
Let ${\mathcal {X}}$ be a regular scheme of finite type over $\ZZ$. Assume that its zeta function $\zeta({\mathcal {X}},s)$ can be meromorphically continued to the point $s=\dim{\mathcal {X}}-1$. Let $e({\mathcal {X}})$ be the order of $\zeta({\mathcal {X}},s)$ at that point, and put
$$
z({\mathcal {X}})={\mathrm{rank}} \, H^0({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^*)-{\mathrm{rank}}\, H^1({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^*)-e({\mathcal {X}}).
$$
Then $z({\mathcal {X}})$ is a birational invariant. Let $f:{\mathcal {X}}\longrightarrow{\mathcal {Y}}$ be a morphism as discussed at the beginning, then any two of the following statements imply the third:
\begin{itemize}
\item[(i)]  BSD for $X/K$.
\item[(ii)]  The Conjecture \ref{conj2},  for $i=1$, for $X/K$.
\item[(iii)]  The equality $z({\mathcal {X}})=z({\mathcal {Y}})$.
\end{itemize}

\end{prop}
\begin{proof}
If one removes from ${\mathcal {X}}$ a closed irreducible subscheme ${\mathcal {Z}}$, then we have
$$\zeta({\mathcal {X}}-{\mathcal {Z}},s)=\zeta({\mathcal {X}},s)/\zeta({\mathcal {Z}},s).$$
 Since $\zeta({\mathcal {Z}},s)$ converges abosultely for $\Re(s)>\dim {\mathcal {Z}}$ and has a simple pole at $s=\dim {\mathcal {Z}}$ (cf.\cite[Thm. 1, 2, 3]{Ser}), the order of $\zeta({\mathcal {Z}},s)$ at $\dim{\mathcal {X}}-1$ is $0$ if the codimension of ${\mathcal {Z}}$ is at least $2$ and is $1$ if the codimension of ${\mathcal {Z}}$ is $1$. If ${\mathcal {Z}}$ is a divisor, set $U={\mathcal {X}}-{\mathcal {Z}}$, there is an exact sequence\\
$$
0\longrightarrow H^0({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^*)\longrightarrow H^0(U,{\mathcal {O}}_{U}^*)\longrightarrow \ZZ\longrightarrow \mathrm{Pic}({\mathcal {X}})\longrightarrow \mathrm{Pic}(U)\longrightarrow 0.
$$
It follows that $e({\mathcal {X}})=e(U)-1$, so $z({\mathcal {X}})=z(U)$.

For the second claim, since $f$ is proper and the generic fiber is geometrically irreducible and ${\mathcal {Y}}$ is normal, we have $f_*{\mathcal {O}}_{{\mathcal {X}}}={\mathcal {O}}_{{\mathcal {Y}}}$. Thus $H^0({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^*)=H^0({\mathcal {Y}},{\mathcal {O}}_{{\mathcal {Y}}}^*)$. By \cite[Chap. III, Cor. 11.3]{Har}, all fibers of $f$ are geometrically connected. Let $D$ be a vertical prime divisor on ${\mathcal {X}}$. Since $f$ is smooth proper and all fibers are connected, one can show that $D=f^{-1}(f(D))$ as a Weil divisor. Thus, any vertical divisor on ${\mathcal {X}}$ is the pullback of some divisor on ${\mathcal {Y}}$. By the Leray spectral sequence
$$ H^p({\mathcal {Y}},R^qf_*\GG_m)\Rightarrow H^{p+q}({\mathcal {X}},\GG_m),$$
and $f_*\GG_m=\GG_m$, we get an injection
$$H^1({\mathcal {Y}},\GG_m)\longrightarrow H^1({\mathcal {X}},\GG_m).$$
Thus, we get an exact sequence
$$ 0\longrightarrow\mathrm{Pic}({\mathcal {Y}})\longrightarrow\mathrm{Pic}({\mathcal {X}})\longrightarrow\mathrm{Pic}(X)\longrightarrow 0.$$
So $z({\mathcal {X}})=z({\mathcal {Y}})\Leftrightarrow e({\mathcal {X}})-e({\mathcal {Y}})=-{\mathrm{rank}} \,\mathrm{Pic}(X)$. Since $\Phi_{2d}(s)=\zeta({\mathcal {Y}},s-d)$, comparing the order of both sides of the equation (\ref{prod}) at $s=\dim{\mathcal {X}}-1$, it suffices to show that $\Phi_{i}(s)$ has no pole or zero at $s=\dim {\mathcal {X}}-1$ for $i\neq 2d-1, 2d-2, 2d.$ Since all reciprocal roots of $P_{y,i}(T)$ have absolute values $q_y^{\frac{i}{2}}$, the product (\ref{prod1}) converges absolutely for $\Re(s)>\dim {\mathcal {Y}}+i/2$, the claim follows.
\end{proof}
\section{Tate conjecture for divisors and Brauer groups}
Recall Conjecture \ref{conj1} for $i=1$,
\begin{conj} $($Conjecture $T^1(X,\ell))$.
Let $X$ be a projective and smooth variety over a finitely generated field $k$ of characteristic $p\geq0$, and $\ell\neq p$ be a prime number. Then the cycle class map\\
$$
\mathrm{Pic}(X)\otimes_\mathbb{Z}\mathbb{Q}_\ell\longrightarrow H^2(X_{k^s},\mathbb{Q}_\ell(1))^{G_k}
$$
is surjective.
\end{conj}
This conjecture is called Tate conjecture for divisors on $X$. By the proposition below, it is equivalent to the finiteness of ${\mathrm{Br}}(X_{k^s})^{G_k}(\ell)$.
\begin{prop}\label{prop2.1}
Let $X$ be a smooth projective geometrically connected variety over a field $k$. Let $\ell$ be a prime different from char$(k)$, then the exact sequence of $G_k$-module
$$
0\longrightarrow {\mathrm{NS}}(X_{k^s})\otimes_\ZZ\mathbb{Q}_\ell\longrightarrow H^2(X_{k^s},\mathbb{Q}_\ell(1)) \longrightarrow V_\ell {\mathrm{Br}}(X_{k^s})\longrightarrow 0
$$
is split. Taking $G_k$-invariant, there is a canonical exact sequence\\
$$
0\longrightarrow {\mathrm{NS}}(X)\otimes_\ZZ\mathbb{Q}_\ell\longrightarrow H^2(X_{k^s},\mathbb{Q}_\ell(1))^{G_k} \longrightarrow V_\ell {\mathrm{Br}}(X_{k^s})^{G_k}\longrightarrow 0.
$$
\end{prop}
\begin{proof}

See \cite[\S 2.2]{Yua2}.

\end{proof}

In the following, we will show that  $V_\ell{\mathrm{Br}}(X_{k^s})^{G_k}$ is a birational invariant for smooth varieties over finitely generated fields.
\begin{prop}\label{bir}(\cite[Thm. 5.2]{Tat2})
Let $X$ be a smooth geometrically connected variety over a finitely generated field $k$ of characteristic $p\geq 0$ and $U\subseteq X$ be an open dense subvariety. Let $\ell\neq p$ be prime. Then the natural map
$$
V_\ell{\mathrm{Br}}(X_{k^s})^{G_k}\longrightarrow V_\ell{\mathrm{Br}}(U_{k^s})^{G_k}
$$
is an isomorphism.
\end{prop}
\begin{proof}
Extending $k$ to a finite extension will not affect the results. By purity for Brauer groups \cite[Thm. 1.1]{Ces}, removing a closed subscheme of codimension $\geq 2$ will not change the Brauer group. Therefore, we might assume that $X-U=\bigsqcup D_i$, where $D_i$ is a smooth geometrically connected subvariety over $k$ of codimension $1$. There is an exact sequence
$$
H^2(X_{k^s},\mathbb{Q}_\ell(1))\longrightarrow H^2(U_{k^s},\mathbb{Q}_\ell(1))\longrightarrow \bigoplus_i H^3_{D_i}(X_{k^s},\mathbb{Q}_\ell(1)).
$$
By the theorem of cohomological purity (cf. \cite{Fuj}),
$$H^3_{D_i}(X_{k^s},\mathbb{Q}_\ell(1))\cong H^1((D_i)_{k^s},\mathbb{Q}_\ell)$$
is of weight $\geq 1$. Consider the commutative diagram
\begin{displaymath}
\xymatrix{
	H^2(X_{k^s},\mathbb{Q}_\ell(1))\ar[r]\ar[d] & V_\ell{\mathrm{Br}}(X_{k^s})\ar[d]\ar[r] &0
	\\
H^2(U_{k^s},\mathbb{Q}_\ell(1))\ar[r] & V_\ell{\mathrm{Br}}(U_{k^s})	\ar[r]& 0
}
\end{displaymath}
Since the cokernel of the first column is of weight $\geq1$, the cokernel of the second column is also of weight $\geq1$. Since the second column is injective, taking $G_k$ invariants, the claim follows.
\end{proof}

The following lemma generalizes Proposition \ref{prop2.1} to noncompact varieties over finite fields. We will use this lemma to prove the equivalence between Conjecture \ref{BS3} for smooth varieties over finite fields and the finiteness of ${\mathrm{Br}}({\mathcal {X}}_{\bar{k}})^{G_{k}}(\ell)$.
\begin{lem}\label{ssplit}
Let $X$ be a smooth geometrically connected variety over a finite field $k$ of characteristic $p>0$. Let $\ell\neq p$ be a prime. Then, there is a split exact sequence of $G_k$-representations
$$0\longrightarrow \mathrm{Pic}(X_{\bar{k}})\otimes_{\ZZ} \mathbb{Q}_\ell \longrightarrow H^2(X_{\bar{k}},\mathbb{Q}_\ell(1)) \longrightarrow V_\ell{\mathrm{Br}}(X_{\bar{k}})\longrightarrow 0.$$

\end{lem}
\begin{proof}
Firstly, if the claim holds for $G_{k_1}$-actions where $k_1/k$ is a finite Galois extension, then it also holds for $G_k$-actions. Let $V$ be a sub-representation of some $G_k$-representation $W$ over $\mathbb{Q}_\ell$. Let $p:W\longrightarrow V$ be a $G_{k_1}$-equivariant projection. Then
 $$\frac{1}{|G_{k}/G_{k_1}|}\sum\limits_{\sigma \in G_{k}/G_{k_1}}p^\sigma$$
is a $G_{k}$-equivariant projection.

Secondly, we will show that the claim holds for open subvarieties of a smooth projective geometrically connected varietiy over $k$. Let $U\subseteq X$ be an open subset and $X$ is projective. There is a commutative diagram
\begin{displaymath}
\xymatrix{
0\ar[r] &\mathrm{Pic}(X_{\bar{k}})\otimes_{\ZZ}  \mathbb{Q}_\ell \ar[r] \ar[d]^a& H^2(X_{\bar{k}},\mathbb{Q}_\ell(1))\ar[d]^b
	\\
0\ar[r] & \mathrm{Pic}(U_{\bar{k}})\otimes_{\ZZ}  \mathbb{Q}_\ell \ar[r] & H^2(U_{\bar{k}},\mathbb{Q}_\ell(1))
}
\end{displaymath}
By the theorem of cohomological purity(cf. \cite{Fuj}), ${\mathrm{Ker}}(b)={\mathrm{Ker}}(a)$ is generated by cycle classes of divisors contained in $X-U$. Since the first row is split, it follows that
$$0\longrightarrow \mathrm{Pic}(U_{\bar{k}})\otimes_{\ZZ}  \mathbb{Q}_\ell \longrightarrow\Im(b) $$
is also split. By extending $k$, we might assume  that the $G_k$-action on $\mathrm{Pic}(U_{\bar{k}})\otimes_{\ZZ}  \mathbb{Q}_\ell$ is trivial. Then $\mathrm{Pic}(U_{\bar{k}})\otimes \mathbb{Q}_\ell$ is contained in the generalized $1$-eigenspace of the Frobenuis action on $H^2(U_{\bar{k}},\mathbb{Q}_\ell(1))$. This eigenspace is a direct summand and is also contained in $\Im(b)$ by the proof of Proposition \ref{bir}. It follows that $\mathrm{Pic}(U_{\bar{k}})\otimes \mathbb{Q}_\ell$ is a direct summand of the generaized $1$-eigenspace, and therefore, it is also a direct summand of
$H^2(U_{\bar{k}},\mathbb{Q}_\ell(1))$.

Thirdly, by de Jong's theorem, there exists an alteration $f:U\longrightarrow X$ such that $U$ admits a smooth projective compactification. Since $f$ is proper and generic finite, there is a pushfoward map
$$f_*: H^2(U_{\bar{k}},\mathbb{Q}_\ell(1))\longrightarrow H^2(X_{\bar{k}},\mathbb{Q}_\ell(1))$$
such that $f_*f^*=\deg(f)$. It follows that $f^*:H^2(X_{\bar{k}},\mathbb{Q}_\ell(1))\longrightarrow H^2(U_{\bar{k}},\mathbb{Q}_\ell(1))$ is injective. Through $f^*$, $\mathrm{Pic}(X_{\bar{k}})\otimes \mathbb{Q}_\ell$ is a direct summand of $\mathrm{Pic}(U_{\bar{k}})\otimes \mathbb{Q}_\ell$, and therefore, is also a direct summand of $H^2(U_{\bar{k}},\mathbb{Q}_\ell(1))$. It follows that $\mathrm{Pic}(X_{\bar{k}})\otimes \mathbb{Q}_\ell$ is a direct summand of $H^2(X_{\bar{k}},\mathbb{Q}_\ell(1))$.
\end{proof}

\begin{thm}\label{mlem}
Let ${\mathcal {X}}$ be a smooth and irreducible variety over a finite field of characteristic $p$. Let $\ell\neq p$ be a prime. Then the Conjecture \ref{BS3} for ${\mathcal {X}}$ is equivalent to the finiteness of ${\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}(\ell)$.
\end{thm}
\begin{proof}
Assuming that $\dim{\mathcal {X}}=n$ and $k=\FF_q$, let $F$ denote the geometric Frobenius element in $G_k$. By Grothendieck's formula, we have
$$
\zeta({\mathcal {X}},s)=\prod_{i=0}^{2n}\det(1-q^{-s}F|H^i_c({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell))^{(-1)^{i+1}}.
$$
By Deligne's theorem, $H^i_c({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell)$ is mixed of weight $\leq i$ and $H^{2n}_c({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell)$ is pure of weight $2n$.  Therefore, only $\det(1-q^{-s}F|H^{2n-2}_c({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell))$ and $\det(1-q^{-s}F|H^{2n-1}_c({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell))$ have contributions to the order of the pole of $\zeta({\mathcal {X}},s)$ at $s=n-1$. By Poincar\'e duality,

$$H^{2n-1}_c({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell)\cong H^1({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell)^\vee(-n)$$
and
$$H^{2n-2}_c({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell)\cong H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell)^\vee(-n).$$

Next, we will show that the dimension of the generalized $q^{n-1}$-eigenspace of $H^1({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell)^\vee(-n)$ is equal to ${\mathrm{rank}}\, H^0({\mathcal {X}},{\mathcal {O}}_{{\mathcal {X}}}^{*})$.
By Kummer exact sequence, we get an exact sequence
$$
0\longrightarrow H^0({\mathcal {X}}_{\bar{k}},\GG_m)\otimes_\ZZ \mathbb{Q}_\ell \longrightarrow H^1({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1)) \longrightarrow V_\ell H^1({\mathcal {X}}_{\bar{k}},\GG_m).
$$
There exists an alteration $f:{\mathcal {X}}^\prime \longrightarrow {\mathcal {X}}$ such that ${\mathcal {X}}^\prime$ admits a smooth projective compactification over $k$. Since $z({\mathcal {X}})$ is a birational invariant, we might shrink ${\mathcal {X}}$ such that $f$ is finite flat.   There is a canonical norm map $f_*\GG_m \rightarrow \GG_m$ whose composition with the canonical map $\GG_m\rightarrow f_*\GG_m$ is equal to the multiplication by $\deg(f)$. Since $H^p({\mathcal {X}}^\prime,\GG_m)=H^p({\mathcal {X}}, f_*\GG_m)$, it follows that the composition
$$ H^p({\mathcal {X}},\GG_m)\longrightarrow H^p({\mathcal {X}}^\prime,\GG_m)=H^p({\mathcal {X}}, f_*\GG_m) \longrightarrow H^p({\mathcal {X}},\GG_m)
$$
is equal to the multiplication by $\deg(f)$.
It follows that the natural map
$$V_\ell H^1({\mathcal {X}}_{\bar{k}},\GG_m)\longrightarrow V_\ell H^1({\mathcal {X}}^\prime_{\bar{k}},\GG_m)
$$
is injective. Assuming that ${\mathcal {X}}^\prime \subset \bar{{\mathcal {X}}}$ where $\bar{{\mathcal {X}}}$ is irreducible and smooth projective over $k$. Since $\bar{{\mathcal {X}}}$ is regular, the natural map
$$
\mathrm{Pic}(\bar{{\mathcal {X}}}_{\bar{k}})\longrightarrow \mathrm{Pic}({\mathcal {X}}^\prime_{\bar{k}})
$$
is surjective and has a finitely generated kernel. Since $\mathrm{Pic}(\bar{{\mathcal {X}}}_{\bar{k}})$ is an extension of a finitely generated abelian group by a $\ell$-divisible torsion group  $\mathrm{Pic}^0_{\bar{{\mathcal {X}}}/k}(\bar{k})$, it follows that the natural map
$$
V_\ell\mathrm{Pic}(\bar{{\mathcal {X}}}_{\bar{k}})\longrightarrow V_\ell\mathrm{Pic}({\mathcal {X}}^\prime_{\bar{k}})
$$
is an isomorphism.
Since $V_\ell\mathrm{Pic}(\bar{{\mathcal {X}}}_{\bar{k}})\cong H^1(\bar{{\mathcal {X}}}_{\bar{k}},\mathbb{Q}_\ell(1))$, so $V_\ell H^1({\mathcal {X}}_{\bar{k}},\GG_m)$ is pure of weight $-1$. It follows that the generalized $1$-eigenspace of $H^1({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))$ can be identified with $H^0({\mathcal {X}}_{\bar{k}},\GG_m)^{G_k}\otimes_\ZZ \mathbb{Q}_\ell=H^0({\mathcal {X}},\GG_m)\otimes_\ZZ \mathbb{Q}_\ell$. This implies that the dimension of the generalized $q^{n-1}$-eigenspace of $H^1({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell)^\vee(-n)$ is equal to ${\mathrm{rank}}\, H^0({\mathcal {X}},\GG_m)$.

Thus, it suffices to show that the dimension of the generalized $1$-eigenspace of $H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))$ is equal to ${\mathrm{rank}}\,\mathrm{Pic}({\mathcal {X}})$ if and only if $V_\ell{\mathrm{Br}}({\mathcal {X}}_{\bar{k}})^{G_k}$ vanishes. By Lemma \ref{ssplit}, there is an exact sequence\\
$$ 0\longrightarrow \mathrm{Pic}({\mathcal {X}})\otimes_\ZZ \mathbb{Q}_\ell \longrightarrow H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))^{G_k}\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {X}}_{\bar{k}})^{G_k}\longrightarrow 0.
$$
Assuming that the dimension of the generalized $1$-eigenspace of $H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))$ is equal to ${\mathrm{rank}}\,\mathrm{Pic}({\mathcal {X}})$, then
$$ \mathrm{Pic}({\mathcal {X}})\otimes_\ZZ \mathbb{Q}_\ell\longrightarrow H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))^{G_k}$$
is an isomorphism. It follows that $V_\ell {\mathrm{Br}}({\mathcal {X}}_{\bar{k}})^{G_k}=0$. Assuming that $V_\ell {\mathrm{Br}}({\mathcal {X}}_{\bar{k}})^{G_k}=0$, then
$$\mathrm{Pic}({\mathcal {X}})\otimes_\ZZ \mathbb{Q}_\ell \longrightarrow H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))^{G_k}$$
is an isomorphism. Since the $G_k$-action on $\mathrm{Pic}({\mathcal {X}}_{\bar{k}})\otimes_\ZZ \mathbb{Q}_\ell$ is semisimple. By Lemma \ref{ssplit}, $H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))^{G_k}$ is a direct summand of $H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))$ as a $G_k$-representation. It follows that
the generalized $1$-eigenspace of $H^2({\mathcal {X}}_{\bar{k}},\mathbb{Q}_\ell(1))$ is same as the $1$-eigenspace which is equal to $\mathrm{Pic}({\mathcal {X}})\otimes_\ZZ \mathbb{Q}_\ell$. This completes the proof.

\end{proof}

\begin{cor}
Assuming that $T^1({\mathcal {X}},\ell)$ holds for all smooth projective varieties over a finite field $k$, then Conjecture \ref{BS3} holds for all smooth varieties over $k$.
\end{cor}
\begin{proof}
Let ${\mathcal {X}}$ be a smooth variety over $k$. By shrinking ${\mathcal {X}}$,  we might assume that there is a finite flat morphism $f:{\mathcal {X}}^\prime \longrightarrow {\mathcal {X}}$ such that ${\mathcal {X}}^\prime$ admits a smooth projective compactification $\overline{{\mathcal {X}}^\prime}$. Assuming $T^1(\overline{{\mathcal {X}}^\prime},\ell)$, we have $V_\ell {\mathrm{Br}}(\overline{{\mathcal {X}}^\prime}_{k^s})^{G_k}=0$. By Proposition \ref{bir}, $V_\ell {\mathrm{Br}}({\mathcal {X}}^\prime_{k^s})^{G_k} =V_\ell {\mathrm{Br}}(\overline{{\mathcal {X}}^\prime}_{k^s})^{G_k}=0$. Since $V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell {\mathrm{Br}}({\mathcal {X}}^\prime_{k^s})^{G_k}$ is injective, so $V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}=0$. By the above theorem, Conjecture \ref{BS3} holds  for ${\mathcal {X}}$.
\end{proof}

\section{Proof of Theorem \ref{firstthm}}
\begin{lem}\label{splitrep}
Let $k$ be a field and $V$ be a finite-dimensional $\mathbb{Q}_\ell$-linear continuous representation of $G_k$. Let $W\subseteq V$ be a subrepresentation. Assuming that there exists a $G_k$-equivariant paring
$$V\times V^\prime \longrightarrow \mathbb{Q}_\ell$$
where $V^\prime$ is a $\mathbb{Q}_\ell$-linear representaion of a finite quotient of
$G_k$ such that the restriction of the pairing to $W\times V^\prime$ is left non-degenerate, then $W$ is a direct summand of $V$ as a $G_k$-representation.
\end{lem}
\begin{proof}
Since the pairing $W\times V^\prime$ is left non-degenerate, it induces a surjection
$$V^\prime\longrightarrow W^*,$$
where $W^*$ is the dual representation of $W$. Since the $G_k$-action on $V^\prime$ factors through a finite quotient, so $V^\prime$ is semisimple. Thus, there exists a subrepresentation $W^\prime$ of $V^\prime$ such that the paring
$$W\times W^\prime$$
is perfect. Define
$$(W^\prime)^\bot:=\{v\in V| (v, W^\prime)=0\}.$$
It follows that $V=W\oplus(W^\prime)^\bot$. This proves the claim.
\end{proof}
\begin{thm}\label{nsrank}
Let $X$ be a smooth projective geometrically connected variety over a finitely generated field $K$ of characteristic $p>0$. Let $\pi:{\mathcal {X}}\longrightarrow{\mathcal {Y}}$ be a smooth projective model of $X/K$ as in section $1$, where ${\mathcal {Y}}$ is a smooth geometrically connected variety over a finite field $k$. Set $m=\dim {\mathcal {Y}}$, $d=\dim X$ and let $\ell\neq p$ be a prime. Then we have
$$ \dim_\mathbb{Q} (A^i(X)/N^i(X))\leq \dim_{\mathbb{Q}_\ell} H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}\leq -{\mathrm{ord}}_{s=m+i}\Phi_{2i}(s).$$
Moreover, $\dim_\mathbb{Q} (A^i(X)/N^i(X))=-{\mathrm{ord}}_{s=m+i}\Phi_{2i}(s)$ if and only if $T^i(X,\ell)$ and $E^i(X,\ell)$ hold.
\end{thm}
\begin{proof}
The cycle classes of $A^{d-i}(X)$ generate a $\mathbb{Q}_\ell$-subspace in $H^{2d-2i}(X_{K^s},\mathbb{Q}_\ell(d-i))$. Let $b_1,...,b_s \in A^{d-i}(X)$ such that their cycle classes form a basis of this subspace. Let $B \subseteq A^{d-i}(X)$ be the subspace spanned by $b_i$. Then the intersection pairing
$$A^i(X)/N^i(X)\times B\longrightarrow \mathbb{Q}$$
is left non-degenerate. Thus, the induced map $A^i(X)/N^i(X)\longrightarrow B^*$ is injective. It follows that $A^i(X)/N^i(X)$ has a finite dimension. Let $a_1,..,a_t\in A^i(X)$ such that they form a basis in $A^i(X)/N^i(X)$. Then there exist $a^*_1,..., a^*_1\in B$ such that $a_i.a^*_j=\delta_{ij}$. So $cl(a_i).cl(a_j^*)=\delta_{ij}$. Thus $cl(a_1),..., cl(a_t)$ are $\mathbb{Q}_\ell$-linear independent in $H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}$. This proves the first inequality.

Let $a\in N^i(X)$ with $cl(a)\neq 0$, then $cl(a_1),..., cl(a_t), cl(a)$ are $\mathbb{Q}_\ell$-linear independent. Let $\lambda_i\in \mathbb{Q}_\ell$ such that
$$\lambda_1cl(a_1)+...+\lambda_tcl(a_t)+\lambda_{t+1}cl(a)=0$$
Intersecting with $a_j^*$, we get $\lambda_j=0$ for $1\leq j\leq t$. Since $cl(a)\neq 0$, so $\lambda_{t+1}=0$. This implies that
$$\dim_\mathbb{Q} (A^i(X)/N^i(X))< \dim_{\mathbb{Q}_\ell} H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}$$
if $N^i(X)\neq 0$. Assuming the second inequlity, we proved the $``\Rightarrow"$direction of the second claim.

Next we will prove the second inequality. Let $q$ denote the cardinality of $k$ and $K^\prime$ denote $Kk^s$. Let $\SF$ denote $R^{2d-2i}\pi_*\mathbb{Q}_\ell$. $\SF$ is lisse since $\pi$ is smooth and proper.
By Deligne's theorem, $\SF$ is pure of weight $2d-2i$. By Grothendieck's formula, we have
$$\Phi_{2d-2i}(s)=L({\mathcal {Y}}, \SF, s)=\prod_{j=0}^{2m}\det(1-q^{-s}F| H^j_c({\mathcal {Y}}_{\bar{k}}, \SF))^{(-1)^{i+1}},
$$
where $F$ denotes the geometric Frobenius element in $G_k$. Since $H^j_c({\mathcal {Y}}_{\bar{k}}, \SF)$ is mixed of weight $\leq j+2d-2i$,  thus $-{\mathrm{ord}}_{s=d+m-i} \Phi_{2d-2i}(s) $ is equal to the dimension of the generalized $q^{d+m-i}$-eigenspace of $F$ on $H^{2m}_c({\mathcal {Y}}_{\bar{k}}, \SF)$. By Poincar\'e duality, $$H^{2m}_c({\mathcal {Y}}_{\bar{k}}, \SF)\cong H^0({\mathcal {Y}}_{\bar{k}}, \SF^\vee)^\vee(-m).
$$
Therefore $-{\mathrm{ord}}_{s=d+m-i} \Phi_{2d-2i}(s) $ is equal to the dimension of the generalized $1$-eigenspace of  $ H^0({\mathcal {Y}}_{\bar{k}}, \SF^\vee)(i-d)$.  $\SF^\vee$ corresponds to the $G_K$-representation on $H^{2d-2i}(X_{K^s},\mathbb{Q}_\ell)^\vee$ which is isomorphic to $H^{2i}(X_{K^s},\mathbb{Q}_\ell)(d)$. It follows that $-{\mathrm{ord}}_{s=d+m-i} \Phi_{2d-2i}(s) $ is equal to the dimension of the $1$-eigenspace of  $H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_{K^\prime}}$. By Poincar\'e duality, we have
$$\Phi_{2d-2i}(s)=\Phi_{2i}(s-d+2i).$$
Thus  $-{\mathrm{ord}}_{s=m+i}\Phi_{2i}(s)$ is equal to the dimension of the generalized $1$-eigenspace of $H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_{K^\prime}}$ which contains $H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}$. This proves the second inequality.

For $``\Leftarrow''$ direction, assuming $T^i(X,\ell)$ and $E^i(X,\ell)$, then we have
$$A^i(X)_{\mathbb{Q}_\ell}=H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}.$$
Consider the $G_k$-equivariant pairing
\begin{equation}\label{directsum}
H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_{K^\prime}}\times A^{d-i}(X)_{\mathbb{Q}_\ell}\longrightarrow \mathbb{Q}_\ell.
\end{equation}
$E^i(X,\ell)$ implies that
$$A^i(X)_{\mathbb{Q}_\ell}\times A^{d-i}(X)_{\mathbb{Q}_\ell} \longrightarrow \mathbb{Q}_\ell$$
is left nondegenerate. Thus, the restriction of (\ref{directsum})
$$H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}\times A^{d-i}(X)_{\mathbb{Q}_\ell}\longrightarrow \mathbb{Q}_\ell$$
is also left non-degenerate. By Lemma \ref{splitrep},  $H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}$ is a direct summand of $H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_{K^\prime}}$ as a $G_k$-representation. This implies that the $1$-eigenspace of $F$ on $H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_{K^\prime}}$ is a direct summand, and therefore, is equal to the generalized $1$-eigenspace of $F$. It follows that
$$\dim_{\mathbb{Q}_\ell} H^{2i}(X_{K^s},\mathbb{Q}_\ell(i))^{G_K}= -{\mathrm{ord}}_{s=m+i}\Phi_{2i}(s).$$
This completes the proof.
\end{proof}

\begin{cor}
 The following statements are equivalent.
\begin{itemize}
\item[(1)] ${\mathrm{Br}}(X_{K^s})^{G_K}(\ell)$ is finite for some prime $\ell \neq p$.

\item[(2)] ${\mathrm{Br}}(X_{K^s})^{G_K}(\ell)$ is finite for all primes $\ell \neq p$.

\item[(3)] $T^1(X,\ell)$ holds for all primes $\ell \neq p$.

\item[(4)] The rank  of ${\mathrm{NS}}(X)$  is equal to $-{\mathrm{ord}}_{s=m+1}\Phi_{2}(s)$.
\end{itemize}
\end{cor}
\begin{proof}
By Proposition \ref{prop2.1}, $(1) \Leftrightarrow T^1(X,\ell)$. Since it is well-known that $E^1(X,\ell)$ is true (cf., e.g., SGA 6 XIII, Theorem 4.6), by the theorem above, we have  $T^1(X,\ell)\Leftrightarrow (4)$. Since $(4)\Rightarrow (3)\Rightarrow(2)\Rightarrow (1)$, the claim follows.
\end{proof}

\section{Tate-Shafarevich group for abelian varieties over finitely generated fields}
In this section, we will define Tate-Shafarevich group for abelian varieties over finitely generated fields of positive characteristics and study a geometric version of Tate-Shafarevich group. The Tate-Shafarevich group for abelian schemes over high dimensional bases was studied by Keller in \cite{Kel1}.
\begin{defn} Let $S$ be an integral regular noetherian scheme with function field $K$. Let $A$ be an abelian variety over $K$. Define
$$
{\hbox{\cyr Sh}_{S}(A):={\mathrm{Ker}}(H^1(K, A)\longrightarrow \prod_{s\in S^1} H^1(K_s^{sh}, A)),
$$
where $S^1$ denotes the set points of codimension $1$.
\end{defn}
\begin{lem}\label{sha}
 Let $S$ be a smooth geometrically connected variety over a finitely generated field $k$. Let $K$ denote the function field of $S$ and Let $A$ be an abelian variety over $K$. Write $K^\prime$ for $Kk^s$. Let $U\subseteq S$ be an open dense subscheme. Let $\ell\neq {\mathrm{char}}(k)$ be a prime. Then the inclusion
$${\hbox{\cyr Sh}_{S_{k^s}}(A)^{G_k}(\ell) \longrightarrow {\hbox{\cyr Sh}_{U_{k^s}}(A)^{G_k}(\ell)$$
has a finite cokernel.
Furthermore, if $A$ extends to an abelian scheme $\SA\longrightarrow U$, then we have a canonical isomorphism
$${\hbox{\cyr Sh}_{U_{k^s}}(A)(\ell)\cong H^1(U_{k^s},\SA)(\ell).$$
And we have
$$V_\ell{\hbox{\cyr Sh}_{S_{k^s}}(A)^{G_k}=V_\ell H^1(K^\prime, A)^{G_k},$$
which only depends on $A/K$. We will denote it by $V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}$. If $k$ is a finite field, we have
$$V_\ell{\hbox{\cyr Sh}_{S}(A)=V_\ell H^1(K, A) \cong V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}.$$
We will write $V_\ell{\hbox{\cyr Sh}_{K}(A)$ for $V_\ell{\hbox{\cyr Sh}_{S}(A)$.
\end{lem}
\begin{proof}
It is easy to see that
$${\hbox{\cyr Sh}_{S_{k^s}}(A)^{G_k}={\mathrm{Ker}}(H^1(K^\prime, A)^{G_k}\longrightarrow \prod_{s \in S^1} H^1(K^{sh}_s, A)^{G_{K^h_s}}).$$
By Lemma \ref{finite} below, $H^1(K^{sh}_s, A)^{G_{K^h_s}}(\ell)$ is finite. It follows that the inclusion
$${\hbox{\cyr Sh}_{S_{k^s}}(A)^{G_k}(\ell) \longrightarrow {\hbox{\cyr Sh}_{U_{k^s}}(A)^{G_k}(\ell)$$
has a finite cokernel and $V_\ell{\hbox{\cyr Sh}_{S_{k^s}}(A)^{G_k}=V_\ell H^1(K^\prime, A)^{G_k}$. In the case that $k$ is a finite field, by the same argument, the inclusion
$${\hbox{\cyr Sh}_{S}(A)(\ell)\longrightarrow {\hbox{\cyr Sh}_{U}(A)(\ell)$$
has a finite cokernel and $V_\ell{\hbox{\cyr Sh}_{S}(A)=V_\ell H^1(K, A)$.

If $A/K$ extends to an abelian scheme $\SA\longrightarrow U$, we will show that
\begin{equation}\label{puri}
H^1(U_{k^s}, \SA[\ell^n])={\mathrm{Ker}} (H^1(K^\prime, A[\ell^n])\longrightarrow \prod_{s\in U_{k^s}^1}
H^1(K_{s}^{sh}, A[\ell^n])).
\end{equation}
This will imply that the composition of
$$H^1(U_{k^s},\SA)(\ell)\longrightarrow H^1(U_{k^s}, j_*j^*\SA)\longrightarrow{\hbox{\cyr Sh}_{U_{k^s}}(A)(\ell)$$
is surjective, where $j:\Spec K^\prime \longrightarrow U_{k^s}$ is the generic point. Since $\SA[\ell^n]$ is a locally constant sheaf, we have
 $$\SA[\ell^n]\cong j_*j^*\SA[\ell^n].$$
 Thus, we get an exact sequence
 $$0\longrightarrow H^1(U_{k^s},\SA[\ell^n])\longrightarrow H^1(K^\prime, A[\ell^n]) \longrightarrow \prod_{s \in U_{k^s}}H^1(K_s^{sh}, A).$$
 Thus
 $$H^1(U_{k^s}, \SA[\ell^n])\subseteq{\mathrm{Ker}} (H^1(K^\prime, A[\ell^n])\longrightarrow \prod_{s\in U_{k^s}^1}
H^1(K^{sh}_s, A[\ell^n])).$$
Next, we will show that the inclusion is actually an equality.
Since
 $$H^1(K^\prime, A[\ell^n])=\underset{V\subseteq U_{k^s}}{\varinjlim} H^1(V,\SA[\ell^n]),$$
let $x\in H^1(K^\prime, A[\ell^n])$, then there exists an open subscheme $V\subseteq U_{k^s}$ such that $x\in H^1(V,\SA[\ell^n])$. Let $Y$ denote the reduced closed scheme $U_{k^s}-V$.  Since $\SA[\ell^n]$ is a locally constant sheaf, by the semi-purity \cite[\S 8]{Fuj}, removing a closed subscheme of codimension $\geq 2$ from $U_{k^s}$ will not change $H^1(U_{k^s}, \SA[\ell^n])$. So by shrinking $Y$, we might assume that $Y$ is regular and of codimension $1$ in $U_{k^s}$, then $H^2_{Y}(U_{k^s}, \SA[\ell^n]) \cong H^0(Y,\SA[\ell^n](-1))$ by purity \cite[\S 0]{Fuj}. Let $s$ be a generic point of $Y$, by purity, we have $H^1(K^{sh}_s,A[\ell^n])\cong (\SA[\ell^n](-1))_{\bar{s}}$. Thus, we get an exact sequence
$$0\longrightarrow H^1(U_{k^s}, \SA[\ell^n])\longrightarrow H^1(V,\SA[\ell^n]) \longrightarrow \prod_{s\in Y^0} H^1(K^{sh}_s, A[\ell^n]).
$$
Therefore, if $x$ lies in
$${\mathrm{Ker}} (H^1(K^\prime, A[\ell^n])\longrightarrow \prod_{s\in U_{k^s}^1}H^1(K^{sh}_s, A[\ell^n])),$$
then it also lies in $H^1(U_{k^s}, \SA[\ell^n])$. This proves (\ref{puri}).
By \cite[Thm. 3.3]{Kel1}, we have $\SA\cong j_*j^*\SA$. Thus
$$
H^1(U_{k^s}, \SA)={\mathrm{Ker}} (H^1(K^\prime, A)\longrightarrow \prod_{s\in U_{k^s}^1}H^1(K^{sh}_s, A)).
$$
It follows that $H^1(U_{k^s}, \SA)(\ell)\subseteq {\hbox{\cyr Sh}_{U_{k^s}}(A)(\ell)$. Since the natural map $H^1(U_{k^s}, \SA(\ell))\rightarrow{\hbox{\cyr Sh}_{U_{k^s}}(A)(\ell)$ factors through $H^1(U_{k^s}, \SA)(\ell)$ and $H^1(U_{k^s}, \SA(\ell))\longrightarrow {\hbox{\cyr Sh}_{U_{k^s}}(A)(\ell)$ is surjective, thus
$$H^1(U_{k^s}, \SA)(\ell)={\hbox{\cyr Sh}_{U_{k^s}}(A)(\ell).$$
By the same argument, one can show that
$$H^1(U, \SA)(\ell)={\hbox{\cyr Sh}_{U}(A)(\ell).$$

It remains to prove that $V_\ell{\hbox{\cyr Sh}_{K}(A)\cong V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}$ when $k$ is a finite field. Firstly, we will show that the natural map
$$V_\ell{\hbox{\cyr Sh}_{K}(A)\longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}$$
is surjective. Since there exists an abelian variety $B/K$ such that $A\times B$ is isogenous to  $\mathrm{Pic}^0_{X/K}$ for some smooth projective geometrically connected curve $X/K$, we might assume that $A=\mathrm{Pic}^0_{X/K}$. One can spread out $A/K$ to a smooth projective relative curve $\pi:{\mathcal {X}}\longrightarrow {\mathcal {Y}}$ where ${\mathcal {Y}}$ is smooth and geometrically connected over $k$. In the following, we will show that there is commutative diagram with exact second row
\begin{displaymath}
\xymatrix{V_\ell{\mathrm{Br}}({\mathcal {X}})\ar[r]\ar[d]& V_\ell{\hbox{\cyr Sh}_K(\mathrm{Pic}^0_{X/K})\ar[d]\\
V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\ar[r]& V_\ell{\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})^{G_k}\ar[r]& 0}
\end{displaymath}
Then the surjectivity of the second column will follow from the surjectivity of the first column.
 By the Leray sepectral sequence\\
$$E^{p,q}_2=H^p({\mathcal {Y}},R^q\pi_*\GG_m)\Rightarrow H^{p+q}({\mathcal {X}},\GG_m)
$$
we get an exact sequence\\
$$H^2({\mathcal {Y}},\mathbb{G}_m)\longrightarrow {\mathrm{Ker}}(H^2(\mathcal{X},\mathbb{G}_m)
\longrightarrow H^0({\mathcal {Y}},R^2\pi_*\mathbb{G}_m))\longrightarrow H^1({\mathcal {Y}},R^1\pi_*\mathbb{G}_m).
$$
By Lemma \ref{picard} below, $H^0({\mathcal {Y}},R^2\pi_*\mathbb{G}_m)(\ell)\cong {\mathrm{Br}}(X_{K^s})^{G_K}(\ell)$. Since $X$ is a smooth projective curve over $K$, we have ${\mathrm{Br}}(X_{K^s})=0$. Thus, we get a natural map
$$
 V_\ell{\mathrm{Br}}({\mathcal {X}})\longrightarrow  V_\ell H^1({\mathcal {Y}}, R^1\pi_*\GG_m).
$$
Let $j:\Spec K \longrightarrow {\mathcal {Y}}$ be the generic point. By Lemma \ref{picard}, we have
$$R^1\pi_*\GG_m\cong j_*j^*R^1\pi_*\GG_m.$$
Thus, we have
$$H^1({\mathcal {Y}}, R^1\pi_*\GG_m)(\ell)\cong H^1({\mathcal {Y}}, j_*\mathrm{Pic}_{X/K})(\ell)\cong H^1({\mathcal {Y}},j_*\mathrm{Pic}^0_{X/K})(\ell)\cong {\hbox{\cyr Sh}_{{\mathcal {Y}}}(\mathrm{Pic}^0_{X/K})(\ell).$$
Therefore,
 $$V_\ell H^1({\mathcal {Y}}, R^1\pi_*\GG_m)\cong V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}}(\mathrm{Pic}^0_{X/K})$$
By compositions, we get a natural map
$$
 V_\ell{\mathrm{Br}}({\mathcal {X}})\longrightarrow V_\ell{\hbox{\cyr Sh}_K(\mathrm{Pic}^0_{X/K}).
$$
By Theorem \ref{big}, there is a surjective map compatible with the above map

$$
 V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})^{G_k}.
$$
It suffices to show that $V_\ell{\mathrm{Br}}({\mathcal {X}})\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}$ is  surjective. By Lemma \ref{ssplit}, the natural map
$$H^2({\mathcal {X}}_{k^s},\mathbb{Q}_\ell(1))^{G_k}\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}$$
is surjective. Since $H^2({\mathcal {X}},\mathbb{Q}_\ell(1))\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {X}})$ is surjective by definition, it suffices to show that
$$H^2({\mathcal {X}},\mathbb{Q}_\ell(1))\longrightarrow H^2({\mathcal {X}}_{k^s},\mathbb{Q}_\ell(1))^{G_k}$$
is surjective. Consider the spectral sequence
$$H^p(G_k,H^q({\mathcal {X}}_{k^s},\mu_{\ell^n}))\Rightarrow H^{p+q}({\mathcal {X}},\mu_{\ell^n})$$
Since $H^q(G_k,-)$ vanishes when $q\geq 2$, we get a surjection
$$H^2({\mathcal {X}},\mu_{\ell^n})\longrightarrow H^2({\mathcal {X}}_{k^s},\mu_{\ell^n})^{G_k}.$$
Taking limit, we get
$$H^2({\mathcal {X}},\mathbb{Q}_\ell(1))\longrightarrow H^2({\mathcal {X}}_{k^s},\mathbb{Q}_\ell(1))^{G_k}\longrightarrow 0.$$
Next, we will show that the natural map
$$V_\ell{\hbox{\cyr Sh}_{K}(A)\longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}$$
is injective. Consider the exact sequence
$$0\longrightarrow H^1(G_k,A(K^\prime))\longrightarrow H^1(K,A)\longrightarrow H^1(K^\prime, A).$$
Let ${\mathrm{Tr}}_{K/k}(A)$ be the $K/k$ trace of $A$. By the Lang-N\'eron theorem, $A(K^\prime)/{\mathrm{Tr}}_{K/k}(A)(k^s)$ is finitely generated. Since $H^1(G_k,{\mathrm{Tr}}_{K/k}(A))=0$ by Lang's theorem, we have that $H^1(G_k,A(K^\prime))$ is finite. It follows that the natural map
$$V_\ell H^1(K,A) \longrightarrow V_\ell H^1(K^\prime, A)$$
is injective. So $V_\ell{\hbox{\cyr Sh}_K(\mathrm{Pic}^0_{X/K})\longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})^{G_k}$ is also injective. This completes the proof.

\end{proof}

\begin{lem}\label{size}
Let $G$ be a smooth connected algebraic group over a finitely generated field $K$. Let $\ell\neq {\mathrm{char}}(K)$ be a prime. Then the size of
$${\mathrm{Hom}}(G[\ell^n],\mathbb{Q}_\ell/\ZZ_\ell)^{G_K}$$
is bounded by a constant independent of $n$.

\end{lem}

\begin{proof}
Without loss of generality, we can replace $K$ by its finite extension. By Chevally's Theorem, $G_{\bar{K}}$ is an extension of an abelian variety by a linear algebraic group. By extending $K$, we can assume that this extension is defined over $K$. So we have an exact sequence
$$0\longrightarrow H\longrightarrow G\longrightarrow A\longrightarrow 0.$$
Since $H$ is commutative, by extending $K$, we can assume that $H\cong \GG_m^s\times \GG_a^t$ over $K$. Thus, we have
$$0\longrightarrow H[\ell^n]\longrightarrow G[\ell^n] \longrightarrow A[\ell^n]\longrightarrow 0.$$
Taking dual, we get
$$0\longrightarrow A[\ell^n]^\vee \longrightarrow G[\ell^n]^\vee \longrightarrow H[\ell^n]^\vee\longrightarrow 0$$
Since $H[\ell^n]=\GG_m^s[\ell^n]$, so it suffices to prove the claim for abelian varieties and $\GG_m$. Let $S$ be an irreducible regular scheme of finite type over $\Spec\ZZ[{\ell^{-1}}]$ with function field $K$. Let $G$ be an abelian variety (resp. $\GG_m$ ) over $K$, by shrinking $S$, we can assume that $G$ extends to an abelian scheme $G_S$ (resp. $\GG_{m,S}$). Let $s\in S$ be closed point with finite residue field $k$. Write $\SF$ for the etale sheaf represented by $G_S[\ell^n]$ on $S$. Since $G_S[\ell^n]$ is finite etale over $S$, $\SF$ is a locally constant sheaf of $\ZZ/\ell^n$-module on $S$.
Let $\eta$ be the generic point of $S$.  Since $S$ is connected, we have $\SF_{\bar{\eta}}\cong \SF_{\bar{s}}$. Since $\SF_{\bar{\eta}}=G[\ell^n]$, we have $G[\ell^n]\cong G_s[\ell^n]$ as  $G_k$-modules. Through this isomorphism, there is an inclusion
$$(G[\ell^n]^\vee)^{G_K} \subseteq (G_s[\ell^n]^\vee)^{G_k}.$$
Therefore, it suffices to prove the claim for the case that $K$ is a finite field. In this case,
$$|(G[\ell^n]^\vee)^{G_K}|=|G[\ell^n]_{G_K}|=|G[\ell^n]^{G_K}|.$$
Since
$G[\ell^n]^{G_K}\subseteq G(K)$, so the size is bounded by $|G(K)|$. This completes the proof.

\end{proof}
\begin{lem}\label{finite}
Let $R$ be a henselian DVR with residue field $k$ and quotient field $K$. Assume that $k$ is a finitely generated field. Let $R^{sh}$ denote a strict henselization of $R$ and $K^{sh}$ denote its quotient field. Let $A$ be an abelian variety over $K$ and $\ell$ be a prime different from ${\mathrm{char}}(k)$. Set $G:={\mathrm{Gal}}(k^s/k)={\mathrm{Gal}}(K^{sh}/K)$. Then the size of
$$H^1(K^{sh}, A[\ell^n])^{G}$$
is bounded by a constant independent of $n$. And $H^1(K^{sh}, A)^{G}(\ell)$ is a finite group.
\end{lem}
\begin{proof}
Let $I$ denote ${\mathrm{Gal}}(K^s/K^{sh})$ and $I_1$ denote the wild inertia subgroup. Since $H^1(I_1, A[\ell^n])= 0$, by \cite[Chap I, Lem. 2.18]{Mil3}, we have
$$H^1(K^{sh}, A[\ell^n])=(A[\ell^n](-1))_{I}.$$
Its dual ${\mathrm{Hom}}((A[\ell^n](-1))_{I},\mathbb{Q}_\ell/\ZZ_\ell)={\mathrm{Hom}}(A[\ell^n](-1),\mathbb{Q}_\ell/\ZZ_\ell)^I$ is canonically isomorphic to $A^t[\ell^n]^I$ by Weil pairing, where $A^t$ denotes the dual abelian variety of $A$. Let $\SA^t$ be a N\'eron model of $A^t/K$ and $s:\Spec k \longrightarrow S=\Spec R$ be the closed point. Then
$$A^t[\ell^n]^I=\SA^t_s[\ell^n].$$
There is an exact sequence
$$0\longrightarrow (\SA^t_s)^0 \longrightarrow \SA^t_s \longrightarrow \Phi(A^t)\longrightarrow 0,$$
where $\Phi(A^t)$ denotes the N\'eron component group of $A^t$ which is a finite etale scheme over $k$. Taking dual and then taking $G_k$-invariants, we get an exact sequence
$$0 \longrightarrow (\Phi(A^t)^\vee)^G \longrightarrow ((\SA^t_s[\ell^n])^\vee)^G \longrightarrow (((\SA^t_s)^0[\ell^n])^\vee)^G$$
Note that the size of $(\Phi(A^t)^\vee)^G$ is bounded by a constant independent of $n$. Since
$H^1(K^{sh},A[\ell^n])^G \cong ((\SA^t_s[\ell^n])^\vee)^G$, it suffices to show that the size of $(((\SA^t_s)^0[\ell^n])^\vee)^G$ is bounded independent of $n$. It follows directly from Lemma \ref{size}. This proves the first claim.

By Kummer exact sequence, we get an exact sequence
 $$0\longrightarrow A(K^{sh})\otimes_{\ZZ}\mathbb{Q}_\ell/\ZZ_\ell \longrightarrow H^1(K^{sh}, A(\ell)) \longrightarrow H^1(K^{sh}, A)(\ell)\longrightarrow 0.$$
 Let $\SA$ be a N\'eron model of $A$ over $S$ and $\SA^0$ be the identity component of $\SA$. We have $A(K^{sh})=\SA(S)$ and an exact sequence
 $$0\longrightarrow \SA^0(S)\longrightarrow \SA(S)\longrightarrow \Phi(A)\longrightarrow 0.$$
 Since $\SA^0(S)$ is $\ell$-divisible and $\Phi(A)$ is finite, by tensoring $\mathbb{Q}_\ell/\ZZ_\ell$, we have
  $$A(K^{sh})\otimes_{\ZZ}\mathbb{Q}_\ell/\ZZ_\ell=0.$$
 It follows
 $$H^1(K^{sh}, A(\ell)) \cong H^1(K^{sh}, A)(\ell).$$
 Since
 $$H^1(K^{sh}, A(\ell))^G=\varinjlim_{n}H^1(K^{sh}, A[\ell^n])^{G},$$
by the first claim, the right side is finite.  It follows that $H^1(K^{sh}, A)^G(\ell)$ is also finite.
\end{proof}

\section{Fibrations and Brauer groups}
\begin{lem}\label{picard}
Let $U$ be an irreducible regular scheme 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:\Spec K\longrightarrow U$ be the generic point of $U$. Then we have
\begin{itemize}
\item[(a)]
the natural map
$$R^1\pi_*\GG_m\longrightarrow j_*j^*R^1\pi_*\GG_m$$
is an isomorphism,
\item[(b)]
the natural map
$$R^2\pi_*\GG_m(\ell)\longrightarrow j_*j^*R^2\pi_*\GG_m(\ell)$$
is an isomorphism for any prime $\ell$ invertible on $U$.
\end{itemize}
\end{lem}
\begin{proof}
It suffices to show that the induced maps on stalks are isomorphism. Thus, we might assume that $U=\Spec R$ where $R$ is a strictly henselian regular local ring.

Let $X$ denote the generic fiber. Let $s \in U$ be the closed point. Then we have
 $$(R^1\pi_*\GG_m)_{\bar{s}}=\mathrm{Pic}({\mathcal {X}}) \quad \mathrm{and} \quad (j_*j^*R^1\pi_*\GG_m)_{\bar{s}}=\mathrm{Pic}_{X/K}(K).$$
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
$$\mathrm{Pic}_{X/K}(K)=\mathrm{Pic}(X).$$
Since ${\mathcal {X}}$ is regular, the natural map
$$\mathrm{Pic}({\mathcal {X}})\longrightarrow\mathrm{Pic}(X)$$
is surjective and has a kernel generated by vertical divisors. Since $\pi$ is smooth and proper with a geometrically connected generic fiber, by the same arguments as in the proof of Proposition \ref{bira}, there is an exact sequence
$$
0\longrightarrow \mathrm{Pic}(\Spec R)\longrightarrow\mathrm{Pic}({\mathcal {X}}) \longrightarrow \mathrm{Pic}(X)\longrightarrow 0.
$$
Since $R$ is an UFD,  we have $\mathrm{Pic}(\Spec R)=0$. It follows that
$$\mathrm{Pic}({\mathcal {X}}) \cong \mathrm{Pic}(X).$$
This proves $(a)$.

Let $I$ denote $G_K$. For $(b)$, the induced map on the stalk at $s$ is
$${\mathrm{Br}}({\mathcal {X}})(\ell)\longrightarrow {\mathrm{Br}}(X_{K^s})^I(\ell).
$$
Since $\pi$ is smooth and proper, we have
$$ H^2({\mathcal {X}},\mu_{\ell^\infty})\cong H^2(X_{K^s}, \mu_{\ell^\infty})= H^2(X_{K^s}, \mu_{\ell^\infty})^I.
$$
Consider\\
\begin{displaymath}
\xymatrix{
0\ar[r] & \mathrm{Pic}({\mathcal {X}})\otimes \mathbb{Q}_\ell /\ZZ_\ell\ar[r] \ar[d] & H^2({\mathcal {X}} , \mu_{\ell^\infty}) \ar[r] \ar[d] & {\mathrm{Br}}({\mathcal {X}})(\ell) \ar[r]\ar[d] & 0  \\
0\ar[r] & {\mathrm{NS}}(X_{K^s})\otimes \mathbb{Q}_\ell /\ZZ_\ell \ar[r]  & H^2(X_{K^s}, \mu_{\ell^\infty}) \ar[r]  & {\mathrm{Br}}(X_{K^s})(\ell) \ar[r] & 0 }
\end{displaymath}
Since ${\mathrm{NS}}(X_{K^s})\otimes \mathbb{Q}_\ell /\ZZ_\ell$ is $I$-invariant and $\mathrm{Pic}({\mathcal {X}})=\mathrm{Pic}(X)$. It suffices to show that
$$\mathrm{Pic}(X)\otimes \mathbb{Q}_\ell /\ZZ_\ell \longrightarrow ({\mathrm{NS}}(X_{K^s})\otimes \mathbb{Q}_\ell /\ZZ_\ell)^I
$$
is surjective.  Write ${\mathrm{NS}}(X_{K^s})_{free}$ for ${\mathrm{NS}}(X_{K^s})/{\mathrm{NS}}(X_{K^s})_{{\mathrm{tor}}}$. The action of $I$ on ${\mathrm{NS}}(X_{K^s})$ factors through a finite quotient $I^\prime$. Consider the exact sequence
$$ 0\longrightarrow ({\mathrm{NS}}(X_{K^s})_{free})^{I^\prime} \otimes \ZZ_{\ell}\longrightarrow  {\mathrm{NS}}(X_{K^s})^{I^\prime}\otimes \mathbb{Q}_{\ell}\longrightarrow  ({\mathrm{NS}}(X_{\bar{K}}) \otimes \mathbb{Q}_{\ell}/\ZZ_\ell)^I$$
$$
\longrightarrow H^1(I^\prime,{\mathrm{NS}}(X_{K^s})_{free} \otimes \ZZ_{\ell}).
$$
$H^1(I^\prime,{\mathrm{NS}}(X_{K^s})_{free} \otimes \ZZ_{\ell})$ is killed by the order of $I^\prime$. Since $({\mathrm{NS}}(X_{K^s}) \otimes \mathbb{Q}_{\ell}/\ZZ_\ell)^I={\mathrm{NS}}(X_{K^s}) \otimes \mathbb{Q}_{\ell}/\ZZ_\ell$ is divisible, so the image of the last map is zero. Since
$$\mathrm{Pic}(X)\otimes\mathbb{Q}_\ell \longrightarrow {\mathrm{NS}}(X_{K^s})^I \otimes \mathbb{Q}_{\ell}
$$
is surjective (cf. \cite[\S2.2]{Yua2}), the claim follows. By Snake Lemma, the natural map
$${\mathrm{Br}}({\mathcal {X}})(\ell) \longrightarrow {\mathrm{Br}}(X_{K^s})^{I}(\ell)$$
is an isomorphism.

\end{proof}

\begin{thm}\label{big}

Let $\pi:{\mathcal {X}}\longrightarrow {\mathcal {Y}}$ be a dominant morphism between smooth geometrically connected varieties over a finitely generated field $k$ of characteristic $p\geq 0$. Let $K$ be the function field of ${\mathcal {Y}}$. Assume that the generic fiber $X$ of $\pi$ is smooth projective geometrically connected over $K$.  Set $K^\prime:=Kk^s$ and let $\ell\neq p$ be a prime. Set
$${\mathcal {K}}:={\mathrm{Ker}} (V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell {\mathrm{Br}}(X_{K^s})^{G_K}),$$
then we have canonical exact sequences
$$
0\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})^{G_k}\longrightarrow {\mathcal {K}} \longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})^{G_k}\longrightarrow 0,
$$
$$0\longrightarrow {\mathcal {K}}\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell {\mathrm{Br}}(X_{K^s})^{G_K}\longrightarrow 0.
$$
\end{thm}
\begin{proof}
By shrinking ${\mathcal {Y}}$, we might assume that $\pi$ is projective and smooth.

Firstly, we will show that the natural map
$$V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})\longrightarrow V_\ell{\mathrm{Br}}(X_{K^s})^{G_{K^\prime}}$$
is surjective. Consider the Leray spectral sequence
$$E^{p,q}_2=H^p({\mathcal {Y}}_{k^s},R^q\pi_*\mathbb{Q}_\ell(1))\Rightarrow H^{p+q}({\mathcal {X}}_{k^s},\mathbb{Q}_\ell(1)). $$
By Deligne's Lefschetz criteria(cf. \cite{Del1} ), the above spectral sequence degenerates at $E_2$. Thus, we get a canonical surjective map
 $$H^2({\mathcal {X}}_{k^s},\mathbb{Q}_\ell(1))\longrightarrow H^0({\mathcal {Y}}_{k^s},R^2\pi_*\mathbb{Q}_\ell(1)).
 $$
 Since $R^2\pi_*\mathbb{Q}_\ell(1)$ is lisse, we have
$$H^0({\mathcal {Y}}_{k^s},R^2\pi_*\mathbb{Q}_\ell(1))=H^2(X_{K^s},\mathbb{Q}_\ell(1))^{G_{K\prime}}.$$
It follows that the canonical map
$$H^2({\mathcal {X}}_{k^s},\mathbb{Q}_\ell(1))\longrightarrow H^2(X_{K^s},\mathbb{Q}_\ell(1))^{G_{K\prime}}$$
is surjective. Consider the following commutative diagram with exact rows
\begin{displaymath}
\xymatrix{
	H^2({\mathcal {X}}_{k^s},\mathbb{Q}_\ell(1))\ar[r]\ar[d] & V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})\ar[d]\ar[r] &0
	\\
H^2(X_{K^s},\mathbb{Q}_\ell(1))^{G_{K\prime}}\ar[r] & V_\ell{\mathrm{Br}}(X_{K^s})^{G_{K^\prime}}	\ar[r]& 0
}
\end{displaymath}
Since the first column is surjective, the map
$$V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})\longrightarrow V_\ell{\mathrm{Br}}(X_{K^s})^{G_{K^\prime}}$$
is also  surjective.

Secondly, we will show the exactness of the first sequence in the statement of theorem. By the Leray spectral sequence
$$H^p({\mathcal {Y}}_{k^s},R^q\pi_*\GG_m)\Rightarrow H^{p+q}({\mathcal {X}}_{k^s},\GG_m),
$$
we get a long exact sequence
$$ {\mathrm{Br}}({\mathcal {Y}}_{k^s})\longrightarrow {\mathrm{Ker}}({\mathrm{Br}}({\mathcal {X}}_{k^s})\longrightarrow H^0({\mathcal {Y}}_{k^s},R^2\pi_*\GG_m)) \longrightarrow H^1({\mathcal {Y}}_{k^s},R^1\pi_*\GG_m)\longrightarrow H^3({\mathcal {Y}}_{k^s},\GG_m).
$$
Note that without loss of generality, we can always replace $k$ by its finite Galois extension. There exists a finite Galois extension $L/K$ such that $X(L)$ is not empty. Choose a $K$-morphism $\Spec L\longrightarrow X$ and we might assume that $L$ is the function field of smooth variety ${\mathcal {Z}}$ over $k$. By shrinking ${\mathcal {Y}}$ and ${\mathcal {Z}}$, we can assume that $\Spec L \longrightarrow X$ extends to a morphism ${\mathcal {Z}}\longrightarrow{\mathcal {X}}$ such that ${\mathcal {Z}}\longrightarrow{\mathcal {Y}}$ is finite flat.  Let $\pi^\prime$ denote ${\mathcal {Z}}\longrightarrow{\mathcal {Y}}$. Then we have a commutative diagram induced by the Leray spectral sequences for $\pi$ and $\pi^\prime$
\begin{displaymath}
\xymatrix{
	H^1({\mathcal {Y}}_{k^s},R^1\pi_*\GG_m)\ar[r]\ar[d]& H^3({\mathcal {Y}}_{k^s},\GG_m)\ar[d]
	\\
H^1({\mathcal {Y}}_{k^s},R^1\pi^\prime_*\GG_m)\ar[r]& H^3({\mathcal {Y}}_{k^s},\pi^\prime_*\GG_m)}
\end{displaymath}
Since $\pi^\prime$ is finite, we have $R^i\pi^\prime_*\GG_m=0$ for $i>0$ and  $H^3({\mathcal {Y}}_{k^s},\pi^\prime_*\GG_m)=H^3({\mathcal {Z}}_{k^s},\GG_m)$. There is a canonical norm map $\pi_*^\prime\GG_m\longrightarrow \GG_m$ which induces a norm map
$$N:H^i({\mathcal {Z}}_{k^s},\GG_m) \longrightarrow H^i({\mathcal {Y}}_{k^s},\GG_m)
$$
such that the composition of $N$ with the pull back map $H^i({\mathcal {Y}}_{k^s},\GG_m) \longrightarrow H^i({\mathcal {Z}}_{k^s},\GG_m)$ is equal to the multiplication by $\deg(\pi^\prime)$. It follows  that the second column in the above diagram has a kernel killed by $\deg(\pi^\prime)$. Therefore, the first row has an image killed by $\deg(\pi^\prime)$ and the sequence $0\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})$ is split as $G_k$-representations. Thus, we get a split exact sequence of $G_k$-representations
$$0\rightarrow V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})\rightarrow {\mathrm{Ker}}(V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})\rightarrow V_\ell H^0({\mathcal {Y}}_{k^s},R^2\pi_*\GG_m)) \rightarrow V_\ell H^1({\mathcal {Y}}_{k^s},R^1\pi_*\GG_m)\rightarrow 0.$$
In fact, the norm map $N$ induces a projection
$${\mathrm{Ker}}(V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})\longrightarrow V_\ell H^0({\mathcal {Y}}_{k^s},R^2\pi_*\GG_m))\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s}).$$
So we get an isomorphism
$$
{\mathrm{Ker}}(V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})\longrightarrow V_\ell H^0({\mathcal {Y}}_{k^s},R^2\pi_*\GG_m))\cong V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})\oplus V_\ell H^1({\mathcal {Y}}_{k^s},R^1\pi_*\GG_m),
$$
where the direct sum decomposition depends on the choice of $\pi^\prime$. Next, we will show that there is a canonical isomorphism
$$V_\ell H^1({\mathcal {Y}}_{k^s},R^1\pi_*\GG_m)\cong V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}_{k^s}}(\mathrm{Pic}^0_{X/K}).$$
 Let $j:\Spec K\longrightarrow {\mathcal {Y}}$ be the generic point. By Lemma \ref{picard}, the natural map
$$R^1\pi_*\GG_m\longrightarrow j_*j^*R^1\pi_*\GG_m$$
is an isomorphism. It follows that
$$  H^1({\mathcal {Y}}_{k^s},R^1\pi_*\GG_m)\cong  H^1({\mathcal {Y}}_{k^s},j_*j^*R^1\pi_*\GG_m).$$
There is an exact sequence
$$ 0\longrightarrow H^1({\mathcal {Y}}_{k^s},j_*j^*R^1\pi_*\GG_m)\longrightarrow H^1(K^\prime,\mathrm{Pic}_{X/K})\longrightarrow \prod _{s\in {\mathcal {Y}}_{k^s}}H^1(K^{sh}_s,\mathrm{Pic}_{X/K}).
$$
Let ${\hbox{\cyr Sh}_{{\mathcal {Y}}_{k^s}}(\mathrm{Pic}_{X/K})$ denote the kernel of the third arrow. It suffices to show that
$$V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}_{k^s}}(\mathrm{Pic}^0_{X/K})\cong V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}_{k^s}}(\mathrm{Pic}_{X/K}).$$
By the canonical exact sequence
$$ 0\longrightarrow \mathrm{Pic}^0_{X/K}\longrightarrow \mathrm{Pic}_{X/K}\longrightarrow {\mathrm{NS}}(X_{K^s}) \longrightarrow 0,$$
we get a long exact sequence
$$H^0(K^\prime,{\mathrm{NS}}(X_{K^s}))\longrightarrow H^1(K^\prime,\mathrm{Pic}^0_{X/K})\longrightarrow H^1(K^\prime,\mathrm{Pic}_{X/K}) \longrightarrow H^1(K^\prime,{\mathrm{NS}}(X_{K^s})).
$$
Let $L/K$ be a finite Galois extension such that $\mathrm{Pic}(X_L)\longrightarrow {\mathrm{NS}}(X_{K^s})$ is surjective. One can show that $H^1(K^\prime,{\mathrm{NS}}(X_{K^s}))$ is killed by $[L:K]\#{\mathrm{NS}}(X_{K^s})_{{\mathrm{tor}}}$ and the cokernel of $H^0(K^\prime,\mathrm{Pic}_{X/K})\longrightarrow H^0(K^\prime,{\mathrm{NS}}(X_{K^s}))$ is killed by $[L:K]$. Thus, the kernel and the cokernel of
$$  H^1(K^\prime,\mathrm{Pic}^0_{X/K}) \longrightarrow H^1(K^\prime,\mathrm{Pic}_{X/K})
$$
are killed by $[L:K]\#{\mathrm{NS}}(X_{K^s})_{{\mathrm{tor}}}$. By the same argument, the kernel and cokernel of
$$\prod _{s\in {\mathcal {Y}}_{k^s}}H^1(K^{sh}_s,\mathrm{Pic}^0_{X/K})\longrightarrow \prod _{s\in {\mathcal {Y}}_{k^s}}H^1(K^{sh}_s,\mathrm{Pic}_{X/K})$$
are also killed by $[L:K]\#{\mathrm{NS}}(X_{K^s})_{{\mathrm{tor}}}$. Taking $V_\ell$, they become isomorphisms. Therefore, we have a canonical isomorphsim\\
$$
V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}_{k^s}}(\mathrm{Pic}^0_{X/K})\cong V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}_{k^s}}(\mathrm{Pic}_{X/K}).$$
Thus, we get a canonical isomorphism

$$
V_\ell H^1({\mathcal {Y}}_{k^s}, R^1\pi_*\GG_m)\cong V_\ell{\hbox{\cyr Sh}_{{\mathcal {Y}}_{k^s}}(\mathrm{Pic}^0_{X/K}).
$$
By Lemma \ref{picard}, the natural map
$$R^2\pi_*\GG_m(\ell)\longrightarrow j_*j^*R^2\pi_*\GG_m(\ell)$$
is an isomorphism. It follows directly
$$H^0({\mathcal {Y}}_{k^s},R^2\pi_*\GG_m)(\ell)\cong {\mathrm{Br}}(X_{K^s})^{G_{K^\prime}}(\ell).$$
Thus, there is an exact sequence
$$0\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})\oplus V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})
\longrightarrow V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s}) \longrightarrow V_\ell{\mathrm{Br}}(X_{K^s})^{G_{K^\prime}}\longrightarrow 0,$$
where the second arrow depends on the choice of $\pi^\prime$. Taking $G_k$-invariants, we proved the exactness of the first sequence in the theorem.

It remains to show that the natural map
$$V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k} \longrightarrow V_\ell{\mathrm{Br}}(X_{K^s})^{G_{K}}$$
is surjective. To prove this, we will use a pull-back trick (cf. \cite{CTS} or \cite{Yua2}). Let $W$ be a smooth projective geometrically connected curve over $K$ contained in $X$ which is a complete intersection of hyperplane sections. By Shrinking ${\mathcal {Y}}$, we might assume that $W$ adimits a smooth projective model ${\mathcal {W}}\longrightarrow {\mathcal {Y}}$ where ${\mathcal {W}}$ is the Zariski closure of $W$ in ${\mathcal {X}}$. By shrinking ${\mathcal {Y}}$, we might assume that the map ${\mathcal {Z}}\longrightarrow {\mathcal {X}}$ chosen before factors through ${\mathcal {Z}}\longrightarrow {\mathcal {W}}$. Thus, we get a commutative diagram
\begin{displaymath}
\xymatrix{
0\ar[r] & V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})\oplus V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})
\ar[r]\ar[d] & V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s}) \ar[r] \ar[d]& V_\ell{\mathrm{Br}}(X_{K^s})^{G_{K^\prime}}\ar[d] \ar[r] & 0\\
0\ar[r] & V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})\oplus V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{W/K})
\ar[r] & V_\ell{\mathrm{Br}}({\mathcal {W}}_{k^s}) \ar[r] & V_\ell{\mathrm{Br}}(W_{K^s})^{G_{K^\prime}} \ar[r] &0
}
\end{displaymath}
Taking $G_k$ invariants, we get
\begin{displaymath}
\xymatrix{
 V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\ar[r]^a\ar[d] & V_\ell{\mathrm{Br}}(X_{K^s})^{G_{K}}\ar[d] \ar[r] & H^1(G_k,V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})\oplus V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})) \ar[d]^c\\
V_\ell{\mathrm{Br}}({\mathcal {W}}_{k^s})^{G_k} \ar[r] & V_\ell{\mathrm{Br}}(W_{K^s})^{G_{K}}\ar[r] & H^1(G_k,V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})\oplus V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{W/K}))
}
\end{displaymath}
Since $V_\ell{\mathrm{Br}}(W_{K^s})^{G_{K}}=0$, the second arrow in the bottom vanishes. Thus, to show that $a$ is surjective, it suffices to show that $c$ is injective. This actually follows from the fact
$$ V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})\longrightarrow V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{W/K})$$
is split as $G_k$-representations. By our choice of $W$ and the Lefschetz hyperplane section theorem, the pullback map
$$H^1(X_{K^s},\mathbb{Q}_\ell)\longrightarrow H^1(W_{K^s},\mathbb{Q}_\ell)$$
is injective. This implies that the induced map $\mathrm{Pic}^0_{X/K}\longrightarrow \mathrm{Pic}^0_{W/K}$ has a finite kernel. Therefore, there exists an abelian variety $A/K$  and an isogeny $\mathrm{Pic}^0_{X/K}\times A\longrightarrow \mathrm{Pic}^0_{W/K}$. It follows that
$$V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{X/K})\oplus V_\ell {\hbox{\cyr Sh}_{K^\prime}(A)\cong V_\ell {\hbox{\cyr Sh}_{K^\prime}(\mathrm{Pic}^0_{W/K}).
$$
This proves the splitness. Thus, the natural map
$$
 V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k} \longrightarrow  V_\ell{\mathrm{Br}}(X_{K^s})^{G_K}
$$
is surjective.

\end{proof}
In the theorem above, we assume that the generic fiber is projective over $K$. In the following corollary, we will deduce the surjectivity of $V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell{\mathrm{Br}}(X_{K^s})^{G_K}$ from the above theorem for any fibration with a smooth generic fiber.
\begin{cor}\label{hardsur}
Let $k$ be a finite field or a number field. Let $\pi:{\mathcal {X}}\longrightarrow{\mathcal {Y}}$ be a dominant morphism between smooth geometrically connected varieties over $k$. Let $K$ be the function field of ${\mathcal {Y}}$ and $X$ be the generic fiber of $\pi$. Let $\ell \neq {\mathrm{char}}(k)$ be a prime. Assuming that $X$ is smooth over $K$, then the natural map
$$V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell{\mathrm{Br}}(X_{K^s})^{G_K}$$
is surjective.
\end{cor}
\begin{proof}
Firstly, note that without loss of generality, we can always extend $k$ to its finite extension.

Secondly, we might assume that $X$ is geometrically irreducible over $K$. Let $L$ be the algebraic closure of $K$ in $K(X)$. Then $L/K$ is a finite separable extension and $X$ is smooth and geometrically irreducible over $\Spec L$. By speading out $X\longrightarrow\Spec L$, we get a morphsim with a smooth geometrically connected generic fiber. Since ${\mathrm{Br}}(X\otimes_{L}L^s)^{G_L}= {\mathrm{Br}}(X_{K^s})^{G_K}$, it suffices to prove the claim for this morphism.

Thirdly, if $X/K$ is birational equivalent to a smooth projective variety $X^\prime$ over $K$,  then the claim will follow from Theorem \ref{big} since $V_\ell{\mathrm{Br}}(X_{K^s})^{G_K}$ is a birational invariant.

Next, we will use de Jong's alteration theorem to reduce the question to this case. Let $X^\prime_{\Bar{K}}\longrightarrow X_{\bar{K}}$ be an alteration such that $X^\prime_{\bar{K}}$ admits a smooth projective compactification. We might assume that $X^\prime$ and the alteration are defined over a finite normal extension $L$ of $K$. By shrinking $X$, we can assume that the alteration $X^\prime \longrightarrow X_{L}$ is finite flat. By spreading out $X^\prime \longrightarrow \Spec L$, we get a commutative diagram
\begin{displaymath}
\xymatrix{
	{\mathcal {X}}^\prime \ar[r] \ar[d]^{f} &{\mathcal {Y}}^\prime\ar[d] \\
    {\mathcal {X}} \ar[r] & {\mathcal {Y}} }
\end{displaymath}
where ${\mathcal {Y}}^\prime$ has function field $L$. By shrinking ${\mathcal {Y}}$, we can assume that $f$ is finite flat.  Thinking $f$ as a ${\mathcal {Y}}$-morphsim and base change to $\Spec K^s$, we get $X^\prime _{K^s}\longrightarrow X_{K^s}$ which is also finite flat. It induces a norm map ${\mathrm{Br}}(X^\prime_{K^s})\longrightarrow {\mathrm{Br}}(X_{K^s})$ which is compatible with the norm map ${\mathrm{Br}}({\mathcal {X}}^\prime_{k^s})\longrightarrow {\mathrm{Br}}({\mathcal {X}}_{k})$. Therefore we get a commutative diagram
\begin{displaymath}
\xymatrix{
	V_\ell{\mathrm{Br}}({\mathcal {X}}^\prime_{k^s})^{G_k} \ar[r] \ar[d] &V_\ell{\mathrm{Br}}(X^\prime_{K^s})^{G_K}\ar[d] \\
   V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k} \ar[r]  & V_\ell{\mathrm{Br}}(X_{K^s})^{G_K} }
\end{displaymath}
Since vertical maps are surjective, it suffices to show that the first row is surjective. Since the claim holds for ${\mathcal {X}}^\prime \rightarrow{\mathcal {Y}}^\prime$, the natural map
$$V_\ell{\mathrm{Br}}({\mathcal {X}}^\prime_{k^s})^{G_k}\longrightarrow V_\ell{\mathrm{Br}}(X^\prime_{L^s})^{G_L}$$
is surjective. Thus, it suffices to show that there is a natural isomorphism
$${\mathrm{Br}}(X^\prime_{K^s})^{G_K}\cong{\mathrm{Br}}(X^\prime\otimes_{L} L^s)^{G_L}.$$
Fix an algebraic closure $\bar{K}$ of $K$ and assume that $L$ and $L^s$ are contained in $\bar{K}$. Since $X^\prime_{K^s}=X^\prime \otimes_L L\otimes_{K} K^s$, the natural map $ L\otimes_K K^s\longrightarrow L^s$ induces a map
 $${\mathrm{Br}}(X^\prime \otimes_L L\otimes_{K} K^s)\longrightarrow {\mathrm{Br}}(X^\prime\otimes_{L} L^s).$$
Set $K_1=L\cap K^s$, by our assumption that $L/K$ is a normal extension, so $K_1/K$ is finite Galois. Write $G=G_K$ and $H=G_{K_1}$. We have
$$L\otimes_K K^s=L\otimes_{K_1} K_1\otimes_K K^s=\prod_{\sigma:K_1\hookrightarrow K^s}L\otimes_{K_1,\sigma} K^s
$$
One can show that $L\otimes_{K_1,\sigma} K^s$ is a separable closure of $L$ and admits a $H$-action (acting on $K^s$). We denote it by $L^{s}_{\sigma}$. Then
$${\mathrm{Br}}(X^\prime \otimes_L L\otimes_{K} K^s)\cong \prod_{\sigma:K_1\hookrightarrow K^s}{\mathrm{Br}}(X^\prime _{L^{s}_{\sigma}}).
$$
Taking $H$-invariant, we get
$${\mathrm{Br}}(X^\prime \otimes_L L\otimes_{K} K^s)^H\cong \prod_{\sigma:K_1\hookrightarrow K^s}{\mathrm{Br}}(X^\prime _{L^{s}_{\sigma}})^H.
$$
Now $G/H$ acts as permutations on the right side, so the $G/H$-invariant of right side can be identified with the factor with the index $\sigma$ equal to the inclusion map $K_1\subset K^s$. The factor can be identified with ${\mathrm{Br}}(X^\prime_{L^s})^{G_L}$ through the natural isomorphism $L\otimes_{K_1}K^s\cong L^s$. It follows that there is a natural isomorphism
$${\mathrm{Br}}(X^\prime_{K^s})^{G_K}\cong{\mathrm{Br}}(X^\prime\otimes_{L} L^s)^{G_L}.$$
This completes the proof.
\end{proof}

\begin{cor}
Let ${\mathcal {Y}}$ be a smooth geometrically connected variety over a finitely generated field $k$ with function field $K$ of characteristic $p>0$. Let $A$ be an abelian variety over $K$. Let $B={\mathrm{Tr}}_{K/k}(A)$ denote the $K/k$ trace of $A$. Let $\ell\neq p$ be a prime. Then there is a canonical exact sequence
$$
0\longrightarrow V_\ell{\hbox{\cyr Sh}_k(B) \longrightarrow V_\ell{\hbox{\cyr Sh}_K(A) \longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}\longrightarrow 0.
$$

\end{cor}\label{kktrace}
\begin{proof}
Consider the exact sequence
$$0\longrightarrow H^1(G_k, A(K^\prime))\longrightarrow H^1(K,A)\longrightarrow H^1(K^\prime, A),$$
we will show that $V_\ell H^1(G_k, A(K^\prime))$ is naturally isomorphic to $V_\ell H^1(k,B)$. This will imply the left exactness of the sequence in the claim. By the Lang-N\'eron theorem, $A(K^\prime)/B(k^s)$ is finitely generated, so $H^1(G_k, A(K^\prime)/B(k^s))$ is of finite exponent. By the exact sequence
$$0\longrightarrow B(k^s)\longrightarrow A(K^\prime)\longrightarrow A(K^\prime)/B(k^s)\longrightarrow 0,$$
we get
$$V_\ell  H^1(G_k, A(K^\prime))=V_\ell H^1(G_k, B(k^s))=V_\ell{\hbox{\cyr Sh}_{k}(B),$$
where the last equality follows from Lemma \ref{sha}. It follows that
$$
0\longrightarrow V_\ell{\hbox{\cyr Sh}_k(B) \longrightarrow V_\ell{\hbox{\cyr Sh}_K(A) \longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}
$$
is exact.

To show the surjectivity of the last arrow, we might assume $A=\mathrm{Pic}^0_{X/K}$ where $X$ is a smooth projective geometrically connected curve over $K$. Spreading out $X/K$, we get a smooth projective relative curve $\pi:{\mathcal {X}} \longrightarrow {\mathcal {Y}}$. Since ${\mathrm{Br}}(X_{K^s})=0$, by Theorem \ref{big}, we get a surjection
$$ {\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}\longrightarrow V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}.$$
Let $k_0$ be the algebraic closure of the prime field of $k$ in $k$. Then there exists a smooth geometrically connected variety ${\mathcal {Z}}$ over $k_0$ with function field $k$. By shrinking ${\mathcal {Z}}$, we can spread out $\pi$ to a smooth projective morphsim $\pi_{{\mathcal {Z}}}:{\mathcal {X}}_{{\mathcal {Z}}}\longrightarrow {\mathcal {Y}}_{{\mathcal {Z}}}$. By shrinking ${\mathcal {Z}}$ further, we can assume that ${\mathcal {Y}}_{{\mathcal {Z}}}$ is smooth over ${\mathcal {Z}}$. Using Theorem \ref{big} for $\pi_{{\mathcal {Z}}}$, we get a surjection
$$V_\ell{\mathrm{Br}}({\mathcal {X}}_{{\mathcal {Z}}_{k_0^s}})^{G_{k_0}}\longrightarrow V_\ell{\hbox{\cyr Sh}_{Kk_0^s}(A)^{G_{k_0}}.$$
It remains to show that the natural map
$$ V_\ell{\mathrm{Br}}({\mathcal {X}}_{{\mathcal {Z}}_{k_0^s}})^{G_{k_0}} \longrightarrow {\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}$$
is surjective. Since ${\mathcal {X}}$ can be identified with the generic fiber of ${\mathcal {X}}_{{\mathcal {Z}}}\longrightarrow {\mathcal {Z}}$, then the claim follows from Corollary \ref{hardsur}.
\end{proof}
\subsection{Proof of Theorem \ref{bigthm}}
It follows directly from Theorem \ref{big} and Corollary \ref{kktrace}.

\section{BSD conjecture and Tate-Shafarevich group}
\subsection{Cohomological interpretation of the vanishing order of $L$ function for an abelian variety}
\begin{lem}\label{rank}
Let $A$ be an abelian variety defined over a finitely generated field $K$ of characteristic $p>0$. Assume that $A$ extends to an abelian scheme $\pi:\SA\longrightarrow {\mathcal {Y}}$, where ${\mathcal {Y}}$ is a smooth geometrically connected variety over a finite field $k$ with function field $K$. Set $m=\dim {\mathcal {Y}}$ and let $\ell\neq p$ be a prime. Then
$$
{\mathrm{rank}}\, A(K)\leq {\mathrm{ord}}_{s=m} \Phi_1(s),
$$
and ${\mathrm{ord}}_{s=m} \Phi_1(s)$ is equal to the dimension of the generalized $1$-eigenspace of the Frobenius action on $H^1({\mathcal {Y}}_{\bar{k}},V_\ell\SA)$.
\end{lem}
\begin{proof}
Let $q$ denote the cardinality of $k$ and $F$ denote the geometric Frobenius element in $G_k$. Set $\mathscr{F}=R^1\pi_*\mathbb{Q}_\ell$, $\mathscr{F}$ is lisse since $\pi$ is smooth and proper.  By definition,
$$\Phi_1(s)=\prod_{y\in{\mathcal {Y}}^\circ}\det(1-q_y^{-s}\sigma_y^{-1} |\mathscr{F}_{\bar{y}})^{-1}.$$
By Grothendieck's formula,
$$ \Phi_1(s)=\prod_{i=0}^{2m} \det(1-q^{-s}F|H^i_c({\mathcal {Y}}_{\bar{k}}, \mathscr{F}))^{(-1)^{i+1}}
$$
By Deligne's theorem, $H^i_c({\mathcal {Y}}_{\bar{k}}, \mathscr{F})$ is of mixed weight
$\leq i+1$ and $H_c^{2m}({\mathcal {Y}}_{\bar{k}}, \mathscr{F})$ is of pure weight $2m+1$ by Poincar\'e duality.
Therefore only $\det(1-q^{-s}F|H^{2m-1}_c({\mathcal {Y}}_{\bar{k}}, \mathscr{F}))$ contributes to the order of zero at $s=m$. By Poincar\'e duality,
$$
H^{2m-1}_c({\mathcal {Y}}_{\bar{k}}, \mathscr{F})\cong H^1({\mathcal {Y}}_{\bar{k}}, \mathscr{F}^\vee)^\vee(-m).
$$
It follows that ${\mathrm{ord}}_{s=m} \Phi_1(s)$ is equal to the dimension of the generalized $1$-eigenspace of $F$ on $H^1({\mathcal {Y}}_{\bar{k}}, \mathscr{F}^\vee)$. Thus
$$ \dim H^1({\mathcal {Y}}_{\bar{k}}, \mathscr{F}^\vee)^{G_k} \leq {\mathrm{ord}}_{s=m} \Phi_1(s).$$
 The lisse sheaf $\mathscr{F}$ corresponds to the representation of $G_K$ on $H^1(A_{\bar{K}},\mathbb{Q}_\ell)$, therefore $\mathscr{F}^\vee$ corresponds to $H^1(A_{\bar{K}},\mathbb{Q}_\ell)^\vee$ which can be identified with $V_\ell A$ .  Since $\pi$ is an abelian scheme, there is a Kummer exact sequence of etale sheaves on ${\mathcal {Y}}$
$$
0\longrightarrow \SA[\ell^n]\longrightarrow \SA \stackrel{\ell^n}{\longrightarrow} \SA \longrightarrow 0.
$$
Since $\SA[\ell^n]$ is a finite etale group scheme over ${\mathcal {Y}}$, it represents a locally constant sheaf on ${\mathcal {Y}}$.  Let $V_\ell \SA$ be the $\mathbb{Q}_\ell$-sheaf associated to the inverse system $\SA[\ell^n]$. It corresponds to the $G_K$ representation on $V_\ell A$. Therefore $V_\ell \SA$ can be identified with $\mathscr{F}^\vee$. From the Kummer exact sequence, we get
$$ 0\longrightarrow H^0({\mathcal {Y}}_{\bar{k}},\SA)\otimes_\ZZ \mathbb{Q}_\ell \longrightarrow H^1({\mathcal {Y}}_{\bar{k}},V_\ell \SA)
\longrightarrow V_\ell H^1({\mathcal {Y}}_{\bar{k}},\SA)\longrightarrow 0.
$$
By \cite[Thm. 3.3]{Kel1}, $\SA$ satisfies the Neron property
$$\SA\cong j_*j^*\SA,$$
where $j=\Spec K \longrightarrow {\mathcal {Y}}$ is the generic point of ${\mathcal {Y}}$. Write $K^\prime$ for $K\bar{k}$, it follows
$$
H^0({\mathcal {Y}}_{\bar{k}},\SA)=A(K^\prime).
$$
Taking $G_k$-invariants for the above exact sequence, we get
$$ 0\longrightarrow H^0({\mathcal {Y}}_{\bar{k}},\SA)^{G_k}\otimes_\ZZ \mathbb{Q}_\ell \longrightarrow H^1({\mathcal {Y}}_{\bar{k}},V_\ell \SA)^{G_k}
\longrightarrow V_\ell H^1({\mathcal {Y}}_{\bar{k}},\SA)^{G_k}.
$$
Since $H^0({\mathcal {Y}}_{\bar{k}},{\mathcal {A}})^{G_k}=A(K)$, it follows
$$ {\mathrm{rank}}\,A(K)\leq \dim H^1({\mathcal {Y}}_{\bar{k}},V_\ell \SA)^{G_k} \leq {\mathrm{ord}}_{s=m} \Phi_1(s).$$

\end{proof}

\subsection{Proof of Theorem \ref{bsdconj}}

\begin{thm}
Let $A$ be an abelian variety over a finitely generated field $K$ of characteristic $p>0$. Let $\ell\neq p$ be a prime. Then the BSD conjecture (i.e. Conjecture \ref{conj2}) for $A$ is equivalent to the finiteness of ${\hbox{\cyr Sh}_{K}(A)(\ell)$.
\end{thm}
\begin{proof}
 Assuming the BSD conjecture for $A$, by Lemma \ref{rank} and \ref{splitexact} below,  we have $V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}=0$. By Lemma \ref{sha}, $V_\ell{\hbox{\cyr Sh}_{K}(A)=V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}$, so $V_\ell{\hbox{\cyr Sh}_{K}(A)=0$. Thus ${\hbox{\cyr Sh}_{K}(A)(\ell)$ is finite.

Assuming that ${\hbox{\cyr Sh}_{K}(A)(\ell)$ is finite, then $V_\ell{\hbox{\cyr Sh}_{K^\prime}(A)^{G_k}=0$. By Lemma \ref{splitexact} below,
$$H^0({\mathcal {Y}},  \SA)\otimes_\ZZ \mathbb{Q}_\ell\cong H^1({\mathcal {Y}}_{\bar{k}}, V_\ell\SA)^{G_k}$$
and $H^0({\mathcal {Y}},  \SA)\otimes_\ZZ \mathbb{Q}_\ell$ is a direct summand of  $H^1({\mathcal {Y}}_{\bar{k}}, V_\ell\SA)$ as $G_k$-representations. It follows that $H^1({\mathcal {Y}}_{\bar{k}}, V_\ell\SA)^{G_k}$ is direct summand of $H^1({\mathcal {Y}}_{\bar{k}}, V_\ell\SA)$ as $G_k$-representations. This implies that $H^1({\mathcal {Y}}_{\bar{k}}, V_\ell\SA)^{G_k}$ is equal to the generalized $1$-eigenspace of $H^1({\mathcal {Y}}_{\bar{k}}, V_\ell\SA)$. Then the claim follows from Lemma \ref{rank}.
\end{proof}
\begin{lem}\label{splitexact}
Let $A$ be an abelian variety defined over a finitely generated field $K$ of characteristic $p>0$. Assume that $A$ extends to an abelian scheme $\pi:\SA\longrightarrow {\mathcal {Y}}$, where ${\mathcal {Y}}$ is a smooth geometrically connected variety over a finite field $k$ with function field $K$. Let $\ell\neq p$ be a prime. Then there is a split exact sequence of $G_k$-representations
$$ 0\longrightarrow H^0({\mathcal {Y}}_{\bar{k}},  \SA)\otimes_\ZZ \mathbb{Q}_\ell\longrightarrow H^1({\mathcal {Y}}_{\bar{k}}, V_\ell\SA) \longrightarrow V_\ell H^1({\mathcal {Y}}_{\bar{k}}, \SA)\longrightarrow 0.$$
\end{lem}
\begin{proof}
Write $K^\prime$ for $K\bar{k}$. It suffices to show that $H^0({\mathcal {Y}}_{\bar{k}},  \SA)\otimes_\ZZ \mathbb{Q}_\ell=A(K^\prime)\otimes_\ZZ \mathbb{Q}_\ell$ is a direct summand of $H^1({\mathcal {Y}}_{\bar{k}}, V_\ell\SA)$ as $G_k$-representations. Note that without loss of generality, we might extend $k$ or shrink ${\mathcal {Y}}$. By shrinking ${\mathcal {Y}}$, we can assume  that ${\mathcal {Y}}$ is an open subvariety of a projective normal variety $\bar{{\mathcal {Y}}}$ over $k$. Let $V$ denote the smooth locus of $\bar{{\mathcal {Y}}}/k$. Then $\bar{{\mathcal {Y}}}-V$ has codimension $\geq 2$ in $\bar{{\mathcal {Y}}}$. Let $j$ denote the open immersion ${\mathcal {Y}}\hookrightarrow V$ and $\SF$ denote $V_\ell\SA$ on ${\mathcal {Y}}$. By \cite[Prop. 10.1.18 (iii)]{Fu}, $R^qj_*\SF$ are constructible $\mathbb{Q}_\ell$-sheaves for all $q\geq 0$. Set $D=V-{\mathcal {Y}}$, by removing a closed subset $Z$ of codimension $\geq 2$ from $V$, we might assume that $D$ is a smooth divisor and $R^1j_*\SF$ and $j_*R^1\pi_*\mathbb{Q}_\ell$ are lisse on $D$. There is a canonical exact sequence
$$0\longrightarrow H^1(V_{\bar{k}},j_*\SF)\longrightarrow H^1({\mathcal {Y}}_{\bar{k}},\SF)\longrightarrow H^0(D_{\bar{k}},R^1j_*\SF).
$$
We will show that $H^0(D_{\bar{k}},R^1j_*\SF)$ is of weight $\geq 1$. This will imply that $H^1(V_{\bar{k}},j_*\SF)$ and $H^1({\mathcal {Y}}_{\bar{k}},\SF)$ have the same generalized $1$-eigenspace of the Frobenius action. Then the question will be reduced to show the splitness of
$$0\longrightarrow H^0({\mathcal {Y}}_{\bar{k}},  \SA)\otimes_\ZZ \mathbb{Q}_\ell \longrightarrow H^1(V_{\bar{k}},j_*V_\ell\SA),
$$
and this will follow from Lemma \ref{zerocomp} and Corollary \ref{split} below.

Let $\eta$ be a generic point of $D$ and $k(\eta)$ be the residue field. Then we have
$$(R^1j_*\SF)_{\bar{\eta}}=H^1(K_\eta^{sh},V_\ell A).$$
Set $I={\mathrm{Gal}}(K^s/K_\eta^{sh})$, by \cite[Chap I, Lem. 2.18]{Mil3}, there is an isomorphism of $G_{k(\eta)}$-representations
$$ H^1(K_\eta^{{\mathrm{sh}}},V_\ell A)\cong (V_\ell A)_I(-1).$$
Since $(V_\ell A)_I=(H^1(A_{K^s},\mathbb{Q}_\ell)^I)^\vee$, it follows
$$H^1(K_\eta^{{\mathrm{sh}}},V_\ell A)\cong (H^1(A_{K^s},\mathbb{Q}_\ell)^I)^\vee(-1)$$
as $G_{k(\eta)}$-representations. Let $s\in \overline{\{\eta\}}$ be a closed point. By assumption, $j_*R^1\pi_*\mathbb{Q}_\ell$ is lisse on $D$. So $G_{k(s)}$ acts on $(j_*R^1\pi_*\mathbb{Q}_\ell)_{\bar{\eta}}=H^1(A_{K^s},\mathbb{Q}_\ell)^I$. By \cite[Cor. 1.8.9]{Del2}, the $G_{k(s)}$-action on $H^1(A_{K^s},\mathbb{Q}_\ell)^I$ is of weight $\leq 1$. Thus, the $G_{k(s)}$-action on $(H^1(A_{K^s},\mathbb{Q}_\ell)^I)^\vee(-1)$ is of weight $\geq 1$. It follows that $(R^1j_*\SF)_{\bar{s}}$ is of weight $\geq 1$. Since this holds for all closed points in $D$, it follows that $H^0(D_{\bar{k}},R^1j_*\SF)$ is of weight $\geq 1$. This completes the proof.
\end{proof}

\subsection{The N\'eron-Tate height paring and Yoneda pairing}
Let $S$ be a projective normal geometrically connected variety over a finite field $k$ with function field $K$. Let $V\subseteq S$ be a regular open subscheme with $S-V$ of codimension $\geq 2$. Let $A$ be an abelian variety over $K$. Let $U \subseteq V$ be an open dense subscheme such that $A$ extends to an abelian scheme $\pi:\SA\longrightarrow U$. Let $j:U\hookrightarrow V$ be the inclusion and $K^\prime$ denote $K\bar{k}$. The aim of this section is to show the splitness of
\begin{equation}\label{aimsplit}
0\longrightarrow A(K^\prime)\otimes_{\ZZ}\mathbb{Q}_\ell \longrightarrow H^1(V_{k^s},j_*V_\ell\SA).
\end{equation}
In the case that $\dim S=1$, $V$ is equal to $S$. $j_*\SA$ is the etale sheaf represented by a N\'eron model of $A$. The claim was proved by Schneider\cite{Sch}. In the case that $A$ extends to an abelian scheme over a smooth projective variety $S$ over $k$, we have $j_*\SA=\SA$. This case was proved by Keller\cite{Kel2}. The idea is to construct compatible $G_k$-equivariant pairings
\[
\begin{tikzcd}
H^0(V,\SA^0)\otimes_{\ZZ}\mathbb{Q} \arrow[d,"-\delta"] \arrow[r,"\times", phantom] & {\mathrm{Ext}}^1_{V_{fppf}}(\SA^0,\GG_m)\otimes_{\ZZ}\mathbb{Q} \ar[d, "\varprojlim r_n"]\ar[r]  & \mathbb{Q} \ar[d]  \\
H^1(V_{\bar{k}},V_\ell\SA^0) \arrow[r,"\times", phantom]  & \varprojlim_{n} {\mathrm{Ext}}^1_{(\ell^n)-V_{et}}(\SA^0[\ell^n],\mu_{\ell^n})\otimes_{\ZZ_\ell} \mathbb{Q}_\ell \ar[r] & \mathbb{Q}_\ell
\end{tikzcd}
\]
where $\SA^0$ is a smooth group scheme over $V$ with connected fibers ($\SA^0$ is taken to be the identity component of a N\'eron model of $A$ for two special cases above) and the top pairing is left non-degenerate. The the splitness of (\ref{aimsplit}) will follow from Lemma \ref{splitrep}. In the following, we will explain the construction of $\SA^0$ and the two pairings.

\subsubsection {N\'eron model}
\begin{lem}
Let $A$ be an abelian variety over a finitely generated field $K$ of characteristic $p>0$. Let $S$ be a projective normal geometrically connected variety over a finite field $k$ with function field $K$. Let $S^1$ denote the set of points of codimenson $1$. Then there exists a regular open subscheme $V\subseteq S$ with codim$(S-V)\geq 2$ and a smooth commutative $V$-group scheme $\SA$ of finite type satisfying the following assumptions:
\begin{itemize}
\item[(i)] $A$ is the generic fiber of $\SA$ and the restriction of $\SA$ to $\Spec\SSO_{S,s}$ is a N\'eron model of $A/K$ for all $s \in S^1$.
\item[(ii)] $\SA$ admits an open subgroup scheme $\SA^0$ which equals to the identity component of $\SA$ when restricted to $ \Spec\SSO_{S,s}$ for all $s \in S^1$ and there exists a closed reduced subscheme $Y$ of $V$ such that $\SA$ is abelian over $V-Y$ and the quotient of $\SA_Y$ by $\SA^0_Y$ is a finite etale group scheme over $Y$.
\item[(iii)] All fibers of $\SA^0\longrightarrow V$ are geometrically connected.
\end{itemize}

\end{lem}
\begin{proof}
For the case  $\dim(S)=1$, we can take $V=S$ and take $\SA$ to be a N\'eron model of $A/K$ over $S$ and $\SA^0$ to be its identity component. In general, if $\dim(S)>1$, the N\'eron model of $A$ over $S$ might not exist. The idea is that extending $A$ to a N\'eron model over  $\Spec \SSO_{S,s}$ for all $s\in S^1$, then spreads out.  Since a N\'eron model of an abelian variety over a DVR is of finite type,  therefore a N\'eron model of $A$ over $\Spec \SSO_{S,s}$ can spread out to a smooth group scheme of finite type over an open neighborhood of $s\in S^1$. There exists a regular open dense subscheme $U$ of $S$ such that $A$ extends to an abelian scheme $\SA_U\longrightarrow U$. By \cite[Thm. 3.3]{Kel1}, $\SA_U \longrightarrow U$  is a Neron model of $A$ over $U$.  Since $S^1-U$ is finite, therefore we can glue Neron models of $A$ over $\Spec \SSO_{S,s}$ for all $s\in S^1-U $ with $\SA_U\longrightarrow U$ to get a smooth commutative group scheme $\SA$ of finite type over some open subset $V$ that contains $S^1$ satisfying the condition (i). For each $s \in S^1-U$, by removing the closure of the complement of the identity component of $\SA_s$, we get an open subscheme  $\SA^0$ of $\SA$, then shrink $V$, this subscheme becomes an open subgroup scheme. Since $\SA_s/\SA^0_s$ is finite etale over $k(s)$. Taking $Y=V-U$, by shrinking $V$, we will show that the quotient $\SA_Y/\SA_Y^0$ exists and is finite etale over $Y$. Let $s\in Y\cap S^1$. There is an exact sequence
 $$ 0\longrightarrow \SA_s^0\longrightarrow \SA_s\longrightarrow \SF_s \longrightarrow 0,$$
where $\SF_s$ is a finte etale group scheme over $k(s)$. By shrinking $Y$, $\SF_s$ extends to a finte etale group scheme $\SF$ over $Y$ and the map $\SA_s\longrightarrow \SF_s$ extends to a faithful flat morphism of finite type $\SA_Y\longrightarrow \SF$. By shrinking $Y$ further, the kernel of $\SA_Y\longrightarrow \SF$ can be indentified with $\SA^0_Y$. We get an exact sequence of fppf sheaves on $Y$
$$0\longrightarrow\SA_Y^{0}\longrightarrow \SA_Y\longrightarrow \SF \longrightarrow 0.$$
Therefore, $\SA^0\longrightarrow V$ satisfies condition (ii). Since $\SA^0_{s}$ is geometrically connected for all $s\in S^1$, by shrinking $Y$, we can assume that all fibers of $\SA^0_{Y}\longrightarrow Y$ are geometrically connected.
\end{proof}
In the lemma below, we will show that the $\SA^0$ constructed as above satisfies
$$V_\ell\SA^0\cong  j_*V_\ell(\SA|_U).$$
As a result, there is a canonical isomorphism
$$ H^1(V_{\bar{k}}, j_*V_\ell(\SA|_U))\cong H^1(V_{\bar{k}},V_\ell\SA^0).$$
\begin{lem}\label{zerocomp}
Notations as above, let $U\subseteq V$ be an open dense subset such that $\SA$ is an abelian scheme over $U$. Let $j:U\longrightarrow V$ be the inclusion.  Denote by $T_\ell\SA^0 $ (resp. $T_\ell\SA$) the inverse system of $\ell$-toriosn sheaves $(\SA^0[l^n])_{n\geq 0}$ ( resp. $(\SA[l^n])_{n\geq 0}$ ). By shrinking $V$, there is a canonical isomorphism between A-R $\ell$-adic sheaves (cf. \cite[Chap. 10]{Fu} )
$$ T_\ell\SA^0\cong j_*(T_\ell\SA|_{U}).$$
\end{lem}
\begin{proof}
By the lemma below, $T_\ell \SA^0$ is an A-R $\ell$-adic sheaf. There is an exact sequence
$$0\longrightarrow \SA^0[l^n]\longrightarrow \SA[l^n] \longrightarrow \SF[l^n] \longrightarrow 0.$$
Since $\SF$ is finite etale, $T_\ell\SF$ is A-R zero. Therefore $T_\ell\SA^0$ is A-R isomorphic to $T_\ell\SA$. Since $T_\ell\SA|_{U}$ is a $\ell$-adic sheaf,  $j_*(T_\ell\SA|_{U})$ is also A-R $\ell$-adic. Since $\SA$ is a N\'eron model of $A$ when restricted to $ \Spec\SSO_{S,s}$ for all $s \in S^1$, we have $\SA\cong j_*(\SA|_{U})$ over $ \Spec\SSO_{S,s}$. It follows
$$\SA[\ell^n]_{\bar{s}}\cong (j_*(\SA[\ell^n]|_{U}))_{\bar{s}}.$$
It follows that the kernel and cokernel of
$$T_\ell\SA\longrightarrow j_*(T_\ell\SA|_{U})$$
are supported on a closed subset of codimension $\geq 2$. Removing this closed subset from $V$, we have
$$ T_\ell\SA^0\cong j_*(T_\ell\SA|_{U}).$$

\end{proof}
\begin{lem}
Let $S$ be a noetherian scheme and $G$ be a smooth commutative group scheme over $S$ of finite type. Let $\ell$ be a prime invertible on $S$. Then the inverse system of $\ell$-torsion sheaves $T_\ell G=(G[\ell^n])_{n\geq 1}$ is A-R $\ell$-adic. If all fibers of $G/S$ are geometrically connected, then
$$G\stackrel{\ell^n}{\longrightarrow}G$$
is surjective as a morphism between etale sheaves on $S$.
\end{lem}
\begin{proof}
Firstly, note that $G[\ell^n]$ is etale and of finite type over $S$. Thus the etale sheaf represented by $G[\ell^n]$ is constructible.

Secondly, let $f:S_1\longrightarrow S$ be a surjective between notherian schemes. If the statement holds for $G_{S_1}/S_1$, then it holds for $G/S$. Set $\SF_n=G[\ell^n]$ and $\SF=(\SF_n)$. Since $f^*$ is an exact functor, one can show that if $f^*\SF$ satisfies the criterion of \cite[Prop. 10.1.1]{Fu}, so does $\SF$.

Thirdly, we might assume that $S$ is integral. By noetherian induction, it suffices to prove the statment for an open sense subscheme of $S$. Let $K$ denote the function field of $S$. $G_{\bar{K}}$ is smooth and of finite type over $\bar{K}$. Let $G^0_{\bar{K}}$ be the identity component of $G_{\bar{K}}$, then there is an exact sequence
$$0\longrightarrow G^0_{\bar{K}} \longrightarrow G_{\bar{K}} \longrightarrow \pi_0(G)\longrightarrow 0,$$
where $\pi_0(G)$ is a finite etale group scheme. By Chevalley's theorem, $G^0_{\bar{K}}$ is an extension of an abelian variety $A$ by $\GG_m^r\times \GG_a^s$ i.e.
$$0\longrightarrow \GG_m^r\times \GG_a^s\longrightarrow G^0_{\bar{K}}\longrightarrow A\longrightarrow 0.$$
The above exact sequences can descend to a finite extension $L$ of $K$. Choose a model $S_1$ for $L$. By shrinking $S_1$ and $S$, we can assume that there exists a flat surjective morphism $S_1\longrightarrow S$ of finite type whose function field extension corresponds to $L/K$ and exact sequences
$$0\longrightarrow G^0_{S_1} \longrightarrow G_{S_1} \longrightarrow \pi_0(G)\longrightarrow 0$$
and
$$0\longrightarrow \GG_m^r\times \GG_a^s \longrightarrow G^0_{S_1}\longrightarrow \SA_{S_1}\longrightarrow 0,$$
where $\pi_0(G)$ is finite etale over $S_1$ and $\SA_{S_1}$ is an abelian scheme. We get exact sequences of systems of $\ell$-torsion sheaves
$$0\longrightarrow T_\ell G^0_{S_1} \longrightarrow T_\ell G_{S_1} \longrightarrow T_\ell\pi_0(G)\longrightarrow 0$$
and
$$0\longrightarrow T_\ell(\GG_m^r\times \GG_a^s) \longrightarrow T_\ell G^0_{S_1}\longrightarrow T_\ell\SA_{S_1}\longrightarrow 0.$$
Since $T_\ell(\GG_m^r\times \GG_a^s)=T_\ell \GG_m^r$ and $T_\ell\SA_{S_1}$ are $\ell$-adic sheaves, by \cite[Prop. 10.1.7(iii)]{Fu}, $T_\ell G_{S_1}$ is A-R $\ell$-adic. It follows that $T_\ell G$ is A-R $\ell$-adic on $S$. This proves the first claim.

For the second claim, we might assume $S=\Spec R$ where $R$ is a strict local ring with residue field $k$. It suffices to show that $G(S)$ is $\ell$-divisible. Let $\tau: S\longrightarrow G$ be a section. $\ell^{-1}(\tau)$ is etale over $S$. $\ell^{-1}(\tau)(k)$ is not empty since $G(k)$ is $\ell$ divisible. By Hensel's Lemma, it follows that $\ell^{-1}(\tau)(S)$ is not empty. Thus, $G(S)$ is $\ell$ divisible.
\end{proof}
\subsubsection{Yoneda pairing}
Following notations in \cite[\S 2]{Sch}, let $V_{\fppf}$ (resp. $(\ell^n)-V_\et $) denote the category of fppf-sheaves (resp. etale sheaves of $\ZZ/\ell^n\ZZ$-modules) on $V$.
\begin{lem}\label{commu}
Notations as before, assuming that $V$ is regular, then there is a commutative diagram
\begin{displaymath}
\xymatrix{
H^0(V,\SA^0) \ar[d]^{-\delta} &\times &{\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m)\ar[d]^{r_n}\ar[r]  & H^1(V,\GG_m) \ar[d] \\
H^1(V,\SA^0[\ell^n]) &\times  & {\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n}) \ar[r] & H^2(V,\mu_{\ell^n}) }
\end{displaymath}
where $\delta$ is induced by the exact sequence $0\longrightarrow \SA^0[\ell^n]\longrightarrow \SA^0
\stackrel{\ell^n}{\longrightarrow} \SA^0\longrightarrow 0$ and $r_n$ is defined by
 $$ (0\longrightarrow \GG_m\longrightarrow \SX\longrightarrow \SA^0\longrightarrow 0)\mapsto (0\longrightarrow\mu_{\ell^n}\longrightarrow \SX[\ell^n] \longrightarrow \SA^0[\ell^n]\longrightarrow 0).
 $$
The natural map
\begin{equation}\label{iso}
{\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^n],\GG_m) \longrightarrow  {\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n})
\end{equation}
defined by
$$ (0\longrightarrow \GG_m\longrightarrow \SX\longrightarrow \SA^0[\ell^n]\longrightarrow 0)\mapsto (0\longrightarrow\mu_{\ell^n}\longrightarrow \SX[\ell^n] \longrightarrow \SA^0[\ell^n]\longrightarrow 0)
 $$
is an isomorphism. And it induces a natural map
$$  {\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^{n+1}],\mu_{\ell^{n+1}})\longrightarrow   {\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n})
$$
compatible with pairings in the above diagram.  As a result, by taking limit, there is a commutative diagram

\begin{displaymath}
\xymatrix{
H^0(V,\SA^0) \ar[d]^{-\delta} &\times &{\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m)\ar[d]^{\varprojlim r_n}\ar[r]  & H^1(V,\GG_m) \ar[d] \\
H^1(V,T_\ell\SA^0) &\times  & \varprojlim_n {\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n}) \ar[r] & H^2(V,\ZZ_\ell(1)) }
\end{displaymath}

\end{lem}
\begin{proof}
The two pairings in the first diagram are defined as Yoneda product of extensions and the commutativity of the diagram can be checked explicitly.
We will construct a natural map
$${\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n}) \longrightarrow {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^n],\mu_{\ell^n})$$
which induces a map
$${\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n}) \longrightarrow {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^n],\GG_m). $$
And it is easy to check the induced map is the inverse of (\ref{iso}) by definition. Let $(0\longrightarrow\mu_{\ell^n}\longrightarrow \SY \longrightarrow \SA^0[\ell^n]\longrightarrow 0) \in {\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n})$. $\SY$ may be regarded as a $\mu_{\ell^n}$-torsor over $\SA^0[\ell^n]$ and so is representable by an etale scheme of finite type over $V$ (cf. \cite[Chap. III, Thm. 4.3]{Mil1}). Therefore the exact sequence can be regarded as an exact sequence of fppf sheaves on $V$ which gives an element in ${\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^n],\mu_{\ell^n})$. This defines a map
$${\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n}) \longrightarrow {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^n],\mu_{\ell^n}).$$
By composing with the natural map
$${\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^n],\mu_{\ell^n})\longrightarrow {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^n],\GG_m),$$
we get the desired map. Define
$${\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^{n+1}],\GG_m) \longrightarrow {\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n})$$
as
$$ (0\longrightarrow \GG_m\longrightarrow \SX\longrightarrow \SA^0[\ell^{n+1}]\longrightarrow 0)\mapsto (0\longrightarrow\mu_{\ell^n}\longrightarrow \SX[\ell^n] \longrightarrow \SA^0[\ell^n]\longrightarrow 0).
 $$
Then the composition
$${\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^{n+1}],\mu_{\ell^{n+1}}) \longrightarrow {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0[\ell^{n+1}],\GG_m) \longrightarrow {\mathrm{Ext}}^1_{(\ell^n)-V_{\et}}(\SA^0[\ell^n],\mu_{\ell^n}) $$
gives a map compatible with the first diagram.

\end{proof}

\subsubsection{Compatibility between the height pairing and Yoneda paring}
\begin{thm}\label{height}
Notations as before. Let $S$ be a projective normal geometrically connected variety over a finite field $k$. Fix a closed $k$-immersion $\iota:S\hookrightarrow \PP^m_{k}$. Let $V$ be a regular open subscheme of $S$ with codim$(S-V)\geq 2$ satisfying conditions in the lemma above. Define a degree map $\mathrm{Pic}(S)\rightarrow \ZZ$ by sending a prime Weil divisor to its degree as a subvariety in $\PP^m_{k}$. Composing it with the Yoneda pairing in the lemma above, we get a pairing
\begin{equation}\label{keypairing}
 H^0(V,\SA^0) \times {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m) \longrightarrow \ZZ.
 \end{equation}
There is a natural inclusion $H^0(V,\SA^0)\hookrightarrow A(K)$ and a natural map ${\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m) \rightarrow {\mathrm{Ext}}^1_{K}(A,\GG_m)=\tilde{A}(K)$, where $\tilde{A}$ is the dual abelian variety of $A$. Then, up to a normalizing constant, the above pairing is compatible
with the N\'eron-Tate height pairing defined in \cite[Cor. 9.17]{Con}
$$A(K)\times \tilde{A}(K) \longrightarrow \mathbb{R}.$$

\end{thm}
\begin{rem}
This is a generalization of results in \cite[$\S$ 3]{Kel2} and \cite[$\S$ 3]{Sch}. The proof is just an imitation of arguments in \cite[$\S$ 2]{Blo}, \cite[$\S$ 3]{Sch} and \cite[$\S$ 3]{Kel2}. As a consequence, the pairing (\ref{keypairing}) is left non-degenerate after tensoring $\mathbb{Q}$.
\end{rem}
\begin{proof}
Firstly, we define the adele ring associated to $S$ (cf.\cite[\S 3.1]{Kel2}. Define for $T\subset S^1$ finite the $T$-adele ring of $S$ as the restricted product

$$\boldsymbol{A}_{K,T}=\prod_{s\in T}K_s\times \prod_{s\in S^1\backslash T}\widehat{\SSO}_{S,s},$$
where $\widehat{\SSO}_{S,s}$ is the completion of the local ring $\SSO_{S,s}$ and $K_s$ is the quotient field of $\widehat{\SSO}_{S,s}$, and the adele ring of $S$ as

$$\boldsymbol{A}_K=\varinjlim_{T\subset S^1}\boldsymbol{A}_{K,T}.$$
For each $s\in S^1$, we define $\deg(s)$ as the degree of the close subvariety $\overline{\{s\}}$ in $\PP_k^m$. This gives an absolute value on $K_s$ i.e. $|\cdot|_s=q^{-\deg(s).v_s(\cdot)}$, where $q$ denotes the cardinality of $k$. Since a principle Weil divisor has degree zero, thus the absolute value $|\cdot|_s$ satisfies product formula. We call the field  $K$ equipped with the set of absolute values $|\cdot|_s$ a generalized global field(cf.\cite[Def. 8.1]{Con}).

Secondly, we describe the first pairing explicitly. Let $\tilde{a}=(0\longrightarrow \GG_m\longrightarrow \SX \longrightarrow \SA^0\longrightarrow 0) \in {\mathrm{Ext}}^1(\SA^0,\GG_m)$. One can think $\SX$ as a $\GG_m$-torsor on $\SA^0$ and so it is representable by a smooth commutative $S$-group scheme of finite type (cf. \cite[Chap III, Thm. 4.3]{Mil1}). By Hilbert's theorem $90$, there are exact sequences
$$0\longrightarrow \GG_m(K) \longrightarrow \SX(K) \longrightarrow A(K)\longrightarrow 0$$
and
$$0\longrightarrow \GG_m(\boldsymbol{A}_K) \longrightarrow \SX(\boldsymbol{A}_K) \longrightarrow \SA^0(\boldsymbol{A}_K)\longrightarrow 0.$$
There is a natural homomorphism, the \emph{logrithmic modulus map},
$$l:\GG_m(\boldsymbol{A}_K)\longrightarrow \log q\cdot\ZZ \subseteq \mathbb{R}, (a_s)\mapsto
\sum_{s\in S^1}\log |a_s|_s=-\log q\cdot \sum_{s \in S^1}\deg(s)\cdot v_s(a_s).$$
By the product formula, $l(\GG_m(K))=0$. Define $G_m^1$ as the kernel of $l$, and $\SX^1$ as
$$ \SX^1=\{ a \in \SX(\boldsymbol{A}_K): \exists n \in \ZZ_{\geq 1}, na\in\widetilde{\SX^1}(\boldsymbol{A}_K)\},$$
the rational saturation of $\widetilde{\SX^1}$ with
$$ \widetilde{\SX^1}=G_m^1\cdot\prod_{s\in S^1}\SX(\widehat{\SSO}_{S,s})\subseteq \SX(\boldsymbol{A}_K).
$$
Then there exists a unique extension $l_{\tilde{a}}:\SX(\boldsymbol{A}_K)\rightarrow \mathbb{R}$ of $l$ vanishing on $\SX^1$ (cf.\cite[Lem. 3.1.4]{Kel2} or \cite[Lem. 1.8]{Blo}). It induces by restriction to $\SX(K)$ a homomorphism
$$ l_{\tilde{a}}: A(K)\longrightarrow \mathbb{R}.$$
Next, we will show that for any $a\in\SA^0(S)\subseteq A(K)$, we have
 $$l_{\tilde{a}}(a)=-\log q\cdot\deg(a\vee \tilde{a}),$$
 where $\vee$ denotes the Yoneda pairing $H^0(V,\SA^0) \times {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m) \rightarrow H^1(V,\GG_m)$. By definition, $a\vee \tilde{a}$ is defined by the following commutative diagram
\begin{displaymath}
\xymatrix{
a\vee \tilde{a}: &	0 \ar[r] & \GG_m \ar[r] \ar[d]^{id} & \SY \ar[d]\ar[r] & \ZZ \ar[r]\ar[d]^{a} & 0\\
\tilde{a}: &0 \ar[r] & \GG_m \ar[r] & \SX\ar[r] & \SA^0 \ar[r] & 0}
\end{displaymath}
By composition, one gets an extension
$$
l_{a\vee \tilde{a}}:\SY(\boldsymbol{A}_K)\longrightarrow \SX(\boldsymbol{A}_K)\stackrel{l_{\tilde{a}}} \longrightarrow \mathbb{R}
$$
of $l:\GG_m(\boldsymbol{A}_K)\rightarrow \mathbb{R}$ to $\SY(\boldsymbol{A}_K)$, which induces because of $l(\GG_m(K))=0$ in the exact sequence $a\vee \tilde{a}$ by restriction to $\SY(K)$ a homomorphism
$$ l_{a\vee \tilde{a}}:\ZZ\stackrel{a} \longrightarrow A(K)\stackrel{l_{\tilde{a}}}\longrightarrow\mathbb{R} ,$$
so one obviously has $l_{\tilde{a}}(a)=l_{a\vee\tilde{a}}(1)$. Since
$$l_{\tilde{a}}(\prod_{s\in S^1}\SX(\widehat{\SSO}_{S,s}))=0,$$
hence
$$\ell_{a\vee \tilde{a}}(\prod_{s\in S^1}\SY(\widehat{\SSO}_{S,s}))=0.$$
Set $e=a\vee \tilde{a}$, $e$ is represented by an exact sequence of fppf sheaves on $V$
$$0 \longrightarrow  \GG_m \longrightarrow \SY \longrightarrow \ZZ \longrightarrow 0,$$
and $l_e$ is an extension of $l$ and vanishes on $\prod_{s\in S^1}\SY(\widehat{\SSO}_{S,s})$. By \cite[Lem 3.3.2]{Kel2}( replacing $X$ by $V$ in his argument) or \cite[Lem. 12]{Sch},
$$l_{\tilde{a}}(a)=l_e(1)=-\log q\cdot \deg(e).$$

Thirdly, we will show that the pairing $h(a,\tilde{a}):=l_{\tilde{a}}(a)$ can be written as a sum of the local N\'eron pairings which therefore coincides with the canonical N\'eron-Tate height pairing by \cite[p.307, Cor. 9.5.14]{BG}. The proof for our case is exactly same as the argument in \cite[\S 2]{Blo} and \cite[\S 3.4]{Kel2}.  Given an extension $(0\longrightarrow \GG_m\longrightarrow \SX\longrightarrow \SA^0\longrightarrow 0) \in {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m)$, its restriction to $\Spec \SSO_{S,s}$ for $s \in S^1$ is still an extension. Since $\SSO_{S,s}$ is a Dedekind domain, by\cite[p.53, Lem. 5.1]{MW}, the push-forward of the sheaf
$$\SE xt^1_{(\Spec \SSO_{S,s})_{\fppf}}(\SA^0,\GG_m)$$
to the smooth site of $\Spec \SSO_{S,s}$ is represented by the N\'eron model of $\tilde{A}:=\mathrm{Pic}^0_{A/K}$ over $\Spec \SSO_{S,s}$. By \cite[Lem. 9]{Sch}, $\mathscr{H} om_{(\Spec \widehat{\SSO}_{S,s})_{\fppf}}(\SA^0,\GG_m)=0$, it follows that
$$
\tilde{A}(K_s)=H^0(\widehat{\SSO}_{S,s},\SE xt^1_{(\Spec \widehat{\SSO}_{S,s})_{\fppf}}(\SA^0,\GG_m))={\mathrm{Ext}}^1_{(\Spec \widehat{\SSO}_{S,s})_{\fppf}}(\SA^0,\GG_m).
$$
Therefore, the restriction of $(0\longrightarrow \GG_m\longrightarrow \SX\longrightarrow \SA^0\longrightarrow 0)$ to $\Spec \widehat{\SSO}_{S,s}$ gives an element in $\tilde{A}(K_s)$. Then one can define the local N\'eron pairings as \cite[(2.6)]{Blo} for each $s\in S^1$. By \cite[Thm. 2.7]{Blo} or \cite[Thm. 3.4.2]{Kel2}, $h(\cdot ,\cdot)$ is equal to the sum of the local N\'eron pairings. This completes the proof of the theorem.
\end{proof}

\begin{cor}\label{split}
Notations as before. Set $d=\dim(V)$ and let $K^\prime$ denote $K\bar{k}$. Then, one can shrink $V$ (with Codim $(S-V) \geq 2$ ) such that
$$ H^0(V_{\bar{k}},\SA^0)\otimes_\ZZ \mathbb{Q}_\ell=A(K^\prime)\otimes_\ZZ\mathbb{Q}_\ell$$
and the injective map of $G_k$-representations
$$H^0(V_{\bar{k}},\SA^0)\otimes_{\ZZ} \mathbb{Q}_\ell \longrightarrow H^1(V_{\bar{k}},V_\ell\SA^0)$$
is split .
\end{cor}
\begin{proof}
By the Lang-N\'eron theorem \cite[Thm.7.1]{Con}, the quotient group $A(K^\prime)/{\mathrm{Tr}}_{K/k}(A)(\bar{k})$ is finitely generated where ${\mathrm{Tr}}_{K/k}(A)$ is a $K/k$-trace of $A/K$. Since ${\mathrm{Tr}}_{K/k}(A)(\bar{k})$ is a $\ell$-divisible torsion group, we have that
$$A(K^\prime)\hat{\otimes}\mathbb{Q}_\ell=A(K^\prime)\otimes_\ZZ \mathbb{Q}_\ell$$
has a finite dimension over $\mathbb{Q}_\ell$. Thus, there exists a finite extension $l/k$ such that $A(Kl)\otimes_\ZZ \mathbb{Q}_\ell=A(K^\prime)\otimes_\ZZ\mathbb{Q}_\ell$. Replacing $k$ by $l$, we might assume $A(K)\otimes \mathbb{Q}_\ell=A(K^\prime)\otimes \mathbb{Q}_\ell$. Since $A(K)$ is finitely generated, by shrinking $V$, we can assume $\SA(V)=A(K)$. Shrinking $V$ further, since $\SA(V)/\SA^0(V)$is finite, hence $\SA^0(V)\otimes_\ZZ\mathbb{Q}_\ell=A(K)\otimes_\ZZ\mathbb{Q}_\ell$. Assume  that $\tilde{A}(K)$ is generated by  finitely many elements $\tilde{a}_i$. Since
$$\tilde{A}(K_s)={\mathrm{Ext}}^1_{(\Spec \SSO_{S,s})_{\fppf}}(\SA^0,\GG_m)
$$
for any $s\in S^1$, so for a given $\tilde{a}\in \tilde{A}(K)$, it corresponds to an extension $\tilde{a}_s :(0\longrightarrow \GG_m\longrightarrow \SX\longrightarrow \SA^0\longrightarrow 0)$ over $\Spec \SSO_{S,s}$ whose restriction to $\Spec K$ is independent of $s$.  One can think $\SX$ as a $\GG_m$-torsor on $\SA^0$ and so it is representable by a smooth commutative group scheme of finite type over $\Spec \SSO_{S,s}$ (cf. \cite[Chap III, Thm. 4.3]{Mil1}). Therefore, by shrinking $V$, one can glue $\tilde{a}_s$ to get an extension $(0\longrightarrow \GG_m\longrightarrow \SX\longrightarrow \SA^0\longrightarrow 0)$ over $V$. Thus, by shrinking $V$, we can assume that the natural map
$${\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m)\longrightarrow {\mathrm{Ext}}^1_{K}( A,\GG_m)=\tilde{A}(K)$$
is surjective. There is a commutative diagram
\[
\begin{tikzcd}
H^0(V,\SA^0) \arrow[d,"-\delta"] \arrow[r,"\times", phantom] & {\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m)\ar[d, "\varprojlim r_n"]\ar[r]  & H^1(V,\GG_m) \ar[d] \ar[r, "\deg(\cdot)"] & \ZZ \ar[d]  \\
H^1(V_{\bar{k}},V_\ell\SA^0) \arrow[r,"\times", phantom]  & \varprojlim_n {\mathrm{Ext}}^1_{(\ell^n)-V_{et}}(\SA^0[\ell^n],\mu_{\ell^n})\otimes_{\ZZ_\ell}\mathbb{Q}_\ell \ar[r] & H^2(V_{\bar{k}},\mathbb{Q}_\ell(1))\ar[r,"{\mathrm{tr}}(\cdot\cap \eta^{d-1})"] & \mathbb{Q}_\ell
\end{tikzcd}
\]
where $\eta$ denotes the cycle class of $\SSO_{S}(1)$ and ${\mathrm{tr}}$ denotes the trace map  $H^{2d}(S_{\bar{k}},\mathbb{Q}_\ell(d))\cong \mathbb{Q}_\ell$. The commutativity of the second square follows from the definition of degree. By Lemma \ref{commu}, the first square commutes. By Theorem \ref{height}, the top pairing is compatible with the N\'eron-Tate pairing which is non-degenerate after tensoring $\mathbb{Q}$ (cf. \cite[Cor. 9.17]{Con}). Assuming the surjectivity of ${\mathrm{Ext}}^1_{V_{\fppf}}(\SA^0,\GG_m)\longrightarrow {\mathrm{Ext}}^1_{K}( A,\GG_m)=\tilde{A}(K)$, then the top pairing is left non-degenerate after tensoring $\mathbb{Q}_\ell$. By Lemma \ref{splitrep}, the injective map of $G_k$-representations
$$H^0(V_{\bar{k}},\SA^0)\otimes_\ZZ \mathbb{Q}_\ell \stackrel{\delta}\longrightarrow H^1(V_{\bar{k}},V_\ell\SA^0)$$
is split.

\end{proof}

\section{Applications}
\subsection{Proof of Corollary \ref{cor1} }

Let $\pi:{\mathcal {X}}\longrightarrow {\mathcal {Y}}$ be a dominant morphism between smooth geometrically connected varieties over a finite field $k$. Let $K$ be the function field of ${\mathcal {Y}}$. Assuming that the generic fiber $X$ of $\pi$ is smooth projective geometrically irreducible over $K$, then Conjecture \ref{BS3} for  ${\mathcal {X}}$  is equivalent to
$$\emph{Conjecture} \ \ref{BS3}  \ \emph{for}\ {\mathcal {Y}} \ + \emph{BSD} \ \emph{for} \ \mathrm{Pic}^0_{X/K} + \ \emph{Conjecture} \ \ref{conj2} \ \emph{for}\  X  \ \emph{for}\ i=1.
$$
\begin{proof}
By Theorem \ref{mlem}, Conjecture \ref{BS3} for ${\mathcal {X}}$ is equivalent to the vanishing of $V_\ell{\mathrm{Br}}({\mathcal {X}}_{k^s})^{G_k}$ which is equivalent to the vanishing of $V_\ell{\mathrm{Br}}({\mathcal {Y}}_{k^s})^{G_k}$,  $V_\ell{\hbox{\cyr Sh}_{K}(\mathrm{Pic}^0_{X/K})$ and $V_\ell{\mathrm{Br}}(X_{K^s})^{G_K}$ by Theorem \ref{big}. By Corollary \ref{cor0}, Theorem \ref{bsdconj} and Theorem \ref{mlem}, this is equivalent to
$$\emph{Conjecture} \ \ref{BS3}  \ \emph{for}\ {\mathcal {Y}} \ + \emph{BSD} \ \emph{for} \ \mathrm{Pic}^0_{X/K} + \ \emph{Conjecture} \ \ref{conj2} \ \emph{for}\  X  \ \emph{for}\ i=1
$$
\end{proof}
\subsection{Proof of Corollary \ref{cor2}}
\begin{proof}
Assume that $T^1(X,\ell)$ holds for all smooth projective varieties $X$ over finite fields of characteristic $p$. Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic $p$. We can spread out $X/K$ to get a smooth projective morphism $\pi:{\mathcal {X}}\longrightarrow {\mathcal {Y}}$ as in Theorem \ref{big}. By Theorem \ref{mlem}, Conjecture \ref{BS3} holds for ${\mathcal {X}}$. By Corollary \ref{cor1}, we have
Conjecture \ref{conj1} for $i=1$ holds for $X$ , Conjecture \ref{bsd} holds for $\mathrm{Pic}^0_{X/K}$, Conjecture \ref{conj2} for $i=1$ holds for $X$ by Theorem \ref{firstthm}.

\end{proof}
\subsection{The Picard number of Abelian varieties and $K3$ surfaces}
\begin{prop}
Let $X$ be an abelian variety (resp. a $K3$ surface ) over a finitely generated field $K$ of characteristic $p>0$ (resp. $p>2)$. Let $m$ be the transcendence degree of $K$ over its prime field. Then
$${\mathrm{rank}}\,{\mathrm{NS}}(X)=-{\mathrm{ord}}_{s=m+1}\Phi_{2}(s).$$
\end{prop}
\begin{proof}
 $T^1(X,\ell)$ holds for abelian varieties over finitely generated fields of positive characteristic (cf.\cite{Zar}) and for $K3$ surfaces over finitely generated fields of characteristic $p>2$(cf. \cite{Cha} or \cite{MP}). So the claim follows from Corollary \ref{cor0}.
\end{proof}