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

DOI10.1007/S40062-023-00328-ZMaRDI QIDQ6074860zbMATH OpenOpenAlexFDO

Authors Oleksandra Khokhliuk, Sergiy Maksymenko

Publication date 19 October 2023

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2210.11043

diffeomorphism foliation homotopy type lens space solid torus

Foliations in differential topology; geometric theory (57R30) Topological properties of groups of homeomorphisms or diffeomorphisms (57S05) Homotopy groups of topological groups and homogeneous spaces (57T20)

Abstract: Let

T = S^{1} i m e s D^{2}

be the solid torus,

m a t h c a l F

the extit{singluar} foliation on

T

into

2

-tori parallel to the boundary and one singular circle

S^{1} i m e s 0

, which is the central circle of the torus

T

, and

m a t h c a l D (m a t h c a l F, p a r t i a l T)

the group of diffeomorphisms of

T

fixed on

p a r t i a l T

and leaving each leaf of the foliation

m a t h c a l F

invariant. We prove that

m a t h c a l D (m a t h c a l F, p a r t i a l T)

is contractible. Gluing two copies of

T

by some diffeomorphism between their boundaries, we will get a lens space

L_{p, q}

with a foliation

m a t h c a l F_{p, q}

obtained from

m a t h c a l F

on each copy of

T

. We also compute the homotopy type of the group

m a t h c a l D (m a t h c a l F_{p, q})

of diffeomorphisms of

L_{p, q}

leaving invariant each leaf of

m a t h c a l F_{p, q}

.

Review text

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.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Homotopy types of diffeomorphism groups of polar Morse-Bott foliations on lens spaces. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6074860)