,u_3,u_4) + R(u_1,u_3,u_4,u_2) + R(u_1,u_4,u_2,u_3) = 0,$

for all $u_1,u_2,u_3,u_4\in \mathbb R^n$. If $R$ is ${\rm U}(n)$-invariant then $R$ is a multiple of the tensor ${\bf K}$.

Let us consider $e_1,\ldots,e_n$ the canonical basis of $\mathbb C^n$ es complex vector space, so that $e_1,\ldots, e_n,$ $ie_1, \ldots, ie_n$ is a real basis. Let us take $\lambda = R(e_1,ie_1,e_1,ie_1)$. For vector $u\in \mathbb C^n$ there is an unitary transformation $g$ such that $g(u) = \|u\|e_1$ and thus: $$R(u,iu,u,iu) = \langle u,u \rangle^2 R(e_1,ie_1,e_1,ie_1) = \lambda \langle u,u \rangle^2  = \lambda {\bf K}(u,iu,u,iu).$$ Finally, by Lemma [@KN vol II, Chapter IX, Proposition 7.1] we have that $R = \lambda {\bf K}$.

Thus, we have $R_0 = \lambda{\bf K}$. This tensor $R_0$ is, by definition, the curvature tensor of a Kähler manifold of constant holomorphic curvature $\lambda$. Hence, $(M,\nabla,P)$ is a Kähler manifold of constant holomorphic curvature. Summarizing:

Let $(M,\nabla,P)$ be a manifold endowed with a connection $\nabla$ and an $U(n)$-structure $P$. It is an infinitesimally homogeneous manifold if and only if $P$ is the bundle of unitary frames of a constant holomorphic curvature Kähler structure in $M$ and $\nabla$ is its corresponding Levi-Civita connection.

Product of Riemannian structures
--------------------------------

Let us fix the group $\mathrm{O}({{\ensuremath{\mathbb{R}}}}^{n_1})\times \mathrm{O}({{\ensuremath{\mathbb{R}}}}^{n
, u_3,u_4) + R(u_1,u_3,u_4,u_2) + R(u_1,u_4,u_2,u_3) = 0,$ 

 for all $ u_1,u_2,u_3,u_4\in \mathbb R^n$. If $ R$ is $ { \rm U}(n)$-invariant then $ R$ is a multiple of the tensor $ { \bf K}$. 

 Let us consider $ e_1,\ldots, e_n$ the canonical basis of $ \mathbb C^n$ es complex vector quad, so that $ e_1,\ldots, e_n,$ $ ie_1, \ldots, ie_n$ is a veridical basis. Let us take $ \lambda = R(e_1,ie_1,e_1,ie_1)$. For vector $ u\in \mathbb C^n$ there be an unitary transformation $ g$ such that $ g(u) = \|u\|e_1 $ and thus: $ $ R(u, iu, u, iu) = \langle u, u \rangle^2 R(e_1,ie_1,e_1,ie_1) = \lambda \langle u, u \rangle^2   = \lambda { \bf K}(u, iu, u, iu).$$ last, by Lemma [ @KN vol II, Chapter IX, Proposition 7.1 ] we give birth that $ R = \lambda { \bf K}$. 

 Thus, we have $ R_0 = \lambda{\bf K}$. This tensor $ R_0 $ is, by definition, the curvature tensor of a Kähler manifold of ceaseless holomorphic curvature $ \lambda$. Hence, $ (M,\nabla, P)$ is a Kähler manifold of constant holomorphic curvature. Summarizing: 

 get $ (M,\nabla, P)$ embody a manifold endowed with a association $ \nabla$ and an $ U(n)$-structure $ P$. It is an infinitesimally homogeneous manifold if and only if $ P$ is the package of unitary frames of a constant holomorphic curvature Kähler social organization in $ M$ and $ \nabla$ is its corresponding Levi - Civita connection. 

 merchandise of Riemannian structures 
 -------------------------------- 

 permit us fix the group $ \mathrm{O}({{\ensuremath{\mathbb{R}}}}^{n_1})\times \mathrm{O}({{\ensuremath{\mathbb{R}}}}^{n
,u_3,u_4) + R(u_1,u_3,u_4,u_2) + R(u_1,u_4,u_2,u_3) = 0,$

for all $u_1,m_2,u_3,u_4\in \mathbb R^n$. Nd $R$ is ${\rm U}(n)$-jnvariang then $R$ is a multiple of thx tebsor ${\vf K}$.

Let us consider $e_1,\laots,e_n$ thv canonicql besis of $\mathbb C^i$ es comijex bcctor wpace, so that $g_1,\ldots, e_n,$ $ie_1, \ldots, ie_n$ is d fecl basis. Let us take $\lambda = R(e_1,ie_1,e_1,ie_1)$. For vevtlr $u\in \mathbb S^n$ tnqre js an unitary transformation $g$ sucg that $j(u) = \|u\|e_1$ and thus: $$R(u,iu,u,iu) = \langle u,u \rangle^2 R(e_1,if_1,e_1,ie_1) = \lambda \langlf u,u \rangle^2  = \lwnbda {\bf K}(u,iu,j,iu).$$ Finallj, by Lemma [@IN vol II, Chapter IX, Propositiov 7.1] we have that $R = \lwkbda {\bf K}$.

Thns, we rave $R_0 = \lambda{\bf K}$. Tvis tenxor $R_0$ is, by deninitmon, rhe curvature tensor mf a Kähler manifolq of consdaut holomorphic curvatyrw $\lamtda$. Vencd, $(M,\nxblz,P)$ ia a Kähper manifold kf constant holomorphic curvatirq. Summarizing:

Lst $(M,\naflw,P)$ be a manifold endowed with a connectpon $\habla$ and an $U(n)$-structurw $P$. It is an infinitedimally hjmogeneous manifold if and only if $P$ is the bundla of nnktaxn weales of a constant holomorphic curvature Kähler attubture in $M$ and $\nanla$ is its corresppnfimd Levi-Civita zonneccjoh.

Product of Riemanjian sttucturws
--------------------------------

Let us six yhe group $\mathrm{O}({{\ensuremath{\nathbb{R}}}}^{n_1})\timef \mathrm{O}({{\ensuremath{\lathbb{R}}}}^{n
,u_3,u_4) + R(u_1,u_3,u_4,u_2) + R(u_1,u_4,u_2,u_3) = 0,$ $u_1,u_2,u_3,u_4\in R^n$. If is ${\rm U}(n)$-invariant of tensor ${\bf K}$. us consider $e_1,\ldots,e_n$ canonical basis of $\mathbb C^n$ es vector space, so that $e_1,\ldots, e_n,$ $ie_1, \ldots, ie_n$ is a real basis. us take $\lambda = R(e_1,ie_1,e_1,ie_1)$. For vector $u\in \mathbb C^n$ there is an transformation such $g(u) \|u\|e_1$ and thus: $$R(u,iu,u,iu) = \langle u,u \rangle^2 R(e_1,ie_1,e_1,ie_1) = \lambda \langle u,u \rangle^2 = \lambda K}(u,iu,u,iu).$$ Finally, by Lemma [@KN vol II, Chapter Proposition 7.1] we have $R = \lambda {\bf K}$. we $R_0 = K}$. tensor is, by definition, curvature tensor of a Kähler manifold of constant holomorphic curvature $\lambda$. Hence, $(M,\nabla,P)$ is a Kähler manifold constant holomorphic Let $(M,\nabla,P)$ a endowed a connection $\nabla$ $U(n)$-structure $P$. It is an infinitesimally and only if $P$ is the bundle of frames of constant holomorphic curvature Kähler structure in and $\nabla$ is its corresponding Levi-Civita connection. Product Riemannian structures -------------------------------- Let us fix the group $\mathrm{O}({{\ensuremath{\mathbb{R}}}}^{n_1})\times \mathrm{O}({{\ensuremath{\mathbb{R}}}}^{n
,u_3,u_4) + R(u_1,u_3,u_4,u_2) + R(u_1,u_4,u_2,u_3) = 0,$

for all $u_1,u_2,u_3,u_4\in \mAthbb R^n$. If $R$ Is ${\rm U}(N)$-inVarIaNt thEn $R$ iS a multiple of thE TensOr ${\bf K}$.

Let us consider $e_1,\ldoTs,e_n$ tHe CAnonICaL basiS of $\mathBB C^N$ ES coMpLeX veCtOR sPace, sO thAt $e_1,\ldotS, e_n,$ $ie_1, \ldots, Ie_n$ Is A real basis. LeT Us Take $\lambda = r(e_1,iE_1,e_1,ie_1)$. For vectoR $u\iN \mathbB C^N$ thERe is aN unItary TransfORmatioN $g$ such thaT $g(U) = \|U\|e_1$ and tHUs: $$R(u,iu,u,IU) = \LaNgle U,u \rangle^2 R(e_1,ie_1,e_1,ie_1) = \laMBdA \Langle u,u \rangle^2  = \Lambda {\Bf k}(U,iU,U,Iu).$$ FInaLly, by Lemma [@kN Vol II, cHapter Ix, prOPOSitIOn 7.1] we have that $R = \Lambda {\bf K}$.

ThUS, we Have $R_0 = \lAmBda{\BF K}$. This TensoR $R_0$ IS, by Definition, tHe cuRvature teNsor of A kähler mANifold oF constAnt HolOmorPHiC cUrvAtURe $\lAMbDa$. HENce, $(m,\nabla,P)$ iS a käHler mAnifOLD OF conStaNt hoLomorPhic curvature. sumMariZIng:

let $(M,\nAbla,P)$ Be a mAnIfold EndoweD with A cOnnection $\nabla$ aNd an $u(n)$-structuRe $P$. it Is aN iNfiniTEsimalLy hOmoGeneous ManifolD If aNd ONLY iF $P$ is the bundle of uniTaRY FrAmes of a cOnstanT HoLoMOrphic cuRvAtuRe KäHLEr strUctuRE iN $M$ and $\nabLa$ is itS CoRrEspondiNg levi-CiViTa cOnnEctioN.

prodUct of RIemanniaN struCTures
--------------------------------

Let us fix tHE group $\mathrm{O}({{\ENsUREmATh{\maThbB{R}}}}^{n_1})\times \matHrm{O}({{\ENsurEmatH{\MaThbB{r}}}}^{n
,u_3,u_4) + R(u_1,u_3,u_4, u_2) + R(u _1,u_ 4,u _2, u_ 3) =  0,$ 

for all $u_1 , u_2, u_3,u_4\in \mathbb R^n $. If  $ R $ is ${ \rm U }(n)$-i n va r i ant  t he n $ R$ is  a mu lti ple ofthe tensor  ${ \b f K}$.

Letu sconsider $ e_1 ,\ldots,e_n$  th e cano ni cal basis  of  $\ma thbb C ^ n$ escomplex v ec t or spa c e, so t h a t$e_1 ,\ldots, e_n,$ $i e _1 ,  \ldots, ie_n$  is are a lb a sis . L et us take  $ \lamb d a = R(e _ 1, i e _ 1,e _ 1,ie_1)$. For  vector $u\ i n \ mathbb  C ^n$ thereis an  u n ita ry transfor mati on $g$ su ch tha t  $g(u)=  \|u\|e _1$ an d t hus : $$ R (u ,i u,u ,i u ) = \l ang l e u ,u \rang le ^2  R(e_ 1,ie _ 1 , e _1,i e_1 ) =\lamb da \langle u, u \ rang l e^2   = \ lambd a {\ bf  K}(u ,iu,u, iu).$ $Finally, by Lem ma [ @KN vol I I,Ch apt er  IX,P roposi tio n 7 .1] wehave th a t $ R= \ la mbda {\bf K}$.

Th us , we  have $R _0 = \ l am bd a {\bf K}$ .Thi s te n s or $R _0$i s,  by defi nition ,  t he  curvat ur e tens or  of  aKähle r  man ifoldof const ant h o lomorphic curv a ture $\lambda $ .H e nc e , $( M,\ nabla,P)$ i s aK ähle r ma n if old of co nstan th ol o morphic curvature.Su mmariz ing:
Let $(M,\nab la,P)$ bea m anifoldendo w ed with a connect ion $ \nabla$ an d  an $U(n )$-st ructure$P$. It i s an infin ite sim all y h o m og eneous manifo l d  ifan d onlyif$P$ isthe  bu ndl e o funitary f rames of  a  c on st ant  holo m orphic c ur vat ur e K ähler struct ure i n $M $an d  $\ nabla$i si t s co rr es pond ing  L evi-C ivit a  co nnectio n.

Produ cto f Ri em an nian st ructures
---- -- ---------- -- --- ------ - - ---

Let  us fix the group $\mat h rm{O}({ {\e nsure math {\mathbb{ R}} }}^{n_ 1}) \ times\mathr m{O}( {{ \en s u remat h { \m ath bb {R}}}}^{n
,u_3,u_4) +_R(u_1,u_3,u_4,u_2) +_R(u_1,u_4,u_2,u_3) = 0,$

for all_$u_1,u_2,u_3,u_4\in \mathbb_R^n$._If $R$_is_${\rm U}(n)$-invariant then_$R$ is a_multiple of the tensor_${\bf K}$.

Let us_consider_$e_1,\ldots,e_n$ the canonical basis of $\mathbb C^n$ es complex vector space, so that $e_1,\ldots,_e_n,$_$ie_1, \ldots,_ie_n$_is_a real basis. Let us_take $\lambda = R(e_1,ie_1,e_1,ie_1)$. For_vector $u\in_\mathbb C^n$ there is an unitary transformation $g$_such_that $g(u) =_\|u\|e_1$ and thus: $$R(u,iu,u,iu) = \langle u,u \rangle^2 R(e_1,ie_1,e_1,ie_1)_= \lambda \langle u,u \rangle^2 _= \lambda {\bf_K}(u,iu,u,iu).$$_Finally,_by Lemma [@KN vol_II, Chapter IX, Proposition 7.1] we_have that $R = \lambda {\bf_K}$.

Thus, we have $R_0 = \lambda{\bf K}$._This tensor $R_0$ is, by definition,_the curvature tensor of a_Kähler manifold_of constant holomorphic curvature $\lambda$._Hence, $(M,\nabla,P)$ is_a Kähler_manifold of constant_holomorphic curvature. Summarizing:

Let $(M,\nabla,P)$ be a_manifold endowed with_a connection $\nabla$ and an $U(n)$-structure_$P$._It is an_infinitesimally_homogeneous_manifold if_and only if_$P$_is the_bundle_of unitary frames of a constant_holomorphic_curvature Kähler structure in $M$ and $\nabla$_is its corresponding Levi-Civita_connection.

Product_of Riemannian structures
--------------------------------

Let us_fix the group $\mathrm{O}({{\ensuremath{\mathbb{R}}}}^{n_1})\times \mathrm{O}({{\ensuremath{\mathbb{R}}}}^{n