}(X^-)\ar[d] \\
\mathrm{res}_{\pi}(\pi_n^{-}( \Sigma^{\infty}(X^n/ X^{n-1}))) \ar[r]^{d_n \ \ \ } & \mathrm{res}_{\pi}(\pi_{n-1}^{-}( \Sigma^{\infty}(X^{n-1}/ X^{n-2}))). }$$ Using the adjointness of $\mathrm{res}_{\pi}$ and $\mathrm{ind}_{\pi}$ and $\mathrm{ind}_{\pi}(\mathbb{Z}[-,G/K])=\mathbb{Z}^{G}[-,K]$, we conclude that the chain complex obtained from $ \Sigma^{\infty}X_+$ by applying the methods from Subsection 4.1 to the stable cofiber sequences obtained by applying $\Sigma^{\infty}$ to the homotopy cofiber sequences of $X$, coincides with the chain complex obtained by applying the induction functor $\mathrm{ind}_{\pi}$ to the cellular chain complex $C_{\ast}(X^-)$ of $X$.

The above discussion shows that the suspension spectrum functor is a geometric analog of the induction functor $\mathrm{ind}_{\pi}$. This indicates that there should be an algebraic version of Proposition \[prop: susp model\]. Indeed, [@MartinezNucinkis06 Th. 3.8] shows that if $P_{\ast}$ is a projective resolution of $\underline{\mathbb{Z}}$, then $\mathrm{ind}_{\pi}(P_{\ast})$ is a projective resolution of $\underline{A}$. Below we show that the converse of the latter is also true. The proof requires the following lemma and uses notation and isomorphisms from Section 2.

\[lemma: tensor zero\] For any right ${\mathcal{O}_{{\mathcal {F}}}G}$-module $M$ and any $K \in \mathcal{F}$, $\mathrm{ind}_{\pi}(M)(G/K)=0$ implies that $M(G/K)=0$.

Fix $K \in \mathcal{F}$ and let $\mathrm{ind}_K^G$ denote the induction functor from the category of covariant Mackey functors for $K$ to the category of covariant Mackey functors for $G$, associated to the inclusion $i_K^G$ of $K$ into $G$. Then $$\mathrm{ind}_K^G(\mathbb{Z}^K[K,\pi_K(-)])\cong \mathbb{Z
} (X^-)\ar[d ] \\ 
 \mathrm{res}_{\pi}(\pi_n^{- } (\Sigma^{\infty}(X^n/ X^{n-1 }) )) \ar[r]^{d_n \ \ \ } & \mathrm{res}_{\pi}(\pi_{n-1}^{- } (\Sigma^{\infty}(X^{n-1}/ X^{n-2 }) )). } $ $ Using the adjointness of $ \mathrm{res}_{\pi}$ and $ \mathrm{ind}_{\pi}$ and $ \mathrm{ind}_{\pi}(\mathbb{Z}[-,G / K])=\mathbb{Z}^{G}[-,K]$, we conclude that the chain complex prevail from $ \Sigma^{\infty}X_+$ by enforce the methods from Subsection 4.1 to the static cofiber sequences receive by applying $ \Sigma^{\infty}$ to the homotopy cofiber sequence of $ X$, coincides with the chain building complex prevail by applying the trigger functor $ \mathrm{ind}_{\pi}$ to the cellular chain complex $ C_{\ast}(X^-)$ of $ X$. 

 The above discussion testify that the suspension spectrum functor is a geometric analog of the induction functor $ \mathrm{ind}_{\pi}$. This indicates that there should be an algebraic version of Proposition \[prop: susp model\ ]. Indeed, [ @MartinezNucinkis06 Th. 3.8 ] shows that if $ P_{\ast}$ is a projective resolving power of $ \underline{\mathbb{Z}}$, then $ \mathrm{ind}_{\pi}(P_{\ast})$ is a projective resolution of $ \underline{A}$. Below we show that the converse of the latter is also on-key. The proof requires the following lemma and uses note and isomorphisms from Section 2. 

 \[lemma: tensor zero\ ] For any correct $ { \mathcal{O}_{{\mathcal { F}}}G}$-module $ M$ and any $ K \in \mathcal{F}$, $ \mathrm{ind}_{\pi}(M)(G / K)=0 $ implies that $ M(G / K)=0$. 

 Fix $ K \in \mathcal{F}$ and let $ \mathrm{ind}_K^G$ denote the evocation functor from the category of covariant Mackey functors for $ K$ to the category of covariant Mackey functors for $ G$, associated to the inclusion $ i_K^G$ of $ K$ into $ G$. Then $ $ \mathrm{ind}_K^G(\mathbb{Z}^K[K,\pi_K(-)])\cong \mathbb{Z
}(X^-)\ar[f] \\
\mathrm{res}_{\pi}(\pi_n^{-}( \Sigma^{\innty}(X^n/ X^{n-1}))) \ar[r]^{d_n \ \ \ } & \matirm{res}_{\pj}(\pi_{n-1}^{-}( \Sigoa^{\infty}(X^{n-1}/ X^{n-2}))). }$$ Using the adjomntnwss od $\mathrm{res}_{\pi}$ and $\mathfm{ind}_{\pi}$ ajd $\mathrn{ind}_{\ki}(\mathbb{Z}[-,G/K])=\mathbb{V}^{F}[-,K]$, we concluds thac vhe chain complgx obtained xrom $ \Sigma^{\infdy}B_+$ yy applying the methods from Subsectyon 4.1 to tje stable cofifer xqquehbew obtained by applying $\Sigma^{\ihfty}$ to the homotopy cofiber sequences of $X$, colncifes with the chain complex objzinqe by applyine the indubcion functot $\mathrm{ind}_{\pi}$ to the cellular chxin cpmplex $C_{\asj}(R^-)$ of $F$.

The above viscusfion shows tmst the suspenxion spectrum nunctmr us a geometric analog of the induction sunctor $\mdtkrm{ind}_{\pi}$. This indicatws that these sfiula bt ai amgebralc tersion of Lroposition \[prop: susp model\]. Inceqe, [@MartinezNucjnkis06 Eh. 3.8] shows that if $P_{\ast}$ is a projective revolhtion of $\underline{\mathbv{Z}}$, then $\mathrm{ind}_{\pi}(P_{\adt})$ is a pwojective resolution of $\underline{A}$. Below we show dhat vhd cinyersd ov the latter is also true. The proof requires ege fpllowing lemma and uses nptwtojn and isomorkhisms ydoj Section 2.

\[lemma: tejsor zeto\] For any righu ${\matncal{O}_{{\mathcal {F}}}G}$-module $M$ and any $K \in \manhcao{F}$, $\mathrm{ind}_{\pi}(M)(G/K)=0$ nmplies that $M(G/K)=0$.

Gix $K \in \mathcal{F}$ and let $\machrm{ins}_K^G$ denote hhe inducfkon functor from thv cadegory of covariant Mackey functors for $K$ to tfe cstegorr of covarlant Mackey functors for $G$, asdowiated to hhe inclusion $i_K^G$ of $K$ into $G$. Tixn $$\mathrm{ind}_K^B(\mdthtb{Z}^K[K,\pi_K(-)])\eong \msthbb{Z
}(X^-)\ar[d] \\ \mathrm{res}_{\pi}(\pi_n^{-}( \Sigma^{\infty}(X^n/ X^{n-1}))) \ar[r]^{d_n \ } \mathrm{res}_{\pi}(\pi_{n-1}^{-}( \Sigma^{\infty}(X^{n-1}/ }$$ Using the and we conclude that chain complex obtained $ \Sigma^{\infty}X_+$ by applying the methods Subsection 4.1 to the stable cofiber sequences obtained by applying $\Sigma^{\infty}$ to the cofiber sequences of $X$, coincides with the chain complex obtained by applying the functor to cellular complex $C_{\ast}(X^-)$ of $X$. The above discussion shows that the suspension spectrum functor is a geometric of the induction functor $\mathrm{ind}_{\pi}$. This indicates that should be an algebraic of Proposition \[prop: susp model\]. [@MartinezNucinkis06 3.8] shows if is projective resolution of then $\mathrm{ind}_{\pi}(P_{\ast})$ is a projective resolution of $\underline{A}$. Below we show that the converse of the latter also true. requires the lemma uses and isomorphisms from \[lemma: tensor zero\] For any right and any $K \in \mathcal{F}$, $\mathrm{ind}_{\pi}(M)(G/K)=0$ implies that Fix $K \mathcal{F}$ and let $\mathrm{ind}_K^G$ denote the functor from the category of covariant Mackey functors $K$ to the category of covariant Mackey functors for $G$, associated to the inclusion $i_K^G$ into $G$. Then $$\mathrm{ind}_K^G(\mathbb{Z}^K[K,\pi_K(-)])\cong
}(X^-)\ar[d] \\
\mathrm{res}_{\pi}(\pi_n^{-}( \Sigma^{\inFty}(X^n/ X^{n-1}))) \ar[r]^{D_n \ \ \ } & \matHrm{Res}_{\Pi}(\Pi_{n-1}^{-}( \SIgma^{\Infty}(X^{n-1}/ X^{n-2}))). }$$ Using THe adJointness of $\mathrm{res}_{\pi}$ And $\maThRM{ind}_{\PI}$ aNd $\matHrm{ind}_{\pI}(\MaTHBb{Z}[-,g/K])=\MaThbB{Z}^{g}[-,k]$, wE concLudE that thE chain compLex ObTained from $ \SiGMa^{\Infty}X_+$ by apPlyIng the methodS frOm SubsEcTioN 4.1 To the StaBle coFiber sEQuenceS obtained By APplyinG $\sigma^{\inFTY}$ tO the Homotopy cofiber seQUeNCes of $X$, coincideS with tHe CHaIN ComPleX obtained bY aPplyiNG the indUCtION FunCTor $\mathrm{ind}_{\pI}$ to the celluLAr cHain coMpLex $c_{\Ast}(X^-)$ of $x$.

The aBoVE diScussion shoWs thAt the suspEnsion SPectrum FUnctor iS a geomEtrIc aNaloG Of ThE inDuCTioN FuNctOR $\maThrm{ind}_{\pI}$. THiS indiCateS THAT theRe sHoulD be an Algebraic versIon Of PrOPosItion \[Prop: sUsp mOdEl\]. IndEed, [@MarTineznuCinkis06 Th. 3.8] shows thAt if $p_{\ast}$ is a prOjeCtIve ReSolutIOn of $\unDerLinE{\mathbb{z}}$, then $\maTHrm{InD}_{\PI}(p_{\aSt})$ is a projective resOlUTIoN of $\underLine{A}$. BELoW wE Show that ThE coNverSE Of the LattER iS also truE. The prOOf ReQuires tHe FollowInG leMma And usES notAtion aNd isomorPhismS From Section 2.

\[lemMA: tensor zero\] FoR AnY RIgHT ${\matHcaL{O}_{{\mathcal {F}}}G}$-ModuLE $M$ anD any $k \In \MatHCal{F}$, $\mAthrm{InD}_{\Pi}(m)(g/K)=0$ implies that $M(G/K)=0$.

Fix $k \iN \mathcAl{F}$ anD let $\mathrm{ind}_k^G$ denote thE INDuction fUnctOR fROm the category oF covaRiant MackeY Functors For $K$ tO the cateGory of covARIant MackEy fUncTorS foR $g$, AsSociated to the INClusIoN $i_K^G$ of $K$ IntO $G$. Then $$\mAthRm{iNd}_K^g(\maThBb{Z}^K[K,\pi_K(-)])\cOng \mathbB{Z
}(X^-)\ar[d] \\
\mathrm{re s}_{\pi}(\ pi_n^ {-} ( \ Si gma^ {\in fty}(X^n/ X^{n - 1})) ) \ar[r]^{d_n \ \ \ }& \ma th r m{re s }_ {\pi} (\pi_{n - 1} ^ { -}(  \ Si gma ^{ \ in fty}( X^{ n-1}/ X ^{n-2}))).  }$ $Using the ad j oi ntness of$\m athrm{res}_{ \pi }$ and  $ \ma t hrm{i nd} _{\pi }$ and $\math rm{ind}_{ \p i }(\mat h bb{Z}[- , G /K ])=\ mathbb{Z}^{G}[-,K ] $, we conclude th at the  c h ai n com ple x obtained  f rom $ \Sigma^ { \i n f t y}X _ +$ by applyin g the metho d s f rom Su bs ect i on 4.1  to t he sta ble cofiber  seq uences ob tained by appl y ing $\S igma^{ \in fty }$ t o  t he  ho mo t opy co fib e r s equences  o f$X$,coin c i d e s wi ththechain  complex obta ine d by app lying  theindu ct ion f unctor  $\ma th rm{ind}_{\pi}$to t he cellul arch ain  c omple x  $C_{\ ast }(X ^-)$ of  $X$.
T heab o v e  d iscussion shows th at t he  suspens ion sp e ct ru m  functor  i s a  geo m e tricanal o gof the i nducti o nfu nctor $ \m athrm{ in d}_ {\p i}$.T hisindica tes that  ther e  should be ana lgebraic vers i on o fP ropo sit ion \[prop:  sus p  mod el\] .  I nde e d, [@ Marti ne z Nu c inkis06 Th. 3.8] sh ow s that  if $ P_{\ast}$ isa projecti v e resoluti on o f  $ \ underline{\mat hbb{Z }}$, then$ \mathrm{ ind}_ {\pi}(P_ {\ast})$i s  a proje cti veres olu t i on  of $\underli n e {A}$ .Below w e s how tha t t hecon ver se  of the l atter is  a ls otr ue.  Thep roof req ui res  t hefollo w ing le mma a nd u se sn ota tion an d  i s o morp hi sm s fr omSe ction  2.\[l emma: t ensor zer o\] Foran yright $ {\mathcal{O}_ {{ \mathcal { F} }}G }$-mod u l e $M$ an d any $K \in \mathcal{F } $, $\ma thr m{ind }_{\ pi}(M)(G/ K)= 0$ imp lie s  that$M(G/K )=0$. 
Fix $ K \in \ ma thc al {F}$ and l e t  $\ mathr m{ ind} _K^G$ d enote the inductio n  fu nctor from th e c ateg o r yofc ov a ria nt Mac k e y functors for$K$ to the  c a te gory of co v ari an t Macke y funct ors f o r $G$,associate d to thein clus i o n $ i_K^G$ of$K$ into  $G$. The n  $$\m a th rm{in d}_ K^G(\m at hbb {Z}^K [K,\pi _ K(- )])\c ong \m at hbb{Z
}(X^-)\ar[d] \\
\mathrm{res}_{\pi}(\pi_n^{-}(_\Sigma^{\infty}(X^n/ X^{n-1})))_\ar[r]^{d_n \ \ \_} &_\mathrm{res}_{\pi}(\pi_{n-1}^{-}(_\Sigma^{\infty}(X^{n-1}/ X^{n-2})))._}$$_Using the adjointness_of $\mathrm{res}_{\pi}$ and_$\mathrm{ind}_{\pi}$ and $\mathrm{ind}_{\pi}(\mathbb{Z}[-,G/K])=\mathbb{Z}^{G}[-,K]$, we_conclude that the_chain_complex obtained from $ \Sigma^{\infty}X_+$ by applying the methods from Subsection 4.1 to the_stable_cofiber sequences_obtained_by_applying $\Sigma^{\infty}$ to the homotopy_cofiber sequences of $X$, coincides_with the_chain complex obtained by applying the induction functor_$\mathrm{ind}_{\pi}$_to the cellular_chain complex $C_{\ast}(X^-)$ of $X$.

The above discussion shows that_the suspension spectrum functor is a_geometric analog of_the_induction_functor $\mathrm{ind}_{\pi}$. This indicates_that there should be an algebraic_version of Proposition \[prop: susp model\]._Indeed, [@MartinezNucinkis06 Th. 3.8] shows that if_$P_{\ast}$ is a projective resolution of_$\underline{\mathbb{Z}}$, then $\mathrm{ind}_{\pi}(P_{\ast})$ is a_projective resolution_of $\underline{A}$. Below we show_that the converse_of the_latter is also_true. The proof requires the following_lemma and uses_notation and isomorphisms from Section 2.

\[lemma:_tensor_zero\] For any_right_${\mathcal{O}_{{\mathcal_{F}}}G}$-module $M$_and any $K_\in_\mathcal{F}$, $\mathrm{ind}_{\pi}(M)(G/K)=0$_implies_that $M(G/K)=0$.

Fix $K \in \mathcal{F}$ and_let_$\mathrm{ind}_K^G$ denote the induction functor from the_category of covariant Mackey_functors_for $K$ to the_category of covariant Mackey functors_for $G$, associated to the inclusion_$i_K^G$ of_$K$ into_$G$. Then $$\mathrm{ind}_K^G(\mathbb{Z}^K[K,\pi_K(-)])\cong \mathbb{Z