Cohomology of symplectic groups and Meyer’s signature theorem

Dave Benson, Caterina Campagnolo, Andrew Ranicki, Carmen Rovi

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of 4, and can be computed using an element of H2 .Sp.2g; Z/; Z/. If we denote by 1 ! Z ! SpC.2g; Z/ ! Sp.2g; Z/ ! 1 the pullback of the universal cover of CSp.2g; R/, then by a theorem of Deligne, every finite index subgroup of Sp.2g; Z/ contains 2Z. As a consequence, a class in the second cohomology of any finite quotient of Sp.2g; Z/ can at most enable us to compute the signature of a surface bundle modulo 8. We show that this is in fact possible and investigate the smallest quotient of Sp.2g; Z/ that contains this information. This quotient H is a nonsplit extension of Sp.2g; 2/ by an elementary abelian group of order 2 2gC1. There is a central extension 1 ! Z=2 ! Hz ! H ! 1, and Hz appears as a quotient of the metaplectic double cover Mp.2g; Z/ D SpC.2g; Z/=2Z. It is an extension of Sp.2g; 2/ by an almost extraspecial group of order 2 2gC2 , and has a faithful irreducible complex representation of dimension 2g. Provided g > 4, the extension Hz is the universal central extension of H. Putting all this together, in Section 4 we provide a recipe for computing the signature modulo 8, and indicate some consequences.
Original languageEnglish
Pages (from-to)4069–4091
Number of pages23
JournalAlgebraic & Geometric Topology
Volume18
DOIs
Publication statusPublished - 11 Dec 2018

Fingerprint

Symplectic Group
Cohomology
Quotient
Signature
Central Extension
Theorem
Modulo
Bundle
Universal Cover
Pullback
Faithful
Abelian group
Subgroup
Cover
Denote
Closed
Computing

Keywords

  • surface bundles
  • signature modulo 8
  • signature cocycle
  • Meyer
  • group cohomology
  • symplectic groups

Cite this

Cohomology of symplectic groups and Meyer’s signature theorem. / Benson, Dave; Campagnolo, Caterina; Ranicki, Andrew; Rovi, Carmen.

In: Algebraic & Geometric Topology, Vol. 18, 11.12.2018, p. 4069–4091.

Research output: Contribution to journalArticle

Benson, Dave ; Campagnolo, Caterina ; Ranicki, Andrew ; Rovi, Carmen. / Cohomology of symplectic groups and Meyer’s signature theorem. In: Algebraic & Geometric Topology. 2018 ; Vol. 18. pp. 4069–4091.
@article{bb26f6478df84388903b9aca6057ebcc,
title = "Cohomology of symplectic groups and Meyer’s signature theorem",
abstract = "Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of 4, and can be computed using an element of H2 .Sp.2g; Z/; Z/. If we denote by 1 ! Z ! SpC.2g; Z/ ! Sp.2g; Z/ ! 1 the pullback of the universal cover of CSp.2g; R/, then by a theorem of Deligne, every finite index subgroup of Sp.2g; Z/ contains 2Z. As a consequence, a class in the second cohomology of any finite quotient of Sp.2g; Z/ can at most enable us to compute the signature of a surface bundle modulo 8. We show that this is in fact possible and investigate the smallest quotient of Sp.2g; Z/ that contains this information. This quotient H is a nonsplit extension of Sp.2g; 2/ by an elementary abelian group of order 2 2gC1. There is a central extension 1 ! Z=2 ! Hz ! H ! 1, and Hz appears as a quotient of the metaplectic double cover Mp.2g; Z/ D SpC.2g; Z/=2Z. It is an extension of Sp.2g; 2/ by an almost extraspecial group of order 2 2gC2 , and has a faithful irreducible complex representation of dimension 2g. Provided g > 4, the extension Hz is the universal central extension of H. Putting all this together, in Section 4 we provide a recipe for computing the signature modulo 8, and indicate some consequences.",
keywords = "surface bundles, signature modulo 8, signature cocycle, Meyer, group cohomology, symplectic groups",
author = "Dave Benson and Caterina Campagnolo and Andrew Ranicki and Carmen Rovi",
note = "Campagnolo acknowledges support by the Swiss National Science Foundation, grant number PP00P2-128309/1, and by the German Science Foundation via the Research Training Group 2229, under which this research was started and then completed.",
year = "2018",
month = "12",
day = "11",
doi = "10.2140/agt.2018.18.4069",
language = "English",
volume = "18",
pages = "4069–4091",
journal = "Algebraic & Geometric Topology",
issn = "1472-2747",
publisher = "Agriculture.gr",

}

TY - JOUR

T1 - Cohomology of symplectic groups and Meyer’s signature theorem

AU - Benson, Dave

AU - Campagnolo, Caterina

AU - Ranicki, Andrew

AU - Rovi, Carmen

N1 - Campagnolo acknowledges support by the Swiss National Science Foundation, grant number PP00P2-128309/1, and by the German Science Foundation via the Research Training Group 2229, under which this research was started and then completed.

PY - 2018/12/11

Y1 - 2018/12/11

N2 - Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of 4, and can be computed using an element of H2 .Sp.2g; Z/; Z/. If we denote by 1 ! Z ! SpC.2g; Z/ ! Sp.2g; Z/ ! 1 the pullback of the universal cover of CSp.2g; R/, then by a theorem of Deligne, every finite index subgroup of Sp.2g; Z/ contains 2Z. As a consequence, a class in the second cohomology of any finite quotient of Sp.2g; Z/ can at most enable us to compute the signature of a surface bundle modulo 8. We show that this is in fact possible and investigate the smallest quotient of Sp.2g; Z/ that contains this information. This quotient H is a nonsplit extension of Sp.2g; 2/ by an elementary abelian group of order 2 2gC1. There is a central extension 1 ! Z=2 ! Hz ! H ! 1, and Hz appears as a quotient of the metaplectic double cover Mp.2g; Z/ D SpC.2g; Z/=2Z. It is an extension of Sp.2g; 2/ by an almost extraspecial group of order 2 2gC2 , and has a faithful irreducible complex representation of dimension 2g. Provided g > 4, the extension Hz is the universal central extension of H. Putting all this together, in Section 4 we provide a recipe for computing the signature modulo 8, and indicate some consequences.

AB - Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of 4, and can be computed using an element of H2 .Sp.2g; Z/; Z/. If we denote by 1 ! Z ! SpC.2g; Z/ ! Sp.2g; Z/ ! 1 the pullback of the universal cover of CSp.2g; R/, then by a theorem of Deligne, every finite index subgroup of Sp.2g; Z/ contains 2Z. As a consequence, a class in the second cohomology of any finite quotient of Sp.2g; Z/ can at most enable us to compute the signature of a surface bundle modulo 8. We show that this is in fact possible and investigate the smallest quotient of Sp.2g; Z/ that contains this information. This quotient H is a nonsplit extension of Sp.2g; 2/ by an elementary abelian group of order 2 2gC1. There is a central extension 1 ! Z=2 ! Hz ! H ! 1, and Hz appears as a quotient of the metaplectic double cover Mp.2g; Z/ D SpC.2g; Z/=2Z. It is an extension of Sp.2g; 2/ by an almost extraspecial group of order 2 2gC2 , and has a faithful irreducible complex representation of dimension 2g. Provided g > 4, the extension Hz is the universal central extension of H. Putting all this together, in Section 4 we provide a recipe for computing the signature modulo 8, and indicate some consequences.

KW - surface bundles

KW - signature modulo 8

KW - signature cocycle

KW - Meyer

KW - group cohomology

KW - symplectic groups

U2 - 10.2140/agt.2018.18.4069

DO - 10.2140/agt.2018.18.4069

M3 - Article

VL - 18

SP - 4069

EP - 4091

JO - Algebraic & Geometric Topology

JF - Algebraic & Geometric Topology

SN - 1472-2747

ER -