Proper Morphism of Formal Schemes
Let be a morphism between locally noetherian formal schemes. We say f is proper or is proper over if (i) f is an adic morphism (i.e., maps the ideal of definition to the ideal of definition) and (ii) the induced map is proper, where and K is the ideal of definition of .(EGA III, 3.4.1) The definition is independent of the choice of K. If one lets, then is proper.
For example, if is a proper morphism, then its extension between formal completions is proper in the above sense.
As before, we have the coherence theorem: let be a proper morphism between locally noetherian formal schemes. If F is a coherent -module, then the higher direct images are coherent.
Read more about this topic: Proper Morphism
Famous quotes containing the words proper, formal and/or schemes:
“Then did they strive with emulation who should repeat most wise maxims importing the necessity of suspicion in the choice of our friends—such as “mistrust is the mother of security,” with many more to the same effect.... But notwithstanding the esteem which they professed for suspicion, yet did they think proper to veil it under the name of caution.”
—Sarah Fielding (1710–1768)
“The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
—David Elkind (20th century)
“Science is a dynamic undertaking directed to lowering the degree of the empiricism involved in solving problems; or, if you prefer, science is a process of fabricating a web of interconnected concepts and conceptual schemes arising from experiments and observations and fruitful of further experiments and observations.”
—James Conant (1893–1978)