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
satisfying the four properties given below. Here, the notation
and
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
is a subgroup of SL(2,R), such as, for example, a
Fuchsian group. An element
is a 2×2 matrix
with ''a'', ''b'', ''c'', ''d'' real numbers, satisfying ''ad''−''bc''=1.
An automorphic factor must satisfy:
# For a fixed
, the function
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
.
# For all
and
, one has
for a fixed real number ''k''.
# For all
and
, one has
Here,
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
by
.
# If
, then for all
and
, one has
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
:
with
:
The function
is called a multiplier system. Clearly,
:
,
while, if
, then
:
which equals
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