Rings of automorphic forms which are not Cohen-Macaulay. II
type: Item
instance of: scholarly article
title: Rings of automorphic forms which are not Cohen-Macaulay. II
zbMATH Open document ID: 0659.10026
author: Shigeaki Tsuyumine
published in: Journal of the Mathematical Society of Japan
publication date: 1988-01-01T00:00:00Z
review text: Let \(\Gamma_n = \mathrm{Sp}_{2n}(\mathbb{Z})\) be the Siegel modular group of degree \(n\), and \(\Gamma_n(\ell)\) its congruence subgroup of level \(\ell\): \(\Gamma_n(\ell) = \{M\in \Gamma_n\mid M\equiv 1_{2n} \bmod \ell \}\). Let \(A(\Gamma_ n) = \oplus_{k\geq 0}A(\Gamma)_k\) be the graded ring of Siegel modular forms for \(\Gamma_n\), \(A(\Gamma)_k\) being the vector space of modular forms of weight \(k\). Let \(A(\Gamma)^{(r)}\) denote the ring \(\oplus_{k\equiv 0(r)} A(\Gamma)_k\) for an integer \(r\). In Part I [J. Math. Soc. Japan 38, 147--162 (1986; Zbl 0614.10026)] the present author obtained, together with related results, the result that \(A(\Gamma_n)^{(r)}\) is not Cohen-Macaulay (in abbreviation C.-M.) for any \(r\) if \(n\geq 4\). The result that \(A(\Gamma_1)^{(r)}\) and \(A(\Gamma_ 2)^{(r)}\) are C.-M. for any \(r\) is known. In the present paper the author treats the remaining case. The main result of this paper is that the ring \(A(\Gamma_3)^{(r)}\) is not C.-M. for any integer \(r\). The method of the proof is as follows. If \(A(\Gamma_3)^{(r)}\) is C.-M., then \(\dim H^6(X^*_3,\mathcal O_{X^*_3})\) must be equal to one, where \(X^*_3\) is the Satake compactification of the quotient space \(H_3/\Gamma_3\), \((H_3\) is the Siegel upper half space of degree 3). On the other hand, \(H^6(X^*_3, \mathcal O_{X_3^*})\) is shown to be \(\{0\}\) by making use of Igusa's desingularization. This is a contradiction.
reviewed by: Michio Ozeki
Mathematics Subject Classification ID: 11F46
zbMATH DE Number: 4077335
zbMATH Keywords: Siegel modular group
zbMATH Keywords: graded ring of Siegel modular forms
zbMATH Keywords: Cohen-Macaulay
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2969/jmsj/04030369
OpenAlex ID: W4246974007
DOI: 10.2969/JMSJ/04030369
Recommended article: Rings of Modular Forms on Eichler’s Problem
Recommended article: On Siegel Modular Forms of Degree Three
Recommended article: ON SIEGEL MODULAR VARIETIES OF LEVEL 3
Recommended article: On Siegel modular forms. Part I.
Recommended article: A remark on a theorem of Runge
Recommended article: Q3122841
Recommended article: Rings of automorphic forms which are not Cohen-Macaulay. I
Recommended article: Siegel modular forms of degree 2 over rings
Recommended article: Q3768979
Recommended article: The ring of modular forms of degree two in characteristic three
description: scientific article; zbMATH DE number 4077335