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 §21 · Forster Lemma 21.3 · Forster Lemma 21.3.

  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