Showing 1–38 of 38 results for author: Zimmermann, B

On equivariant embeddings of hyperbolic surfaces into hyperbolic 3-manifolds

Authors: Bruno P. Zimmermann

Abstract: We consider the problem of when a closed hyperbolic surface admits a totally geodesic embedding into a closed hyperbolic 3-manifold, and in particular equivariant versions of such embeddings. In a previous paper we considered orientation-preserving actions on orientable surfaces; in the present paper, we consider large orientation-reversing actions on orientable surfaces, and also large actions on… ▽ More We consider the problem of when a closed hyperbolic surface admits a totally geodesic embedding into a closed hyperbolic 3-manifold, and in particular equivariant versions of such embeddings. In a previous paper we considered orientation-preserving actions on orientable surfaces; in the present paper, we consider large orientation-reversing actions on orientable surfaces, and also large actions on nonorientable surfaces. △ Less

Submitted 21 March, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

On geodesic embeddings of hyperbolic surfaces into hyperbolic 3-manifolds

Authors: Bruno P. Zimmermann

Abstract: We consider the problem of when a closed orientable hyperbolic surface admits a totally geodesic embedding into a closed orientable hyperbolic 3-manifold; given a finite isometric group action on the surface, we consider in particular equivariant versions of such an embedding. We prove that an equivariant embedding exists for all finite irreducible group actions on surfaces; such surfaces are know… ▽ More We consider the problem of when a closed orientable hyperbolic surface admits a totally geodesic embedding into a closed orientable hyperbolic 3-manifold; given a finite isometric group action on the surface, we consider in particular equivariant versions of such an embedding. We prove that an equivariant embedding exists for all finite irreducible group actions on surfaces; such surfaces are known also as quasiplatonic surfaces; in particular, all quasiplatonic surfaces embed geodesically. In the last section, we discuss some cases of more general finite group actions on surfaces. △ Less

Submitted 21 February, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

Comments: 10 pages; we added some results for reducible group actions

A note on large bounding and non-bounding finite group-actions on surfaces of small genus

Authors: Bruno P. Zimmermann

Abstract: The classification of finite group-actions on closed surfaces of small genus is well-known. In the present paper we are interested in the question of which of these group-actions are bounding (extend to a compact 3-manifold with the surface as its unique boundary component, e.g. to a handlebody) or geometrically bounding (extend to a hyperbolic 3-manifold with totally geodesic boundary), concentra… ▽ More The classification of finite group-actions on closed surfaces of small genus is well-known. In the present paper we are interested in the question of which of these group-actions are bounding (extend to a compact 3-manifold with the surface as its unique boundary component, e.g. to a handlebody) or geometrically bounding (extend to a hyperbolic 3-manifold with totally geodesic boundary), concentrating, as a typical case, on large group-actions on surfaces of genus 3. △ Less

Submitted 28 May, 2022; originally announced May 2022.

Comments: 5 pages

Large finite group actions on surfaces: Hurwitz groups, maximal reducible and maximal handlebody groups, bounding and non-bounding actions

Authors: Bruno P. Zimmermann

Abstract: We consider large finite group-actions on surfaces and discuss and compare various notions for such actions: Hurwitz actions and Hurwitz groups; maximal reducible and completely reducible actions; bounding and geometrically bounding actions; maximal handlebody groups and maximal bounded surface groups; in particular, we discuss small simple groups of various types. A Hurwitz group is a finite gr… ▽ More We consider large finite group-actions on surfaces and discuss and compare various notions for such actions: Hurwitz actions and Hurwitz groups; maximal reducible and completely reducible actions; bounding and geometrically bounding actions; maximal handlebody groups and maximal bounded surface groups; in particular, we discuss small simple groups of various types. A Hurwitz group is a finite group of orientation-preserving diffeomorphisms of maximal possible order $84(g-1)$ of a closed orientable surface of genus $g>1$. A maximal handlebody group instead is a group of orientation-preserving diffeomorphisms of maximal possible order $12(g-1)$ of a 3-dimensional handlebody of genus $g>1$. Among others, we consider the question of when a Hurwitz group acting on a surface of genus $g$ contains a subgroup of maximal possible order $12(g-1)$ extending to a handlebody (or, more generally, a maximal reducible group extending to a product with handles), and show that such Hurwitz groups are closely related to the smallest Hurwitz group ${\rm PSL}_2(7)$ of order 168 acting on Klein's quartic of genus 3. We discuss simple groups of small order which are maximal handlebody groups and, more generaly, maximal reducible groups. We discuss also the problem of which Hurwitz actions bound geometrically, and in particular whether Klein's quartic bounds geometrically: does there exist a compact hyperbolic 3-manifold with totally geodesic boundary isometric to Klein's quartic? Finally, large bounding and non-bounding actions on surfaces of genus 2, 3 and 4 are discussed in section 3. △ Less

Submitted 16 February, 2024; v1 submitted 21 October, 2021; originally announced October 2021.

Comments: 15 pages; we incorporated arXiv:2205.14425

A note on the Nielsen realization problem for connected sums of $S^2 \times S^1$

Authors: Bruno P. Zimmermann

Abstract: We consider finite group-actions on 3-manifolds $\cal H_g$ obtained as the connected sum of $g$ copies of $S^2 \times S^1$, with free fundamental group $F_g$ of rank $g$. We prove that, for $g > 1$, a finite group of diffeomorphisms of $\cal H_g$ inducing a trivial action on homology is cyclic. As a consequence, no non-cyclic subgroup of the twist subgroup of the mapping class group of $\cal H_g$… ▽ More We consider finite group-actions on 3-manifolds $\cal H_g$ obtained as the connected sum of $g$ copies of $S^2 \times S^1$, with free fundamental group $F_g$ of rank $g$. We prove that, for $g > 1$, a finite group of diffeomorphisms of $\cal H_g$ inducing a trivial action on homology is cyclic. As a consequence, no non-cyclic subgroup of the twist subgroup of the mapping class group of $\cal H_g$ (generated by Dehn twists along embedded 2-spheres) can be realized by diffeomorphisms (in the sense of the Nielsen realization problem). We also discuss when a finite subgroup of the outer automorphism group ${\rm Out}(F_g)$ of the fundamental group of $\cal H_g$ can be realized by a group of diffeomorphisms of $\cal H_g$. △ Less

Submitted 23 April, 2022; v1 submitted 11 May, 2021; originally announced May 2021.

Comments: I added an Erratum to the previous version (which appeared in Rend. Istit. Mat. Univ. Trieste 53, 2021)

MSC Class: 57

Tetrahedral Coxeter groups, large group-actions on 3-manifolds and equivariant Heegaard splittings

Authors: Bruno P. Zimmermann

Abstract: We consider finite group-actions on closed, orientable and nonorientable 3-manifolds M which preserve the two handlebodies of a Heegaard splitting of M of some genus g > 1 (maybe interchanging the two handlebodies). The maximal possible order of a finite group-action on a handlebody of genus g>1 is 12(g-1) in the orientation-preserving case and 24(g-1) in general, and the maximal order of a finite… ▽ More We consider finite group-actions on closed, orientable and nonorientable 3-manifolds M which preserve the two handlebodies of a Heegaard splitting of M of some genus g > 1 (maybe interchanging the two handlebodies). The maximal possible order of a finite group-action on a handlebody of genus g>1 is 12(g-1) in the orientation-preserving case and 24(g-1) in general, and the maximal order of a finite group preserving the Heegaard surface of a Heegaard splitting of genus g is 48(g-1). This defines a hierarchy for finite group-actions on 3-manifolds which we discuss in the present paper; we present various manifolds with an action of type 48(g-1) for small values of g, and in particular the unique hyperbolic 3-manifold with such an action of smallest possible genus g = 6 (in strong analogy with the Euclidean case of the 3-torus which has such actions for g = 3). △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: 11 pages

MSC Class: 57M60

On large orientation-reversing finite group-actions on 3-manifolds and equivariant Heegaard decompositions

Authors: Bruno P. Zimmermann

Abstract: We consider finite group-actions on closed, orientable and nonorientable 3-manifolds; such a finite group-action leaves invariant the two handlebodies of a Heegaard splitting of M of some genus g. The maximal possible order of a finite group-action of an orientable or nonorientable handlebody of genus g > 1 is 24(g-1), and in the present paper we characterize the 3-manifolds M and groups G for whi… ▽ More We consider finite group-actions on closed, orientable and nonorientable 3-manifolds; such a finite group-action leaves invariant the two handlebodies of a Heegaard splitting of M of some genus g. The maximal possible order of a finite group-action of an orientable or nonorientable handlebody of genus g > 1 is 24(g-1), and in the present paper we characterize the 3-manifolds M and groups G for which the maximal possible order |G| = 24(g-1) is obtained, for some G-invariant Heegaard splitting of genus g > 1. If M is reducible then it is obtained by doubling an action of maximal possible order 24(g-1) on a handlebody of genus g. If M is irreducible then it is a spherical, Euclidean or hyperbolic manifold obtained as a quotient of one of the three geometries by a normal subgroup of finite index of a Coxeter group associated to a Coxeter tetrahedron, or of a twisted version of such a Coxeter group. △ Less

Submitted 8 March, 2019; originally announced March 2019.

Comments: 8 pages

A classification of maximally symmetric surfaces in the 3-dimensional torus

Authors: Chao Wang, Bruno Zimmermann

Abstract: If a finite group of orientation-preserving diffeomorphisms of the 3-dimensional torus leaves invariant an oriented, closed, embedded surface of genus g>1 and preserves the orientation of the surface, then its order is bounded from above by 12(g-1). In the present paper we classify (up to conjugation) all such group actions and surfaces for which the maximal possible order 12(g-1) is achieved, and… ▽ More If a finite group of orientation-preserving diffeomorphisms of the 3-dimensional torus leaves invariant an oriented, closed, embedded surface of genus g>1 and preserves the orientation of the surface, then its order is bounded from above by 12(g-1). In the present paper we classify (up to conjugation) all such group actions and surfaces for which the maximal possible order 12(g-1) is achieved, and note that the unknotted surfaces can be realized by equivariant minimal surfaces in a 3-torus. △ Less

Submitted 7 April, 2018; originally announced April 2018.

Comments: 13 pages, 4 figures

MSC Class: Primary 57M60; Secondary 57S25

Bordered surfaces in the 3-sphere with maximum symmetry

Authors: Chao Wang, Shicheng Wang, Yimu Zhang, Bruno Zimmermann

Abstract: We consider orientation-preserving actions of finite groups $G$ on pairs $(S^3, Σ)$, where $Σ$ denotes a compact connected surface embedded in $S^3$. In a previous paper, we considered the case of closed, necessarily orientable surfaces, determined for each genus $g>1$ the maximum order of such a $G$ for all embeddings of a surface of genus $g$, and classified the corresponding embeddings. In th… ▽ More We consider orientation-preserving actions of finite groups $G$ on pairs $(S^3, Σ)$, where $Σ$ denotes a compact connected surface embedded in $S^3$. In a previous paper, we considered the case of closed, necessarily orientable surfaces, determined for each genus $g>1$ the maximum order of such a $G$ for all embeddings of a surface of genus $g$, and classified the corresponding embeddings. In the present paper we obtain analogous results for the case of bordered surfaces $Σ$ (i.e. with non-empty boundary, orientable or not). Now the genus $g$ gets replaced by the algebraic genus $α$ of $Σ$ (the rank of its free fundamental group); for each $α> 1$ we determine the maximum order $m_α$ of an action of $G$, classify the topological types of the corresponding surfaces (topological genus, number of boundary components, orientability) and their embeddings into $S^3$. For example, the maximal possibility $12(α- 1)$ is obtained for the finitely many values $α= 2, 3, 4, 5, 9, 11, 25, 97, 121$ and $241$. △ Less

Submitted 24 October, 2017; originally announced October 2017.

Comments: 20 pages, to appear in J. Pure Appl. Algebra. arXiv admin note: text overlap with arXiv:1510.00822

MSC Class: 57M60; 57S25

On large groups of symmetries of finite graphs embedded in spheres

Authors: Bruno P. Zimmermann

Abstract: Let G be a finite group acting orthogonally on a pair (S^d,Γ) where Γis a finite, connected graph of genus g>1 embedded in the sphere S^d. The 3-dimensional case d=3 has recently been considered in a paper by C. Wang, S. Wang, Y. Zhang and the present author where for each genus g>1 the maximum order of a G-action on a pair (S^3,Γ) is determined and the corresponding graphs Γare classified. In the… ▽ More Let G be a finite group acting orthogonally on a pair (S^d,Γ) where Γis a finite, connected graph of genus g>1 embedded in the sphere S^d. The 3-dimensional case d=3 has recently been considered in a paper by C. Wang, S. Wang, Y. Zhang and the present author where for each genus g>1 the maximum order of a G-action on a pair (S^3,Γ) is determined and the corresponding graphs Γare classified. In the present paper we consider arbitrary dimensions d and prove that the order of G is bounded above by a polynomial of degree d/2 in g if d is even, and of degree (d+1)/2 if d is odd; moreover the degree d/2 is best possible in even dimensions d. We discuss also the problem, given a finite graph Γand its finite symmetry group, to find the minimal dimension of a sphere into which Γembeds equivariantly as above. △ Less

Submitted 16 June, 2017; originally announced June 2017.

Comments: 8 pages

MSC Class: 57S17; 57S25; 05C10

Embedding compact surfaces into the 3-dimensional Euclidean space with maximum symmetry

Authors: Chao Wang, Shicheng Wang, Yimu Zhang, Bruno Zimmermann

Abstract: The symmetries of surfaces which can be embedded into the symmetries of the 3-dimensional Euclidean space $\mathbb{R}^3$ are easier to feel by human's intuition. We give the maximum order of finite group actions on $(\mathbb{R}^3, Σ)$ among all possible embedded closed/bordered surfaces with given geometric/algebraic genus $>1$ in $\mathbb{R}^3$. We also identify the topological types of the borde… ▽ More The symmetries of surfaces which can be embedded into the symmetries of the 3-dimensional Euclidean space $\mathbb{R}^3$ are easier to feel by human's intuition. We give the maximum order of finite group actions on $(\mathbb{R}^3, Σ)$ among all possible embedded closed/bordered surfaces with given geometric/algebraic genus $>1$ in $\mathbb{R}^3$. We also identify the topological types of the bordered surfaces realizing the maximum order, and find simple representative embeddings for such surfaces. △ Less

Submitted 31 March, 2017; v1 submitted 10 February, 2017; originally announced February 2017.

Comments: 22 pages, 15 figures, accepted for publication in SCIENCE CHINA Mathematics

MSC Class: 57M60; 57S25

On topological actions of finite groups on S^3

Authors: Bruno P. Zimmermann

Abstract: We consider orientation-preserving actions of a finite group G on the 3-sphere S^3 (and also on Euclidean space R^3). By the geometrization of finite group actions on 3-manifolds, if such an action is smooth then it is conjugate to an orthogonal action, and in particular G is isomorphic to a subgroup of the orthogonal group SO(4) (or of SO(3) in the case of R^3). On the other hand, there are topol… ▽ More We consider orientation-preserving actions of a finite group G on the 3-sphere S^3 (and also on Euclidean space R^3). By the geometrization of finite group actions on 3-manifolds, if such an action is smooth then it is conjugate to an orthogonal action, and in particular G is isomorphic to a subgroup of the orthogonal group SO(4) (or of SO(3) in the case of R^3). On the other hand, there are topological actions with wildly embedded fixed point sets; such actions are not conjugate to smooth actions but one would still expect that the corresponding groups G are isomorphic to subgroups of the orthgonal groups SO(4) (or of SO(3), resp.). In the present paper, we obtain some results in this direction; we prove that the only finite, nonabelian simple group with a topological action on S^3, or on any homology 3-sphere, is the alternating or dodecahedral group A_5 (the only finite, nonabelian simple subgroup of SO(4)), and that every finite group with a topological, orientation-preserving action on Euclidean space R^3 is in fact isomorphic to a subgroup of SO(3). △ Less

Submitted 1 September, 2016; v1 submitted 24 June, 2016; originally announced June 2016.

Comments: 7 pages

On upper and lower bounds for finite group actions on bounded surfaces, handlebodies, closed handles and finite graphs

Authors: Bruno P. Zimmermann

Abstract: This is a survey on upper and lower bounds for finite group actions on bounded surfaces, 3-dimensional handlebodies and closed handles, handlebodies in arbitrary dimensions and finite graphs (the common feature of these objects is that all have free fundamental group). This is a survey on upper and lower bounds for finite group actions on bounded surfaces, 3-dimensional handlebodies and closed handles, handlebodies in arbitrary dimensions and finite graphs (the common feature of these objects is that all have free fundamental group). △ Less

Submitted 22 April, 2016; originally announced April 2016.

Comments: 12 pages

On topological actions of finite, non-standard groups on spheres

Authors: Bruno P. Zimmermann

Abstract: The standard actions of finite groups on spheres S^d are linear actions, i.e. by finite subgroups of the orthogonal group O(d+1). We prove that, in each dimension d>5, there is a finite group G which admits a faithful, topological action on a sphere S^d but is not isomorphic to a subgroup of O(d+1). The situation remains open for smooth actions. The standard actions of finite groups on spheres S^d are linear actions, i.e. by finite subgroups of the orthogonal group O(d+1). We prove that, in each dimension d>5, there is a finite group G which admits a faithful, topological action on a sphere S^d but is not isomorphic to a subgroup of O(d+1). The situation remains open for smooth actions. △ Less

Submitted 19 July, 2016; v1 submitted 15 February, 2016; originally announced February 2016.

Comments: revised version, to appear in Monatsh. Math

Graphs in the 3--sphere with maximum symmetry

Authors: Chao Wang, Shicheng Wang, Yimu Zhang, Bruno Zimmermann

Abstract: We consider the orientation-preserving actions of finite groups $G$ on pairs $(S^3, Γ)$, where $Γ$ is a connected graph of genus $g>1$, embedded in $S^3$. For each $g$ we give the maximum order $m_g$ of such $G$ acting on $(S^3, Γ)$ for all such $Γ\subset S^3$. Indeed we will classify all graphs $Γ\subset S^3$ which realize these $m_g$ in different levels: as abstract graphs and as spatial graphs,… ▽ More We consider the orientation-preserving actions of finite groups $G$ on pairs $(S^3, Γ)$, where $Γ$ is a connected graph of genus $g>1$, embedded in $S^3$. For each $g$ we give the maximum order $m_g$ of such $G$ acting on $(S^3, Γ)$ for all such $Γ\subset S^3$. Indeed we will classify all graphs $Γ\subset S^3$ which realize these $m_g$ in different levels: as abstract graphs and as spatial graphs, as well as their group actions. Such maximum orders without the condition "orientation-preserving" are also addressed. △ Less

Submitted 24 October, 2017; v1 submitted 3 October, 2015; originally announced October 2015.

Comments: 34 pages, to appear in Discrete Comput. Geom

MSC Class: 57M60; 57M15; 05E18

Finite group actions and cyclic branched covers of knots in $\mathbf{S}^3$

Authors: Michel Boileau, Clara Franchi, Mattia Mecchia, Luisa Paoluzzi, Bruno Zimmermann

Abstract: We show that a hyperbolic $3$-manifold can be the cyclic branched cover of at most fifteen knots in $\mathbf{S}^3$. This is a consequence of a general result about finite groups of orientation preserving diffeomorphisms acting on $3$-manifolds. A similar, although weaker, result holds for arbitrary irreducible $3$-manifolds: an irreducible $3$-manifold can be the cyclic branched cover of odd prime… ▽ More We show that a hyperbolic $3$-manifold can be the cyclic branched cover of at most fifteen knots in $\mathbf{S}^3$. This is a consequence of a general result about finite groups of orientation preserving diffeomorphisms acting on $3$-manifolds. A similar, although weaker, result holds for arbitrary irreducible $3$-manifolds: an irreducible $3$-manifold can be the cyclic branched cover of odd prime order of at most six knots in $\mathbf{S}^3$. △ Less

Submitted 22 January, 2018; v1 submitted 5 June, 2015; originally announced June 2015.

Comments: 31 pages, 1 figure. Changes from v2: The paper has been substantially reorganized, in particular the proof of Theorem 2 was considerably shortened. Accepted for publication by the Journal of Topology

MSC Class: Primary 57S17; Secondary 57M40; 57M60; 57M12; 57M25; 57M50

On finite simple groups acting on homology spheres with small fixed point sets

Authors: Bruno P. Zimmermann

Abstract: A finite nonabelian simple group does not admit a free action on a homology sphere, and the only finite simple group which acts on a homology sphere with at most 0-dimensional fixed point sets ("pseudofree action") is the alternating group A_5 acting on the 2-sphere. Our first main theorem is the finiteness result that there are only finitely many finite simple groups which admit a smooth action o… ▽ More A finite nonabelian simple group does not admit a free action on a homology sphere, and the only finite simple group which acts on a homology sphere with at most 0-dimensional fixed point sets ("pseudofree action") is the alternating group A_5 acting on the 2-sphere. Our first main theorem is the finiteness result that there are only finitely many finite simple groups which admit a smooth action on a homology sphere with at most d-dimensional fixed points sets, for a fixed d. We then go on proving that the finite simple groups acting on a homology sphere with at most 1-dimensional fixed point sets are the alternating group A_5 in dimensions 2, 3 and 5, the linear fractional group PSL_2(7) in dimension 5, and possibly the unitary group PSU_3(3) in dimension 5 (we conjecture that it does not admit any action on a homology 5-sphere but cannot exclude it at present). Finally, we discuss the situation for arbitrary finite groups which admit an action on a homology 3-sphere. △ Less

Submitted 28 May, 2014; originally announced May 2014.

Comments: 12 pages; to appear in Bol. Soc. Mat. Mex

MSC Class: 57S17; 57S25; 57M60

On finite groups of isometries of handlebodies in arbitrary dimensions and finite extensions of Schottky groups

Authors: Mattia Mecchia, Bruno P. Zimmermann

Abstract: It is known that the order of a finite group of diffeomorphisms of a 3-dimensional handlebody of genus g > 1 is bounded by the linear polynomial 12(g-1), and that the order of a finite group of diffeomorphisms of a 4-dimensional handlebody (or equivalently, of its boundary 3-manifold), faithful on the fundamental group, is bounded by a quadratic polynomial in g (but not by a linear one). In the pr… ▽ More It is known that the order of a finite group of diffeomorphisms of a 3-dimensional handlebody of genus g > 1 is bounded by the linear polynomial 12(g-1), and that the order of a finite group of diffeomorphisms of a 4-dimensional handlebody (or equivalently, of its boundary 3-manifold), faithful on the fundamental group, is bounded by a quadratic polynomial in g (but not by a linear one). In the present paper we prove a generalization for handlebodies of arbitrary dimension d, uniformizing handlebodies by Schottky groups and considering finite groups of isometries of such handlebodies. We prove that the order of a finite group of isometries of a handlebody of dimension d acting faithfully on the fundamental group is bounded by a polynomial of degree d/2 in g if d is even, and of degree (d+1)/2 if d is odd, and that the degree d/2 for even d is best possible. This implies then analogous polynomial Jordan-type bounds for arbitrary finite groups of isometries of handlebodies (since a handlebody of dimension d > 3 admits S^1-actions, there does not exist an upper bound for the order of the group itself ). △ Less

Submitted 6 February, 2015; v1 submitted 8 May, 2014; originally announced May 2014.

Comments: 13 pages; this is the final version to appear in Fund. Math

MSC Class: 57S17; 57S25; 57M60; 20H10

On Jordan type bounds for finite groups of diffeomorphisms of 3-manifolds and Euclidean spaces

Authors: Bruno P. Zimmermann

Abstract: By a classical result of Jordan, each finite subgroup G of a complex linear group GL_n(C) has an abelian subgroup whose index in G is bounded by a constant depending only on n. We consider the problem if this remains true for finite subgroups G of the diffeomorphism group of a smooth manifold, and show that it is true for all compact 3-manifolds as well as for Euclidean spaces of dimension n < 7.… ▽ More By a classical result of Jordan, each finite subgroup G of a complex linear group GL_n(C) has an abelian subgroup whose index in G is bounded by a constant depending only on n. We consider the problem if this remains true for finite subgroups G of the diffeomorphism group of a smooth manifold, and show that it is true for all compact 3-manifolds as well as for Euclidean spaces of dimension n < 7. The question remains open at present e.g. for odd-dimensional spheres of dimension greater or equal to five, and for Euclidean spaces of dimension greater or equal to seven. △ Less

Submitted 7 February, 2014; originally announced February 2014.

Comments: seven pages

Embedding surfaces into $S^3$ with maximum symmetry

Authors: Chao Wang, Shicheng Wang, Yimu Zhang, Bruno Zimmermann

Abstract: We restrict our discussion to the orientable category. For $g > 1$, let $OE_g$ be the maximum order of a finite group $G$ acting on the closed surface $Σ_g$ of genus $g$ which extends over $(S^3, Σ_g)$, where the maximum is taken over all possible embeddings $Σ_g\hookrightarrow S^3$. We will determine $OE_g$ for each $g$, indeed the action realizing $OE_g$. In particular, with 23 exceptions,… ▽ More We restrict our discussion to the orientable category. For $g > 1$, let $OE_g$ be the maximum order of a finite group $G$ acting on the closed surface $Σ_g$ of genus $g$ which extends over $(S^3, Σ_g)$, where the maximum is taken over all possible embeddings $Σ_g\hookrightarrow S^3$. We will determine $OE_g$ for each $g$, indeed the action realizing $OE_g$. In particular, with 23 exceptions, $OE_g$ is $4(g+1)$ if $g\ne k^2$ or $4(\sqrt{g}+1)^2$ if $g=k^2$, and moreover $OE_g$ can be realized by unknotted embeddings for all $g$ except for $g=21$ and $481$. △ Less

Submitted 6 June, 2016; v1 submitted 5 September, 2012; originally announced September 2012.

Comments: 42 pages, 37 figures, 6 tables of figures

MSC Class: 57M60; 57M15; 57S25; 20F65; 05C10

Extending finite group actions on surfaces over $S^3$

Authors: Chao Wang, Shicheng Wang, Yimu Zhang, Bruno Zimmermann

Abstract: Let $OE_g$ (resp. $CE_g$ and $AE_g$) and resp. $OE^o_g$ be the maximum order of finite (resp. cyclic and abelian) groups $G$ acting on the closed orientable surfaces $Σ_g$ which extend over $(S^3, Σ_g)$ among all embeddings $Σ_g\to S^3$ and resp. unknotted embeddings $Σ_g\to S^3$. It is known that $OE^o_g\le 12(g-1)$, and we show that $12(g-1)$ is reached for an unknotted embedding… ▽ More Let $OE_g$ (resp. $CE_g$ and $AE_g$) and resp. $OE^o_g$ be the maximum order of finite (resp. cyclic and abelian) groups $G$ acting on the closed orientable surfaces $Σ_g$ which extend over $(S^3, Σ_g)$ among all embeddings $Σ_g\to S^3$ and resp. unknotted embeddings $Σ_g\to S^3$. It is known that $OE^o_g\le 12(g-1)$, and we show that $12(g-1)$ is reached for an unknotted embedding $Σ_g \to S^3$ if and only if $g = 2$, 3, 4, 5, 6, 9, 11, 17, 25, 97, 121, 241, 601. Moreover $AE_g$ is $2g+2$; and $CE_g$ is $2g+2$ for even $g$, and $2g-2$ for odd $g$. Efforts are made to see intuitively how these maximal symmetries are embedded into the symmetries of the 3-sphere. △ Less

Submitted 5 September, 2012; originally announced September 2012.

Comments: 21 pages, 15 figures

MSC Class: 57M60; 57S17; 57S25

On finite groups acting on a connected sum of 3-manifolds S^2 \times S^1

Authors: Bruno P. Zimmermann

Abstract: Let H_g denote the closed 3-manifold obtained as the connected sum of g copies of S^2 times S^1, with free fundamental group of rank g. We prove that, for a finite group G acting on H_g which induces a faithful action on the fundamental group, there is an upper bound for the order of G which is quadratic in g, but that there does not exist a linear bound in g. This implies then a Jordan-type bound… ▽ More Let H_g denote the closed 3-manifold obtained as the connected sum of g copies of S^2 times S^1, with free fundamental group of rank g. We prove that, for a finite group G acting on H_g which induces a faithful action on the fundamental group, there is an upper bound for the order of G which is quadratic in g, but that there does not exist a linear bound in g. This implies then a Jordan-type bound for arbitrary finite group actions on H_g which is quadratic in g. For the proofs we develop a calculus for finite group-actions on H_g, by codifying such actions by handle-orbifolds and finite graphs of finite groups. △ Less

Submitted 9 February, 2014; v1 submitted 24 February, 2012; originally announced February 2012.

Comments: this is the final version which will appear in Fund. Math. 2014

MSC Class: 57M60; 57S25; 20F65

On finite groups acting on spheres and finite subgroups of orthogonal groups

Authors: Bruno P. Zimmermann

Abstract: This is a survey on old and new results as well as an introduction to various related basic notions and concepts, based on two talks given at the International Workshop on Geometry and Analysis in Kemerovo (Sobolev Institute of Mathematics, Kemerovo State University) and at the University of Krasnojarsk in June 2011. We discuss finite groups acting on low-dimensional spheres, comparing with the fi… ▽ More This is a survey on old and new results as well as an introduction to various related basic notions and concepts, based on two talks given at the International Workshop on Geometry and Analysis in Kemerovo (Sobolev Institute of Mathematics, Kemerovo State University) and at the University of Krasnojarsk in June 2011. We discuss finite groups acting on low-dimensional spheres, comparing with the finite subgroups of the corresponding orthogonal groups, and also finite simple groups acting on spheres and homology spheres of arbitrary dimension. △ Less

Submitted 12 August, 2011; originally announced August 2011.

Comments: 14 pages

MSC Class: 57S17; 57S25; 20E32; 20F65

On finite simple groups acting on homology spheres

Authors: Alessandra Guazzi, Bruno Zimmermann

Abstract: It is a consequence of the classical Jordan bound for finite subgroups of linear groups that in each dimension n there are only finitely many finite simple groups which admit a faithful, linear action on the n-sphere. In the present paper we prove an analogue for smooth actions on arbitrary homology n-spheres: in each dimension n there are only finitely many finite simple groups which admit a fait… ▽ More It is a consequence of the classical Jordan bound for finite subgroups of linear groups that in each dimension n there are only finitely many finite simple groups which admit a faithful, linear action on the n-sphere. In the present paper we prove an analogue for smooth actions on arbitrary homology n-spheres: in each dimension n there are only finitely many finite simple groups which admit a faithful, smooth action on some homology sphere of dimension n, and in particular on the n-sphere. We discuss also the finite simple groups which admit an action on a homology sphere of dimension 3, 4 or 5. △ Less

Submitted 13 December, 2011; v1 submitted 6 June, 2011; originally announced June 2011.

Comments: 13 pages; this is an extended and improved version which will appear in Monatshefte fuer Mathematik

MSC Class: 57S17; 57S25; 20E32; 20F65

On finite groups acting on homology 4-spheres and finite subgroups of SO(5)

Authors: Mattia Mecchia, Bruno Zimmermann

Abstract: We show that a finite group which admits a faithful, smooth, orientation-preserving action on a homology 4-sphere, and in particular on the 4-sphere, is isomorphic to a subgroup of the orthogonal group SO(5), by explicitly determining the various groups which can occur (up to an indetermination of index two in the case of solvable groups). As a consequence we obtain also a characterization of the… ▽ More We show that a finite group which admits a faithful, smooth, orientation-preserving action on a homology 4-sphere, and in particular on the 4-sphere, is isomorphic to a subgroup of the orthogonal group SO(5), by explicitly determining the various groups which can occur (up to an indetermination of index two in the case of solvable groups). As a consequence we obtain also a characterization of the finite groups which are isomorphic to subgroups of the orthogonal groups SO(5) and O(5). △ Less

Submitted 13 April, 2010; v1 submitted 22 January, 2010; originally announced January 2010.

Comments: 13 pages

MSC Class: 57M60; 57S17; 20H20

On minimal finite quotients of outer automorphism groups of free groups

Authors: Mattia Mecchia, Bruno Zimmermann

Abstract: We prove that, for n=3 and 4, the minimal nonabelian finite factor group of the outer automorphism group Out F_n of a free group of rank n is the linear group PSL_n(Z_2) (conjecturally, this may remain true for arbitrary rank n > 2). We also discuss some computational results on low index subgroups of Aut F_n and Out F_n, for n = 3 and 4, using presentations of these groups. We prove that, for n=3 and 4, the minimal nonabelian finite factor group of the outer automorphism group Out F_n of a free group of rank n is the linear group PSL_n(Z_2) (conjecturally, this may remain true for arbitrary rank n > 2). We also discuss some computational results on low index subgroups of Aut F_n and Out F_n, for n = 3 and 4, using presentations of these groups. △ Less

Submitted 2 February, 2011; v1 submitted 18 December, 2009; originally announced December 2009.

Comments: 6 pages

MSC Class: 20E05; 20F28; 57M07

A note on actions of the symplectic group Sp(2g,Z) on homology spheres

Authors: Bruno P. Zimmermann

Abstract: The symplectic group Sp(2g,Z) is a subgroup of the linear group SL(2g,Z) and admits a faithful action on the sphere S^(2g-1), induced from its linear action on Euclidean space R^(2g). Generalizing corresponding results for linear groups, we show that, if m < 2g-1 and g > 2, any continuous action of Sp(2g,Z) on a homology m-sphere, and in particular on S^m, is trivial. The symplectic group Sp(2g,Z) is a subgroup of the linear group SL(2g,Z) and admits a faithful action on the sphere S^(2g-1), induced from its linear action on Euclidean space R^(2g). Generalizing corresponding results for linear groups, we show that, if m < 2g-1 and g > 2, any continuous action of Sp(2g,Z) on a homology m-sphere, and in particular on S^m, is trivial. △ Less

Submitted 17 March, 2009; originally announced March 2009.

Comments: 6 pages

MSC Class: 57S25; 57M60

On minimal actions of finite simple groups on homology spheres and Euclidean spaces

Authors: Bruno P. Zimmermann

Abstract: We consider the following problem: for which classes of finite groups, and in particular finite simple groups, does the minimal dimension of a faithful, smooth action on a homology sphere coincide with the minimal dimension of a faithful, linear action on a sphere? We prove that the two minimal dimensions coincide for the linear fractional groups PSL(2,p) as well as for various classes of alternat… ▽ More We consider the following problem: for which classes of finite groups, and in particular finite simple groups, does the minimal dimension of a faithful, smooth action on a homology sphere coincide with the minimal dimension of a faithful, linear action on a sphere? We prove that the two minimal dimensions coincide for the linear fractional groups PSL(2,p) as well as for various classes of alternating and symmetric groups. We prove analogous results also for actions on Euclidean spaces. △ Less

Submitted 3 September, 2010; v1 submitted 5 December, 2008; originally announced December 2008.

Comments: 9 pages; this is the final version which will appear in Rend. Circ. Mat. Palermo

MSC Class: 57S17; 55M35

On finite groups acting on acyclic low-dimensional manifolds

Authors: Alessandra Guazzi, Mattia Mecchia, Bruno Zimmermann

Abstract: We consider finite groups which admit a faithful, smooth action on an acyclic manifold of dimension three, four or five (e.g. euclidean space). Our first main result states that a finite group acting on an acyclic 3- or 4-manifold is isomorphic to a subgroup of the orthogonal group O(3) or O(4), respectively. The analogue remains open in dimension five (where it is not true for arbitrary continuou… ▽ More We consider finite groups which admit a faithful, smooth action on an acyclic manifold of dimension three, four or five (e.g. euclidean space). Our first main result states that a finite group acting on an acyclic 3- or 4-manifold is isomorphic to a subgroup of the orthogonal group O(3) or O(4), respectively. The analogue remains open in dimension five (where it is not true for arbitrary continuous actions, however). We prove that the only finite nonabelian simple groups admitting a smooth action on an acyclic 5-manifold are the alternating groups A_5 and A_6, and deduce from this a short list of finite groups, closely related to the finite subgroups of SO(5), which are the candidates for orientation-preserving actions on acyclic 5-manifolds. △ Less

Submitted 7 June, 2010; v1 submitted 7 August, 2008; originally announced August 2008.

Comments: 15 pages; improved version

MSC Class: 57M60; 57S25

On finite simple and nonsolvable groups acting on closed 4-manifolds

Authors: Mattia Mecchia, Bruno Zimmermann

Abstract: We show that the only finite nonabelian simple groups which admit a locally linear, homologically trivial action on a closed simply connected 4-manifold $M$ (or on a 4-manifold with trivial first homology) are the alternating groups $A_5$, $A_6$ and the linear fractional group PSL(2,7) (we note that for homologically nontrivial actions all finite groups occur). The situation depends strongly on… ▽ More We show that the only finite nonabelian simple groups which admit a locally linear, homologically trivial action on a closed simply connected 4-manifold $M$ (or on a 4-manifold with trivial first homology) are the alternating groups $A_5$, $A_6$ and the linear fractional group PSL(2,7) (we note that for homologically nontrivial actions all finite groups occur). The situation depends strongly on the second Betti number $b_2(M)$ of $M$ and has been known before if $b_2(M)$ is different from two, so the main new result of the paper concerns the case $b_2(M)=2$. We prove that the only simple group that occurs in this case is $A_5$, and then give a short list of finite nonsolvable groups which contains all candidates for actions of such groups. △ Less

Submitted 31 March, 2008; originally announced March 2008.

Comments: 17 pages

MSC Class: 57M60; 57S17; 57S25

A note on minimal finite quotients of mapping class groups

Authors: Bruno P. Zimmermann

Abstract: We prove that the minimal nontrivial finite quotient group of the mapping class group M_g of a closed orientable surface of genus g is the symplectic group PSp(2g,Z_2), for g = 3 and 4 (this might remain true, however, for arbitrary genus g > 2). We discuss also some results for arbitrary genus g. We prove that the minimal nontrivial finite quotient group of the mapping class group M_g of a closed orientable surface of genus g is the symplectic group PSp(2g,Z_2), for g = 3 and 4 (this might remain true, however, for arbitrary genus g > 2). We discuss also some results for arbitrary genus g. △ Less

Submitted 21 March, 2008; originally announced March 2008.

Comments: 8 pages

MSC Class: 57M99; 20F34

On the determination of knots by their cyclic unbranched coverings

Authors: Bruno P. Zimmermann

Abstract: We show that, for any prime p, a knot K in the 3-sphere is determined by its p-fold cyclic unbranched covering. We also investigate when the m-fold cyclic unbranched covering of a knot coincides with the n-fold cyclic unbranched covering of another knot, for different coprime integers m and n. We show that, for any prime p, a knot K in the 3-sphere is determined by its p-fold cyclic unbranched covering. We also investigate when the m-fold cyclic unbranched covering of a knot coincides with the n-fold cyclic unbranched covering of another knot, for different coprime integers m and n. △ Less

Submitted 27 May, 2008; v1 submitted 9 March, 2007; originally announced March 2007.

Comments: this is the final version which appears in Rend. Istit. Mat. Univ. Trieste 39, 337-346 (2007)

MSC Class: 57M25

A characterisation of S^3 among homology spheres

Authors: Michel Boileau, Luisa Paoluzzi, Bruno Zimmermann

Abstract: We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not S^3 is the cyclic branched cover of odd prime order of at most four knots in S^3. A result on the structure of finite groups of odd order acting on integral h… ▽ More We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not S^3 is the cyclic branched cover of odd prime order of at most four knots in S^3. A result on the structure of finite groups of odd order acting on integral homology spheres is also obtained. △ Less

Submitted 8 April, 2009; v1 submitted 9 June, 2006; originally announced June 2006.

Comments: This is the version published by Geometry & Topology Monographs on 29 April 2008

MSC Class: 57M40; 57M12; 57M50; 57M60; 57S17

Journal ref: Geom. Topol. Monogr. 14 (2008) 83-103

On minimal actions of linear fractional and finite simple groups on homology spheres

Authors: Bruno P. Zimmermann

Abstract: This paper has been withdrawn since it is superated by the latest version of arXiv:0812.1139 (this is the version which will appear in Rend. Circ. Mat. Palermo; it is a strengthening and elaboration of a paper published in Math. Proc. Camb. Phil. Soc. 144, 397-401 (2008)) This paper has been withdrawn since it is superated by the latest version of arXiv:0812.1139 (this is the version which will appear in Rend. Circ. Mat. Palermo; it is a strengthening and elaboration of a paper published in Math. Proc. Camb. Phil. Soc. 144, 397-401 (2008)) △ Less

Submitted 3 September, 2010; v1 submitted 17 May, 2006; originally announced May 2006.

Comments: Withdrawn since superated by arXiv:0812.1139 (to appear in Rend. Circ. Mat. Palermo)

MSC Class: 57S17; 57S25

Lifting finite groups of outer automorphisms of free groups, surface groups and their abelianizations

Authors: Bruno P. Zimmermann

Abstract: We discuss the possibility of lifting finite subgroups, and in particular finite cyclic subgroups, with respect to the canonical projections between automorphism and outer automorphism groups of free groups, surface groups and their abelianizations. We discuss the possibility of lifting finite subgroups, and in particular finite cyclic subgroups, with respect to the canonical projections between automorphism and outer automorphism groups of free groups, surface groups and their abelianizations. △ Less

Submitted 21 April, 2006; originally announced April 2006.

MSC Class: 57M99; 20F65

SL(n,Z) cannot act on small spheres

Authors: Bruno P. Zimmermann

Abstract: The group SL(n,Z) admits a smooth faithful action on the (n-1)-sphere S^(n-1), induced from its linear action on euclidean space R^n. We show that, if m < n-1 and n > 2, any smooth action of SL(n,Z) on a mod 2 homology m-sphere, and in particular on the m-sphere S^m, is trivial. The group SL(n,Z) admits a smooth faithful action on the (n-1)-sphere S^(n-1), induced from its linear action on euclidean space R^n. We show that, if m < n-1 and n > 2, any smooth action of SL(n,Z) on a mod 2 homology m-sphere, and in particular on the m-sphere S^m, is trivial. △ Less

Submitted 31 October, 2008; v1 submitted 11 April, 2006; originally announced April 2006.

Comments: 5 pages; this is a corrected version which will appear in Top. Appl. 2008

MSC Class: 57S25

On the Number of Distinct Multinomial Coefficients

Authors: George E. Andrews, Arnold Knopfmacher, Burkhard Zimmermann

Abstract: We study M(n), the number of distinct values taken by multinomial coefficients with upper entry n, and some closely related sequences. We show that both pP(n)/M(n) and M(n)/p(n) tend to zero as n goes to infinity, where pP(n) is the number of partitions of n into primes and p(n) is the total number of partitions of n. To use methods from commutative algebra, we encode partitions and multinomial… ▽ More We study M(n), the number of distinct values taken by multinomial coefficients with upper entry n, and some closely related sequences. We show that both pP(n)/M(n) and M(n)/p(n) tend to zero as n goes to infinity, where pP(n) is the number of partitions of n into primes and p(n) is the total number of partitions of n. To use methods from commutative algebra, we encode partitions and multinomial coefficients as monomials. △ Less

Submitted 21 September, 2005; originally announced September 2005.

Comments: 16 pages, to be published in the Journal of Number Theory

MSC Class: 05A10; 05A17 (Primary); 13P10 (Secondary)

Journal ref: Journal of Number Theory, Volume 118, Issue 1, May 2006, Pages 15-30

On finite simple and nonsolvable groups acting on homology 4-spheres

Authors: Mattia Mecchia, Bruno Zimmermann

Abstract: The only finite nonabelian simple group acting on a homology 3-sphere - necessarily non-freely - is the dodecahedral group $\Bbb A_5 \cong {\rm PSL}(2,5)$ (in analogy, the only finite perfect group acting freely on a homology 3-sphere is the binary dodecahedral group $\Bbb A_5^* \cong {\rm SL}(2,5)$). In the present paper we show that the only finite simple groups acting on a homology 4-sphere,… ▽ More The only finite nonabelian simple group acting on a homology 3-sphere - necessarily non-freely - is the dodecahedral group $\Bbb A_5 \cong {\rm PSL}(2,5)$ (in analogy, the only finite perfect group acting freely on a homology 3-sphere is the binary dodecahedral group $\Bbb A_5^* \cong {\rm SL}(2,5)$). In the present paper we show that the only finite simple groups acting on a homology 4-sphere, and in particular on the 4-sphere, are the alternating or linear fractional groups groups $\Bbb A_5 \cong {\rm PSL}(2,5)$ and $\Bbb A_6 \cong {\rm PSL}(2,9)$. From this we deduce a short list of groups which contains all finite nonsolvable groups admitting an action on a homology 4-spheres. △ Less

Submitted 8 July, 2005; originally announced July 2005.

Comments: 15 pages

MSC Class: 57M60; 57S17; 57S25

Journal ref: Topology Appl. 153 (2006), 2933-2942.