Konvergenz verallgemeinerter Eisensteinscher Reihen.

Von

Hel Braun in G0ttingen.

1. Wie man wei~, sind die gewShnlichen Eisensteinschen Reihen in

folgender Weise definiert: Es bedeute x eine komplexe Variable mit positivem
Imagin~rteil und ~ eine natiirliche Zahl > 2. Man l~l~t dann das Zahlenpaar
a, b alle Paare teilerfremder ganzer Zahlen, fiir die a > 0 ist, und das Paar 0, 1
durchlaufen und bildet
q)(x,e) = • ( a x + b)-c'.
a~ b

Bekanntlich sind dann diejenigen Eisensteinschen Reihen ~ (x, ~), fiir die o
mSglichst klein und eine gerade Zahl ist, in der Theorie der gewShnlichen
Modulfunktionen von besonderem Interesse.
Nachdem nun Siegel 1) gezeigt hat, welche Bedeutung den yon ihm ge-
bildeten verallgemeinerten Eisensteinschen Reihen in der Theorie der Modul-
funktionen hSheren Grades und damit in der Theorie der algebraischen
Kurven yore Geschlecht n :> 1 zukommt, ist es auch in diesen F~llen not-
wendig, den Kcavergenzbereich der Eisensteinschen Reihen zu kemqen. Es
wird deshalb im folgenden festgestellt, wann die verallgemeinerten E!senstein-
schen Reihen absolut konvergieren.
Der Konvergenzbereicb der verallgemeinerten Eisensteinschen Reihen
ist fiir dieselben Fragen yon Bedeutung, wie der Konvergenzbereich der
gewShnlichen Eisensteinsehen Reihen. Siegel beweist n~mlich, dab die
veralIgemeinerten Eisensteinschen Reihen, gebildet mit einer n-reihigen,
komplexen, symmetrischen, variablen Matrix 3E, deren Imagin~rteil Matrix
einer positiv definiten quadratischen Form ist, zur vollen Modulgruppe ge-
hSrige Modulformen n-ten Grades sind; und zwar im Fall eines geraden
Exponenten ~. Indem er geeignete Potenzprodukte solcher Reihen bildet,
gelangt er so zu Modulfunktionen n-ten Grades. Wie Siegel welter angibt,
kann man auf diese Weise ein System yon n (n + 1~ algebraisch voneinander
unabhangigen Modulfunktionen vom Grad n konstruieren, so dall jede weitere
yon diesen algebraisch abhangig ist. Im Fall n = 1, also im Fall einer kom-

l) Annals of Mathematics Vol. 36, Nr. 3, 1935: t?ber die analytische Theorie tier
quadratischen Formen.
25 *
388 H. BraUn.

l~lexen Variablen x, bildet man mit Hilfe der'Reihen g2 und gs diej-Funk~tion,

v0n der dann alle an~eren Modulfunktionen ersten Grades rational abh~ngig
sind. Die Reihen g~ und gs sind dabei bis auf konstante Faktoren unsere'Reihen
9 (x, 4) Und ~ (x, 6). Vm nun fiir einen bestimmten'Grad n ( > 1) ein zweck-
m~iges System solqher unabh~ngigen Modulfunktionen aufstellen zu kSnnen,
ist es in erster Linie notwendig, die kleinsien ~xponenten 0 zu kennen, fiir
welche die verallgemeinerten Eisensteinschen Reihen absolut konvergieren.
Hat man einmal den Konvergenzbereich dieser veral|gemeinerte~L.~isen-:
s~einschen Reihen, so ergibt sich daraus sofort der Konvergenzbereich
' \ . .
et~as
,
komplizierter gebildeter Reihen. Solehe Reihen treten auf ers~ens i n .der
ana!ytischen Theorie der quadratischen Formen ~nd zweitens in der Theorie
derjenigen Modulformen, die zu einer Untergruppe der vollen Modulgruppe
gehSren.
2. Zuerst werden die verallgemeinerten EisensteirL~chen Reihen definiert.
Dazu ist es notwendig, einige Begriffe und Bezeichntmgen einzufiihren.
und ~B seien ganze, n:rejhige Matrizen, also Matrizen mit lauter ganzen
Elementen; 9~' und ~B' seien ihre Transponierten. Man sagt, die Matrizeil ~I
und ~B bi!den das symmetrische Matrizefipaar 9~, ~B, falls ~ B ' == ~B?~' ist.
Dieses i~Iatrizenpaar nennt man teilerfremd, wenn nur fiir ganze Matrizen
die Matrizen $92 und ~5~B beide ganz sind. Zwei n-reihige symmetrische
Matrizenpaare 9~, ~B und ~I*, ~B* nennt man assoziiert,~wenn ~*~B' ---- ~B*~',
ist, andernfalts sagt man, sie seien nicht assoziiert: Ferner soll mit ~ eine
komplexe n-reihige symmetrische Matrix bezeichnet werden, deren Imaginiir-
teil positivist, was besa~, dab die Imaginiirteile der Elemente yon ~ die
Matrix einer positiv definiten quadratischen F o r m bilden. AuBerdem soil ~o
nicht nut die Werte der natiirlichen Zahlen ~ 2, sondern alle positiven
reellen Werte ann6hmen. L~Bt m a n nun das Paar :~, ~B ein fest6s, v011es
System nicht assoziierter, symmetrischer, teileffremder Matrizenpaare durch-
laufen, dann ist die verallgemeinerte Eisensteinsche Reihe 9 (~; ~) erkl~irt
durch
e) - ~I,~ +

Dabei wird unter [~I~ + ~B(_o der Ausdmck e-'.' lo~I~ x + $1 verstanden, wenn
<ler I-lauptwert des Logaiithmus genommen ist.
Resu~vat des vorliegenden Aufsatzes wird sein:
Die" l ~ e 9 (~, e) k~ iert~ absolut ~iir o~~ n + i, sie konvergiert
~ettoeh nieitt mehr absolut ]iir e = n + 1.
Bisher war das nur fiir gewShnliehe Eisensteinsehe Reihen, also fiir den
Fall n-----! bekannt; aul~erdem hat Siegel bewiesen, da~ ~ (:~, ~) fiir ~o:>
n ~ -t- --2-- absolut konvergiert,
 Konvergenz verallgemeinerter Eisensteinscher Reihen. 389
3. I n der Folge wird die --Q-re Potenz des absolucen Betrages yon
12~ 4-~B[ mit abs ( 2 ~ 4- ~B)-e bezeichnet. Diese Bezeictmung wixd auch
sonst fiir den absoluten Betrag verwendet. Weil man nach dem Bereich
fragt, in dem ~ (~, ~) absolut konvergiert~ genfigt es, die Reihe
(3s ~) = 2: abs (23s 4- ~)-~

zu betrachtem Die .4mordnung der Summanden ist dabei beliebig, so dab man
zun~chst alle diejenigen zusammenfassen kann, fiir die 121 ~= 0 ist. Die
so entsteh~nde Teilreihe y o n ~p(:~, ~) nenneman ] (~, ~). Zuerst wird gezeigt,
daft Sieh derKonvergenzbereich, yon ~2(3s ~) aus dem Konvergenzbereich
"yon ] (~, 5) sofsrt ergibt.
~, ~ , ~ und :~: seien ganze n-reihige Matrizen, die den Relationen
= = _ =

geniigen, wenn ~ die Einheitsmatrix bedeutet. I s t fiir den Moment :~ irgend-

eine symmetrische, n-reihige, komplexe Matrix; so nennt man die Substitution
:s = (~3s 4- ~) (R3s 4- ~)-i
Modulsubstitution n-ten Grades. Eine wesentliehe Eigenschaft .dieser Sub-
stitution ist, dal3 eine symmetrische Matrix 3s mit p0sitivem Imagin~rtefl, wie
sie in unserer Reihe ~0(3s ~) auftritt, in eine Matrix 3s iibergeht, die auch
diese Eigenschaften hat. Im folgenden soll eine spezielle solche Modul,
substitution verwendet werden. Man setzt n~imlich ~ = - - ~ , 9~ = ~ ,
= ~, wenn ~ irgendeine garLze, symmetrische , n-reihige Matrix bedeutet,
und t r ~ ffir E die Nullmatrix ein. Bei dieser speziellen Substitution gehen
die Summanden abs (23s 4- ~B)-e unserer Reihe ~ (:~, ~) fiber in
~bs (:~)e abs ( ( 2 ~ 4- ~B) 3s -- 2)-e.
Nun betraehte man einen betiebigen Summanden yon y~(:~, e), fiir den
[21 = 0 ist. Es wird dann behauptet, daft eine gauze, symmetrische Matrix
existiert, deren Elemen~e Werte der Reihe 0, 1 , . . . , n haben, und ffir die
] 2 ~ 4- ~BI ~= 0 ist. Um das zu zeigen, fa~t man 19~~ 4- ~BI als Polynom
Jn den unabh~ngigen Elementen s l , . . . , s~ (l = n(n2~- 1)) yon ~ auf, die man
sich erst als Unbestimmte denkt. Einem Siegelschen Hilfss~,tz ~) entnimmt
man, da~ 12 ~ 4- ~BI nicbt identisch in den Elementen yon ~ verschwinden
kann. Weil 12 ~ 4- ~ I in allen Variablen s~,..., s~ hSchstens yore n-ten Grad
"ist, kann dieses Polynom jetzt nicht ffir s~mtliche n 4- 1 Werte sl 0, 1 , . . . , n
identisch in s.~. . . . . s~ versehwinden Angenommen nun, es g~be fiir si . . . . , s~
(l~j~l) ein ganzzahliges Wertsystem 0 ~ _ s x. . . . , s ~ n , so da~
1 2 ~ 4 - ~ l nicht identisch in s~+~,..., s~ verschwindet, so trage man dieses
z) Zitierte Arbeit, S. 597.
390 H. Braun.

Wertsystem fiir s l , . . . , sj ein. Weil [92~ + ~B] in s~+ 1 h~chstens vom n-ten
Grad ist, kann das so entstehende Polynom nicht fiir siimtliche n + 1 Werte
s~. 1 = 0, 1 , . . . , ,~ identisch in sj+ 2 . . . . . sz verschwinden. Mittels Induktion
ergibt sich daraus die Richtigkeit der Behauptung.
Man kann n ( n + 2 l ) 9 = m versehiedene, i n beliebiger Art geordnete
symmetrisehe Matrizen ~1, ~ . . . . . ~,, bilclen, so dab jedes ihrer Elemente
einen Wert der Reihe 0, 1 . . . . , n hat. Alle diejenigen Glieder der Reihe
~p(:~,e), far die 192t - - o, 192 1+ 1 = 0 . . . . . . 192 -1+ 1 - - o,
]92~k + ~[ ~ 0 (k ~ m) ist, denke man sieh nun zu der Reihe ~k (3E, Q)
vereinigt. Folglieh wird

k=l
Andererseits ergibt sieh bei Ausfiihrung der Modulsubstitution 3E = ~ -- ~ - ~
~ (3E, e) = abs (~k) ,~ • abs ((92~k +:~B)Xk -- 92)-e,
C~l,~)
wobei das Paar ~r, ~ das bei der ])efinition yon Wl: (3E, Q) besehriebene Teil-
system aller nieht-assoziierten, symmetrisehen, teilerfremden Matrizenpaare
durehl~uft. ])er Imagin~irteil der symmetrisehen Matrix 3Ek ist dabei positiv,
weil eine Modulsubstitution gemaeht wurde. Mit 92, ~B ist aueh 92 ~k 4- ~B, -- 92
ein symmetrisehes, teileffremdes Matrizenpaar, und wenn 92, ~Bdas besehriebene
Teilsystem aller nieht-assoziierten, symmetrisehen, teileffremden Matrizen-
paare durehl~uft, durehl~uft 92~k 4- ~B,--92 ein System nieht-assoziierter
symmetriseher teilerfremder Matrizenpaare, fiir welches I 9 2 ~ 4- ~BI =ff 0 ist.
])araus entnimmt man, dal~ ~p~ (3~, p) eine Teilreihe yon abs (3~) -~/(3~, ~)
oder diese Reihe selbst sein muB. Wird nun noeh bewiesen, da6 /(3~, ~) fiir
alle ~ mit positivem Imagin~rteil konvergiert, wenn ~ ~ n 4- 1 und divergiert,
wenn ~ = n 4- 1 ist, so etgibt sieh daraus, weft die Anzahl der v/~ (3~, ~)
endlieh ist, dal~ aueh W (3~, ~) diese E~genschaft hat.
4. Die Untersuehung yon /(3~, ~) wird vereinfaeht, wenn nmn /(3~, ~)
noeh mit der folgendermal~en gebildeten Reihe Z(~) multipliziert:
])iejenigen Matrizen, die dureh linksseitige oder reehtsseitige Multiplikation
mit einer unimodularen Matrix auseinander hervorgehen, nennt man links
oder reehts assoziiert; anderenfalls sagt man, sie sind links oder reehts nieht-
assoziiert. Man ]~il~t nun die Matrix ~3 alle links nieht-assoziierten, n-reihigen,
ganzzahligen Matrizen durehlaufen, filr die I~[ =f= O, ist und definiert:
Z (e) = S abs (r
$
Um diese Reihe mit /(3~, s muitiplizieren zu k6nnen, mu6 man erst ihren
Konvergenzbereieh bestimmen. ])as gesehieht naeh Eisenstein mittels ge-
eigneter Wahl eines Repr&sentantensystems aller links nieht-assoziierten
 Konvergenz verallgemeinerter Eisensteinscher Reihen. 391

Matrizen ~. Man kann j a durch ]inksseitige Multiplikation mit einem uni-

modularen Faktor erreichen, daft ~ eine Dreiecksmatrix wird, was besagen
soll, dall die Elemente oberhalb der Hauptdiagonale den W e d 0 haben.
Angenommen, diese Dreiecksmatrix habe die Diagonalelemente dl, d~. . . . , d~,
deren Reihenfolge lest ist: Eine einfache Abziihlung Zeigt dann~ dab es
d ,1 - l , twn2 - 2 . . d,,_
. . 1 . links
. nicht-assoziierte Matrizen ~ mit diesen ~;orge-
schriebenen Diagonalelementeu gibt, Folglich ist

dr, 9 . ,: d n

wobei d l , . . . , d,~ unabh~ingig voneinander alle natiirlichen Zahlen dutch-

laufen. Daraus ersieht man, dal~ Z (~) fiir ~ ~ n konvergiert. Beweist man
noch, dai3 / (5, ~) Z (~) -=-- ~b (5, ~) ffir ~ ~ n A- 1 konvergiert und. fiir
Q ---- n + 1 divergiert, so gilt dasselbe ffir / (5, Q). Die Reihe r (:~, Q) kann
man in der Form
(5, o) = X abs (~)-.~ abs (5 + 92-1!B)-~

schreiben. Dabei wiM fiber ein volles System nicht:assoziierter, symmetrischer,

nieht notwendig t eilerfremder Matrizenpaare 92, !B summiert, ffir die 192t =~ O
ist. Beim Beweis ist es yon Vorteil, ffir 9 ___~n ~ 1 die Reihe q~ (5, ~) und
nicht /(5, e) zu untersuchen. Der Konvergenzbereich der Reihe r ~)
ergibt sich nun in zwei Schritten.
5. Zwei ganze Matrizen !B1 und !B2 sollen ]congruent nach dem Modul 92
heil3en, falls es eine ganze Matrix ffi gibt, so dal~ !D1 -- !B2 = 92ffi ist; andern-
falls sollen sie inkvngruent modulo 92 genarmt werden. Die in der Reihe
q~ (5, t) fiir ein festes 92 zul~sigen Matrizen !D kann man nach Restldassen
modulo 9~ ordnen. Setzt man n~mlich !D = ~0 ~ ~g~ und |/iilt einerseits ~o
alle inkongruenten Reste modulo 92 durchlaufen, ftir die 9 2 ~ = 93o9~' ist,
und andererseits ~ die Werte aller ganzen, symmetrischen, n-reihigen Matrizen
annehmen, dann durchl/iuft ~ genau alle Matrizen, fiir die 9I~' = ~9~' ist.
Ffihrt man zur Abkiirzung die Bezeichnung 993 ---- 5 ~ 92-x~ o ein, dana
ist ~ wieder symmetrisch mit positivem Imaginiirtei], und man kann q} (5, ~)
auch so schreiben:
r e) = X abs (r { X a b s (9_B+ ~)-.~}.

Dabei wird fiber !~o und ~ in der beschriebenen Weise summie~; die Matrix 92
durchl~uft ein volles System ganzeL links nich~-assoziierter n-reihiger Matrizen
mit yon Null verschiedener Determinante.
Jetzt summiert man zuerst fiber ~ . Man hat also die Reihe
F (~3, e) ---- X abs (9_B-4- ~)-e
392 H. Braun.

zu untersuchen. Es soil bewiesen werden, daft F ( ~ , Q)zwischen zwei positiven,

yon 92 und ~Bounabh~ingigen Schranken liegt, falls ~ ~ n -t- 1 ist. Zu diesem
Zweck vergleicht man erst F (~B, Q) mit dem Integral
J = I a b s (~B + ~)-~ d ~ .

Dieses Integral ist erstreckt fiber den gesamten ~ (~2§ l) dimensionalen Raum,
dessen kartesische Koo~inaten die unabh~ngigen Elemente yon 6 sind, die
man als reelle Variable auffaft. Dieser Raum heil3e lmrz 6-Raum. Zu dem
VergleiehbenStigt man die im folgenden Absehnitt vorgenommene Ab-
seh~tzung.
61 = (s~)) und 62 = (s~) seien zwei, in einem beliebigen Wfirfel V
des 6-Raumes gelegene Punkte. Die Eekpunkte dieses Wiiffels sollen ganz-
zahlige Werte haben und sein Volumen soll 1 sein. Der Realteil von ~B sei
mit ~, der Imagin~irteil mit 3 bezeiehnet; dabei ist 3 aueh der Imagin~irteil
yon :~. Zu beweisen ist jetzt die Ungleiehung
(1) c- 1 ~ a b s ( ~ + ~ ) ~ c,

wenn c ein positiver Weft ist, der nieht yon 92 und ~3o abet von 3 abh~ingt.
Deshalb betrachtet man den Ausdruck
L = log abs (~B + 6~) -- log abs (~B + 61)~
und wendet den Mittelwertsatz der Differentialrechnung an: Fiir eine be-
stimmte Matrix 60, deren Elemente S(k~
~zwischen ~~ und s~) liegeu, gilt dann:

~21o
Folglieh wird
abs (L)~-----~_~~~-~<,--:<nabs e(0 l~) abs
(----~
0skl
) \+ S= eo

----- ~ ' abs (R {! ~!1~+ 6 I-t ~ ~----q---~l/~

l~k~l~Sn, Oakl I/ I '
6 = 6o
wenn allgemein R {~} den Renltefl der komplexen Zahl ~ bedeutet. Die reehte
Seite dieser Ungleiehung vergrSl~e~ man, falls man an Stelle des ~tealteils den
absoluten Betrag nimmt. Bezeiehnet man deshalb die Summe der absoluten
BetrKge aller Elemente yon (~B + 6o) -~ mit a, darm ergibt sieh
abs (L) ~___a.
Nun zeigt man no'ch~ daf a ldeiner, h6chstens gleich dem n-fachen der Spur
yon 3 -~ ist. Dabei benutzt man, daf 3 positivist und deshalb eine reelle
Matrix ~ = (c**) und eine Diagonalmatrix ~ existieren, so d a f
6:'3~: = ~, ~ : ' ( ~ + 6o)~: = ~, (~-13+ 6o) -x = ~ ( ~ + i r
 Konvergenz ver~llgemeinerter Eisensteinseher Reihen. 393

ist. Da~us folgt, weil der absolute Betrag der Diagonalelemente yon ~ + i
gr61~er oder gleich ! ist,
n ~ n
a'_~ Z ,abs(c~cz,) ~ Z { Z abs(ck~)~2 ~ n Z c~,---- nSy(3"l~,.

wenn Sp (3 -x) die Spur yon 3 -x bedeutet. Damit ist die Ungleiehung (1~'}
ffir c -~ en Sp (3-1) bewiesen.
Dieses Resultat wendet man jetzt am Innerhalb yon v werde dabei mit
~ oder ~ derjenige Punkt bezeichnet, fiir den abs ( 2 + ~ ) d e n grSi]ten
oder ldeinsten Weft hat. Naeh der Definition des bestimmten Integrals ist
s = ~ abs (~B + ~ ) - ~ <: J <: ~ abs (~lI~-t- ~ ) - ~ == ~,
V V
wenn die Summation fiber alle Wfirfel V des ~-Raumes erstreckt wird. Ebenso
ist
s iv ( 2 , e) _--__S,
und auflerdem folgt aus der Ungleichung (1)

Daraus ergibt sich

Will man also beweisen, clal] F ( ~ , Q) zwischen zwei positiven, yon 9/und ~Bo
unabhgngigen Konstanten liegt, dana geniigt e~ zu zeigen, dal] J diese
Eigensehaft hatl Das kann man, wie sieh herausstellen wird, ffir ~ :> n
dutch explizite Berechnung yon J naehweisen. Die dazu notwendigen Um-
formungen sind in diesem Gebiet gestattet, weil zum Schlu~ J als Potenz-
produkt yon F-Integralen erseheint und well diese F-Integrale ffir ~ ~ n
die dort regulate mad keine l~ullstellen aufweisende F-Funkti0n darste]len. Die
Bereehnung yon J ffir 0 ~ n wird nun durchgefiihrt.
Es sei ~ eine feste Matrix, f fir die ~' 3 ~ = ~ ist. Dann ist ]~l ~ O.
-Jetzt fiihre man in J neue Variable t~ ~(k ~ l), die unabh~ngigen ElemenCe
4er symmetrischen Matrix

ein. Man rechnet sich aus, dal~ die Funktionaldeterminante I~! -"-~ wird.
Setzt man noch zur Abkiirzung
.( + i e)- d z

wenn das Integral tiber den gesamten 2:-Raum erstreekt ist, so ergibt sich
n §

Deshalb ist J nicht yon ~I und ~8o abh~ngig. Unter Anwendung weiterer
Substitutionen und mit Hflfe eines Indul~ionsschlusses wird jetzt Je, ~ fiir
394 H. Braun.

0 > n >_~ 2 bereehnet. Mit ~Zx bezeiehnet man dabei die dureh Strdchen der
ersten Zeite und Spalte aus ~: entstehende Matrix, mit ~1 die n - 1-reihige
Einheitsmatrix. Weiterhin bedeutet t die aus der ersten Spalte yon % dutch
Weglassen des Elements tll entstehende Spalte, und es wird gesetzt:
a (t, ~ 1 ) : i -- t'(~l + i ~l)-lf,
A (~1) = f abs (tll+ a (f, ~,))-'; dt dt,,,
tll, t
wenn bei der Integration tll und die Elemente der Spalte t yon -- ao bis
+ oo laufen. Entwickelt man nun die Determinante I~ + i ~l nach den
Elementen der ersten Zeile und Spa]re, dann erh/~lt man

J,.,,n = .f A (~1) abs (~:1 § i ~l)--(J d~:l,

wobei das Integral fiber den gesamten ~:l-Raum erstreckt wird. Um jetzt
Jq, n auf J , - 1 , ~-1 zuriickzufiihren, bestimmt man zun~ichst !~I (~:1).
Der Realteil yon a (t, ~:1) sei al, der Imagin~rteil sei a 2. Man macht
t*
erst die Substitution i l l - t * - al, danach die Substitution -- -- t u n d
a2
erh~ilt:

AuBerdem ergibt die Rechnung

a2 = 1 + t ' ~ t
mit ~R = (~, + i ~1) -1(~1 -- i ~l) -1 --= (%1~ -~- ~1) -1. Die quadratisehe
Form t' ~Rt ist positiv definit, weil die dazu reziproke quadratische Form positiv
definit ist. Also gibt es eine reelle Matrix ~ , so dab
~'~ =

wird. Maeht man nun die Substitution t = ~ t * , so ist die Funktional-

determmante a.bs (~1-[-i ~1) und folglieh:

A (~1) ---- abs (~1 + i (~1) f a b s (t + i)-'.' abs (1 + t't)l-'.' dt dt.

t, l
Den Weft dieses Integrals erMilt man ohne mfihsame Reehnung, falls man
noch die Definitionsgleichung

T'(s)a-'---- ~-'e-~dx {s>O,a>O)

o

anwendet, Dann ergibt sich niimlich

c~
Ir'-(p - 1)[(t-~-t. t ' t ) ~ - e d t = / { ! x~
 Konvergenz verallgemeine,rter Eisensteiimcher Reihen. 395

Jetzt vertauseht man die Integmtionen fiber x und t u n d wendet die Formel
fiir das Gattttsche Fehlerintegral an:
+co

--co

Auf diese Weise erh~lt m a n :

9
(1 + t ' t ) l - e d t = ~ ~ P!e-- 1 ) '
t

und ebenso:

Daraus folgt die Rekursionsformel

Jo,. = J ~ - 1 , , , - 1 ~ - (~ >= 2).

r ( Q - i) r(--~)
Ebenso zeigt man:

Je-.+x,x = ~89
9

Daraus ersieht man, da6 d~, n fiir e > n tatsi~chlich Potenzprodukt ist yon
/'-Funktionen, die in diesem Bereieh weder Pole noeh Nullstetlen aufweisen.
Also folgt insbesondere, da6 die Reihe F ( ~ , 0) fiir e ~>~ n + 1 konvergiert
und zwischen zwei positiven Sehranken liegt, die nur yon e und dem Imagin~r-
*eft yon X, abet nicht yon 92 und ~o abhihxgen.
6. Bedeutet jetzt B (92) die knzahl der Restklassen ~3o moduio 92, ffir
die ~3o92' = 92~3~ ist, so kommt es also nut noch darauf an zu zeigen, dab
die Reihe
(e) = Z B (92) abs (92)~e

konvergiert fiir 0 > n + 1 und divergiert fiir 0 = n + 1. Dabei wird

summiert fiber aUe gaazen, links nicht-assoziierten Matrizen 92 mit yon Null
verschiedener Determinante. Die Forderung ~ o 9 2 ' = 9~3~ ist gteichbe-
deutend mit der Forderung, da~ 92-x~ o ---- ~ symmetrisch ist.
Um B (~[) zu bestimmen, iiberlegt man sich zun~chst folgendes: Ist ~3
die Diagonalmatrix, deren Diagonalelemente die Elementarteiler ex, % . . . . , e,
(e~lek+x, k = 1 , . . . , n - 1) yon 92 sind, so kann man bei der Bestimmung
yon B (92) an Stelle_von 92 die Matrix ~ als Modul nehmen. Bekanntlich
396 H. Braun.

gibt es ja zwei unimodulare Matrizen lI und ~, so daft ~-1 _= 1i.~-1~ ist.

Also. mull 1 I ~ - 1 ~ o = ~, oder auch ~ - I ~ o H ' - 1 = H - I ~ I I '-1 sein.
Nun ist mit ~ auch lI- z ~ lI'- z symmetriseli und deshalb, falls man ~ ~o~t '-z
- - E setzt, ~ - I E symmetrisch. Ferner entnimmt man der Definition der
Restklassen modulo ~, dal~ allen modulo ~ inkongruenten Matrizen ~o,
fiir die 92:15 o symmetriseh ist, eineindeutig solche Matrizen E zugeordnet
sind, die inkongruent modulo ~ sind mad fiir die ~ - x E symmetriseh ist.
Eine einfache Abz~ihhmg ergibt jetzt die Anzahl der zuliissigen Matrizen E,
mad d a m i t
B (~) = e~ e ~ - ~ . . , e..
Man beaehte, da$ an dieser Stelle die .4-nzahl der Restklassen ~o modulo ~,
fiir die ~o~' = ~ $ ~ und fiir die ~o zu ~ tefleffremd ist, bestimmt werden
mull, falls man / (~, 9) mad nieht r (3~, 9) betrachtet. Diese Anzahl ist jedoeh
weniger leieht auszureehnen als B (92).
D a jede Matrix links assoziiert ist mit eincr Dreieeksmatrix, kann m a n
yon vornherein 92 aIs eine Dreiecksmatrix mit den positiven Diagonalelementen
di,..'., d,, annehmen. Naeh Definition der Elementartefler ist jetzt e l . . . e~
Teiler yon d , . . . d~_~+l (k = 1 , . . . , n) mad deshalb
(92) ~ d~ d ~ . . . ~ .
Ferner erhalt man ein volles System links nieht-assoxiierter Dreiecksmatrizen
mit den Diagonalelementen d~,..., d~, wenn man die unterhalb tier tiaupt-
diagonalen stehenden Elemente jeder Spalte unabhangig voneinander ein
v011st~ndiges Restsystem modulo dem in dieser Spalte stehenden Diagonal-
element durchlaufen l~i~t. Bezeichnet man mit ~ (s) die Riemarmsche Zeta-
funl~ion, dann ergibt sich jetzt die Ungleichung
~ ' (9) < ~ (n - 9).
Andererseits ist
B(92) ~ e l e 2 . . . e . = did z . . . d .
und deshalb
~ ( n - 5) < ~, .~,,-~.-~.-1 . d : ~+1 < ~(o).

Indem man also B (92)zwischen zwei geeignete, nur yon den Diagonalelementen
d l , . . . , d, abh~ngige Sehranken einsehlieBt, erh~lt man das Resultat: ~ (5)
konvergiert fiir ~ > n + 1 mad divergiert fiir 9 --- n + 1.
7. Nachdem nun der Konvergenzbereieh der Reihe ~ (3E, 9) f/it reelles 9
bestimmt ist, ergibt sich sofort der Bereich, in dem ~ (~, ~o) fiir komplexes
9 = a -4- i~ absolut konvergiert; n~mlich die Halbebene a > n + 1. Will
man nun ~ (3E, 9) in Abhiingigkeit yon der komplexen u 9 genauer
untersuehen, so ist es in erster Linie nStig zu untersuchen, ob die durch
 Konvergenz veraUgemeinerter Eisermteinscher Reihen 397

(~, ~) f fir a :> n + 1 dargesteUte analytische l~unktion fortsetzbar ist fiber

die Ko~,r Dazu mfil~te man wohl zuerst den genaueren Zu-
sammenhang zwischeu 4era Integral J und der Summe F ( ~ , 0) studieren,
Fiir die bi~ ietzt in der Theorie ~[er Modulfun~ionen n-ten Grades auftretenden
Probleme geniigt es ]edoch~ die Reihe ~0(X, Q) ffir gerades ~ :> n + 1-, zu
kennen.
Zum Schlu~ sei noch bemerkt, da~ man zu den Reihen ~ (K, ~) auch a u f
einem anderen, nicht yon den Reihen 9 (~, o) ausgehenden Weg gelan~.
Man bilde n~mlich mit der positiv definiten bin~ren quadratischen Form
Q ~ a ~ + 2flab + b2 und dem reellen Exponenten s(~> 1) die Epstein-
sche Zetafunk~tion
a, 5
summiert iiber alle Paare ganzer Zah|en a, b, ausgenommen d as Paar 9, O.
Setzt man jetzt x = fl + i ~/~ -- fl, so wird
~ ( s ) = 2 ~ (2 s) ~ (x, 2 s).
Daraus ersieht man, dab die Funktion 2 Z (~) yJ (X, ~) als eine gewisse Ver-
allgemeinerung der Epsteinschen Zetafunktion einer dcfiniten bin~iren qua-
dratischen Form angesehen werden kann. Es w~re deshalb auch interessant
zu untersuchen, ob diese Funktion ebenfalls einer Funktionalgleichung genfigt.

(Eingegangen am 9. Mgrz 1938.)