 on $M$ to a vector field $\mathbf{u}^{\#}$ on the tangent bundle $TM$. The components of $\mathbf{u}^{\#}$ with respect to the coordinate system $(x^i,y^i)$ are $$\begin{aligned}
 \left(u^i(x),\frac{\partial u^i}{\partial x^j}(x) y^j\right). \end{aligned}$$ Now the associated differential operator for $\mathbf{u}^{\#}\in\mathrm{Vect}(TM)$ that acts on smooth functions on $TM$ will be $$u^i(x)\frac{\partial}{\partial x^i} + \frac{\partial u^i}{\partial x^j}(x)y^j \frac{\partial}{\partial y^i}.$$ The crucial property of complete lifts is that the assignment $\mathbf{u}\mapsto\mathbf{u}^{\#}$ is a *Lie algebra homomorphism* $\mathrm{Vect}(M)\rightarrow\mathrm{Vect}(TM)$ with respect to the commutator bracket of vector fields on $M$ and $TM$ respectively. Symbolically this is $$\begin{aligned}
\label{homo1}
    \left([\mathbf{u},\mathbf{v}]_M\right)^{\#} = \left[\mathbf{u}^{\#},\mathbf{v}^{\#}\right]_{TM},\end{aligned}$$ which can be checked by direct computation or otherwise. (The subscripts indicate the space on which the vector fields live.) A proof sketch can be found in appendix **\[app:diff\]**.

This immediately implies that vector fields $\mathbf{u}\in\mathrm{Vect}(M)$ on $M$ can act on functions $f\in C^\infty(TM)$ on $TM$ via $f\mapsto \mathbf{u}^{\#}\cdot f$, and moreover this action is a Lie algebra representation: $$\begin{aligned}
\left[\mathbf{u}^{\#},\mathbf{v}^{\#}\right]_{TM} \cdot f = \mathbf{u}^{\#}\cdot\mathbf{v}^{\#}\cdot f - \mathbf{v}^{\#}\cdot\mathbf{u}^{\#}\cdot f = \left([\mathbf{u},\mathbf{v}]_M\right)^{\#} \cdot f.\end{aligned}$$ Thus we can add this representation of $\mathrm{Vect}(M)$ on $
on $ M$ to a vector field $ \mathbf{u}^{\#}$ on the tangent bundle $ TM$. The components of $ \mathbf{u}^{\#}$ with respect to the coordinate arrangement $ (x^i, y^i)$ are $ $ \begin{aligned } 
  \left(u^i(x),\frac{\partial u^i}{\partial x^j}(x) y^j\right). \end{aligned}$$ nowadays the associated differential operator for $ \mathbf{u}^{\#}\in\mathrm{Vect}(TM)$ that acts on fluent functions on $ TM$ will be $ $ u^i(x)\frac{\partial}{\partial x^i } + \frac{\partial u^i}{\partial x^j}(x)y^j \frac{\partial}{\partial y^i}.$$ The crucial place of complete lifts is that the assignment $ \mathbf{u}\mapsto\mathbf{u}^{\#}$ is a * Lie algebra homomorphism * $ \mathrm{Vect}(M)\rightarrow\mathrm{Vect}(TM)$ with esteem to the commutator bracket of vector fields on $ M$ and $ TM$ respectively. Symbolically this is $ $ \begin{aligned } 
 \label{homo1 } 
     \left([\mathbf{u},\mathbf{v}]_M\right)^{\ # } = \left[\mathbf{u}^{\#},\mathbf{v}^{\#}\right]_{TM},\end{aligned}$$ which can be checked by lineal computation or otherwise. (The subscripts indicate the quad on which the vector fields live .) A proof sketch can be found in appendix * * \[app: diff\ ] * *. 

 This immediately imply that vector fields $ \mathbf{u}\in\mathrm{Vect}(M)$ on $ M$ can act on functions $ f\in C^\infty(TM)$ on $ TM$ via $ f\mapsto \mathbf{u}^{\#}\cdot f$, and furthermore this action is a Lie algebra representation: $ $ \begin{aligned } 
 \left[\mathbf{u}^{\#},\mathbf{v}^{\#}\right]_{TM } \cdot f = \mathbf{u}^{\#}\cdot\mathbf{v}^{\#}\cdot f - \mathbf{v}^{\#}\cdot\mathbf{u}^{\#}\cdot f = \left([\mathbf{u},\mathbf{v}]_M\right)^{\ # } \cdot f.\end{aligned}$$ therefore we can add this theatrical performance of $ \mathrm{Vect}(M)$ on $
 on $M$ to a vector field $\matmbf{u}^{\#}$ on the tanggnr bundne $TM$. Fhe compunents of $\mathbf{u}^{\#}$ with respert ti the coordinate system $(x^i,y^k)$ are $$\begpn{aligned}
 \lefu(u^i(x),\frac{\partial u^m}{\lartial x^j}(x) y^n\vight). \xnd{aligned}$$ Now jhe associatad differentian upzrator for $\mathbf{u}^{\#}\in\mathrm{Vect}(TM)$ thae acts pn smooth functijns pg $TM$ will be $$u^i(x)\frac{\partial}{\partial x^i} + \frac{\pagtial u^i}{\partial x^k}(x)y^j \frac{\partial}{\partial y^i}.$$ The crucial property lf complete lifew is that thd assignment $\mathbf{u}\maksto\mathbf{u}^{\#}$ is a *Lie algebra homumorpkism* $\mathrm{Cext}(M)\ghghtarrow\mavhrm{Vebt}(TM)$ with resivct to dhe comkutator brackeb of tectir fields on $M$ and $TM$ respectively. Symbjlically dhns is $$\begin{aligned}
\labwl{yomo1}
    \laft([\mxrhbw{u},\mztibf{b}]_M\righh)^{\#} = \meft[\mathbf{h}^{\#},\mathbf{v}^{\#}\rigyt]_{TM},\end{aligned}$$ whicn sqn be checked by diwest computation or otherwise. (The subscrikts ihdicate the space on whuch the vector fields live.) A pwoof sketch can be found in appendix **\[app:diff\]**.

This hmmedmagelv implkws that vector fields $\mathbf{u}\in\mathrm{Vect}(M)$ on $M$ dam sct on functioks $f\in C^\infty(TM)$ on $TL$ fya $f\mapsto \majhbf{u}^{\#}\cdot r$, and moreover thid actiog is q Lie algtbra tepresentation: $$\begin{aligned}
\oeft[\mathbf{u}^{\#},\mcthvf{v}^{\#}\right]_{TM} \cdot f = \mathbf{u}^{\#}\cdoc\mathbg{v}^{\#}\cdoy f - \mathbf{v}^{\#}\cdot\mathbf{u}^{\#}\edot f = \left([\mathbv{u},\mathbf{v}]_J\fight)^{\#} \cdot f.\end{auigked}$$ Thus we can add this reprqsentatioi of $\kathrm{Vdct}(M)$ on $
on $M$ to a vector field $\mathbf{u}^{\#}$ tangent $TM$. The of $\mathbf{u}^{\#}$ with $(x^i,y^i)$ $$\begin{aligned} \left(u^i(x),\frac{\partial u^i}{\partial y^j\right). \end{aligned}$$ Now associated differential operator for $\mathbf{u}^{\#}\in\mathrm{Vect}(TM)$ that on smooth functions on $TM$ will be $$u^i(x)\frac{\partial}{\partial x^i} + \frac{\partial u^i}{\partial x^j}(x)y^j y^i}.$$ The crucial property of complete lifts is that the assignment $\mathbf{u}\mapsto\mathbf{u}^{\#}$ is *Lie homomorphism* with to the commutator bracket of vector fields on $M$ and $TM$ respectively. Symbolically this is $$\begin{aligned} \left([\mathbf{u},\mathbf{v}]_M\right)^{\#} = \left[\mathbf{u}^{\#},\mathbf{v}^{\#}\right]_{TM},\end{aligned}$$ which can be checked by computation or otherwise. (The indicate the space on which vector live.) A sketch be in appendix **\[app:diff\]**. immediately implies that vector fields $\mathbf{u}\in\mathrm{Vect}(M)$ on $M$ can act on functions $f\in C^\infty(TM)$ on $TM$ via \mathbf{u}^{\#}\cdot f$, this action a algebra $$\begin{aligned} \left[\mathbf{u}^{\#},\mathbf{v}^{\#}\right]_{TM} \cdot \mathbf{u}^{\#}\cdot\mathbf{v}^{\#}\cdot f - \mathbf{v}^{\#}\cdot\mathbf{u}^{\#}\cdot f = Thus we can add this representation of $\mathrm{Vect}(M)$ $
 on $M$ to a vector field $\mathbf{u}^{\#}$ oN the tangenT bundLe $Tm$. ThE cOmpoNentS of $\mathbf{u}^{\#}$ with REspeCt to the coordinate systeM $(x^i,y^i)$ ArE $$\BegiN{AlIgned}
 \Left(u^i(x),\FRaC{\PArtIaL u^I}{\paRtIAl X^j}(x) y^j\RigHt). \end{alIgned}$$ Now thE asSoCiated differENtIal operatoR foR $\mathbf{u}^{\#}\in\maThrM{Vect}(Tm)$ tHat ACts on SmoOth fuNctionS On $TM$ wiLl be $$u^i(x)\frAc{\PArtial}{\PArtial x^I} + \FRaC{\parTial u^i}{\partial x^j}(x)y^J \FrAC{\partial}{\partiaL y^i}.$$ The CrUCiAL ProPerTy of compleTe Lifts IS that thE AsSIGNmeNT $\mathbf{u}\mapstO\mathbf{u}^{\#}$ is a *lIe aLgebra HoMomORphism* $\MathrM{VECt}(M)\Rightarrow\mAthrM{Vect}(TM)$ wiTh respECt to the COmmutatOr bracKet Of vEctoR FiElDs oN $M$ ANd $Tm$ ReSpeCTivEly. SymboLiCaLly thIs is $$\BEGIN{aliGneD}
\labEl{homO1}
    \left([\mathbf{u},\mAthBf{v}]_M\RIghT)^{\#} = \left[\MathbF{u}^{\#},\maThBf{v}^{\#}\riGht]_{TM},\eNd{aliGnEd}$$ which can be cheCked By direct cOmpUtAtiOn Or othERwise. (THe sUbsCripts iNdicate THe sPaCE ON wHich the vector fieldS lIVE.) A Proof skeTch can BE fOuND in appenDiX **\[apP:difF\]**.

tHis imMediATeLy implieS that vECtOr Fields $\mAtHbf{u}\in\MaThrM{VeCt}(M)$ on $m$ Can aCt on fuNctions $f\In C^\inFTy(TM)$ on $TM$ via $f\maPSto \mathbf{u}^{\#}\cdoT F$, aND MoREoveR thIs action is a lie aLGebrA repREsEntATion: $$\bEgin{aLiGNeD}
\Left[\mathbf{u}^{\#},\mathbf{v}^{\#}\rIgHt]_{TM} \cdOt f = \maThbf{u}^{\#}\cdot\mathBf{v}^{\#}\cdot f - \maTHBF{v}^{\#}\cdot\maThbf{U}^{\#}\CdOT f = \left([\mathbf{u},\mAthbf{V}]_M\right)^{\#} \cdoT F.\end{aligNed}$$ ThUs we can aDd this repRESentatioN of $\MatHrm{vecT}(m)$ On $
 on $M$ to a vector field$\mathbf{u }^{\# }$onth e ta ngen t bundle $TM$. Thecomponents of $\mathbf {u}^{ \# } $ wi t hrespe ct to t h ec o ord in at e s ys t em  $(x^ i,y ^i)$ ar e $$\begin {al ig ned}
 \left( u ^i (x),\frac{ \pa rtial u^i}{\ par tial x ^j }(x )  y^j\ rig ht).\end{a l igned} $$ Now th ea ssocia t ed diff e r en tial  operator for $\m a th b f{u}^{\#}\in\m athrm{ Ve c t} ( T M)$  th at acts on  s mooth functio n so n $TM $  will be $$u^ i(x)\frac{\ p art ial}{\ pa rti a l x^i}  + \f ra c {\p artial u^i} {\pa rtial x^j }(x)y^ j  \frac{ \ partial }{\par tia l y ^i}. $ $Th e c ru c ial pr ope r tyof compl et elifts  ist h a t  the  as sign ment$\mathbf{u}\m aps to\m a thb f{u}^ {\#}$  isa*Liealgebr a hom om orphism* $\math rm{V ect}(M)\r igh ta rro w\ mathr m {Vect} (TM )$with re spect t o  th ec o m mu tator bracket of v ec t o rfields o n $M$a nd  $ T M$ respe ct ive ly.S y mboli call y  t his is $ $\begi n {a li gned}
\ la bel{ho mo 1}   \lef t ([\m athbf{ u},\math bf{v} ] _M\right)^{\#} = \left[\math b f{ u } ^{ \ #},\ mat hbf{v}^{\#} \rig h t]_{ TM}, \ en d{a l igned }$$ w hi c hc an be checked by di re ct com putat ion or otherw ise. (Thes u b scriptsindi c at e  the space onwhich  the vecto r  fieldslive. ) A proo f sketchc a n be fou ndinapp end i x  * *\[app:diff\] * * .

T hi s immed iat ely imp lie s t hat  ve ct or fields  $\mathb f{ u} \i n\ mat hrm{V e ct}(M)$on  $M $can  acto n func tions  $f\ in  C ^ \in fty(TM) $  o n $TM$  v ia  $f\ map st o \ma thbf { u}^ {\#}\cd ot f$, an d m o reov er  t his act ion is a Lieal gebra repr es ent ation: $ $\begin{ aligned}
\left[\mathbf{ u }^{\#}, \ma thbf{ v}^{ \#}\right ]_{ TM} \c dot f = \m athbf{ u}^{\ #} \cd o t \math b f {v }^{ \# }\cdot f - \ mat hbf{v }^ {\#} \cdot\m athbf{u}^{\#}\cdot f =  \left([\math bf{ u},\ m a th bf{ v }] _ M\r ig h t)^ { \ #} \cdot f.\end {aligned}$ $T hu s we can a d d t hi s repre sentati on of $\mathr m{Vect}(M )$ on $
 on_$M$ to_a vector field $\mathbf{u}^{\#}$_on the_tangent_bundle $TM$._The_components of $\mathbf{u}^{\#}$_with respect to_the coordinate system $(x^i,y^i)$_are $$\begin{aligned}
 \left(u^i(x),\frac{\partial_u^i}{\partial_x^j}(x) y^j\right). \end{aligned}$$ Now the associated differential operator for $\mathbf{u}^{\#}\in\mathrm{Vect}(TM)$ that acts on smooth_functions_on $TM$_will_be_$$u^i(x)\frac{\partial}{\partial x^i} + \frac{\partial u^i}{\partial_x^j}(x)y^j \frac{\partial}{\partial y^i}.$$ The crucial_property of_complete lifts is that the assignment $\mathbf{u}\mapsto\mathbf{u}^{\#}$ is_a_*Lie algebra homomorphism*_$\mathrm{Vect}(M)\rightarrow\mathrm{Vect}(TM)$ with respect to the commutator bracket of vector_fields on $M$ and $TM$ respectively._Symbolically this is_$$\begin{aligned}
\label{homo1}
__  \left([\mathbf{u},\mathbf{v}]_M\right)^{\#} =_\left[\mathbf{u}^{\#},\mathbf{v}^{\#}\right]_{TM},\end{aligned}$$ which can be checked by_direct computation or otherwise. (The subscripts_indicate the space on which the vector_fields live.) A proof sketch can_be found in appendix **\[app:diff\]**.

This_immediately implies_that vector fields $\mathbf{u}\in\mathrm{Vect}(M)$ on_$M$ can act_on functions_$f\in C^\infty(TM)$ on_$TM$ via $f\mapsto \mathbf{u}^{\#}\cdot f$, and_moreover this action_is a Lie algebra representation: $$\begin{aligned}
\left[\mathbf{u}^{\#},\mathbf{v}^{\#}\right]_{TM}_\cdot_f = \mathbf{u}^{\#}\cdot\mathbf{v}^{\#}\cdot_f_-_\mathbf{v}^{\#}\cdot\mathbf{u}^{\#}\cdot f_= \left([\mathbf{u},\mathbf{v}]_M\right)^{\#} \cdot_f.\end{aligned}$$_Thus we_can_add this representation of $\mathrm{Vect}(M)$ on_$