Inommatematiken är enautomorfisk faktor en viss slagsanalytiska funktioner definierade överdelgrupper avSL(2,R) som förekommer inom teorin avmodulära former .
Enautomorfisk faktor av vikt k är en funktion
ν
:
Γ
×
H
→
C
{\displaystyle \nu:\Gamma \times \mathbb {H} \to \mathbb {C} }
som satisfierar fyra krav beskrivna nedan. Här betecknar
H
{\displaystyle \mathbb {H} }
och
C
{\displaystyle \mathbb {C} }
övre planhalvan ochkomplexa planet .
Γ
{\displaystyle \Gamma }
är en delgrupp SL(2,R), exempelvis enFuchsisk grupp .Ett element
γ
∈
Γ
{\displaystyle \gamma \in \Gamma }
är en 2x2-matris
γ
=
[
a
b
c
d
]
{\displaystyle \gamma =\left[{\begin{matrix}a&b\\c&d\end{matrix}}\right]}
meda ,b ,c ,d reella tal medad −bc =1.
En automorfisk faktor måste satisfiera:
1. För fixerat
γ
∈
Γ
{\displaystyle \gamma \in \Gamma }
är funktionen
ν
(
γ
,
z
)
{\displaystyle \nu (\gamma,z)}
en analytisk funktion av
z
∈
H
{\displaystyle z\in \mathbb {H} }
.
2. För alla
z
∈
H
{\displaystyle z\in \mathbb {H} }
och
γ
∈
Γ
{\displaystyle \gamma \in \Gamma }
är
|
ν
(
γ
,
z
)
|
=
|
c
z
+
d
|
k
{\displaystyle \vert \nu (\gamma,z)\vert =\vert cz+d\vert ^{k}}
för ett fixerat reellt talk .
3. För alla
z
∈
H
{\displaystyle z\in \mathbb {H} }
och
γ
,
δ
∈
Γ
{\displaystyle \gamma,\delta \in \Gamma }
är
ν
(
γ
δ
,
z
)
=
ν
(
γ
,
δ
z
)
ν
(
δ
,
z
)
.
{\displaystyle \nu (\gamma \delta,z)=\nu (\gamma,\delta z)\nu (\delta,z).}
4. Om
−
I
∈
Γ
{\displaystyle -I\in \Gamma }
har man för alla
z
∈
H
{\displaystyle z\in \mathbb {H} }
och
γ
∈
Γ
{\displaystyle \gamma \in \Gamma }
ν
(
−
γ
,
z
)
=
ν
(
γ
,
z
)
.
{\displaystyle \nu (-\gamma,z)=\nu (\gamma,z).}
Här ärI enhetsmatrisen .
Varje automorfisk faktor kan skrivas som
ν
(
γ
,
z
)
=
υ
(
γ
)
(
c
z
+
d
)
k
{\displaystyle \nu (\gamma,z)=\upsilon (\gamma )(cz+d)^{k}}
med
|
υ
(
γ
)
|
=
1
{\displaystyle \vert \upsilon (\gamma )\vert =1}
Funktionen
υ
:
Γ
→
S
1
{\displaystyle \upsilon:\Gamma \to S^{1}}
kallas förmultipelsystemet .Den har de lättbevisade egenskaperna
υ
(
I
)
=
1
{\displaystyle \upsilon (I)=1}
,
medan om
−
I
∈
Γ
{\displaystyle -I\in \Gamma }
,
υ
(
−
I
)
=
e
−
i
π
k
.
{\displaystyle \upsilon (-I)=e^{-i\pi k}.}
Den här artikeln är helt eller delvis baserad på material frånengelskspråkiga Wikipedia ,Automorphic factor ,17 mars 2013 .
Robert Rankin ,Modular Forms and Functions ,(1977) Cambridge University PressISBN 0-521-21212-X .(Kapitel 3 handlar om automorfiska faktorer för modulära gruppen.)