Skip to main content
2 of 2
added 4 characters in body
H U
  • 481
  • 2
  • 9

Image of pullback for Brauer groups

If a have a dominant morphism $\pi:X \rightarrow \mathbb{P}^{1}$ where $X$ is a projective, geometrically integral $k$-scheme. Then this gives rise to a pullback map \begin{align*} \pi^{*}:\text{Br}(k(\mathbb{P}^{1}))\rightarrow \text{Br}(k(X)) \end{align*} where $k(Y)$ denotes the function field a scheme $Y$.

I assume this arises from the fact we have a homomorphism of function fields $\pi_{1}^{*}:k(\mathbb{P^{1}})\rightarrow k(X)$ via composition $g \rightarrow g\circ \pi$, then we can just apply the Brauer group as a functor from the category of fields to the category of abelian groups, someone please correct me if I have this wrong.

My question is if I have quaternion algebra $A =(a,f(t))$ over $k(\mathbb{P}^{1})=k(t)$ what would the image of $A$ look like under the map $\pi^{*}$?

H U
  • 481
  • 2
  • 9