Automorphic Factor
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, an automorphic factor is a certain type of
analytic function In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex ...
, defined on
subgroup In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group (mathematics), group under a binary operation  ...
s of
SL(2,R) In mathematics, the special linear group SL(2, R) or SL2(R) is the group of 2 × 2 real matrices with determinant one: : \mbox(2,\mathbf) = \left\. It is a connected non-compact simple real Lie group of dimension 3 with ap ...
, appearing in the theory of
modular form In mathematics, a modular form is a holomorphic function on the complex upper half-plane, \mathcal, that roughly satisfies a functional equation with respect to the group action of the modular group and a growth condition. The theory of modul ...
s. The general case, for general groups, is reviewed in the article '
factor of automorphy In mathematics, an automorphic function is a function on a space that is invariant under the action of some group, in other words a function on the quotient space. Often the space is a complex manifold and the group is a discrete group. Factor ...
'.


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 In mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is the set of points with instead. Arbitrary oriented half-planes can be obtained via a planar rotation. Half-planes are an example ...
and the
complex plane In mathematics, the complex plane is the plane (geometry), plane formed by the complex numbers, with a Cartesian coordinate system such that the horizontal -axis, called the real axis, is formed by the real numbers, and the vertical -axis, call ...
, respectively. The notation \Gamma is a subgroup of SL(2,R), such as, for example, a
Fuchsian group In mathematics, a Fuchsian group is a discrete subgroup of PSL(2,R). The group PSL(2,R) can be regarded equivalently as a group of orientation-preserving isometries of the hyperbolic plane, or conformal transformations of the unit disc, or co ...
. 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 de ...
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 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. It has unique properties, for example when the identity matrix represents a geometric transformation, the obje ...
.


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 Robert Fleming Rankin (born 27 July 1949) is a prolific British author of fantasy comedy, comedic fantasy novels. Born in Parsons Green, London, he started writing in the late 1970s, and first entered the bestsellers lists with ''Snuff Fictio ...
, ''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