Automorfisk faktor

Inom matematiken är en automorfisk faktor en viss slags analytiska funktioner definierade över delgrupper av SL(2,R) som förekommer inom teorin av modulära former.

Definition

En automorfisk faktor av vikt k är en funktion

$\nu :\mathrm{\Gamma }\times ℍ\to ℂ$

som satisfierar fyra krav beskrivna nedan. Här betecknar $ℍ$ och $ℂ$ övre planhalvan och komplexa planet. $\mathrm{\Gamma }$ är en delgrupp SL(2,R), exempelvis en Fuchsisk grupp. Ett element $\gamma \in \mathrm{\Gamma }$ är en 2x2-matris

$\gamma =\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$

med a, b, c, d reella tal med ad−bc=1.

En automorfisk faktor måste satisfiera:

1. För fixerat $\gamma \in \mathrm{\Gamma }$ är funktionen $\nu (\gamma ,z)$ en analytisk funktion av $z\in ℍ$.

2. För alla $z\in ℍ$ och $\gamma \in \mathrm{\Gamma }$ är

$|\nu (\gamma ,z)|=|cz+d{|}^k$

för ett fixerat reellt tal k.

3. För alla $z\in ℍ$ och $\gamma ,\delta \in \mathrm{\Gamma }$ är

$\nu (\gamma \delta ,z)=\nu (\gamma ,\delta z)\nu (\delta ,z).$

4. Om $-I\in \mathrm{\Gamma }$ har man för alla $z\in ℍ$ och $\gamma \in \mathrm{\Gamma }$

$\nu (-\gamma ,z)=\nu (\gamma ,z).$

Här är I enhetsmatrisen.

Egenskaper

Varje automorfisk faktor kan skrivas som

$\nu (\gamma ,z)=\upsilon (\gamma )(cz+d{)}^k$

med

$|\upsilon (\gamma )|=1$

Funktionen $\upsilon :\mathrm{\Gamma }\to S^1$ kallas för multipelsystemet. Den har de lättbevisade egenskaperna

$\upsilon (I)=1$,

medan om $-I\in \mathrm{\Gamma }$,

$\upsilon (-I)=e^{-i\pi k}.$

Källor

• Mall:Enwp
• Robert Rankin, Modular Forms and Functions, (1977) Cambridge University Press Mall:ISBN. (Kapitel 3 handlar om automorfiska faktorer för modulära gruppen.)