derived smooth geometry
Higher geometry studies the notions of space and geometry in higher category theory. Specifically if the spaces on which the geometry is modeled are themselves objects in higher category theory this is also called derived geometry .
Higher geometry is typically built on (∞,1)-topos theory, which (see topos) provides a general context in which to speak of generalizations of topological spaces. The axioms of higher geometry typically impose extra structures on (∞,1)-toposes that encode genuine geometry .
There are two aspects to this, induced from the two aspects of big and little toposes:
A big -topos is an (∞,1)-category whose objects are generalized spaces. Axioms for characterizing big toposes that encode geometry have been given in (Lawvere). Their generalization to -topos theory is given by the notion of a cohesive (∞,1)-topos.
technically modeled by:
A plethora of proposals for formalizations of higher geometry find their home in this pattern, for instance most of the concepts listed at generalized smooth space.
A notable exception to this is possibly the program by Maxim Kontsevich and others where under the term noncommutative geometry and derived noncommutative geometry spaces are modeled as the formal dual to A-∞-categories. But -categories are presentations for stable (∞,1)-categories and by the stable Giraud theorem presentable stable -categories play a very similar role to (unstable) ∞-stack (∞,1)-toposes. In particular they may be obtained from the latter by stabilization.
|Poisson algebra||Poisson manifold|
|deformation quantization||geometric quantization|
|algebra of observables||space of states|
|Heisenberg picture||Schrödinger picture|
|higher algebra||higher geometry|
|Poisson n-algebra||n-plectic manifold|
|En-algebras||higher symplectic geometry|
|BD-BV quantization||higher geometric quantization|
|factorization algebra of observables||extended quantum field theory|
|factorization homology||cobordism representation|
For relation to physics see
an axiomatization of generalized geometry is proposed in terms of 1-category theory. The evident generalization of this to (∞,1)-category theory provides an axiomatization for higher geometry. This is discussed at