Skip to main content
added 3 characters in body
Source Link

These maps can never be equal unless your manifold has dimension zero.

This has a rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v T_p M$ for some fixed $v\in T_p M$, we see that $d{\exp^M}$ takes values in a neighborhood of $0$ in $T_0 T_{\exp(v)}M$$ T_{\exp(v)}M$, while $\exp^{TM}$ takes values near $T_v TM$$v$ in $TM$. Since $\exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

These maps can never be equal unless your manifold has dimension zero.

This has a rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v T_p M$ for some fixed $v\in T_p M$, we see that $d{\exp^M}$ takes values in a neighborhood of $0$ in $T_0 T_{\exp(v)}M$, while $\exp^{TM}$ takes values near $T_v TM$. Since $\exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

These maps can never be equal unless your manifold has dimension zero.

This has a rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v T_p M$ for some fixed $v\in T_p M$, we see that $d{\exp^M}$ takes values in a neighborhood of $0$ in $ T_{\exp(v)}M$, while $\exp^{TM}$ takes values near $v$ in $TM$. Since $\exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

`exp` -> `\exp`
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

These maps can never be equal unless your manifold has dimension zero.

This has a rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v T_p M$ for some fixed $v\in T_p M$, we see that $dexp^M$$d{\exp^M}$ takes values in a neighborhood of $0$ in $T_0 T_{exp(v)}M$$T_0 T_{\exp(v)}M$, while $exp^{TM}$$\exp^{TM}$ takes values near $T_v TM$. Since $exp(v)$$\exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

These maps can never be equal unless your manifold has dimension zero.

This has rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v T_p M$ for some fixed $v\in T_p M$, we see that $dexp^M$ takes values in a neighborhood of $0$ in $T_0 T_{exp(v)}M$, while $exp^{TM}$ takes values near $T_v TM$. Since $exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

These maps can never be equal unless your manifold has dimension zero.

This has a rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v T_p M$ for some fixed $v\in T_p M$, we see that $d{\exp^M}$ takes values in a neighborhood of $0$ in $T_0 T_{\exp(v)}M$, while $\exp^{TM}$ takes values near $T_v TM$. Since $\exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

added 9 characters in body
Source Link

These maps can never be equal unless your manifold has dimension zero.

This has rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v TM$$T_v T_p M$ for some fixed $v\in TM$$v\in T_p M$, we see that $dexp^M$ takes values in a neighborhood of $0$ in $TT_{exp(v)}M$$T_0 T_{exp(v)}M$, while $exp^{TM}$ takes values near $T_v TM$. Since $exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

These maps can never be equal unless your manifold has dimension zero.

This has rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v TM$ for some fixed $v\in TM$, we see that $dexp^M$ takes values in a neighborhood of $0$ in $TT_{exp(v)}M$, while $exp^{TM}$ takes values near $T_v TM$. Since $exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

These maps can never be equal unless your manifold has dimension zero.

This has rather trivial reason. If we look at both of these maps on a neighborhood of $0$ in $T_v T_p M$ for some fixed $v\in T_p M$, we see that $dexp^M$ takes values in a neighborhood of $0$ in $T_0 T_{exp(v)}M$, while $exp^{TM}$ takes values near $T_v TM$. Since $exp(v)$ tends to be different in $M$ from the basepoint of $v$, these have no chance of generic equality.

Source Link
Loading