The universal surface bundle over the Torelli space has no sections

Abstract

For $g>3$, we give two proofs of the fact that the \emph{Birman exact sequence} for the Torelli group \[ 1\to π_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 ${\mathcal{U}\mathcal{I}}_{g,n}\stackrel{T{u}_{g,n}^{\prime }}{\to }{\mathcal{B}\mathcal{I}}_{g,n}$ (resp. ${\mathcal{UP}\mathcal{I}}_{g,n}\stackrel{T{u}_{g,n}}{\to }{\mathcal{B}\mathcal{P}\mathcal{I}}_{g,n}$) denote the universal surface bundle over the Torelli space fixing $n$ points as a set (resp. pointwise). We also deduce that $T{u}_{g,n}^{\prime }$ has no sections when $n>1$ and that $T{u}_{g,n}$ has precisely $n$ distinct sections for $n\ge 0$ up to homotopy.

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