:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture]. The results obtained there are essential in our proof and we briefly recall those which we need.

We first observe that it suffices to prove the theorem for simply-connected manifolds. Now consider a simply-connected, expanding, semi-algebraic Ricci soliton on $G/K$. As $G/K$ is endowed with a $G$-invariant metric, $Ad(K)$ is contained in a compact subgroup of $Aut(G)$ and so we have a decomposition $\mathfrak g = \mathfrak p \oplus \mathfrak k$, where $\mathfrak p$ is an $Ad(K)$-complement to $\mathfrak k$. We fix the point $p = eK \in M = G/K$ and naturally identify $\mathfrak p$ with $T_pM$ as follows $$X\in\mathfrak p  \quad \leftrightarrow \quad {{\left. \frac{d}{ds} \right|_{s=0}}}exp(sX)\cdot p = {{\left. \frac{d}{ds} \right|_{s=0}}}exp(sX)K.$$ Although there is more than one choice of $\mathfrak p$ that one can make, we apply the work [@LauretLafuente:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture] in the sequel and so we choose, as they do, to have $B(\mathfrak k,\mathfrak p)=0$, where $B$ is the Killing form of $\mathfrak g$.

As $G/K$ admits an expanding Ricci soliton, we know from [@LauretLafuente:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture] that the group $G$ decomposes as $N\rtimes U$ where $N$ is the nilradical and $U$ is a reductive subgroup which contains the stabilizer $K$. Thus the underlying manifold of $M$ may be considered as $N \times U/K$ and we naturally identify the point $p=eK\in G/K$ with $(e,eK)\in N \times U/K$. The subalgebra $\mathfrak u$ contains a subspace $\mathfrak h$ which is complementary to $\mathfrak k$, and so we have $T_pM \simeq \mathfrak p =
: StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture ]. The results obtained there are essential in our proof and we concisely echo those which we need. 

 We first note that it suffice to prove the theorem for simply - connected manifold. Now consider a merely - connected, expanding, semi - algebraic Ricci soliton on $ G / K$. As $ thousand / K$ is endowed with a $ G$-invariant metric, $ Ad(K)$ is check in a compendious subgroup of $ Aut(G)$ and so we have a decay $ \mathfrak g = \mathfrak phosphorus \oplus \mathfrak k$, where $ \mathfrak p$ is an $ Ad(K)$-complement to $ \mathfrak k$. We cook the point $ p = eK \in M = G / K$ and naturally identify $ \mathfrak p$ with $ T_pM$ as postdate $ $ X\in\mathfrak p   \quad \leftrightarrow \quad { { \left. \frac{d}{ds } \right|_{s=0}}}exp(sX)\cdot p = { { \left. \frac{d}{ds } \right|_{s=0}}}exp(sX)K.$$ Although there cost more than one choice of $ \mathfrak p$ that one can stool, we apply the work [ @LauretLafuente: StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture ] in the sequel and so we choose, as they do, to have $ B(\mathfrak k,\mathfrak p)=0 $, where $ B$ is the Killing mannequin of $ \mathfrak g$. 

 As $ G / K$ admits an expanding Ricci soliton, we know from [ @LauretLafuente: StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture ] that the group $ G$ decomposes as $ N\rtimes U$ where $ N$ is the nilradical and $ U$ is a reductive subgroup which contains the stabilizer $ K$. Thus the underlying manifold of $ M$ may be considered as $ N \times U / K$ and we naturally identify the point $ p = eK\in G / K$ with $ (e, eK)\in N \times U / K$. The subalgebra $ \mathfrak u$ contains a subspace $ \mathfrak h$ which is complementary to $ \mathfrak k$, and so we suffer $ T_pM \simeq \mathfrak p =
:StrkctureOfHomogeneousRicciRolitonsAndTheAlekseevvkiiCohjecture]. The results obtained there ere wssenupal in our proof and de brieflj recall rhost which we need.

We first onfervs thac mt suffices to krove the thaorem for simpny-zounected manifolds. Now consider a sim[ly-connrched, expanding, femi-sjgebdaic Ricci soliton on $G/K$. As $G/K$ is sndowed with a $G$-invatiant metric, $Ad(K)$ is contaijed ln a compact subgrlup of $Aut(G)$ and wo we have a decomposiuimn $\mathfrai g = \mathfrak p \oplus \mathfrak y$, whexe $\mathfrak p$ is dn $Ad(K)$-complxment no $\mathfrak k$. We fix dhe poimt $p = eK \in M = G/K$ ane naturally identify $\kathfrak p$ with $T_pI$ as follmwa $$X\in\mathfrak p  \wuqd \lextrichtafeow \quzd {{\lsft. \frwc{d}{vs} \right|_{s=0}}}exl(sX)\cdot p = {{\oeft. \frac{d}{ds} \right|_{s=0}}}txp(fQ)L.$$ Although tgere if iore than one choice of $\mathfrak p$ that ons can make, we apply the work [@LauretLafuente:SjructureOfRomogeneousRicciSolitonsAndTheAlekseevskiiConjectgre] ii ghe scqueu ajd so we choose, as they do, to have $B(\mathfrak h,\jauhfgak p)=0$, where $B$ is bhe Killing form og $\layrfrak g$.

As $G/K$ xdmits an expanding Ricci slliton, re kniw from [@LwureyLafuente:StructureOfHomogenwousRicciSolptonwAndTheAlekseevskinConjecture] chat tne grpup $G$ decomposes as $N\rtnmes U$ where $N$ is the nilrzaical and $U$ is a recuwtive subgroup which contayns the svabilnzer $K$. Tfus jhe undqrlying majifold of $M$ may be consifered av $N \times K/K$ and we naturally identify thx point $p=eK\in G/N$ wpth $(e,eK)\in N \tikes U/K$. The sufalgebra $\mathftak u$ concains x subspace $\mathfrek h$ which if complementasi to $\mathfrak k$, and sj we havw $T_pM \skoeq \mathfrak p =
:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture]. The results obtained there are essential proof we briefly those which we it to prove the for simply-connected manifolds. consider a simply-connected, expanding, semi-algebraic Ricci on $G/K$. As $G/K$ is endowed with a $G$-invariant metric, $Ad(K)$ is contained a compact subgroup of $Aut(G)$ and so we have a decomposition $\mathfrak g \mathfrak \oplus k$, $\mathfrak p$ is an $Ad(K)$-complement to $\mathfrak k$. We fix the point $p = eK \in = G/K$ and naturally identify $\mathfrak p$ with as follows $$X\in\mathfrak p \leftrightarrow \quad {{\left. \frac{d}{ds} \right|_{s=0}}}exp(sX)\cdot = \frac{d}{ds} \right|_{s=0}}}exp(sX)K.$$ there more one choice of p$ that one can make, we apply the work [@LauretLafuente:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture] in the sequel and so we choose, they do, $B(\mathfrak k,\mathfrak where is Killing form of As $G/K$ admits an expanding Ricci from [@LauretLafuente:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture] that the group $G$ decomposes as U$ where is the nilradical and $U$ is reductive subgroup which contains the stabilizer $K$. Thus underlying manifold of $M$ may be considered as $N \times U/K$ and we naturally identify $p=eK\in G/K$ with $(e,eK)\in \times U/K$. The $\mathfrak contains subspace h$ which complementary to $\mathfrak k$, and so we have $T_pM \simeq \mathfrak =
:StructureOfHomogeneousRicCiSolitonsandThEAlEksEeVskiIConJecture]. The resuLTs obTained there are essentiaL in ouR pROof aND wE brieFly recaLL tHOSe wHiCh We nEeD.

we First ObsErve thaT it sufficeS to PrOve the theoreM FoR simply-conNecTed manifolds. now ConsidEr A siMPly-coNneCted, eXpandiNG, semi-aLgebraic RIcCI solitON on $G/K$. As $g/k$ Is EndoWed with a $G$-invarianT MeTRic, $Ad(K)$ is contaiNed in a CoMPaCT SubGroUp of $Aut(G)$ anD sO we haVE a decomPOsITIOn $\mAThfrak g = \mathfrAk p \oplus \matHFraK k$, wherE $\mAthFRak p$ is An $Ad(K)$-CoMPleMent to $\mathfRak k$. we fix the pOint $p = ek \In M = G/K$ anD NaturalLy idenTifY $\maThfrAK p$ WiTh $T_PM$ AS foLLoWs $$X\IN\maThfrak p  \qUaD \lEftriGhtaRROW \Quad {{\LefT. \fraC{d}{ds} \rIght|_{s=0}}}exp(sX)\cdoT p = {{\lEft. \fRAc{d}{Ds} \rigHt|_{s=0}}}exP(sX)K.$$ alThougH there Is morE tHan one choice of $\mAthfRak p$ that oNe cAn MakE, wE applY The worK [@LaUreTLafuenTe:StrucTUreofhOMOgEneousRicciSolitonSANDthEAlekseeVskiiCONjEcTUre] in the SeQueL and SO We choOse, aS ThEy do, to haVe $B(\matHFrAk K,\mathfrAk P)=0$, where $b$ iS thE KiLling FOrm oF $\mathfRak g$.

As $G/K$ AdmitS An expanding RicCI soliton, we knoW FrOM [@laURetLAfuEnte:StructuReOfhOmogEneoUSRIccIsolitOnsAnDTHEALEkseevskiiConjecturE] tHat the Group $g$ decomposes as $n\rtimes U$ whERE $n$ is the niLradICaL And $U$ is a reductiVe subGroup which COntains tHe staBilizer $K$. thus the unDERlying maNifOld Of $M$ May BE CoNsidered as $N \tiMES U/K$ aNd We naturAllY identiFy tHe pOinT $p=ek\iN G/K$ with $(e,ek)\in N \timeS U/k$. THe SuBalGebra $\MAthfrak u$ CoNtaInS a sUbspaCE $\mathfRak h$ wHich Is CoMPleMentary TO $\mATHfraK k$, AnD so wE haVe $t_pM \siMeq \mAThfRak p =
:StructureOfHomogeneousRic ciSolitons AndTh eAl eks ee vski iCon jecture]. Ther esul ts obtained there areessen ti a l in ou r pro of andw eb r ief ly  r eca ll th ose w hic h we ne ed.

We fi rst  o bserve thati tsuffices t o p rove the the ore m forsi mpl y -conn ect ed ma nifold s . Nowconsideras imply- c onnecte d ,  e xpan ding, semi-algebr a ic Ricci solitonon $G/ K$ .  A s $G/ K$is endowed  w ith a $G$-inv a ri a n t  me t ric, $Ad(K)$is containe d  in  a com pa cts ubgrou p of$A u t(G )$ and so w e ha ve a deco mposit i on $\ma t hfrak g  = \ma thf rak  p \ o pl us  \m at h fra k  k $,w her e $\math fr ak  p$ i s an $ A d (K)$ -co mple mentto $\mathfrak  k$ . We fix  thepoint  $p=eK \i n M =G/K$an d naturally ide ntif y $\mathf rak  p $ w it h $T_ p M$ asfol low s $$X\i n\mathf r akp\ q ua d \leftrightarrow\q u a d{{\left.  \frac { d} {d s } \right |_ {s= 0}}} e x p(sX) \cdo t  p  = {{\le ft. \f r ac {d }{ds} \ ri ght|_{ s= 0}} }ex p(sX) K .$$Althou gh there  is m o re than one ch o ice of $\math f ra k p$ that  on e can make,  wea pply  the wo rk[ @Laur etLaf ue n te : StructureOfHomogene ou sRicci Solit onsAndTheAlek seevskiiCo n j e cture] i n th e  s e quel and so we  choo se, as the y  do, tohave$B(\math frak k,\m a t hfrak p) =0$ , w her e $ B $  i s the Killing f ormof  $\math fra k g$.
As$G/ K$adm it s an expa nding Ri cc iso li ton , wek now from  [ @La ur etL afuen t e:Stru cture OfHo mo ge n eou sRicciS o li t o nsAn dT he Alek see vs kiiCo njec t ure ] thatthe group  $G $  dec om po ses as$N\rtimes U$wh ere $N$ is  t henilrad i c al and $ U$ is a reductive subgr o up whic h c ontai ns t he stabil ize r $K$.  Th u s theunderl yingma nif o l d of$ M $may  b e consider e d  as  $N \ ti mesU/K$ an d we naturally ide n tif y the point $ p=e K\in G /K $ w i th $(e ,e K )\i n N \times U/K$.The subalg eb r a$\mathfrak u$co ntainsa subsp ace $ \ mathfra k h$ whic h is comp le ment a r y t o $\mathfr ak k$, a nd so weh ave $ T _p M \si meq  \math fr akp =
:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture]. The_results obtained_there are essential in_our proof_and_we briefly_recall_those which we_need.

We first observe_that it suffices to_prove the theorem_for_simply-connected manifolds. Now consider a simply-connected, expanding, semi-algebraic Ricci soliton on $G/K$. As $G/K$_is_endowed with_a_$G$-invariant_metric, $Ad(K)$ is contained in_a compact subgroup of $Aut(G)$_and so_we have a decomposition $\mathfrak g = \mathfrak_p_\oplus \mathfrak k$,_where $\mathfrak p$ is an $Ad(K)$-complement to $\mathfrak k$._We fix the point $p =_eK \in M_=_G/K$_and naturally identify $\mathfrak_p$ with $T_pM$ as follows $$X\in\mathfrak_p  \quad \leftrightarrow \quad {{\left._\frac{d}{ds} \right|_{s=0}}}exp(sX)\cdot p = {{\left. \frac{d}{ds} \right|_{s=0}}}exp(sX)K.$$_Although there is more than one_choice of $\mathfrak p$ that_one can_make, we apply the work_[@LauretLafuente:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture] in the_sequel and_so we choose,_as they do, to have $B(\mathfrak_k,\mathfrak p)=0$, where_$B$ is the Killing form of_$\mathfrak_g$.

As $G/K$ admits_an_expanding_Ricci soliton,_we know from_[@LauretLafuente:StructureOfHomogeneousRicciSolitonsAndTheAlekseevskiiConjecture]_that the_group_$G$ decomposes as $N\rtimes U$ where_$N$_is the nilradical and $U$ is a_reductive subgroup which contains_the_stabilizer $K$. Thus the_underlying manifold of $M$ may_be considered as $N \times U/K$_and we_naturally identify_the point $p=eK\in G/K$ with $(e,eK)\in N \times U/K$. The subalgebra_$\mathfrak u$ contains a subspace $\mathfrak_h$ which is complementary_to $\mathfrak_k$,_and so we_have_$T_pM \simeq_\mathfrak p =