Suppose $L/K$ is a Galois extension of number fields, with Galois group $G\_{L/K}$. Write $\mathrm{Br}(L)^{G\_{L/K}}$ for the subgroup of central simple algebras $A/L$ which are Galois-invariant; equivalently, these are the algebras such that for $v$ a place of $K$ and $w$ a place of $L$ with $w|v$, the local invariants $\mathrm{inv}\_w(A)$ only depend on $v$. The Hochschild-Serre spectral sequence yields an exact sequence


$0\to \mathrm{Br}(L/K) \to \mathrm{Br}(K) \to \mathrm{Br}(L)^{G\_{L/K}}\to H^3(G\_{L/K},L^{\times}),$


where the third arrow is represented by the base change map $A\mapsto A\otimes\_{K} L$, and the image of the fourth arrow is the "obstruction" preventing a Galois invariant algebra from arising via base change. Now, the $H^3$ appearing here is often zero; for example, it vanishes if all the Sylow subgroups of $G\_{L/K}$ are cyclic. My questions:


1. In the case $K=\mathbf{Q}$ (say), what is the simplest example of a Galois extension $L/\mathbf{Q}$ and a Galois-invariant central simple algebra over $L$ which is not a base change from any proper subfield? Does $G\_{L/\mathbf{Q}}=A\_4$ work?
2. Is there a simple way to compute the obstruction map into $H^3$? It seems like the answer to this must naively be "no", since it cannot be as simple as "do such and such with the local invariants".
3. How much of the above goes through without assuming $L/K$ is Galois?



Examples of Galois-invariant central simple algebras which aren't base change?
[big edit]


(1) Let $L/K$ be as above. Take any non-identity element $\sigma \in G\_{L/K}$, and let $F=L^{<\sigma>}$ be the fixed field of the cyclic subgroup generated by $\sigma$. By your comment above about the vanishing of $H^3$, every galois invariant CSA of $L$ is a base change of a CSA of $F$. Hence, there are no galois invariant CSA that are not a base change from any proper subfield.


But, if you fix $L$ and $K$, then there can be galois invariant CSA's of $L$ that are not a base change from $K$. Since the smallest non-cyclic group is $C\_2\times C\_2$, we would like to search for examples with such a galois group.


For $K=\mathbb{Q}$, probably, the simplest example is:
$$L=\mathbb{Q}(\sqrt{-3},\sqrt{13}),\ (43)=P\_1\cdot P\_2\cdot P\_3\cdot P\_4,$$
$$u=\frac{1}{4}P\_1+\frac{1}{4}P\_2+\frac{1}{4}P\_3+\frac{1}{4}P\_4 \in \bigoplus\_v Br(L\_v)$$


I will prove below that this element of the Brauer group is not a base change, and that in fact a similar construction can be given for any extension.


(2) Near the end of Tate's "Global Class Field Theory" section in Cassels-Frohlich, there is a small paragraph devoted to $H^3(G\_{L/K},L^\times)$:



> 
> "$H^3(G,L^\times)$ is cyclic of order $n/n\_0$, the global degree divided by the lowest common multiple of local degrees, generated by $\delta u\_{L/K}$ ($\delta:H^2(C\_L)\rightarrow H^3(L^{\times})$), the "Teichmuller 3-class." ..."
> 
> 
> 


Therefore, assume $n\_0 < n$ for our galois extension $L/K$. Let $v\_0$ be an unramified finite place of $K$ that splits completely (exists by Chebotarev's theorem). We can construct an element of the Brauer group similar to the one above:
$$u := \sum\_{w|v\_0} \frac{1}{n} w$$


This is in fact an element of $Br(L)$ since the number of $w|v\_0$ is $n$, so that $n\frac{1}{n} = 1 \in \mathbb{Z}$.



> 
> **Proposition.** For any prime $p$ that divides $\frac{n}{n\_0}$, $\frac{n}{pn\_0}\cdot u$ is not a base change.
> 
> 
> 


From which we immediately get:



> 
> **Corollary.** The map $Br(L)^{G\_{L/K}}\rightarrow H^3(L^\times)$ is onto.
> 
> 
> 


**Proof of proposition.** Assume that $\frac{n}{pn\_0}\cdot u$ is the base change of some $u'$, i.e.
$$u' = \sum\_v n\_v v \mapsto \sum\_v \sum\_{w|v} [L\_w : K\_v] n\_v w = \frac{n}{pn\_0}\cdot u$$


Since for any $w|v\_0$: $[L\_w : K\_{v\_0}] = 1$, we must have $n\_{v\_0} = \frac{n}{pn\_0}\cdot \frac{1}{n} = \frac{1}{pn\_0}$. And since $\sum\_v n\_v \in \mathbb{Z}$, at least one other place $v\_1$ has
$$v\_p(n\_{v\_1}) \le v\_p(n\_{v\_0}) = v\_p(\frac{1}{pn\_0}) < 0$$


Where $v\_p$ is the usual $p$-adic valuation. So, using that $n\_0$ is the lcm of local degrees:
$$v\_p([L\_{v\_1}:K\_{v\_1}] n\_{v\_1}) \le v\_p(n\_0) + v\_p(\frac{1}{pn\_0}) = -1$$


Contradicting the zero coefficient of any $w|v\_1$ in $u$.


A small computation shows that for the extension $\mathbb{Q}(\sqrt{-3},\sqrt{13})/\mathbb{Q}$, $n\_0=2$, and that indeed this is the smallest (discriminant-wise) $C\_2\times C\_2$ such extension.


