On the LS-category of group homomorphisms. (English) Zbl 1527.55003
Let \(\phi: \Gamma \to \pi\) be a homomorpism of groups. Mark Grant [mathoverflow.net/questions/89178/Cohomological dimension of a homomorphism] defined the cohomological dimension \(\operatorname{cd}(\phi)\) as the maximum of \(k\) such that there is a \(\pi\)-module \(M\) with the nonzero induced homomorphism \(\phi^*:H^k(\pi;M)\to H^k(\Gamma;M)\).
Let \(\operatorname{cat}\) denote Lusternik-Schnirelmann category. Motivated by the well-known equality \(\operatorname{cd}(G)=\operatorname{cat}(G)\) for discrete groups (Eilenberg-Ganea), the authors conjecture that \(\operatorname{cd}(\phi)=\operatorname{cat}(\phi)\) for all homomorphism \(\phi\). They prove the conjecture for homomorphisms \(\phi: \Gamma \to \pi\) of any torsion free finitely generated nilpotent group \(\Gamma\). Goodwillie constructed a \(\phi\) that serves as a counterexample to the conjecture with non-finitely generated \(\Gamma\). The authors present a counterexample with geometrically finite groups.
Let \(\operatorname{cat}\) denote Lusternik-Schnirelmann category. Motivated by the well-known equality \(\operatorname{cd}(G)=\operatorname{cat}(G)\) for discrete groups (Eilenberg-Ganea), the authors conjecture that \(\operatorname{cd}(\phi)=\operatorname{cat}(\phi)\) for all homomorphism \(\phi\). They prove the conjecture for homomorphisms \(\phi: \Gamma \to \pi\) of any torsion free finitely generated nilpotent group \(\Gamma\). Goodwillie constructed a \(\phi\) that serves as a counterexample to the conjecture with non-finitely generated \(\Gamma\). The authors present a counterexample with geometrically finite groups.
Reviewer: Yuli Rudyak (Gainesville)
MSC:
| 55M30 | Lyusternik-Shnirel’man category of a space, topological complexity à la Farber, topological robotics (topological aspects) |
| 20F18 | Nilpotent groups |
| 20J06 | Cohomology of groups |
Software:
MathOverflowReferences:
| [1] | Bechtell, H., The Theory of Groups (1971), Reading: Addison-Wesley, Reading · Zbl 0229.20001 |
| [2] | Berstein, I., On the Lusternik-Schnirelmann category of Grassmannians, Math. Proc. Cambr. Philos. Soc., 79, 129-134 (1976) · Zbl 0315.55011 · doi:10.1017/S0305004100052142 |
| [3] | Bolotov, D., Gromov’s macroscopic dimension conjecture, AGT, 6, 1669-1676 (2006) · Zbl 1131.57028 |
| [4] | Brown, K., Cohomology of Groups (1982), New York: Springer, New York · Zbl 0584.20036 |
| [5] | Charney, RM; Davis, MW, Strict hyperbolization, Topology, 34, 2, 329-350 (1995) · Zbl 0826.53040 · doi:10.1016/0040-9383(94)00027-I |
| [6] | Cornea, O.; Lupton, G.; Oprea, J.; Tanre, D., Lusternik-Schnirelmann Category (2003), Providence: AMS, Providence · Zbl 1032.55001 · doi:10.1090/surv/103 |
| [7] | Davis, MW; Januszkiewicz, T., Hyperbolization of polyhedra, J. Differ. Geom., 34, 2, 347-388 (1991) · Zbl 0723.57017 · doi:10.4310/jdg/1214447212 |
| [8] | De Saha, A., Dranishnikov, A.: On cohomological dimension of homomorphisms. arXiv:2302.09686 |
| [9] | Dranishnikov, A.; Rudyak, Yu, On the Berstein-Svarc theorem in dimension 2, Math. Proc. Cambr. Philos. Soc., 146, 2, 407-413 (2009) · Zbl 1171.55002 · doi:10.1017/S0305004108001904 |
| [10] | Eilenberg, S.; Ganea, T., On the Lusternik-Schnirelmann category of abstract groups, Ann. Math., 65, 517-518 (1957) · Zbl 0079.25401 · doi:10.2307/1970062 |
| [11] | Fox, RH, On the Lusternik-Schnirelmann category, Ann. Math., 42, 33-370 (1941) · JFM 67.0741.02 · doi:10.2307/1968905 |
| [12] | Grant, M.: https://mathoverflow.net/questions/89178/cohomological-dimension-of-a-homomorphism. Accessed 22 Feb 2012 |
| [13] | Gromov, M., Positive Curvature, Macroscopic Dimension, Spectral Gaps and Higher Signatures, Functional Analysis on the Eve of the 21st Century (1996), Boston: Birkhauser, Boston · Zbl 0945.53022 |
| [14] | Gromov, M., Hyperbolic Groups, Essays in Group Theory, Mathematical Sciences Research Institute Publications, 8, 75-263 (1987), New York: Springer, New York · Zbl 0634.20015 |
| [15] | Hu, S-T, Homotopy Theory (1959), New York: Academic Press, New York · Zbl 0088.38803 |
| [16] | Lusternik, L.; Schnirelmann, L., Sur le probleme de trois geodesiques fermees sur les surfaces de genre 0, C R Acad. Sci. Paris, 189, 269-271 (1929) · JFM 55.0316.02 |
| [17] | Mal’tsev, AI, On a class of homogeneous spaces, Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya, 13, 3, 201-212 (1949) · Zbl 0034.01702 |
| [18] | Mal’tsev, AI, Nilpotent groups without torsion, Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya, 13, 1, 9-32 (1949) |
| [19] | Raghunathan, MS, Discrete Subgroups of Lie Groups (1972), Berlin: Springer, Berlin · Zbl 0254.22005 · doi:10.1007/978-3-642-86426-1 |
| [20] | Rudyak, Yu, On category weight and its applications, Topology, 38, 1, 37-55 (1999) · Zbl 0927.55005 · doi:10.1016/S0040-9383(97)00101-8 |
| [21] | Schwarz, A.: The genus of a fibered space. Trudy Moscov. Mat. Obsc. 10, 217-272 (1961) |
| [22] | Schwarz, A., The genus of a fibered space, Trudy Moscov. Mat. Obsc., 11, 99-126 (1962) |
| [23] | Scott, J., On the topological complexity of maps, Topol. Appl., 314, Paper No. 108094 (2022) · Zbl 1494.55005 · doi:10.1016/j.topol.2022.108094 |
| [24] | Switzer, R., Algebraic Topology—Homotopy and Homology (1975), Berlin: Springer, Berlin · Zbl 0305.55001 · doi:10.1007/978-3-642-61923-6 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
