English

The universal surface bundle over the Torelli space has no sections

Geometric Topology 2017-10-11 v2

Abstract

For g>3g>3, we give two proofs of the fact that the \emph{Birman exact sequence} for the Torelli group 1π1(Sg)Ig,1Ig1 1\to \pi_1(S_g)\to {\cal I}_{g,1}\to {\cal I}_g\to 1 does not split. This result was claimed by G. Mess in \cite{mess1990unit}, but his proof has a critical and unrepairable error which will be discussed in the introduction. Let UIg,nTug,nBIg,n{\cal UI}_{g,n}\xrightarrow{Tu'_{g,n}} {\cal BI}_{g,n} (resp. UPIg,nTug,nBPIg,n{\cal UPI}_{g,n}\xrightarrow{Tu_{g,n}}{\cal BPI}_{g,n}) denote the universal surface bundle over the Torelli space fixing nn points as a set (resp. pointwise). We also deduce that Tug,nTu'_{g,n} has no sections when n>1n>1 and that Tug,nTu_{g,n} has precisely nn distinct sections for n0n\ge 0 up to homotopy.

Cite

@article{arxiv.1710.00786,
  title  = {The universal surface bundle over the Torelli space has no sections},
  author = {Lei Chen},
  journal= {arXiv preprint arXiv:1710.00786},
  year   = {2017}
}

Comments

We corrected an open problem that has already been proven and replace it with a reference

R2 v1 2026-06-22T22:01:24.922Z