derived smooth geometry
Formal geometry is a highly overloaded term in mathematics, used in number of conceptually similar ways, usually meaning that we work in setup in which some crucial details of geometry or analysis are not present or satisfied, e.g.
we work with functions on “manifolds” but the functions do not necessarily converge, the geometry is rather based on topological algebras of formal power series; this is the formal geometry of Grothendieck school and the main notion is that of a formal scheme (or more general ind-schemes). There are also noncommutative versions like Kapranov's noncommutative geometry.
Gelfand’s formal geometry: study infinite dimensional manifolds of jet bundles and related objects coming from usual differential geometry, geometry of formal differential operators, study of related objects from homological algebra, including Gelfand’s formal manifold (homological vector field)
we talk about neighborhoods,or localizations, morphisms of spaces, but not about spectra and points (a part of noncommutative geometry is done in such style) – this is sometimes called “pseudogeometry”
For characteristic case see
In a similar formal context Gelfand and collaborators introduced -systems
The -systems were partly motivated by the calculus of variations, formalizing further the setting of works of Gelfand and Dorfman.
Examples of sequences of local structures
|geometry||point||first order infinitesimal||formal = arbitrary order infinitesimal||local = stalkwise||finite|
|smooth functions||derivative||Taylor series||germ||smooth function|
|curve (path)||tangent vector||jet||germ of curve||curve|
|smooth space||infinitesimal neighbourhood||formal neighbourhood||open neighbourhood|
|function algebra||square-0 ring extension||nilpotent ring extension/formal completion||ring extension|
|arithmetic geometry||finite field||p-adic integers||localization at (p)||integers|
|Lie theory||Lie algebra||formal group||local Lie group||Lie group|
|symplectic geometry||Poisson manifold||formal deformation quantization||local strict deformation quantization||strict deformation quantization|