Abstract
We compute the rational Borel equivariant cohomology ring of a cohomogeneity-one action of a compact Lie group.
![](https://cdn.statically.io/img/media.springernature.com/m312/springer-static/image/art%3A10.1007%2Fs10711-019-00434-4/MediaObjects/10711_2019_434_Fig1_HTML.png)
Similar content being viewed by others
Notes
That is, \(H^*_{K^-}\times _{H^*_{H}} H^*_{K^+}< H^*_{K^-}\times H^*_{K^+}\) is the subring of pairs \((x_-,x_+)\) such that \(\rho ^*_{-}(x_-) = \rho ^*_{+}(x_+)\).
To make this account self-contained, the proof of normality is thus. The transitive action of \(K_0\) on \(K_0{/}H_1\) induces a map \({\lambda }:K_0 \longrightarrow {{\,\mathrm{Homeo}\,}}K_0{/}H_1\) whose image, which acts effectively by definition, can only be \(S^1\) itself if \(K_0{/}H_1 \approx S^1\) and \(\mathrm {SO}(3)\) if \(K_0{/}H_1 \approx P^3\) [4, Thm. 1.1]. As \(\ker \lambda \) stabilizes all points, it is in particular contained in \(H_1\). The stabilizer of the coset \(1H_1\in K_0{/}H_1\) under the effective action of \({{\,\mathrm{im }\,}}\lambda \) is \(\lambda (H_1) \cong H_1{/}\ker \lambda \), which must be finite since \({{\,\mathrm{im }\,}}\lambda \) is of rank one, so \(\ker \lambda \) is of finite index in \(H_1\); particularly, its identity component must be \(H_0\). Since \(\ker \lambda \) is normal in \(K_0\) by definition, so also must be \(H_0\).
References
Alekseevsky, A.V., Alekseevsky, D.V.: Riemannian \(G\)-manifold with one-dimensional orbit space. Ann. Glob. Anal. Geom. 11(3), 197–211 (1993). https://doi.org/10.1007/BF00773366
Besse, A.: Einstein Manifolds. Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, vol. 10. Springer, Berlin (1987)
Borel, A.: Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts. Ann. Math. (2) 57(1), 115–207 (1953)
Bredon, G.E.: On homogeneous cohomology spheres. Ann. Math. 73, 556–565 (1961)
Bröcker, T., Tom Dieck, T.: Representations of Compact Lie Groups. Graduate Texts in Mathematics, vol. 98. Springer, Berlin (1985)
Carlson, J.D.: The equivariant K-theory of a cohomogeneity-one action (2018). arXiv:1805.00502
Choi, S., Kuroki, S.: Topological classification of torus manifolds which have codimension one extended actions. Algebr. Geom. Top. 11(5), 2655–2679 (2011). arXiv:0906.1335
Escher, C.M., Ultman, S.K.: Topological structure of candidates for positive curvature. Topol. Appl. 158(1), 38–51 (2011). https://doi.org/10.1016/j.topol.2010.10.001
Galaz-García, F., Searle, C.: Cohomogeneity one Alexandrov spaces. Transform. Groups 16(1), 91–107 (2011). arXiv:0910.5207
Galaz-García, F., Zarei, M.: Cohomogeneity one topological manifolds revisited. Math. Z. (2015). https://doi.org/10.1007/s00209-017-1915-y. arXiv:1503.09068
Goertsches, O., Mare, A.-L.: Equivariant cohomology of cohomogeneity one actions. Topol. Appl. 167, 36–52 (2014). arXiv:1110.6318
Goertsches, O., Mare, A.-L.: Equivariant cohomology of cohomogeneity-one actions: the topological case. Topol. Appl. 218, 93–96 (2017). arXiv:1609.07316
Grove, K., Halperin, S.: Dupin hypersurfaces, group actions and the double mapping cylinder. J. Differ. Geom. 26(3), 429–459 (1987). https://doi.org/10.4310/jdg/1214441486
Grove, K., Wilking, B., Ziller, W.: Positively curved cohomogeneity one manifolds and 3-Sasakian geometry. J. Differ. Geom. 78, 33–111 (2008)
Hatcher, A.: Algebraic Topology. Cambridge Univ. Press, Cambridge (2002)
Hatcher, A.: Vector bundles and K-theory. Version 2.2, November 2017. http://math.cornell.edu/~hatcher/VBKT/VBpage.html. Accessed 1 Mar 2019
He, C.: Localization of certain odd-dimensional manifolds with torus actions (2016). arXiv:1608.04392
Hoelscher, C.A.: On the homology of low-dimensional cohomogeneity one manifolds. Transform. Groups 15(1), 115–133 (2010)
Kane, R.: Reflection Groups and Invariant Theory. C. M. S. Books in Mathematics, vol. 5. Springer, Berlin (2001)
Kuroki, S.: Classification of torus manifolds with codimension one extended actions. Transform. Groups 16(2), 481–536 (2011). https://doi.org/10.1007/s00031-011-9136-7
May, J.P.: A Concise Course in Algebraic Topology. University of Chicago Press, Chicago (1999)
Mimura, M., Toda, H.: Topology of Lie Groups, I and II. Translations of Mathematical Monographs, vol. 91. Amer. Math. Soc., Providence (2000)
Mostert, P.S.: On a compact Lie group acting on a manifold. Ann. Math. 65(3), 447–455 (1957)
Mostert, P.S.: Errata: On a compact Lie group acting on a manifold. Ann. Math. 66(3), 589 (1957)
Palais, R., Terng, C.-L.: A general theory of canonical forms. Trans. Am. Math. Soc. 300, 771–789 (1987)
Püttmann, T.: Cohomogeneity one manifolds and selfmaps of nontrivial degree. Transform. Groups 14, 225–247 (2009). https://doi.org/10.1007/s00031-008-9037-6. arXiv:0710.3770
Samelson, H.: Beiträge zur Topologie der Gruppen-Mannigfaltigkeiten. Ann. Math. 42(1), 1091–1137 (1941)
Segal, G.: The representation-ring of a compact Lie group. Publ. Math. Inst. Hautes Études Sci. 34, 113–128 (1968)
Acknowledgements
The authors would like to thank the referee for careful proofreading, for suggesting a reference, and for making an important correction to their statement of Theorem 3.2. The first author would like to thank Omar Antolín Camarena for helpful conversations and the National Center for Theoretical Sciences (Taiwan) for its hospitality during a phase of this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Carlson, J.D., Goertsches, O., He, C. et al. The equivariant cohomology ring of a cohomogeneity-one action. Geom Dedicata 203, 205–223 (2019). https://doi.org/10.1007/s10711-019-00434-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-019-00434-4