Über die orthogonale Zerlegung von Formenscharen der rationalen Modulgruppe (Q759790): Difference between revisions

Für eine kanonische Untergruppe \(\Delta\) der Modulgruppe \(\mathrm{SL}_2(\mathbb{Z})\) sei \(\Lambda^+\) die lineare Schar der ganzen Spitzenformen einer Formenklasse \(\Lambda:=\{\Delta,-r,\mu \}\), wobei \(r\in\mathbb{R}_+\) und \(\upsilon\) ein gewisses Multiplikatorsystem aus \([\Delta,-r]^1\) ist. Für eine Untergruppe \(\Gamma\) der Modulgruppe \(\mathrm{SL}_2({\mathbb{Z}})\), mit \(\Gamma\supset \Delta\), läßt sich \(\upsilon\) als Multiplikatorsystem auf \(\Gamma\) erklären, und deshalb kann man die lineare Schar \(K^+\) der Formenklasse \(K=\{\Gamma,- r,\upsilon \}\) betrachten. Ist nun die Nebenklassenzerlegung von \(\Gamma\) nach \(\Delta\) durch \(\Gamma =\cup^{\mu}_{\nu =1} \Delta Q_{\nu}\) \((\mu:=[\Gamma:\Delta])\) gegeben, so definiert man den Spuroperator \[ \operatorname{Sp}_{\Delta /G}(\phi):=\sum^{\mu}_{\nu =1}\upsilon^{-1}(Q_{\nu}) \phi | Q_{\nu},\quad \phi \in \{\Delta,-r,\upsilon \}. \] In einer früheren Arbeit [Math. Z. 96, 296--332 (1967; Zbl 0177.34902)] hat der Verf. bewiesen: (i) Die Unabhängigkeit des Spuroperators von der Wahl der Repräsentanten \(Q_{\nu}\), (ii) \(\operatorname{Sp}_{\Delta /\Gamma}\phi \in \{\Gamma,-r,-r,\upsilon \}\), (iii) die orthogonale Zerlegung \(\Lambda^+=K^+\oplus \operatorname{ke\, Sp}_{\Delta /\Gamma}\Lambda^+\) im Sinne des Peterssonschen inneren Produktes \((\operatorname{ke\,Sp}_{\Delta /\Gamma}= \) Kern des Spuroperators). Seien nun \(\Gamma,\Delta_ 1,\Delta_ 2,\theta\) kanonische Untergruppen der Modulgruppe \(\mathrm{SL}_2(\mathbb{Z})\) mit \(\Gamma \supset \Delta_1\), \(\Gamma \supset \Delta_2\), \(\theta:=\Delta_1\cap \Delta_2\). Unter der Voraussetzung \([\Gamma:\theta]=\mu_1\mu_2\) \((\mu_j=[\Gamma:\Delta_ j]\), \(j=1,2)\) wird in dieser Arbeit die Zerlegung \[ \Xi^+=K^+ \oplus \operatorname{ke\, Sp}_{\Delta_1/\Gamma}\Lambda^+_1 \oplus \operatorname{ke\, Sp}_{\Delta_ 2/\Gamma}\Lambda^+_2 \oplus \cap_{j=1,2} \operatorname{ke\, Sp}_{\theta /\Delta_j}\Xi^+ \] der linearen Schar \(\Xi^+\) der ganzen Spitzenformen der Formenklasse \(\Xi =\{\theta,-r,\upsilon \}\) bewiesen. In speziellen Fällen wird auch \(\dim_{\mathbb{C}}\cap_{j=1,2} \operatorname{ke\, Sp}_{\theta /\Delta_ j}\Xi^+\) berechnet. Es zeigt sich außerdem, daß die Gruppe \(\Gamma^0[nq]\) für jede Primzahl \(q\) in \(\Gamma^0[n]\) maximal ist \((n\in\mathbb{N})\).