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 cataloguedOpenOpenStatement
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.- 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. \]
- 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$.
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 codecatalogue entry; registry status open/OPEN-TRIAGE, with a partial-resolution report in the summary.
Statement licence: CC-BY-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.