English

Pseudo-isotopies of 3-manifolds with infinite fundamental groups

Geometric Topology 2026-02-11 v1

Abstract

Suppose YY is a compact, connected, oriented 3-manifold possibly with boundary, such that π1(Y)\pi_1(Y) is infinite. Let Diff(I×Y)\operatorname{Diff}_\partial(I\times Y) denote the group of self-diffeomorphisms of I×YI\times Y that are equal to the identity near the boundary. Let DiffPI(I×Y)\operatorname{Diff}_{PI}(I\times Y) denote the subgroup of Diff(I×Y)\operatorname{Diff}_\partial(I\times Y) consisting of elements pseudo-isotopic to the identity. Define Homeo(I×Y)\operatorname{Homeo}_\partial(I\times Y), HomeoPI(I×Y)\operatorname{Homeo}_{PI}(I\times Y) similarly for homeomorphisms. We show that the canonical map π0DiffPI(I×Y)π0HomeoPI(I×Y)\pi_0\operatorname{Diff}_{PI}(I\times Y) \to \pi_0\operatorname{Homeo}_{PI}(I\times Y) is of infinite rank. As a consequence, π0DiffPI(I×Y)\pi_0\operatorname{Diff}_{PI}(I\times Y), π0Diff(I×Y)\pi_0\operatorname{Diff}_{\partial}(I\times Y), π0HomeoPI(I×Y)\pi_0\operatorname{Homeo}_{PI}(I\times Y), π0Homeo(I×Y)\pi_0\operatorname{Homeo}_{\partial}(I\times Y) are all abelian groups of infinite rank. We also prove that π0C(Y)\pi_0\,C(Y) contains an abelian subgroup of infinite rank, and π0C(I×Y)\pi_0\,C(I\times Y) admits a surjection to an abelian group of infinite rank, where C(X)C(X) denotes the concordance automorphism group Diff(I×X,{0}×XI×X)\operatorname{Diff}(I\times X, \{0\}\times X\cup I\times \partial X) or Homeo(I×X,{0}×XI×X)\operatorname{Homeo}(I\times X, \{0\}\times X\cup I\times \partial X). These results are proved by studying the actions of barbell diffeomorphisms on the spaces of embedded arcs and configuration spaces.

Keywords

Cite

@article{arxiv.2602.09454,
  title  = {Pseudo-isotopies of 3-manifolds with infinite fundamental groups},
  author = {Jianfeng Lin and Yi Xie and Boyu Zhang},
  journal= {arXiv preprint arXiv:2602.09454},
  year   = {2026}
}

Comments

34 pages + references. Comments are welcome!