Math-5809 · mathematics · Topology

Math-5809

Problem 2.13 — (a) It is known from [33] that H2(Mod3; Z) and H2(Mod1 3; Z) are either Z or Z⊕ Z2.

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

All homology groups in this problem have integral coefficients. Retain the source's $\operatorname{Mod}_g$, $\operatorname{Mod}_g^1$ and pure-group notation $\operatorname{PMod}_{g,p}^{b}$; the meanings of the superscript and the two marking/boundary indices are not defined in the extract.
  1. In genus $3$, the source reports from [33] that each of \[ H_2(\operatorname{Mod}_3;{\mathbb{Z}}),\qquad H_2(\operatorname{Mod}_3^1;{\mathbb{Z}}) \] is isomorphic either to ${\mathbb{Z}}$ or to ${\mathbb{Z}}\oplus{\mathbb{Z}}/2{\mathbb{Z}}$. Determine which group occurs in each case. Also compute \[ H_2(\operatorname{PMod}_{3,p}^{b};{\mathbb{Z}}) \qquad\text{for every allowed }p,b. \]
  2. The source reports $H_2(\operatorname{Mod}_2;{\mathbb{Z}})\cong H_2(\operatorname{Mod}_2^1;{\mathbb{Z}})\cong{\mathbb{Z}}/2{\mathbb{Z}}$. Compute $H_2(\operatorname{PMod}_{2,p}^{b};{\mathbb{Z}})$ for $b\geq2$ and all allowed $p$.
For a pure mapping class group the usual requirement is fixing punctures individually, and any boundary convention must also be specified. Assigning $b$ versus $p$ to punctures or boundary components without the omitted definitions could change the problem. The computation asks for the full second homology group, including torsion, not only its rational rank.

The supplied research summary says the initial genus-three torsion alternatives have been resolved in later literature, but explicitly lacks an independently verified reference and gives no exact answer. That partial-resolution report is retained without inventing a value or treating all of the two-parameter computations as solved.

Short English statement

Resolve the stated genus-three second-homology torsion alternatives and compute the full integral second homology of the indicated pure groups in genera two and three, retaining the exact parameter ranges.

Sources

  • Problems on Mapping Class Groups and Related Topics, edited by Farb, Problem 2.13, supplied PDF page 98. https://www.math.uchicago.edu/~farb/papers/mcgbook.pdf. Recorded access 2026-07-29; extraction pdf-font-structure.
  • Source reference [33] for the genus-three alternatives; its bibliography entry is absent. The summary loosely mentions Harer--Ivanov/cohomology computations but supplies no exact later theorem or reference for the claimed resolution.
  • Local UnsolvedMath registry, data/unsolvedmath/problems.json, permanent ID $11000118$, exact source code catalogue entry; registry status open/OPEN-TRIAGE, with a partial-resolution report in the summary.

Catalogue entry

Statement licence: CC-BY-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.