A vector field along an embedded submanifold extends to a neighbourhood and globally when the submanifold is closed

By [L1], every point of $S$ has a slice chart $(U_{\alpha },x_{\alpha })$ in which $S\cap U_{\alpha }$ is given by $x_{\alpha }^{k+1}=\cdots =x_{\alpha }^n=0$. On that slice, $Y$ has smooth coordinate components, so extending those coefficient functions constantly in the normal coordinates defines a smooth vector field ${\tilde{Y}}_{\alpha }$ on $U_{\alpha }$.

The open sets $U_{\alpha }$ cover $S$. Choose a smaller open neighbourhood $U\subseteq {\bigcup }_{\alpha }{U}_{\alpha }$ of $S$, and by [L2] choose a partition of unity $({\rho }_{\alpha })$ on $U$ subordinate to $(U_{\alpha }\cap U)$. Then $\tilde{Y}:={\sum }_{\alpha }{\rho }_{\alpha }{\tilde{Y}}_{\alpha }$ is a smooth vector field on $U$, and on $S$ the coefficients sum to those of $Y$, so $\tilde{Y}{\mathrm{\mid }}_S=Y$.

Assume now that $S$ is closed. By [L4], $S$ has an open tubular neighbourhood $V$, and step 2.1 gives a smooth extension $\tilde{Y}$ on some neighbourhood $U$ of $S$. Replace $U$ by $U\cap V$, which is still an open neighbourhood of $S$.

Because $S$ is closed in the open set $U$, [L3] gives a smooth function $\chi :M\to \mathbb{R}$ with $\chi =1$ on $S$ and $\mathrm{supp}\chi \subseteq U$. Define $\widehat{Y}:=\chi \tilde{Y}$ on $U$ and $\widehat{Y}:=0$ on $M\setminus \mathrm{supp}\chi$. This is a smooth global vector field and restricts to $Y$ on $S$.

Therefore every smooth vector field along an embedded submanifold extends to a neighbourhood, and to all of $M$ when the submanifold is closed.