In my recent number theory seminar on “Hilbert’s 90 and generalizations” (notes here), Professor Goins asked the following interesting question.

Let be a field and . Define to be the torus

What values of give -isomorphic tori?

(The question was perhaps motivated by the observation that over the reals, the sign of determines completely whether would be split (i.e., isomorphic to ) or anisotropic (i.e., isomorphic to ).

Here are two ways of looking at the answer.

- For , we determine when two matrices and are conjugate in . Solving the system

gives .

Thus i.e., the ‘s are classified by . (For , this is isomorphic to so the sign of determines upto conjugation.) By Kummer theory, , where are the second roots of unity. Thus there is a correspondence between isomorphism classes of tori and quadratic extensions of .

- Another way to look at the same thing is as follows. Fix . Let be an extension of wherein splits. Now is a split torus of rank 1. For an algebraic group over an algebraically closed field, we have the exact sequence

where is the based root datum associated to . (Here, and is the set of simple roots of corresponding to a choice of a Borel subgroup of .) For details, see Corollary 2.14 of Springer’s paper “*Reductive Groups*” in Corvallis.

In our case, so .

Now forms of are in bijective correspondence with

the last isomorphism because the Galois group acts trivially on the split torus .

### Like this:

Like Loading...

*Related*

## Leave a comment

Comments feed for this article