Welcome to MathOverflow

Question

2

Let $\zeta \in \overline{\mathbb{Q}}$ be a primitive 8th root of unity and let $K = \mathbb{Q}(\zeta)$. Let $N_{K/\mathbb{Q}}$ be the corresponding norm.

Consider the three-dimensional $\mathbb{Q}$-torus defined by $N_{K/\mathbb{Q}}(x) = 1$ for $x \in K^\times$. Is it rational over $\mathbb{Q}$?

I think the answer is no, but I don't have a proof.

edited Sep 30 2011 at 20:45

asked Sep 30 2011 at 20:22

Wanderer
2,977●12●28

1

What do you mean by rational over $\mathbb{Q}$? do you mean "split"? – Joël Sep 30 2011 at 20:26

1

I want the underlying variety to be birational to $\mathbb{P}^3$ over $\mathbb{Q}$. – Wanderer Sep 30 2011 at 20:29

1

I deleted my post because ${\bf Q}(\zeta)$ has is not cyclic over ${\bf Q}$ (the Galois group is elementary abelian of order 4), so the result quoted by Serre does not apply. I still expect that the answer is Yes, though. – Noam D. Elkies Sep 30 2011 at 20:51

...but apparently I was wrong there (expecting a positive answer) as well... – Noam D. Elkies Sep 30 2011 at 22:50

mark · Accepted Answer · 2011-10-03 19:22:18Z UTC

The torus is not rational.

This is due to B.E. Kunyavskii, On Tori with a biquadratic splitting field, Izv. Akad. Nauk SSSR Ser. Mat 42 (1978), 580-587; English translation Math USSR-IZV. 12(1978), 536-542.

An easier to find reference is V.E. Voskresenskii's book Algebraic Groups and their Birational Invariants. See Section 4.8, concluding with Example 4.8.1, at the top of page 54. Also, see the beginning of Section 4.10.

The argument given in that book actually shows something more general: the Norm 1 torus is non-rational, if the Galois group of your extension is $\mathbb{Z}/p\mathbb{Z} \times \mathbb{Z}/p\mathbb{Z}$, for any prime $p$. This is what is done in Section 4.8.

In Section 4.10, Voskresenskii recalls the work of Kunyavskii, where it is shown that the Norm 1 torus for a biquadratic extension is not stably rational.

Rationality of three-dimensional torus

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.