Eisenstein series of higher level in the case of complex multiplication (Q2544808)

Mittels transzendenter Darstellung der Bernoullischen Zahlen \(B_{2n}\) durch \[ 2\zeta(2n) = \sum_{\substack{{\nu = -\infty}\\ \nu\ne 0}}^\infty \nu^{-2n}; \quad n= 1,2, \ldots \] gelangt man über Bernoullische Polynome rationaler Argumente zu den verallgemeinerten Bernoullischen Zahlen \(B_\chi^k\), welche als Dirichletsche \(L\)-Reihen mit natürlichen Argumenten \(k\) und Charakteren \(\chi_f\) dargestellt werden können; die Zahlen \(B_\chi^k\) liegen im Körper der \(f\)-ten Einheitswurzeln, und lassen eine Teilbruchzerlegung zu, entsprechend dem von Staudtschen rationalen Sonderfall. In Arbeiten von A. Hurwitz und \textit{G. Herglotz} [Verh. Sächs. Akad. Wiss. Leipz, Math.-Naturw. Kl. 74, 269--289 (1922; JFM 48.0438.03)] wurde das lineare Zahlgitter und die ihm beigeordneten trigonometrischen Transzendenten durch geeignete Parallelogrammgitter und zugehörige elliptische Funktionen ersetzt. Geeignet sind solche Flächengitter, welche komplexe Multiplikation zulassen; d.h. jedes Verhältnis \(\omega\) primitiver Perioden ist quadratisch irrational mit \(\Im(\omega)\ne 0\). Durch \textit{E. Hecke} [Abh. Math. Sem. Univ. Hamb. 5, 199--224 (1927; JFM 53.0345.02)] wurde \[ G_k(a_1,a_2) = \mathop{\sum{}'}_{\substack{m_1\equiv a_1\bmod f \\ m_2\equiv a_2\bmod f}} (m_\omega +m_2)^{-k},\quad \Im \omega\ne 0,\ k\ge 3, \tag{1} \] als Eisensteinsche Reihe \(f\)-ter Stufe eingeführt. Eine Normierung durch Dedekindsche \(\eta\)-Funktionen zeigt, daß für singuläre Gitter die aus (1) linear kombinierte Bildung \[ b \, \sum_{h\bmod f} \chi_f(h)G_k(a_1h,a_2h) = C_k(a_1,a_2) = C_k \] eine algebraische Zahl bleibt \((b\) ist ein Normierungsfaktor). Weiterhin lassen sich die von \textit{E. Kummer} und \textit{L. Carlitz} [J. Reine Angew. Math. 202, 174--182 (1959; Zbl 0125.02202)] gefundenen Kongruenzeigenschaften der \(B_\chi^k\) sinngemäß auf die \(C_k\) übertragen.