Actions of S L ( n , Z )   on homology spheres

Kamlesh Parwani

January 25, 2004.

Abstract
Any continuous action of S L ( 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 S L ( n + 2 , Z )   on the n   -dimensional sphere factors through a finite group action.

1 Introduction

In this paper, we study the actions of S L ( n , Z )   on spheres and, more generally, actions on homology spheres. The group S L ( n , Z )   acts on the ( n 1 )   -dimensional sphere via the linear action on vectors in R n   . This action is minimal in the following sense.
Theorem 1.1. Any continuous action of S L ( n , Z )   , where n > 2   , on a r   -dimensional mod 2   homology sphere factors through a finite group action if r < n 1   .
Since all spheres are mod 2 homology spheres, any continuous action of S L ( n + 2 , Z )   on a n   -dimensional sphere factors through a finite group action.
This result supports the following conjecture of Farb and Shalen (see
[FS).
Conjecture. Any smooth action of a finite-index subgroup of S L ( n , Z )   , where n > 2   , on a r   -dimensional compact manifold factors through a finite group action if r < n 1   .
This conjecture is an analogue of a special case of one of the central conjectures in the Zimmer program (see [Zi). Theorem 1.1 may also be viewed as a (partial) generalization of Witte's theorem in [Wi.
Theorem 1.2 (Witte). If Γ   is a subgroup of finite index in S L ( n , Z )   with n 3   , then every continuous action of Γ   on the circle factors through a finite group action.
We cannot obtain our result for finite-index subgroups because we rely heavily on the existence of finite order elements in S L ( n , Z )   , and there are subgroups of finite index in S L ( n , Z )   that have no elements of finite order (see Corollary 6.13 in [Rg).
The paper is organized in the following manner. In section 2, we prove the existence of certain desirable finite-order elements in
S L ( n , Z )   and reduce the problem to a problem of a finite group action. In section 3, we use some classical results from the theory of compact transformation groups to prove that certain groups cannot act effectively (faithfully) on homology spheres and show that these results imply Theorem 1.1.
In section 4 we observe that the action of
S L ( n , Z )   is trivial on low-dimensional spheres. This result is analogous to the following theorem by Weinberger (see [We).
Theorem 1.3 (Weinberger). The discrete group S L ( n , Z )   , with n 3   , can act smoothly on the torus T m   , m < n   , only trivially.
Definitions and Notation For us a n   -dimensional mod 2   homology sphere is a locally compact, finite-dimensional Hausdorff space X   such that H * ( X ; Z 2 ) = H * ( S n ; Z 2 )   , where H *   means cohomology with compact support and S n   is the n   -dimensional sphere. Furthermore, the n   -dimensional mod 2 homology sphere is also a n   -dimensional generalized manifold—a finite-dimensional metric ANR with H n ( X , X x ; Z ) = Z   and H i ( X , X x ; Z ) = 0   for all i n   , for all points x X   (see [Bd2for equivalent conditions).
In section 2, we will prove the existence of certain finite groups in
S L ( n , Z )   ; for this we need manageable notation to deal with matrices. Consider the standard basis of vectors in R n   and let ( 1 ) = ( 1 , 0 , 0 , . . , 0 )   , ( 2 ) = ( 0 , 1 , 0 , . . . , 0 )   ,..., ( n ) = ( 0 , 0 , 0 , . . . , 1 )   , ( 1 ) = ( 1 , 0 , 0 , . . , 0 )   , ( 2 ) = ( 0 , 1 , 0 , . . . , 0 )   ,..., and ( n ) = ( 0 , 0 , 0 , . . . , 1 )   . The permutation ( i , j )   , with 1 i , j n   , is the matrix that takes the vector ( i )   to the vector ( j )   and the vector ( j )   to ( i )   .
For example, we have the following matrices in
S L ( 4 , Z )   . ( 1 , 1 ) ( 2 , 2 ) = ( 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 ) , ( 1 , 2 ) ( 3 , 4 ) = ( 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 )   This notation is unconventional, but it will simplify matrix multiplication by reducing it to the standard procedure of multiplying permutations. Also, let I   and I   be the identity matrix and the negative identity matrix respectively.

2 Almost simple groups and S L ( n , Z )  

Definition 2.1. An element g   in a group G   is central if g   commutes with every element in G   . A subgroup H   of the group G   is central if every element of H   is central. Also let Z   denote the center, the subgroup of all central elements.
It will be clear from the context what is meant by Z   . For example, G 1 / Z   and G 2 / Z   are factor groups obtained when the groups G 1   and G 2   are quotiented by their respective centers.
Definition 2.2. A group G   is almost simple if every normal subgroup is either finite and central, or has finite index in G   .
The Margulis normal subgroups theorem (see [Mg) asserts that an irreducible lattice in a semi-simple Lie group with R   -rank 2   is almost simple. In particular, S L ( n , Z )   is almost simple for n 3   .
The following lemma follows easily from Margulis' Theorem and the definition of an almost simple group.
Lemma 2.3. Let φ : S L ( n , Z ) H   be a homomorphism where n 3   . If φ ( g ) = 1   for some non-central element g   , then the kernel of φ   is a finite-index subgroup, and therefore, φ   factors through a homomorphism of a finite group.
So to prove Theorem 1.1, it suffices to show that a finite-order, non-central element acts trivially. In the next section we prove that there always exists an involution which acts trivially. Now we show that subgroups containing non-central involutions always exist.
Theorem 2.4. If n   is odd, there exists a subgroup of S L ( n , Z ) / Z   isomorphic to ( Z 2 ) n 1   . If n   is even, there exists a subgroup of S L ( n , Z ) / Z   isomorphic to ( Z 2 ) n 2   .
Lemma 2.5. There exists a subgroup of S L ( 4 , Z ) / Z   isomorphic to ( Z 2 ) 3   .
Note that for any action of S L ( n , Z )   or S L ( n , Z ) / Z   on an orientable, generalized manifold M   , the induced action of the subgroups in Theorem 2.4 and Lemma 2.5 on M   is orientation-preserving. This is because S L ( n , Z )   is a perfect group, that is, it is equal to its commutator subgroup. Any homomorphism from a perfect group to an abelian group must be trivial.
In particular, any homomorphism from
S L ( n , Z )   to Z 2   must be trivial, and so, any action of S L ( n , Z )   on an orientable, generalized manifold must be orientation-preserving. Then the same result holds for subgroups of S L ( n , Z )   and S L ( n , Z ) / Z   .
We now introduce new notation which will greatly simplify the proof and the statement of the next lemma. In
S L ( n , Z )   , let I i j = ( i , i ) ( i + 1 , i 1 ) . . . ( j , j )   , where 1 i < j n   and j i   is odd. So when n   is even, I = I 1 n   and the center Z = I 1 n   .
Lemma 2.6. Consider the action of S L ( n , Z ) / I 1 n   , for even n 4   , on an orientable generalized manifold M   and suppose that I n 1 n   acts on M   with a non-empty fixed point set. Then there is an induced action of a subgroup isomorphic to S L ( n 2 , Z ) / I 1 n 2   on the fixed point set of I n 1 n   .

3 Actions on homology spheres

We begin this section by recalling some very famous theorems from the theory of compact transformation groups. Most of the results stated below are true for all primes but we only consider the case when the prime is two.
Good references for these theorems are
[Bd1, [Bo, [S1, and [S2.
Theorem 3.1 (Smith). The group Z 2 × Z 2   cannot act semifreely and effectively on any mod 2   homology sphere, that is, no two elements in the group Z 2 × Z 2   have the same fixed-point set (which may be empty) when the action is effective.
As a corollary, we get the result that the group Z 2 × Z 2   cannot act freely on any mod 2   homology sphere.
Theorem 3.2 (Smith). When Z 2   acts effectively on a n   -dimensional mod 2   homology sphere X   , the fixed set (pointwise) is a m   -dimensional mod 2   homology sphere with m < n   .
Furthermore since X   is a generalized manifold, one can distinguish between actions that preserve orientation and actions that reverse orientation. If orientation is preserved, n m   is even (see [Bd2).
The following theorem is due to Smith and is well known. In
[S2Smith proves that any action of ( Z 2 ) n + 2   on a n   -dimensional mod 2   homology sphere cannot be effective. Theorem 3.3 follows from his proof and other arguments in [S1. We provide a simple proof below.
Theorem 3.3. Any orientation-preserving action of ( Z 2 ) n + 1   on a n   -dimensional mod 2   homology sphere cannot be effective.
Note that Theorem 3.3 is sharp, that is, there are effective actions of ( Z 2 ) n   on n   -dimensional spheres that preserve orientation. Theorem 2.4 shows that there exists a subgroup of S L ( n + 1 , Z )   isomorphic to ( Z 2 ) n   and S L ( n + 1 , Z )   acts effectively on the n   -dimensional sphere via the linear action on vectors in R n + 1   . This effective action of S L ( n + 1 , Z )   is orientation-preserving and so the action of its subgroup isomorphic to ( Z 2 ) n   is also effective and preserves orientation.
We are now ready to prove the main theorem.

4 Actions on low-dimensional spheres

In this section we prove that any continuous action of S L ( n , Z )   , with n > 2   , on the circle and any continuous action of S L ( n , Z )   , with n > 3   , on S 2   must be trivial. Since S L ( n , Z )   is perfect, actions on S 0   are trivial.
It follows from the proof of Theorem 1.1 that the actions of
S L ( n , Z )   , with n > 2   , on the circle and the actions of S L ( n , Z )   , with n > 3   , on S 2   must factor through actions of finite groups, and it is well known that finite group actions on S 1   and S 2   are conjugate to linear actions of finite subgroups in O ( 2 )   and O ( 3 )   respectively (see [Ed). Therefore, it suffices to prove the following theorem.
Theorem 4.1. Every homomorphism from S L ( 3 + m , Z )   to O ( 2 )   and every homomorphism from S L ( 4 + m , Z )   to O ( 3 )   , with m 0   , is trivial.
In general, continuous actions on higher-dimensional spheres are not conjugate to linear actions. In [BgBing constructed a continuous Z 2   action on S 3   with Alexander's horned sphere as a fixed-point set. This is impossible for a linear Z 2   action and so Bing's action is not conjugate to any linear action.
It is conjectured that every smooth action of a compact Lie group on
S 3   is conjugate to a linear action. However, non-linear smooth actions exist on S n   for every n > 3   (see [Gd).
It is known that every homomorphism from
S L ( n , Z )   to G L ( r + 1 , R )   , with r < n 1   , is trivial. This fact is not well known and the author could not find a reference. A nice proof of this result was shown to the author by Dave Morris, formerly Dave Witte. In particular, this implies that every linear action of S L ( n , Z )   on S r   , with r < n 1   , must be trivial. We conjecture that every continuous action of S L ( n , Z )   on a r   -dimensional mod 2 homology sphere, with r < n 1   , must be trivial.
Acknowledgments The author would like to thank Benson Farb, John Franks, Dave Morris, and Ronald Dotzel for several useful discussions. The author would also like to thank the referee for carefully reading earlier versions of this paper and for providing many helpful suggestions and comments.
References

  1. H. Bass, J. Milnor, and J. P. Serre, Solution of the congruence subgroup problem for S L n ( n 3 )   and S p 2 n ( n 2 )   , Inst. Hautes Études Sci. Publ. Math. No. 33 (1967), 59–137.
  2. R. Bing, A homeomorphism between the 3-sphere and the sum of two solid horned spheres, Ann. of Math. (2) 56 (1952). 354–362.
  3. A. Borel, Seminar on transformation groups, Princeton University Press, Princeton, N.J. (1960) .
  4. G. Bredon, Introduction to compact transformation groups, Pure and Applied Mathematics, Vol. 46. Academic Press, New York-London (1972).
  5. G. Bredon, Orientation in generalized manifolds and applications to the theory of transformation groups, Michigan Math. J. 7 (1960), 35–64.
  6. A. Edmonds, Transformation groups and low-dimensional manifolds, Group actions on manifolds (Boulder, Colo., 1983), Contemp. Math., 36, Amer. Math. Soc., Providence, RI, (1985), 339–366.
  7. B. Farb and H. Masur, Superrigidity and mapping class groups, Topology 37 (1998), no. 6, 1169–1176.
  8. B. Farb and P. Shalen, Real-analytic actions of lattices, Invent. Math. 135 (1999), no. 2, 273–296.
  9. C. Gordon, On the higher-dimensional Smith conjecture, Proc. London Math. Soc. (3) 29 (1974), 98–110.
  10. G. Margulis, Discrete subgroups of semisimple Lie groups, Ergeb. Math. Grenzgeb. (3) 17, Springer-Verlag, Berlin (1991).
  11. M. Ragunathan, Discrete subgroups of Lie groups, Springer-Verlag, New York (1972).
  12. P. Smith, Permutable periodic transformations, Proc. Nat. Acad. Sci. U.S.A. 30 (1944), 105–108.
  13. P. Smith, New results and old problems in finite transformation groups, Bull. Amer. Math. Soc. 66 (1960), 401–415.
  14. S. Weinberger, S L ( n , Z )   cannot act on small tori, Geometric Topology (Athens, GA, 1993), 406–408, Amer. Math. Soc., Providence, RI (1997).
  15. D. Witte, Arithmetic groups of higher Q   -rank cannot act on 1   -manifolds, Proc. Amer. Math. Soc. 122 (1994), no. 2, 333–340.
  16. R. Zimmer, Actions of semisimple groups and discrete subgroups, Proc. I.C.M., Berkeley (1986), 1247–1258.