Recognition of linear actions on spheres
HTML articles powered by AMS MathViewer
- by Sören Illman PDF
- Trans. Amer. Math. Soc. 274 (1982), 445-478 Request permission
Abstract:
Let $G$ be a finite group acting smoothly on a homotopy sphere $\Sigma ^m$. We wish to establish necessary and sufficient conditions for the given $G$-action on $\Sigma$ to be topologically equivalent to a linear action. That is, we want to be able to decide whether or not there exists a $G$-homeomorphism $\gamma :\Sigma \to S^m(\rho )$, where ${S^m}(\rho ) \subset {\mathbf {R}^{m + 1}}(\rho )$ denotes the unit sphere in an orthogonal representation space $\mathbf {R}^{m + 1}(\rho )$ for $G$. In order for a $G$-action on $\Sigma$ to be topologically equivalent to a linear action it is clearly necessary that: (i) For each subgroup $H$ of $G$ the fixed-point set $\Sigma ^H$ is homeomorphic to a sphere, or empty. (ii) For any subgroups $H$ and $H \subsetneq {H_i}, 1 \leq i \leq k$, of $G$ the pair $(\Sigma ^{H}, \cup _{i=1}^{k}\Sigma ^{H_{i}})$ is homeomorphic to a standard pair $(S^{n}, \cup _{i=1}^{k}S_{i}^{n_{i}})$, where each $S_i^{{n_i}}, 1 \le i \le k$, is a standard $n_i$-subsphere of $S^n$. In this paper we consider the case where the fixed-point set $\Sigma ^G$ 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)$^{\ast }$ For any subgroups $H$ and $H \subsetneq {H_i}, 1 \leq i \leq p$, of $G$ such that ${\operatorname {dim}} {\Sigma ^{{H_i}}} = {\operatorname {dim}} {\Sigma ^H} - 2$, the pair $\Sigma ^{H}, \cup _{i=1}^{p}\Sigma ^{H_{i}})$ is homeomorphic to a standard pair $({S^n}, \cup _{i = 1}^pS_i^{n - 2})$, where each $S_i^{n - 2}, 1 \le i \le p$, is a standard $(n-2)$-subsphere of $S^n$. Our main results are then that, in the case when $G$ is abelian, conditions (i) and (ii)$^{\ast }$ are necessary and sufficient for a given $G$-action on $\Sigma$ 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.References
- Glen E. Bredon, Introduction to compact transformation groups, Pure and Applied Mathematics, Vol. 46, Academic Press, New York-London, 1972. MR 0413144
- 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
- Morton Brown, The monotone union of open $n$-cells is an open $n$-cell, Proc. Amer. Math. Soc. 12 (1961), 812–814. MR 126835, DOI 10.1090/S0002-9939-1961-0126835-6
- J. C. Cantrell, Almost locally flat embeddings of $S^{n-1}$ in $S^{n}$, Bull. Amer. Math. Soc. 69 (1963), 716–718. MR 154288, DOI 10.1090/S0002-9904-1963-10998-2
- E. H. Connell, D. Montgomery, and C. T. Yang, Compact groups in $E^{n}$, Ann. of Math. (2) 80 (1964), 94–103. MR 162885, DOI 10.2307/1970493
- E. H. Connell, D. Montgomery, and C. T. Yang, Correction to “Compact groups in $E^{n}$”, Ann. of Math. (2) 81 (1965), 194. MR 168698, DOI 10.2307/1970390
- Charles H. Giffen, The generalized Smith conjecture, Amer. J. Math. 88 (1966), 187–198. MR 198462, DOI 10.2307/2373054
- J. F. P. Hudson, Piecewise linear topology, W. A. Benjamin, Inc., New York-Amsterdam, 1969. University of Chicago Lecture Notes prepared with the assistance of J. L. Shaneson and J. Lees. MR 0248844
- Sören Illman, Smooth equivariant triangulations of $G$-manifolds for $G$ a finite group, Math. Ann. 233 (1978), no. 3, 199–220. MR 500993, DOI 10.1007/BF01405351
- Sören Illman, Approximation of $G$-maps by maps in equivariant general positions and imbeddings of $G$-complexes, Trans. Amer. Math. Soc. 262 (1980), no. 1, 113–157. MR 583849, DOI 10.1090/S0002-9947-1980-0583849-6 —, Equivariant engulfing and recognition of linear actions on spheres, Proc. Internat. Conf. on Topology and its Appl., Moscow, 1979 (to appear).
- 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
- T. Benny Rushing, Topological embeddings, Pure and Applied Mathematics, Vol. 52, Academic Press, New York-London, 1973. MR 0348752
- L. C. Siebenmann, On detecting open collars, Trans. Amer. Math. Soc. 142 (1969), 201–227. MR 246301, DOI 10.1090/S0002-9947-1969-0246301-9
- Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210112
- John Stallings, The piecewise-linear structure of Euclidean space, Proc. Cambridge Philos. Soc. 58 (1962), 481–488. MR 149457
- John Stallings, On topologically unknotted spheres, Ann. of Math. (2) 77 (1963), 490–503. MR 149458, DOI 10.2307/1970127
- Arthur G. Wasserman, Equivariant differential topology, Topology 8 (1969), 127–150. MR 250324, DOI 10.1016/0040-9383(69)90005-6 J. H. C. Whitehead, Simplicial spaces, nuclei and $m$-groups, Proc. London Math. Soc. (2) 45 (1939), 243-327.
Additional Information
- © Copyright 1982 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 274 (1982), 445-478
- MSC: Primary 57S17; Secondary 57Q30, 57S25
- DOI: https://doi.org/10.1090/S0002-9947-1982-0675064-4
- MathSciNet review: 675064