8
$\begingroup$

In HHR, an important part is the periodicity theorem. For proving the theorem, they invert a carefully defined class $D \in \pi^{C_8}_{19\rho_8}(N^8_2MU_{\mathbb{R}})$ and they can find an element in $x \in \pi_{256}^{C_8}D^{-1}N^8_2MU_{\mathbb{R}}$, when we forget the $C_8$ equivariant structure, gives a non-equivariant equivalence from $\Sigma^{256}D^{-1}N^8_2MU_{\mathbb{R}}$ to $D^{-1}N^8_2MU_{\mathbb{R}}$. This non-equivariant equivalence is sufficient for them to show that the homotopy fixed point spectrum has the same periodicity.

However, in a following paper, they claim in several places that the periodicity theorem they proved in HHR, shall gives us an equivariant equivalence, which is stronger than the original statement I have seen in the Kervaire invariant one paper. So here is my question:

Given a finite group $G$ and a $G$-spectrum $X$, if we have an $G$-equivariant self-map $f:\Sigma^mX \rightarrow X$, which induces an equivalence of the underlying non-equivariant spectrum, will $f$ automatically be an $G$-equivariant equivalence? If not, is there any condition we can apply to $G$ or $X$ to make this statement true?

If the answer is positive, the strengthened periodicity theorem will give us a computational advantage in the sense that normally slice spectral sequence in positive and negative dimension looks vastly different, and when come to resolve extension problems in $E_\infty$ page, an equivariant periodicity will induces isomorphism as Mackey functors, rather than Abelian groups. It will automatically resolve most of the extension problem by simple comparison.

I have asked all people I could reach in real life, but I do not have a satisfying answer yet.

Any answer or hint is greatly appreciated.

$\endgroup$
  • 2
    $\begingroup$ Your penultimate paragraph makes me imagine some sort of MO advertising slogan: "there's real life, and then there's MathOverflow." $\endgroup$ – LSpice Jan 27 '16 at 3:55
6
$\begingroup$

The condition required on $X$ which makes this work is that $X$ is cofree (Definition 10.1 in the linked paper): the map $X \to F(EG_+,X)$ is an equivalence. For any equivariant map $X \to Y$ of cofree $G$-spectra which is an equivalence on the underlying spectra, the resulting maps $X^H \to Y^H$ of fixed-point sets are equivalent to the weak equivalence of homotopy fixed-point spectra $X^{hH} \to Y^{hH}$. This makes $X \to Y$ into a genuine equivalence.

The fact that $D^{-1} N_2^8 MU_{\Bbb R}$ is cofree is an important result in their paper (Theorem 10.8).

$\endgroup$
  • $\begingroup$ Thank you! It is really a nice and clean answer for this case. So we might not expect such a property hold for general $G$-spectrum? $\endgroup$ – Mingcong Zeng Jan 27 '16 at 2:48
  • $\begingroup$ Right, this is certainly not a property that holds in general. $\endgroup$ – Tyler Lawson Jan 27 '16 at 3:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.