Automorphic Factor
   HOME

TheInfoList



OR:

In mathematics, 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, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgroup ...
s 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 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. Facto ...
'.


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, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to ...
and the complex plane, 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 isometries of the hyperbolic plane, or conformal transformations of the unit disc, or conformal transformations o ...
. 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 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.


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 comedic fantasy novels. Born in Parsons Green, London, he started writing in the late 1970s, and first entered the bestsellers lists with ''Snuff Fiction'' in 1999, by ...
, ''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