Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-115/2/f/solution

Let be the vanishing ideal of an embedded submanifold. Tangency says . Hence, for ,
so the criterion from part (d) makes tangent to .
In adapted coordinates, the tangential coefficients of the displayed bracket use only the restrictions of the tangential coefficients of and their derivatives along ; all normal coefficients vanish there. Consequently
so the restriction depends only on and . This is tangency under the Lie bracket.

New to topics? Read the docs here!