English

On powers of the Euler class for flat circle bundles

Geometric Topology 2016-10-04 v1 Algebraic Topology

Abstract

Apparently a lost theorem of Thurston states that the cube of the Euler class e3H6(BDiffωδ(S1);Q)e^3\in H^6(BDiff^{\delta}_{\omega}(S^1);\mathbb{Q}) is zero where Diffωδ(S1)Diff^{\delta}_{\omega}(S^1) is the analytic orientation preserving diffeomorphisms of the circle with the discrete topology. This is in contrast with Morita's theorem that the powers of the Euler class are nonzero in H(BDiffδ(S1);Q)H^*(BDiff^{\delta}(S^1);\mathbb{Q}) where Diffδ(S1)Diff^{\delta}(S^1) is the orientation preserving CC^{\infty}- diffeomorphisms of the circle with the discrete topology. The purpose of this short note is to prove that the powers of the Euler class ekH(BDiffωδ(S1);Z)e^k \in H^*(BDiff^{\delta}_{\omega}(S^1);\mathbb{Z}) in fact are nonzero in cohomology with integer coefficients. We also give a short proof of Morita's theorem.

Cite

@article{arxiv.1610.00330,
  title  = {On powers of the Euler class for flat circle bundles},
  author = {Sam Nariman},
  journal= {arXiv preprint arXiv:1610.00330},
  year   = {2016}
}

Comments

Accepted for publication by Journal of Topology and Analysis

R2 v1 2026-06-22T16:08:10.139Z