6

In this blog of Alex Youcis, I see a sentence in the proof of theorem 4 which says that "since $C$ has genus 0 that it defines a class $[C]\in\mathrm{Br}(\mathbb{Q})$ which is trivial if and only if $C\cong\mathbb{P}^1_\mathbb{Q}$". And the definition of the Brauer group of a field is the equivance classes of central simple algebras.

So the question is that what the map and the inverse map are between $\mathrm{Br}(\mathbb{Q})$ and the set of all smooth curves of genus $0$ over $\mathbb{Q}$(I don't know if this is a set).

My thoughts: Smooth curves of genus $0$ corresponds to a quadratic form over $\mathbb{Q}$(By Riemann-Roch and embed this curve into $\mathbb{P}^2$ as a quadratic curve), and a quadratic form corresponds to an element in the Brauer group. Is this right?

Thanks!

  • Alex Youcis frequents the site (at least he used to) so there are hopes for an explanation (that I would welcome). 2) Richard Brauer is my academic grandfather, and is worthy, but I have not seen him being honored by writing his name in lower case, yet :-)
  • – Jyrki Lahtonen Nov 16 '19 at 06:14
  • @JyrkiLahtonen Sorry, I just edited my question and I have modified my mistakes! –  Nov 16 '19 at 06:21
  • 1
    @Sssss Your thought is roughly correct. What is true more generally is that twists of $\mathbb{P}^{n-1}_k$ correspond to classes in the Galois cohomology group $H^1(G_k,\mathrm{PGL}_n(\overline{k})$. One knows that the colimit over $n$ of such objects is just $\mathrm{Br}(k)$. So, $\mathrm{Br}(k)$ classifies twists of $\mathbb{P}^{n-1}_k$ (as $n$ varies). The relevant phrase is 'Brauer-Severi variety'. You can look in Bjorn Poonen's book Rational points on varieties or Gille and Szamuely's book Central simple algebras and Galois cohomology for more. – Alex Youcis Nov 16 '19 at 10:07