Weil restriction

From Wikipedia, the free encyclopedia

In mathematics, restriction of scalars (also known as "Weil restriction") is a functor which, for any finite extension of fields L/k and any algebraic variety X over L, produces another variety ResL/kX, defined over k. It is useful for reducing questions about varieties over large fields to questions about more complicated varieties over smaller fields.

Contents

[edit] Definition

Let L/k be a finite extension of fields, and X a variety defined over L. The functor ResL / kX from k-schemesop to sets is defined by

Res_{L/k}X(S) = X(S \times_k L)

The variety that represents this functor is called the restriction of scalars, and is unique up to unique isomorphism if it exists.

From the standpoint of sheaves of sets, restriction of scalars is just a pushforward along the morphism Spec L \to Spec k and is right adjoint to fiber product, so the above definition can be rephrased in much more generality. In particular, one can replace the extension of fields by any morphism of ringed topoi, and the hypotheses on X can be weakened to e.g. stacks. This comes at the cost of having less control over the behavior of the restriction of scalars.

[edit] Properties

For any finite extension of fields, the restriction of scalars takes quasiprojective varieties to quasiprojective varieties. The dimension of the resulting variety is multiplied by the degree of the extension.

Under appropriate hypotheses (e.g., flat, proper, finitely presented), any morphism T \to S of algebraic spaces yields a restriction of scalars functor that takes algebraic stacks to algebraic stacks, preserving properties such as Artin, Deligne-Mumford, and representability.

[edit] Examples

Let L be a finite extension of k of degree s. Then ResL / k(Spec L) = Spec(k) and Res_{L/k}\mathbb{A}^1 is an s-dimensional affine space \mathbb{A}^s over Spec k.

If X is an affine L-variety, defined by

X = \text{Spec} L[x_1, \dots, x_n]/(f_1,\dots,f_m)

we can write ResL / kX as Spec k[yi,j] / (gl,r), where yi,j (1 \leq i \leq n, 1 \leq j \leq s) are new variables, and gl,r are polynomials in yi,j given by taking a k-basis e_1, \dots, e_s of L and setting x_i = y_{i,1}e_i + \dots + y_{i,s}e_s and f_t = g_{t,1}e_1 + \dots g_{t,s}e_s.

Restriction of scalars over a finite extension of fields takes group schemes to group schemes. In particular, the torus

\mathbb{S} := Res_{\mathbb{C}/\mathbb{R}} \mathbb{G}_m

where Gm denotes the multiplicative group, plays a significant role in Hodge theory, since the Tannakian category of real Hodge structures is equivalent to the category of representations of S. The real points have a Lie group structure isomorphic to \mathbb{C}^\times.

Restriction of scalars on abelian varieties (e.g. elliptic curves) yields abelian varieties, and Milne used this to reduce the Birch and Swinnerton-Dyer conjecture for abelian varieties over all number fields to the same conjecture over the rationals.

Restriction of scalars is similar to the Greenberg transform, but does not generalize it, since the ring of Witt vectors on a commutative algebra A is not in general an A-algebra.

[edit] References

The original reference is Section 1.3 of Weil's 1959-1960 Lectures, published as:

  • Andre Weil. "Adeles and Algebraic Groups", Birkhäuser, 1982. Notes of Lectures given 1959-1960.

Other references:

  • Siegfried Bosch, Werner Lütkebohmert, Michel Raynaud. "Neron models", Springer-Verlag, Berlin 1990.
  • James S. Milne. "On the arithmetic of abelian varieties", Invent. Math. 17 (1972) 177-190.