Tangent Lie Group¶
The Lie group obtained by differentiating a Lie group's multiplication, whose tangent bundle is an adjoint-action semidirect product with its own Lie algebra.
Core Idea¶
A tangent Lie group starts with a Lie group G and gives its tangent bundle TG a group operation by differentiating G's multiplication and inversion.[1] It is therefore more specific than a tangent bundle of an arbitrary manifold.
After choosing coordinates that identify tangent vectors with elements of G's own Lie algebra g, TG becomes a semidirect product: the normal component is g under addition, and G acts on it through its adjoint action.[1][2] The component and action come from the same G. One cannot choose them independently and still call the result the tangent group of G.
Scope of Application¶
Michor derives this construction for any Lie group G.[1] Agricola and Ferreira use it for connected G and prove a metric result when G is compact, connected, and has a bi-invariant metric.[2] The extra hypotheses belong to that metric theorem, not to the general tangent-group identity.
An equation for the group law also needs a stated trivialization. In Michor's right-trivialized coordinates, (X,a)(Y,b) = (X + Ad(a)Y, ab).[1] Another coordinate convention displays the adjoint term differently without changing the underlying tangent group.[1]
Clarity¶
Ask three separate questions: Is the carrier the tangent bundle of G? Does it have the derivative group law? Does the stated pair formula match the chosen trivialization? Michor's Section 6.7 answers all three for the construction.[1] A pair of a group element and a vector, with no specified action or base-tangent relation, is insufficient.
Manages Complexity¶
The construction lets the same roles be checked each time: base G, its tangent bundle, its own additive g, its own Ad, and a coordinate convention. This makes an application easier to compare without assuming that all applications have the same extra geometry or dynamics. Agricola and Ferreira study metrics on tangent groups over compact bases; Capriotti and Montani use iterated tangent groups in integrable dynamics.[2][3]
Abstract Reasoning¶
First name G and derive its g. Differentiate multiplication and inversion to obtain the law on TG.[1] Then choose a trivialization before writing a pair formula. Test that the normal additive factor is this same g and the twist is this same G's Ad.[1] If either ingredient is independently replaced, the resulting group may still be a semidirect product but is no longer this tangent-group construction.
Knowledge Transfer¶
The rule can be applied again after one tangent group has been formed. Capriotti and Montani start from H0 = SL(2,C), form H1 from H0 and its own Lie algebra, then form H2 from H1 and its own Lie algebra.[3] This is literal iteration within Lie theory. It does not license calling any “group plus small change” system a tangent Lie group.
Examples¶
Geometry over compact SU(2). Agricola and Ferreira describe the tangent group of SU(2) as the adjoint semidirect product of SU(2) with an additive three-dimensional Lie algebra.[2] Their broader theorem gives a family of naturally reductive metrics on TG when the base G has the specified compactness and metric properties.[2] The tangent group itself includes the additive vector factor and need not be compact.
Iterated phase space. Capriotti and Montani first form H1 as the tangent group of SL(2,C), then form H2 as the tangent group of H1.[3] They use H2 as the phase space for their Dirac-bracket dynamics.[3] At that level, H1 is the base, its own Lie algebra is the additive factor, and its own adjoint action twists the product.[3]
Relationships to Other Abstractions¶
Current abstraction Tangent Lie Group Domain-specific
Parents (1) — outgoing typed relations
-
Tangent Lie Group is a kind of Semidirect Product Domain-specific
A tangent Lie group is the semidirect product of G with its own additive Lie algebra under its own adjoint action.
Hierarchy path (1) — routes to 1 parentless root
- Tangent Lie Group → is a kind of Semidirect Product → is a kind of Zappa–Szép product → is a kind of Composition → presupposes Gestalt Principles → is a decomposition of Holism
Neighborhood in Abstraction Space¶
Tangent Lie Group sits in a moderately populated region (52nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Algebraic Structures, Groups & Operators (44 abstractions)
Nearest neighbors
- Derivative of the Exponential Map — 0.87
- Crossed Product Algebra — 0.86
- Complex conjugate representation — 0.86
- Lie Bracket of Vector Fields — 0.85
- Division Algebra — 0.85
Computed from structural-signature embeddings · 2026-10-25
Not to Be Confused With¶
-
Tangent bundle: every smooth manifold has one, but the derivative group law requires a base Lie group.[1]
-
Semidirect Product: the broader construction permits factors and actions not tied to one base group; tangent Lie groups fix both to G, g, and Ad.[1]
-
Cotangent construction: replacing the Lie-algebra factor with its dual changes the construction.
-
A metric or integrable system: these are additional results on selected tangent groups under additional assumptions.[2][3]
References¶
[1] Peter W. Michor, Topics in Differential Geometry (2008), Chapter II, §6.7, printed p. 74 (PDF p. 83), tangent-group lemma and following remark. Authored full textbook passage checked for arbitrary G, derivative group law, and coordinate conventions. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j
[2] Ilka Agricola and Ana Cristina Ferreira, “Tangent Lie groups are Riemannian naturally reductive spaces” (2016), §2.1 and §2.2 Definition 2.4, Theorem 2.5. Original research full text checked. registry ↩a ↩b ↩c ↩d ↩e ↩f
[3] S. Capriotti and H. Montani, “Integrable systems on semidirect product Lie groups” (2013), §2 equation (1), §§6.1–6.4, especially §6.3 for H2 as phase space. Original research full text checked. registry ↩a ↩b ↩c ↩d ↩e ↩f