Skip to main content
added 1719 characters in body
Source Link
GreginGre
  • 1.8k
  • 10
  • 16

You can take: $F=\mathbb{Q}(X_1,Y_1,\ldots,X_n,Y_n)$$F=\mathbb{C}(X_1,Y_1,\ldots,X_n,Y_n)$ and take the tensor product of quaternion algebras $$A=(X_1,Y_1)_F\otimes_F\cdots\otimes (X_n,Y_n)_F.$$ Here $A$ contains a subfield $E$ isomorphic to $F(\sqrt{Y_1},\ldots \sqrt{Y_n})$ for example.

Now $A$ is a division algebra, so it has index $2^n$, but it has order $2$ in $\mathrm{Br}(E/F)\simeq H^2(\mathrm{Gal}(E/F),E^\times)$.

PS. If you need details, I can post something this evening.

Edit. Here is a proof that $A$ is division. I will assume some knowledge on quadratic forms. Note that I replace $\mathbb{Q}$ by $\mathbb{C}$ to get rid of some ennoying coefficients (see below), but the result is the same.

If $A$ is a central simple algebra over a field $F$, let $T_A:A\to F$ the quadratic form defined by $T_A(a)=Trd_A(a^2)$.

Lemma. If $T_A$ is anisotropic, then $A$ is division.

Proof. Assume $A$ is not division, so $A\simeq M_r(D)$, where $D$ is division. The matrix $a_0$ filled with zero, except on the top right corner where the entry is $1_D$, satisfies $a_0^2=0$, hence $T_A(a_0)=0$, while $a_0\neq 0$. Hence, $T_A$ is isotropic.

Prop. Let $F$ be a field of characteristic different from $2$. Assume that $q_1,q_2$ are anistropic quadratic forms over $F$. Then the form $q_1+Xq_2$ is anistropic over $F(X)$.

Proof. Omitted. This is a standard result.

The rest of the proof is devoted to show that the trace form of our example is anisotropic.

Easy fact. We have $T_{A\otimes B}\simeq T_A\otimes T_B$ (by standard properties of the reduced trace)

Now if $Q=(a,b)_F$, the standard basis $1,i,j,ij$ is orthogonal wrt $T_Q$, and $$T_Q\simeq \langle 2,2a,2b,-2ab\rangle\simeq \langle 1,a,b,ab\rangle\simeq \langle 1,a\rangle\otimes \langle 1,b\rangle.$$ The second isomorphism comes from the fact that $2$ and $-2$ are squares in $\mathbb{C}$; this is why I changed.

Hence $T_A\simeq \langle 1,X_1\rangle\otimes \langle 1,Y_1\rangle\otimes\cdots\otimes \langle 1,X_n\rangle\otimes \langle 1,Y_n\rangle$.

Using the previous proposition and induction (starting form the fact that $\langle 1\rangle$ is anisotropic), we get the desired result.

Of course, you can do all of this for $n=2$...

You can take: $F=\mathbb{Q}(X_1,Y_1,\ldots,X_n,Y_n)$ and take the tensor product of quaternion algebras $$A=(X_1,Y_1)_F\otimes_F\cdots\otimes (X_n,Y_n)_F.$$ Here $A$ contains a subfield $E$ isomorphic to $F(\sqrt{Y_1},\ldots \sqrt{Y_n})$ for example.

Now $A$ is a division algebra, so it has index $2^n$, but it has order $2$ in $\mathrm{Br}(E/F)\simeq H^2(\mathrm{Gal}(E/F),E^\times)$.

PS. If you need details, I can post something this evening.

You can take: $F=\mathbb{C}(X_1,Y_1,\ldots,X_n,Y_n)$ and take the tensor product of quaternion algebras $$A=(X_1,Y_1)_F\otimes_F\cdots\otimes (X_n,Y_n)_F.$$ Here $A$ contains a subfield $E$ isomorphic to $F(\sqrt{Y_1},\ldots \sqrt{Y_n})$ for example.

Now $A$ is a division algebra, so it has index $2^n$, but it has order $2$ in $\mathrm{Br}(E/F)\simeq H^2(\mathrm{Gal}(E/F),E^\times)$.

PS. If you need details, I can post something this evening.

Edit. Here is a proof that $A$ is division. I will assume some knowledge on quadratic forms. Note that I replace $\mathbb{Q}$ by $\mathbb{C}$ to get rid of some ennoying coefficients (see below), but the result is the same.

If $A$ is a central simple algebra over a field $F$, let $T_A:A\to F$ the quadratic form defined by $T_A(a)=Trd_A(a^2)$.

Lemma. If $T_A$ is anisotropic, then $A$ is division.

Proof. Assume $A$ is not division, so $A\simeq M_r(D)$, where $D$ is division. The matrix $a_0$ filled with zero, except on the top right corner where the entry is $1_D$, satisfies $a_0^2=0$, hence $T_A(a_0)=0$, while $a_0\neq 0$. Hence, $T_A$ is isotropic.

Prop. Let $F$ be a field of characteristic different from $2$. Assume that $q_1,q_2$ are anistropic quadratic forms over $F$. Then the form $q_1+Xq_2$ is anistropic over $F(X)$.

Proof. Omitted. This is a standard result.

The rest of the proof is devoted to show that the trace form of our example is anisotropic.

Easy fact. We have $T_{A\otimes B}\simeq T_A\otimes T_B$ (by standard properties of the reduced trace)

Now if $Q=(a,b)_F$, the standard basis $1,i,j,ij$ is orthogonal wrt $T_Q$, and $$T_Q\simeq \langle 2,2a,2b,-2ab\rangle\simeq \langle 1,a,b,ab\rangle\simeq \langle 1,a\rangle\otimes \langle 1,b\rangle.$$ The second isomorphism comes from the fact that $2$ and $-2$ are squares in $\mathbb{C}$; this is why I changed.

Hence $T_A\simeq \langle 1,X_1\rangle\otimes \langle 1,Y_1\rangle\otimes\cdots\otimes \langle 1,X_n\rangle\otimes \langle 1,Y_n\rangle$.

Using the previous proposition and induction (starting form the fact that $\langle 1\rangle$ is anisotropic), we get the desired result.

Of course, you can do all of this for $n=2$...

formatting
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

You can take: $F=\mathbb{Q}(X_1,Y_1,\ldots,X_n,Y_n)$ and take the tensor product of quaternion algebras $A=(X_1,Y_1)_F\otimes_F\cdots\otimes (X_n,Y_n)_F$.$$A=(X_1,Y_1)_F\otimes_F\cdots\otimes (X_n,Y_n)_F.$$ Here $A$ contains a subfield $E$ isomorphic to $F(\sqrt{Y_1},\ldots \sqrt{Y_n})$ for example.

Now $A$ is a division algebra, so it has index $2^n$, but it has order $2$ in $Br(E/F)\simeq H^2(Gal(E/F),E^\times)$$\mathrm{Br}(E/F)\simeq H^2(\mathrm{Gal}(E/F),E^\times)$.

PS. If you need details, I can post something this evening.

You can take: $F=\mathbb{Q}(X_1,Y_1,\ldots,X_n,Y_n)$ and take the tensor product of quaternion algebras $A=(X_1,Y_1)_F\otimes_F\cdots\otimes (X_n,Y_n)_F$. Here $A$ contains a subfield $E$ isomorphic to $F(\sqrt{Y_1},\ldots \sqrt{Y_n})$ for example.

Now $A$ is a division algebra, so it has index $2^n$, but it has order $2$ in $Br(E/F)\simeq H^2(Gal(E/F),E^\times)$.

PS. If you need details, I can post something this evening.

You can take: $F=\mathbb{Q}(X_1,Y_1,\ldots,X_n,Y_n)$ and take the tensor product of quaternion algebras $$A=(X_1,Y_1)_F\otimes_F\cdots\otimes (X_n,Y_n)_F.$$ Here $A$ contains a subfield $E$ isomorphic to $F(\sqrt{Y_1},\ldots \sqrt{Y_n})$ for example.

Now $A$ is a division algebra, so it has index $2^n$, but it has order $2$ in $\mathrm{Br}(E/F)\simeq H^2(\mathrm{Gal}(E/F),E^\times)$.

PS. If you need details, I can post something this evening.

Source Link
GreginGre
  • 1.8k
  • 10
  • 16

You can take: $F=\mathbb{Q}(X_1,Y_1,\ldots,X_n,Y_n)$ and take the tensor product of quaternion algebras $A=(X_1,Y_1)_F\otimes_F\cdots\otimes (X_n,Y_n)_F$. Here $A$ contains a subfield $E$ isomorphic to $F(\sqrt{Y_1},\ldots \sqrt{Y_n})$ for example.

Now $A$ is a division algebra, so it has index $2^n$, but it has order $2$ in $Br(E/F)\simeq H^2(Gal(E/F),E^\times)$.

PS. If you need details, I can post something this evening.