Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The Mumford conjecture (after Bianchi)

Ronno Das, Dan Petersen

TL;DR

This work presents a streamlined, self-contained account of Andrea Bianchi’s Mumford conjecture proof via moduli spaces of branched covers. It builds a geometrically meaningful 2-fold delooping of the surface-moduli monoid using a scanning map, then proves the delooped space has the rational homotopy type of a product of Eilenberg–MacLane spaces $\prod_{n\ge1} K(\mathbb{Q},2n)$, implying the stable rational cohomology of the mapping class groups is a polynomial algebra in even generators $\kappa_i$. Central to the argument is modeling the 2-fold delooping by branched covers of the disk, analyzing a CW‑decomposition of local moduli spaces $\mathsf{Bra}^d_{\mathbb{R}^2}$, and computing cup-products via a geometric diagonal. The stabilization, group-completion framework, and scanning theory collectively reduce Mumford’s conjecture to an explicit rational calculation, reproducing the known stable cohomology and offering a self-contained path paralleling and clarifying Bianchi’s original sequence of papers.

Abstract

We give a self-contained and streamlined rendition of Andrea Bianchi's recent proof of the Mumford conjecture using moduli spaces of branched covers.

The Mumford conjecture (after Bianchi)

TL;DR

This work presents a streamlined, self-contained account of Andrea Bianchi’s Mumford conjecture proof via moduli spaces of branched covers. It builds a geometrically meaningful 2-fold delooping of the surface-moduli monoid using a scanning map, then proves the delooped space has the rational homotopy type of a product of Eilenberg–MacLane spaces , implying the stable rational cohomology of the mapping class groups is a polynomial algebra in even generators . Central to the argument is modeling the 2-fold delooping by branched covers of the disk, analyzing a CW‑decomposition of local moduli spaces , and computing cup-products via a geometric diagonal. The stabilization, group-completion framework, and scanning theory collectively reduce Mumford’s conjecture to an explicit rational calculation, reproducing the known stable cohomology and offering a self-contained path paralleling and clarifying Bianchi’s original sequence of papers.

Abstract

We give a self-contained and streamlined rendition of Andrea Bianchi's recent proof of the Mumford conjecture using moduli spaces of branched covers.
Paper Structure (25 sections, 14 theorems, 39 equations)

This paper contains 25 sections, 14 theorems, 39 equations.

Table of Contents

  1. Introduction
  2. Acknowledgements
  3. Group-completion, E_k-algebras, and delooping
  4. E_1-algebras and the group-completion functor
  5. The group-completion theorem
  6. Example: algebraic K-theory
  7. E_k-algebras
  8. Moduli of curves and moduli of branched covers
  9. The space of branched covers of the line
  10. Points over the complex numbers
  11. A consequence of the Riemann--Roch theorem
  12. Topological branched covers
  13. Definition of Bra when A is nonempty.
  14. Branched covers of the closed disk.
  15. Gluing of stacks
  16. ...and 10 more sections

Key Result

Theorem 2.3

Let $M$ be a topological $E_1$-algebra, with connected components $M=\coprod_{s \in S} M_s$. Suppose that $S = \pi_0(M) \subset H_\bullet(M;\mathbf Z)$ satisfies the right Ore conditions, and that $ES$ is a filtered category. Then where $\Omega_0 BM$ denotes the base component of $\Omega BM$.

Theorems & Definitions (52)

  • Definition 2.1
  • Definition 2.2
  • Theorem 2.3: Group-completion theorem
  • Remark 2.4
  • Theorem 2.5: Recognition principle for iterated loop spaces
  • Remark 2.6
  • Remark 2.7
  • proof
  • Definition 3.2
  • Remark 3.3
  • ...and 42 more