, there one can find details on the relation between the equivariant cohomology and the final page of the spectral sequence that are usually glossed over in the literature. Equivariant formality of an action is the condition that the spectral sequence of the Cartan model degenerates at $E_1$. In Theorem \[thm:bigthmequivformal\] we prove some equivalent formulations of this condition, one of which enables one to compute ordinary from equivariant cohomology. We apply this to obtain information on the cohomology of homogeneous spaces in Section \[sec:cohomhomspaces\], and of GKM manifolds in Section \[sec:HMHTM\].

In the last sections we give a short overview on some recent developments. The choice of material is rather biased and not meant to be exhaustive. We will explain some results surrounding the notions of Cohen-Macaulay actions and equivariant basic cohomology.

Throughout the paper we try to present the material in an easily accessible way, sometimes sacrificing greater generality for simplicity of the arguments. We do not give proofs for every result, but do so whenever we were not able to find a good reference in the literature; sometimes we provide a different proof. We will assume that the reader is familiar with the theory of actions of compact Lie groups on differentiable manifolds.

In preparation of this paper a wealth of literature was helpful, such as the monographs [@AlldayPuppe; @BeGeVe; @GuilleminSternberg; @Hsiang], as well as [@GGK Appendix C] and [@Bott].\
[*Acknowledgements.*]{} Parts of this paper stem from the first named author’s lectures at the University of Hamburg in 2012, and at the Philipps University of Marburg in 2018. We would like to thank the participants of these courses for their interest in the topic and their valuable comments. We are grateful to Michèle Vergne for several remarks on a previous version of this paper. We are especially indebted to Jeffrey Carlson for several enlightening discussions, as well as for a very thorough reading of a previous version and numerous suggestions that improved the presentation of this paper. The second named author is supported by the German Academic Scholarship foundation.

Invariant and basic differential forms
======================================

Let $G$ be a Lie group acting on a differentiable manifold $M$, with Lie algebra ${\mathfrak{g}}$. We denote, for $X\in {\mathfrak{g}}$, the induced fundamental vector field by $$\overline{X
, there one can find details on the relation between the equivariant cohomology and the final page of the apparitional succession that are normally glossed over in the literature. Equivariant formality of an action is the condition that the apparitional sequence of the Cartan model degenerates at $ E_1$. In Theorem \[thm: bigthmequivformal\ ] we testify some equivalent formulations of this condition, one of which enable one to calculate ordinary from equivariant cohomology. We apply this to prevail information on the cohomology of homogeneous spaces in Section \[sec: cohomhomspaces\ ], and of GKM manifolds in Section \[sec: HMHTM\ ]. 

 In the final sections we give a short overview on some recent developments. The option of material is rather biased and not meant to be exhaustive. We will excuse some results surrounding the notions of Cohen - Macaulay actions and equivariant basic cohomology. 

 Throughout the paper we test to present the material in an easily accessible way, sometimes sacrificing great generality for simplicity of the arguments. We do not give proofs for every resultant role, but do so whenever we were not able to find a good reference in the literature; sometimes we provide a different proof. We will assume that the reader is conversant with the hypothesis of actions of compact Lie groups on differentiable manifold. 

 In preparation of this paper a wealth of literature was helpful, such as the monographs [ @AlldayPuppe; @BeGeVe; @GuilleminSternberg; @Hsiang ], equally well as [ @GGK Appendix C ] and [ @Bott].\ 
 [ * Acknowledgements. * ] { } Parts of this newspaper stem from the first identify author ’s lectures at the University of Hamburg in 2012, and at the Philipps University of Marburg in 2018. We would like to thank the participants of these courses for their interest in the subject and their valuable comments. We are grateful to Michèle Vergne for several remarks on a previous version of this paper. We are especially indebted to Jeffrey Carlson for respective edifying discussion, as well as for a very thorough reading of a former version and numerous suggestions that improved the presentation of this paper. The second named author is supported by the German Academic Scholarship foundation. 

 Invariant and basic differential phase 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Let $ G$ be a Lie group acting on a differentiable manifold $ M$, with Lie algebra $ { \mathfrak{g}}$. We announce, for $ X\in { \mathfrak{g}}$, the induced fundamental vector field by $ $ \overline{X
, thfre one can find details on the relatiou betwexn the squivarixnt cohomology and the final pqge od the spectral sequencd that arv usually glowwed over ii the libzratudc. Equnveriant formaliti of an actimn is the condhtkou that the spectral sequence of the Sartan kofel degeneratef at $Q_1$. In Nhtorem \[thm:bigthmequivformal\] we probe some equivalent fprmulations of this conditlon, lne of which enablfs one to cimpuew ordinary ffom equivagnant cohomomogy. We apply this to obtain inwormacion on the ciholmlogy of honogenvous spaces ik Sectimn \[sec:cphomhomspaces\], snd of GKM manifolds in Secvion \[sec:HMHTM\].

In the jast secthous we give a short ovwrciew mn smme fwcevt setelkpmentd. Tie choice or material us rather biased anc git meant to bs exhatseive. We will explain some results surrolndihg the notions of Cohen-Nacaulay actions and gquivariane basic cohomology.

Throughout the paper we try to [reseit tht naterkql in an easily accessible way, sometimes sacrifydimg greater generclity for simplivihy jf the argumevts. We do not give proofs flr everi resuot, but do so ehenever we were not able ti find a goob rwference in the licerature; somztimes we ptovide a different prooy. We wjll assume hhat the ddader is familiaf wpth dhe theory of actions of cjmpact Lix grobps on dkffetentiabje manifolfs.

In iseparation of this papet a wedlth of liherature was helpful, such as thx monographs [@SlndajPuppe; @BeYeVe; @GmilleminSternbewg; @Hsiang], as wgll as [@GGH Appdndix C] ans [@Bott].\
[*Arknowledgemegts.*]{} Parts of djis paper stxm from tre furst named xjthor’s lecturex at the Lnnversity if Hamburg in 2012, and at fhe Philipps Unnretwity of Marburb iv 2018. Re wpujg like to thdnk ghe lartizipants of bhere cpurses for their intaresf in the topic and tmeir valuqble comients. We are brateful to Michèle Vergie for sevetal remarks on a previous version of this oapcr. We are espqciaoly indebted to Jeffrey Carlson for several enlightxning discussions, as wgll as for a very thotounh reading oh a prqvious vession and numerous syggestions that ikproved the presentatjon of this paper. The second named author is supported by the German Academic Scholaeship hotndation.

Invzriamt ang yasnc diffqrenviel forms
======================================

Let $G$ be s Lie group acting on a differeitiable matiyold $M$, with Lie algebra ${\mathftay{g}}$. We denote, wor $X\in {\mathfrak{g}}$, the insuced fumdamental vector field by $$\overlone{X
, there one can find details on between equivariant cohomology the final page are glossed over in literature. Equivariant formality an action is the condition that spectral sequence of the Cartan model degenerates at $E_1$. In Theorem \[thm:bigthmequivformal\] we some equivalent formulations of this condition, one of which enables one to compute from cohomology. apply to obtain information on the cohomology of homogeneous spaces in Section \[sec:cohomhomspaces\], and of GKM manifolds Section \[sec:HMHTM\]. In the last sections we give short overview on some developments. The choice of material rather and not to exhaustive. will explain some surrounding the notions of Cohen-Macaulay actions and equivariant basic cohomology. Throughout the paper we try to present material in accessible way, sacrificing generality simplicity of the do not give proofs for every so whenever we were not able to find good reference the literature; sometimes we provide a proof. We will assume that the reader is with the theory of actions of compact Lie groups on differentiable manifolds. In preparation of a wealth of literature helpful, such as monographs @BeGeVe; @Hsiang], well as Appendix C] and [@Bott].\ [*Acknowledgements.*]{} Parts of this paper stem from first named author’s lectures at the University of Hamburg in at Philipps University of in 2018. We would to the participants of these their in their comments. are grateful to Michèle for several remarks on a version of this paper. Jeffrey Carlson for several enlightening discussions, as well for a very thorough reading of a version and numerous suggestions that improved the presentation of this paper. The named author by the German Academic Scholarship foundation. Invariant and differential forms ====================================== Let be a Lie group acting on a differentiable manifold with algebra ${\mathfrak{g}}$. denote, for $X\in the induced fundamental field by $$\overline{X
, there one can find details on tHe relation BetweEn tHe eQuIvarIant Cohomology and tHE finAl page of the spectral seqUence ThAT are USuAlly gLossed oVEr IN The LiTeRatUrE. eqUivarIanT formalIty of an actIon Is The condition THaT the spectrAl sEquence of the carTan modEl DegENeratEs aT $E_1$. In THeorem \[THm:bigtHmequivfoRmAL\] we proVE some eqUIVaLent Formulations of thiS CoNDition, one of whiCh enabLeS OnE TO coMpuTe ordinary FrOm equIVariant COhOMOLogY. we apply this to Obtain inforMAtiOn on thE cOhoMOlogy oF homoGeNEouS spaces in SeCtioN \[sec:cohomHomspaCEs\], and of gkM manifOlds in secTioN \[sec:hmHtM\].

in tHe LAst SEcTioNS we Give a shoRt OvErvieW on sOME REcenT deVeloPmentS. The choice of mAteRial IS raTher bIased And nOt Meant To be exHaustIvE. We will explain sOme rEsults surRouNdIng ThE notiONs of CoHen-macAulay acTions anD EquIvARIAnT basic cohomology.

ThRoUGHoUt the papEr we trY To PrESent the mAtEriAl in AN EasilY accESsIble way, sOmetimES sAcRificinG gReater GeNerAliTy for SImplIcity oF the arguMents. wE do not give prooFS for every resuLT, bUT Do SO wheNevEr we were not Able TO finD a goOD rEfeREnce iN the lItERaTUre; sometimes we proviDe A diffeRent pRoof. We will assUme that the READer is famIliaR WiTH the theory of acTions Of compact LIE groups oN diffErentiabLe manifolDS.

in preparAtiOn oF thIs pAPEr A wealth of liteRATure WaS helpfuL, suCh as the MonOgrAphS [@AlLdAyPuppe; @BegeVe; @GuilLeMiNSTeRnbErg; @HsIAng], as welL aS [@GGk APpeNdix C] ANd [@Bott].\
[*acknoWledGeMeNTs.*]{} PArts of tHIs PAPer sTeM fRom tHe fIrSt namEd auTHor’S lecturEs at the UnIveRSity Of haMburg in 2012, And at the PhiliPpS UniversitY oF MaRburg iN 2018. wE would liKe to thank the participantS Of these CouRses fOr thEir intereSt iN the toPic ANd theiR valuaBle coMmEntS. wE are gRATeFul To michèle VerGNE foR seveRaL remArks on a Previous version of tHIs pAper. We are espeCiaLly iNDEbTed TO JEFfrEy cArlSON for several enliGhtening diScUSsIons, as well AS foR a Very thoRough reAding OF a previOus versioN and numerOuS sugGEStiOns that impRoved the PresentatIOn of tHIs Paper. the Second NaMed AuthoR is supPOrtEd by tHe GermAn academIc SchOlArship foUndation.

Invariant and basIc diffErentIal Forms
======================================

Let $G$ Be a lIe gRoup actinG on a DifferentiAblE maNifolD $M$, wITh Lie AlgeBRa ${\MatHFrak{g}}$. we deNOte, for $X\in {\MAtHfrAK{G}}$, tHe induced fuNDAMenTal veCtoR Field bY $$\oveRline{X
, there one can find detai ls on therelat ion  be tw eentheequivariant co h omol ogy and the final page  of t he spec t ra l seq uence t h at a reus ua lly  g l os sed o ver  in the  literatur e.Eq uivariant fo r ma lity of an  ac tion is thecon dition  t hat the s pec tralsequen c e of t he Cartan  m o del de g enerate s at  $E_ 1$. In Theorem \[ t hm : bigthmequivfor mal\]we pr o v e s ome  equivalen tformu l ationso ft h i s c o ndition, oneof which en a ble s oneto  co m pute o rdina ry fro m equivaria nt c ohomology . We a p ply thi s  to obt ain in for mat iono nth e c oh o mol o gy  of hom ogeneous  s pa ces i n Se c t i o n \[ sec :coh omhom spaces\], and  of  GKM man ifold s inSect io n \[s ec:HMH TM\]. 
In the last sec tion s we give  ash ort  o vervi e w on s ome  re cent de velopme n ts.  T h e ch oice of material i sr a th er biase d andn ot  m e ant to b eexh aust i v e. We  wil l  e xplain s ome re s ul ts  surrou nd ing th enot ion s ofC ohen -Macau lay acti ons a n d equivariantb asic cohomolo g y. Th r ough out  the paperwe t r y to  pre s en t t h e mat erial  i n  a n  easily accessiblewa y, som etime s sacrificing  greater g e n e rality f or s i mp l icity of the a rgume nts. We do not give  proo fs for e very resu l t , but do  so  wh ene ver w ewere not able t o fi nd  a good  re ference  in  th e l ite ra ture; som etimes w epr ov id e a  diff e rent pro of . W ewil l ass u me tha t the  rea de ri s f amiliar wi t h  the  t he oryofac tions  ofc omp act Lie  groups o n d i ffer en ti able ma nifolds.

Inpr eparationof  th is pap e r  a wealt h of literature was hel p ful, su chas th e mo nographs[@A lldayP upp e ; @BeG eVe; @ Guill em inS t e rnber g ;  @ Hsi an g], as wel l as[@GGK  A ppen dix C]and [@Bott].\
[*Ac k now ledgements.*] {}Part s of  th i sp ape rs tem f rom the first n amed autho r’ s  l ectures at the  U niversi ty of H ambur g  in 201 2, and at  the Phil ip ps U n i ver sity of Ma rburg in  2018. We would li ke to  th ank th epar ticip ants o f  th ese c ourses  f or the ir in te rest inthe topic and their val uablecomme nts . We aregra t efu l to Mich èleVergne for  se ver al re mar k s ona pr e vi ous versi on o f  this pap e r.  We a re  especially i n deb ted t o J e ffreyCarl son for several e n lightening dis cuss i o ns,  as well  a s for a very t hor ou g h  reading  o f a previou s versio na nd nu merous  sugge stionst h at improv ed t hepresentat ion  o f  this p ap er .  The s econ dnamedauthor is s u p ported by the Ge rmanA c ademi c  Sc holar sh ip foun d atio n.

Invari ant and bas ic dif fere ntial  forms== ====== === == ========== = ========= ===== 

Let $ G$  bea L ie gro up a c t ing o n adi ffe rentiable m an i fo ld $M$ , wi th Li ealge bra ${\ma t hfrak{g} }$. We deno te , f o r  $X\in {\ m a thfrak{g}} $,the i n d uced funda m enta l  v e ctorfieldby $$\ overlin e {X
, there_one can_find details on the_relation between_the_equivariant cohomology_and_the final page_of the spectral_sequence that are usually_glossed over in_the_literature. Equivariant formality of an action is the condition that the spectral sequence of_the_Cartan model_degenerates_at_$E_1$. In Theorem \[thm:bigthmequivformal\] we_prove some equivalent formulations of_this condition,_one of which enables one to compute ordinary_from_equivariant cohomology. We_apply this to obtain information on the cohomology of_homogeneous spaces in Section \[sec:cohomhomspaces\], and_of GKM manifolds_in_Section_\[sec:HMHTM\].

In the last sections_we give a short overview on_some recent developments. The choice of_material is rather biased and not meant_to be exhaustive. We will explain_some results surrounding the notions_of Cohen-Macaulay_actions and equivariant basic cohomology.

Throughout_the paper we_try to_present the material_in an easily accessible way, sometimes_sacrificing greater generality_for simplicity of the arguments. We_do_not give proofs_for_every_result, but_do so whenever_we_were not_able_to find a good reference in_the_literature; sometimes we provide a different proof._We will assume that_the_reader is familiar with_the theory of actions of_compact Lie groups on differentiable manifolds.

In_preparation of_this paper_a wealth of literature was helpful, such as the monographs [@AlldayPuppe;_@BeGeVe; @GuilleminSternberg; @Hsiang], as well as_[@GGK Appendix C] and_[@Bott].\
[*Acknowledgements.*]{} Parts_of_this paper stem_from_the first_named author’s lectures at the University of_Hamburg in_2012, and at the Philipps University_of Marburg in 2018._We_would like to thank the participants_of these courses for their interest_in the topic and their_valuable_comments._We are grateful to Michèle_Vergne for several remarks on a_previous version of_this paper. We are especially indebted to_Jeffrey_Carlson for several enlightening discussions, as_well_as for a very thorough reading_of_a_previous version and numerous suggestions_that improved the presentation of this_paper. The second named author is supported by the_German Academic Scholarship_foundation.

Invariant and basic differential forms
======================================

Let_$G$_be_a Lie group acting on a differentiable manifold $M$, with_Lie algebra_${\mathfrak{g}}$. We denote,_for $X\in {\mathfrak{g}}$, the induced fundamental vector field by $$\overline{X