Английская Википедия:Harmonic Maass form

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:Use shortened footnotes In mathematics, a weak Maass form is a smooth function <math>f</math> 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 <math>f</math> under the Laplacian is zero, then <math>f</math> 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 <math>f</math> on the upper half-plane Шаблон:Math is called a weak Maass form of integral weight Шаблон:Mvar (for the group Шаблон:Math) if it satisfies the following three conditions:

(1) For every matrix <math>\begin{pmatrix}a & b \\ c & d \end{pmatrix}\in \text{SL}(2, \mathbf{Z})</math> the function <math>f</math> satisfies the modular transformation law
<math> f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z).</math>
(2) <math>f</math> is an eigenfunction of the weight Шаблон:Mvar hyperbolic Laplacian
<math>\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),</math>
where <math>z = x+iy.</math>
(3) <math>f</math> has at most linear exponential growth at the cusp, that is, there exists a constant Шаблон:Math such that Шаблон:Math as <math>y \to \infty.</math>

If <math>f</math> is a weak Maass form with eigenvalue 0 under <math>\Delta_k</math>, that is, if <math>\Delta_k f=0</math>, then <math>f</math> is called a harmonic weak Maass form, or briefly a harmonic Maass form.

Basic properties

Every harmonic Maass form <math>f</math> of weight <math>k</math> has a Fourier expansion of the form

<math>f(z) = \sum\nolimits_{n\geq n^+} c^+(n)q^n + \sum\nolimits_{n\leq n^-} c^-(n)\Gamma(1-k,-4\pi n y) q^n,</math>

where Шаблон:Math, and <math>n^+, n^-</math> are integers depending on <math>f.</math> Moreover,

<math>\Gamma(s,y)=\int_y^\infty t^{s-1}e^{-t} dt</math>

denotes the incomplete gamma function (which has to be interpreted appropriately when Шаблон:Math). The first summand is called the holomorphic part, and the second summand is called the non-holomorphic part of <math>f.</math>

There is a complex anti-linear differential operator <math>\xi_k</math> defined by

<math>\xi_k(f)(z) = 2 i y^{k} \overline{\frac{\partial}{\partial \bar z}f(z)}.</math>

Since <math> \Delta_k = -\xi_{2-k}\xi_k</math>, the image of a harmonic Maass form is weakly holomorphic. Hence, <math>\xi_k</math> defines a map from the vector space <math>H_k</math> of harmonic Maass forms of weight <math>k</math> to the space <math>M_{2-k}^!</math> of weakly holomorphic modular forms of weight <math>2-k.</math> It was proved by Bruinier and FunkeШаблон:Sfn (for arbitrary weights, multiplier systems, and congruence subgroups) that this map is surjective. Consequently, there is an exact sequence

<math> 0\to M_{k}^! \to H_k\to M_{2-k}^!\to 0,</math>

providing a link to the algebraic theory of modular forms. An important subspace of <math>H_k</math> is the space <math>H_k^+</math> of those harmonic Maass forms which are mapped to cusp forms under <math>\xi_k</math>.

If harmonic Maass forms are interpreted as harmonic sections of the line bundle of modular forms of weight <math>k</math> equipped with the Petersson metric over the modular curve, then this differential operator can be viewed as a composition of the Hodge star operator and the antiholomorphic differential. The notion of harmonic Maass forms naturally generalizes to arbitrary congruence subgroups and (scalar and vector valued) multiplier systems.

Examples

  • Every weakly holomorphic modular form is a harmonic Maass form.
  • The non-holomorphic Eisenstein series
<math>E_2(z) = 1- \frac{3}{\pi y}-24\sum_{n=1}^\infty \sigma_1(n) q^n </math>
of weight 2 is a harmonic Maass form of weight 2.
<math>\theta(z)=\sum_{n\in \Z} q^{n^2}.</math>

History

The above abstract definition of harmonic Maass forms together with a systematic investigation of their basic properties was first given by Bruinier and Funke.Шаблон:Sfn However, many examples, such as Eisenstein series and Poincaré series, had already been known earlier. Independently, Zwegers developed a theory of mock modular forms which also connects to harmonic Maass forms.Шаблон:Sfn

An algebraic theory of integral weight harmonic Maass forms in the style of Katz was developed by Candelori.Шаблон:Sfn

Citations

Шаблон:Reflist

Works cited

Шаблон:Refbegin

Шаблон:Refend

Further reading

Шаблон:Refbegin

Шаблон:Refend

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Harmonic_Maass_form&oldid=15142981