1$. To compute the equivariant cohomology of $N$, we generalize Example \[ex:S1aufS2\] slightly: take $N = U\cup V$, where $U$ and $V$ are $T$-equivariantly homotopy equivalent to a fixed point. (Modulo the ineffective kernel, $N$ is equivariantly diffeomorphic to $S^2$ with the standard circle action. This follows from the theory of cohomogeneity-one actions, as such actions are determined by their group diagram.) So $H^*_T(U) = H^*_T(V) = S({\mathfrak{t}}^*)$. Moreover, $U\cap V$ is homotopy equivalent to an invariant circle, whose isotropy Lie algebra is ${\mathfrak{h}}$, so $H^*_T(U\cap V) = S({\mathfrak{h}}^*)$. We thus obtain an exact sequence $$\cdots \longrightarrow H^*_T(N) \longrightarrow S({\mathfrak{t}}^*)\oplus S({\mathfrak{t}}^*) \overset{\varphi}\longrightarrow S({\mathfrak{h}}^*)\longrightarrow \cdots,$$ where the map $\varphi$ is given by $\varphi(f,g) = f|_{\mathfrak{h}}- g|_{\mathfrak{h}}$. We thus obtain that $$H^*_T(N) \cong \{(f,g)\in S({\mathfrak{t}}^*)\oplus S({\mathfrak{t}}^*)\mid f|_{\mathfrak{h}}= g|_{\mathfrak{h}}\}.$$ Now, the condition that $f|_{\mathfrak{h}}=g|_{\mathfrak{h}}$ is equivalent to the condition that the polynomial $f-g$ is in the kernel of the restriction map $S({\mathfrak{t}}^*)\to S({\mathfrak{h}}^*)$. This kernel is a principal ideal, generated by any nonzero linear form that vanishes on ${\mathfrak{h}}$. This is precisely the relation prescribed by the edge corresponding to $N$.

\[ex:cp2gkm\] Consider the action of $T^2$ on ${{\mathbb  C}}P^2$. We already understand the one-skeleton of the action, which consists of three invariant two-spheres. They are given by $\{[z:w:0]\}$, $\{[z:0:w]\}$ and $\{[0:z:w]\}$, whose isotropy groups are $\{(t,t)\mid t\in S^1\}$, $\{1\}\times S^1
1$. To compute the equivariant cohomology of $ N$, we generalize Example \[ex: S1aufS2\ ] slightly: take $ N = U\cup V$, where $ U$ and $ V$ are $ T$-equivariantly homotopy equivalent to a specify item. (Modulo the ineffective kernel, $ N$ is equivariantly diffeomorphic to $ S^2 $ with the standard circle action. This follows from the hypothesis of cohomogeneity - one actions, as such actions are determined by their group diagram .) thus $ H^*_T(U) = H^*_T(V) = S({\mathfrak{t}}^*)$. Moreover, $ U\cap V$ is homotopy equivalent to an invariant set, whose isotropy Lie algebra is $ { \mathfrak{h}}$, so $ H^*_T(U\cap V) = S({\mathfrak{h}}^*)$. We therefore obtain an exact sequence $ $ \cdots \longrightarrow H^*_T(N) \longrightarrow S({\mathfrak{t}}^*)\oplus S({\mathfrak{t}}^ *) \overset{\varphi}\longrightarrow S({\mathfrak{h}}^*)\longrightarrow \cdots,$$ where the map $ \varphi$ is give by $ \varphi(f, g) = f|_{\mathfrak{h}}- g|_{\mathfrak{h}}$. We thus obtain that $ $ H^*_T(N) \cong \{(f, g)\in S({\mathfrak{t}}^*)\oplus S({\mathfrak{t}}^*)\mid f|_{\mathfrak{h}}= g|_{\mathfrak{h}}\}.$$ Now, the circumstance that $ f|_{\mathfrak{h}}=g|_{\mathfrak{h}}$ is equivalent to the condition that the polynomial $ f - g$ is in the kernel of the restriction map $ S({\mathfrak{t}}^*)\to S({\mathfrak{h}}^*)$. This kernel is a chief ideal, generated by any nonzero linear form that vanishes on $ { \mathfrak{h}}$. This is precisely the relation order by the edge represent to $ N$. 

 \[ex: cp2gkm\ ] Consider the action of $ T^2 $ on $ { { \mathbb   C}}P^2$. We already understand the one - skeletal system of the action, which consists of three invariant two - spheres. They are given by $ \{[z: w:0]\}$, $ \{[z:0: w]\}$ and $ \{[0: z: w]\}$, whose isotropy groups are $ \{(t, t)\mid t\in S^1\}$, $ \{1\}\times S^1
1$. To compute the equivariant cohomology of $U$, we geieralizs Exampld \[ex:S1aufS2\] slightly: take $N = U\rup C$, wheee $U$ and $V$ are $T$-equivafiantly hlmotopy wquitalent to a fixev point. (Modulo bhe iuehfective kernel, $N$ is equieariantly diffaoooxphic to $S^2$ with the standard circle wction. Yhls follows froi tht treorg of cohomogeneity-one actions, as shch actpons are determinrd by their group diagram.) Do $H^*_H(U) = H^*_T(V) = S({\mathfrak{h}}^*)$. Moreover, $O\dap C$ is homotoph equivalent to an invzriant circle, whose isotropy Lid algzbra is ${\matyfeak{j}}$, so $H^*_T(U\cap T) = S({\manhfrak{h}}^*)$. We thmx obtahn an ecact sequence $$\gdots \lobgrightarrow H^*_T(N) \longcightarrow S({\mathfrak{j}}^*)\oplus S({\madhyrak{t}}^*) \overset{\varphi}\lobgeightdrrof S({\mxrhffak{g}}^*)\lpnfrightwrrkw \cdots,$$ wgere the map $\varphi$ is given bu $\dqrphi(f,g) = f|_{\matgfrak{h}}- g|_{\iathfrak{h}}$. We thus obtain that $$H^*_T(N) \cong \{(x,g)\ih S({\mathfrak{t}}^*)\oplus S({\mathdrak{t}}^*)\mid f|_{\mathfrak{h}}= g|_{\lathfrak{h}}\}.$$ Now, the condition that $f|_{\mathfrak{h}}=g|_{\mathfrak{h}}$ is exuivamdnt tj rhf condition that the polynomial $f-g$ is in the hsrmek of the restrlction map $S({\mathfrsk{h}}^*)\tp S({\mathfrak{h}}^*)$. Tfis kexhem is a principal ifeal, gegeratwd by any nonaero linear form that vanisyes on ${\mathfgak{h}}$. This is precisely the relatiun ptescrined by the edge correspundihg to $N$.

\[ex:cp2hkm\] Consisdr the action of $T^2$ pn ${{\mathbb  C}}P^2$. We already undqrstand tie onz-skeletov of the astion, whicj consists of three invagiant tfo-spheres. Hhey are given by $\{[z:w:0]\}$, $\{[z:0:w]\}$ and $\{[0:z:w]\}$, xiose isotropy gsouis are $\{(t,t)\iid t\ln S^1\}$, $\{1\}\times S^1
1$. To compute the equivariant cohomology of generalize \[ex:S1aufS2\] slightly: $N = U\cup are homotopy equivalent to fixed point. (Modulo ineffective kernel, $N$ is equivariantly diffeomorphic $S^2$ with the standard circle action. This follows from the theory of cohomogeneity-one as such actions are determined by their group diagram.) So $H^*_T(U) = H^*_T(V) S({\mathfrak{t}}^*)$. $U\cap is equivalent to an invariant circle, whose isotropy Lie algebra is ${\mathfrak{h}}$, so $H^*_T(U\cap V) = S({\mathfrak{h}}^*)$. thus obtain an exact sequence $$\cdots \longrightarrow H^*_T(N) S({\mathfrak{t}}^*)\oplus S({\mathfrak{t}}^*) \overset{\varphi}\longrightarrow S({\mathfrak{h}}^*)\longrightarrow where the map $\varphi$ is by = f|_{\mathfrak{h}}- We obtain $$H^*_T(N) \cong \{(f,g)\in S({\mathfrak{t}}^*)\mid f|_{\mathfrak{h}}= g|_{\mathfrak{h}}\}.$$ Now, the condition that $f|_{\mathfrak{h}}=g|_{\mathfrak{h}}$ is equivalent to the condition that the polynomial $f-g$ in the the restriction $S({\mathfrak{t}}^*)\to This is a principal by any nonzero linear form that This is precisely the relation prescribed by the corresponding to \[ex:cp2gkm\] Consider the action of $T^2$ ${{\mathbb C}}P^2$. We already understand the one-skeleton of action, which consists of three invariant two-spheres. They are given by $\{[z:w:0]\}$, $\{[z:0:w]\}$ and $\{[0:z:w]\}$, groups are $\{(t,t)\mid t\in $\{1\}\times S^1
1$. To compute the equivariant coHomology of $n$, we geNerAliZe examPle \[eX:S1aufS2\] slightly: TAke $N = u\cup V$, where $U$ and $V$ are $T$-equIvariAnTLy hoMOtOpy eqUivalenT To A FIxeD pOiNt. (MOdULo The inEffEctive kErnel, $N$ is eqUivArIantly diffeoMOrPhic to $S^2$ witH thE standard cirCle Action. thIs fOLlows FroM the tHeory oF CohomoGeneity-onE aCTions, aS Such actIONs Are dEtermined by their gROuP Diagram.) So $H^*_T(U) = H^*_T(v) = S({\mathFrAK{t}}^*)$. mOReoVer, $u\cap V$ is homOtOpy eqUIvalent TO aN INVarIAnt circle, whosE isotropy LiE AlgEbra is ${\MaThfRAk{h}}$, so $H^*_t(U\cap v) = S({\MAthFrak{h}}^*)$. We thus ObtaIn an exact SequenCE $$\cdots \lONgrightArrow H^*_t(N) \lOngRighTArRoW S({\mAtHFraK{T}}^*)\oPluS s({\maThfrak{t}}^*) \oVeRsEt{\varPhi}\lONGRIghtArrOw S({\mAthfrAk{h}}^*)\longrightaRroW \cdoTS,$$ whEre thE map $\vArphI$ iS giveN by $\varPhi(f,g) = F|_{\mAthfrak{h}}- g|_{\mathfrAk{h}}$. WE thus obtaIn tHaT $$H^*_T(n) \cOng \{(f,g)\IN S({\mathFraK{t}}^*)\oPlus S({\maThfrak{t}}^*)\MId f|_{\MaTHFRaK{h}}= g|_{\mathfrak{h}}\}.$$ Now, the CoNDItIon that $f|_{\MathfrAK{h}}=G|_{\mAThfrak{h}}$ iS eQuiValeNT To the CondITiOn that thE polynOMiAl $F-g$ is in tHe Kernel Of The ResTrictIOn maP $S({\mathFrak{t}}^*)\to S({\MathfRAk{h}}^*)$. This kernel iS A principal ideAL, gENErATed bY anY nonzero linEar fORm thAt vaNIsHes ON ${\mathFrak{h}}$. thIS iS Precisely the relatioN pRescriBed by The edge corresPonding to $N$.

\[EX:CP2gkm\] ConsIder THe ACtion of $T^2$ on ${{\mathBb  C}}P^2$. WE already unDErstand tHe one-Skeleton Of the actiON, Which conSisTs oF thRee INVaRiant two-spherES. they ArE given bY $\{[z:w:0]\}$, $\{[Z:0:w]\}$ and $\{[0:z:w]\}$, WhoSe iSotRopY gRoups are $\{(t,T)\mid t\in S^1\}$, $\{1\}\TiMeS S^1
1$. To compute the equivar iant cohom ology  of  $N $,  wegene ralize Example \[ex :S1aufS2\] slightly: t ake $ N=  U\c u pV$, w here $U $  a n d  $V $ar e $ T$ - eq uivar ian tly hom otopy equi val en t to a fixed po int. (Modu lothe ineffect ive  kerne l,  $N $  is e qui varia ntly d i ffeomo rphic to$S ^ 2$ wit h  the st a n da rd c ircle action. Thi s  f o llows from the  theor yo fc o hom oge neity-oneac tions ,  as suc h  a c t i ons are determine d by theirg rou p diag ra m.) So $H^ *_T(U )=  H^ *_T(V) = S( {\ma thfrak{t} }^*)$. Moreove r , $U\ca p V$ i s h omo topy eq ui val en t  to an  in v ari ant circ le ,whose  iso t r o p y Li e a lgeb ra is  ${\mathfrak{ h}} $, s o  $H ^*_T( U\cap  V)=S({\m athfra k{h}} ^* )$. We thus obt ainan exactseq ue nce  $ $\cdo t s \lon gri ght arrow H ^*_T(N) \lo ng r i g ht arrow S({\mathfrak {t } } ^* )\oplusS({\ma t hf ra k {t}}^*)\o ver set{ \ v arphi }\lo n gr ightarro w S({\ m at hf rak{h}} ^* )\long ri ght arr ow \c d ots, $$ whe re the m ap $\ v arphi$ is give n  by $\varphi( f ,g ) =f |_{\ mat hfrak{h}}-g|_{ \ math frak { h} }$. We th us ob ta i nt hat $$H^*_T(N) \con g\{(f,g )\inS({\mathfrak{ t}}^*)\opl u s S({\math frak { t} } ^*)\mid f|_{\m athfr ak{h}}= g| _ {\mathfr ak{h} }\}.$$ N ow, the c o n dition t hat  $f |_{ \ma t h fr ak{h}}=g|_{\m a t hfra k{ h}}$ is  eq uivalen t t o t hecon di tion that  the pol yn om ia l$f- g$ is in the k er nel  o f t he re s tricti on ma p $S ({ \m a thf rak{t}} ^ *) \ t o S( {\ ma thfr ak{ h} }^*)$ . Th i s k ernel i s a princ ipa l  ide al ,generat ed by any non ze ro linearfo rmthat v a n ishes on  ${\mathfrak{h}}$. This is prec ise ly th e re lation pr esc ribedbyt he edg e corr espon di ngt o  $N$. \[ ex: cp 2gkm\] Con s i der  theac tion  of $T^ 2$ on ${{\mathbb C }}P ^2$. We alrea dyunde r s ta ndt he one -s k ele t o n of the action , which co ns i st s of three inv ar iant tw o-spher es. T h ey aregiven by$\{[z:w:0 ]\ }$,$ \ {[z :0:w]\}$ a nd $\{[0 :z:w]\}$, whose is otrop y g roupsar e $ \{(t, t)\mid t\i n S^1 \}$, $ \{ 1\}\ti mes S ^1 
1$. To_compute the_equivariant cohomology of $N$,_we generalize_Example_\[ex:S1aufS2\] slightly:_take_$N = U\cup_V$, where $U$_and $V$ are $T$-equivariantly_homotopy equivalent to_a_fixed point. (Modulo the ineffective kernel, $N$ is equivariantly diffeomorphic to $S^2$ with the_standard_circle action._This_follows_from the theory of cohomogeneity-one_actions, as such actions are_determined by_their group diagram.) So $H^*_T(U) = H^*_T(V) =_S({\mathfrak{t}}^*)$._Moreover, $U\cap V$_is homotopy equivalent to an invariant circle, whose isotropy_Lie algebra is ${\mathfrak{h}}$, so $H^*_T(U\cap_V) = S({\mathfrak{h}}^*)$._We_thus_obtain an exact sequence_$$\cdots \longrightarrow H^*_T(N) \longrightarrow S({\mathfrak{t}}^*)\oplus S({\mathfrak{t}}^*)_\overset{\varphi}\longrightarrow S({\mathfrak{h}}^*)\longrightarrow \cdots,$$ where the map_$\varphi$ is given by $\varphi(f,g) = f|_{\mathfrak{h}}-_g|_{\mathfrak{h}}$. We thus obtain that $$H^*_T(N)_\cong \{(f,g)\in S({\mathfrak{t}}^*)\oplus S({\mathfrak{t}}^*)\mid f|_{\mathfrak{h}}=_g|_{\mathfrak{h}}\}.$$ Now,_the condition that $f|_{\mathfrak{h}}=g|_{\mathfrak{h}}$ is_equivalent to the_condition that_the polynomial $f-g$_is in the kernel of the_restriction map $S({\mathfrak{t}}^*)\to_S({\mathfrak{h}}^*)$. This kernel is a principal_ideal,_generated by any_nonzero_linear_form that_vanishes on ${\mathfrak{h}}$._This_is precisely_the_relation prescribed by the edge corresponding_to_$N$.

\[ex:cp2gkm\] Consider the action of $T^2$ on_${{\mathbb  C}}P^2$. We_already_understand the one-skeleton of_the action, which consists of_three invariant two-spheres. They are given_by $\{[z:w:0]\}$,_$\{[z:0:w]\}$ and_$\{[0:z:w]\}$, whose isotropy groups are $\{(t,t)\mid t\in S^1\}$, $\{1\}\times S^1