A machine-checked solution to the Jacobians challenge

20. canonical forms🔗

Meromorphic 1-form systems and the canonical divisor: removable singularities, differentials of canonical forms, and existence of a nonconstant meromorphic function / nonzero ω₀ (via cohomological χ).

6 modules, 2,451 lines, under Jacobians/CanonicalForms/.

References: Forster §17.4 · Forster §16 · Forster §17 · Forster GTM 81, §17.4.

  1. 20.1. Keystones
  2. 20.2. Builds on
  3. 20.3. CanonicalForms
  4. 20.4. CanonicalForms.CanonicalFormDifferential
  5. 20.5. CanonicalForms.CanonicalFormIso
  6. 20.6. CanonicalForms.FormRemovableSingularity
  7. 20.7. CanonicalForms.MeromorphicOneFormSystem
  8. 20.8. CanonicalForms.SerreOmega0