Mathlib
Atlas
Number theory
Pathway XXIV
Γ
Modular forms
Functions on the upper half-plane, invariant under SL₂(ℤ) up to a weight factor.
01
The modular group
SL₂(ℤ) acts on the upper half-plane by fractional linear maps. A fundamental domain is a single tile.
4 min
02
q-expansions
A modular form is determined by its Fourier series at the cusp: ∑ aₙ qⁿ, q = e^{2πiτ}.
4 min
Begin this pathway