Table of Contents
Fetching ...

A multiplicative Tate spectral sequence for compact Lie group actions

Alice Hedenlund, John Rognes

Abstract

Given a compact Lie group $G$ and a commutative orthogonal ring spectrum $R$ such that $R[G]_* = π_*(R \wedge G_+)$ is finitely generated and projective over $π_*(R)$, we construct a multiplicative $G$-Tate spectral sequence for each $R$-module $X$ in orthogonal $G$-spectra, with $E^2$-page given by the Hopf algebra Tate cohomology of $R[G]_*$ with coefficients in $π_*(X)$. Under mild hypotheses, such as $X$ being bounded below and the derived page $RE^\infty$ vanishing, this spectral sequence converges strongly to the homotopy $π_*(X^{tG})$ of the $G$-Tate construction $X^{tG} = [\widetilde{EG} \wedge F(EG_+, X)]^G$.

A multiplicative Tate spectral sequence for compact Lie group actions

Abstract

Given a compact Lie group and a commutative orthogonal ring spectrum such that is finitely generated and projective over , we construct a multiplicative -Tate spectral sequence for each -module in orthogonal -spectra, with -page given by the Hopf algebra Tate cohomology of with coefficients in . Under mild hypotheses, such as being bounded below and the derived page vanishing, this spectral sequence converges strongly to the homotopy of the -Tate construction .

Paper Structure

This paper contains 33 sections, 99 theorems, 709 equations, 1 figure.

Key Result

Theorem 1.1

If $\Gamma$ is a finitely generated projective and cocommutative Hopf algebra over $k$, then

Figures (1)

  • Figure 1: The bicomplex $(U_{*,*}, \partial^h, \partial^v)$ for $\Gamma = k[s]/(s^2=\eta s)$

Theorems & Definitions (235)

  • Theorem 1.1
  • Theorem 1.2: Pareigis
  • Theorem 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Definition 2.1
  • Lemma 2.2
  • proof
  • Proposition 2.3
  • proof
  • ...and 225 more