Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
The following link can be shared to navigate to this page. You can select the link to copy or click the 'Copy To Clipboard' button below.
Copy To Clipboard
Successfully Copied!
The $RO(G)$-Graded Equivariant Ordinary Homology of $G$-Cell Complexes with Even-Dimensional Cells for $G=\mathbb{Z}/p$
 
Kevin K. Ferland Bloomsberg University, Bloomsberg, PA
L. Gaunce Lewis, Jr. Syracuse University, Syracuse, NY
Front Cover for The RO(G)-Graded Equivariant Ordinary Homology of G-Cell Complexes with Even-Dimensional Cells for G=Z/p
Available Formats:
Electronic ISBN: 978-1-4704-0392-8
Product Code: MEMO/167/794.E
List Price: $66.00
MAA Member Price: $59.40
AMS Member Price: $39.60
Front Cover for The RO(G)-Graded Equivariant Ordinary Homology of G-Cell Complexes with Even-Dimensional Cells for G=Z/p
Click above image for expanded view
  • Front Cover for The RO(G)-Graded Equivariant Ordinary Homology of G-Cell Complexes with Even-Dimensional Cells for G=Z/p
  • Back Cover for The RO(G)-Graded Equivariant Ordinary Homology of G-Cell Complexes with Even-Dimensional Cells for G=Z/p
The $RO(G)$-Graded Equivariant Ordinary Homology of $G$-Cell Complexes with Even-Dimensional Cells for $G=\mathbb{Z}/p$
Kevin K. Ferland Bloomsberg University, Bloomsberg, PA
L. Gaunce Lewis, Jr. Syracuse University, Syracuse, NY
Available Formats:
Electronic ISBN:  978-1-4704-0392-8
Product Code:  MEMO/167/794.E
List Price: $66.00
MAA Member Price: $59.40
AMS Member Price: $39.60
  • Book Details
     
     
    Memoirs of the American Mathematical Society
    Volume: 1672004; 129 pp
    MSC: Primary 55; 57; Secondary 14;

    It is well known that the homology of a CW-complex with cells only in even dimensions is free. The equivariant analog of this result for \(G\)-cell complexes is, however, not obvious, since \(RO(G)\)-graded homology cannot be computed using cellular chains. We consider \(G = \mathbb{Z}/p\) and study \(G\)-cell complexes constructed using the unit disks of finite dimensional \(G\)-representations as cells. Our main result is that, if \(X\) is a \(G\)-complex containing only even-dimensional representation cells and satisfying certain finiteness assumptions, then its \(RO(G)\)-graded equivariant ordinary homology \(H_\ast^G(X;A>\) is free as a graded module over the homology \(H_\ast\) of a point. This extends a result due to the second author about equivariant complex projective spaces with linear \(\mathbb{Z}/p\)-actions. Our new result applies more generally to equivariant complex Grassmannians with linear \(\mathbb{Z}/p\)-actions.

    Two aspects of our result are particularly striking. The first is that, even though the generators of \(H^G_\ast(X;A)\) are in one-to-one correspondence with the cells of \(X\), the dimension of each generator is not necessarily the same as the dimension of the corresponding cell. This shifting of dimensions seems to be a previously unobserved phenomenon. However, it arises so naturally and ubiquitously in our context that it seems likely that it will reappear elsewhere in equivariant homotopy theory. The second unexpected aspect of our result is that it is not a purely formal consequence of a trivial algebraic lemma. Instead, we must look at the homology of \(X\) with several different choices of coefficients and apply the Universal Coefficient Theorem for \(RO(G)\)-graded equivariant ordinary homology.

    In order to employ the Universal Coefficient Theorem, we must introduce the box product of \(RO(G)\)-graded Mackey functors. We must also compute the \(RO(G)\)-graded equivariant ordinary homology of a point with an arbitrary Mackey functor as coefficients. This, and some other basic background material on \(RO(G)\)-graded equivariant ordinary homology, is presented in a separate part at the end of the memoir.

    Readership

    Graduate students and research mathematicians interested in algebraic topology.

  • Table of Contents
     
     
    • Chapters
    • Introduction
    • Part 1. The homology of $\mathbb {Z}/p$-cell complexes with even-dimensional cells
    • Chapter 1. Preliminaries
    • Chapter 2. The main freeness theorem (Theorem 2.6)
    • Chapter 3. An outline of the proof of the main freeness result (Theorem 2.6)
    • Chapter 4. Proving the single-cell freeness results
    • Chapter 5. Computing $H^G_*(B \cup DV; A)$ in the key dimensions
    • Chapter 6. Dimension-shifting long exact sequences
    • Chapter 7. Complex Grassmannian manifolds
    • Part 2. Observations about $RO(G)$-graded equivariant ordinary homology
    • Chapter 8. The computation of $H^S_*$ for arbitrary $S$
    • Chapter 9. Examples of $H^S_*$
    • Chapter 10. $RO(G)$-graded box products
    • Chapter 11. A weak universal coefficient theorem
    • Chapter 12. Observations about Mackey functors
  • Request Review Copy
  • Get Permissions
Volume: 1672004; 129 pp
MSC: Primary 55; 57; Secondary 14;

It is well known that the homology of a CW-complex with cells only in even dimensions is free. The equivariant analog of this result for \(G\)-cell complexes is, however, not obvious, since \(RO(G)\)-graded homology cannot be computed using cellular chains. We consider \(G = \mathbb{Z}/p\) and study \(G\)-cell complexes constructed using the unit disks of finite dimensional \(G\)-representations as cells. Our main result is that, if \(X\) is a \(G\)-complex containing only even-dimensional representation cells and satisfying certain finiteness assumptions, then its \(RO(G)\)-graded equivariant ordinary homology \(H_\ast^G(X;A>\) is free as a graded module over the homology \(H_\ast\) of a point. This extends a result due to the second author about equivariant complex projective spaces with linear \(\mathbb{Z}/p\)-actions. Our new result applies more generally to equivariant complex Grassmannians with linear \(\mathbb{Z}/p\)-actions.

Two aspects of our result are particularly striking. The first is that, even though the generators of \(H^G_\ast(X;A)\) are in one-to-one correspondence with the cells of \(X\), the dimension of each generator is not necessarily the same as the dimension of the corresponding cell. This shifting of dimensions seems to be a previously unobserved phenomenon. However, it arises so naturally and ubiquitously in our context that it seems likely that it will reappear elsewhere in equivariant homotopy theory. The second unexpected aspect of our result is that it is not a purely formal consequence of a trivial algebraic lemma. Instead, we must look at the homology of \(X\) with several different choices of coefficients and apply the Universal Coefficient Theorem for \(RO(G)\)-graded equivariant ordinary homology.

In order to employ the Universal Coefficient Theorem, we must introduce the box product of \(RO(G)\)-graded Mackey functors. We must also compute the \(RO(G)\)-graded equivariant ordinary homology of a point with an arbitrary Mackey functor as coefficients. This, and some other basic background material on \(RO(G)\)-graded equivariant ordinary homology, is presented in a separate part at the end of the memoir.

Readership

Graduate students and research mathematicians interested in algebraic topology.

  • Chapters
  • Introduction
  • Part 1. The homology of $\mathbb {Z}/p$-cell complexes with even-dimensional cells
  • Chapter 1. Preliminaries
  • Chapter 2. The main freeness theorem (Theorem 2.6)
  • Chapter 3. An outline of the proof of the main freeness result (Theorem 2.6)
  • Chapter 4. Proving the single-cell freeness results
  • Chapter 5. Computing $H^G_*(B \cup DV; A)$ in the key dimensions
  • Chapter 6. Dimension-shifting long exact sequences
  • Chapter 7. Complex Grassmannian manifolds
  • Part 2. Observations about $RO(G)$-graded equivariant ordinary homology
  • Chapter 8. The computation of $H^S_*$ for arbitrary $S$
  • Chapter 9. Examples of $H^S_*$
  • Chapter 10. $RO(G)$-graded box products
  • Chapter 11. A weak universal coefficient theorem
  • Chapter 12. Observations about Mackey functors
Please select which format for which you are requesting permissions.