Abstract:Let $t$ be a positive integer. Following work of D. M. Davis, we study the topology of complex-projective product spaces, i.e. quotients of cartesian products of odd dimensional spheres by the diagonal $S^1$-action, and of the $t$-torsion lens product spaces, i.e. the corresponding quotients when the action is restricted to the $t^{\mathrm{th}}$ roots of unity. For a commutative complex-oriented cohomology theory $h^*$, we determine the $h^*$-cohomology ring of these spaces (in terms of the $t$-series for $h^*$, in the case of $t$-torsion lens product spaces). When $h^*$ is singular cohomology with mod 2 coefficients, we also determine the action of the Steenrod algebra. We show that these spaces break apart after a suspension as a wedge of desuspensions of usual stunted complex projective ($t$-torsion lens) spaces. We estimate the category and topological complexity of complex-projective and lens product spaces, showing in particular that these invariants are usually much lower than predicted by the usual dimensional bounds. We extend Davis' analysis of manifold properties such as immersion dimension, (stable-)span, and (stable-)parallelizability of real projective product spaces to the complex-projective and lens product cases.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the topological properties of complex projective product spaces and lens product spaces. Specifically, the authors study the cohomology ring structures of these spaces under different conjugation theories, as well as their behaviors under stable and unstable decompositions. In addition, the paper also explores the category numbers and topological complexity of these spaces, and analyzes their immersion dimensions, (stable) spans, and (stable) parallelism properties.
### Main problems and goals
1. **Cohomology ring structure**:
- Study the cohomology ring structures of complex projective product spaces and lens product spaces under the complex - oriented cohomology theory \( h^* \).
- In particular, when \( h^* \) is the mod 2 cohomology, determine the action of the Steenrod algebra.
2. **Stable and unstable decompositions**:
- Explore the stable and unstable decompositions of these spaces after suspension, and reveal how they decompose into wedges of other known spaces.
3. **Category numbers and topological complexity**:
- Estimate the category numbers and topological complexity of complex projective product spaces and lens product spaces, and in particular, point out that these invariants are usually much lower than the traditional dimension bounds.
4. **Immersion dimension, (stable) span, and (stable) parallelism**:
- Extend Davis' study of real projective product spaces, and explore the immersion dimension, (stable) span, and (stable) parallelism properties of complex projective product spaces and lens product spaces.
### Specific problems
- **Cohomology ring structure**:
- Theorem 2.1 gives the cohomology ring structures of complex projective product spaces and lens product spaces for any \( 0 < t\leqslant\infty \).
- For example, for \( h^* = H^*(-; \mathbb{Z}/2\mathbb{Z}) \), the Steenrod square action is \( \text{Sq}(x_i)=(1 + z)^{n_i + 1}x_i \).
- **Stable and unstable decompositions**:
- Propositions 3.3 and Corollary 3.9 describe the stable and unstable decompositions of these spaces after suspension.
- For example, after one suspension, the complex projective product space can be decomposed into a wedge sum of a series of standard complex projective spaces and lens spaces.
- **Category numbers and topological complexity**:
- Theorem 4.1 gives an upper bound for the topological complexity of complex projective product spaces and lens product spaces.
- For example, \( \text{TC}(n(t))\leqslant r(1 + \text{TC}((n_1)(t)))- 1 \).
- **Immersion dimension, (stable) span, and (stable) parallelism**:
- Propositions 5.1 and Corollary 5.2 describe the immersion dimension, (stable) span, and (stable) parallelism of these spaces.
- For example, the immersion dimension of the complex projective product space \( n(t) \) is \( 2|n|+r-\delta_t+\max\{1, \text{gd}(-(|n| + r)\gamma(n_1)(t))\} \).
Through the exploration of these problems, the authors not only expand the understanding of complex projective product spaces and lens product spaces, but also provide a series of new tools and methods for studying the topological properties of these spaces.