Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education
teknopedia

teknopedia

teknopedia

teknopedia

teknopedia
  • Registerasi
  • Brosur UTI
  • Kip Scholarship Information
  • Performance
  1. Weltenzyklopädie
  2. Siegelsche Modulform – Wikipedia
Siegelsche Modulform – Wikipedia
aus Wikipedia, der freien Enzyklopädie

Siegelsche Modulformen sind Verallgemeinerungen von Modulformen in mehreren komplexen Variablen und Beispiele für Automorphe Formen und Shimura-Varietäten.

Sie sind auf dem Siegelschen Halbraum H g {\displaystyle {\mathcal {H}}_{g}} {\displaystyle {\mathcal {H}}_{g}} definiert, dem Raum der komplexen symmetrischen g × g {\displaystyle g\times g} {\displaystyle g\times g}-Matrizen mit positiv definitem Imaginärteil. Siegelsche Modulformen sind holomorphe Funktionen auf dem Siegelschen Halbraum, die eine Automorphiebedingung erfüllen.

Sie stehen in ähnlicher Relation zu Abelschen Varietäten wie elliptische Modulformen zu elliptischen Kurven. Ursprünglich wurden sie von Carl Ludwig Siegel 1935 eingeführt im Rahmen seiner analytischen Theorie quadratischer Formen und finden Anwendungen in der Zahlentheorie.

Es gibt Siegelsche Modulformen, die analog Eisensteinreihen bei Modulformen konstruiert sind, und solche, die Thetafunktionen zu quadratischen Formen sind. Die Theorie wurde in möglichst weitgehender Anlehnung an die der elliptischen Modulformen aufgebaut.

Definition

[Bearbeiten | Quelltext bearbeiten]

Sei

Γ g = S p 2 g ( Z ) = { γ ∈ G L 2 g ( Z )   |   γ T ( 0 I g − I g 0 ) γ = ( 0 I g − I g 0 ) } = { ( A B C D ) ∈ G L 2 g ( Z ) : A T C = C T A , B T D = D T B , A T D − C T B = I g } {\displaystyle {\begin{aligned}\Gamma _{g}&=Sp_{2g}(\mathbb {Z} )=\left\{\gamma \in GL_{2g}(\mathbb {Z} )\ {\big |}\ \gamma ^{\mathrm {T} }{\begin{pmatrix}0&I_{g}\\-I_{g}&0\end{pmatrix}}\gamma ={\begin{pmatrix}0&I_{g}\\-I_{g}&0\end{pmatrix}}\right\}\\&=\left\{{\begin{pmatrix}A&B\\C&D\end{pmatrix}}\in GL_{2g}(\mathbb {Z} ):A^{T}C=C^{T}A\,,B^{T}D=D^{T}B\,,A^{T}D-C^{T}B=I_{g}\,\right\}\end{aligned}}} {\displaystyle {\begin{aligned}\Gamma _{g}&=Sp_{2g}(\mathbb {Z} )=\left\{\gamma \in GL_{2g}(\mathbb {Z} )\ {\big |}\ \gamma ^{\mathrm {T} }{\begin{pmatrix}0&I_{g}\\-I_{g}&0\end{pmatrix}}\gamma ={\begin{pmatrix}0&I_{g}\\-I_{g}&0\end{pmatrix}}\right\}\\&=\left\{{\begin{pmatrix}A&B\\C&D\end{pmatrix}}\in GL_{2g}(\mathbb {Z} ):A^{T}C=C^{T}A\,,B^{T}D=D^{T}B\,,A^{T}D-C^{T}B=I_{g}\,\right\}\end{aligned}}}

die Gruppe symplektischer Matrizen mit Werten in den ganzen Zahlen (Siegelsche Modulgruppe). Dabei ist I g {\displaystyle I_{g}} {\displaystyle I_{g}} die g × g {\displaystyle g\times g} {\displaystyle g\times g}-Einheitsmatrix. Beispiele sind die Matrizen ( I g S 0 I g ) {\displaystyle {\begin{pmatrix}I_{g}&S\\0&I_{g}\end{pmatrix}}} {\displaystyle {\begin{pmatrix}I_{g}&S\\0&I_{g}\end{pmatrix}}}, ( U 0 0 ( U − 1 ) T ) {\displaystyle {\begin{pmatrix}U&0\\0&(U^{-1})^{T}\end{pmatrix}}} {\displaystyle {\begin{pmatrix}U&0\\0&(U^{-1})^{T}\end{pmatrix}}} und ( 0 I g − I g 0 ) {\displaystyle {\begin{pmatrix}0&I_{g}\\-I_{g}&0\end{pmatrix}}} {\displaystyle {\begin{pmatrix}0&I_{g}\\-I_{g}&0\end{pmatrix}}} mit einer symmetrischen Matrix S = S T {\displaystyle S=S^{T}} {\displaystyle S=S^{T}} bzw. einer Matrix U ∈ G L g ( Z ) {\displaystyle U\in GL_{g}(\mathbb {Z} )} {\displaystyle U\in GL_{g}(\mathbb {Z} )}. Diese 3 Matrix-Typen bilden ein Erzeugendensystem der Gruppe.

Die Gruppe operiert auf dem Siegelschen Halbraum über

Z → ( A Z + B ) ( C Z + D ) − 1 {\displaystyle Z\to (AZ+B){(CZ+D)}^{-1}} {\displaystyle Z\to (AZ+B){(CZ+D)}^{-1}}.

Eine Siegelsche Modulform ist eine im Siegelschen Halbraum holomorphe Funktion f {\displaystyle f} {\displaystyle f} mit

f ( ( A Z + B ) ( C Z + D ) − 1 ) = ( det ( C Z + D ) ) k f ( Z ) {\displaystyle f((AZ+B){(CZ+D)}^{-1})={(\det \,(CZ+D))}^{k}f(Z)} {\displaystyle f((AZ+B){(CZ+D)}^{-1})={(\det \,(CZ+D))}^{k}f(Z)}.

g {\displaystyle g} {\displaystyle g} heißt der Grad (manchmal auch Geschlecht), k {\displaystyle k} {\displaystyle k} das Gewicht.

Zusätzlich wird noch verlangt, dass die Modulform im Siegelschen Halbraum beschränkt ist (für g > 1 {\displaystyle g>1} {\displaystyle g>1} folgt das aus dem sogenannten Koecher-Prinzip).

Es gilt:

f ( Z + S ) = f ( Z ) {\displaystyle f(Z+S)=f(Z)} {\displaystyle f(Z+S)=f(Z)} für alle ganzzahligen symmetrischen g × g {\displaystyle g\times g} {\displaystyle g\times g}-Matrizen S = S T {\displaystyle S=S^{T}} {\displaystyle S=S^{T}}
f ( U Z U T ) = ( det U ) k f ( Z ) {\displaystyle f(UZU^{T})={(\det \,U)}^{k}f(Z)} {\displaystyle f(UZU^{T})={(\det \,U)}^{k}f(Z)} für alle U ∈ G L g ( Z ) {\displaystyle U\in GL_{g}(\mathbb {Z} )} {\displaystyle U\in GL_{g}(\mathbb {Z} )}
f ( − Z − 1 ) = ( det Z ) k f ( Z ) {\displaystyle f(-Z^{-1})={(\det \,Z)}^{k}f(Z)} {\displaystyle f(-Z^{-1})={(\det \,Z)}^{k}f(Z)}

Das liefert das Transformationsverhalten unter den Erzeugenden der Siegelschen Modulgruppe S p 2 g ( Z ) {\displaystyle Sp_{2g}(\mathbb {Z} )} {\displaystyle Sp_{2g}(\mathbb {Z} )}.

Es lässt sich zeigen, dass Siegelsche Modulformen eine Fourierentwicklung besitzen.

f ( Z ) = ∑ T a ( T ) e π i S p ( T Z ) {\displaystyle f(Z)=\sum _{T}a(T)e^{\pi iSp(TZ)}} {\displaystyle f(Z)=\sum _{T}a(T)e^{\pi iSp(TZ)}}

mit symmetrischen ( T = T T {\displaystyle T=T^{T}} {\displaystyle T=T^{T}}) positiv semidefiniten Matrizen T (kurz: T ≥ 0 {\displaystyle T\geq 0} {\displaystyle T\geq 0}).

In arithmetischen Anwendungen wird statt der symplektischen Gruppe Γ g = S p 2 g ( Z ) {\displaystyle \Gamma _{g}=Sp_{2g}(\mathbb {Z} )} {\displaystyle \Gamma _{g}=Sp_{2g}(\mathbb {Z} )} auch eine Kongruenzuntergruppe genommen Γ g ( N ) {\displaystyle \Gamma _{g}(N)} {\displaystyle \Gamma _{g}(N)} (mit einer natürlichen Zahl N {\displaystyle N} {\displaystyle N}, der Stufe):

Γ g ( N ) = { γ ∈ Γ g : γ ≡ I 2 g mod N } , {\displaystyle \Gamma _{g}(N)=\left\{\gamma \in \Gamma _{g}:\gamma \equiv I_{2g}\mod N\right\},} {\displaystyle \Gamma _{g}(N)=\left\{\gamma \in \Gamma _{g}:\gamma \equiv I_{2g}\mod N\right\},}

Bemerkung: Es gibt auch eine erweiterte Definition, in der die Siegelsche Modulform vektorwertig ist (die oben definierte Siegelsche Modulform heißt dann skalarwertig).

Dazu wird für die Definition des Gewichts eine rationale Darstellung

ρ : GL g ( C ) → GL ( V ) {\displaystyle \rho :{\textrm {GL}}_{g}(\mathbb {C} )\rightarrow {\textrm {GL}}(V)} {\displaystyle \rho :{\textrm {GL}}_{g}(\mathbb {C} )\rightarrow {\textrm {GL}}(V)}

in einem komplexen Vektorraum V {\displaystyle V} {\displaystyle V} herangezogen. Mit der Definition

( f | γ ) ( Z ) = ( ρ ( C Z + D ) ) − 1 f ( γ Z ) . {\displaystyle (f{\big |}\gamma )(Z)=(\rho (CZ+D))^{-1}f(\gamma Z).} {\displaystyle (f{\big |}\gamma )(Z)=(\rho (CZ+D))^{-1}f(\gamma Z).}

ist die holomorphe Funktion

f : H g → V {\displaystyle f:{\mathcal {H}}_{g}\rightarrow V} {\displaystyle f:{\mathcal {H}}_{g}\rightarrow V}

eine Siegelsche Modulform vom Grad g {\displaystyle g} {\displaystyle g}, falls

( f | γ ) = f {\displaystyle (f{\big |}\gamma )=f} {\displaystyle (f{\big |}\gamma )=f}

für alle γ ∈ Γ g {\displaystyle \gamma \in \Gamma _{g}} {\displaystyle \gamma \in \Gamma _{g}}.

Literatur

[Bearbeiten | Quelltext bearbeiten]
  • Eberhard Freitag: Siegelsche Modulformen, Springer 1983
  • Eberhard Freitag: Siegelsche Modulfunktionen, Jahresbericht DMV, Band 79, 1977, S. 79–86, pdf
  • Helmut Klingen: Introductory Lectures on Siegel Modular Forms, Cambridge University Press 1990

Weblinks

[Bearbeiten | Quelltext bearbeiten]
  • Winfried Kohnen, A short course on Siegel modular forms, pdf
Abgerufen von „https://de.teknopedia.teknokrat.ac.id/w/index.php?title=Siegelsche_Modulform&oldid=224717796“
Kategorien:
  • Algebraische Geometrie
  • Zahlentheorie

  • indonesia
  • Polski
  • العربية
  • Deutsch
  • English
  • Español
  • Français
  • Italiano
  • مصرى
  • Nederlands
  • 日本語
  • Português
  • Sinugboanong Binisaya
  • Svenska
  • Українська
  • Tiếng Việt
  • Winaray
  • 中文
  • Русский
Sunting pranala
Pusat Layanan

UNIVERSITAS TEKNOKRAT INDONESIA | ASEAN's Best Private University
Jl. ZA. Pagar Alam No.9 -11, Labuhan Ratu, Kec. Kedaton, Kota Bandar Lampung, Lampung 35132
Phone: (0721) 702022
Email: pmb@teknokrat.ac.id