Rings of automorphic forms which are not Cohen-Macaulay. I (Q1820196)

Nach dem Noetherschen Normalisierungstheorem enthält eine noethersche graduierte Algebra R stets einen Polynomunterring S, der von homogenen Elementen erzeugt wird, derart, daß R endlich über S ist. Bekanntlich ist R genau dann Cohen-Macaulay (C.-M. als Abkürzung), wenn R frei über S ist. Es ist daher sinnvoll zu fragen, welche graduierten Ringe von automorphen Formen C.-M. sind. In der vorliegenden Arbeit wird gezeigt, daß für eine große Klasse gewisser ''reiner'' arithmetischer Gruppen und auch für die Siegelsche Modulgruppe \(\Gamma_ g=Sp_{2g}({\mathbb{Z}})\), \(g\geq 4\), die Ringe automorpher Formen nicht C.-M. sind. Um diese Behauptung zu beweisen, genügt es zu zeigen, daß die Baily-Borel Kompaktifizierung des zugeordneten Quotienten kein C.-M. Schema ist. Hierbei ist ein C.-M. Schema dadurch definiert, daß alle seine lokalen Ringe C.-M. sind. Um das Resultat ausführlicher zu formulieren, das sich auf die Siegelsche Modulgruppe bezieht, sei \(H_ g\) der Siegelsche Halbraum g- ten Grades und \[ (H_ g/\Gamma_ g)^*=H_ g/\Gamma_ g \cup H_{g-1}/\Gamma_{g-1} \cup... \cup H_ 1/\Gamma_ 1 \cup \{Punkt\} \] die Satake-Kompaktifizierung von \(H_ g/\Gamma_ g\). Und es sei \(A(\Gamma_ g)=\oplus_{k\geq 0}A(\Gamma_ g)_ k\) der graduierte Ring der Siegelschen Modulformen. Für \(g\geq 4\) ist dann \((H_ g/\Gamma_ g)^*\) kein C.-M. Schema und der Ring \(A(\Gamma_ g)^{(r)}=\oplus_{k\equiv O (r)}A(\Gamma_ g)_ k\) ist für jede ganze Zahl r nicht C.-M. Um das zweite Hauptresultat genauer zu formulieren, wird eine arithmetische Gruppe \(\Gamma\) dann ''rein'' genannt, wenn für jede treue Darstellung \(\Psi\) : \(\Gamma\to GL_ m({\mathbb{C}})\) und für jedes \(\gamma\in \Gamma\) die von den Eigenwerten von \(\Psi\) (\(\gamma)\) über \({\mathbb{Q}}\) erzeugte Algebra torsionsfrei ist. Nun operiere \(\Gamma\) auf einem beschränkten symmetrischen Gebiet D. Es sei D' die höchstdimensionale rationale Randkomponente und D'' die zweithöchstdimensionale. Es gelte \(Rang D'=Rang D-1\) und es sei eine der folgenden beiden Bedingungen erfüllt: \((i)\quad m:=\dim D-\dim D'\geq 3\) ist ungerade, (ii) \(m\geq 4\) ist gerade und \(\dim D''\geq \dim D'- 2.\) Dann ist die Baily-Borel Kompaktifizierung \((D/\Gamma)^*\) kein C.- M. Schema. Wenn ferner A(\(\Gamma)\) der Ring der automorphen Formen ist, so ist \(A(\Gamma)^{(r)}\) für jede ganze Zahl r nicht C.-M.