 Finally we give an example where $E_\infty$ and $H^*_G(M)$ are not isomorphic as $S(\mathfrak{g}^*)^G$-modules, a point which is in several places unclear in the literature.

Before we start, we want to point out that the goal here is not to give a complete introduction to spectral sequences but rather to provide the reader with all the algebraic background that is needed for our (and many other topological) applications. In particular, we avoid the finer details of convergence by restricting to first-quadrant spectral sequences. For an in-depth introduction we recommend, e.g., Chapter 5 of [@Weibel].

Basic definitions
-----------------

Let $R$ be a commutative ring. When applying algebraic results to equivariant cohomology we will always take $R=\mathbb{R}$.

A *(cohomology) spectral sequence* is a sequence $\{(E_r,d_r)\}_{r\geq 0}$ of bigraded $R$-modules $E_r=\bigoplus_{p,q\in\mathbb{Z}}E^{p,q}_r$ with $R$-linear differentials $d_r^{p,q}\colon E_r^{p,q}\rightarrow E^{p+r,q-r+1}_r$ satisfying $d_r\circ d_r=0$ and isomorphisms $E_{r+1}^{p,q}\cong (\ker d_r^{p,q})/({\operatorname{im}}d_r^{p-r,q+r-1})$.

A spectral sequence is often compared to a book, where for turning the $r$th page $E_r$ one takes cohomology to arrive at the next page $E_{r+1}\cong H^*(E_r,d_r)$. The advantage of spectral sequences is that they can be used to approximate the cohomology of a cochain complex by breaking down the transition $(C^*,d)\rightsquigarrow H^*(C^*,d)$ into smaller steps. Let us now make this idea precise by defining a suitable notion of convergence.

A *first-quadrant* spectral sequence is a spectral sequence $(E_r,d_r)$ where $E_r^{p,q}=0$ whenever $p<0$ or $q<0$. Note that if we fix a bidegree $(p,q)$ and start turning through the pages
Finally we give an example where $ E_\infty$ and $ H^*_G(M)$ are not isomorphic as $ S(\mathfrak{g}^*)^G$-modules, a item which is in respective places unclear in the literature. 

 Before we depart, we desire to point out that the goal here is not to give a accomplished introduction to spectral sequence but rather to provide the lector with all the algebraic background that is needed for our (and many early topological) applications. In particular, we avoid the finer details of convergence by restricting to inaugural - quadrant spectral sequences. For an in - depth initiation we recommend, e.g., Chapter 5 of [ @Weibel ]. 

 Basic definitions 
 ----------------- 

 permit $ R$ be a commutative ring. When applying algebraic results to equivariant cohomology we will always take $ R=\mathbb{R}$. 

 A * (cohomology) apparitional sequence * is a sequence $ \{(E_r, d_r)\}_{r\geq 0}$ of bigraded $ R$-modules $ E_r=\bigoplus_{p, q\in\mathbb{Z}}E^{p, q}_r$ with $ R$-linear differentials $ d_r^{p, q}\colon E_r^{p, q}\rightarrow E^{p+r, q - r+1}_r$ satisfying $ d_r\circ d_r=0 $ and isomorphisms $ E_{r+1}^{p, q}\cong (\ker d_r^{p, q})/({\operatorname{im}}d_r^{p - r, q+r-1})$. 

 A spectral succession is frequently compared to a book, where for turning the $ r$th page $ E_r$ one takes cohomology to arrive at the next page $ E_{r+1}\cong H^*(E_r, d_r)$. The advantage of spectral sequences is that they can be used to approximate the cohomology of a cochain complex by break down the transition $ (C^*,d)\rightsquigarrow H^*(C^*,d)$ into smaller footfall. lease us now make this idea accurate by defining a desirable notion of convergence. 

 A * first - quadrant * apparitional sequence is a spectral sequence $ (E_r, d_r)$ where $ E_r^{p, q}=0 $ whenever $ p<0 $ or $ q<0$. Note that if we fix a bidegree $ (p, q)$ and startle turning through the pages
 Fijally we give an example where $E_\infty$ aue $H^*_G(M)$ ere not isomorpfic as $S(\mathfrak{g}^*)^G$-modules, a 'oinr whixh is in several placer unclear in the oitecature.

Before we start, we want fl ponnv out that the noal here iv not to give d zolplete introduction to spectral seqtences nuh rather to prjvidt tre rsader with all the algebraic backgdound tiat is needed fpr our (and many other topopogifal) applications. Ij particulat, we qvoid the fiver details of converggnce by restricting to first-quadfant xpectral sgqhejwes. For an mn-deptr introduction we rewommend, e.g., Chapter 5 on [@Weiuel].

Bqsic definitions
-----------------

Let $R$ be a commutative ting. When dp'lying algebraic resuotw to gquivdriavr cuhojokofy we ailm always tzke $R=\mathbb{E}$.

A *(cohomology) specttaj sequence* is z sequqnse $\{(E_r,d_r)\}_{r\geq 0}$ of bigraded $R$-modules $E_r=\bigmplhs_{p,q\in\mathbb{Z}}E^{p,q}_r$ with $E$-linear differentials $d_r^{p,q}\colog E_r^{p,q}\rightarrow E^{p+r,q-r+1}_r$ satisfying $d_r\circ d_r=0$ and hsomocpfisns $D_{e+1}^{p,e}\cong (\ker d_r^{p,q})/({\operatorname{im}}d_r^{p-r,q+r-1})$.

A spectral fsqiekce is often comiared to a book, whrrf gjr turning thg $r$th pcfe $E_r$ one takes coholology jo arruve at tht nexy page $E_{r+1}\cong H^*(E_r,d_r)$. The advqntage of spvctrql sequences is thct they can ye usec to spproximate the cohomolugy kf a cochaij complex cy breaking down thv trdnsition $(C^*,d)\rightsquigarrow H^*(C^*,d)$ into smakler stdps. Ket us now make hhis lgea precise by deflning a suitable jotion of convergence.

A *first-quavcant* spectral saquvnce is a specbral sequence $(E_w,d_r)$ where $E_r^{p,q}=0$ whenevzr $p<0$ of $q<0$. Note tgat if xe fix a bidqgree $(p,q)$ and vjart turning vhrough tre pqges
Finally we give an example where $E_\infty$ are isomorphic as a point which in literature. Before we we want to out that the goal here is to give a complete introduction to spectral sequences but rather to provide the with all the algebraic background that is needed for our (and many other applications. particular, avoid finer details of convergence by restricting to first-quadrant spectral sequences. For an in-depth introduction we recommend, Chapter 5 of [@Weibel]. Basic definitions ----------------- Let be a commutative ring. applying algebraic results to equivariant we always take A spectral is a sequence 0}$ of bigraded $R$-modules $E_r=\bigoplus_{p,q\in\mathbb{Z}}E^{p,q}_r$ with $R$-linear differentials $d_r^{p,q}\colon E_r^{p,q}\rightarrow E^{p+r,q-r+1}_r$ satisfying $d_r\circ d_r=0$ and isomorphisms $E_{r+1}^{p,q}\cong d_r^{p,q})/({\operatorname{im}}d_r^{p-r,q+r-1})$. A is often to book, for turning the $E_r$ one takes cohomology to arrive page $E_{r+1}\cong H^*(E_r,d_r)$. The advantage of spectral sequences that they be used to approximate the cohomology a cochain complex by breaking down the transition H^*(C^*,d)$ into smaller steps. Let us now make this idea precise by defining a suitable convergence. A *first-quadrant* spectral is a spectral $(E_r,d_r)$ $E_r^{p,q}=0$ $p<0$ $q<0$. Note if we fix a bidegree $(p,q)$ and start turning through the
 Finally we give an example wheRe $E_\infty$ anD $H^*_G(M)$ aRe nOt iSoMorpHic aS $S(\mathfrak{g}^*)^G$-moDUles, A point which is in several PlaceS uNCleaR In The liTeraturE.

beFORe wE sTaRt, wE wANt To poiNt oUt that tHe goal here Is nOt To give a complETe IntroductiOn tO spectral seqUenCes but RaTheR To proVidE the rEader wITh all tHe algebraIc BAckgroUNd that iS NEeDed fOr our (and many other TOpOLogical) applicaTions. IN pARtICUlaR, we Avoid the fiNeR detaILs of conVErGENCe bY Restricting to First-quadraNT spEctral SeQueNCes. For An in-dEpTH inTroduction wE recOmmend, e.g., CHapter 5 OF [@Weibel].

bAsic defInitioNs
-----------------

LEt $R$ Be a cOMmUtAtiVe RIng. wHeN apPLyiNg algebrAiC rEsultS to eQUIVAriaNt cOhomOlogy We will always tAke $r=\matHBb{R}$.

a *(cohoMologY) speCtRal seQuence* Is a seQuEnce $\{(E_r,d_r)\}_{r\geq 0}$ of bIgraDed $R$-modulEs $E_R=\bIgoPlUs_{p,q\iN\Mathbb{z}}E^{p,Q}_r$ wIth $R$-linEar diffERenTiALS $D_r^{P,q}\colon E_r^{p,q}\rightarRoW e^{P+r,Q-r+1}_r$ satisFying $d_R\CiRc D_R=0$ and isomOrPhiSms $E_{R+1}^{P,Q}\cong (\Ker d_R^{P,q})/({\OperatorName{im}}D_R^{p-R,q+R-1})$.

A spectRaL sequeNcE is OftEn comPAred To a booK, where foR turnINg the $r$th page $E_r$ ONe takes cohomoLOgY TO aRRive At tHe next page $E_{R+1}\conG h^*(E_r,d_R)$. The ADvAntAGe of sPectrAl SEqUEnces is that they can bE uSed to aPproxImate the cohomOlogy of a coCHAIn compleX by bREaKIng down the tranSitioN $(C^*,d)\rightsqUIgarrow H^*(c^*,d)$ intO smaller Steps. Let uS NOw make thIs iDea PreCisE BY dEfining a suitaBLE notIoN of convErgEnce.

A *fiRst-QuaDraNt* sPeCtral sequEnce is a sPeCtRaL sEquEnce $(E_R,D_r)$ where $E_R^{p,Q}=0$ whEnEveR $p<0$ or $q<0$. nOte thaT if we Fix a BiDeGRee $(P,q)$ and stARt TURninG tHrOugh The PaGes
 Finally we give an exampl e where $E _\inf ty$  an d$H^* _G(M )$ are not iso m orph ic as $S(\mathfrak{g}^ *)^G$ -m o dule s ,a poi nt whic h  i s inse ve ral  p l ac es un cle ar in t he literat ure .
Before we s t ar t, we want  to  point out t hat  the g oa l h e re is  no t togive a comple te introd uc t ion to spectra l se quen ces but rather to pr o vide the reade r with  a l lt h e a lge braic back gr oundt hat isn ee d e d  fo r  our (and man y other top o log ical)ap pli c ations . Inpa r tic ular, we av oidthe finer  detai l s of co n vergenc e by r est ric ting to  f irs t- q uad r an t s p ect ral sequ en ce s. Fo r an i n - dept h i ntro ducti on we recomme nd,  e.g . , C hapte r 5 o f [@ We ibel] .

Bas ic de fi nitions
------- ---- ------

L et$R $ b ea com m utativ e r ing . Whenapplyin g  al ge b r a ic  results to equiva ri a n tcohomolo gy wew il la lways ta ke  $R =\ma t h bb{R} $.
A  * (cohomol ogy) s p ec tr al sequ en ce* is  a  se que nce $ \ {(E_ r,d_r) \}_{r\ge q 0}$ of bigraded $R $ -modules $E_r = \b i g op l us_{ p,q \in\mathbb{ Z}}E ^ {p,q }_r$ wi th$ R$-li neardi f fe r entials $d_r^{p,q}\ co lon E_ r^{p, q}\rightarrow  E^{p+r,q- r + 1 }_r$ sat isfy i ng $d_r\circ d_r= 0$ an d isomorph i sms $E_{ r+1}^ {p,q}\co ng (\kerd _ r^{p,q}) /({ \op era tor n a me {im}}d_r^{p-r , q +r-1 }) $.

A s pec tral se que nce  is  of te n compare d to a b oo k,  w he refor t u rning th e$r$ th  pa ge $E _ r$ one  take s co ho mo l ogy  to arr i ve a t th ene xt p age  $ E_{r+ 1}\c o ngH^*(E_r ,d_r)$. T hea dvan ta ge  of spe ctral sequenc es  is that t he y c an beu s ed to ap proximate the cohomolog y  of a c och ain c ompl ex by bre aki ng dow n t h e tran sition  $(C^ *, d)\ r i ghtsq u i ga rro wH^*(C^*,d) $ int o sma ll er s teps. L et us now make thi s  id ea precise by  de fini n g  a  su i ta b leno t ion o f convergence.
A *first- qu a dr ant* spect r alse quenceis a sp ectra l  sequen ce $(E_r, d_r)$ whe re  $E_ r ^ {p, q}=0$ when ever $p< 0$ or $q< 0 $. No t ethatifwe fix  a  bi degre e $(p, q )$and s tart t ur ning t hroug hthe page s
 Finally_we give_an example where $E_\infty$_and $H^*_G(M)$_are_not isomorphic_as_$S(\mathfrak{g}^*)^G$-modules, a point_which is in_several places unclear in_the literature.

Before we_start,_we want to point out that the goal here is not to give a_complete_introduction to_spectral_sequences_but rather to provide the_reader with all the algebraic_background that_is needed for our (and many other topological)_applications._In particular, we_avoid the finer details of convergence by restricting to_first-quadrant spectral sequences. For an in-depth_introduction we recommend,_e.g.,_Chapter_5 of [@Weibel].

Basic definitions
-----------------

Let_$R$ be a commutative ring. When_applying algebraic results to equivariant cohomology_we will always take $R=\mathbb{R}$.

A *(cohomology) spectral_sequence* is a sequence $\{(E_r,d_r)\}_{r\geq 0}$_of bigraded $R$-modules $E_r=\bigoplus_{p,q\in\mathbb{Z}}E^{p,q}_r$ with_$R$-linear differentials_$d_r^{p,q}\colon E_r^{p,q}\rightarrow E^{p+r,q-r+1}_r$ satisfying $d_r\circ_d_r=0$ and isomorphisms_$E_{r+1}^{p,q}\cong (\ker_d_r^{p,q})/({\operatorname{im}}d_r^{p-r,q+r-1})$.

A spectral sequence_is often compared to a book,_where for turning_the $r$th page $E_r$ one takes_cohomology_to arrive at_the_next_page $E_{r+1}\cong_H^*(E_r,d_r)$. The advantage_of_spectral sequences_is_that they can be used to_approximate_the cohomology of a cochain complex by_breaking down the transition_$(C^*,d)\rightsquigarrow_H^*(C^*,d)$ into smaller steps._Let us now make this_idea precise by defining a suitable_notion of_convergence.

A *first-quadrant*_spectral sequence is a spectral sequence $(E_r,d_r)$ where $E_r^{p,q}=0$ whenever $p<0$_or $q<0$. Note that if we_fix a bidegree $(p,q)$_and start_turning_through the pages