4
$\begingroup$

There is a descent spectral sequence computing $\pi_*L_{K(n)}S^0$ with $E_2$-term $$E_2^{s,t}\cong H^s_c(\mathbb{G}_n,(E_n)_t)$$ It is mentioned in Barthel-Beaudry (in the description of Figure 3.30) that if $p>2$ and $2(p-1)>n^2$, then there are only nonzero entries when $t$ is a multiple of $2(p-1)$.

Question. Why does it have this property?

I’m trying to figure out the reason for this, but I could not read directly from the group cohomology, nor can I find a reference for that.

$\endgroup$
2
  • 1
    $\begingroup$ I think the spectral sequence can be constructed simply by using the "normal" $I_n$ completion of $E(n)$ theory which is periodic of period $2(p-1)$, instead of its $2$-periodic variant. $\endgroup$
    – user43326
    Oct 8, 2022 at 7:23
  • $\begingroup$ @user43326 Yeah, I also thought about that, but I cannot find a reference to convice me completely. Do you have any references with an exact statement of the result? $\endgroup$
    – Max
    Oct 9, 2022 at 6:07

1 Answer 1

10
$\begingroup$

This sparsity holds even without the assumptions that $p>2$ and $2(p-1)>n^2$. (Those are used to get a horizontal vanishing line). As in the comments, it comes down to the fact that you can use $\widehat{E(n)}\simeq L_{K(n)}E(n)$ in place of $E_n$, and $\widehat{E(n)}$ has homotopy groups concentrated in degrees that are a multiple of $2(p-1)$.

One way to get sparsity directly from the group cohomology is to use that there's a copy of $\mathbb{Z}_p^\times$ sitting inside the center of $\mathbb{G}_n$, and further sitting inside this is the subgroup $\mathbb{F}_p^\times\subset\mathbb{Z}_p^\times$ of roots of unity (the Teichmüller lifts). Because the order of $\mathbb{F}_p^\times$ is invertible in $\pi_\ast E_n$, you get an isomorphism $$ H^\ast_c(\mathbb{G}_n;\pi_\ast E_n)\cong H^\ast_c(\mathbb{G}_n/\mathbb{F}_p^\times;(\pi_\ast E_n)^{\mathbb{F}_p^\times}). $$ An element $\ell\in\mathbb{Z}_p^\times$ corresponds to multiplication by $\ell$ on the formal group of $E_n$, so acts on $\pi_{2t}E_n$ as multiplication by $\ell^t$. This implies $$ (\pi_t E_n)^{\mathbb{F}_p^\times} = \begin{cases} \pi_t E_n &2(p-1)\mid n\\0&\text{otherwise}, \end{cases} $$ and thus $H^\ast_c(\mathbb{G}_n;\pi_t E_n) = 0$ unless $2(p-1)\mid n$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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