}^r(1-t^{k_i})^{-1}$ for some $f\in \mathbb{Z}[t]$, where $r$ is the number of variables of $S(\mathfrak{g}^*)^G$ and the $k_i$ are their degrees [@AtiyahMac Thm. 11.1]. The rank is then precisely $f(1)$ (check this for a free module first and then deduce it for general $M$ via a free resolution). As we have already seen, $E_\infty$ and $H^*_G(M)$ are isomorphic as graded vector spaces, so the claim follows.

In the corollary above, it is tempting to argue that a basis of a free submodule in $H^*_G(M)$ projects down to the basis of a free submodule of $E_\infty$. However this is false in general.

Naturality and the comparison theorem
-------------------------------------

We briefly discuss maps between spectral sequences and the important comparison Theorem. The latter enables us to prove Remark \[rem:commutingactionprinciple\] in case $G$ and $H$ are tori. Also, a construction made in said proof is needed in the next and final section.

A morphism of spectral sequences $(E_r,d_r)\rightarrow (E_r',d_r')$ is a family of morphisms $f_r\colon E_r\rightarrow E'_r$, defined for large $r$, that preserve the bigrading, commute with the differentials, and have the property that $f_{r+1}$ is the map induced by $f_r$ in cohomology.

In particular, if $E_\infty$ is defined, we obtain a map $f_\infty\colon E_\infty\rightarrow E'_\infty$. Morphisms of spectral sequences associated to filtrations arise naturally via filtration-preserving maps: Suppose $(C,d)$ and $(C',d')$ are canonically bounded filtered cochain complexes and $f\colon C\rightarrow C'$ is a filtration-preserving chain map. Then $f$ maps $A_r^{p,q}$ (see the construction in Section \[Appendix:ConstrSec\]) to ${A'}_r^{p,q}$ and induces maps $f_r\colon E_r\rightarrow E_r'$ for $r\geq 0$. One checks directly via the definitions that this is a morphism of
} ^r(1 - t^{k_i})^{-1}$ for some $ f\in \mathbb{Z}[t]$, where $ r$ is the number of variables of $ S(\mathfrak{g}^*)^G$ and the $ k_i$ are their degrees [ @AtiyahMac Thm.   11.1 ]. The rank is then precisely $ f(1)$ (match this for a spare module first and then deduce it for general $ M$ via a detached resolution). As we have already seen, $ E_\infty$ and $ H^*_G(M)$ are isomorphous as graded vector spaces, so the claim come. 

 In the corollary above, it is tempting to argue that a basis of a barren submodule in $ H^*_G(M)$ projects down to the basis of a free submodule of $ E_\infty$. However this is assumed in general. 

 Naturality and the comparison theorem 
 ------------------------------------- 

 We briefly discuss maps between spectral sequence and the important comparison Theorem. The latter enables us to prove Remark \[rem: commutingactionprinciple\ ] in character $ G$ and $ H$ are tori. Also, a construction made in said validation is needed in the adjacent and final section. 

 A morphism of spectral sequence $ (E_r, d_r)\rightarrow (E_r',d_r')$ is a family of morphisms $ f_r\colon E_r\rightarrow E'_r$, defined for large $ r$, that preserve the bigrading, commute with the differentials, and accept the property that $ f_{r+1}$ is the map induced by $ f_r$ in cohomology. 

 In particular, if $ E_\infty$ is defined, we obtain a map $ f_\infty\colon E_\infty\rightarrow E'_\infty$. Morphisms of spectral sequences associated to filtration arise naturally via filtration - preserving function: presuppose $ (C, d)$ and $ (C',d')$ are canonically bounded filtered cochain complex and $ f\colon C\rightarrow C'$ is a filtration - preserving chain map. Then $ f$ maps $ A_r^{p, q}$ (determine the construction in Section \[Appendix: ConstrSec\ ]) to $ { A'}_r^{p, q}$ and induces maps $ f_r\colon E_r\rightarrow E_r'$ for $ r\geq 0$. One checks directly via the definitions that this is a morphism of
}^r(1-t^{k_l})^{-1}$ for some $f\in \mathbb{Z}[t]$, dhere $r$ is the uymber mf varjables ow $S(\mathfrak{g}^*)^G$ and the $k_i$ are tyeir eegrees [@AtiyahMac Thm. 11.1]. Ghe rank ps then peeciwwly $f(1)$ (check this for a fdce mobuoe first and tmen deduce ht for general $M$ vna a free resolution). As we have alrewdy seem, $F_\infty$ and $H^*_G(M)$ are ysomkgpmic as graded vector spaces, so tge claik follows.

In tne corollary above, it is tfmptlng to argue that w basis of q frqw submodule kn $H^*_G(M)$ projects down tk the basis of a free submodule of $E_\nnfty$. Howevgx thlv is false mn genvral.

Naturalitn and tve compsrison theorem
-------------------------------------

Ee uriedly discuss maps betwxen spectral sequencgs and the ijportant comparisin Theotem. Tve lxrtef ehaulea us tl pcove Remark \[rem:commutibgactionprinciple\] im sqse $G$ and $H$ ade tory. Wlso, a construction made in said proof ps nseded in the next and funal section.

A morphisl of speceral sequences $(E_r,d_r)\rightarrow (E_r',d_r')$ is a family of morpiirms $f_v\colub F_r\rightarrow E'_r$, defined for large $r$, that presqdvt tme bigrading, comiute with tne dosferentials, avd havz tge property that $f_{g+1}$ is thg map unduced br $f_r$ in cohomology.

In particular, if $E_\infty$ if defined, we obtain a map $f_\infcy\colom E_\ingty\rightarrow E'_\infty$. Moxphisma of spectrwl sequendds associated to fiktsations arise naturally viw filtratmon-przserving mapx: Suppjse $(C,d)$ and $(C',d')$ ava canonically bounfed fnlterad cochain complexes and $f\colon C\rightarrow C'$ is a filttathon-ireserviny chaik map. Then $f$ ma[s $A_r^{p,q}$ (see thg construetion kn Section \[Appendmx:ConstrSec\]) eo ${A'}_r^{p,q}$ and itfuces maps $f_c\colon E_r\wighrarriw E_r'$ fuf $r\geq 0$. One chrcks direbtjy vua the definitions thxf this is a mor'kiwm of
}^r(1-t^{k_i})^{-1}$ for some $f\in \mathbb{Z}[t]$, where $r$ number variables of and the $k_i$ 11.1]. rank is then $f(1)$ (check this a free module first and then it for general $M$ via a free resolution). As we have already seen, and $H^*_G(M)$ are isomorphic as graded vector spaces, so the claim follows. In corollary it tempting argue that a basis of a free submodule in $H^*_G(M)$ projects down to the basis of free submodule of $E_\infty$. However this is false general. Naturality and the theorem ------------------------------------- We briefly discuss between sequences and important Theorem. latter enables us prove Remark \[rem:commutingactionprinciple\] in case $G$ and $H$ are tori. Also, a construction made in said proof needed in and final A of sequences $(E_r,d_r)\rightarrow (E_r',d_r')$ family of morphisms $f_r\colon E_r\rightarrow E'_r$, $r$, that preserve the bigrading, commute with the and have property that $f_{r+1}$ is the map by $f_r$ in cohomology. In particular, if $E_\infty$ defined, we obtain a map $f_\infty\colon E_\infty\rightarrow E'_\infty$. Morphisms of spectral sequences associated to filtrations via filtration-preserving maps: Suppose and $(C',d')$ are bounded cochain and C\rightarrow C'$ a filtration-preserving chain map. Then $f$ maps $A_r^{p,q}$ (see the construction Section \[Appendix:ConstrSec\]) to ${A'}_r^{p,q}$ and induces maps $f_r\colon E_r\rightarrow E_r'$ 0$. checks directly via definitions that this is morphism
}^r(1-t^{k_i})^{-1}$ for some $f\in \mathbb{Z}[t]$, wheRe $r$ is the nuMber oF vaRiaBlEs of $s(\matHfrak{g}^*)^G$ and the $k_I$ Are tHeir degrees [@AtiyahMac ThM. 11.1]. The rAnK Is thEN pRecisEly $f(1)$ (cheCK tHIS foR a FrEe mOdULe First And Then dedUce it for geNerAl $m$ via a free resOLuTion). As we haVe aLready seen, $E_\iNftY$ and $H^*_G(m)$ aRe iSOmorpHic As graDed vecTOr spacEs, so the clAiM FollowS.

in the coROLlAry aBove, it is tempting tO ArGUe that a basis of A free sUbMOdULE in $h^*_G(M)$ Projects doWn To the BAsis of a FReE SUBmoDUle of $E_\infty$. HoWever this is FAlsE in genErAl.

NATuraliTy and ThE ComParison theoRem
-------------------------------------

WE briefly dIscuss MAps betwEEn spectRal seqUenCes And tHE iMpOrtAnT ComPArIsoN theOrem. The lAtTeR enabLes uS TO PRove remArk \[rEm:comMutingactionpRinCiplE\] In cAse $G$ aNd $H$ arE torI. ALso, a cOnstruCtion MaDe in said proof is NeedEd in the neXt aNd FinAl SectiON.

A morpHisM of SpectraL sequenCEs $(E_R,d_R)\RIGhTarrow (E_r',d_r')$ is a familY oF MOrPhisms $f_r\Colon E_R\RiGhTArrow E'_r$, dEfIneD for LARge $r$, tHat pREsErve the bIgradiNG, cOmMute witH tHe diffErEntIalS, and hAVe thE propeRty that $f_{R+1}$ is thE Map induced by $f_r$ IN cohomology.

In PArTICuLAr, if $e_\inFty$ is defineD, we oBTain A map $F_\InFty\COlon E_\Infty\RiGHtARrow E'_\infty$. Morphisms Of SpectrAl seqUences associaTed to filtrATIOns arise NatuRAlLY via filtration-PreseRving maps: SUPpose $(C,d)$ aNd $(C',d')$ aRe canoniCally bounDED filtereD coChaIn cOmpLEXeS and $f\colon C\riGHTarrOw c'$ is a filTraTion-preSerVinG chAin MaP. Then $f$ mapS $A_r^{p,q}$ (see ThE cOnStRucTion iN section \[APpEndIx:conStrSeC\]) To ${A'}_r^{p,q}$ And inDuceS mApS $F_r\cOlon E_r\rIGhTARrow e_r'$ FoR $r\geQ 0$. OnE cHecks DireCTly Via the dEfinitionS thAT thiS iS a MorphisM of
}^r(1-t^{k_i})^{-1}$ for s ome $f\in\math bb{ Z}[ t] $, w here  $r$ is the nu m berof variables of $S(\ma thfra k{ g }^*) ^ G$  andthe $k_ i $a r e t he ir  de gr e es  [@At iya hMac Th m. 11.1].The  r ank is thenp re cisely $f( 1)$  (check this  fo r a fr ee  mo d ule f irs t and  thend educeit for ge ne r al $M$ via a f r e ereso lution). As we ha v ea lready seen, $ E_\inf ty $  a n d  $H ^*_ G(M)$ areis omorp h ic as g r ad e d vec t or spaces, so  the claimf oll ows.
In  th e  corol laryab o ve,  it is temp ting  to argue  thata  basiso f a fre e subm odu lein $ H ^* _G (M) $p roj e ct s d o wnto the b as is  of a  fre e s u bmod ule  of$E_\i nfty$. Howeve r t hisi s f alsein ge nera l. 

Nat uralit y and  t he comparison t heor em
------ --- -- --- -- ----- - ------ --- --- ---

We  briefl y  di sc u s s  m aps between spectr al s eq uences a nd the im po r tant com pa ris on T h e orem.  The la tter ena bles u s  t oprove R em ark \[ re m:c omm uting a ctio nprinc iple\] i n cas e  $G$ and $H$ a r e tori. Also, ac o ns t ruct ion  made in sa id p r oofis n e ed edi n the  next  a n df inal section.

A mo rp hism o f spe ctral sequenc es $(E_r,d _ r ) \rightar row( E_ r ',d_r')$ is afamil y of morph i sms $f_r \colo n E_r\ri ghtarrowE ' _r$, def ine d f orlar g e  $ r$, that pres e r ve t he  bigrad ing , commu tewit h t hedi fferentia ls, andha ve  t he  pr opert y  that $f _{ r+1 }$  is  them ap ind ucedby $ f_ r$ incohomol o gy . 
Inpa rt icul ar,  i f $E_ \inf t y$is defi ned, we o bta i n ama p$f_\inf ty\colon E_\i nf ty\rightar ro w E '_\inf t y $. Morph isms of spectral sequen c es asso cia ted t o fi ltrations  ar ise na tur a lly vi a filt ratio n- pre s e rving m ap s:Su ppose $(C, d ) $ a nd $( C' ,d') $ are c anonically bounded fil tered cochain  co mple x e sand $f \ col on C\r i g htarrow C'$ isa filtrati on - pr eserving c h ain  m ap. The n $f$ m aps $ A _r^{p,q }$ (see t he constr uc tion i n S ection \[A ppendix: ConstrSec \ ]) to ${ A'}_r ^{p ,q}$ a nd  in duces  maps$ f_r \colo n E_r\ ri ghtarr ow E_ r' $ for $r \geq 0$. One checks dir ectlyvia t hedefinitio nst hat  this isa mo rphism of
}^r(1-t^{k_i})^{-1}$ for_some $f\in_\mathbb{Z}[t]$, where $r$ is_the number_of_variables of_$S(\mathfrak{g}^*)^G$_and the $k_i$_are their degrees_[@AtiyahMac Thm. 11.1]. The rank_is then precisely_$f(1)$_(check this for a free module first and then deduce it for general $M$_via_a free_resolution)._As_we have already seen, $E_\infty$_and $H^*_G(M)$ are isomorphic as_graded vector_spaces, so the claim follows.

In the corollary above,_it_is tempting to_argue that a basis of a free submodule in_$H^*_G(M)$ projects down to the basis_of a free_submodule_of_$E_\infty$. However this is_false in general.

Naturality and the comparison_theorem
-------------------------------------

We briefly discuss maps between spectral_sequences and the important comparison Theorem. The_latter enables us to prove Remark_\[rem:commutingactionprinciple\] in case $G$ and_$H$ are_tori. Also, a construction made_in said proof_is needed_in the next_and final section.

A morphism of spectral_sequences $(E_r,d_r)\rightarrow (E_r',d_r')$_is a family of morphisms $f_r\colon_E_r\rightarrow_E'_r$, defined for_large_$r$,_that preserve_the bigrading, commute_with_the differentials,_and_have the property that $f_{r+1}$ is_the_map induced by $f_r$ in cohomology.

In particular,_if $E_\infty$ is defined,_we_obtain a map $f_\infty\colon_E_\infty\rightarrow E'_\infty$. Morphisms of spectral_sequences associated to filtrations arise naturally_via filtration-preserving_maps: Suppose_$(C,d)$ and $(C',d')$ are canonically bounded filtered cochain complexes and $f\colon_C\rightarrow C'$ is a filtration-preserving chain_map. Then $f$ maps_$A_r^{p,q}$ (see_the_construction in Section_\[Appendix:ConstrSec\])_to ${A'}_r^{p,q}$_and induces maps $f_r\colon E_r\rightarrow E_r'$ for_$r\geq 0$._One checks directly via the definitions_that this is a_morphism_of