Algebraic Torus - Weights

Weights

Over a separably closed field, a torus T admits two primary invariants. The weight lattice is the group of algebraic homomorphisms T → G_m, and the coweight lattice is the group of algebraic homomorphisms G_m → T. These are both free abelian groups whose rank is that of the torus, and they have a canonical nondegenerate pairing given by, where degree is the number n such that the composition is equal to the nth power map on the multiplicative group. The functor given by taking weights is an antiequivalence of categories between tori and free abelian groups, and the coweight functor is an equivalence. In particular, maps of tori are characterized by linear transformations on weights or coweights, and the automorphism group of a torus is a general linear group over Z. The quasi-inverse of the weights functor is given by a dualization functor from free abelian groups to tori, defined by its functor of points as:

This equivalence can be generalized to pass between groups of multiplicative type (a distinguished class of formal groups) and arbitrary abelian groups, and such a generalization can be convenient if one wants to work in a well-behaved category, since the category of tori doesn't have kernels or filtered colimits.

When a field K is not separably closed, the weight and coweight lattices of a torus over K are defined as the respective lattices over the separable closure. This induces canonical continuous actions of the absolute Galois group of K on the lattices. The weights and coweights that are fixed by this action are precisely the maps that are defined over K. The functor of taking weights is an antiequivalence between the category of tori over K with algebraic homomorphisms and the category of finitely generated torsion free abelian groups with an action of the absolute Galois group of K.

Given a finite separable field extension L/K and a torus T over L, we have a Galois module isomorphism

If T is the multiplicative group, then this gives the restriction of scalars a permutation module structure. Tori whose weight lattices are permutation modules for the Galois group are called quasi-split, and all quasi-split tori are finite products of restrictions of scalars.

For a general base scheme S, weights and coweights are defined as fpqc sheaves of free abelian groups on S. These provide representations of fundamental groupoids of the base with respect the fpqc topology. If the torus is locally trivializable with respect to a weaker topology such as the etale topology, then the sheaves of groups descend to the same topologies and these representations factor through the respective quotient groupoids. In particular, an etale sheaf gives rise to a quasi-isotrivial torus, and if S is locally noetherian and normal (more generally, geometrically unibranched), the torus is isotrivial. As a partial converse, a theorem of Grothendieck asserts that any torus of finite type is quasi-isotrivial, i.e., split by an etale surjection.

Given a rank n torus T over S, a twisted form is a torus over S for which there exists a fpqc covering of S for which their base extensions are isomorphic, i.e., it is a torus of the same rank. Isomorphism classes of twisted forms of a split torus are parametrized by nonabelian flat cohomology, where the coefficient group forms a constant sheaf. In particular, twisted forms of a split torus T over a field K are parametrized by elements of the Galois cohomology pointed set with trivial Galois action on the coefficients. In the one-dimensional case, the coefficients form a group of order two, and isomorphism classes of twisted forms of G_m are in natural bijection with separable quadratic extensions of K.

Since taking a weight lattice is an equivalence of categories, short exact sequences of tori correspond to short exact sequences of the corresponding weight lattices. In particular, extensions of tori are classified by Ext1 sheaves. These are naturally isomorphic to the flat cohomology groups . Over a field, the extensions are parametrized by elements of the corresponding Galois cohomology group.