nLab
higher algebra

higher geometry\leftarrow Isbell duality \to higher algebra


Contents

Idea

The notion of higher algebra or homotopical algebra refers to generalizations of algebra in the context of homotopy theory and more general of higher category theory.

General

Ordinary algebra concerns itself in particular with structures such as associative algebras, which are monoids internal to monoidal categories:

etc.

Of course, there are other aspects to algebra such as those resulting from non-associative theories such as Lie algebras and there are many aspects such as questions within Galois theory, and representation theory for which the above is too limited a view, but for the moment let it stand.

Higher algebra (or homotopical algebra) is similarly, but in particular, the study of monoids internal to higher categories.

A central motivating example for - or special case of the study of higher algebra was

The “higher algebra” embodied by commutative ring spectra has been called brave new algebra by F. Waldhausen.

More generally, algebra is partially about algebraic theories, about monads and about operads. All these have higher analogs in higher algebra.

Other aspects of higher algebra?

The parts of algebra that we set aside at the end of the idea are not outside the possible range of higher algebra, they just have not yet been that developed and it is not always clear in what directions they most naturally ‘should’ be developed. To take an example, Lie infinity-algebroid is clearly a higher algebraic analogue of a Lie algebra, and is a ‘multi-object’ one as well. Questions in representation theory are often phrased in terms of monoidal categories, and their higher algebraic analogues have new structural facets that look very interesting and useful. Finally Galois theory naturally falls into the context of Grothendieck’s extensive work both on higher stacks but also the Grothendieck-Teichmuller theory. Here the theory is awaiting clear indications what higher Galois theory might mean.

Concepts

Monads, algebraic theories, operads

Algebras and modules

Monoidal (,1)(\infty,1)-Categories

The monoidal structure on stable homotopy theory

Symmetric monoidal (,1)(\infty,1)-categories and commutative algebra

Commutative ring spectra

Symmetric monoidal model categories

Isbell 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="https://ncatlab.org/nlab/show/Gelfand+duality">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="https://ncatlab.org/nlab/show/Gelfand+duality">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="https://ncatlab.org/nlab/show/affine+scheme#AffineSchemesFullSubcategoryOfOppositeOfRings">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}geometryA\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="https://ncatlab.org/nlab/show/embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras">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}superalgebraA\phantom{A}
A\phantom{A}formal higherA\phantom{A}
A\phantom{A}supergeometryA\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="https://ncatlab.org/nlab/show/L-infinity-algebra#ReformulationInTermsOfSemifreeDGAlgebra">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}superalgebra
A\phantom{A} (“FDAs”)

in physics:

A\phantom{A}algebraA\phantom{A}A\phantom{A}geometryA\phantom{A}
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}AQFTA\phantom{A}A\phantom{A}FQFTA\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}

References

A comprehensive development of the theory is in

See also

Last revised on November 15, 2013 at 01:36:18. See the history of this page for a list of all contributions to it.