 to construct a Lie contact structure on $M$ from the later data. In general, the Levi bracket is a section of the bundle ${\Lambda}^2 H^*\otimes TM/H$, which decomposes according to the isomorphism $H\cong L^*\otimes R$ as $({\Lambda}^2L\otimes S^2R^*\otimes TM/H)\oplus(S^2L\otimes{\Lambda}^2R^*\otimes TM/H)$. Since we assume ${\varphi}\otimes R$ is isotropic with respect to $\L$, for any ${\varphi}$, the Levi bracket $\L$ factorizes through the first summand only. Since we assume a fixed identification of line bundles ${\Lambda}^2L^*$ and $TM/H$, i.e. a trivialization of ${\Lambda}^2L\otimes TM/H$, the Levi bracket determines a (non-degenerate) bundle metric on $R$, which accomplishes the Lie contact structure on $M$. In particular, if $O(R_x)$ is the group of orthogonal transformations of $R_x$ according to this inner product, then the Levi bracket is by construction invariant under the action of $O(R_x)$, over each $x\in M$.

Split quaternions {#2.4}
-----------------

The algebra of *split quaternions* $\H_s$ is the four-dimensional real algebra admitting a basis $(1,i,j,k)$ such that $i^2=j^2=1$ and $k=ij=-ji$ (consequently $k^2=-1$, $kj=-jk=i$, etc.). As an associative algebra, $\H_s$ is isomorphic to the space of $2\x2$ real matrices so that the norm on $\H_s$ corresponds to the determinant. This correspondence is explicitly given by $$\label{eq5}
  1\mapsto{\begin{pmatrix}1&0\\0&1\end{pmatrix}},\ i\mapsto{\begin{pmatrix}1&0\\0&-1\end{pmatrix}},\ 
  j\mapsto{\begin{pmatrix}0&1\\1&0\end{pmatrix}},\ k\mapsto{\begin{pmatrix}0&1\\-1&0\end{pmatrix}}.$$ In particular, the norm squared of $i,j$, and $k$, equals $-1,-1$, and 1, respectively. For general imaginary quaternion $q=ai+bj+
to construct a Lie contact structure on $ M$ from the later datum. In cosmopolitan, the Levi bracket is a part of the bundle $ { \Lambda}^2 H^*\otimes TM / H$, which decomposes accord to the isomorphism $ H\cong L^*\otimes R$ as $ ({ \Lambda}^2L\otimes S^2R^*\otimes TM / H)\oplus(S^2L\otimes{\Lambda}^2R^*\otimes TM / H)$. Since we assume $ { \varphi}\otimes R$ is isotropic with respect to $ \L$, for any $ { \varphi}$, the Levi bracket $ \L$ factorize through the first summand only. Since we assume a sterilize identification of line pile $ { \Lambda}^2L^*$ and $ TM / H$, i.e. a trivialization of $ { \Lambda}^2L\otimes TM / H$, the Levi bracket determines a (non - degenerate) bunch metric on $ R$, which accomplishes the Lie contact structure on $ M$. In particular, if $ O(R_x)$ is the group of extraneous transformations of $ R_x$ according to this inner intersection, then the Levi bracket is by construction invariant under the military action of $ O(R_x)$, over each $ x\in M$. 

 Split quaternions { # 2.4 } 
 ----------------- 

 The algebra of * rip quaternions * $ \H_s$ is the four - dimensional real algebra admitting a basis $ (1,i, j, k)$ such that $ i^2 = j^2=1 $ and $ k = ij=-ji$ (consequently $ k^2=-1 $, $ kj=-jk = i$, etc .). As an associative algebra, $ \H_s$ is isomorphous to the space of $ 2\x2 $ real matrices so that the norm on $ \H_s$ corresponds to the determinant. This symmetry is explicitly given by $ $ \label{eq5 } 
   1\mapsto{\begin{pmatrix}1&0\\0&1\end{pmatrix}},\ i\mapsto{\begin{pmatrix}1&0\\0&-1\end{pmatrix}},\ 
   j\mapsto{\begin{pmatrix}0&1\\1&0\end{pmatrix}},\ k\mapsto{\begin{pmatrix}0&1\\-1&0\end{pmatrix}}.$$ In particular, the norm squared of $ i, j$, and $ k$, equals $ -1,-1 $, and 1, respectively. For general imaginary quaternion $ q = ai+bj+
 to construct a Lie contact structure on $M$ from tie lated data. Iv general, the Levi bracket id q secupon of the bundle ${\Lamcda}^2 H^*\otimvs TM/H$, whuch vecomposes accorvjng to bke isklorpkiwm $H\cong L^*\otimgs R$ as $({\Lambga}^2L\otimes S^2R^*\othmds TM/H)\oplus(S^2L\otimes{\Lambda}^2R^*\otimes TM/H)$. Fince wr wssume ${\varphi}\ojimes W$ is psitropic with respect to $\L$, for any ${\vagphi}$, the Levi bravket $\L$ factorizes through hhe virst summand only. Since we awsumq a fixed idevtification of line buhdles ${\Lambda}^2L^*$ and $TM/H$, i.e. a trivkalizction of ${\Lanbea}^2L\ljimes TM/H$, thx Levi bracket detcgmines d (non-debenerate) bundlc metcic in $R$, which accomplishxs the Lie contact sjructure ot $J$. In particular, id $I(R_x)$ iv tha gruyp uf krvhofonal hraisformationa of $R_x$ accirding to this innet [gpduct, then tge Levy fracket is by construction invariant unger the action of $O(R_x)$, over each $x\in M$.

Split quatgrnions {#2.4}
-----------------

Thq algebra of *split quaternions* $\H_s$ is the four-dimetsionel reco algdvrw admitting a basis $(1,i,j,k)$ such that $i^2=j^2=1$ and $k=ij=-jy$ (cpnxequently $k^2=-1$, $kj=-mk=i$, etc.). As an assoviwtode algebra, $\H_s$ is isomodphic to the space of $2\x2$ rgal marrices so thay the norm on $\H_s$ correspondw to the detvrmibant. This correspoudence is ex'licitky gifen by $$\label{eq5}
  1\mapsto{\bzgin{pmztrix}1&0\\0&1\end{pmahrix}},\ i\mapago{\begin{pmatrix}1&0\\0&-1\ena{pmstsix}},\ 
  j\mapsto{\begin{pmatrix}0&1\\1&0\egd{pmatrix}},\ k\ma'sto{\begiv{pmajrix}0&1\\-1&0\end{[matrix}}.$$ In partlwular, the norm squwred lf $i,j$, and $k$, fquals $-1,-1$, and 1, respectively. For gxieral imaginaty xuanernion $q=ci+bj+
to construct a Lie contact structure on the data. In the Levi bracket bundle H^*\otimes TM/H$, which according to the $H\cong L^*\otimes R$ as $({\Lambda}^2L\otimes S^2R^*\otimes TM/H)$. Since we assume ${\varphi}\otimes R$ is isotropic with respect to $\L$, for ${\varphi}$, the Levi bracket $\L$ factorizes through the first summand only. Since we a identification line ${\Lambda}^2L^*$ and $TM/H$, i.e. a trivialization of ${\Lambda}^2L\otimes TM/H$, the Levi bracket determines a (non-degenerate) bundle on $R$, which accomplishes the Lie contact structure $M$. In particular, if is the group of orthogonal of according to inner then Levi bracket is construction invariant under the action of $O(R_x)$, over each $x\in M$. Split quaternions {#2.4} ----------------- The algebra *split quaternions* the four-dimensional algebra a $(1,i,j,k)$ such that $k=ij=-ji$ (consequently $k^2=-1$, $kj=-jk=i$, etc.). As $\H_s$ is isomorphic to the space of $2\x2$ matrices so the norm on $\H_s$ corresponds to determinant. This correspondence is explicitly given by $$\label{eq5} i\mapsto{\begin{pmatrix}1&0\\0&-1\end{pmatrix}},\ j\mapsto{\begin{pmatrix}0&1\\1&0\end{pmatrix}},\ k\mapsto{\begin{pmatrix}0&1\\-1&0\end{pmatrix}}.$$ In particular, the norm squared of $i,j$, and $k$, equals $-1,-1$, and For general imaginary quaternion
 to construct a Lie contact strUcture on $M$ fRom thE laTer DaTa. In GeneRal, the Levi bracKEt is A section of the bundle ${\LamBda}^2 H^*\oTiMEs TM/h$, WhIch deComposeS AcCORdiNg To The IsOMoRphisM $H\cOng L^*\otiMes R$ as $({\LambDa}^2L\OtImes S^2R^*\otimes tm/H)\Oplus(S^2L\otiMes{\lambda}^2R^*\otimeS TM/h)$. Since We AssUMe ${\varPhi}\OtimeS R$ is isOTropic With respeCt TO $\L$, for aNY ${\varphi}$, THE LEvi bRacket $\L$ factorizes THrOUgh the first sumMand onLy. sInCE We aSsuMe a fixed idEnTificATion of lINe BUNDleS ${\lambda}^2L^*$ and $TM/H$, I.e. a trivialiZAtiOn of ${\LaMbDa}^2L\OTimes Tm/H$, the leVI brAcket determInes A (non-degenErate) bUNdle metRIc on $R$, whIch accOmpLisHes tHE LIe ConTaCT stRUcTurE On $M$. in particUlAr, If $O(R_x)$ Is thE GROUp of OrtHogoNal trAnsformations Of $R_X$ accORdiNg to tHis inNer pRoDuct, tHen the levi bRaCket is by construCtioN invarianT unDeR thE aCtion OF $O(R_x)$, ovEr eAch $X\in M$.

SplIt quateRNioNs {#2.4}
-----------------

tHE AlGebra of *split quaterNiONS* $\H_S$ is the foUr-dimeNSiOnAL real algEbRa aDmitTINg a baSis $(1,i,J,K)$ sUch that $i^2=J^2=1$ and $k=iJ=-Ji$ (CoNsequenTlY $k^2=-1$, $kj=-jk=I$, eTc.). AS an AssocIAtivE algebRa, $\H_s$ is isOmorpHIc to the space of $2\X2$ Real matrices sO ThAT ThE Norm On $\H_S$ correspondS to tHE detErmiNAnT. ThIS corrEsponDeNCe IS explicitly given by $$\lAbEl{eq5}
  1\maPsto{\bEgin{pmatrix}1&0\\0&1\enD{pmatrix}},\ i\mAPSTo{\begin{pMatrIX}1&0\\0&-1\eND{pmatrix}},\ 
  j\mapstO{\begiN{pmatrix}0&1\\1&0\enD{Pmatrix}},\ k\MapstO{\begin{pmAtrix}0&1\\-1&0\end{pMATrix}}.$$ In paRtiCulAr, tHe nORM sQuared of $i,j$, and $K$, EQualS $-1,-1$, aNd 1, respeCtiVely. For GenEraL imAgiNaRy quaternIon $q=ai+bj+
 to construct a Lie contac t structur e on$M$  fr om  the  lat er data. In ge n eral , the Levi bracket isa sec ti o n of th e bun dle ${\ L am b d a}^ 2H^ *\o ti m es  TM/H $,which d ecomposesacc or ding to thei so morphism $ H\c ong L^*\otim esR$ as$( {\L a mbda} ^2L \otim es S^2 R ^*\oti mes TM/H) \o p lus(S^ 2 L\otime s { \L ambd a}^2R^*\otimes TM / H) $ . Since we ass ume ${ \v a rp h i }\o tim es R$ is i so tropi c  with r e sp e c t  to $\L$, for any  ${\varphi} $ , t he Lev ibra c ket $\ L$ fa ct o riz es throughthefirst sum mand o n ly. Sin c e we as sume a  fi xed  ide n ti fi cat io n  of li neb und les ${\L am bd a}^2L ^*$a n d $TM/ H$,  i.e . a t rivialization  of  ${\ L amb da}^2 L\oti mesTM /H$,the Le vi br ac ket determinesa (n on-degene rat e)  bu nd le me t ric on  $R $,which a ccompli s hes  t h e Li e contact structur eo n  $ M$. In p articu l ar ,i f $O(R_x )$  is  the g roupof o r th ogonal t ransfo r ma ti ons of$R _x$ ac co rdi ngto th i s in ner pr oduct, t hen t h e Levi bracket is by constru c ti o n  i n vari ant  under theacti o n of  $O( R _x )$, overeach$x \ in M$.

Split quaterni on s {#2. 4}
-- ------------- --

The al g e b ra of *s plit qu a ternions* $\H_ s$ is  the four- d imension al re al algeb ra admitt i n g a basi s $ (1, i,j ,k) $ su ch that $i^2= j ^ 2=1$  a nd $k=i j=- ji$ (co nse que ntl y $ k^ 2=-1$, $k j=-jk=i$ ,et c. ).  As  an a s sociativ ealg eb ra,  $\H_ s $ is i somor phic  t ot hespace o f  $ 2 \ x2$re al  mat ric es  so t hatt henorm on  $\H_s$ c orr e spon ds  t o the d eterminant. T hi s correspo nd enc e is e x p licitlygiven by $$\label{eq5} 1\maps to{ \begi n{pm atrix}1&0 \\0 &1\end {pm a trix}} ,\ i\m apsto {\ beg i n {pmat r i x} 1&0 \\ 0&-1\end{p m a tri x}},\    j\ mapsto{ \begin{pmatrix}0&1 \ \1& 0\end{pmatrix }}, \ k\ m a ps to{ \ be g in{ pm a tri x } 0&1\\-1&0\end{p matrix}}.$ $I nparticular ,  th enorm sq uared o f $i, j $, and$k$, equa ls $-1,-1 $,  and 1 , r espectivel y. For g eneral im a ginar y  q uater nio n $q=a i+ bj+ 
 to_construct a_Lie contact structure on_$M$ from_the_later data._In_general, the Levi_bracket is a_section of the bundle_${\Lambda}^2 H^*\otimes TM/H$,_which_decomposes according to the isomorphism $H\cong L^*\otimes R$ as $({\Lambda}^2L\otimes S^2R^*\otimes TM/H)\oplus(S^2L\otimes{\Lambda}^2R^*\otimes TM/H)$. Since_we_assume ${\varphi}\otimes_R$_is_isotropic with respect to $\L$,_for any ${\varphi}$, the Levi_bracket $\L$_factorizes through the first summand only. Since we_assume_a fixed identification_of line bundles ${\Lambda}^2L^*$ and $TM/H$, i.e. a trivialization_of ${\Lambda}^2L\otimes TM/H$, the Levi bracket_determines a (non-degenerate)_bundle_metric_on $R$, which accomplishes_the Lie contact structure on $M$._In particular, if $O(R_x)$ is the_group of orthogonal transformations of $R_x$ according_to this inner product, then the_Levi bracket is by construction_invariant under_the action of $O(R_x)$, over_each $x\in M$.

Split_quaternions {#2.4}
-----------------

The_algebra of *split_quaternions* $\H_s$ is the four-dimensional real_algebra admitting a_basis $(1,i,j,k)$ such that $i^2=j^2=1$ and_$k=ij=-ji$_(consequently $k^2=-1$, $kj=-jk=i$,_etc.)._As_an associative_algebra, $\H_s$ is_isomorphic_to the_space_of $2\x2$ real matrices so that_the_norm on $\H_s$ corresponds to the determinant._This correspondence is explicitly_given_by $$\label{eq5}
  1\mapsto{\begin{pmatrix}1&0\\0&1\end{pmatrix}},\_i\mapsto{\begin{pmatrix}1&0\\0&-1\end{pmatrix}},\ 
  j\mapsto{\begin{pmatrix}0&1\\1&0\end{pmatrix}},\ k\mapsto{\begin{pmatrix}0&1\\-1&0\end{pmatrix}}.$$_In particular, the norm squared of_$i,j$, and_$k$, equals_$-1,-1$, and 1, respectively. For general imaginary quaternion $q=ai+bj+