Curves and abelian varieties in Magma:
moduli and invariants



  • What: a pre-AGC2T warm-up with Magma.
  • Where: Saint Charles (FRUMAM), Marseille, France.
    Important: Don't forget to bring with you the convocation and your ID.
  • When: Friday morning, June 6, 2025 - Saturday noon, June 7, 2025
    (AGC2T dates: June 9-13, 2025).
  • Accommodation:
    The participants are invited to book their own accommodation.
    The organization can reimburse up to 150€/night for 3 nights.
    Here are two suggestions for conveniently located hotels:
  • Organizers:
    • Magma: Edgar Costa, John Voight
    • local: David Kohel, Samuele Anni
    • semi-local: Stefano Marseglia, Christophe Ritzenthaler
  • Participants:
    • Thomas Bouchet
    • Sachi Hashimoto
    • Jean Kieffer
    • Sabrina Kunzweiler
    • Davide Lombardo
    • Elisa Lorenzo Garcia
    • Emre Sertöz
    • Jeroen Sijsling
  • Schedule and logistics:
    all in the seminar room on the 2nd floor, except Fri 11:00-12:30 (seminar room on 3rd floor)
    • Friday:
      • 9:00-9:15: opening, announcements, logistics
      • 9:15-10:30: motivation and general problems. We brainstorm together the key open problems in moduli and invariants for curves and abelian varieties, both general mathematical and with an explicit and algorithmic eye. What is underexplored but near at hand? What is at the frontier?
      • 10:30-11:00: coffee break.
      • 11:00-12:00: concrete problems. What specific computations and algorithms matter? Are there conceptual or theoretical issues that obstruct them? What are examples that are hard?
      • 12:00-1:30: lunch.
      • 1:30-2:30: demos of existing implementations, including a Magma overview but not restricted.
      • 2:30-3:00: coffee break
      • 3:00-4:00: comparison of 'implementation reality' to what is possible. What are the pain points in current algorithms? Where do they fail in practice? "This should work but doesn't" or "this doesn't exist, but should". What's hard, what's easy, and what's impossible in the near future?
      • 4:00-5:00: what do we need "underneath" that is fundamental to these algorithms, maybe not even specific to moduli. What's missing from Magma?
      • 5:00-6:00: aperitif (is that allowed?) and we kvetch about things that frustrate us in Magma.
      • 6:15?: dinner.
    • Saturday:
      • 9:00-9:30: review of previous day and collective organizing in an Overleaf file "Roadmap for moduli and invariants in Magma".
      • 9:30-10:30: everyone writes into the Overleaf file, can work in pairs or small groups focused per sections.
      • 10:30-11:00: coffee break
      • 11:00-12:00: finish work, folks read over what's written, priorities are announced (especially the things to take back to developers), hard stop at noon because I think we get kicked out.
    back to homepage