Severi–Brauer variety

In mathematics, a Severi–Brauer variety over a field K is an algebraic variety V which becomes isomorphic to a projective space over an algebraic closure of K. The varieties are associated to central simple algebras in such a way that the algebra splits over K if and only if the variety has a rational point over K.Template:Sfnp Template:Harvs studied these varieties, and they are also named after Richard Brauer because of their close relation to the Brauer group.

In dimension one, the Severi–Brauer varieties are conics. The corresponding central simple algebras are the quaternion algebras. The algebra Template:Nowrap corresponds to the conic Template:Nowrap with equation

$z^2=a{x}^2+b{y}^2$

and the algebra Template:Nowrap splits, that is, Template:Nowrap is isomorphic to a matrix algebra over K, if and only if Template:Nowrap has a point defined over K: this is in turn equivalent to Template:Nowrap being isomorphic to the projective line over K.Template:SfnpTemplate:Sfnp

Such varieties are of interest not only in diophantine geometry, but also in Galois cohomology. They represent (at least if K is a perfect field) Galois cohomology classes in H¹(G(K^s/K),PGL_n), where PGL_n is the projective linear group, and n is one more than the dimension of the variety V. As usual in Galois cohomology, we often leave the $G(K^s/K)$ implied. There is a short exact sequence

1 → GL₁ → GL_n → PGL_n → 1

of algebraic groups. This implies a connecting homomorphism

H¹(PGL_n) → H²(GL₁)

at the level of cohomology. Here H²(GL₁) is identified with the Brauer group of K, while the kernel is trivial because H¹(GL_n) = Template:Mset by an extension of Hilbert's Theorem 90.Template:SfnpTemplate:Sfnp Therefore, Severi–Brauer varieties can be faithfully represented by Brauer group elements, i.e. classes of central simple algebras.

Lichtenbaum showed that if X is a Severi–Brauer variety over K then there is an exact sequence

$0\to \mathrm{P}\mathrm{i}\mathrm{c}(X)\to \mathbb{Z}\stackrel{\delta }{\to }\mathrm{B}\mathrm{r}(K)\to \mathrm{B}\mathrm{r}(K)/(X)\to 0.$

Here the map δ sends 1 to the Brauer class corresponding to X.Template:Sfnp

As a consequence, we see that if the class of X has order d in the Brauer group then there is a divisor class of degree d on X. The associated linear system defines the d-dimensional embedding of X over a splitting field L.Template:Sfnp

See also

• Projective bundle

References

• Template:Citation
• Template:Springer
• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation
• Template:Citation

Further reading

• Template:Citation

External links

• Expository paper on Galois descent (PDF)