A machine-checked solution to the Jacobians challenge

32. period lattice rank🔗

The period lattice has a real basis of rank 2g (Forster 21.4, dissection-free): discreteness via the local Jacobi map, nondegeneracy, and the real basis.

7 modules, 2,729 lines, under Jacobians/PeriodLattice/.

References: Forster Lemma 21.3 · Forster Lemma 21.3 · Forster §21.

  1. 32.1. Keystones
  2. 32.2. Builds on
  3. 32.3. PeriodLattice
  4. 32.4. PeriodLattice.JacobiBasePoints
  5. 32.5. PeriodLattice.JacobiLocalMap
  6. 32.6. PeriodLattice.OfCurveAnalyticitySkeleton
  7. 32.7. PeriodLattice.PeriodLatticeBasis
  8. 32.8. PeriodLattice.PeriodLatticeDiscrete
  9. 32.9. PeriodLattice.PeriodLatticeNondegenerate