{"entities":{"Q1820196":{"pageid":1830938,"ns":120,"title":"Item:Q1820196","lastrevid":71358972,"modified":"2026-04-13T21:43:07Z","type":"item","id":"Q1820196","labels":{"en":{"language":"en","value":"Rings of automorphic forms which are not Cohen-Macaulay. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993689"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820196$F13CDE6F-3179-4BA1-8A17-E659E34F28AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a70581a2909a1bc79b04bd3917dc3f33bd6decd","datavalue":{"value":{"text":"Rings of automorphic forms which are not Cohen-Macaulay. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820196$9C997FBE-F8E9-43A0-AB36-41EA5D6E4D6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e125ba6047ebcf1702fdf39bd7ecd0745554d36","datavalue":{"value":"0614.10026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$ACA476F8-421D-4BED-A13B-634FDC008E8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd6040ae3d298815e1bc787550544fbf7c3de2d","datavalue":{"value":{"entity-type":"item","numeric-id":227682,"id":"Q227682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820196$C096FE5D-1761-4BB1-9247-05C30C76BB22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820196$442FACAB-B4AD-4ECF-8BA2-D5C0AF53D3F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1820196$78F18CB3-1D14-4D6B-A30F-A21C00AB888B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"36d13c61170a427a85ac396a690a5f8ddf17676c","datavalue":{"value":"Nach dem Noetherschen Normalisierungstheorem enth\u00e4lt eine noethersche graduierte Algebra R stets einen Polynomunterring S, der von homogenen Elementen erzeugt wird, derart, da\u00df R endlich \u00fcber S ist. Bekanntlich ist R genau dann Cohen-Macaulay (C.-M. als Abk\u00fcrzung), wenn R frei \u00fcber S ist. Es ist daher sinnvoll zu fragen, welche graduierten Ringe von automorphen Formen C.-M. sind.    In der vorliegenden Arbeit wird gezeigt, da\u00df f\u00fcr eine gro\u00dfe Klasse gewisser ''reiner'' arithmetischer Gruppen und auch f\u00fcr 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\u00fcgt es zu zeigen, da\u00df die Baily-Borel Kompaktifizierung des zugeordneten Quotienten kein C.-M. Schema ist. Hierbei ist ein C.-M. Schema dadurch definiert, da\u00df alle seine lokalen Ringe C.-M. sind.    Um das Resultat ausf\u00fchrlicher 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\u00fcr \\(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\u00fcr jede ganze Zahl r nicht C.-M.    Um das zweite Hauptresultat genauer zu formulieren, wird eine arithmetische Gruppe \\(\\Gamma\\) dann ''rein'' genannt, wenn f\u00fcr jede treue Darstellung \\(\\Psi\\) : \\(\\Gamma\\to GL_ m({\\mathbb{C}})\\) und f\u00fcr jedes \\(\\gamma\\in \\Gamma\\) die von den Eigenwerten von \\(\\Psi\\) (\\(\\gamma)\\) \u00fcber \\({\\mathbb{Q}}\\) erzeugte Algebra torsionsfrei ist. Nun operiere \\(\\Gamma\\) auf einem beschr\u00e4nkten symmetrischen Gebiet D. Es sei D' die h\u00f6chstdimensionale rationale Randkomponente und D'' die zweith\u00f6chstdimensionale. Es gelte \\(Rang D'=Rang D-1\\) und es sei eine der folgenden beiden Bedingungen erf\u00fcllt: \\((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\u00fcr jede ganze Zahl r nicht C.-M.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820196$2D4EC738-756D-4473-BFD3-806C0F17B1AD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45471ca53f83e7281d8c59a212fee76d1ec43f4e","datavalue":{"value":{"entity-type":"item","numeric-id":762317,"id":"Q762317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820196$A997A4FB-FF22-40D1-B8C4-A5B2486807CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e750e1c945c0ad643c20fc62803e0d25e319e274","datavalue":{"value":"11F27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$7D8F8205-1CB9-4D0B-B1BC-8C09A27C4AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$12012D71-DBE2-4C62-AC11-920473635940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d252414fb46b1960b6e57dbf8a0cd0f99b0b61c","datavalue":{"value":"32N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$307005B1-A5C2-4010-8CD4-9C16E4ABA00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61b8a5493439297fc217f3c98788c40700fd55e2","datavalue":{"value":"32N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$D5E1196D-B982-4037-8591-12E9BC7C36E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cfaf4634914bbc29f73ddd88c62c96715110318","datavalue":{"value":"32M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$C8669CAA-D716-446E-A23B-5A60F5AB10AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73250b187a308c779024630a76dcc48b0695faa9","datavalue":{"value":"3993689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$12E9EE58-34B4-4987-A9B7-7F1985BE9ECF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5ea7fdb05f3d799e3158c5fe3f4dd92b2eb35d","datavalue":{"value":"non Cohen-Macaulay","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820196$03C0AA77-BFA0-4F80-98BA-8F0E7E1E5155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"865c270430454b29040cf75ec4b901485151ca3f","datavalue":{"value":"graded ring of automorphic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820196$DA805648-07CF-4648-AAF6-C675AFE1E3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2654857c22bea37e262982c33e3cce3128a180","datavalue":{"value":"neat arithmetic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820196$50943D29-5DA3-4AB9-AFED-4F90101FE5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00262dd8b0b3b7c2d4026b7f6503ecd4346277ad","datavalue":{"value":"Siegel modular group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820196$24B276BD-6BEE-404A-ADF8-F2AD5DAB739E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7226769468563aa59b40bc497ddc8f3e1b888e71","datavalue":{"value":"Baily-Borel compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820196$E844D945-2045-4899-B163-7D2032D62930","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820196$182B7DAB-6403-47D1-83A0-E442B4D440DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6def00f709b709d230ab8165681dd9744ff5e52d","datavalue":{"value":"https://doi.org/10.2969/jmsj/03810147","type":"string"},"datatype":"url"},"type":"statement","id":"Q1820196$36D5A51A-B5DE-4DAE-956A-53B0ADD32E43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06e66d4496bc3c6daa078a453cd174f401035224","datavalue":{"value":"W1987482168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$7D14F2E8-1FE8-406F-9671-6EAF539B1E1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfe7ec757773a0d5b46e4b023b6f8b02e1338141","datavalue":{"value":"10.2969/JMSJ/03810147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820196$52074609-E1CA-4CFA-8F00-EBD96B92DE03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74508c516acc3dc1349d5caaf3c2469dddfc2024","datavalue":{"value":{"entity-type":"item","numeric-id":1112092,"id":"Q1112092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5943716bb8291b56b6e97aea2196e5dfa82d8d2a","datavalue":{"value":{"amount":"+0.9839078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$4AF9E2ED-B83C-49F4-9C5E-178D6AE217B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668e464501c856b2c74eb3a7e7ddda36c71aeaa6","datavalue":{"value":{"entity-type":"item","numeric-id":5212409,"id":"Q5212409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb490ada073f64818f74e553b1149937cbc451a","datavalue":{"value":{"amount":"+0.8676559","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$72B90EE5-BF33-4CEB-98CF-6B1B256439E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3501b57db5c59be7d5edf2e10a1c8235663dbaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2357521,"id":"Q2357521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d905ee9d9eb04fb07cf32c00badecf14df09c1","datavalue":{"value":{"amount":"+0.8638067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$F9F66D19-A3A0-488C-951D-D477EB0670BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0677260f696b0279209b8fe50544e113fd336da3","datavalue":{"value":{"entity-type":"item","numeric-id":863367,"id":"Q863367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d033db4e171e3ed52b3407c2127686bee2561c20","datavalue":{"value":{"amount":"+0.8630166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$759F64F1-BBAD-4747-81DD-D9566329CD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb056d603c4d4be2342c3a522a8317aa846f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":1048944,"id":"Q1048944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af60adafadd7d266bfd4a7ff7119bb332b6d8ed","datavalue":{"value":{"amount":"+0.8617078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$3624413B-9428-4145-9945-F6BA3BB84B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7f7d3d9dd8578196ce6c2316e0c2b2d016c73c","datavalue":{"value":{"entity-type":"item","numeric-id":2238294,"id":"Q2238294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153ce720cbaa0b082849ab10863d1491ed31fcb3","datavalue":{"value":{"amount":"+0.8591081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$D4EC31D5-5410-4DA0-ABBE-201D77F9A3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee42e85acf56aa56a9686f7b7cfd6c63a29d863d","datavalue":{"value":{"entity-type":"item","numeric-id":2715664,"id":"Q2715664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4134e06dbbd2e46a6e8083fba00b5b834764d2","datavalue":{"value":{"amount":"+0.8575527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$B7D67724-E74A-4E31-878D-ABFE0A9A23FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce88fedfa0ffb6aeec6c58d8992edbfe67e65c17","datavalue":{"value":{"entity-type":"item","numeric-id":4305497,"id":"Q4305497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84957a879ca90390bec853a7cae1dfb7f4c5ca6","datavalue":{"value":{"amount":"+0.85698557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$192AFC9C-3E0F-4849-A31B-A921C102953A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcae96c5ce7a608835a12ed3ceaab6fecb2fedcf","datavalue":{"value":{"entity-type":"item","numeric-id":1284095,"id":"Q1284095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dec8860b14728710ec7c0c81be15986cacdf78c","datavalue":{"value":{"amount":"+0.8552393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$A284B819-CEC0-462B-8221-E52D368B14D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e622018a443a767961416d22c7ebece866b3b0","datavalue":{"value":{"entity-type":"item","numeric-id":4311990,"id":"Q4311990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb0239d040d85b3db224fcc6ce26552a57964784","datavalue":{"value":{"amount":"+0.8552383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1820196$1B42A1AD-D869-4944-9D98-27057A4E4B70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rings of automorphic forms which are not Cohen-Macaulay. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rings_of_automorphic_forms_which_are_not_Cohen-Macaulay._I"}}}}}