Computations in C_pq-Bredon cohomology

DOI10.1007/S00209-019-02248-2MaRDI QIDQ2332884zbMATH OpenOpenAlexFDO

Authors Samik Basu, Surojit Ghosh

Publication date 5 November 2019

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.02159

zbMATH Keywords

Bredon cohomologyequivariant cohomologyGrassmann manifoldsMackey functor

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Equivariant homology and cohomology in algebraic topology (55N91) Equivariant homotopy theory in algebraic topology (55P91) Finite transformation groups (57S17)

Abstract: In this paper, we compute the $RO(C_{pq})$-graded cohomology of $C_{pq}$-orbits. We deduce that in all the cases the Bredon cohomology groups are a function of the fixed point dimensions of the underlying virtual representations. Further, when thought of as a Mackey functor, the same independence result holds in almost all cases. This generalizes earlier computations of Stong and Lewis for the group $C_p$. The computations of cohomology of orbits are used to prove a freeness theorem. The analogous result for the group $C_p$ was proved by Lewis. We demonstrate that certain complex projective spaces and complex Grassmannians satisfy the freeness theorem.

Review text

Bredon cohomology came into being as the natural generalization of ordinary cohomology to the category of \(G\)-spaces. While Borel's equivariant cohomology theory for \(G\)-spaces is used more often in the literature due to availability of non-equivariant techniques, Bredon cohomology has turned out to be difficult to compute even for simple spaces like spheres with a linear \(G\)-action. \par ``We compute the \(RO(C_{pq})\)-graded cohomology of \(C_{pq}\)-orbits. We deduce that in all the cases the Bredon cohomology groups are a function of the fixed-point dimensions of the underlying virtual representations. Further, when thought of as a Mackey functor, the same independence result holds in almost all cases. This generalizes earlier computations of Stong [unpublished, cited and reproduced in \textit{J. L. Caruso}, Math. Proc. Camb. Philos. Soc. 126, No. 3, 521--541 (1999; Zbl 0933.55009)] and \textit{L. G. Lewis jun.} [Lect. Notes Math. 1361, 53--122 (1988; Zbl 0669.57024)] for the cyclic group \(C_p\). The computations of cohomology of orbits are used to prove a freeness theorem. The analogous result for the group \(C_p\) was proved by Lewis. We demonstrate that certain complex projective spaces and complex Grassmannians satisfy the freeness theorem. The paper is well-written with details spelled out clearly.

Recommendations

• Bredon cohomology of finite dimensional C_p-spaces
• A freeness theorem for \(RO(\mathbb Z/2)\)-graded cohomology
• The freeness theorem for equivariant cohomology of rep \((C_2)\)-complexes
• scientific article; zbMATH DE number 4096404
• The \(C_2\)-equivariant cohomology of complex projective spaces

Cites work

• Equivariant cohomology theories
• Equivariant differential topology
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• scientific article; zbMATH DE number 4096404 (Why is no real title available?)
• scientific article; zbMATH DE number 3517377 (Why is no real title available?)
• scientific article; zbMATH DE number 1124076 (Why is no real title available?)
• scientific article; zbMATH DE number 937403 (Why is no real title available?)
• scientific article; zbMATH DE number 957983 (Why is no real title available?)
• Operations in equivariant ℤ/p-cohomology
• The Equivariant Hurewicz Map
• The 𝑅𝑂(𝐺)-graded equivariant ordinary homology of 𝐺-cell complexes with even-dimensional cells for 𝐺=ℤ/𝕡

Cited in

(9)

• Slice filtration of certain \(C_{pq}\)-spectra
• The freeness theorem for equivariant cohomology of rep \((C_2)\)-complexes
• Equivariant homology decompositions for cyclic group actions on definite 4-manifolds
• scientific article; zbMATH DE number 64244 (Why is no real title available?)
• p-Toral Approximations Compute Bredon Homology
• Microthesis: \(RO(C_2)\)-graded Bredon homology of a point
• Freeness and equivariant stable homotopy
• Equivariant cohomology of projective spaces
• Equivariant cohomology for cyclic groups

This page was built for publication: Computations in \(C_{pq}\)-Bredon cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2332884)