In mathematics, specifically in algebraic geometry, a formal scheme is a type of space which includes data about its surroundings. Unlike an ordinary scheme, a formal scheme includes infinitesimal data that, in effect, points in a direction off of the scheme. For this reason, formal schemes frequently appear in topics such as deformation theory. But the concept is also used to prove a theorem such as the theorem on formal functions, which is used to deduce theorems of interest for usual schemes.
A locally noetherian scheme is a locally noetherian formal scheme in the canonical way: the formal completion along itself. In other words, the category of locally noetherian formal schemes contains all locally noetherian schemes.
Read more about Formal Scheme: Definition, Morphisms Between Formal Schemes, See Also
Famous quotes containing the words formal and/or scheme:
“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)
“We are all bound to the throne of the Supreme Being by a flexible chain which restrains without enslaving us. The most wonderful aspect of the universal scheme of things is the action of free beings under divine guidance.”
—Joseph De Maistre (1753–1821)