In mathematics, a weak Maass form is a smooth function f {\displaystyle f} on the upper half plane, transforming like a modular form under the action of the modular group, being an eigenfunction of the corresponding hyperbolic Laplace operator, and having at most linear exponential growth at the cusps. If the eigenvalue of f {\displaystyle f} under the Laplacian is zero, then f {\displaystyle f} is called a harmonic weak Maass form, or briefly a harmonic Maass form. A weak Maass form which has actually moderate growth at the cusps is a classical Maass wave form. The Fourier expansions of harmonic Maass forms often encode interesting combinatorial, arithmetic, or geometric generating functions. Regularized theta lifts of harmonic Maass forms can be used to construct Arakelov Green functions for special divisors on orthogonal Shimura varieties.
Definition A complex-valued smooth function f {\displaystyle f} on the upper half-plane H = {z ∈ C: Im(z) > 0} is called a weak Maass form of integral weight k (for the group SL(2, Z)) if it satisfies the following three conditions:
(1) For every matrix ( a b c d ) ∈ SL ( 2 , Z ) {\displaystyle {\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in {\text{SL}}(2,\mathbf {Z} )} the function f {\displaystyle f} satisfies the modular transformation law
f ( a z + b c z + d ) = ( c z + d ) k f ( z ) . {\displaystyle f\left({\frac {az+b}{cz+d}}\right)=(cz+d)^{k}f(z).}
(2) f {\displaystyle f} is an eigenfunction of the weight k hyperbolic Laplacian
Δ k = − y 2 ( ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 ) + i k y ( ∂ ∂ x + i ∂ ∂ y ) , {\displaystyle \Delta _{k}=-y^{2}\left({\frac {\partial ^{2}}{\partial x^{2}}}+{\frac {\partial ^{2}}{\partial y^{2}}}\right)+iky\left({\frac {\partial }{\partial x}}+i{\frac {\partial }{\partial y}}\right),}
where z = x + i y . {\displaystyle z=x+iy.}
(3) f {\displaystyle f} has at most linear exponential growth at the cusp, that is, there exists a constant C > 0 such that f (z) = O(eCy) as y → ∞ . {\displaystyle y\to \infty .}
If f {\displaystyle f} is a weak Maass form with eigenvalue 0 under Δ k {\displaystyle \Delta _{k}} , that is, if Δ k f = 0 {\displaystyle \Delta _{k}f=0} , then f {\displaystyle f} is called a harmonic weak Maass form, or briefly a harmonic Maass form.
Basic properties Every harmonic Maass form f {\displaystyle f} of weight k {\displaystyle k} has a Fourier expansion of the form
… excerpt ends here. Continue reading the full article.
