 easily seen that locally $3$-Sasakian manifolds share the local properties with the (global) $3$-Sasakian spaces: they are Einstein with positive scalar curvature; hence, by Myers’ theorem we have

Complete locally and globally $3$-Sasakian manifolds are compact.

But a specific property of the local case is:

[@OP2]\[flat\] The bundle ${\mathcal{K}}$ of a locally $3$-Sasakian manifold is flat.

Let $(\xi_1,\xi_2,\xi_3)$, $(\xi_1',\xi_2',\xi_3')$ be two local orthonormal triples of Killing fields trivializing ${\mathcal{K}}$ on $U$, $U'$. Then, on $U\cap U'\neq \emptyset$ we have $\xi_{\lambda}'=f^\sigma_{\lambda}\xi_\sigma$. We shall show that $f^\sigma_{\lambda}$ are constant. Compute first the bracket $$2\xi'_\nu=[\xi'{\lambda},\xi'_\mu]=\{f^\rho_{\lambda}\xi_\rho(f_\mu^\sigma)-
f_\mu^\rho\xi_\rho(f_{\lambda}^\sigma)\}\xi_\sigma+
f^\rho_{\lambda}f_\mu^\sigma[\xi_\rho,\xi_\sigma].$$ From $(f^\mu_{\lambda})\in \mathrm{SO}(3)$ and $[\xi_\rho,\xi_\sigma]=2\xi_\tau$ ($(\rho, \sigma, 
\tau) = (1,2,3)$ and cyclic permutations), we can derive: $$f^\rho_{\lambda}f_\mu^\sigma[\xi_\rho,\xi_\sigma]=2\{f^\rho_{\lambda}f_\mu^\sigma-
f_{\lambda}^\sigma f_\mu^\rho\}\xi_\tau=2\xi'_\nu.$$ Hence $$f^\rho_{\lambda}\xi_\rho(f_\mu^\sigma)-f_\mu^\rho\xi_\rho(f_{\lambda}^\sigma)=0.$$ Thus, for any ${\lambda}, \mu,\sigma=1,2,3$: $\xi'_{\lambda}(f^\mu_\sigma)-\xi'_\mu(f_{\lambda}^\sigma)=0$. It follows: $$\label{p}
\xi_{\lambda}(f_\sigma^\mu)-\xi_\mu(f^{\lambda}_\sigma
easily seen that locally $ 3$-Sasakian manifolds share the local place with the (ball-shaped) $ 3$-Sasakian spaces: they are Einstein with positive scalar curvature; therefore, by Myers ’ theorem we have 

 arrant locally and globally $ 3$-Sasakian manifolds are compact. 

 But a specific place of the local character is: 

 [ @OP2]\[flat\ ] The bundle $ { \mathcal{K}}$ of a locally $ 3$-Sasakian manifold paper is bland. 

 Let $ (\xi_1,\xi_2,\xi_3)$, $ (\xi_1',\xi_2',\xi_3')$ be two local orthonormal triple of Killing fields trivializing $ { \mathcal{K}}$ on $ U$, $ U'$. Then, on $ U\cap U'\neq \emptyset$ we accept $ \xi_{\lambda}'=f^\sigma_{\lambda}\xi_\sigma$. We shall show that $ f^\sigma_{\lambda}$ are constant. Compute first the bracket $ $ 2\xi'_\nu=[\xi'{\lambda},\xi'_\mu]=\{f^\rho_{\lambda}\xi_\rho(f_\mu^\sigma)- 
 f_\mu^\rho\xi_\rho(f_{\lambda}^\sigma)\}\xi_\sigma+ 
 f^\rho_{\lambda}f_\mu^\sigma[\xi_\rho,\xi_\sigma].$$ From $ (f^\mu_{\lambda})\in \mathrm{SO}(3)$ and $ [ \xi_\rho,\xi_\sigma]=2\xi_\tau$ ($ (\rho, \sigma, 
 \tau) = (1,2,3)$ and cyclic permutations), we can derive: $ $ f^\rho_{\lambda}f_\mu^\sigma[\xi_\rho,\xi_\sigma]=2\{f^\rho_{\lambda}f_\mu^\sigma- 
 f_{\lambda}^\sigma f_\mu^\rho\}\xi_\tau=2\xi'_\nu.$$ therefore $ $ f^\rho_{\lambda}\xi_\rho(f_\mu^\sigma)-f_\mu^\rho\xi_\rho(f_{\lambda}^\sigma)=0.$$ Thus, for any $ { \lambda }, \mu,\sigma=1,2,3 $: $ \xi'_{\lambda}(f^\mu_\sigma)-\xi'_\mu(f_{\lambda}^\sigma)=0$. It follows: $ $ \label{p } 
 \xi_{\lambda}(f_\sigma^\mu)-\xi_\mu(f^{\lambda}_\sigma
 eadily seen that locally $3$-Sxsakian manifolbw sharx the lkcal prooerties with the (global) $3$-Sasaniqn spqces: they are Einstein with posptive scaoar rurvature; hence, ug Myers’ theorsl we iave

Complete logally and gnobally $3$-Sasakidn mcnifolds are compact.

But a specific pwoperty ov the local cafe ix:

[@JP2]\[flzn\] Uhe bundle ${\mathcal{K}}$ of a locally $3$-Aasakiai manifold is fkat.

Let $(\xi_1,\xi_2,\xi_3)$, $(\xi_1',\xi_2',\xi_3')$ be twl lofal orthonormal trlples of Kiolind fields trivkalizing ${\mathcal{K}}$ on $U$, $U'$. Then, on $U\cap U'\neq \emptyset$ wd havz $\xi_{\lambda}'=f^\witma_{\pdmbda}\xi_\sigme$. We srall show that $f^\sigmd_{\lambda}$ are constant. Gompuve furst the bracket $$2\xi'_\nu=[\ei'{\lambda},\xi'_\mu]=\{f^\rho_{\lambqa}\xi_\rho(f_\mg^\sngma)-
f_\mu^\rho\xi_\rho(f_{\lambdq}^\sugma)\}\xh_\sigka+
f^\rfi_{\laobdz}f_\ku^\aigma[\xl_\rhk,\xi_\sigma].$$ Fdom $(f^\mu_{\lambea})\in \mathrm{SO}(3)$ and $[\xo_\rri,\xi_\sigma]=2\xi_\tau$ ($(\rho, \sygia, 
\tau) = (1,2,3)$ and cyclic permutations), we can dedive: $$f^\rho_{\lambda}f_\mu^\sigma[\zi_\rho,\xi_\sigma]=2\{f^\rho_{\lambdw}f_\mu^\sigma-
s_{\lambda}^\sigma f_\mu^\rho\}\xi_\tau=2\xi'_\nu.$$ Hence $$f^\rho_{\lambda}\xi_\rhm(f_\mu^\smgoa)-f_\nu^\vho\xk_\ehl(f_{\lambda}^\sigma)=0.$$ Thus, for any ${\lambda}, \mu,\sigma=1,2,3$: $\xi'_{\lwjbca}(n^\mu_\sigma)-\xi'_\mu(f_{\lamnda}^\sigma)=0$. It followx: $$\pangl{p}
\xi_{\lambda}(f_\siema^\mu)-\xn_\ju(r^{\lambda}_\sigma
easily seen that locally $3$-Sasakian manifolds share properties the (global) spaces: they are hence, Myers’ theorem we Complete locally and $3$-Sasakian manifolds are compact. But a property of the local case is: [@OP2]\[flat\] The bundle ${\mathcal{K}}$ of a locally manifold is flat. Let $(\xi_1,\xi_2,\xi_3)$, $(\xi_1',\xi_2',\xi_3')$ be two local orthonormal triples of Killing trivializing on $U'$. on $U\cap U'\neq \emptyset$ we have $\xi_{\lambda}'=f^\sigma_{\lambda}\xi_\sigma$. We shall show that $f^\sigma_{\lambda}$ are constant. Compute first bracket $$2\xi'_\nu=[\xi'{\lambda},\xi'_\mu]=\{f^\rho_{\lambda}\xi_\rho(f_\mu^\sigma)- f_\mu^\rho\xi_\rho(f_{\lambda}^\sigma)\}\xi_\sigma+ f^\rho_{\lambda}f_\mu^\sigma[\xi_\rho,\xi_\sigma].$$ From $(f^\mu_{\lambda})\in \mathrm{SO}(3)$ and ($(\rho, \sigma, \tau) = and cyclic permutations), we can $$f^\rho_{\lambda}f_\mu^\sigma[\xi_\rho,\xi_\sigma]=2\{f^\rho_{\lambda}f_\mu^\sigma- f_\mu^\rho\}\xi_\tau=2\xi'_\nu.$$ Hence Thus, any \mu,\sigma=1,2,3$: $\xi'_{\lambda}(f^\mu_\sigma)-\xi'_\mu(f_{\lambda}^\sigma)=0$. It $$\label{p} \xi_{\lambda}(f_\sigma^\mu)-\xi_\mu(f^{\lambda}_\sigma
 easily seen that locally $3$-SasaKian manifoLds shAre The LoCal pRopeRties with the (glOBal) $3$-SAsakian spaces: they are EiNsteiN wITh poSItIve scAlar curVAtURE; heNcE, bY MyErS’ ThEorem We hAve

CompLete locallY anD gLobally $3$-SasakIAn Manifolds aRe cOmpact.

But a spEciFic proPeRty OF the lOcaL case Is:

[@OP2]\[flAT\] The buNdle ${\mathcAl{k}}$ Of a locALly $3$-SasaKIAn ManiFold is flat.

Let $(\xi_1,\xi_2,\XI_3)$, $(\xI_1',\Xi_2',\xi_3')$ be two local OrthonOrMAl TRIplEs oF Killing fiElDs triVIalizinG ${\MaTHCAl{K}}$ ON $U$, $U'$. Then, on $U\cap u'\neq \emptyseT$ We hAve $\xi_{\lAmBda}'=F^\Sigma_{\lAmbda}\Xi_\SIgmA$. We shall shoW thaT $f^\sigma_{\laMbda}$ arE ConstanT. compute First tHe bRacKet $$2\xI'_\Nu=[\Xi'{\LamBdA},\Xi'_\mU]=\{F^\rHo_{\lAMbdA}\xi_\rho(f_\mU^\sIgMa)-
f_\mu^\Rho\xI_\RHO(F_{\lamBda}^\SigmA)\}\xi_\siGma+
f^\rho_{\lambda}F_\mu^\SigmA[\Xi_\rHo,\xi_\sIgma].$$ FRom $(f^\Mu_{\LambdA})\in \matHrm{SO}(3)$ AnD $[\xi_\rho,\xi_\sigma]=2\xi_\Tau$ ($(\rHo, \sigma, 
\taU) = (1,2,3)$ anD cYclIc PermuTAtions), We cAn dErive: $$f^\rHo_{\lambdA}F_\mu^\SiGMA[\Xi_\Rho,\xi_\sigma]=2\{f^\rho_{\lambDa}F_\MU^\sIgma-
f_{\lamBda}^\sigMA f_\Mu^\RHo\}\xi_\tau=2\xI'_\nU.$$ HeNce $$f^\RHO_{\lambDa}\xi_\RHo(F_\mu^\sigma)-F_\mu^\rho\XI_\rHo(F_{\lambda}^\SiGma)=0.$$ ThuS, fOr aNy ${\lAmbda}, \MU,\sigMa=1,2,3$: $\xi'_{\laMbda}(f^\mu_\sIgma)-\xI'_\Mu(f_{\lambda}^\sigma)=0$. iT follows: $$\label{P}
\Xi_{\LAMbDA}(f_\siGma^\Mu)-\xi_\mu(f^{\lambDa}_\siGMa
 easily seen that locally$3$-Sasaki an ma nif old sshar e th e local proper t ieswith the (global) $3$- Sasak ia n  spa c es : the y are E i ns t e inwi th  po si t iv e sca lar  curvat ure; hence , b yMyers’ theor e mwe have

C omp lete locally  an d glob al ly$ 3$-Sa sak ian m anifol d s arecompact.
B u t a sp e cific p r o pe rtyof the local case is : 

[@OP2]\[flat \] The  b u nd l e  ${ \ma thcal{K}}$  o f a l o cally $ 3 $- S a s aki a n manifold is  flat.

Let $(\ xi_1,\ xi _2, \ xi_3)$ , $(\ xi _ 1', \xi_2',\xi_ 3')$  be two l ocal o r thonorm a l tripl es ofKil lin g fi e ld stri vi a liz i ng  ${ \ mat hcal{K}} $on  $U$,  $U' $ . T hen,  on  $U\ cap U '\neq \emptys et$  weh ave  $\xi _{\la mbda }' =f^\s igma_{ \lamb da }\xi_\sigma$. W e sh all showtha t$f^ \s igma_ { \lambd a}$  ar e const ant. Co m put ef i r st  the bracket $$2\x i' _ \ nu =[\xi'{\ lambda } ,\ xi ' _\mu]=\{ f^ \rh o_{\ l a mbda} \xi_ \ rh o(f_\mu^ \sigma ) -f_ \mu^\rh o\ xi_\rh o( f_{ \la mbda} ^ \sig ma)\}\ xi_\sigm a+
f^ \ rho_{\lambda}f _ \mu^\sigma[\x i _\ r h o, \ xi_\ sig ma].$$ From  $(f ^ \mu_ {\la m bd a}) \ in \m athrm {S O }( 3 )$ and $[\xi_\rho,\ xi _\sigm a]=2\ xi_\tau$ ($(\ rho, \sigm a , 
\tau) =  (1, 2 ,3 ) $ and cyclic p ermut ations), w e  can der ive:$$f^\rho _{\lambda } f _\mu^\si gma [\x i_\ rho , \ xi _\sigma]=2\{f ^ \ rho_ {\ lambda} f_\ mu^\sig ma- 
f_ {\l amb da }^\sigmaf_\mu^\r ho \} \x i_ \ta u=2\x i '_\nu.$$  H enc e$$f ^\rho _ {\lamb da}\x i_\r ho (f _ \mu ^\sigma ) -f _ \ mu^\ rh o\ xi_\ rho (f _{\la mbda } ^\s igma)=0 .$$ Thus,  fo r  any  $ {\ lambda} , \mu,\sigma= 1, 2,3$: $\xi '_ {\l ambda} ( f ^\mu_\si gma)-\xi'_\mu(f_{\lambd a }^\sigm a)= 0$. I t fo llows: $$ \la bel{p} 
\x i _{\lam bda}(f _\sig ma ^\m u ) -\xi_ \ m u( f^{ \l ambda}_\si g m a
 easily_seen that_locally $3$-Sasakian manifolds share_the local_properties_with the_(global)_$3$-Sasakian spaces: they_are Einstein with_positive scalar curvature; hence,_by Myers’ theorem_we_have

Complete locally and globally $3$-Sasakian manifolds are compact.

But a specific property of the local_case_is:

[@OP2]\[flat\] The_bundle_${\mathcal{K}}$_of a locally $3$-Sasakian manifold_is flat.

Let $(\xi_1,\xi_2,\xi_3)$, $(\xi_1',\xi_2',\xi_3')$ be_two local_orthonormal triples of Killing fields trivializing ${\mathcal{K}}$ on_$U$,_$U'$. Then, on_$U\cap U'\neq \emptyset$ we have $\xi_{\lambda}'=f^\sigma_{\lambda}\xi_\sigma$. We shall show_that $f^\sigma_{\lambda}$ are constant. Compute first_the bracket $$2\xi'_\nu=[\xi'{\lambda},\xi'_\mu]=\{f^\rho_{\lambda}\xi_\rho(f_\mu^\sigma)-
f_\mu^\rho\xi_\rho(f_{\lambda}^\sigma)\}\xi_\sigma+
f^\rho_{\lambda}f_\mu^\sigma[\xi_\rho,\xi_\sigma].$$_From_$(f^\mu_{\lambda})\in_\mathrm{SO}(3)$ and $[\xi_\rho,\xi_\sigma]=2\xi_\tau$ ($(\rho,_\sigma, 
\tau) = (1,2,3)$ and cyclic_permutations), we can derive: $$f^\rho_{\lambda}f_\mu^\sigma[\xi_\rho,\xi_\sigma]=2\{f^\rho_{\lambda}f_\mu^\sigma-
f_{\lambda}^\sigma f_\mu^\rho\}\xi_\tau=2\xi'_\nu.$$_Hence $$f^\rho_{\lambda}\xi_\rho(f_\mu^\sigma)-f_\mu^\rho\xi_\rho(f_{\lambda}^\sigma)=0.$$ Thus, for any ${\lambda}, \mu,\sigma=1,2,3$:_$\xi'_{\lambda}(f^\mu_\sigma)-\xi'_\mu(f_{\lambda}^\sigma)=0$. It follows: $$\label{p}
\xi_{\lambda}(f_\sigma^\mu)-\xi_\mu(f^{\lambda}_\sigma