On the first homology of the groups of foliation preserving diffeomorphisms for foliations with singularities of Morse type (Q1011983): Difference between revisions

Let \(\mathcal{F}_{\varphi_r}\) be the foliation on \(\mathbb{R}^n\) defined by levels of the Morse function \(\varphi_r(x,y)=-(x_1)^2-\dots -(x_r)^2+(y_1)^2+\dots +(y_{n-r})^2\) of index \(r\) on \(\mathbb{R}^n\). Let \(D_c^\infty (\mathbb{R}^n, \mathcal{F}_{\varphi_r})\) be the group of all foliation preserving \(C^\infty\)-diffeomorphism of \((\mathbb{R}^n, \mathcal{F}_{\varphi_r})\) which are isotopic to the identity through foliation preserving \(C^\infty\)-diffeomorphism with compact support. The purpose of this paper is to determine the first homology of \(D_c^\infty (\mathbb{R}^n, \mathcal{F}_{\varphi_r})\) and apply this result to codimension one compact foliations with singularities of Morse type. Theorem 1. \[ H_1(D_c^\infty (\mathbb{R}^n, \mathcal{F}_{\varphi_r})) \cong \begin{cases} \mathbb{R}\times S^1&\text{if }n=2 \text{ and } r=0,n \\ \mathbb{R} &\text{otherwise.}\end{cases} \] Let \(M\) be an \(n\)-dimensional compact manifold without boundary and \(\mathcal{F}\) be a codimension one \(C^\infty\) foliation with singularities of Morse type. Let \(D^\infty (M^n, \mathcal{F})\) be the group of all foliation preserving \(C^\infty\)-diffeomorphism of \((M^n, \mathcal{F})\) which are isotopic to the identity through a foliation preserving \(C^\infty\)-diffeomorphism. Under some additional assumptions about \(\mathcal{F}\), the author calculates the first homology \(H_1(D^\infty (M^n, \mathcal{F}))\).