A machine-checked solution to the Jacobians challenge

19. finiteness and chi🔗

Finite-dimensionality of H¹(X, 𝒪_D) (Forster §14, Schwartz + Montel functional-analysis spine) and the Euler-characteristic / cohomological Riemann–Roch bookkeeping via skyscraper sequences.

31 modules, 9,792 lines, under Jacobians/Finiteness/.

References: Forster §16 · Forster §12 · Forster §14 · Forster GTM 81 §14.

  1. 19.1. Keystones
  2. 19.2. Builds on
  3. 19.3. Finiteness
  4. 19.4. Finiteness.BddHol
  5. 19.5. Finiteness.CechFiniteness
  6. 19.6. Finiteness.CechFinitenessAbstract
  7. 19.7. Finiteness.CechFinitenessAssembly
  8. 19.8. Finiteness.CechFinitenessDtwist
  9. 19.9. Finiteness.CechFinitenessWiring
  10. 19.10. Finiteness.CechModelArtificial
  11. 19.11. Finiteness.CechModelBase
  12. 19.12. Finiteness.CechModelBridge
  13. 19.13. Finiteness.CechModelDelta
  14. 19.14. Finiteness.CechModelDifferential
  15. 19.15. Finiteness.CechModelGeometry
  16. 19.16. Finiteness.CechModelHolomorphic
  17. 19.17. Finiteness.CechModelHolomorphicDelta
  18. 19.18. Finiteness.CechModelManifold
  19. 19.19. Finiteness.CechRefinementInjective
  20. 19.20. Finiteness.CechRefinementLeray
  21. 19.21. Finiteness.ChartDiskFiniteness
  22. 19.22. Finiteness.ChartDiskFinitenessComplete
  23. 19.23. Finiteness.ChartDiskLeray
  24. 19.24. Finiteness.CohomologicalH0Finiteness
  25. 19.25. Finiteness.CohomologicalRR
  26. 19.26. Finiteness.CohomologicalRRChartDisk
  27. 19.27. Finiteness.SchwartzFiniteness
  28. 19.28. Finiteness.SkyscraperArrow
  29. 19.29. Finiteness.SkyscraperAssembly
  30. 19.30. Finiteness.SkyscraperConeRealization
  31. 19.31. Finiteness.SkyscraperLESBase
  32. 19.32. Finiteness.SkyscraperProductWitness
  33. 19.33. Finiteness.SkyscraperSnake