A machine-checked solution to the Jacobians challenge

16. dbar solvability🔗

The intrinsic ∂̄ operator on the surface and its local solvability: the planar Dolbeault lemma on disks (Forster 13.2), disk acyclicity for the Čech complex, and holomorphic representatives of ∂̄-closed germs.

11 modules, 2,147 lines, under Jacobians/Dbar/.

References: Forster §15.

  1. 16.1. Keystones
  2. 16.2. Builds on
  3. 16.3. Dbar
  4. 16.4. Dbar.CechDiskAcyclic
  5. 16.5. Dbar.CechDiskAcyclicAssembly
  6. 16.6. Dbar.CechDiskAcyclicProof
  7. 16.7. Dbar.DbarDisk
  8. 16.8. Dbar.DbarDiskCohomology
  9. 16.9. Dbar.DbarLocal
  10. 16.10. Dbar.DbarOpenDisk
  11. 16.11. Dbar.DiskAcyclicCore
  12. 16.12. Dbar.HoloRep
  13. 16.13. Dbar.RealForms