Dan Piponi on Nostr: Let me take a first step at explaining my computation, assuming differential geometry ...
Let me take a first step at explaining my computation, assuming differential geometry knowledge.
People working with the exponential map often cheat! Their group may lie in a larger algebra, eg. the n by n matrices, and then you can compute exp via its power series. But that makes no sense here. Our group operation isn't inherited from a containing algebra. This is a good exercise in dealing with exp "intrinsically".
My starting point was the definition of exp(tX) at Wikipedia.
exp: 𝔤→G
with
(d/dt)exp(tX)=exp(tX)⋅X
The LHS and RHS are both tangent vectors at exp(tX).
t→exp(tX) is a path in G so (d/dt)exp(tX) is literally the tangent vector to this path at exp(tX). This vector is the derivation that takes a scalar field f to (d/dt)f(exp(tX)).
X is itself a tangent vector at id. So it is also a derivation, taking f to (d/dt)f(γ(t)) at t = 0, for some curve γ.
exp(tX)⋅X
is the action of the group element exp(tX) on the vector X. By definition, this group action comes from multiplying the path γ(t) by group elements exp(tX). Ie. exp(tX)⋅X is the derivation that takes f to (d/ds)(exp(tX)⋅γ(s)) at s=0.
The original (d/dt)exp(tX)=exp(tX)⋅X becomes the requirement that for any scalar f on the group:
(d/dt)(f(exp(tX)) = (d/ds)f(exp(tX)⋅γ(s))
In particular this is true if we choose f to be coordinates x or y considered as scalar functions on the curve.
Squint and this is similar to the Mathematica code except I (1) swapped t and s (2) took a limit and (3) accidentally wrote the arguments to ⊕ the wrong way round (irrelevant for a commutative group).
What's missing? Explaining my choice of γ, explaining the limit, and a subtlety over whether s is real or complex.
https://en.wikipedia.org/wiki/Exponential_map_(Lie_theory)Published at
2025-04-14 02:25:48Event JSON
{
"id": "e770c2291945668ad1693c76b3171afc5ee5dbfb5de9cd664ea1007f26b83136",
"pubkey": "3422fcbc32f333fb2d3481b2e981258af8a0b571869cbfe93c42962410e232ef",
"created_at": 1744597548,
"kind": 1,
"tags": [
[
"e",
"c6ccfb086a072897337ee2ae051998184377345ccc0fd1722b7d9b78a3f09c2a",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/dpiponi/statuses/114333944950677298",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Let me take a first step at explaining my computation, assuming differential geometry knowledge.\n\nPeople working with the exponential map often cheat! Their group may lie in a larger algebra, eg. the n by n matrices, and then you can compute exp via its power series. But that makes no sense here. Our group operation isn't inherited from a containing algebra. This is a good exercise in dealing with exp \"intrinsically\".\n\nMy starting point was the definition of exp(tX) at Wikipedia.\n\nexp: 𝔤→G\n\nwith\n\n(d/dt)exp(tX)=exp(tX)⋅X\n\nThe LHS and RHS are both tangent vectors at exp(tX).\n\nt→exp(tX) is a path in G so (d/dt)exp(tX) is literally the tangent vector to this path at exp(tX). This vector is the derivation that takes a scalar field f to (d/dt)f(exp(tX)).\n\nX is itself a tangent vector at id. So it is also a derivation, taking f to (d/dt)f(γ(t)) at t = 0, for some curve γ.\n\nexp(tX)⋅X\n\nis the action of the group element exp(tX) on the vector X. By definition, this group action comes from multiplying the path γ(t) by group elements exp(tX). Ie. exp(tX)⋅X is the derivation that takes f to (d/ds)(exp(tX)⋅γ(s)) at s=0.\n\nThe original (d/dt)exp(tX)=exp(tX)⋅X becomes the requirement that for any scalar f on the group:\n\n(d/dt)(f(exp(tX)) = (d/ds)f(exp(tX)⋅γ(s))\n\nIn particular this is true if we choose f to be coordinates x or y considered as scalar functions on the curve.\n\nSquint and this is similar to the Mathematica code except I (1) swapped t and s (2) took a limit and (3) accidentally wrote the arguments to ⊕ the wrong way round (irrelevant for a commutative group).\n\nWhat's missing? Explaining my choice of γ, explaining the limit, and a subtlety over whether s is real or complex.\n\nhttps://en.wikipedia.org/wiki/Exponential_map_(Lie_theory)",
"sig": "4d7e5316cb8e8568810b722e3c8389e2b1576402133da709fe0110e4d56b37049813f32f7e36486f2d0a2fcf70a51abe8fa1af7a9d7fa91c65d19cce7246cde8"
}