2
$\begingroup$

The statement: Let $M$ and $N$ be smooth manifolds, and let $G$ be a Lie group. Suppose $F:M\rightarrow N$ is a smooth map that is equivariant with respect to a transitive smooth $G$-action on $M$, and any smooth $G$-action on $N$. Then $F$ has constant rank.

Proof: Let $\theta$ and $\phi$ denote the $G$-actions on $M$ and $N$, respectively, and choose $p_0\in M$. For an arbitrary point $p$ we can find a $g$ so that $\theta_g(p_0)=p$. By equivariance, we have $\phi_g\circ F=F\circ\phi_g$, so applying the pushforward functor, we get the following commutative diagram:

$ \newcommand{\ra}[1]{\!\!\!\!\!\!\!\!\xrightarrow{\quad#1\quad}\!\!\!\!\!\!\!\!} \newcommand{\da}[1]{\left\downarrow{\scriptstyle#1}\vphantom{\displaystyle\int_0^1}\right.} % \begin{array}{lll} T_{p_0}M & \ra{F_*} & T_{F(p_0)}N \\ \da{\theta_{g*}} & & \da{\phi_{g*}} \\ T_pM & \ra{F_*} & T_{F(p)}N\\ \end{array} $

The proof then says that $\theta_{g*}$ and $\phi_{g*}$ are linear isomorphisms, which is where I'm confused. Does this follow from the fact that $\theta_g$ and $\phi_g$ are diffeomorphisms? If so, is it true in general, i.e. if $\varphi:M\rightarrow N$ is a diffeomorphism, is $\varphi_*:T_pM\rightarrow T_{\varphi(p)}N$ an isomorphism?

  • 2
    I should also point out that even though what you say is true, you can map $T_pM$ isomorphically to $T_{\phi (p)}N$ just by a bijection of basis vectors (diffeomorphisms preserve dimension) it only says that they are "abstractly isomorphic" and it doesn't tell you that the map $\phi_*$ is an isomorphism.2012-02-20

0 Answers 0