A machine-checked solution to the Jacobians challenge

24. serre duality cech🔗

The Serre pairing interface at the Čech level: dimension-counting surjectivity core and the duality bookkeeping consumed by the Laurent-tail route.

4 modules, 276 lines, under Jacobians/SerrePairing/.

References: Forster §17 · Forster §14 · Forster §16.

  1. 24.1. Keystones
  2. 24.2. Builds on
  3. 24.3. SerrePairing
  4. 24.4. SerrePairing.DolbeaultLadder
  5. 24.5. SerrePairing.SerreDuality
  6. 24.6. SerrePairing.SerreDualityPairing