According to nlab on Lie integration, The Lie integration of $\mathfrak{a}$ is essentially the simplicial object whose k-cells are the d-paths in $\mathfrak{a}$, where $\mathfrak{a}$ is a $\infty$-Lie Algebroid. A $k$-path is an element \begin{equation} \Sigma \in \text{Hom}_{\infty \text{LieAlgd}}(T\Delta^k,\mathfrak{a}) \end{equation} From which one can deduce a morphism of dg-algebras: \begin{equation} \Sigma^\ast \in \text{Hom}_{\text{dgAlg}}(\text{CE}(\mathfrak{a}),\Omega^\bullet(\Delta^k)) \end{equation} where $\text{CE}(\mathfrak{a})$ is the Chevalley-Eilenberg algebra of $\mathfrak{a}$, and $\Omega^\bullet$ is the de Rham complex. Why is it called integration? What it have to do with the usual notion of integration of differential forms?
2026-03-30 13:34:39.1774877679
Why Lie integration is called "integration"?
436 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in INTEGRATION
- How can I prove that $\int_0^{\frac{\pi}{2}}\frac{\ln(1+\cos(\alpha)\cos(x))}{\cos(x)}dx=\frac{1}{2}\left(\frac{\pi^2}{4}-\alpha^2\right)$?
- How to integrate $\int_{0}^{t}{\frac{\cos u}{\cosh^2 u}du}$?
- Show that $x\longmapsto \int_{\mathbb R^n}\frac{f(y)}{|x-y|^{n-\alpha }}dy$ is integrable.
- How to find the unit tangent vector of a curve in R^3
- multiplying the integrands in an inequality of integrals with same limits
- Closed form of integration
- Proving smoothness for a sequence of functions.
- Random variables in integrals, how to analyze?
- derive the expectation of exponential function $e^{-\left\Vert \mathbf{x} - V\mathbf{x}+\mathbf{a}\right\Vert^2}$ or its upper bound
- Which type of Riemann Sum is the most accurate?
Related Questions in HIGHER-CATEGORY-THEORY
- Quillen equivalence between sSet (Joyal's model structure) and sSetCat (Bergner's one)
- What is an intuitive Geometrical explanation of a "sheaf?"
- $\infty$-categories definition disambiguation
- Applications of $\infty$-categories
- Simplicial categories and simplicial objectcs. HTT Remark 1.1.4.2
- $n$-categories and associahedrons.
- Weak notion of equivalence in a category
- The $2$-category of monoids
- Higher homotopy groups in terms of the fundamental groupoid
- Pseudolimits equivalent to limits
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
The functor that implements the equivalence between simply connected Lie groups and Lie algebras sends a simply connected Lie group to its tangent space at the origin equipped with the appropriate Lie bracket, and a morphism of simply connected Lie groups to its derivative at the origin.
Thus, the inverse functor reconstructs morphisms of Lie groups from their derivatives at the origin, so is referred to as the integration functor.
More generally, Lie integration explains how to reconstruct a smooth function X→G, where X is a connected smooth manifold and G is a Lie group, from its value at some point of X and its derivative (a differential 1-form on X valued in the Lie algebra of G). A necessary and sufficient condition for this is that the Maurer–Cartan equation holds. In this case, the original function can be uniquely reconstructed from the given data, and the process is naturally called integration, since it generalizes the usual integration on a line.