Homotopy types of diffeomorphism groups of polar Morse-Bott foliations on lens spaces. I (Q6074860)

The authors consider the solid torus \(T= S^1\times D^2\) equipped with the Morse-Bott foliation \(\mathcal{F}\) on \(T\) into \(2\)-tori parallel to the boundary and one singular circle \(S^1\times 0\), which is the central circle of the torus \(T\). Let \(\mathcal{D}(\mathcal{F},\partial T)\) be the group of diffeomorphisms of \(T\) fixed on \(\partial T\) and leaving each leaf of the foliation \(\mathcal{F}\) invariant. The authors prove the following result: Theorem 1. \(\mathcal{D}(\mathcal{F},\partial T)\) is contractible. Gluing two copies of \(T\), the authors compute the homotopy type of the subgroup \(\mathcal{D}(\mathcal{F}_{p,q})\subset \mathcal{D}(L_{p,q})\) of the diffeomorphism group of the lens space \(L_{p,q}\) leaving invariant each leaf of the Morse-Bott foliation \(\mathcal{F}_{p,q}\) obtained from \(\mathcal{F}\) on each copy of \(T\). Namely, the following statement holds: Theorem 2. The identity path component of \(\mathcal{D}(\mathcal{F}_{p,q})\) is weakly homotopy equivalent to the \(2\)-torus \(T^2\), and \[ \pi_0 \mathcal{D}(\mathcal{F}_{p,q}) = \begin{cases} \mathcal{G}, & \text{for } L_{0,1} = S^1\times S^2, \\ \mathbb{Z}_2 \oplus \mathbb{Z}_2, & \text{for } L_{1,0} = S^3,\ L_{2,1} = \mathbb{R}{P}^3, \\ \mathbb{Z}_2 & \text{for } p>2, \end{cases} \] where \(\mathcal{G}\) denotes the following subgroup of \(\mathrm{GL}(2,\mathbb{Z})\): \[ \mathcal{G}:=\left\{ \begin{pmatrix} \varepsilon &0 \\ m &\delta\end{pmatrix} \mid m\in\mathbb{Z}, \, \varepsilon,\delta\in\{\pm1\} \right\}. \] Moreover, if \(p>2\) and \(q^2\not=\pm1 (\bmod\ p)\), then the inclusion \(\mathcal{D}(\mathcal{F}_{p,q})\subset\mathcal{D}(L_{p,q})\) is a weak homotopy equivalence.