Recognition of linear actions on spheres

Author:
Sören Illman

Journal:
Trans. Amer. Math. Soc. **274** (1982), 445-478

MSC:
Primary 57S17; Secondary 57Q30, 57S25

MathSciNet review:
675064

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a finite group acting smoothly on a homotopy sphere . We wish to establish necessary and sufficient conditions for the given -action on to be topologically equivalent to a linear action. That is, we want to be able to decide whether or not there exists a -homeomorphism , where denotes the unit sphere in an orthogonal representation space for . In order for a -action on to be topologically equivalent to a linear action it is clearly necessary that:

(i) For each subgroup of the fixed-point set is homeomorphic to a sphere, or empty.

(ii) For any subgroups and , of the pair is homeomorphic to a standard pair , where each , is a standard -subsphere of .

In this paper we consider the case where the fixed-point set is nonempty and all other fixed-point sets have dimension at least 5. In giving efficient sufficient conditions we do not need the full strength of condition (ii). We only need:

(ii) For any subgroups and , of such that , the pair is homeomorphic to a standard pair , where each , is a standard -subsphere of .

Our main results are then that, in the case when is abelian, conditions (i) and (ii) are necessary and sufficient for a given -action on to be topologically equivalent to a linear action, and in the case of an action of an arbitrary finite group the same holds under the additional assumption that any simultaneous codimension 1 and 2 fixed-point situation is simple. Our results generalize, for actions of finite groups, a well-known theorem of Connell, Montgomery and Yang, and are the first to also cover the case where codimension 2 fixed-point situations occur.

**[1]**Glen E. Bredon,*Introduction to compact transformation groups*, Academic Press, New York-London, 1972. Pure and Applied Mathematics, Vol. 46. MR**0413144****[2]**W. Browder and W. C. Hsiang,*Some problems on homotopy theory manifolds and transformation groups*, Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976) Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 251–267. MR**520546****[3]**Morton Brown,*The monotone union of open 𝑛-cells is an open 𝑛-cell*, Proc. Amer. Math. Soc.**12**(1961), 812–814. MR**0126835**, 10.1090/S0002-9939-1961-0126835-6**[4]**J. C. Cantrell,*Almost locally flat embeddings of 𝑆ⁿ⁻¹ in 𝑆ⁿ*, Bull. Amer. Math. Soc.**69**(1963), 716–718. MR**0154288**, 10.1090/S0002-9904-1963-10998-2**[5]**E. H. Connell, D. Montgomery, and C. T. Yang,*Compact groups in 𝐸ⁿ*, Ann. of Math. (2)**80**(1964), 94–103. MR**0162885****[6]**E. H. Connell, D. Montgomery, and C. T. Yang,*Correction to “Compact groups in 𝐸ⁿ”*, Ann. of Math. (2)**81**(1965), 194. MR**0168698****[7]**Charles H. Giffen,*The generalized Smith conjecture*, Amer. J. Math.**88**(1966), 187–198. MR**0198462****[8]**J. F. P. Hudson,*Piecewise linear topology*, University of Chicago Lecture Notes prepared with the assistance of J. L. Shaneson and J. Lees, W. A. Benjamin, Inc., New York-Amsterdam, 1969. MR**0248844****[9]**Sören Illman,*Smooth equivariant triangulations of 𝐺-manifolds for 𝐺 a finite group*, Math. Ann.**233**(1978), no. 3, 199–220. MR**0500993****[10]**Sören Illman,*Approximation of 𝐺-maps by maps in equivariant general positions and imbeddings of 𝐺-complexes*, Trans. Amer. Math. Soc.**262**(1980), no. 1, 113–157. MR**583849**, 10.1090/S0002-9947-1980-0583849-6**[11]**-,*Equivariant engulfing and recognition of linear actions on spheres*, Proc. Internat. Conf. on Topology and its Appl., Moscow, 1979 (to appear).**[12]**Mel Rothenberg,*Torsion invariants and finite transformation groups*, Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976) Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 267–311. MR**520507****[13]**T. Benny Rushing,*Topological embeddings*, Academic Press, New York-London, 1973. Pure and Applied Mathematics, Vol. 52. MR**0348752****[14]**L. C. Siebenmann,*On detecting open collars*, Trans. Amer. Math. Soc.**142**(1969), 201–227. MR**0246301**, 10.1090/S0002-9947-1969-0246301-9**[15]**Edwin H. Spanier,*Algebraic topology*, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR**0210112****[16]**John Stallings,*The piecewise-linear structure of Euclidean space*, Proc. Cambridge Philos. Soc.**58**(1962), 481–488. MR**0149457****[17]**John Stallings,*On topologically unknotted spheres*, Ann. of Math. (2)**77**(1963), 490–503. MR**0149458****[18]**Arthur G. Wasserman,*Equivariant differential topology*, Topology**8**(1969), 127–150. MR**0250324****[19]**J. H. C. Whitehead,*Simplicial spaces, nuclei and**-groups*, Proc. London Math. Soc. (2)**45**(1939), 243-327.

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
57S17,
57Q30,
57S25

Retrieve articles in all journals with MSC: 57S17, 57Q30, 57S25

Additional Information

DOI:
http://dx.doi.org/10.1090/S0002-9947-1982-0675064-4

Keywords:
Smooth actions on spheres,
linear actions on spheres,
equivariant engulfing

Article copyright:
© Copyright 1982
American Mathematical Society