Skip to content

Commit

Permalink
Improvements of apply_diff_group docs
Browse files Browse the repository at this point in the history
More details; fix some typo; use "tangent" instead of "differential".
  • Loading branch information
olivierverdier authored Oct 27, 2023
1 parent fad4c4d commit 9a2440a
Showing 1 changed file with 7 additions and 6 deletions.
13 changes: 7 additions & 6 deletions src/groups/group_action.jl
Original file line number Diff line number Diff line change
Expand Up @@ -115,14 +115,15 @@ Compute the value of differential of action [`AbstractGroupAction`](@ref) `A` on
where element `a` is acting on `p`, with respect to the group element.
Let ``\mathcal G`` be the group acting on manifold ``\mathcal M`` by the action `A`.
The action is of element ``g ∈ \mathcal G`` on a point ``p ∈ \mathcal M``.
The differential transforms vector `X` from the tangent space at ``a ∈ \mathcal G``,
``X ∈ T_a \mathcal G`` into a tangent space of the manifold ``\mathcal M``.
When action on element `p` is written as ``\mathrm{d}τ^p``, with the specified left or right
convention, the differential transforms vectors
The action is of element ``a ∈ \mathcal G`` on a point ``p ∈ \mathcal M``,
and is denoted ``τ^p(a)``.
The tangent map ``T τ^p`` thus transforms a vector ``X ∈ T_a \mathcal G``
from the tangent space at ``a ∈ \mathcal G``,
into a vector of the tangent space at ``τ^p(a) ∈ \mathcal M``.
In other words, the tangent map ``Tτ^p`` transforms vectors as:
````math
(\mathrm{d}τ^p) : T_{a} \mathcal G → T_{τ_a p} \mathcal M
T τ^p : T_{a} \mathcal G → T_{τ^p(a)} \mathcal M
````
# See also
Expand Down

0 comments on commit 9a2440a

Please sign in to comment.