17. dolbeault comparison
The PDE-free comparison Čech H¹(X, 𝒪) ≅ H^{0,1}_∂̄(X), local realization of cocycles, Mittag-Leffler gluing, and existence of Leray covers.
9 modules, 3,995 lines, under Jacobians/DolbeaultComparison/.
- 17.1. Keystones
- 17.2. Builds on
- 17.3. DolbeaultComparison
- 17.4. DolbeaultComparison.DolbeaultComparison
- 17.5. DolbeaultComparison.DolbeaultComparisonEquiv
- 17.6. DolbeaultComparison.DolbeaultComparisonInverse
- 17.7. DolbeaultComparison.DolbeaultComparisonProof
- 17.8. DolbeaultComparison.DolbeaultH01
- 17.9. DolbeaultComparison.GoodCover
- 17.10. DolbeaultComparison.LerayCoverExists
- 17.11. DolbeaultComparison.LocalRealization