Return to Question

Post Undeleted by S. Carnahan♦

Post Deleted by Ricardo

2 corrected errors

Let $M$ be a manifold and $g$ a metric on $M$. Let $TM$ denote the tangent bundle of $M$, and denote points in $TM$ by $(x,v)$ where $v \in T_xM$.

The Levi-Civita connection of $(M,g)$ induces a splitting of the double tangent bundle $TTM = V \oplus H$, where $V$ is the vertical distribution, defined by $V_{(x,v)} = T_{(x,v)}T_xM$ (i.e. the tangent space to the fibre), and $H_{(x,v)}$ is the horizontal distribution, which is determined by the connection.

Suppose $A:TM \rightarrow TM$ is a map such that $A(x,v)\in T_xM$ (so the map $A(x,\cdot)$ is a map from $T_xM$ to itself for all $x \in M$).

How does one use the splitting described above to define "partial derivatives" $\nabla_xA$ and $\nabla_vA$, which again should be mapswith

$(\nabla_xA)(x,v)\in T_xM$

for all :

$x (\nabla_xA)(x,v):T_xM \in M$rightarrow T_xM\$,and similarly for

$\nabla_vA$? (\nabla_vA)(x,v):T_xM \rightarrow T_xM\$.

These should have the property that if $\gamma(t)$ is a curve on $M$ and $u(t)$ is a vector field along $\gamma$ (so $u(t) \in T_{\gamma(t)}M$ for all $t$), and $\nabla_t$ denotes the covariant derivative along $\gamma$, then

$\nabla_t(A(\gamma,u)) = (\nabla_xA)(\gamma,u)\dot{\gamma} \nabla_xA)(\gamma,u) \cdot \dot{\gamma} + (\nabla_vA)(\gamma,u)\dot{u}$ \nabla_vA)(\gamma,u) \cdot \nabla_t u\$

(here on the LHS, $A(\gamma,u)$ is itself a vector field along $\gamma$, so the notation $\nabla_t(A(\gamma,u))$ is meaningful).

The expression above "makes sense" intuitively, but I can't get the formalism to work properly.

1

Splitting of the double tangent bundle into vertical and horizontal parts, and defining partial derivatives

Let $M$ be a manifold and $g$ a metric on $M$. Let $TM$ denote the tangent bundle of $M$, and denote points in $TM$ by $(x,v)$ where $v \in T_xM$.

The Levi-Civita connection of $(M,g)$ induces a splitting of the double tangent bundle $TTM = V \oplus H$, where $V$ is the vertical distribution, defined by $V_{(x,v)} = T_{(x,v)}T_xM$ (i.e. the tangent space to the fibre), and $H_{(x,v)}$ is the horizontal distribution, which is determined by the connection.

Suppose $A:TM \rightarrow TM$ is a map such that $A(x,v)\in T_xM$ (so the map $A(x,\cdot)$ is a map from $T_xM$ to itself for all $x \in M$).

How does one use the splitting described above to define "partial derivatives" $\nabla_xA$ and $\nabla_vA$, which again should be maps with

$(\nabla_xA)(x,v)\in T_xM$

for all $x \in M$, and similarly for $\nabla_vA$?

These should have the property that if $\gamma(t)$ is a curve on $M$ and $u(t)$ is a vector field along $\gamma$ (so $u(t) \in T_{\gamma(t)}M$ for all $t$), and $\nabla_t$ denotes the covariant derivative along $\gamma$, then

$\nabla_t(A(\gamma,u)) = (\nabla_xA)(\gamma,u)\dot{\gamma} + (\nabla_vA)(\gamma,u)\dot{u}$

(here on the LHS, $A(\gamma,u)$ is itself a vector field along $\gamma$, so the notation $\nabla_t(A(\gamma,u))$ is meaningful).

The expression above "makes sense" intuitively, but I can't get the formalism to work properly.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 70, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9206181764602661, "perplexity_flag": "head"}