A machine-checked solution to the Jacobians challenge

9. jacobian construction🔗

The Jacobian as a complex torus: the period lattice (ℤ-span of loop periods), period vectors, and the ZLattice quotient manifold machinery.

3 modules, 2,286 lines, under Jacobians/JacobianConstruction/.

References: Forster §§20–21 · Miranda Ch. V · Forster §I.7 · Forster §4.20.

  1. 9.1. Keystones
  2. 9.2. Builds on
  3. 9.3. JacobianConstruction
  4. 9.4. JacobianConstruction.PeriodLattice
  5. 9.5. JacobianConstruction.ZLatticeQuotient