Skip to main content
misprint corrected
Source Link
Peter Michor
  • 25.3k
  • 2
  • 64
  • 112

In fact, for every manifold $M$ with $\dim(M)\ge 2$, the group $Diff_c(M)$ of diffeomorphisms with compact support contains a smooth curve $c:\mathbb R\to Diff_c(M)$ (smooth in the sense that the associated mapping $\hat c: \mathbb R\times M\to M$ is smooth) with $c(0)=Id$ such that the $\{c(t): t\ne 0\}$ are a free set of generators for a free subgroup of the diffeomorphism group such that no diffeomorphism in this free subgroup with the exception of the identity embeds into a flow. This is proved in

  • Grabowski, J., Free subgroups of diffeomorphism groups, Fundam. Math. 131 (1988), 103–121.

The proof uses clever constructions with Nancy Kopell's diffeomorphisms on $S^1$ (those described in Andy Putman answer) which do not embed into a flow. This free subgroup is contractible to the identity: slide the generators $c(t)$ to $c(0)$.

So the image of exponential mapping of $Diff_c(M)$ does not meet very many diffeomorphisms near the identity.

In fact, for every manifold $M$ with $\dim(M)\ge 2$, the group $Diff_c(M)$ of diffeomorphisms with compact support contains a smooth curve $c:\mathbb R\to Diff_c(M)$ (smooth in the sense that the associated mapping $\hat c: \mathbb R\times M\to M$ is smooth) with $c(0)=Id$ such that the $\{c(t): t\ne 0\}$ are a free set of generators for a free subgroup of the diffeomorphism group such that no diffeomorphism in this free subgroup with the exception of the identity embeds into a flow. This is proved in

  • Grabowski, J., Free subgroups of diffeomorphism groups, Fundam. Math. 131 (1988), 103–121.

The proof uses clever constructions with Nancy Kopell's diffeomorphisms on $S^1$ (those described in Andy Putman answer) which do embed into a flow. This free subgroup is contractible to the identity: slide the generators $c(t)$ to $c(0)$.

So the image of exponential mapping of $Diff_c(M)$ does not meet very many diffeomorphisms near the identity.

In fact, for every manifold $M$ with $\dim(M)\ge 2$, the group $Diff_c(M)$ of diffeomorphisms with compact support contains a smooth curve $c:\mathbb R\to Diff_c(M)$ (smooth in the sense that the associated mapping $\hat c: \mathbb R\times M\to M$ is smooth) with $c(0)=Id$ such that the $\{c(t): t\ne 0\}$ are a free set of generators for a free subgroup of the diffeomorphism group such that no diffeomorphism in this free subgroup with the exception of the identity embeds into a flow. This is proved in

  • Grabowski, J., Free subgroups of diffeomorphism groups, Fundam. Math. 131 (1988), 103–121.

The proof uses clever constructions with Nancy Kopell's diffeomorphisms on $S^1$ (those described in Andy Putman answer) which do not embed into a flow. This free subgroup is contractible to the identity: slide the generators $c(t)$ to $c(0)$.

So the image of exponential mapping of $Diff_c(M)$ does not meet very many diffeomorphisms near the identity.

added 37 characters in body
Source Link
Peter Michor
  • 25.3k
  • 2
  • 64
  • 112

In fact, for every manifold $M$ with $\dim(M)\ge 2$, the group $Diff_c(M)$ of diffeomorphisms with compact support contains a smooth curve $c:\mathbb R\to Diff_c(M)$ (smooth in the sense that the associated mapping $\hat c: \mathbb R\times M\to M$ is smooth) with $c(0)=Id$ such that the $\{c(t): t\ne 0\}$ are a free set of generators for a free subgroup of the diffeomorphism group such that no diffeomorphism in this free subsetsubgroup with the exception of the identity embeds into a flow. This is proved in

  • Grabowski, J., Free subgroups of diffeomorphism groups, Fundam. Math. 131 (1988), 103–121.

The proof uses clever constructions with Nancy Kopell's diffeomorphisms on $S^1$ (those described in Andy Putman answer) which do embed into a flow. This free subgroup is contractible to the identity: slide the generators $c(t)$ to $c(0)$.

So the image of exponential mapping of $Diff_c(M)$ does not meet very many diffeomorphisms near the identity.

In fact, for every manifold $M$ with $\dim(M)\ge 2$, the group $Diff_c(M)$ of diffeomorphisms with compact support contains a smooth curve $c:\mathbb R\to Diff_c(M)$ (smooth in the sense that the associated mapping $\hat c: \mathbb R\times M\to M$ is smooth) with $c(0)=Id$ such that the $\{c(t): t\ne 0\}$ are a free set of generators for a free subgroup of the diffeomorphism group such that no diffeomorphism in this free subset embeds into a flow. This is proved in

  • Grabowski, J., Free subgroups of diffeomorphism groups, Fundam. Math. 131 (1988), 103–121.

The proof uses clever constructions with Nancy Kopell's diffeomorphisms on $S^1$ (those described in Andy Putman answer) which do embed into a flow. This free subgroup is contractible to the identity: slide the generators $c(t)$ to $c(0)$.

So the image of exponential mapping of $Diff_c(M)$ does not meet very many diffeomorphisms near the identity.

In fact, for every manifold $M$ with $\dim(M)\ge 2$, the group $Diff_c(M)$ of diffeomorphisms with compact support contains a smooth curve $c:\mathbb R\to Diff_c(M)$ (smooth in the sense that the associated mapping $\hat c: \mathbb R\times M\to M$ is smooth) with $c(0)=Id$ such that the $\{c(t): t\ne 0\}$ are a free set of generators for a free subgroup of the diffeomorphism group such that no diffeomorphism in this free subgroup with the exception of the identity embeds into a flow. This is proved in

  • Grabowski, J., Free subgroups of diffeomorphism groups, Fundam. Math. 131 (1988), 103–121.

The proof uses clever constructions with Nancy Kopell's diffeomorphisms on $S^1$ (those described in Andy Putman answer) which do embed into a flow. This free subgroup is contractible to the identity: slide the generators $c(t)$ to $c(0)$.

So the image of exponential mapping of $Diff_c(M)$ does not meet very many diffeomorphisms near the identity.

Source Link
Peter Michor
  • 25.3k
  • 2
  • 64
  • 112

In fact, for every manifold $M$ with $\dim(M)\ge 2$, the group $Diff_c(M)$ of diffeomorphisms with compact support contains a smooth curve $c:\mathbb R\to Diff_c(M)$ (smooth in the sense that the associated mapping $\hat c: \mathbb R\times M\to M$ is smooth) with $c(0)=Id$ such that the $\{c(t): t\ne 0\}$ are a free set of generators for a free subgroup of the diffeomorphism group such that no diffeomorphism in this free subset embeds into a flow. This is proved in

  • Grabowski, J., Free subgroups of diffeomorphism groups, Fundam. Math. 131 (1988), 103–121.

The proof uses clever constructions with Nancy Kopell's diffeomorphisms on $S^1$ (those described in Andy Putman answer) which do embed into a flow. This free subgroup is contractible to the identity: slide the generators $c(t)$ to $c(0)$.

So the image of exponential mapping of $Diff_c(M)$ does not meet very many diffeomorphisms near the identity.