Modular form

This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (February 2024) (Learn how and when to remove this message)

In mathematics, a modular form is a (complex) analytic function on the upper half-plane, ${\displaystyle \,{\mathcal {H}}\,}$, that roughly satisfies a functional equation with respect to the group action of the modular group and a growth condition. The theory of modular forms has origins in complex analysis, with important connections with number theory. Modular forms also appear in other areas, such as algebraic topology, sphere packing, and string theory.

Modular form theory is a special case of the more general theory of automorphic forms, which are functions defined on Lie groups that transform nicely with respect to the action of certain discrete subgroups, generalizing the example of the modular group ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )\subset \mathrm {SL} _{2}(\mathbb {R} )}$. Every modular form is attached to a Galois representation.^[1]

The term "modular form", as a systematic description, is usually attributed to Erich Hecke.