Properties of Flat Morphisms
Let f : X → Y be a morphism of schemes. For a morphism g : Y′ → Y, let X′ = X ×Y Y′ and f′ = f × g : X′ → Y′. f is flat if and only if for every g, the pullback f′* is an exact functor from the category of quasi-coherent -modules to the category of quasi-coherent -modules.
Assume that f : X → Y and g : Y → Z are morphisms of schemes. Assume furthermore that f is flat at x in X. Then g is flat at f(x) if and only if gf is flat at x. In particular, if f is faithfully flat, then g is flat or faithfully flat if and only if gf is flat or faithfully flat, respectively.
Read more about this topic: Flat Morphism
Famous quotes containing the words properties of, properties and/or flat:
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)
“A drop of water has the properties of the sea, but cannot exhibit a storm. There is beauty of a concert, as well as of a flute; strength of a host, as well as of a hero.”
—Ralph Waldo Emerson (1803–1882)
“perpetually crouched, quivering, upon the
sternly allotted sandpile
Mhow silently
emit a tiny violet flavoured nuisance: Odor?
o no.
comes out like a ribbon lies flat on the brush”
—E.E. (Edward Estlin)