Urocanase: Difference between revisions
Jump to navigation
Jump to search
en>Rjwilmsi m Journal cites:, added 1 DOI, using AWB (7850) |
en>Dcirovic added Category:EC 4.2.1 using HotCat |
||
| Line 1: | Line 1: | ||
In [[mathematics]], an '''automorphic factor''' is a certain type of [[analytic function]], defined on [[subgroup]]s of [[SL(2,R)]], appearing in the theory of [[modular form]]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 | |||
:<math>\nu:\Gamma \times \mathbb{H} \to \mathbb{C}</math> | |||
satisfying the four properties given below. Here, the notation <math>\mathbb{H}</math> and <math>\mathbb{C}</math> refer to the [[upper half-plane]] and the [[complex plane]], respectively. The notation <math>\Gamma</math> is a subgroup of SL(2,R), such as, for example, a [[Fuchsian group]]. An element <math>\gamma\in\Gamma</math> is a 2x2 matrix | |||
:<math>\gamma=\left[\begin{matrix}a&b \\c & d\end{matrix}\right]</math> | |||
with ''a'', ''b'', ''c'', ''d'' real numbers, satisfying ''ad''−''bc''=1. | |||
An automorphic factor must satisfy: | |||
:1. For a fixed <math>\gamma\in\Gamma</math>, the function <math>\nu(\gamma,z)</math> is a [[holomorphic function]] of <math>z\in\mathbb{H}</math>. | |||
:2. For all <math>z\in\mathbb{H}</math> and <math>\gamma\in\Gamma</math>, one has | |||
::<math>\vert\nu(\gamma,z)\vert=\vert cz+d\vert^k</math> | |||
:for a fixed real number ''k''. | |||
:3. For all <math>z\in\mathbb{H}</math> and <math>\gamma,\delta\in\Gamma</math>, one has | |||
::<math>\nu(\gamma\delta,z)=\nu(\gamma,\delta z)\nu(\delta,z)</math> | |||
:Here, <math>\delta z</math> is the [[fractional linear transform]] of <math>z</math> by <math>\delta</math>. | |||
:4.If <math>-I\in\Gamma</math>, then for all <math>z\in\mathbb{H}</math> and <math>\gamma\in\Gamma</math>, one has | |||
::<math>\nu(-\gamma,z)=\nu(\gamma,z)</math> | |||
:Here, ''I'' denotes the [[identity matrix]]. | |||
==Properties== | |||
Every automorphic factor may be written as | |||
:<math>\nu(\gamma, z)=\upsilon(\gamma) (cz+d)^k</math> | |||
with | |||
:<math>\vert\upsilon(\gamma)\vert = 1</math> | |||
The function <math>\upsilon:\Gamma\to S^1</math> is called a '''multiplier system'''. Clearly, | |||
:<math>\upsilon(I)=1</math>, | |||
while, if <math>-I\in\Gamma</math>, then | |||
:<math>\upsilon(-I)=e^{-i\pi k}</math> | |||
==References== | |||
* [[Robert Alexander Rankin|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.)'' | |||
[[Category:Modular forms]] | |||
Latest revision as of 23:22, 24 May 2013
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
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, respectively. The notation is a subgroup of SL(2,R), such as, for example, a Fuchsian group. An element is a 2x2 matrix
with a, b, c, d real numbers, satisfying ad−bc=1.
An automorphic factor must satisfy:
- 1. For a fixed , the function is a holomorphic function of .
- Here, is the fractional linear transform of by .
- Here, I denotes the identity matrix.
Properties
Every automorphic factor may be written as
with
The function is called a multiplier system. Clearly,
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.)