General position of equivariant maps
HTML articles powered by AMS MathViewer
- by Edward Bierstone PDF
- Trans. Amer. Math. Soc. 234 (1977), 447-466 Request permission
Abstract:
A natural generic notion of general position for smooth maps which are equivariant with respect to the action of a compact Lie group is introduced. If G is a compact Lie group, and M, N are smooth G-manifolds, then the set of smooth equivariant maps $F:M \to N$ which are in general position with respect to a closed invariant submanifold P of N, is open and dense in the Whitney topology. The inverse image of P, by an equivariant map in general position, is Whitney stratified. The inverse images, by nearby equivariant maps in general position, are topologically ambient isotopic. In the local context, let V, W be linear G-spaces, and $F:V \to W$ a smooth equivariant map. Let ${F_1}, \ldots ,{F_k}$ be a finite set of homogeneous polynomial generators for the module of smooth equivariant maps, over the ring of smooth invariant functions on V. There are invariant functions ${h_1}, \ldots ,{h_k}$ such that $F = U \circ$ graph h, where graph h is the graph of $h(x) = ({h_1}(x), \ldots ,{h_k}(x))$, and $U(x,h) = \Sigma _{i = 1}^k{h_i}{F_i}(x)$. The isomorphism class of the real affine algebraic subvariety $(U = 0)$ of $V \times {{\mathbf {R}}^k}$ is uniquely determined (up to product with an affine space) by V, W. F is said to be in general position with respect to $0 \in W$ at $0 \in V$ if graph $h:V \to V \times {{\mathbf {R}}^k}$ is transverse to the minimum Whitney stratification of $(U = 0)$, at $x \in V$.References
- Ralph Abraham and Joel Robbin, Transversal mappings and flows, W. A. Benjamin, Inc., New York-Amsterdam, 1967. An appendix by Al Kelley. MR 0240836
- M. Artin, Algebraic approximation of structures over complete local rings, Inst. Hautes Études Sci. Publ. Math. 36 (1969), 23–58. MR 268188
- M. Artin, On the solutions of analytic equations, Invent. Math. 5 (1968), 277–291. MR 232018, DOI 10.1007/BF01389777
- Edward Bierstone, The equivariant covering homotopy property for differentiable $G$-fibre bundles, J. Differential Geometry 8 (1973), 615–622. MR 341509
- Edward Bierstone, Local properties of smooth maps equivariant with respect to finite group actions, J. Differential Geometry 10 (1975), no. 4, 523–540. MR 418141 G. E. Bredon, Biaxial actions of the classical groups, Rutgers Univ. (preprint).
- Glen E. Bredon, Introduction to compact transformation groups, Pure and Applied Mathematics, Vol. 46, Academic Press, New York-London, 1972. MR 0413144 M. W. Davis, Smooth actions of the classical groups, Dissertation, Princeton Univ., 1974.
- M. J. Field, Transversality in $G$-manifolds, Trans. Amer. Math. Soc. 231 (1977), no. 2, 429–450. MR 451276, DOI 10.1090/S0002-9947-1977-0451276-8 M. Golubitsky and V. W. Guillemin, Stable mappings and their singularities, Springer-Verlag, New York, 1974. S. Lojasiewicz, Ensembles semi-analytiques, Inst. Hautes Études Sci., Bures-sur-Yvette, France, 1964.
- John N. Mather, Differentiable invariants, Topology 16 (1977), no. 2, 145–155. MR 436204, DOI 10.1016/0040-9383(77)90012-X —, Notes on topological stability, Harvard Univ., 1970 (preprint).
- John N. Mather, Stability of $C^{\infty }$ mappings. II. Infinitesimal stability implies stability, Ann. of Math. (2) 89 (1969), 254–291. MR 259953, DOI 10.2307/1970668
- John N. Mather, Stability of $C^{\infty }$ mappings. III. Finitely determined mapgerms, Inst. Hautes Études Sci. Publ. Math. 35 (1968), 279–308. MR 275459
- John N. Mather, Stratifications and mappings, Dynamical systems (Proc. Sympos., Univ. Bahia, Salvador, 1971) Academic Press, New York, 1973, pp. 195–232. MR 0368064
- Ted Petrie, Equivariant quasi-equivalence, transversality and normal cobordism, Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974) Canad. Math. Congress, Montreal, Que., 1975, pp. 537–541. MR 0431234
- Ted Petrie, $G$-transversality, Bull. Amer. Math. Soc. 81 (1975), 721–722. MR 370631, DOI 10.1090/S0002-9904-1975-13836-5
- Gerald W. Schwarz, Smooth functions invariant under the action of a compact Lie group, Topology 14 (1975), 63–68. MR 370643, DOI 10.1016/0040-9383(75)90036-1
- R. Thom, Ensembles et morphismes stratifiés, Bull. Amer. Math. Soc. 75 (1969), 240–284 (French). MR 239613, DOI 10.1090/S0002-9904-1969-12138-5
- R. Thom, Local topological properties of differentiable mappings, Differential Analysis, Bombay Colloq., 1964, Oxford Univ. Press, London, 1964, pp. 191–202. MR 0195102 —, Propriétés différentielles locales des ensembles analytiques (d’apres H. Whitney), Séminaire Bourbaki: 1964/65, Exposé 281, Benjamin, New York and Amsterdam, 1966. MR 33 #54201.
- René Thom, Quelques propriétés globales des variétés différentiables, Comment. Math. Helv. 28 (1954), 17–86 (French). MR 61823, DOI 10.1007/BF02566923
- Jean-Claude Tougeron, Idéaux de fonctions différentiables, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 71, Springer-Verlag, Berlin-New York, 1972. MR 0440598
- Arthur G. Wasserman, Equivariant differential topology, Topology 8 (1969), 127–150. MR 250324, DOI 10.1016/0040-9383(69)90005-6
- Hassler Whitney, Local properties of analytic varieties, Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse), Princeton Univ. Press, Princeton, N.J., 1965, pp. 205–244. MR 0188486
Additional Information
- © Copyright 1977 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 234 (1977), 447-466
- MSC: Primary 58C25; Secondary 57E15
- DOI: https://doi.org/10.1090/S0002-9947-1977-0464287-3
- MathSciNet review: 0464287