Definition 3.1 (Normal coordinates) . [04ZE] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Definition 3.1 (Normal coordinates).
For any ( q , v ) ∈ 𝔖 0 (q,v)\in\mathfrak{S}_{0} with v = ∑ α = 1 k 0 v α e α v=\sum\limits_{\alpha=1}^{k_{0}}v_{\alpha}e_{\alpha} , the local normal coordinates are defined as follows
(3.5)
{ x j ( Exp P ( q , v ) ) ≡ x j ′ ( q ) , 1 ≤ j ≤ m − k 0 , y β ( Exp P ( q , v ) ) ≡ v β , 1 ≤ β ≤ k 0 . \displaystyle\begin{cases}x_{j}(\Exp_{P}(q,v))\equiv x_{j}^{\prime}(q),&1\leq j\leq m-k_{0},\\
y_{\beta}(\Exp_{P}(q,v))\equiv v_{\beta},&1\leq\beta\leq k_{0}.\end{cases}