A machine-checked solution to the Jacobians challenge

31. genus zero headline🔗

The headline equivalence genus X = 0 ↔ X ≃ₜ S², assembled from Riemann–Roch (forward) and sphere topology (backward).

1 modules, 48 lines, under Jacobians/GenusSphereHeadline/.

References: Forster §16.

  1. 31.1. Keystones
  2. 31.2. Builds on
  3. 31.3. GenusSphereHeadline