local Lie group



Group Theory

Differential geometry

synthetic differential geometry


from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry



smooth space


The magic algebraic facts




  • (shape modality \dashv flat modality \dashv sharp modality)

    (ʃ)(ʃ \dashv \flat \dashv \sharp )

  • dR-shape modality\dashv dR-flat modality

    ʃ dR dRʃ_{dR} \dashv \flat_{dR}

  • tangent cohesion

    • differential cohomology diagram
    • differential cohesion

      • (reduction modality \dashv infinitesimal shape modality \dashv infinitesimal flat modality)

        (&)(\Re \dashv \Im \dashv \&)

      • graded differential cohesion

        • fermionic modality\dashv bosonic modality \dashv rheonomy modality

          (Rh)(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)

        • id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous *

          \array{ && id &\dashv& id \ && \vee && \vee \ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \ && \bot && \bot \ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \ && \vee && \vee \ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \ && \bot && \bot \ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \ && \vee && \vee \ &\stackrel{cohesive}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \ && \bot && \bot \ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \ && \vee && \vee \ && \emptyset &\dashv& \ast }



          Lie theory, ∞-Lie theory

          differential equations, variational calculus

          Chern-Weil theory, ∞-Chern-Weil theory

          Cartan geometry (super, higher)

          \infty-Lie theory

          ∞-Lie theory (higher geometry)


          Smooth structure

          Higher groupoids

          Lie theory

          ∞-Lie groupoids

          ∞-Lie algebroids

          Formal Lie groupoids




          \infty-Lie groupoids

          \infty-Lie groups

          \infty-Lie algebroids

          \infty-Lie algebras



          A local Lie group (rarely also called Lie groupuscule) is a local / stalkwise version of a Lie group, containing information about the product operation in arbitrary small open neighborhoods of the unit element; the multiplication is defined only when the factors are sufficiently close to the unit element, and if the consecutive products of triples in both ways are defined they are associative. To every local Lie group one functorially associates its Lie algebra.

          Every real Lie algebra is a Lie algebra of some local Lie group. Or in more modern and precise phrasing, the category of real local Lie groups is equivalent to the category of finite-dimensional real Lie algebras. This has been proved by Sophus Lie as his famous third theorem. The extension to the global Lie theory has been possible only after works of Élie Cartan, who extended the equivalence to the equivalence between the category of real Lie algebras and connected simply connected Lie groups.

          Examples of sequences of local structures

          geometrypointfirst order infinitesimal\subsetformal = arbitrary order infinitesimal\subsetlocal = stalkwise\subsetfinite
          \leftarrow differentiationintegration \to
          smooth functionsderivativeTaylor seriesgermsmooth function
          curve (path)tangent vectorjetgerm of curvecurve
          smooth spaceinfinitesimal neighbourhoodformal neighbourhoodgerm of a spaceopen neighbourhood
          function algebrasquare-0 ring extensionnilpotent ring extension/formal completionring extension
          arithmetic geometry𝔽 p\mathbb{F}_p finite field p\mathbb{Z}_p p-adic integers (p)\mathbb{Z}_{(p)} localization at (p)\mathbb{Z} integers
          Lie theoryLie algebraformal grouplocal Lie groupLie group
          symplectic geometryPoisson manifoldformal deformation quantizationlocal strict deformation quantizationstrict deformation quantization

          Last revised on February 7, 2013 at 14:12:56. See the history of this page for a list of all contributions to it.