Modular form: Difference between revisions

Revision as of 22:25, 9 February 2025

Latest revision as of 00:20, 3 March 2025

(5 intermediate revisions by 2 users not shown)

Line 3:

{{Technical|date=February 2024}}

In [[mathematics]], a '''modular form''' is a (complex) [[analyticholomorphic function]] on the [[Upper half-plane#Complex plane|complex upper half-plane]], <math>\,\mathcal{H}\,</math>, that roughly satisfies a [[functional equation]] with respect to the [[Group action (mathematics)|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 form]]s, which are functions defined on [[Lie group]]s that transform nicely with respect to the action of certain [[discrete subgroup]]s, generalizing the example of the modular group <math>\mathrm{SL}_2(\mathbb Z) \subset \mathrm{SL}_2(\mathbb R)</math>. Every modular form is attached to a [[Galois representation]].<ref name=":0">{{Cite news |last=Van Wyk |first=Gerhard |date=July 2023 |title=Elliptic Curves Yield Their Secrets in a New Number System |work=Quanta |url=https://www.quantamagazine.org/elliptic-curves-yield-their-secrets-in-a-new-number-system-20230706/?mc_cid=e612def96e&mc_eid=506130a407}}</ref>

The term "modular form", as a systematic description, is usually attributed to [[Erich Hecke]]. The importance of modular forms across multiple field of mathematics has been humorously represented in a possibly apocryphal quote attributed to [[Martin Eichler]] describing modular forms as being the fifth fundamental operation in mathematics, after addition, subtraction, multiplication and division.<ref>{{Cite web |last=Cepelewicz |first=Jordana |date=2023-09-21 |title=Behold Modular Forms, the 'Fifth Fundamental Operation' of Math |url=https://www.quantamagazine.org/behold-modular-forms-the-fifth-fundamental-operation-of-math-20230921/ |access-date=2025-02-25 |website=Quanta Magazine |language=en}}</ref>

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

== Definition ==

Line 37:

== Modular function ==

A modular function is a function that is invariant with respect to the modular group, but without the condition that {{math|''f''&thinsp;(''z'')}}it be [[Holomorphic function|holomorphic]] in the upper half-plane (among other requirements). Instead, modular functions are [[Meromorphic function|meromorphic]]: they are holomorphic on the complement of a set of isolated points, which are poles of the function.

== Modular forms for SL(2, Z) ==

=== Standard definition ===

A modular form of weight {{mvar|<math>k}}</math> for the [[modular group]]

:<math>\text{SL}(2, \mathbf Z) = \left \{ \left. \begin{pmatrix}a & b \\ c & d \end{pmatrix} \right | a, b, c, d \in \mathbf Z,\ ad-bc = 1 \right \}</math>

is a [[complex numbers|complex-valued]] function {{<math|&thinsp;''>f''&thinsp;}}</math> on the [[upper half-plane]] {{<math|'''>\mathcal{H''' {{}=}} \{''z'' ∈ '''\in\C''',\mid [[imaginary part|\operatorname{Im]]}(''z'') > 0\},}}</math> satisfying the following three conditions:

# {{<math|&thinsp;''>f''&thinsp;}}</math> is a [[holomorphic function|holomorphic]] on <math>\mathcal{{math|'''H'''}}</math>.

# For any {{<math|''>z'' ∈ '''\in\mathcal{H'''}}</math> and any matrix in <math>\text{{math|SL}(2, '''\Z''')}} as above</math>, we have:

#:<math> f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z)</math>.

# <math>f</math> is bounded as <math>\operatorname{Im}(z)\to\infty</math>.

# {{math|&thinsp;''f''&thinsp;}} is required to be bounded as {{math|''z'' → [[Imaginary unit|''i'']]∞}}.

Remarks:

* The weight {{mvar|<math>k}}</math> is typically a positive integer.

* For odd {{mvar|<math>k}}</math>, only the zero function can satisfy the second condition.

* The third condition is also phrased by saying that {{<math|&thinsp;''>f''&thinsp;}}</math> is "holomorphic at the cusp", a terminology that is explained below. Explicitly, the condition means that there exist some <math> M, D > 0 </math> such that <math> \operatorname{Im}(z) > M \implies |f(z)| < D </math>, meaning <math>f</math> is bounded above some horizontal line.

* The second condition for

::<math>S = \begin{pmatrix}0 & -1 \\ 1 & 0 \end{pmatrix}, \qquad T = \begin{pmatrix}1 & 1 \\ 0 & 1 \end{pmatrix}</math>

:reads

::<math>f\left(-\frac{1}{z}\right) = z^k f(z), \qquad f(z + 1) = f(z)</math>

:respectively. Since {{mvar|<math>S}}</math> and {{mvar|<math>T}}</math> [[generating set of a group|generate]] the modular group <math>\text{{math|SL}(2, '''\Z''')}}</math>, the second condition above is equivalent to these two equations.

* Since {{<math|&thinsp;''>f''&thinsp;(''z'' + 1) {{=}} &thinsp;''f''&thinsp;(''z'')}}</math>, modular forms are [[periodic function]]s, with period {{math|1}}, and thus have a [[Fourier series]].

===Definition in terms of lattices or elliptic curves===