- Formal scheme
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.
Formal schemes are usually defined only in the Noetherian case. While there have been several definitions of non-Noetherian formal schemes, these encounter technical problems. Consequently we will make the assumption that all rings are Noetherian.
All rings will be assumed to be commutative and with unit. Let "A" be a (Noetherian)
topological ring, that is, a ring "A" which is a topological spacesuch that the operations of addition and multiplication are continuous. "A" is linearly topologized if zero has a base consisting of ideals. An ideal of definition for a linearly topologized ring is an open ideal such that for every open neighborhood "V" of 0, there exists a positive integer "n" such that . A linearly topologized ring is preadmissible if it admits an ideal of definition, and it is admissible if it is also complete. (In the terminology of Bourbaki, this is "complete and separated".)
Assume that "A" is an admissible, and let be an ideal of definition. A prime ideal is open if and only if it contains . The set of open prime ideals of "A", or equivalently the set of prime ideals of , is the underlying topological space of the formal spectrum of "A", denoted Spf "A". Spf "A" has a structure sheaf which is defined using the structure sheaf of the
spectrum of a ring. Let be a neighborhood basis for zero consisting of ideals of definition. All the spectra of have the same underlying topological space but a different structure sheaf. The structure sheaf of Spf "A" is the projective limit .
It can be shown that if "f" ∈ "A" and "D""f" is the set of all open prime ideals of "A" not containing "f", then , where is the completion of the localization "A""f".
Finally, a Noetherian formal scheme is a topologically ringed space (that is, a
ringed spacewhose sheaf of rings is a sheaf of topological rings) such that each point of admits an open neighborhood isomorphic (as topologically ringed spaces) to the formal spectrum of a noetherian ring.
last = Grothendieck
first = Alexandre
authorlink = Alexandre Grothendieck
year = 1960
title = Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : I. Le langage des schémas | journal = Publications Mathématiques de l'IHÉS
volume = 4
pages = 5–228
url = http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1960__4_
Spectrum of a ring
Wikimedia Foundation. 2010.
Look at other dictionaries:
Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… … Wikipedia
Formal moduli — In mathematics, formal moduli are an aspect of the theory of moduli spaces (of algebraic varieties or vector bundles, for example), closely linked to deformation theory and formal geometry. Roughly speaking, deformation theory can provide the… … Wikipedia
Scheme (mathematics) — In mathematics, a scheme is an important concept connecting the fields of algebraic geometry, commutative algebra and number theory. Schemes were introduced by Alexander Grothendieck so as to broaden the notion of algebraic variety; some consider … Wikipedia
incentive scheme — noun a formal scheme for inducing someone (as employees) to do something • Syn: ↑incentive program • Hypernyms: ↑scheme, ↑strategy • Part Meronyms: ↑bonus, ↑incentive … Useful english dictionary
Fresh Talent - Working in Scotland Scheme — The Fresh Talent Working in Scotland Scheme (FTWiSS) is a programme created by the Scottish Executive to allow non EEA nationals who have studied in Scotland to live and work in the country for up to 2 years after graduation. After two years,… … Wikipedia
Ponzi scheme — A Ponzi scheme is a fraudulent investment operation that involves promising or paying abnormally high returns ( profits ) to investors out of the money paid in by subsequent investors, rather than from net revenues generated by any real business … Wikipedia
Microinsurance scheme — A microinsurance scheme is a scheme that uses, among others, an insurance mechanism whose beneficiaries are (at least in part) people excluded from formal social protection schemes, in particular informal economy workers and their families. The… … Wikipedia
Commitment scheme — In cryptography, a commitment scheme allows one to commit to a value while keeping it hidden, with the ability to reveal the committed value later. Commitments are used to bind a party to a value so that they cannot adapt to other messages in… … Wikipedia
Medical Rural Bonded Scholarship Scheme — The Medical Rural Bonded Scholarship Scheme is an Australian government program the Government says is to increase the availability of rural doctors. Others take the view it is a concerted effort to ban access to Medicare, thus hiding a blow out… … Wikipedia
National Industrial Chemicals Notification and Assessment Scheme — The National Industrial Chemicals Notification and Assessment Scheme (NICNAS) is the Australian government’s regulatory body for industrial chemicals. NICNAS is designed to help protect workers, the public and the environment from the harmful… … Wikipedia