English

Boundedness of bundle diffeomorphism groups over a circle

Geometric Topology 2024-03-12 v3 Group Theory

Abstract

In this paper we study boundedness of bundle diffeomorphism groups over a circle. For a fiber bundle π:MS1\pi : M \to S^1 with fiber NN and structure group Γ\Gamma and rZ0{}r \in {\Bbb Z}_{\geq 0} \cup \{ \infty \} we distinguish an integer k=k(π,r)Z0k = k(\pi, r) \in {\Bbb Z}_{\geq 0} and construct a function ν^:Diffπ(M)0Rk\widehat{\nu} : {\rm Diff}_\pi(M)_0 \to {\Bbb R}_k. When k1k \geq 1, it is shown that the bundle diffeomorphism group Diffπ(M)0{\rm Diff}_\pi(M)_0 is uniformly perfect and clbπDiffπr(M)0k+3clb_\pi\,{\rm Diff}^r_\pi(M)_0 \leq k+3, if Diffρ,c(E)0{\rm Diff}_{\rho, c}(E)_0 is perfect for the trivial fiber bundle ρ:ER\rho : E \to {\Bbb R} with fiber NN and structure group Γ\Gamma. On the other hand, when k=0k = 0, it is shown that ν^\widehat{\nu} is a unbounded quasimorphism, so that Diffπ(M)0{\rm Diff}_\pi(M)_0 is unbounded and not uniformly perfect. We also describe the integer kk in term of the attaching map ϕ\phi for a mapping torus π:MϕS1\pi : M_\phi \to S^1 and give some explicit examples of (un)bounded groups.

Keywords

Cite

@article{arxiv.2209.07848,
  title  = {Boundedness of bundle diffeomorphism groups over a circle},
  author = {Kazuhiko Fukui and Tatsuhiko Yagasaki},
  journal= {arXiv preprint arXiv:2209.07848},
  year   = {2024}
}

Comments

32 pages, Minor improvement of some explanations

R2 v1 2026-06-28T01:26:02.380Z