English

Presheaves on $\mathcal{VI}$, $nil$-closed unstable algebras and their centres

Algebraic Topology 2022-02-28 v1

Abstract

A nilnil-closed, noetherian, unstable algebra KK over the Steenrod Algebra is determined, up to isomorphism, by the functor HomKf.g.(K,H(_))\text{Hom}_{\mathcal{K}\text{f.g.}}(K,H^*(\_)), which is a presheaf on the category VI\mathcal{VI} of finite dimensional vector spaces and injections, by the theory of Henn-Lannes-Schwartz. In this article, we use this theory to study the centre, in the sense of Heard, of a nilnil-closed noetherian unstable algebra. For FF a presheaf on VI\mathcal{VI}, we construct a groupoid GF\mathcal{G}_F which encodes FF. Then, taking F:=HomKf.g.(K,H(_))F:=\text{Hom}_{\mathcal{K}\text{f.g.}}(K,H^*(\_)), we show how the centre of KK is determined by the associated groupoid. We also give a generalisation of the second theorem of Adams-Wilkerson, defining sub-algebras H(W)GH^*(W)^\mathcal{G} of H(W)H^*(W) for appropriate groupoids G\mathcal{G}. There is a H(C)H^*(C)-comodule structure on KK that is associated with the centre. For KK integral, we explain how the algebra of primitive elements of this H(C)H^*(C)-comodule structure is also determined by the groupoid associated with HomKf.g.(K,H(_))\text{Hom}_{\mathcal{K}\text{f.g.}}(K,H^*(\_)). Along the way, we prove that this algebra of primitive elements is also noetherian.

Keywords

Cite

@article{arxiv.2202.12878,
  title  = {Presheaves on $\mathcal{VI}$, $nil$-closed unstable algebras and their centres},
  author = {Ouriel Bloede},
  journal= {arXiv preprint arXiv:2202.12878},
  year   = {2022}
}