HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, an automorphic factor is a certain type of analytic function, defined on subgroups of SL(2,R), appearing in the theory of
modular form In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the Group action (mathematics), group action of the modular group, and also satisfying a grow ...
s. The general case, for general groups, is reviewed in the article ' factor of automorphy'.


Definition

An ''automorphic factor of weight k'' is a function \nu : \Gamma \times \mathbb \to \Complex satisfying the four properties given below. Here, the notation \mathbb and \Complex refer to the upper half-plane and the
complex plane In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by the ...
, respectively. The notation \Gamma is a subgroup of SL(2,R), such as, for example, a Fuchsian group. An element \gamma \in \Gamma is a 2×2 matrix \gamma = \begina&b \\c & d\end with ''a'', ''b'', ''c'', ''d'' real numbers, satisfying ''ad''−''bc''=1. An automorphic factor must satisfy: # For a fixed \gamma\in\Gamma, the function \nu(\gamma,z) is a
holomorphic function In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivativ ...
of z\in\mathbb. # For all z\in\mathbb and \gamma\in\Gamma, one has \vert\nu(\gamma,z)\vert = \vert cz + d\vert^k for a fixed real number ''k''. # For all z\in\mathbb and \gamma,\delta \in \Gamma, one has \nu(\gamma\delta, z) = \nu(\gamma,\delta z)\nu(\delta,z) Here, \delta z is the
fractional linear transform In mathematics, a linear fractional transformation is, roughly speaking, a transformation of the form :z \mapsto \frac , which has an inverse function, inverse. The precise definition depends on the nature of , and . In other words, a linear f ...
of z by \delta. # If -I\in\Gamma, then for all z\in\mathbb and \gamma \in \Gamma, one has \nu(-\gamma,z) = \nu(\gamma,z) Here, ''I'' denotes the
identity matrix In linear algebra, the identity matrix of size n is the n\times n square matrix with ones on the main diagonal and zeros elsewhere. Terminology and notation The identity matrix is often denoted by I_n, or simply by I if the size is immaterial o ...
.


Properties

Every automorphic factor may be written as :\nu(\gamma, z)=\upsilon(\gamma) (cz+d)^k with :\vert\upsilon(\gamma)\vert = 1 The function \upsilon:\Gamma\to S^1 is called a multiplier system. Clearly, :\upsilon(I)=1, while, if -I\in\Gamma, then :\upsilon(-I)=e^ which equals (-1)^k when ''k'' is an integer.


References

* 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.)'' Modular forms