Abstract:In this paper, we compute the $RO(C_n)$-graded coefficient ring of equivariant cohomology for cyclic groups $C_n$, in the case of Burnside ring coefficients, and in the case of constant coefficients. We use the invertible Mackey functors under the box product to reduce the gradings in the computation from $RO(C_n)$ to those expressable as combinations of $\lambda^d$ for divisors $d$ of $n$, where $\lambda$ is the inclusion of $C_n$ in $S^1$ as the roots of unity. We make explicit computations for the geometric fixed points for Burnside ring coefficients, and in the positive cone for constant coefficients. The positive cone is also computed for the Burnside ring in the case of prime power order, and in the case of square free order. Finally, we also make computations at non-negative gradings for the constant coefficients.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is, in the case of the cyclic group \(C_n\), to calculate the coefficient ring of RO(\(C_n\)) - graded equivariant cohomology with Burnside ring coefficients and constant coefficients. Specifically, the authors focus on how to simplify the RO(\(C_n\)) - graded calculation by using the properties of invertible Mackey functions under the box product, and transform it into a form that can be expressed as a combination of \(\lambda_d\), where \(d\) is a divisor of \(n\), and \(\lambda\) represents the inclusion of \(C_n\) as a root of unity in \(S^1\).
### Main research contents and methods
1. **Computational techniques**:
- **Cofiber sequence method**: Use the Euler class \(a_V\) and the Gysin cofiber sequence to construct a long exact sequence for calculation.
- **Tate diagram method**: Use the Tate diagram to deal with specific spectral spaces. In particular, when \(X\) is a ring spectrum, simplify the calculation by inverting the Euler class \(a_{\lambda_s}\).
- **Bredon cohomology method**: Write out the equivariant CW - complex structure of \(S^V\), and then use cellular homology and cohomology for calculation.
2. **Reduction to divisor - graded**:
- By constructing an epimorphism from RO(\(C_n\)) to Pic(\(Ho(Sp_{C_n})\)), the authors reduce the elements of RO(\(C_n\)) to the form of divisor - graded, thus simplifying the calculation.
- In particular, for Burnside ring coefficients and constant coefficients, the cases of positive cones and non - negative gradings are calculated respectively.
3. **Geometric fixed points**:
- Calculate the geometric fixed points of \(C_n\) - spectra. In particular, in the cases where \(C_n\) is a prime power or square - free, specific calculation results are given.
4. **Calculation on the positive cone**:
- For the positive cone part, that is, elements in RO(\(C_n\)) of the form \(n - V\), detailed calculations are carried out using the Bredon cohomology method.
- Prove that the positive cone part is a graded commutative ring, and give the specific forms of generators and relations.
5. **Calculation of non - negative gradings**:
- For the non - negative grading part, that is, the part in RO(\(C_n\)) with dimension less than or equal to 0, detailed calculations are carried out by using the properties of 0 - equivalence maps and fixed - point maps.
- In particular, for the case where \(C_n\) is a prime power, specific descriptions of generators and relations are given.
### Main conclusions
- **Theorem A**: For the geometric fixed points of \(C_n\), specific calculation results are given, especially in the cases where \(C_n\) is a prime power or square - free.
- **Theorem B**: For the constant coefficient \(\mathbb{Z}\), in the positive cone part, the specific forms of generators and relations are given.
- **Theorem C**: For Burnside ring coefficients, in the positive cone part, the specific forms of generators and relations are given.
- **Theorem D**: For the non - negative grading part, especially in the case where \(C_n\) is a prime power, specific descriptions of generators and relations are given.
### Significance
This paper successfully solves the complex calculation problem of equivariant cohomology under the cyclic group \(C_n\) by introducing new computational techniques and methods, providing an important theoretical basis and computational tool for subsequent research.