English

The universal $n$-pointed surface bundle only has $n$ sections

Geometric Topology 2018-09-05 v4 Algebraic Geometry Algebraic Topology

Abstract

The classifying space BDiff(Sg,n)(S_{g,n}) of the orientation-preserving diffeomorphism group of the surface Sg,nS_{g,n} of genus g>1g>1 with nn ordered marked points has a universal bundle SgUDiff(Sg,n)πBDiff(Sg,n). S_g \to \text{UDiff}(S_{g,n})\xrightarrow{\pi}\text{BDiff}(S_{g,n}). The fixed nn points provide nn sections sis_i of π\pi. In this paper we prove a conjecture of R. Hain that any section of π\pi is homotopic to some sis_i. Let PConfn(Sg)\text{PConf}_n(S_g) be the ordered nn-tuples of distinct points on SgS_g. As part of the proof, we prove a result of independent interest: any surjective homomorphism π1(PConfn(Sg))π1(Sg)\pi_1(\text{PConf}_n(S_g))\to \pi_1(S_g) is equal to one of the forgetful maps {pi:π1(PConfn(Sg))π1(Sg)}\{p_i:\pi_1(\text{PConf}_n(S_g))\to \pi_1(S_g)\}, possibly post-composed with an automorphism of π1(Sg)\pi_1(S_g). Using similar arguments, we then show that the universal surface bundle that fixes nn points as a set does not have any section.

Cite

@article{arxiv.1611.04624,
  title  = {The universal $n$-pointed surface bundle only has $n$ sections},
  author = {Lei Chen},
  journal= {arXiv preprint arXiv:1611.04624},
  year   = {2018}
}

Comments

18 pages, 1 figures, 2017, Journal of topology and analysis

R2 v1 2026-06-22T16:52:15.812Z