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.
We give two infinite families of examples of closed, orientable, irreducible 3-manifolds $M$ such that $b_1(M)=1$ and $π_1(M)$ has weight 1, but $M$ is not the result of Dehn surgery along a knot in the 3-sphere. This answers a question of Aschenbrenner, Friedl and Wilton, and provides the first examples of irreducible manifolds with $b_1=1$ that are known not to be surgery on a knot in the 3-sphere. One family consists of Seifert fibered 3-manifolds, while each member of the other family is not even homology cobordant to any Seifert fibered 3-manifold. None of our examples are homology cobord…
R. S. Kulkarni showed that a finite group acting pseudofreely, but not freely, preserving orientation, on an even-dimensional sphere (or suitable sphere-like space) is either a periodic group acting semifreely with two fixed points, a dihedral group acting with three singular orbits, or one of the polyhedral groups, occurring only in dimension 2. It is shown here that the dihedral group does not act pseudofreely and locally linearly on an actual n-sphere when n is congruent to 0 mod 4. The possibility of such an action when n is congruent to 2 mod 4 and n>2 remains open. Orientation-reversing …
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.
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 …
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 …
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.
We consider quotients of spheres by linear actions of real tori. To each quotient we associate a matroid built out of a diagonalization of the torus action. We find the integral homology groups of the resulting quotient spaces in terms of the Tutte polynomial of the matroid. We also find the homotopy type and homology of the singular space of such an action. Lastly, we consider the circumstances under which the orbit space is a manifold or, more specifically, a (homology) sphere.
We show that a free period three action on the three-sphere is standard, i.e. the quotient is homeomorphic to a lens space. We use a minimax argument involving sweepouts.
For every N > 0 there exists a group of deficiency less than -N that arises as the fundamental group of a smooth homology 4-sphere and also as the fundamental group of the complement of a compact contractible submanifold of the 4-sphere. A group is the fundamental group of the complement of a contractible submanifold of the n-sphere, n > 4, if and only if it is the fundamental group of a homology n-sphere. There exist fundamental groups of homology n-spheres, n > 4, that cannot arise as the fundamental group of the complement of a contractible submanifold of the 4-sphere.
According to the work of Laitinen, Morimoto, Oliver and Pawałowski, a finite group $G$ has a smooth effective one fixed point action on some sphere if and only if $G$ is an Oliver group. For some finite Oliver groups $G$ of order up to $216$, and for $G=A_5\times C_n$ for $n=3,5,7$, we present a strategy of excluding of smooth effective one fixed point $G$-actions on low-dimensional spheres.
For n at least 3, let SAut(F_n) denote the unique subgroup of index two in the automorphism group of a free group. The standard linear action of SL(n,Z) on R^n induces non-trivial actions of SAut(F_n) on R^n and on S^{n-1}. We prove that SAut(F_n) admits no non-trivial actions by homeomorphisms on acyclic manifolds or spheres of smaller dimension. Indeed, SAut(F_n) cannot act non-trivially on any generalized Z_2-homology sphere of dimension less than n-1, nor on any Z_2-acyclic Z_2-homology manifold of dimension less than n. It follows that SL(n,Z) cannot act non-trivially on such spaces eithe…
There are four groups $G$ fitting into a short exact sequence $ 1\rightarrow SL(2,5)\rightarrow G\rightarrow C_2\rightarrow 1, $ where $SL(2,5)$ is the special linear group of $(2\times 2)$-matrices with entries in the field of five elements. Except for the direct product of $SL(2,5)$ and $C_2$, there are two other semidirect products of these two groups and just one non-semidirect product $SL(2,5).C_2$, considered in this paper. It is known that each finite nonsolvable group can act on spheres with arbitrary positive number of fixed points. Clearly, $SL(2,5).C_2$ is a nonsolvable group. Moreo…
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))
Let $X_0$ denote a compact, simply-connected smooth $4$-manifold with boundary the Poincaré homology $3$-sphere $Σ(2,3,5)$ and with even negative definite intersection form $Q_{X_0}=E_8$. We show that free $\mathbb{Z}/p$ actions on $Σ(2,3,5)$ do not extend to smooth actions on $X_0$ with isolated fixed points for any prime $p>7$. The approach is to study the equivariant version of the Yang-Mills instanton-one moduli space for $4$-manifolds with cylindrical ends. As an application we show that for $p>7$ a smooth $\mathbb{Z}/p$ action on $\#^8 S^2 \times S^2$ with isolated fixed points does not …
Let $S_n$ be a punctured Riemann spheres $\mathbf{S}^2\backslash \{x_1,..., x_n\}$. In this paper, we investigate pseudo-Anosov maps on $S_n$ that are isotopic to the identity on $S_n\cup \{x_n\}$ and have the smallest possible dilatations. We show that those maps cannot be obtained from Thurston's construction (that is the products of two Dehn twists). We also prove that those pseudo-Anosov maps $f$ on $S_n$ with the minimum dilatations can never define a trivial mapping class as any puncture $x_i$ of $S_n$ is filled in. The main tool is to give both lower and upper bounds estimations for dil…
Any continuous action of SL(n,Z), where n > 2, on a r-dimensional mod 2 homology sphere factors through a finite group action if r < n - 1. In particular, any continuous action of SL(n+2,Z) on the n-dimensional sphere factors through a finite group action.
Classical work of Lee, Schultz, and Stolz relates the smooth transformation groups of exotic spheres to the stable homotopy groups of spheres. In this note, we apply recent progress on the latter to produce smooth circle and cyclic group actions on certain exotic spheres.
In the paper of Montgomery, D. and Yang, C.T. [5], they discuss the de-suspension of smooth free actions of S1 on (2n+1)-dimensional homotopy spheres. In this paper we discuss the de-suspension of smooth free actions of S3 on (4n + 3)-dimensional homotopy spheres.
We consider an embedding of a $2$-dimensional CW complex into the $3$-sphere, and construct it's dual graph. Then we obtain a homogeneous system of linear equations from the $2$-dimensional CW complex in the first homology group of the complement of the dual graph. By checking that the homogeneous system of linear equations does not have an integral solution, we show that some $2$-dimensional CW complexes cannot be embedded into the 3-sphere.
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 …
We use methods from the cohomology of groups to describe the finite groups which can act freely and homologically trivially on closed 3-manifolds which are rational homology spheres.
We construct homotopically non-trivial maps from the unit m-sphere to the unit (m-1)-sphere with arbitrarily small k-dilation for each k greater than (m + 1)/2. We prove that homotopically non-trivial maps from the unit m-sphere to the unit (m-1)-sphere cannot have arbitrarily small k-dilation for k less than or equal to (m + 1)/2.
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.
We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if and only if it does not contain a rank 3 elementary abelian subgroup. We show that if G is a finite subgroup of U(n), acting freely on U(n)/U(k) for some k>0 and if (|G|,(n-1)!)=1, then the action propagates to a free and smooth action on a product of n-k spheres. A number of explicit examples are discussed.
We show that a finite dihedral group does not act pseudofreely and locally linearly on a 2k-dimensional sphere, if k > 1. This answers a question of R. S. Kulkarni from 1982.
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.
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).
We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sphere of dimension less than 2n-1 or a Z/3-acyclic Z/3-homology manifold of dimension less than 2n, and if n \geq 3, then any action of Sp(2n,Z) by homeomorphisms on X is trivial; if n = 2, then every action of Sp(2n,Z) on X factors through the abelianization of Sp(4,Z), which is …
In this note we derive an upper bound on the number of 2-spheres in the fixed point set of a smooth and homologically trivial cyclic group action of prime order on a simply-connected 4-manifold. This improves the a priori bound which is given by one half of the Euler characteristic of the 4-manifold. The result also shows that in some cases the 4-manifold does not admit such actions of a certain order at all or that any such action has to be pseudofree.
Let SL(n,Z) be the special linear group over integers and $M =S^r_1 \times S^r_2,T^r_1 \times S^r_2$ , or $T^r_0 \times S^r_1 \times S^r_2$, products of spheres and tori. We prove that any group action of SL(n,Z) on $M^r$ by diffeomorphims or piecewise linear homeomorphisms is trivial if $r<n-1$. This confirms a conjecture on Zimmer's program for these manifolds.
To embed the bouquet of $g$ circles $B_g$ into the $n$-sphere $S^n$ so that its full symmetry group action extends to an orthogonal actions on $S^n$, the minimal $n$ is $2g-1$. This answers a question raised by B. Zimmermann.
The main theorem is that if K is a finite CW complex with finite fundamental group G and universal cover homotopy equivalent to a product of spheres X, then G acts smoothly and freely on X x S^n for any n greater than or equal to the dimension of X. If the G-action on the universal cover of K is homologically trivial then so is the action on X x S^n. Unlu and Yalcin recently showed that for every finite group G, there is a finite CW complex K with fundamental group G which acts homologicially trivially on the universal cover of K. Thus every finite group acts smoothly, freely, and homologicall…
We show that standard cyclic actions on Brieskorn homology 3-spheres with non-empty fixed set do not extend smoothly to any contractible smooth 4-manifold it may bound. The quotient of any such extension would be an acyclic $4$-manifold with boundary a related Brieskorn homology sphere. We briefly discuss well known invariants of homology spheres that obstruct acyclic bounding 4-manifolds, and then use a method based on equivariant Yang-Mills moduli spaces to rule out extensions of the actions.