• Previous Article
    Multi-symplectic method to simulate Soliton resonance of (2+1)-dimensional Boussinesq equation
  • JGM Home
  • This Issue
  • Next Article
    A setting for higher order differential equation fields and higher order Lagrange and Finsler spaces
September  2013, 5(3): 281-294. doi: 10.3934/jgm.2013.5.281

Smooth perfectness for the group of diffeomorphisms

1. 

Department of Mathematics, University of Vienna, Nordbergstraße 15, A-1090, Vienna, Austria

2. 

Faculty of applied mathematics, AGH University of Science and Technology, Al. Mickiewicza 30, 30-059 Krakow, Poland

3. 

Department of Mathematics, ETH Zürich, Rämistrasse 10, 8092 Zürich, Switzerland

Received  March 2013 Published  September 2013

Given a result of Herman, we provide a new elementary proof of the fact that the connected component of the identity in the group of compactly supported diffeomorphisms is perfect and hence simple. Moreover, we show that every diffeomorphism $g$, which is sufficiently close to the identity, can be represented as a product of four commutators, $g=[h_1,k_1]\circ\cdots\circ[h_4,k_4]$, where the factors $h_i$ can be chosen to depend smoothly on $g$, and $k_i=\exp(X_i)$ are flows at time one of complete vector fields $X_i$ which are independent of $g$.
Citation: Stefan Haller, Tomasz Rybicki, Josef Teichmann. Smooth perfectness for the group of diffeomorphisms. Journal of Geometric Mechanics, 2013, 5 (3) : 281-294. doi: 10.3934/jgm.2013.5.281
References:
[1]

A. Banyaga, Sur la structure du groupe des difféomorphismes qui préservent une forme symplectique,, Commentarii Mathematici Helvetici, 53 (1978), 174.  doi: 10.1007/BF02566074.  Google Scholar

[2]

A. Banyaga, "The Structure of Classical Diffeomorphism Groups,", Kluwer Academic Publishers Group, (1997).   Google Scholar

[3]

D. Burago, S. Ivanov and L. Polterovich, Conjugation-invariant norms on groups of geometric origin,, Groups of diffeomorphisms, 52 (2008), 221.   Google Scholar

[4]

R. D. Edwards and R. C. Kirby, Deformations of spaces of imbeddings,, Annals of Mathematics, 93 (1971), 63.  doi: 10.2307/1970753.  Google Scholar

[5]

D. B. A. Epstein, The simplicity of certain groups of homeomorphisms,, Compositio Math., 22 (1970), 165.   Google Scholar

[6]

D. B. A. Epstein, Commutators of $C^\infty$-diffeomorphisms. Appendix to: "A curious remark concerning the geometric transfer map'' by John N. Mather,, Commentarii Mathematici Helvetici, 59 (1984), 111.  doi: 10.1007/BF02566339.  Google Scholar

[7]

S. Haller and J. Teichmann, Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones,, Annals of Global Analysis and Geometry, 23 (2003), 53.  doi: 10.1023/A:1021280213742.  Google Scholar

[8]

M. R. Herman, Simplicité du groupe des difféomorphismes de classe $C^\infty$, isotopes à l'identité, du tore de dimension n,, C. R. Acad. Sci. Paris Sr. A, 273 (1971), 232.   Google Scholar

[9]

M. R. Herman, Sur le groupe des difféomorphismes du tore,, Annales de L'Institut Fourier (Grenoble), 23 (1973), 75.  doi: 10.5802/aif.457.  Google Scholar

[10]

M. W. Hirsch, "Differential Topology,", Graduate Texts in Mathematics 33, 33 (1976).   Google Scholar

[11]

A. Kriegl and P. W. Michor, "The Convenient Setting of Global Analysis,", Mathematical Surveys and Monographs 53, 53 (1997).   Google Scholar

[12]

J. N. Mather, The vanishing of the homology of certain groups of homeomorphisms,, Topology, 10 (1071), 297.   Google Scholar

[13]

J. N. Mather, Commutators of diffeomorphisms,, Comment. Math. Helv., 49 (1974), 512.   Google Scholar

[14]

J. N. Mather, Commutators of diffeomorphisms. II,, Comment. Math. Helv., 50 (1975), 33.   Google Scholar

[15]

J. N. Mather, A curious remark concerning the geometric transfer map,, Commentarii Mathematici Helvetici, 59 (1984), 86.  doi: 10.1007/BF02566338.  Google Scholar

[16]

J. Milnor, "Morse Theory,", Annals of Mathematics Studies 51, 51 (1963).   Google Scholar

[17]

S. P. Novikov, Multivalued functions and functionals. An analogue of the Morse theory,, Dokl. Akad. Nauk SSSR, 260 (1981), 31.   Google Scholar

[18]

A. V. Pajitnov, "Circle-valued Morse Theory,", de Gruyter Studies in Mathematics 32, 32 (2006).  doi: 10.1515/9783110197976.  Google Scholar

[19]

T. Rybicki, The identity component of the leaf preserving diffeomorphism group is perfect,, Monatshefte fr Mathematik, 120 (1995), 289.  doi: 10.1007/BF01294862.  Google Scholar

[20]

T. Rybicki, Commutators of contactomorphisms,, Advances in Mathematics, 225 (2010), 3291.  doi: 10.1016/j.aim.2010.06.004.  Google Scholar

[21]

T. Rybicki, Locally continuously perfect groups of homeomorphisms,, Annals of Global Analysis and Geometry, 40 (2011), 191.  doi: 10.1007/s10455-011-9253-5.  Google Scholar

[22]

W. Thurston, Foliations and groups of diffeomorphisms,, Bulletin of the American Mathematical Society, 80 (1974), 304.  doi: 10.1090/S0002-9904-1974-13475-0.  Google Scholar

[23]

T. Tsuboi, On $2$-cycles of B Diff$(S^1)$ which are represented by foliated $S^1$-bundles over $T^2$,, Ann. Inst. Fourier, 31 (1981), 1.   Google Scholar

[24]

T. Tsuboi, On the uniform perfectness of diffeomorphism groups,, Groups of diffeomorphisms, 52 (2008), 505.   Google Scholar

[25]

T. Tsuboi, On the uniform simplicity of diffeomorphism groups,, Differential geometry, (2009), 43.  doi: 10.1142/9789814261173_0004.  Google Scholar

[26]

T. Tsuboi, On the uniform perfectness of the groups of diffeomorphisms of even-dimensional manifolds,, Commentarii Mathematici Helvetici, 87 (2012), 141.  doi: 10.4171/CMH/251.  Google Scholar

[27]

J.-C. Yoccoz, Petits diviseurs en dimension $1$,, Astérisque, 231 (1995).   Google Scholar

show all references

References:
[1]

A. Banyaga, Sur la structure du groupe des difféomorphismes qui préservent une forme symplectique,, Commentarii Mathematici Helvetici, 53 (1978), 174.  doi: 10.1007/BF02566074.  Google Scholar

[2]

A. Banyaga, "The Structure of Classical Diffeomorphism Groups,", Kluwer Academic Publishers Group, (1997).   Google Scholar

[3]

D. Burago, S. Ivanov and L. Polterovich, Conjugation-invariant norms on groups of geometric origin,, Groups of diffeomorphisms, 52 (2008), 221.   Google Scholar

[4]

R. D. Edwards and R. C. Kirby, Deformations of spaces of imbeddings,, Annals of Mathematics, 93 (1971), 63.  doi: 10.2307/1970753.  Google Scholar

[5]

D. B. A. Epstein, The simplicity of certain groups of homeomorphisms,, Compositio Math., 22 (1970), 165.   Google Scholar

[6]

D. B. A. Epstein, Commutators of $C^\infty$-diffeomorphisms. Appendix to: "A curious remark concerning the geometric transfer map'' by John N. Mather,, Commentarii Mathematici Helvetici, 59 (1984), 111.  doi: 10.1007/BF02566339.  Google Scholar

[7]

S. Haller and J. Teichmann, Smooth perfectness through decomposition of diffeomorphisms into fiber preserving ones,, Annals of Global Analysis and Geometry, 23 (2003), 53.  doi: 10.1023/A:1021280213742.  Google Scholar

[8]

M. R. Herman, Simplicité du groupe des difféomorphismes de classe $C^\infty$, isotopes à l'identité, du tore de dimension n,, C. R. Acad. Sci. Paris Sr. A, 273 (1971), 232.   Google Scholar

[9]

M. R. Herman, Sur le groupe des difféomorphismes du tore,, Annales de L'Institut Fourier (Grenoble), 23 (1973), 75.  doi: 10.5802/aif.457.  Google Scholar

[10]

M. W. Hirsch, "Differential Topology,", Graduate Texts in Mathematics 33, 33 (1976).   Google Scholar

[11]

A. Kriegl and P. W. Michor, "The Convenient Setting of Global Analysis,", Mathematical Surveys and Monographs 53, 53 (1997).   Google Scholar

[12]

J. N. Mather, The vanishing of the homology of certain groups of homeomorphisms,, Topology, 10 (1071), 297.   Google Scholar

[13]

J. N. Mather, Commutators of diffeomorphisms,, Comment. Math. Helv., 49 (1974), 512.   Google Scholar

[14]

J. N. Mather, Commutators of diffeomorphisms. II,, Comment. Math. Helv., 50 (1975), 33.   Google Scholar

[15]

J. N. Mather, A curious remark concerning the geometric transfer map,, Commentarii Mathematici Helvetici, 59 (1984), 86.  doi: 10.1007/BF02566338.  Google Scholar

[16]

J. Milnor, "Morse Theory,", Annals of Mathematics Studies 51, 51 (1963).   Google Scholar

[17]

S. P. Novikov, Multivalued functions and functionals. An analogue of the Morse theory,, Dokl. Akad. Nauk SSSR, 260 (1981), 31.   Google Scholar

[18]

A. V. Pajitnov, "Circle-valued Morse Theory,", de Gruyter Studies in Mathematics 32, 32 (2006).  doi: 10.1515/9783110197976.  Google Scholar

[19]

T. Rybicki, The identity component of the leaf preserving diffeomorphism group is perfect,, Monatshefte fr Mathematik, 120 (1995), 289.  doi: 10.1007/BF01294862.  Google Scholar

[20]

T. Rybicki, Commutators of contactomorphisms,, Advances in Mathematics, 225 (2010), 3291.  doi: 10.1016/j.aim.2010.06.004.  Google Scholar

[21]

T. Rybicki, Locally continuously perfect groups of homeomorphisms,, Annals of Global Analysis and Geometry, 40 (2011), 191.  doi: 10.1007/s10455-011-9253-5.  Google Scholar

[22]

W. Thurston, Foliations and groups of diffeomorphisms,, Bulletin of the American Mathematical Society, 80 (1974), 304.  doi: 10.1090/S0002-9904-1974-13475-0.  Google Scholar

[23]

T. Tsuboi, On $2$-cycles of B Diff$(S^1)$ which are represented by foliated $S^1$-bundles over $T^2$,, Ann. Inst. Fourier, 31 (1981), 1.   Google Scholar

[24]

T. Tsuboi, On the uniform perfectness of diffeomorphism groups,, Groups of diffeomorphisms, 52 (2008), 505.   Google Scholar

[25]

T. Tsuboi, On the uniform simplicity of diffeomorphism groups,, Differential geometry, (2009), 43.  doi: 10.1142/9789814261173_0004.  Google Scholar

[26]

T. Tsuboi, On the uniform perfectness of the groups of diffeomorphisms of even-dimensional manifolds,, Commentarii Mathematici Helvetici, 87 (2012), 141.  doi: 10.4171/CMH/251.  Google Scholar

[27]

J.-C. Yoccoz, Petits diviseurs en dimension $1$,, Astérisque, 231 (1995).   Google Scholar

[1]

Laurent Di Menza, Virginie Joanne-Fabre. An age group model for the study of a population of trees. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020464

[2]

Qiao Liu. Local rigidity of certain solvable group actions on tori. Discrete & Continuous Dynamical Systems - A, 2021, 41 (2) : 553-567. doi: 10.3934/dcds.2020269

[3]

Kien Trung Nguyen, Vo Nguyen Minh Hieu, Van Huy Pham. Inverse group 1-median problem on trees. Journal of Industrial & Management Optimization, 2021, 17 (1) : 221-232. doi: 10.3934/jimo.2019108

[4]

Jianquan Li, Xin Xie, Dian Zhang, Jia Li, Xiaolin Lin. Qualitative analysis of a simple tumor-immune system with time delay of tumor action. Discrete & Continuous Dynamical Systems - B, 2020  doi: 10.3934/dcdsb.2020341

[5]

Thabet Abdeljawad, Mohammad Esmael Samei. Applying quantum calculus for the existence of solution of $ q $-integro-differential equations with three criteria. Discrete & Continuous Dynamical Systems - S, 2020  doi: 10.3934/dcdss.2020440

2019 Impact Factor: 0.649

Metrics

  • PDF downloads (63)
  • HTML views (0)
  • Cited by (1)

Other articles
by authors

[Back to Top]