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:
“Then the justice,
In fair round belly with good capon lined,
With eyes severe and beard of formal cut,
Full of wise saws and modern instances;
And so he plays his part.”
—William Shakespeare (1564–1616)
“In the scheme of our national government, the presidency is preeminently the people’s office.”
—Grover Cleveland (1837–1908)