A machine-checked solution to the Jacobians challenge

28. cech h1 genus🔗

dim H¹(X, 𝒪) = g: cup-product kill, monotonicity, and the effective-divisor vanishing comparison.

5 modules, 1,093 lines, under Jacobians/H1Genus/.

References: Miranda Ch. X §2 · Forster §17.5 · Forster §17.4 · Forster §16-.

  1. 28.1. Keystones
  2. 28.2. Builds on
  3. 28.3. H1Genus
  4. 28.4. H1Genus.CechH1CupKill
  5. 28.5. H1Genus.CechH1Genus
  6. 28.6. H1Genus.CechH1Monotonicity
  7. 28.7. H1Genus.SerreCupProduct