A machine-checked solution to the Jacobians challenge

22. monodromy🔗

Global primitives on simply connected surfaces by discrete analytic continuation along chains (no integration): local primitive frames, chain values, homotopy invariance.

5 modules, 1,123 lines, under Jacobians/Monodromy/.

References: Miranda Ch. IV §1 · Forster §10.4.

  1. 22.1. Keystones
  2. 22.2. Builds on
  3. 22.3. Monodromy
  4. 22.4. Monodromy.HolomorphicPrimitiveChain
  5. 22.5. Monodromy.HolomorphicPrimitiveLocal
  6. 22.6. Monodromy.HolomorphicPrimitiveMonodromy
  7. 22.7. Monodromy.HolomorphicPrimitives