On the cohomology of loop spaces for some Thom spaces
type: Item
instance of: scholarly article
title: On the cohomology of loop spaces for some Thom spaces
zbMATH Open document ID: 1246.55008
author: Andrew Baker
published in: The New York Journal of Mathematics
publication date: 2012-05-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1105.0692
full work available at URL: 18-4.html
reviewed by: Hadi Zare
Mathematics Subject Classification ID: 55P35
Mathematics Subject Classification ID: 55R25
Mathematics Subject Classification ID: 55T20
Mathematics Subject Classification ID: 55P42
zbMATH DE Number: 6032701
zbMATH Keywords: loop space
zbMATH Keywords: spherical fibration
zbMATH Keywords: Thom complex
zbMATH Keywords: stable splitting
zbMATH Keywords: \(S\)-modules
MaRDI profile type: MaRDI publication profile
arXiv ID: 1105.0692
Recommended article: Stabilization as a CW approximation
Recommended article: Thom Modules and mod p Spherical Fibrations
Recommended article: A splitting result for the free loop space of spheres and projective spaces
Recommended article: Q4716283
Recommended article: Higher cohomology operations, exotic characteristic classes and spherical fibrations
Recommended article: The factorization theory of Thom spectra and twisted nonabelian Poincaré duality
Recommended article: On the topology of fibrations with section and free loop spaces
Recommended article: Q4811755
Recommended article: An \(\infty\)-categorical approach to \(R\)-line bundles, \(R\)-module Thom spectra, and twisted \(R\)-homology
Recommended article: On an adjoint functor to the Thom functor
review text: Let \(\xi\) be a spherical fibration with Thom complex \(M\xi\). The main result of the paper provides some conditions under which the \(\mathbb{F}_p\)-cohomology of the loop space \(\Omega M\xi\) is a polynomial algebra (Theorem 4.1 and Theorem 5.1) where \(p\) is a prime number. The author also identifies some conditions under which the cohomology ring is an exterior (\(p=2\)) or a truncated polynomial algebra (\(p>2\)). The proofs are based on Eilenberg-Moore spectral sequence arguments, and working with bar (cobar) resolutions. Moreover, this is a description of the rational cohomology of \(\Omega M\xi\).NEWLINENEWLINENEWLINE NEWLINEFinally, working in the category of \(S\)-modules by \textit{A. D. Elmendorf, I. Kříž, M. A. Mandell} and \textit{J. P. May} [Rings, modules, and algebras in stable homotopy theory. Mathematical Surveys and Monographs. 47. Providence, RI: American Mathematical Society (AMS) (1997; Zbl 0894.55001)], the author provides a local stable splitting for \(\Omega M\xi\) (Proposition 9.1) provided by a map NEWLINE\[NEWLINE\mathbb{T}(\Sigma^{-1}\Sigma^\infty M\xi)\longrightarrow \Sigma^\infty\Omega M\xiNEWLINE\]NEWLINE with \(\mathbb{T}\) being the free \(S\)-algebra functor. If \(M=\Sigma X\) then by definition of \(\mathbb T\) the above splitting looks like the stable form of James' splitting for \(\Omega\Sigma X\).NEWLINENEWLINENEWLINE NEWLINEThe paper includes background material on Thom complexes, Eilenberg-Moore spectral sequences, and the cohomology of sphere bundles.
description: scientific article; zbMATH DE number 6032701