Definition
Let L/k be a finite extension of fields, and X a variety defined over L. The functor from k-schemesop to sets is defined by
(In particular, the k-rational points of are the L-rational points of X.) 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 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.
Read more about this topic: Weil Restriction
Famous quotes containing the word definition:
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)