Automorphic factor

From Quire, the open reference··1 min read

In mathematics, an automorphic factor is a certain type of analytic function, defined on subgroups of SL(2,R), appearing in the theory of modular forms. The general case, for general groups, is reviewed in the article 'factor of automorphy'.

Definition#edit

An automorphic factor of weight k is a function ${\displaystyle \nu :\Gamma \times \mathbb {H} \to \mathbb {C} }$ satisfying the four properties given below. Here, the notation ${\displaystyle \mathbb {H} }$ and ${\displaystyle \mathbb {C} }$ refer to the upper half-plane and the complex plane, respectively. The notation ${\displaystyle \Gamma }$ is a subgroup of SL(2,R), such as, for example, a Fuchsian group. An element ${\displaystyle \gamma \in \Gamma }$ is a 2×2 matrix ${\displaystyle \gamma ={\begin{bmatrix}a&b\\c&d\end{bmatrix$ with a, b, c, d real numbers, satisfying ad−bc=1.

An automorphic factor must satisfy:

For a fixed ${\displaystyle \gamma \in \Gamma }$ , the function ${\displaystyle \nu (\gamma ,z)}$ is a holomorphic function of ${\displaystyle z\in \mathbb {H} }$ .
For all ${\displaystyle z\in \mathbb {H} }$ and ${\displaystyle \gamma \in \Gamma }$ , one has ${\displaystyle \vert \nu (\gamma ,z)\vert =\vert cz+d\vert ^{k$ for a fixed real number k.
For all ${\displaystyle z\in \mathbb {H} }$ and ${\displaystyle \gamma ,\delta \in \Gamma }$ , one has ${\displaystyle \nu (\gamma \delta ,z)=\nu (\gamma ,\delta z)\nu (\delta ,z)}$ Here, ${\displaystyle \delta z}$ is the fractional linear transform of ${\displaystyle z}$ by ${\displaystyle \delta }$ .
If ${\displaystyle -I\in \Gamma }$ , then for all ${\displaystyle z\in \mathbb {H} }$ and ${\displaystyle \gamma \in \Gamma }$ , one has ${\displaystyle \nu (-\gamma ,z)=\nu (\gamma ,z)}$ Here, I denotes the identity matrix.

Properties#edit

Every automorphic factor may be written as

${\displaystyle \nu (\gamma ,z)=\upsilon (\gamma )(cz+d)^{k$

with

${\displaystyle \vert \upsilon (\gamma )\vert =1}$

The function ${\displaystyle \upsilon :\Gamma \to S^{1$ is called a multiplier system. Clearly,

${\displaystyle \upsilon (I)=1}$ ,

while, if ${\displaystyle -I\in \Gamma }$ , then

${\displaystyle \upsilon (-I)=e^{-i\pi k$

which equals ${\displaystyle (-1)^{k$ when k is an integer.

Complex generalization#edit

There exist non-holomorphic automorphic factors of the type

${\displaystyle \nu (\gamma ,z)=\upsilon (\gamma )(cz+d)^{\alpha }(c{\bar {z+d)^{\beta$

where ${\displaystyle \alpha ,\beta \in \mathbb {C} }$ are arbitrary coweights. The condition ${\displaystyle \nu (\gamma \delta ,z)=\nu (\gamma ,\delta z)\nu (\delta ,z)}$ reduces to ${\displaystyle \upsilon (\gamma \delta )=\upsilon (\gamma )\upsilon (\delta )}$ if ${\displaystyle \alpha -\beta \in \mathbb {Z} }$ .

If ${\displaystyle \Gamma =SL_{2}(\mathbb {Z} )}$ is the modular group and ${\displaystyle \Re \alpha ,\Re \beta \in [0,1)}$ , then there exists a multiplier system such that

${\displaystyle \upsilon \left({\begin{smallmatrix}1&1\\0&1\end{smallmatrix\right)=e^{i{\frac {\pi }{6(\alpha -\beta )}\quad ,\quad \upsilon \left({\begin{smallmatrix}0&-1\\1&0\end{smallmatrix\right)=e^{-i{\f$

For ${\displaystyle \eta (z)}$ the Dedekind eta function, the modular form ${\displaystyle f_{\alpha ,\beta }(z)=\eta (z)^{2\alpha }{\overline {\eta (z)^{2{\overline {\beta$ is such that ${\displaystyle f_{\alpha ,\beta }(\gamma (z))=\nu (\gamma ,z)f_{\alpha ,\beta }(z)}$ for any ${\displaystyle \gamma \in SL_{2}(\mathbb {Z} )}$ .

References#edit

Robert Rankin, Modular Forms and Functions, (1977) Cambridge University Press ISBN 0-521-21212-X. (Chapter 3 is entirely devoted to automorphic factors for the modular group.)
Pasles, Paul C. (2003), "Multiplier systems", Acta Arithmetica, 108 (3): 235–243, ISSN 0065-1036. (For the complex generalization.)

Categories Modular forms

This article is mirrored from “Automorphic factor” on English Wikipedia, revision 1364776814, written by Wikipedia's contributors and licensed CC BY-SA 4.0. Editing it here creates a Quire copy with its own history.

Synced with Wikipedia revision 1364776814 · just now