1
$\begingroup$

Suppose we have four smooth maps between smoot manifolds:

$$f: M \rightarrow X$$ $$g: X \rightarrow N$$ $$h: M \rightarrow Y$$ $$i: Y \rightarrow N$$

an the equation on compositions of jets

$$j_m(g \circ f) = j_m(i \circ h)$$

Then are there allways representatives $$f' \in j_mf$$ $$g' \in j_xg$$ $$h' \in j_mh$$ $$i' \in j_yi$$

with $f(m)=x$ and $h(m)=y$ and

$$(g \circ f)(m') = (i \circ h)(m')$$

for all $m'$ on a neighbourood of $m$ ?

I guess it is yes but I can't see how to proof it.

  • 0
    Hint for your actual question: you are looking at a purely local statement, so you can replace all your smooth manifolds by neighbour hoods of 0 in Euclidean spaces, and assume that $m = x = y = g(x) = i(y) = 0$. So your statement becomes one about Taylor polynomials. Can you see how to solve the problem in this case?2012-02-08
  • 0
    What is the point here? This is not a students guide. If you know the answer post it and don't blame me giving 'hints' ...2012-02-10

0 Answers 0