Steven R. Costenoble,Stefan Waner
Abstract:Poincare duality lies at the heart of the homological theory of manifolds. In the presence of the action of a group it is well-known that Poincare duality fails in Bredon's ordinary, integer-graded equivariant homology. We give here a detailed account of one way around this problem, which is to extend equivariant ordinary homology to a theory graded on representations of fundamental groupoids. Versions of this theory have appeared previously for actions of finite groups, but this is the first account that works for all compact Lie groups.
The first part of this work is a detailed discussion of RO(G)-graded ordinary homology and cohomology, collecting scattered results and filling in gaps in the literature. In particular, we give details on change of groups and products that do not seem to have appeared elsewhere. We also discuss the relationship between ordinary homology and cohomology when the group is compact Lie, in which case the two theories are not represented by the same spectrum. The remainder of the work discusses the extension to grading on representations of fundamental groupoids, concentrating on those aspects that are not simple generalizations of the RO(G)-graded case. These theories can be viewed as defined on parametrized spaces, and then the representing objects are parametrized spectra; we use heavily foundational work of May and Sigurdsson on parametrized spectra. We end with a discussion of Poincare duality for arbitrary smooth equivariant manifolds.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **In the presence of group actions, how to extend Bredon - Illman homology and cohomology theories so that Poincaré duality holds for all smooth compact G - manifolds**. Specifically, the authors hope to find a method such that for any compact Lie group \(G\), an ordinary homology and cohomology theory graded by \(RO(G)\) and \(RO(\Pi_G X)\) can be constructed, and under this theory, Poincaré duality can still hold.
### Background problems
1. **Failure of Poincaré duality**:
- In traditional integer - graded equivariant homology theories (such as Bredon - Illman theory), when there are group actions, Poincaré duality usually does not hold.
- This problem has been widely discussed in the literature. For example, these homology theories were constructed in [3] and [25], while the failure of Poincaré duality was pointed out in [17] and [35].
2. **Success under finite group actions**:
- The authors' previous work [10] shows that for finite group actions and Mackey functor coefficient systems, Bredon - Illman theory can be extended to a theory graded by virtual representations of the equivariant fundamental groupoid \(\Pi_G X\). In this case, Poincaré duality holds for all smooth compact \(G\)-manifolds.
3. **Challenges under infinite group actions**:
- When \(G\) is an infinite compact Lie group, ordinary homology and cohomology theories are not necessarily dual, so one cannot expect Poincaré duality to hold in general.
- In particular, if \(M\) is compact and equivariantly orientable and is locally modeled on a single representation \(V\) of \(G\), then a dual isomorphism like \(H^W_G(M, \partial M)\cong H^{V - W}_G(M)\) can be obtained.
### Goals of the paper
To address the above challenges, the main goals of the paper include:
1. **Extend the theoretical framework**:
- Construct ordinary homology and cohomology theories graded by \(RO(G)\) and \(RO(\Pi_G X)\).
- Ensure that these theories are still applicable in a broader context and can handle complex group action situations.
2. **Prove Poincaré duality**:
- For any compact Lie group \(G\), especially when \(G\) is an infinite group, prove that Poincaré duality still holds in the new theoretical framework.
- Provide detailed proofs and explanations of duality in different situations and its geometric meaning.
3. **Improve existing theories**:
- Give a complete description of \(RO(G)\)-graded ordinary homology and cohomology theories and their related dual theories.
- Discuss the behavior of these theories in terms of different group transformations, product structures, etc., filling the gaps in the existing literature.
Through these efforts, the authors hope to provide a more comprehensive and consistent theoretical framework for better understanding and applying equivariant homology and cohomology theories.