TOPICS
Search

Automorphic Form Cusp


An automorphic form cusp in the classical theory of modular forms for a congruence subgroup Gamma of SL(2,Z) is a group orbit of Gamma on the projective line P^1(Q)=Q union {infty}. Adjoining a point for each such group orbit to the quotient of the upper half-plane by Gamma gives the compact modular curve. For the full modular group Gamma, all elements of P^1(Q) are equivalent to infty, so there is only one cusp (Diamond and Shurman 2005).

The expansion at a cusp is obtained by moving a representative to infty and expanding the transformed form in a local Fourier series. A cusp form has zero constant coefficient in this expansion at every cusp (Diamond and Shurman 2005).

In the corresponding three-dimensional setting, let K be an imaginary quadratic field with ring of integers O_K. For a finite-index subgroup Gamma of SL(2,O_K) acting on three-dimensional hyperbolic space, the cusps of the quotient are the group orbits of Gamma on the projective line P^1(K) (Elstrodt et al. 1998). This is the setting for the cusp expansions of Kubota's cubic theta function over K=Q(sqrt(-3)) (Dunn and Radziwiłł 2024).


See also

Cusp Form, Modular Curve, Modular Form

Explore with Wolfram|Alpha

References

Diamond, F. and Shurman, J. A First Course in Modular Forms. New York: Springer, 2005.Dunn, A. and Radziwiłł, M. "Bias in Cubic Gauss Sums: Patterson's Conjecture." Ann. Math. 200, 967-1057, 2024. https://doi.org/10.4007/annals.2024.200.3.3.Elstrodt, J.; Grunewald, F.; and Mennicke, J. Groups Acting on Hyperbolic Space: Harmonic Analysis and Number Theory. Berlin, Germany: Springer, 1998. https://doi.org/10.1007/978-3-662-03626-6.

Cite this as:

Weisstein, Eric W. "Automorphic Form Cusp." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/AutomorphicFormCusp.html

Subject classifications