2 Main results

To state the main results, we give several notations.

• ∙ $k$ : a number field;

• ∙ $\overline{k}$ : an algebraic closure of $k$ ;

• ∙ ${\mathcal{O}}_{k}$ : the integer ring of $k$ ;

• ∙ $\mathbb{A}_{k}$ : the adèle ring of $k$ ;

• ∙ $Cl_{k}$ : the ideal class group of $k$ ;

• ∙ $h_{k}^{\prime }$ : the largest order of the elements in $Cl_{k}$ ;

• ∙ $\unicode[STIX]{x1D6FA}_{k}$ : the set of places of $k$ ;

• ∙ $k_{v}$ : the completion of $k$ at $v\in \unicode[STIX]{x1D6FA}_{k}$ ;

• ∙ $\operatorname{Br}(k_{v})$ : the Brauer group of $k_{v}$ ;

• ∙ $\operatorname{Br}(M^{B})=H_{\acute{\text{e}}\text{t}}^{2}(M^{B},\mathbb{G}_{m})$ : the Brauer group of $M^{B}$ ;

• ∙ ${\mathcal{K}}_{1}(k,B)$ : the set of quadratic extensions $K$ of $k$ (contained in $\overline{k}$ ) such that $B\otimes _{\mathbb{Q}}K\cong \text{M}_{2}(K)$ ;

• ∙ ${\mathcal{K}}_{2}(k,B)$ : the set of quadratic extensions $K$ of $k$ (contained in $\overline{k}$ ) such that for any prime divisor $p$ of $d(B)$ , any prime $\mathfrak{p}$ of $k$ above $p$ is ramified in $K/k$ .

Note that ${\mathcal{K}}_{2}(k,B)$ is contained in ${\mathcal{K}}_{1}(k,B)$ (cf. Proof of Lemma 2.2). For positive integers $N$ and $e$ , let

• ∙ ${\mathcal{C}}(N,e):=\{\unicode[STIX]{x1D6FD}^{e}+\overline{\unicode[STIX]{x1D6FD}}^{e}\in \mathbb{Z}\mid \unicode[STIX]{x1D6FD},\overline{\unicode[STIX]{x1D6FD}}\in \mathbb{C}\text{ are the roots of }T^{2}+sT+N=0\text{ for some }s\in \mathbb{Z},s^{2}\leqslant 4N\}$ ;

• ∙ ${\mathcal{D}}(N,e):=\{a,a\pm N^{e/2},a\pm 2N^{e/2},a^{2}-3N^{e}\in \mathbb{R}\mid a\in {\mathcal{C}}(N,e)\}$ .

If $e$ is even, then ${\mathcal{D}}(N,e)\subseteq \mathbb{Z}$ . For a subset ${\mathcal{D}}\subseteq \mathbb{Z}$ , let

• ∙ ${\mathcal{P}}({\mathcal{D}})$ : the set of prime divisors of some of the nonzero integers in ${\mathcal{D}}$ .

For a later use, we give:

For a prime number $q$ and a prime $\mathfrak{q}$ of $k$ above $q$ , let

• ∙ $k_{\mathfrak{q}}$ : the completion of $k$ at $\mathfrak{q}$ ;

• ∙ $\unicode[STIX]{x1D705}(\mathfrak{q})$ : the residue field of $\mathfrak{q}$ ;

• ∙ $\text{N}_{\mathfrak{q}}$ : the cardinality of $\unicode[STIX]{x1D705}(\mathfrak{q})$ ;

• ∙ $e_{\mathfrak{q}}$ : the ramification index of $\mathfrak{q}$ in $k/\mathbb{Q}$ ;

• ∙ $f_{\mathfrak{q}}$ : the degree of the extension $\unicode[STIX]{x1D705}(\mathfrak{q})/\mathbb{F}_{q}$ ;

• ∙ ${\mathcal{B}}(q)$ : the set of the isomorphism classes of indefinite quaternion division algebras $B$ over $\mathbb{Q}$ such that

  $$\begin{eqnarray}\left\{\begin{array}{@{}ll@{}}\displaystyle B\otimes _{\mathbb{Q}}\mathbb{Q}(\sqrt{-q})\not \cong \text{M}_{2}(\mathbb{Q}(\sqrt{-q}))\quad & \displaystyle \text{if }q\neq 2,\\ \displaystyle B\otimes _{\mathbb{Q}}\mathbb{Q}(\sqrt{-1})\not \cong \text{M}_{2}(\mathbb{Q}(\sqrt{-1}))\text{ and }\quad & \\ \displaystyle B\otimes _{\mathbb{Q}}\mathbb{Q}(\sqrt{-2})\not \cong \text{M}_{2}(\mathbb{Q}(\sqrt{-2}))\quad & \displaystyle \text{if }q=2;\end{array}\right.\end{eqnarray}$$

• ∙ ${\mathcal{S}}(k,\mathfrak{q})$ : the set of the isomorphism classes of indefinite quaternion division algebras $B$ over $\mathbb{Q}$ such that every prime divisor of $d(B)$ belongs to

  $$\begin{eqnarray}\left\{\begin{array}{@{}ll@{}}\displaystyle {\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},e_{\mathfrak{q}}))\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\cong \text{M}_{2}(k)\text{ and }e_{\mathfrak{q}}\text{ is even},\\ \displaystyle {\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},2e_{\mathfrak{q}}))\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k);\end{array}\right.\end{eqnarray}$$

• ∙ ${\mathcal{K}}(k,\mathfrak{q})$ : the set of quadratic extensions $K$ of $k$ (contained in $\overline{k}$ ) such that $\mathfrak{q}$ is ramified in $K/k$ .

Note that ${\mathcal{S}}(k,\mathfrak{q})$ is a finite set, while ${\mathcal{K}}_{2}(k,B)\cap {\mathcal{K}}(k,\mathfrak{q})$ is an infinite set (cf.  [Reference Arai and Momose3, Remark 4.4]). We have the following criterion of $B\in {\mathcal{B}}(q)$ .

Note that ${\mathcal{B}}(q)$ is an infinite set for any $q$ . Since $M^{B}$ is proper over $\mathbb{Q}$ , we have $M^{B}(\mathbb{A}_{k})=\prod _{v\in \unicode[STIX]{x1D6FA}_{k}}M^{B}(k_{v})$ . Define a pairing

$$\begin{eqnarray}(~,~):\operatorname{Br}(M^{B})\times M^{B}(\mathbb{A}_{k})\longrightarrow \mathbb{Q}/\mathbb{Z}\end{eqnarray}$$

by $(c,\{x_{v}\}_{v\in \unicode[STIX]{x1D6FA}_{k}})=\sum _{v\in \unicode[STIX]{x1D6FA}_{k}}\operatorname{inv}_{v}(x_{v}^{\ast }c)$ . Here, $\operatorname{inv}_{v}:\operatorname{Br}(k_{v})\longrightarrow \mathbb{Q}/\mathbb{Z}$ is the local invariant at $v$ , and $x_{v}^{\ast }:\operatorname{Br}(M^{B})\longrightarrow \operatorname{Br}(k_{v})$ is the map associated to $x_{v}:\operatorname{Spec}(k_{v})\longrightarrow M^{B}$ . In this sum, we have $\operatorname{inv}_{v}(x_{v}^{\ast }c)=0$ for all but finitely many $v\in \unicode[STIX]{x1D6FA}_{k}$ . Let $M^{B}(\mathbb{A}_{k})^{\operatorname{Br}}$ be the right kernel of this pairing. Then $M^{B}(k)\subseteq M^{B}(\mathbb{A}_{k})^{\operatorname{Br}}\subseteq M^{B}(\mathbb{A}_{k})$ (see [Reference Skorobogatov10, Section 5.2]). The main results of this article are:

From these theorems, we obtain the following counterexamples to the Hasse principle for Shimura curves, which are accounted for by the Manin obstruction. Especially, we obtain an infinite family of such counterexamples.

In Sections 3–4, we review the classification of characters associated to QM-abelian surfaces, which plays a key role in the proof. In Section 5 (resp. Section 6), we prove Theorem 2.4 (resp. Theorem 2.3). In Section 7, we deduce Proposition 2.6(1)(3) (resp. Proposition 2.6(2)(4)) from Theorem 2.3 (resp. Theorem 2.4). Note that we cannot apply Theorem 2.3 to $k=\mathbb{Q}(\sqrt{3},\sqrt{-13})$ , $\mathbb{Q}(\sqrt{17},\sqrt{-13})$ or $\mathbb{Q}(\sqrt{-39},\sqrt{-183})$ , because no prime number $q$ is totally ramified in these fields.

3 Canonical isogeny characters

We review canonical isogeny characters associated to QM-abelian surfaces, which were introduced in [Reference Jordan7, Section 4]. Let $K$ be a field of characteristic $0$ possessing an algebraic closure $\overline{K}$ , $(A,i)$ a QM-abelian surface by ${\mathcal{O}}$ over $K$ , and $p$ a prime divisor of $d(B)$ . The $p$ -torsion subgroup $A[p](\overline{K})$ of $A$ has exactly one nonzero proper left ${\mathcal{O}}$ -submodule, which we shall denote by $C_{p}$ . Then $C_{p}$ has order $p^{2}$ , and is called the canonical torsion subgroup of $(A,i)$ of reduced order $p$ ; it is stable under the action of the Galois group $\text{G}_{K}=\operatorname{Gal}(\overline{K}/K)$ . Let $\mathfrak{P}_{{\mathcal{O}}}\subseteq {\mathcal{O}}$ be the unique left ideal of reduced norm $p\mathbb{Z}$ . In fact, $\mathfrak{P}_{{\mathcal{O}}}$ is a two-sided ideal of ${\mathcal{O}}$ . Then $C_{p}$ is free of rank $1$ over ${\mathcal{O}}/\mathfrak{P}_{{\mathcal{O}}}$ . Fix an isomorphism ${\mathcal{O}}/\mathfrak{P}_{{\mathcal{O}}}\cong \mathbb{F}_{p^{2}}$ . The action of $\text{G}_{K}$ on $C_{p}$ yields a character

$$\begin{eqnarray}\unicode[STIX]{x1D71A}_{p}=\unicode[STIX]{x1D71A}_{(A,i,p)}:\text{G}_{K}\longrightarrow \operatorname{Aut}_{{\mathcal{O}}}(C_{p})\cong \mathbb{F}_{p^{2}}^{\times },\end{eqnarray}$$

where $\operatorname{Aut}_{{\mathcal{O}}}(C_{p})$ is the group of ${\mathcal{O}}$ -linear automorphisms of $C_{p}$ . The character $\unicode[STIX]{x1D71A}_{p}$ depends on the choice of the isomorphism ${\mathcal{O}}/\mathfrak{P}_{{\mathcal{O}}}\cong \mathbb{F}_{p^{2}}$ , but the pair $\{\unicode[STIX]{x1D71A}_{p},(\unicode[STIX]{x1D71A}_{p})^{p}\}$ does not depend on this choice. Either of the characters $\unicode[STIX]{x1D71A}_{p},(\unicode[STIX]{x1D71A}_{p})^{p}$ is called a canonical isogeny character at $p$ .

Let $\widehat{\mathbb{Z}}$ be the profinite completion of $\mathbb{Z}$ , and let

$$\begin{eqnarray}D_{p}:=\{a\in {\mathcal{O}}\otimes _{\mathbb{Z}}\widehat{\mathbb{Z}}\mid a\equiv 1\hspace{0.2em}{\rm mod}\hspace{0.2em}\mathfrak{P}_{{\mathcal{O}}}\}.\end{eqnarray}$$

Let $M_{p}^{B}$ be the Shimura curve over $\mathbb{Q}$ associated to $D_{p}$ . Then it parameterizes the isomorphism classes of triples $(A,i,c)$ , where $(A,i)$ is a QM-abelian surface by ${\mathcal{O}}$ and $c$ is a generator of its canonical torsion subgroup $C_{p}$ as an ${\mathcal{O}}$ -module. Note that the curve $M_{p}^{B}$ over $\mathbb{Q}$ is not geometrically connected if $p\neq 2$ (see [Reference Skorobogatov11, p. 780] for details). The map $(A,i,c)\longmapsto (A,i)$ defines a covering $M_{p}^{B}\longrightarrow M^{B}$ (over $\mathbb{Q}$ ) whose automorphism group $\operatorname{Aut}(M_{p}^{B}/M^{B})$ is isomorphic to

$$\begin{eqnarray}\mathbb{F}_{p^{2}}^{\times }/\{\pm 1\}\cong \left\{\begin{array}{@{}ll@{}}\displaystyle \mathbb{Z}/\frac{p^{2}-1}{2}\mathbb{Z}\quad & \displaystyle \text{if }p\neq 2,\\ \displaystyle \mathbb{Z}/3\mathbb{Z}\quad & \displaystyle \text{if }p=2.\end{array}\right.\end{eqnarray}$$

If $p\geqslant 5$ , then $\mathbb{F}_{p^{2}}^{\times }/\{\pm 1\}$ has a unique subgroup $C(6)$ which is isomorphic to $\mathbb{Z}/6\mathbb{Z}$ . The quotient of $M_{p}^{B}$ by $C(6)$ defines an unramified subcovering

$$\begin{eqnarray}f_{p}^{B}:Y_{p}^{B}\longrightarrow M^{B},\end{eqnarray}$$

which is an $M^{B}$ -torsor under the constant group scheme $(\mathbb{F}_{p^{2}}^{\times })^{12}\cong \mathbb{Z}/\frac{p^{2}-1}{12}\mathbb{Z}$ (see [Reference Skorobogatov11, Corollary 1.2]). Let $x\in M^{B}(K)$ . Then the action of $\text{G}_{K}$ on the fiber of $f_{p}^{B}$ at $x$ yields a character

$$\begin{eqnarray}\unicode[STIX]{x1D719}_{x}:\text{G}_{K}\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}.\end{eqnarray}$$

4 Classification of characters

We review the classification of characters associated to QM-abelian surfaces over local fields of characteristic $0$ . Let $m$ be a prime number, $M$ a finite extension of $\mathbb{Q}_{m}$ , and $\mathfrak{M}$ (resp.  $\unicode[STIX]{x1D705}(M)$ ) the maximal ideal (resp. the residue field) of $M$ . For a QM-abelian surface $(A,i)$ by ${\mathcal{O}}$ over $M$ , fix a canonical isogeny character $\unicode[STIX]{x1D71A}_{p}=\unicode[STIX]{x1D71A}_{(A,i,p)}:\text{G}_{M}\longrightarrow \mathbb{F}_{p^{2}}^{\times }$ , where $p$ is a prime divisor of $d(B)$ . Let $\text{G}_{M}^{\text{ab}}$ be the Galois group of the maximal abelian extension $M^{\text{ab}}/M$ . Then we have an induced character $\unicode[STIX]{x1D71A}_{p}^{\text{ab}}:\text{G}_{M}^{\text{ab}}\longrightarrow \mathbb{F}_{p^{2}}^{\times }$ . Let $\unicode[STIX]{x1D714}_{M}:{\mathcal{O}}_{M}^{\times }\longrightarrow \text{G}_{M}^{\text{ab}}$ be the Artin map, and let

$$\begin{eqnarray}r_{(A,i,p)}:=\unicode[STIX]{x1D71A}_{p}^{\text{ab}}\circ \unicode[STIX]{x1D714}_{M}:{\mathcal{O}}_{M}^{\times }\longrightarrow \mathbb{F}_{p^{2}}^{\times }.\end{eqnarray}$$

In this local setting, we have:

Let $e_{M}$ (resp.  $f_{M}$ ) be the ramification index of $M/\mathbb{Q}_{m}$ (resp. the degree of the residue field extension $\unicode[STIX]{x1D705}(M)/\mathbb{F}_{m}$ ). Let $\text{N}_{M}:=m^{f_{M}}$ , $t_{M}:=\text{gcd}(2,f_{M})\in \{1,2\}$ .

Proposition 4.2. [Reference Jordan7, Proposition 4.8]

Assume $m=p$ . Then there is a unique element $c\in \mathbb{Z}/(p^{t_{M}}-1)\mathbb{Z}$ satisfying

$$\begin{eqnarray}r_{(A,i,p)}(u)=\operatorname{Norm}_{\unicode[STIX]{x1D705}(M)/\mathbb{F}_{p^{t_{M}}}}(\widetilde{u})^{-c}\end{eqnarray}$$

for any $u\in {\mathcal{O}}_{M}^{\times }$ , where $\widetilde{u}\in \unicode[STIX]{x1D705}(M)^{\times }$ is the reduction of $u$ modulo $\mathfrak{M}$ . Furthermore, we have

$$\begin{eqnarray}\frac{2c}{t_{M}}\equiv e_{M}\hspace{0.2em}{\rm mod}\hspace{0.2em}(p-1).\end{eqnarray}$$

Let $l$ be a prime number, $T_{l}A$ the $l$ -adic Tate module of $A$ , and $\operatorname{Aut}_{{\mathcal{O}}}(T_{l}A)$ the group of $\mathbb{Z}_{l}$ -linear automorphisms of $T_{l}A$ commuting with the action of ${\mathcal{O}}$ . Let ${\mathcal{O}}_{l}:={\mathcal{O}}\otimes _{\mathbb{Z}}\mathbb{Z}_{l}$ , $B_{l}:=B\otimes _{\mathbb{Q}}\mathbb{Q}_{l}$ , and fix an isomorphism $\operatorname{Aut}_{{\mathcal{O}}}(T_{l}A)\cong {\mathcal{O}}_{l}^{\times }$ . Let

$$\begin{eqnarray}R_{l}:\text{G}_{M}\longrightarrow \operatorname{Aut}_{{\mathcal{O}}}(T_{l}A)\cong {\mathcal{O}}_{l}^{\times }\subseteq B_{l}^{\times }\end{eqnarray}$$

be the representation determined by the action of $\text{G}_{M}$ on $T_{l}A$ . Let $\operatorname{Trd}_{B_{l}/\mathbb{Q}_{l}}$ (resp.  $\operatorname{Nrd}_{B_{l}/\mathbb{Q}_{l}}$ ) be the reduced trace (resp. the reduced norm) on $B_{l}$ , and $\operatorname{Fr}\in \text{G}_{M}$ a Frobenius element. For each positive integer $e$ , let $a_{l}(\operatorname{Fr}^{e}):=\operatorname{Trd}_{B_{l}/\mathbb{Q}_{l}}(R_{l}(\operatorname{Fr}^{e}))$ . If $l\neq m$ , then $a_{l}(\operatorname{Fr}^{e})\in \mathbb{Z}$ and it does not depend on $l$ . We shall denote it by $a(\operatorname{Fr}^{e})$ . Then

$$\begin{eqnarray}\operatorname{Nrd}_{B_{l}/\mathbb{Q}_{l}}(T-R_{l}(\operatorname{Fr}^{e}))=T^{2}-a(\operatorname{Fr}^{e})T+(\text{N}_{M})^{e}\in \mathbb{Z}[T]\end{eqnarray}$$

if $l\neq m$ .

5 Proof of Theorem 2.4

Suppose that the assumptions of Theorem 2.4 hold. Since $p\not \in {\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},2h_{k}^{\prime }))$ , we have $p\geqslant 5$ and $p\neq q$ (see Lemma 2.1). If $M^{B}(\mathbb{A}_{k})=\emptyset$ , then $M^{B}(k)=M^{B}(\mathbb{A}_{k})^{\operatorname{Br}}=\emptyset$ . So, in the following, assume $M^{B}(\mathbb{A}_{k})\neq \emptyset$ . Then for any $v\in \unicode[STIX]{x1D6FA}_{k}$ , there is a point $x_{v}\in M^{B}(k_{v})$ . Note that $k$ has no real place in this case. We have a family of characters

$$\begin{eqnarray}\{\unicode[STIX]{x1D719}_{x_{v}}:\text{G}_{k_{v}}\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}\}_{v\in \unicode[STIX]{x1D6FA}_{k}}\end{eqnarray}$$

associated to the covering $f_{p}^{B}:Y_{p}^{B}\longrightarrow M^{B}$ .

Assume that there is a global character $\unicode[STIX]{x1D6F7}:\text{G}_{k}\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}$ such that $\unicode[STIX]{x1D6F7}|_{\text{G}_{k_{v}}}=\unicode[STIX]{x1D719}_{x_{v}}$ for any $v\in \unicode[STIX]{x1D6FA}_{k}$ . If $B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k)$ , fix $K_{0}\in {\mathcal{K}}_{2}(k,B)\cap {\mathcal{K}}(k,\mathfrak{q})$ . Let

$$\begin{eqnarray}K:=\left\{\begin{array}{@{}ll@{}}\displaystyle k\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\cong \text{M}_{2}(k),\\ \displaystyle K_{0}\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k).\end{array}\right.\end{eqnarray}$$

Then $B\otimes _{\mathbb{Q}}K\cong \text{M}_{2}(K)$ because $K_{0}\in {\mathcal{K}}_{2}(k,B)\subseteq {\mathcal{K}}_{1}(k,B)$ . Let $\mathfrak{M}$ be a prime of $K$ , $\mathfrak{m}$ the prime of $k$ below $\mathfrak{M}$ , and $v(\mathfrak{m})$ the place of $k$ corresponding to $\mathfrak{m}$ . Since $B\otimes _{\mathbb{Q}}K_{\mathfrak{M}}\cong \text{M}_{2}(K_{\mathfrak{M}})$ , the point $x_{v(\mathfrak{m})}$ is represented by a QM-abelian surface $(A_{\mathfrak{M}},i_{\mathfrak{M}})$ by ${\mathcal{O}}$ over $K_{\mathfrak{M}}$ (see [Reference Jordan7, Theorem 1.1]). Then $\unicode[STIX]{x1D6F7}|_{\text{G}_{K_{\mathfrak{M}}}}=\unicode[STIX]{x1D719}_{x_{v(\mathfrak{m})}}|_{\text{G}_{K_{\mathfrak{M}}}}=\unicode[STIX]{x1D71A}_{(A_{\mathfrak{M}},i_{\mathfrak{M}},p)}^{12}$ by Lemma 3.1. Since $K_{0}\in {\mathcal{K}}(k,\mathfrak{q})$ , there is a unique prime $\mathfrak{Q}$ of $K$ above $\mathfrak{q}$ . We also have

$$\begin{eqnarray}f_{\mathfrak{Q}}=f_{\mathfrak{q}},\quad \text{N}_{\mathfrak{Q}}=\text{N}_{\mathfrak{q}}\quad \text{and}\quad \mathfrak{q}{\mathcal{O}}_{K}=\left\{\begin{array}{@{}ll@{}}\displaystyle \mathfrak{q}=\mathfrak{Q}\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\cong \text{M}_{2}(k),\\ \displaystyle \mathfrak{Q}^{2}\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k).\end{array}\right.\end{eqnarray}$$

Let $\operatorname{Fr}_{\mathfrak{Q}}\in \text{G}_{K_{\mathfrak{Q}}}(\subseteq \text{G}_{K})$ be a Frobenius element. Fix an element $\unicode[STIX]{x1D6FC}\in {\mathcal{O}}_{k}$ satisfying

$$\begin{eqnarray}\mathfrak{q}^{h_{k}^{\prime }}=\unicode[STIX]{x1D6FC}{\mathcal{O}}_{k}.\end{eqnarray}$$

We see that the character $\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}$ is unramified away from $p$ . In fact, its restriction to $\text{G}_{K_{\mathfrak{M}}}$ is $\unicode[STIX]{x1D71A}_{(A_{\mathfrak{M}},i_{\mathfrak{M}},p)}^{12}$ , which is unramified if $\mathfrak{M}\nmid p$ (see Proposition 4.1). Then $\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}$ is identified with a character $\mathfrak{I}_{K}(p)\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}$ , where $\mathfrak{I}_{K}(p)$ is the group of fractional ideals of $K$ prime to $p$ .

For $\mathfrak{M}=\mathfrak{Q}$ , we claim $\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}^{12}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})\equiv \operatorname{Norm}_{k/\mathbb{Q}}(\unicode[STIX]{x1D6FC})^{12}\hspace{0.2em}{\rm mod}\hspace{0.2em}p$ .

[Case $B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k)$ ]. In this case, $[K:k]=2$ and $\mathfrak{q}{\mathcal{O}}_{K}=\mathfrak{Q}^{2}$ . Then

$$\begin{eqnarray}\displaystyle & & \displaystyle \unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}^{12}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K_{\mathfrak{Q}}}}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(\mathfrak{Q}^{2h_{k}^{\prime }})\nonumber\\ \displaystyle & & \displaystyle \quad =\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(\mathfrak{q}^{h_{k}^{\prime }}{\mathcal{O}}_{K})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(\unicode[STIX]{x1D6FC}{\mathcal{O}}_{K})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}((1)_{\infty },(1)_{p},(\unicode[STIX]{x1D6FC})^{\infty ,p})\nonumber\\ \displaystyle & & \displaystyle \quad =\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}((\unicode[STIX]{x1D6FC}^{-1})_{\infty },(\unicode[STIX]{x1D6FC}^{-1})_{p},(1)^{\infty ,p})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}((\unicode[STIX]{x1D6FC}^{-1})_{p},(1)^{p})\nonumber\\ \displaystyle & & \displaystyle \quad =\mathop{\prod }_{\mathfrak{P}\mid p}r_{(A_{\mathfrak{P}},i_{\mathfrak{P}},p)}^{12}(\unicode[STIX]{x1D6FC}^{-1}).\nonumber\end{eqnarray}$$

Here, $\infty$ is the infinite place of $\mathbb{Q}$ , $((1)_{\infty },(1)_{p},(\unicode[STIX]{x1D6FC})^{\infty ,p})$ (resp.  $((\unicode[STIX]{x1D6FC}^{-1})_{\infty },(\unicode[STIX]{x1D6FC}^{-1})_{p},(1)^{\infty ,p})$ , resp.  $((\unicode[STIX]{x1D6FC}^{-1})_{p},(1)^{p})$ ) is the element of $\mathbb{A}_{K}^{\times }$ where the components above $\infty$ , $p$ are $1$ and the others $\unicode[STIX]{x1D6FC}$ (resp. where the components above $\infty$ , $p$ are $\unicode[STIX]{x1D6FC}^{-1}$ and the others $1$ , resp. where the components above $p$ are $\unicode[STIX]{x1D6FC}^{-1}$ and the others $1$ ), and $\mathfrak{P}$ runs through the primes of $K$ above $p$ . Note that the components above $\infty$ have no contribution since $K$ has no real place. Since $K_{0}\in {\mathcal{K}}_{2}(k,B)$ , we have $f_{\mathfrak{P}}=f_{\mathfrak{p}}$ where $\mathfrak{p}$ is the prime of $k$ below $\mathfrak{P}$ . By the assumption, $f_{\mathfrak{p}}$ is odd. Then $t_{K_{\mathfrak{P}}}=1$ for any $\mathfrak{P}$ . By Proposition 4.2, we have

$$\begin{eqnarray}r_{(A_{\mathfrak{P}},i_{\mathfrak{P}},p)}^{12}(\unicode[STIX]{x1D6FC}^{-1})=\operatorname{Norm}_{\unicode[STIX]{x1D705}(\mathfrak{P})/\mathbb{F}_{p}}(\unicode[STIX]{x1D6FC}\hspace{0.2em}{\rm mod}\hspace{0.2em}\mathfrak{P})^{6e_{\mathfrak{P}}},\end{eqnarray}$$

and so

$$\begin{eqnarray}\displaystyle \unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}^{12}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }}) & = & \displaystyle \mathop{\prod }_{\mathfrak{P}\mid p}\operatorname{Norm}_{\unicode[STIX]{x1D705}(\mathfrak{P})/\mathbb{F}_{p}}(\unicode[STIX]{x1D6FC}\hspace{0.2em}{\rm mod}\hspace{0.2em}\mathfrak{P})^{6e_{\mathfrak{P}}}\equiv \operatorname{Norm}_{K/\mathbb{Q}}(\unicode[STIX]{x1D6FC})^{6}\nonumber\\ \displaystyle & = & \displaystyle \operatorname{Norm}_{k/\mathbb{Q}}(\unicode[STIX]{x1D6FC})^{12}\hspace{0.2em}{\rm mod}\hspace{0.2em}p.\nonumber\end{eqnarray}$$

[Case $B\otimes _{\mathbb{Q}}k\cong \text{M}_{2}(k)$ ]. In this case, $K=k$ and $\mathfrak{Q}=\mathfrak{q}$ . Then

$$\begin{eqnarray}\displaystyle & & \displaystyle \unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}^{12}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(\mathfrak{Q}^{2h_{k}^{\prime }})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(\unicode[STIX]{x1D6FC}^{2}{\mathcal{O}}_{K})=\mathop{\prod }_{\mathfrak{P}\mid p}r_{(A_{\mathfrak{P}},i_{\mathfrak{P}},p)}^{24}(\unicode[STIX]{x1D6FC}^{-1})\nonumber\\ \displaystyle & & \displaystyle \quad =\mathop{\prod }_{\mathfrak{P}\mid p}\operatorname{Norm}_{\unicode[STIX]{x1D705}(\mathfrak{P})/\mathbb{F}_{p}}(\unicode[STIX]{x1D6FC}\hspace{0.2em}{\rm mod}\hspace{0.2em}\mathfrak{P})^{12e_{\mathfrak{P}}}\equiv \operatorname{Norm}_{K/\mathbb{Q}}(\unicode[STIX]{x1D6FC})^{12}\nonumber\\ \displaystyle & & \displaystyle \quad =\operatorname{Norm}_{k/\mathbb{Q}}(\unicode[STIX]{x1D6FC})^{12}\hspace{0.2em}{\rm mod}\hspace{0.2em}p,\nonumber\end{eqnarray}$$

as claimed. Here, $\mathfrak{P}$ runs through the primes of $K=k$ above $p$ .

Since $\mathfrak{q}^{h_{k}^{\prime }}=\unicode[STIX]{x1D6FC}{\mathcal{O}}_{k}$ , we have $\text{N}_{\mathfrak{q}}^{h_{k}^{\prime }}=|\text{Norm}_{k/\mathbb{Q}}(\unicode[STIX]{x1D6FC})|$ and $\text{N}_{\mathfrak{q}}^{12h_{k}^{\prime }}=\operatorname{Norm}_{k/\mathbb{Q}}(\unicode[STIX]{x1D6FC})^{12}$ . Then

$$\begin{eqnarray}\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}^{12}(\operatorname{Fr}_{\mathfrak{ Q}}^{2h_{k}^{\prime }})\equiv \text{N}_{\mathfrak{q}}^{12h_{k}^{\prime }}=q^{12h_{k}^{\prime }f_{\mathfrak{ q}}}\hspace{0.2em}{\rm mod}\hspace{0.2em}p.\end{eqnarray}$$

On the other hand, we have

$$\begin{eqnarray}\displaystyle a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }}) & \equiv & \displaystyle \unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})+\text{N}_{\mathfrak{Q}}^{2h_{k}^{\prime }}\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})^{-1}\nonumber\\ \displaystyle & = & \displaystyle \unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})+q^{2h_{k}^{\prime }f_{\mathfrak{ Q}}}\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})^{-1}\hspace{0.2em}{\rm mod}\hspace{0.2em}p\nonumber\end{eqnarray}$$

by Proposition 4.3(2), where $a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})$ is the integer associated to $(A_{\mathfrak{Q}},i_{\mathfrak{Q}})$ as in the last section. Let $\unicode[STIX]{x1D700}:=q^{-h_{k}^{\prime }f_{\mathfrak{ Q}}}\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})\in \mathbb{F}_{p^{2}}^{\times }$ . Recall that $f_{\mathfrak{Q}}=f_{\mathfrak{q}}$ . Then

$$\begin{eqnarray}\unicode[STIX]{x1D700}^{12}=1\quad \text{and}\quad a(\operatorname{Fr}_{\mathfrak{ Q}}^{2h_{k}^{\prime }})\equiv (\unicode[STIX]{x1D700}+\unicode[STIX]{x1D700}^{-1})q^{h_{k}^{\prime }f_{\mathfrak{ q}}}\hspace{0.2em}{\rm mod}\hspace{0.2em}p.\end{eqnarray}$$

Therefore

$$\begin{eqnarray}a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})\equiv 0,\quad \pm q^{h_{k}^{\prime }f_{\mathfrak{ q}}},\quad \pm 2q^{h_{k}^{\prime }f_{\mathfrak{ q}}}\hspace{0.2em}{\rm mod}\hspace{0.2em}p\quad \text{or}\quad a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})^{2}\equiv 3q^{2h_{k}^{\prime }f_{\mathfrak{ q}}}\hspace{0.2em}{\rm mod}\hspace{0.2em}p.\end{eqnarray}$$

By Proposition 4.3(1), we have $a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})\in {\mathcal{C}}(\text{N}_{\mathfrak{Q}},2h_{k}^{\prime })={\mathcal{C}}(q^{f_{\mathfrak{q}}},2h_{k}^{\prime })$ . Then

$$\begin{eqnarray}\displaystyle & & \displaystyle a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }}),a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})\pm q^{h_{k}^{\prime }f_{\mathfrak{ q}}},a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})\pm 2q^{h_{k}^{\prime }f_{\mathfrak{ q}}},a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})^{2}-3q^{2h_{k}^{\prime }f_{\mathfrak{ q}}}\nonumber\\ \displaystyle & & \displaystyle \quad \in \,{\mathcal{D}}(q^{f_{\mathfrak{q}}},2h_{k}^{\prime })={\mathcal{D}}(\text{N}_{\mathfrak{q}},2h_{k}^{\prime }).\nonumber\end{eqnarray}$$

Since $p\not \in {\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},2h_{k}^{\prime }))$ , we have

1. (1) $a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})=0,\pm q^{h_{k}^{\prime }f_{\mathfrak{ q}}},\pm 2q^{h_{k}^{\prime }f_{\mathfrak{ q}}}$ ; or

2. (2) $a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})^{2}=3q^{2h_{k}^{\prime }f_{\mathfrak{ q}}}$ .

[Case (1)]. In this case, $q$ divides $a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})$ . Then by [Reference Arai2, Lemma 2.6], $q$ divides $a(\operatorname{Fr}_{\mathfrak{Q}})$ . We have $f_{\mathfrak{Q}}=f_{\mathfrak{q}}$ , which is odd by the assumption. Then we obtain $B\not \in {\mathcal{B}}(q)$ (see [Reference Jordan7, Theorem 2.1, Propositions 2.3 and 5.1(1)]). This is a contradiction.

[Case (2)]. Since $a(\operatorname{Fr}_{\mathfrak{Q}}^{2h_{k}^{\prime }})\in \mathbb{Z}$ , this case cannot happen.

Then we have proved that the family $\{\unicode[STIX]{x1D719}_{x_{v}}\}_{v\in \unicode[STIX]{x1D6FA}_{k}}$ does not come from a global character $\unicode[STIX]{x1D6F7}:\text{G}_{k}\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}$ . This means that the subset $M^{B}(\mathbb{A}_{k})^{f_{p}^{B}}$ of $M^{B}(\mathbb{A}_{k})$ associated to $f_{p}^{B}$ (see [Reference Skorobogatov10, Definition 5.3.1]) is empty. Then by [Reference Skorobogatov10, Theorem 6.1.2], we conclude $M^{B}(\mathbb{A}_{k})^{\operatorname{Br}}=\emptyset$ .◻

6 Proof of Theorem 2.3

Suppose that the assumptions of Theorem 2.3 hold. Assume $M^{B}(\mathbb{A}_{k})\neq \emptyset$ . Then for any $v\in \unicode[STIX]{x1D6FA}_{k}$ , there is a point $x_{v}\in M^{B}(k_{v})$ . Since $B\not \in {\mathcal{S}}(k,\mathfrak{q})$ , there is a prime divisor $p$ of $d(B)$ such that

$$\begin{eqnarray}p\not \in \left\{\begin{array}{@{}ll@{}}\displaystyle {\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},e_{\mathfrak{q}}))\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\cong \text{M}_{2}(k),\\ \displaystyle {\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},2e_{\mathfrak{q}}))\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k).\end{array}\right.\end{eqnarray}$$

Fix such $p$ . Then $p\geqslant 5$ , $p\neq q$ and we have a family of characters

$$\begin{eqnarray}\{\unicode[STIX]{x1D719}_{x_{v}}:\text{G}_{k_{v}}\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}\}_{v\in \unicode[STIX]{x1D6FA}_{k}}\end{eqnarray}$$

associated to $f_{p}^{B}$ .

Assume that there is a global character $\unicode[STIX]{x1D6F7}:\text{G}_{k}\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}$ such that $\unicode[STIX]{x1D6F7}|_{\text{G}_{k_{v}}}=\unicode[STIX]{x1D719}_{x_{v}}$ for any $v\in \unicode[STIX]{x1D6FA}_{k}$ . If $B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k)$ , fix $K_{0}\in {\mathcal{K}}_{1}(k,B)\cap {\mathcal{K}}(k,\mathfrak{q})$ . Let $K,\mathfrak{M},\mathfrak{m},v(\mathfrak{m}),(A_{\mathfrak{M}},i_{\mathfrak{M}})$ be the same as in the last section. Note that $[K:\mathbb{Q}]$ is even since $k/\mathbb{Q}$ has even degree. Then $\unicode[STIX]{x1D6F7}|_{\text{G}_{K_{\mathfrak{M}}}}=\unicode[STIX]{x1D719}_{x_{v(\mathfrak{m})}}|_{\text{G}_{K_{\mathfrak{M}}}}=\unicode[STIX]{x1D71A}_{(A_{\mathfrak{M}},i_{\mathfrak{M}},p)}^{12}$ . Let $\mathfrak{Q}$ be the unique prime of $K$ above $\mathfrak{q}$ , and let $\operatorname{Fr}_{\mathfrak{Q}}\in \text{G}_{K_{\mathfrak{Q}}}(\subseteq \text{G}_{K})$ be a Frobenius element. Note that $\mathfrak{Q}$ is the unique prime of $K$ above $q$ . Then $q{\mathcal{O}}_{K}=\mathfrak{Q}^{e_{\mathfrak{Q}}}$ and $\text{N}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}}=q^{[K:\mathbb{Q}]}$ .

For $\mathfrak{M}=\mathfrak{Q}$ , we prove $\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}^{12}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})\equiv q^{6[K:\mathbb{Q}]}\hspace{0.2em}{\rm mod}\hspace{0.2em}p$ . The character $\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}$ is unramified away from $p$ , and it is identified with a character $\mathfrak{I}_{K}(p)\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}$ . Then

$$\begin{eqnarray}\displaystyle & & \displaystyle \unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}^{12}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K_{\mathfrak{Q}}}}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(\mathfrak{Q}^{e_{\mathfrak{Q}}})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}(q{\mathcal{O}}_{K})\nonumber\\ \displaystyle & & \displaystyle \quad =\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}((1)_{\infty },(1)_{p},(q)^{\infty ,p})=\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}((q^{-1})_{\infty },(q^{-1})_{p},(1)^{\infty ,p})\nonumber\\ \displaystyle & & \displaystyle \quad =\unicode[STIX]{x1D6F7}|_{\text{G}_{K}}((q^{-1})_{p},(1)^{p})=\mathop{\prod }_{\mathfrak{P}\mid p}r_{(A_{\mathfrak{P}},i_{\mathfrak{P}},p)}^{12}(q^{-1})\equiv \mathop{\prod }_{\mathfrak{P}\mid p}q^{6e_{\mathfrak{P}}f_{\mathfrak{P}}}=q^{6[K:\mathbb{Q}]}\hspace{0.2em}{\rm mod}\hspace{0.2em}p.\nonumber\end{eqnarray}$$

Here, $((1)_{\infty },(1)_{p},(q)^{\infty ,p}),((q^{-1})_{\infty },(q^{-1})_{p},(1)^{\infty ,p}),((q^{-1})_{p},(1)^{p})\in \mathbb{A}_{K}^{\times }$ are defined in the same way as in the last section, $\mathfrak{P}$ runs through the primes of $K$ above $p$ , and the congruence follows from Proposition 4.2 (or [Reference Arai2, Corollary 2.3]).

In the following, we repeat the argument in [Reference Arai2, Section 3] and deduce a contradiction. We have

$$\begin{eqnarray}\displaystyle a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}}) & \equiv & \displaystyle \unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})+\text{N}_{\mathfrak{ Q}}^{e_{\mathfrak{Q}}}\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})^{-1}\nonumber\\ \displaystyle & = & \displaystyle \unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})+q^{[K:\mathbb{Q}]}\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})^{-1}\hspace{0.2em}{\rm mod}\hspace{0.2em}p\nonumber\end{eqnarray}$$

by Proposition 4.3(2). Let $\unicode[STIX]{x1D700}:=q^{-[K:\mathbb{Q}]/2}\unicode[STIX]{x1D71A}_{(A_{\mathfrak{Q}},i_{\mathfrak{Q}},p)}(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})\in \mathbb{F}_{p^{2}}^{\times }$ . Then

$$\begin{eqnarray}\unicode[STIX]{x1D700}^{12}=1\quad \text{and}\quad a(\operatorname{Fr}_{\mathfrak{ Q}}^{e_{\mathfrak{Q}}})\equiv (\unicode[STIX]{x1D700}+\unicode[STIX]{x1D700}^{-1})q^{[K:\mathbb{Q}]/2}\hspace{0.2em}{\rm mod}\hspace{0.2em}p.\end{eqnarray}$$

Therefore

$$\begin{eqnarray}\displaystyle & a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})\equiv 0,\!\quad \pm q^{[K:\mathbb{Q}]/2},\!\quad \pm 2q^{[K:\mathbb{Q}]/2}\hspace{0.2em}{\rm mod}\hspace{0.2em}p\!\quad \text{or}\quad \!a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})^{2}\equiv 3q^{[K:\mathbb{Q}]}\hspace{0.2em}{\rm mod}\hspace{0.2em}p. & \displaystyle \nonumber\end{eqnarray}$$

By Proposition 4.3(1), we have $a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})\in {\mathcal{C}}(\text{N}_{\mathfrak{Q}},e_{\mathfrak{Q}})$ . Moreover, we have

$$\begin{eqnarray}f_{\mathfrak{Q}}=f_{\mathfrak{q}},\quad \text{N}_{\mathfrak{Q}}=\text{N}_{\mathfrak{q}}\quad \text{and}\quad e_{\mathfrak{Q}}=\left\{\begin{array}{@{}ll@{}}\displaystyle e_{\mathfrak{q}}\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\cong \text{M}_{2}(k),\\ \displaystyle 2e_{\mathfrak{q}}\quad & \displaystyle \text{if }B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k).\end{array}\right.\end{eqnarray}$$

Then

$$\begin{eqnarray}\displaystyle & & \displaystyle a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}}),a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})\pm q^{[K:\mathbb{Q}]/2},a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})\pm 2q^{[K:\mathbb{Q}]/2},a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})^{2}-3q^{[K:\mathbb{Q}]}\nonumber\\ \displaystyle & & \displaystyle \quad \in \,{\mathcal{D}}(\text{N}_{\mathfrak{Q}},e_{\mathfrak{Q}})={\mathcal{D}}(\text{N}_{\mathfrak{q}},e_{\mathfrak{Q}}).\nonumber\end{eqnarray}$$

Since $p\not \in {\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},e_{\mathfrak{Q}}))$ , we have

1. (1) $a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})=0,\pm q^{[K:\mathbb{Q}]/2},\pm 2q^{[K:\mathbb{Q}]/2}$ ; or

2. (2) $a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})^{2}=3q^{[K:\mathbb{Q}]}$ .

[Case (1)]. In this case, $q$ divides $a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})$ and $a(\operatorname{Fr}_{\mathfrak{Q}})$ . Since $f_{\mathfrak{Q}}$ is odd, we have $B\not \in {\mathcal{B}}(q)$ . This is a contradiction.

[Case (2)]. Since $[K:\mathbb{Q}]$ is even and $a(\operatorname{Fr}_{\mathfrak{Q}}^{e_{\mathfrak{Q}}})\in \mathbb{Z}$ , this case cannot happen.

Then we have proved that the family $\{\unicode[STIX]{x1D719}_{x_{v}}\}_{v\in \unicode[STIX]{x1D6FA}_{k}}$ does not come from $\unicode[STIX]{x1D6F7}:\text{G}_{k}\longrightarrow (\mathbb{F}_{p^{2}}^{\times })^{12}$ . Therefore $M^{B}(\mathbb{A}_{k})^{\operatorname{Br}}=\emptyset$ .◻

7 Counterexamples to the Hasse principle

Jordan obtained the following counterexamples to the Hasse principle, and Skorobogatov proved that it is accounted for by the Manin obstruction.

Especially, the existence of adelic points help us produce counterexamples to the Hasse principle for $d(B)=39$ and number fields containing $\mathbb{Q}(\sqrt{-13})$ . In Lemma 7.2 below, we restrict our attention to the special case and study the assumptions of Theorem 2.4.

For a prime number $q\neq 2$ , let $(\frac{\cdot }{q})\in \{0,1,-1\}$ be the Legendre symbol. For a nonzero integer $N\in \mathbb{Z}$ , let $(N)^{\prime }$ be the square free part of $N$ . Precisely, if $N=ab^{2}$ where $a,b\in \mathbb{Z}$ , $a$ is square free and $\text{gcd}(a,b)=1$ , then $(N)^{\prime }=a$ . For a finite Galois extension $k$ of $\mathbb{Q}$ and a prime number $l$ , let $e_{l}(k)$ (resp.  $f_{l}(k)$ , resp.  $g_{l}(k)$ ) be the ramification index of $l$ in $k/\mathbb{Q}$ (resp. the degree of the residue field extension above $l$ in $k/\mathbb{Q}$ , resp. the number of primes of $k$ above $l$ ).

Lemma 7.2 and a similar study combined with Proposition 7.1, [Reference Rotger and de Vera-Piquero8, Table 1] help us prove Proposition 2.6 as follows.

(1) By Lemma 7.2(1)(i), we have $B\otimes _{\mathbb{Q}}\mathbb{Q}(\sqrt{-13})\cong \text{M}_{2}(\mathbb{Q}(\sqrt{-13}))$ . Then $B\otimes _{\mathbb{Q}}k\cong \text{M}_{2}(k)$ . Let $q=2$ . Then $(e_{q}(k),f_{q}(k),g_{q}(k))=(4,1,1)$ . Let $\mathfrak{q}$ be the unique prime of $k$ above $q$ . Then ${\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},e_{\mathfrak{q}}))={\mathcal{P}}({\mathcal{D}}(2,4))=\{2,3,5,7,47\}$ (see [Reference Arai2, Table 1]). By Lemma 7.2(1)(ii), we have $B\in {\mathcal{B}}(q)$ . Let $p=13$ . Then $p\mid d(B)$ and $p\not \in {\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},e_{\mathfrak{q}}))$ . Hence $B\not \in {\mathcal{S}}(k,\mathfrak{q})$ . Applying Theorem 2.3, we obtain $M^{B}(k)=M^{B}(\mathbb{A}_{k})^{\operatorname{Br}}=\emptyset$ . By Proposition 7.1, we have $M^{B}(\mathbb{A}_{\mathbb{Q}(\sqrt{-13})})\neq \emptyset$ . Therefore $M^{B}(\mathbb{A}_{k})\neq \emptyset$ .

(2) Since $B\otimes _{\mathbb{Q}}\mathbb{Q}(\sqrt{-13})\cong \text{M}_{2}(\mathbb{Q}(\sqrt{-13}))$ , we have $B\otimes _{\mathbb{Q}}k\cong \text{M}_{2}(k)$ . Assume $k=\mathbb{Q}(\sqrt{3},\sqrt{-13})$ (resp.  $k=\mathbb{Q}(\sqrt{17},\sqrt{-13})$ ). Then $Cl_{k}\cong \mathbb{Z}/4\mathbb{Z}$ (resp.  $Cl_{k}\cong \mathbb{Z}/4\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ ) and $h_{k}^{\prime }=4$ . These are due to the mathematics software system Sage. In any case, let $(p,q)=(13,2)$ . Then by Lemma 7.2, we have $B\in {\mathcal{B}}(q)$ and $f_{p}(k),f_{q}(k)$ are odd. In fact, $(e_{p}(k),f_{p}(k),g_{p}(k))=(e_{q}(k),f_{q}(k),g_{q}(k))=(2,1,2)$ . Let $\mathfrak{q}$ be a prime of $k$ above $q$ . Then ${\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},2h_{k}^{\prime }))={\mathcal{P}}({\mathcal{D}}(2,8))=\{2,3,5,7,31,47,193\}$ does not contain $p=13$ . By Theorem 2.4, we have $M^{B}(k)=M^{B}(\mathbb{A}_{k})^{\operatorname{Br}}=\emptyset$ . Since $M^{B}(\mathbb{A}_{\mathbb{Q}(\sqrt{-13})})\neq \emptyset$ , we have $M^{B}(\mathbb{A}_{k})\neq \emptyset$ .

(3) The assertion follows from Theorem 2.3 with $q=3$ . See [Reference Arai2, Proof of Proposition 4.1(2)].

(4) We have $B\otimes _{\mathbb{Q}}k\not \cong \text{M}_{2}(k)$ since $2$ splits completely in $k$ . In this case, $Cl_{k}\cong \mathbb{Z}/8\mathbb{Z}\times \mathbb{Z}/4\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$ and $h_{k}^{\prime }=8$ . Let $(p,q)=(61,3)$ . Then $(e_{p}(k),f_{p}(k),g_{p}(k))=(e_{q}(k),f_{q}(k),g_{q}(k))=(2,1,2)$ . Since $61$ splits in $\mathbb{Q}(\sqrt{-3})$ , we have $B\in {\mathcal{B}}(q)$ (see Lemma 2.2(1)). Then ${\mathcal{P}}({\mathcal{D}}(\text{N}_{\mathfrak{q}},2h_{k}^{\prime }))={\mathcal{P}}({\mathcal{D}}(3,16))=\{2,3,5,7,11,17,23,31,47,97,113,191,193,353,383,2113,$ $3457,30529,36671\}$ does not contain $p=61$ . Applying Theorem 2.4, we have $M^{B}(k)=M^{B}(\mathbb{A}_{k})^{\operatorname{Br}}=\emptyset$ . By [Reference Rotger and de Vera-Piquero8, Table 1], we have $M^{B}(\mathbb{A}_{\mathbb{Q}(\sqrt{-183})})\neq \emptyset$ . Therefore $M^{B}(\mathbb{A}_{k})\neq \emptyset$ .◻