Tate Cohomology via Stable Categories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T20:52:36Z http://mathoverflow.net/feeds/question/12782 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/12782/tate-cohomology-via-stable-categories Tate Cohomology via Stable Categories Hanno Becker 2010-01-23T22:07:20Z 2010-02-08T15:17:22Z <p><strong>Situation</strong></p> <p>Let <code>$G$</code> be a finite group and provide <code>$G\text{-mod} := {\mathbb Z}G\text{-mod}$</code> with the Frobenius structure of ${\mathbb Z}$-split short exact sequences. Denote by $\underline{G\text{-mod}}$ the associated stable category with loop functor $\Omega$.</p> <p>For any Frobenius category <code>$({\mathcal A},{\mathcal E})$</code> and a complete projective-injective resolution <code>$P_{\bullet}$</code> of some $X\in{\mathcal A}$, we have for any $Y\in{\mathcal A}$ a canonical isomorphism of abelian groups </p> <p><code>$H^n(\text{Hom}_{\mathcal A}(P_{\bullet},Y))\cong [\Omega^n X,Y]$</code>,</p> <p>where <code>$[-,-] := \text{Hom}_{\underline{{\mathcal A}}}(-,-)$</code>.</p> <p>Applying this to <code>$G\text{-mod}$</code> yields an isomorphism</p> <p><code>$\widehat{H}^k(G;M)\cong [\Omega^k{\mathbb Z},M]$</code>,</p> <p>where <code>$\widehat{H}^k(G;M)$</code> denotes the Tate-Cohomology of $G$ with values in $M$.</p> <p>If I didn't mix things up, in this language Tate-Duality should mean that the canonical map</p> <p><code>$[{\mathbb Z},\Omega^k{\mathbb Z}]\otimes_{\mathbb Z}[\Omega^k{\mathbb Z},{\mathbb Z}]\to[{\mathbb Z},{\mathbb Z}]\cong{\mathbb Z}/|G|{\mathbb Z}$</code></p> <p>is a duality.</p> <p><strong>Question</strong></p> <p>I'd like to know sources which introduce and treat Tate cohomology in the way described above, i.e. using the language of Frobenius categories and its associated stable categories. <em>In particular</em>, I would be interested in a proof of Tate Duality using this more abstract language instead of resolutions.</p> <p>Does anybody know such sources?</p> <p><strong>Remark</strong></p> <p>It seems to be more difficult to work over the integers instead of some field, for in this case, the exact sequences in the Frobenius structure <code>$G\text{-mod}$</code> are required to be <code>${\mathbb Z}$</code>-split, which is not automatic. As a consequence, there may be projective/injective objects in <code>$(G\text{-mod},{\mathcal E}^{G}_{\{e\}})$</code> which are not projective/injective as <code>${\mathbb Z}G$</code>-modules. Further, the long exact cohomology sequence exists only for <code>${\mathbb Z}$</code>-split exact sequences of <code>$G$</code>-modules (not good, because Brown uses the exact sequence <code>$0\to {\mathbb Z}\to{\mathbb Q}\to{\mathbb Q}/{\mathbb Z}\to 0$</code> in his proof of Tate duality); of course, one can choose particular complete resolutions of <code>${\mathbb Z}$</code> consisting of <code>${\mathbb Z}G$</code>-projective modules, and such a resolution yields a long exact cohomology sequence for any short exact sequence of coefficient modules, but this seems somewhat unnatural and doesn't fit into the picture right now.</p> <p><strong>Partial Results</strong></p> <p><strong>(1)</strong> For any subgroup <code>$H\leq G$</code> there are restriction and corestriction morphisms </p> <p><code>$[\Omega^k {\mathbb Z},-]^{\underline{G}}=\widehat{H}^*(G;-)\leftrightarrows\widehat{H}^*(H;-)=[\Omega^k{\mathbb Z},-]^{\underline{H}}$</code></p> <p>defined as follows: for any $G$-module $M$, the abelian group <code>$[{\mathbb Z},M]^{\underline{G}}$</code> is in canonical bijection with <code>$M^G / |G| M^G$</code>, and there are restriction and transfer maps</p> <p><code>$\text{res}: M^G / |G| M^G\longrightarrow M^H / |H| M^H,\quad [m]\mapsto [m]$</code>,</p> <p><code>$\text{tr}: M^H / |H| M^H\longrightarrow M^G / |G| M^G\quad [m]\mapsto\left[\sum\limits_{g\in G/H} g.m\right]$</code>,</p> <p>respectively. Now</p> <p><code>$[\Omega^k{\mathbb Z},M]^{\underline{G}}\cong [{\mathbb Z},\Omega^{-k}M]^{\underline{G}}\stackrel{\text{res}}{\longrightarrow} [{\mathbb Z},\Omega^{-k}M]^{\underline{H}}\cong[\Omega^k{\mathbb Z},M]^{\underline{H}}$</code></p> <p><code>$[\Omega^k{\mathbb Z},M]^{\underline{H}}\cong [{\mathbb Z},\Omega^{-k}M]^{\underline{H}}\stackrel{\text{tr}}{\longrightarrow} [{\mathbb Z},\Omega^{-k}M]^{\underline{G}}\cong[\Omega^k{\mathbb Z},M]^{\underline{G}}$</code></p> <p>seems to be the natural thing to define restriction and transfer. (This is very similar to the usual method of giving a morphism of $\delta$-functors only in degree $0$ and extend it by dimension shifting, though a bit more elegant in my opinion)</p> <p>Note that it was implicitly used that $\Omega^k$ commutes with the forgetful functor <code>$G\text{-mod}\to H\text{-mod}$</code></p> <p><strong>(2)</strong> For any subgroup <code>$H\leq H$</code>, <code>$g\in G$</code> and a $G$-module $M$ there is a map </p> <p><code>$g_*:\ \widehat{H}^*(H;-)\to\widehat{H}^*(gHg^{-1};M)$</code></p> <p>extending the canonical map</p> <p><code>$M^H/|H|M^H\longrightarrow M^{gHg^{-1}}/|H|M^{gHg^{-1}},\quad [m]\mapsto [g.m]$</code>.</p> <p>(1) and (2) fit together in the usual way; there is a transfer formula and a lifting criterion for elements of Sylow-subgroups.</p> <p><strong>(3)</strong> The cup product on <code>$\widehat{H}^*(G;{\mathbb Z})$</code> is given simply by composition of maps:</p> <p><code>$[\Omega^p{\mathbb Z},{\mathbb Z}]\otimes_{\mathbb Z}[\Omega^q{\mathbb Z},{\mathbb Z}]\stackrel{\Omega^q\otimes\text{id}}{\longrightarrow}[\Omega^{p+q}{\mathbb Z},\Omega^q{\mathbb Z}]\otimes_{\mathbb Z}[\Omega^q{\mathbb Z},{\mathbb Z}]\longrightarrow [\Omega^{p+q}{\mathbb Z},{\mathbb Z}]$</code></p> <p>Does anybody see why this product is graded-commutative?</p> http://mathoverflow.net/questions/12782/tate-cohomology-via-stable-categories/12874#12874 Answer by S. Carnahan for Tate Cohomology via Stable Categories S. Carnahan 2010-01-24T22:28:09Z 2010-01-24T22:28:09Z <p>Google gives the following paper: Greenlees, <i>Tate cohomology in axiomatic stable homotopy theory</i>. It gives a definition of the Tate construction using Bousfield localization and completion, and has some duality theorems, although I couldn't tell if any of them yield Tate duality as you state it.</p> <p>I think if $M$ is a complex of abelian groups, the Tate construction $M^{TG}$ is the cofiber of the norm map $N: M_{hG} \to M^{hG}$ from homotopy orbits to homotopy fixed points. <a href="http://ocw.mit.edu/NR/rdonlyres/Mathematics/18-917Fall-2007/LectureNotes/lecture5.pdf" rel="nofollow">Lurie's lecture notes</a> introduce the construction in the special case when $G \cong \mathbb{Z}/2 \mathbb{Z}$ and $M$ is a complex of $\mathbb{F}_2$-vector spaces, and give some properties.</p> http://mathoverflow.net/questions/12782/tate-cohomology-via-stable-categories/12924#12924 Answer by Greg Stevenson for Tate Cohomology via Stable Categories Greg Stevenson 2010-01-25T11:18:21Z 2010-01-25T21:07:29Z <p>To address Hanno's question about checking that composition gives a graded-commutative ring structure on $End^{*}(\mathbb{Z}) = \oplus_i [\mathbb{Z}, \Omega^{-i} \mathbb{Z}]$ suppose first that<br /> $a \stackrel{f}{\to} b \stackrel{g}{\to} c \stackrel{h}{\to} \Omega^{-1} a$<br /> is a distinguished triangle in the stable category. Then we can produce from this two isomorphic triangles: one by rotation namely<br /> $a \stackrel{-\Omega^{-1}f}{\to} b \stackrel{-\Omega^{-1}g}{\to} c \stackrel{-\Omega^{-1}h}{\to} \Omega^{-1} a$<br /> and one by applying $\Omega^{-1}\mathbb{Z} \otimes_\mathbb{Z}$<br /> $\Omega^{-1}\mathbb{Z}\otimes_\mathbb{Z} a \stackrel{1_{\Omega^{-1}\mathbb{Z}}\otimes f}{\to} \Omega^{-1}\mathbb{Z}\otimes_\mathbb{Z} b \stackrel{\Omega^{-1}\mathbb{Z}\otimes g}{\to}\Omega^{-1}\mathbb{Z}\otimes_\mathbb{Z} c \stackrel{\Omega^{-1}\mathbb{Z}\otimes h}{\to} \Omega^{-1}\mathbb{Z}\otimes_\mathbb{Z} \Omega^{-1}a$<br /> The point of this is that the natural isomorphism commuting the loops functor across introduces a sign change, which is precisely the one you pick up by changing the order of composition since changing the composition order is equivalent to applying symmetry isomorphisms to the tensor product which is equivalent to commuting loops across.</p> <p>To be completely explicit about this there are two functors naturally isomorphic to $\Omega^{-1}$ namely $\Omega^{-1}\mathbb{Z}\otimes_\mathbb{Z}(-)$ and $\mathbb{Z}\otimes \Omega^{-1}(-)$ since $\otimes_\mathbb{Z}$ is biexact there are natural transformations commuting $\Omega^{-1}$ with $\otimes_\mathbb{Z}$ namely<br /> $\Omega^{-1}(-)\otimes_\mathbb{Z} (-) \stackrel{\sim}{\rightarrow} \Omega^{-1}((-)\otimes_\mathbb{Z}(-)) \stackrel{\sim}{\leftarrow} (-)\otimes_\mathbb{Z} \Omega^{-1}(-)$<br /> Our example triangles above which can be obtained from one another by first moving the loops to the right and then applying the unit transformation show that there must be a sign attached to this map for this to give an isomorphism of these triangles. In particular for $\otimes_\mathbb{Z}$ to be compatible with the triangulated structure the two natural isomorphisms moving $\Omega$ about must have different signs. These natural isomorphisms are the precise cause of the sign change.</p> http://mathoverflow.net/questions/12782/tate-cohomology-via-stable-categories/12928#12928 Answer by Mariano Suárez-Alvarez for Tate Cohomology via Stable Categories Mariano Suárez-Alvarez 2010-01-25T12:45:42Z 2010-01-25T12:45:42Z <p>One way to show that your product is commutative is given in <a href="http://arxiv.org/abs/math/0209029" rel="nofollow">http://arxiv.org/abs/math/0209029</a>.</p> http://mathoverflow.net/questions/12782/tate-cohomology-via-stable-categories/12936#12936 Answer by Frank for Tate Cohomology via Stable Categories Frank 2010-01-25T14:08:30Z 2010-01-25T14:08:30Z <p>The notes by Beilinson which Emerton is referring to (or at least a very similar course) have been hand written and are up online at <a href="http://www.math.uchicago.edu/~mitya/beilinson/" rel="nofollow">http://www.math.uchicago.edu/~mitya/beilinson/</a> . They develop the theory via $G$-modulations.</p> http://mathoverflow.net/questions/12782/tate-cohomology-via-stable-categories/14652#14652 Answer by Shizhuo Zhang for Tate Cohomology via Stable Categories Shizhuo Zhang 2010-02-08T15:17:22Z 2010-02-08T15:17:22Z <p>Maybe you want to check out the book <a href="http://books.google.com/books?id=JvX-OynyJBMC&amp;printsec=frontcover&amp;dq=%27Homological+and+Homotopical+Aspects+of+Torsion+Theories&amp;source=bl&amp;ots=46L29fzHU%5F&amp;sig=wKPKAvCTbE%5F8ZEXmku4HdqQ1wbk&amp;hl=en&amp;ei=%5FClwS%5FfXKoSMnQe%5F2fioBg&amp;sa=X&amp;oi=book%5Fresult&amp;ct=result&amp;resnum=1&amp;ved=0CAkQ6AEwAA#v=onepage&amp;q=&amp;f=false" rel="nofollow">'Homological and Homotopical Aspects of Torsion Theories</a></p> <p>In Chapter IX, they used the stable categories to develop this theory. Hope it is helpful</p>