Boundedness of bundle diffeomorphism groups over a circle

In this paper we study boundedness of bundle diffeomorphism groups over a circle. For a fiber bundle $\pi : M \to S^{1}$ with fiber $N$ and structure group $\varGamma$ and $r \in \mathbb{Z}_{\geq 0} \cup \{ \infty \}$ we distinguish an integer $k = k(\pi, r) \in \mathbb{Z}_{\geq 0}$ and construct a function $\nu^{\wedge} : \mathrm{Diff}^{r}_{\pi}(M)_{0} \to \mathbb{R}_{k}$. When $k \geq 1$, it is shown that the bundle diffeomorphism group $\mathrm{Diff}^{r}_{\pi}(M)_{0}$ is bounded and $clb_{\pi}d\, \mathrm{Diff}^{r}_{\pi}(M)_{0} \leq k + 3$, if $\mathrm{Diff}^{r}_{\varrho,c}(E)_{0}$ is perfect for the trivial fiber bundle $\varrho : E \to \mathbb{R}$ with fiber $N$ and structure group $\varGamma$. On the other hand, when $k = 0$, it is shown that $\nu^{\wedge}$ is a unbounded quasimorphism, so that $\mathrm{Diff}^{r}_{\pi}(M)_{0}$ is unbounded and not uniformly perfect. We also describe the integer $k$ in term of the attaching map $\varphi$ for a mapping torus $\pi : M_{\varphi} \to S^{1}$ and give some explicit examples of (un)bounded groups.

Authors

Institutions

Publication Details

Journal
Journal of the Mathematical Society of Japan
Published
2024-12-13
DOI
https://doi.org/10.2969/jmsj/90209020
Primary Topic
Geometric and Algebraic Topology
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Boundedness of bundle diffeomorphism groups over a circle

Tatsuhiko Yagasaki, Kazuhiko Fukui
Journal of the Mathematical Society of Japan
Geometric and Algebraic Topology
article

Boundedness of bundle diffeomorphism groups over a circle

Tatsuhiko Yagasaki, Kazuhiko Fukui
article en

Abstract

In this paper we study boundedness of bundle diffeomorphism groups over a circle. For a fiber bundle $\pi : M \to S^{1}$ with fiber $N$ and structure group $\varGamma$ and $r \in \mathbb{Z}_{\geq 0} \cup \{ \infty \}$ we distinguish an integer $k = k(\pi, r) \in \mathbb{Z}_{\geq 0}$ and construct a function $\nu^{\wedge} : \mathrm{Diff}^{r}_{\pi}(M)_{0} \to \mathbb{R}_{k}$. When $k \geq 1$, it is shown that the bundle diffeomorphism group $\mathrm{Diff}^{r}_{\pi}(M)_{0}$ is bounded and $clb_{\pi}d\, \mathrm{Diff}^{r}_{\pi}(M)_{0} \leq k + 3$, if $\mathrm{Diff}^{r}_{\varrho,c}(E)_{0}$ is perfect for the trivial fiber bundle $\varrho : E \to \mathbb{R}$ with fiber $N$ and structure group $\varGamma$. On the other hand, when $k = 0$, it is shown that $\nu^{\wedge}$ is a unbounded quasimorphism, so that $\mathrm{Diff}^{r}_{\pi}(M)_{0}$ is unbounded and not uniformly perfect. We also describe the integer $k$ in term of the attaching map $\varphi$ for a mapping torus $\pi : M_{\varphi} \to S^{1}$ and give some explicit examples of (un)bounded groups.

Journal of the Mathematical Society of JapanVol. -1(-1)
Kyoto Sangyo University (JP), Kyoto Institute of Technology (JP)
Reduced inequalities
Openalex Percentile: Top 65%
Geometric and Algebraic Topology
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Boundedness of bundle diffeomorphism groups over a circle — Tatsuhiko Yagasaki, Kazuhiko Fukui · Journal of the Mathematical Society of Japan (2024) | TGRS Research Map | TGRS