A machine-checked solution to the Jacobians challenge

14. cech cohomology🔗

Čech theory for 𝒪_D: junk-free germ cochains over codiscreteWithin, the complex, refinements, chart-disk covers, and H⁰ = L(D).

9 modules, 1,760 lines, under Jacobians/Cech/.

References: Miranda Ch. VI pp. 186–188.

  1. 14.1. Keystones
  2. 14.2. Builds on
  3. 14.3. Cech
  4. 14.4. Cech.CechComplex
  5. 14.5. Cech.CechH0
  6. 14.6. Cech.CechRefinement
  7. 14.7. Cech.CechRefinementHomotopy
  8. 14.8. Cech.CechSection
  9. 14.9. Cech.ChartDiskCover
  10. 14.10. Cech.ChartDiskRefinement
  11. 14.11. Cech.MeromorphicAnalyticBadSet