nLab higher geometry


higher geometry \leftarrow Isbell duality \to higher algebra



Higher geometry or homotopical geometry is the study of concepts of space and geometry in the context of higher category theory and homotopy theory.


higher geometry = geometry + homotopy theory/higher category theory

Higher geometry subsumes notably the theory of orbifolds and geometric stacks, as well as the theory of more general stacks such as moduli stacks, and generalizes all this to ∞-stacks and derived stacks. This way higher geometry includes what is called derived geometry and it subsumes at least parts of (derived) noncommutative geometry. Many other phenomena are naturally part of higher geometry, see the list of Examples below.

In any given instance of higher geometry, one starts with a notion of “local models” for the geometry. An affine space will then be a formal dual of such a local model, and a general space will be formed by “gluing” these affine spaces in some appropriate way. There are two ways of formalizing this idea, coming from Alexander Grothendieck‘s two definitions of scheme in algebraic geometry via locally ringed spaces and functors of points. Both are built on (∞,1)-topos theory: in one direction, a petit (∞,1)-topos (with some additional structure) encodes a space itself; in another direction, a space is an object of a gros (∞,1)-topos of ∞-stacks on some (∞,1)-site. We discuss these axiomatizations below in Formalization.

These approaches do not apply to noncommutative algebraic geometry, which requires a different approach to deal with a more complicated notion of gluing; we discuss this below in Noncommutative algebraic geometry.


We discuss two different (but closely related) formalizations of these ideas.


we discuss the approach of considering one big (∞,1)-topos H\mathbf{H} (with “big”/gros being formalized for instance by cohesion) such that (some of) its objects are to be regarded as higher geometric spaces.


we discuss the approach of encoding a would-be higher geometric space XX by a structured (∞,1)-topos to be thought of as the petit (∞,1)-topos of (∞,1)-sheaves (Sh (X),𝒪 X)(Sh_\infty(X), \mathcal{O}_X) of XX, canonically equipped with a structure sheaf 𝒪 X\mathcal{O}_X.

Gros (∞,1)-toposes

Let 𝒢\mathcal{G} be an (∞,1)-site whose objects are to be viewed as “local models” or “test spaces” for a geometry. Within the context of this geometry, we make the following definitions:

An affine space is a formal dual of an object of 𝒢\mathcal{G}, so that the (∞,1)-category of affine spaces is the opposite of 𝒢\mathcal{G}. A stack is an ∞-stack on 𝒢\mathcal{G}, so that the (∞,1)-category of stacks is the gros (∞,1)-sheaf (∞,1)-topos on 𝒢\mathcal{G}. Finally, a space is a stack XX that has a cover by a family of affine spaces (f i:U iX) i(f_i : U_i \to X)_i, where each f if_i belongs to some nice class of morphisms (e.g. open immersions, etale morphisms or smooth morphisms).

When the underlying (∞,1)-category of 𝒢\mathcal{G} is the (∞,1)-category of commutative algebras in a symmetric monoidal (∞,1)-category, this is known as homotopical algebraic geometry. When it is the (∞,1)-category of algebras over a Lawvere theory, this is discussed at derived geometry.

Following Bill Lawvere, one may ask for a set of axioms on the (∞,1)-sheaf (∞,1)-topos Sh (𝒢)Sh_\infty(\mathcal{G}) that ensure that it is appropriate to view (∞,1)-sheaves on 𝒢\mathcal{G} as generalized geometric spaces. One such set of axioms is cohesion.

Petit (∞,1)-toposes

As above, let 𝒢\mathcal{G} be an (∞,1)-category whose objects will be viewed as “local models” for the kind of geometry to be developed. Following Jacob Lurie (based on the theory of geometry via ringed toposes by Alexander Grothendieck and Monique Hakim), a 𝒢\mathcal{G}-structured (∞,1)-topos is the data of an (∞,1)-topos together with a structure sheaf valued in 𝒢\mathcal{G}. Given an appropriate choice of 𝒢\mathcal{G}, one gets the following hierarchy of generalized spaces this way:

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.

Relation between these approaches

Given a gros cohesive (∞,1)-topos H\mathbf{H} and an object XHX \in \mathbf{H}, one may in turn assign to XX a petit structured (∞,1)-topos Sh H(X)Sh_{\mathbf{H}}(X) of internal sheaves over XX. See at differential cohesion for how this works. This connects the “gros” perspective back to the “petit” perspective.

Conversely, given a structured (∞,1)-topos one may consider its associated functor of points, which will be an object in the gros (∞,1)-topos.


List of examples

Noncommutative algebraic geometry

The above frameworks for higher geometry are not suitable for describing noncommutative algebraic geometry, because of the more complicated notions of localization, gluing and descent in the latter setting. Indeed, noncommutative spaces are supposed to be obtained from affine ones (formal duals of associative algebras or dg-algebras) by gluing along bimodules. A good setting for such gluing is that of pretriangulated dg-categories (or stable (∞,1)-categories). Thus in derived noncommutative algebraic geometry, a noncommutative space is defined to be a stable (∞,1)-category.

Connes-style noncommutative geometry

The process of forming groupoid convolution algebras is a 2-functor from suitable topological and differentiable stacks to C*-algebras with Hilbert bimodules between them. Much of Connes-style noncommutative geometry turns out to deal with objects in the image of this functor, and to the extent that it does, Connes-style noncommutative geometry may be regarded as being a way of speaking about higher geometry, specifically the higher differential geometry of differentiable stacks.

duality between \;algebra and geometry

A\phantom{A}geometryA\phantom{A}A\phantom{A}categoryA\phantom{A}A\phantom{A}dual categoryA\phantom{A}A\phantom{A}algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand-KolmogorovAlg op\overset{\text{<a href="">Gelfand-Kolmogorov</a>}}{\hookrightarrow} Alg^{op}_{\mathbb{R}}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C *,comm op\overset{\text{<a class="existingWikiWord" href="">Gelfand duality</a>}}{\simeq} TopAlg^{op}_{C^\ast, comm}A\phantom{A}A\phantom{A}comm. C-star-algebraA\phantom{A}
A\phantom{A}noncomm. topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cptNCTopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C * op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} TopAlg^{op}_{C^\ast}A\phantom{A}A\phantom{A}general C-star-algebraA\phantom{A}
A\phantom{A}algebraic geometryA\phantom{A}A\phantom{A}NCSchemes Aff\phantom{NC}Schemes_{Aff}A\phantom{A}A\phantom{A}almost by def.TopAlg fin op\overset{\text{<a href="">almost by def.</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{fin} A\phantom{A}A\phantom{A}fin. gen.A\phantom{A}
A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}noncomm. algebraicA\phantom{A}
A\phantom{A}NCSchemes AffNCSchemes_{Aff}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg fin,red op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} \phantom{Top}Alg^{op}_{fin, red}A\phantom{A}A\phantom{A}fin. gen.
A\phantom{A}associative algebraA\phantom{A}A\phantom{A}
A\phantom{A}differential geometryA\phantom{A}A\phantom{A}SmoothManifoldsSmoothManifoldsA\phantom{A}A\phantom{A}Milnor's exerciseTopAlg comm op\overset{\text{<a href="">Milnor's exercise</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{comm}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}A\phantom{A}SuperSpaces Cart n|q\array{SuperSpaces_{Cart} \\ \\ \mathbb{R}^{n\vert q}}A\phantom{A}A\phantom{A}Milnor's exercise Alg 2AAAA op C ( n) q\array{ \overset{\phantom{\text{Milnor's exercise}}}{\hookrightarrow} & Alg^{op}_{\mathbb{Z}_2 \phantom{AAAA}} \\ \mapsto & C^\infty(\mathbb{R}^n) \otimes \wedge^\bullet \mathbb{R}^q }A\phantom{A}A\phantom{A}supercommutativeA\phantom{A}
A\phantom{A}formal higherA\phantom{A}
A\phantom{A}(super Lie theory)A\phantom{A}
ASuperL Alg fin 𝔤A\phantom{A}\array{ Super L_\infty Alg_{fin} \\ \mathfrak{g} }\phantom{A}AALada-MarklA sdgcAlg op CE(𝔤)A\phantom{A}\array{ \overset{ \phantom{A}\text{<a href="">Lada-Markl</a>}\phantom{A} }{\hookrightarrow} & sdgcAlg^{op} \\ \mapsto & CE(\mathfrak{g}) }\phantom{A}A\phantom{A}differential graded-commutativeA\phantom{A}
A\phantom{A} (“FDAs”)

in physics:

A\phantom{A}Poisson algebraA\phantom{A}A\phantom{A}Poisson manifoldA\phantom{A}
A\phantom{A}deformation quantizationA\phantom{A}A\phantom{A}geometric quantizationA\phantom{A}
A\phantom{A}algebra of observablesA\phantom{A}space of statesA\phantom{A}
A\phantom{A}Heisenberg pictureA\phantom{A}Schrödinger pictureA\phantom{A}
A\phantom{A}higher algebraA\phantom{A}A\phantom{A}higher geometryA\phantom{A}
A\phantom{A}Poisson n-algebraA\phantom{A}A\phantom{A}n-plectic manifoldA\phantom{A}
A\phantom{A}En-algebrasA\phantom{A}A\phantom{A}higher symplectic geometryA\phantom{A}
A\phantom{A}BD-BV quantizationA\phantom{A}A\phantom{A}higher geometric quantizationA\phantom{A}
A\phantom{A}factorization algebra of observablesA\phantom{A}A\phantom{A}extended quantum field theoryA\phantom{A}
A\phantom{A}factorization homologyA\phantom{A}A\phantom{A}cobordism representationA\phantom{A}

For relation to physics see


Both approaches to higher geometry are described, in the special case of derived algebraic geometry, in

The gros topos approach is described, in the case of homotopical algebraic geometry, in

A general exposition of the petit topos approach is proposed in


  • Bill Lawvere, Axiomatic cohesion Theory and Applications of Categories, Vol. 19, No. 3, 2007, pp. 41–49. (pdf)

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

Last revised on September 27, 2021 at 12:21:14. See the history of this page for a list of all contributions to it.