We provide the first known example of a finite group action on an oriented surface that is free, orientation-preserving, and does not extend to an arbitrary (in particular, possibly non-free) orientation-preserving action on any compact oriented 3-manifold with boundary . This implies a negative solution to a conjecture of Domínguez and Segovia, as well as Uribe’s evenness conjecture for equivariant unitary bordism groups. We more generally provide sufficient conditions implying that infinitely many such group actions on surfaces exist. Intriguingly, any group with such a non-extending action is also a counterexample to the Noether problem over the complex numbers . In forthcoming work with Segovia we give a complete homological characterization of those finite groups admitting such a non-extending action, as well as more examples and non-examples. We do not address here the analogous question for non-orientation-preserving actions.
Revised:
Accepted:
Published online:
Eric G. Samperton 1
@article{CRMATH_2022__360_G2_161_0, author = {Eric G. Samperton}, title = {Free actions on surfaces that do not extend to arbitrary actions on 3-manifolds}, journal = {Comptes Rendus. Math\'ematique}, pages = {161--167}, publisher = {Acad\'emie des sciences, Paris}, volume = {360}, year = {2022}, doi = {10.5802/crmath.277}, language = {en}, }
Eric G. Samperton. Free actions on surfaces that do not extend to arbitrary actions on 3-manifolds. Comptes Rendus. Mathématique, Volume 360 (2022), pp. 161-167. doi : 10.5802/crmath.277. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.277/
[1] The Brauer group of quotient spaces of linear representations, Izv. Akad. Nauk SSSR, Ser. Mat., Volume 51 (1987) no. 3, 688, pp. 485-516 | DOI
[2] Classifying spaces for branched coverings, Indiana Univ. Math. J., Volume 29 (1980) no. 2, pp. 229-248 | DOI | MR | Zbl
[3] Three-dimensional orbifolds and cone-manifolds, MSJ Memoirs, 5, Mathematical Society of Japan, 2000 (with a postface by Sadayoshi Kojima) | Zbl
[4] Extending free actions of finite groups on surfaces, Topology Appl., Volume 305 (2022), 107898 | DOI | MR | Zbl
[5] Homological stability for Hurwitz spaces and the Cohen–Lenstra conjecture over function fields, II (2013) (https://arxiv.org/abs/1212.0923v2)
[6] Extending finite group actions on surfaces to hyperbolic -manifolds, Math. Proc. Camb. Philos. Soc., Volume 117 (1995) no. 1, pp. 137-151 | DOI | MR | Zbl
[7] On Schottky groups with automorphism, Ann. Acad. Sci. Fenn., Math., Volume 19 (1994) no. 2, pp. 259-289 | MR | Zbl
[8] Noether’s problem and unramified Brauer groups, Asian J. Math., Volume 17 (2013) no. 4, pp. 689-713 | DOI | MR | Zbl
[9] Bogomolov multipliers of groups of order 128, Exp. Math., Volume 23 (2014) no. 2, pp. 174-180 | DOI | MR | Zbl
[10] The Bogomolov multiplier of finite simple groups, Cohomological and geometric approaches to rationality problems. New Perspectives (Fedor Bogomolov, ed.) (Progress in Mathematics), Volume 282, Birkhäuser, 2010, pp. 209-217 | DOI | MR | Zbl
[11] Unramified Brauer groups of finite and infinite groups, Am. J. Math., Volume 134 (2012) no. 6, pp. 1679-1704 | DOI | MR | Zbl
[12] Unitary bordism of abelian groups, Proc. Am. Math. Soc., Volume 33 (1972), pp. 568-571 | DOI | MR | Zbl
[13] Extending finite group actions from surfaces to handlebodies, Proc. Am. Math. Soc., Volume 124 (1996) no. 9, pp. 2877-2887 | DOI | MR | Zbl
[14] Bordism of metacyclic group actions, Mich. Math. J., Volume 27 (1980) no. 2, pp. 223-233 | MR | Zbl
[15] Noether’s problem over an algebraically closed field, Invent. Math., Volume 77 (1984) no. 1, pp. 71-84 | DOI | MR | Zbl
[16] Schur-type invariants of branched -covers of surfaces, Topological phases of matter and quantum computation. AMS special session, Bowdoin College, Brunswick, ME, USA, September 24–25, 2016 (Paul Bruillard, ed.) (Contemporary Mathematics), Volume 747, American Mathematical Society, 2020, pp. 173-197 | DOI | MR | Zbl
[17] Unoriented bordism and actions of finite groups, Memoirs of the American Mathematical Society, 103, American Mathematical Society, 1970 | Zbl
[18] GAP – Groups, Algorithms, and Programming, 2021 (Version 4.11.1, https://www.gap-system.org)
[19] The evenness conjecture in equivariant unitary bordism, Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. II. Invited lectures (Boyan Sirakov, ed.), World Scientific; Sociedade Brasileira de Matemática, 2018, pp. 1217-1239 | Zbl
[20] Private communication, 2021
Cited by Sources:
Comments - Policy