On stable summands of Thom spectra of \(B(\mathbb{Z}/2)^n\) associated to Steinberg modules (Q1970357): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1215/kjm/1250517919 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1564080108 / rank
 
Normal rank

Latest revision as of 22:44, 19 March 2024

scientific article
Language Label Description Also known as
English
On stable summands of Thom spectra of \(B(\mathbb{Z}/2)^n\) associated to Steinberg modules
scientific article

    Statements

    On stable summands of Thom spectra of \(B(\mathbb{Z}/2)^n\) associated to Steinberg modules (English)
    0 references
    13 January 2003
    0 references
    This is a generalization of a result of Mitchell and Priddy which shows that \(e_n B(\mathbb{Z}/2)= M(n)\) and there exists a stable splitting \(M(n) \simeq L(n)\vee L(n-1)\). Here \(e_n\in \widehat\mathbb{Z}_2 [\text{GL}_n (\mathbb{F}_2)]\) denotes the Steinberg idempotent. After replacing a \(\text{GL}_n\)-action on \(B(\mathbb{Z}/2)^n\), the author defines a stable summand \(M(n)_k\) of the Thom spectrum \((B(\mathbb{Z}/2)^n)^{k \widetilde\alpha_n}\) by using a homotopy colimit such that \(M(n)_0=M(n)\) and \(M(n)_1= L(n)\). Here \(\widetilde\alpha\) is the vector bundle associated to the reduced real regular representation of \((\mathbb{Z}/2)^n\). The main theorem in this paper is the existence of a cofiber sequence \(\Sigma^k M(n-1)_{2k+1}\to M(n)_k \to M(n)_{k+1} \to\Sigma^{k+1} M(n-1)_{2k+1}\), which respects the above splitting if \(k=0\). This sequence is also related to Kuhn's sequence. In Corollary B, it is said that \(K(m)^* (M(n)_{2k+ 1}) \cong 0\) if \(n>m\), and the connecting map of the cofiber sequence \(M(n-1)_{4 k+1} \to M(n-1)_{4k-1}\) is a \(K(n-1)_*\)-equivalence. This follows immediately from a result of Kuhn that \(K(m)^* (L(n))\cong 0\) if \(n>m\). The main theorem is proved by showing the exactness of the sequence \(0\to H^*(M(n)_{k+1}) \to H^*(M (n)_k) \to H^*(M(n-1)_{2k+1}) \to 0\) using a colimit spectral sequence of Bousfield-Kan.
    0 references

    Identifiers