{"entities":{"Q2582013":{"pageid":2592756,"ns":120,"title":"Item:Q2582013","lastrevid":44411406,"modified":"2025-11-22T18:28:42Z","type":"item","id":"Q2582013","labels":{"en":{"language":"en","value":"Modulformen und quadratische Formen \u00fcber dem quadrati\\-schen Zahlk\u00f6rper \\(R(\\sqrt5)\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502782"}},"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":"Q2582013$23DE098C-E2C7-44C9-8563-52FDAA35695D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d45cc9b080bd731408b0fa1cc940e63a11cd95d5","datavalue":{"value":{"text":"Modulformen und quadratische Formen \u00fcber dem quadrati\\-schen Zahlk\u00f6rper \\(R(\\sqrt5)\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2582013$1457EDEB-9B23-454C-B6A1-9303E54BE16E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39165f414d93deeb4127a28e55dd4c3929581f71","datavalue":{"value":"67.0295.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582013$B62D6939-CE57-48E3-BE05-148CAEE1C12E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab98b61d5ebb17c1d5e0e81c12061b71e15f572a","datavalue":{"value":"10.1007/BF01487355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582013$7A6C1698-1561-4E8B-B6C7-4CF62EB10707","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d500446cb57e930d3f03f3605b14a9a8c086a78","datavalue":{"value":{"entity-type":"item","numeric-id":769788,"id":"Q769788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582013$F31B4940-63E4-4AC0-A9DD-8CAF0CA487E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582013$9A0EA47E-F785-4DEF-A8C5-58C2C38A6803","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2582013$F04586FE-AAA2-4281-AF03-19C6FE410250","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"612d8599a46496253b949edbf4e5f9a9a681c9a1","datavalue":{"value":"https://eudml.org/doc/160075","type":"string"},"datatype":"url"},"type":"statement","id":"Q2582013$97A7C9CC-851E-44EC-BA0D-E10088CD4F70","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b41c5201e0de4e3e896df4c634bd3d8f1f6f3eaa","datavalue":{"value":"F\u00fcr die engere Hilbertsche Modulgruppe \\(\\mathbf M\\) zum Zahlk\u00f6rper \\(R(\\sqrt5)\\) in den komplexen Variablen \\(\\tau\\), \\(\\tau'\\) mit \\(\\Im\\tau>0>\\Im\\tau'\\) (Teilraum \\(\\mathfrak T\\)) kennt man durch \\textit{F. G\u00f6tzky} (Math. Ann., Berlin, 100 (1928), 411-437; F. d. M. 54, 407 (JFM 54.0407.*)) ein System von (drei) Erzeugenden und definierenden Relationen. Man wei\u00df ferner, da\u00df im zu\\-geh\u00f6rigen Fundamentalbereich \\(\\mathfrak B\\) der Rand von \\(\\mathfrak T\\) nur dadurch erreicht werden kann, da\u00df \\(y=\\Im\\tau\\) und \\(y'=-\\Im\\tau'\\) gleichzeitig gegen \\(+\\infty\\) streben, sowie, da\u00df in \\(\\mathfrak B\\) stets \\(y\\geqq\\dfrac9{20}\\), \\(y'\\geqq\\dfrac9{20}\\). (F\u00fcr das folgende vgl. Verf., Math. Z. 43 (1938), 709-738; Math. Ann., Berlin, 117 (1940), 538-578; F. d. M. \\(64_{\\text{I}}\\), 110; 66, 379; da\\-zu \\textit{E. Witt}, nachstehend besprochene Arbeit.)  Verf. diskutiert zun\u00e4chst die Multiplikatorsysteme reeller Dimension \\(- r\\) in \\(\\mathbf M\\) und in \\(\\mathbf T\\), der Untergruppe des Index 10 von \\(\\mathbf M\\), die die grundlegende Theta\\-reihe \u00fcber \\(R(\\sqrt5)\\) invariant l\u00e4\u00dft. Die Struktur von \\(\\mathbf M\\) vermittelt die Erkenntnis, da\u00df es in \\(\\mathbf M\\) nur das triviale Multiplikatorsystem \\(v = 1\\) zu ganzzahliger Dimension \\(- r\\) gibt. Die Untersuchung von \\(\\mathbf T\\) beginnt damit, da\u00df aus 27 zwischen den 30 Erzeugenden von \\(\\mathbf T\\) bestehenden Relationen 27 Erzeugende eliminiert werden, und zeigt dann, da\u00df es in \\(\\mathbf T\\) nur zu ganz- und halbzahligen Dimensionen \\(-r\\) Multi\\-plikatorsysteme gibt und zwar vier zu jedem \\(-r\\), deren Werte sich aus den Theta-Multiplikatoren explizit berechnen lassen. Diese Verh\u00e4ltnisse sind von denen der Theorie einer Variablen verschieden.  Das von Siegel angegebene, von Witt vereinfachte Verfahren, aus den Fourier\\-koeffizienten der ganzen Modulform  \\[  \\varphi_r (\\tau) = {\\sum\\limits_{\\nu\\in\\mathfrak C}}b_r(\\nu) e^{2\\pi i\\operatorname{Sp}\\frac{\\nu\\tau}{\\sqrt5}} \\big(\\mathfrak C=\\text{ Menge der ganzen total-positiven Zahlen in }R(\\sqrt5)\\big)  \\]  abzulesen, ob diese identisch verschwindet, liefert im vorliegenden Fall folgendes: \\(\\varphi_r(\\tau)\\) verschwindet f\u00fcr \\(r = 1\\) stets identisch, f\u00fcr \\(2\\leqq r\\leqq4\\) dagegen, wenn \\(b_r(n) = 0\\) in der Zuordnung: \\(r=2:n = 0\\); \\(r = 3: n= 1, 2\\); \\(r = 4:n=0, 2,3\\). Dies wird auf die zu \\(b_r(0) = 1\\) normierten Eisensteinreihen \\(G_r(\\tau)\\) und die Thetareihen  \\[  \\vartheta(\\tau,\\mathfrak Q_m)={\\sum\\limits_{\\mathfrak x}} e^{\\pi i\\operatorname{Sp}\\frac{Q(\\mathfrak x)\\tau}{\\sqrt5}}  \\]  angewendet. Hier bezeichnen \\(Q=Q(\\mathfrak x)\\) eine positiv-definite, ganzzahlige gerade quadratische Form in \\(R(\\sqrt5)\\) mit der Determinante \\(\\varepsilon^{2\\nu}\\) (\\(\\varepsilon = \\frac12(1+\\sqrt5)\\), \\(\\nu\\) ganz), \\(\\mathfrak Q_m\\) die Klasse von \\(Q\\); \\(\\mathfrak x\\) durchl\u00e4uft alle ganzen Vektoren \u00fcber \\(R(\\sqrt5)\\) mit \\(m\\) Kompo\\-nenten. \\(\\vartheta(\\tau, \\mathfrak Q_m)\\) ist eine Modulform zu \\(\\mathbf M\\) mit \\(r =\\dfrac m2\\), und es mu\u00df \\(m\\equiv 0\\pmod{4}\\) sein.  Verf. gibt eine Klasse \\(\\mathfrak Q_4\\) explizit an, indem er die Matrix einer zugeh\u00f6rigen Form \\(Q\\) mitteilt. Dann gelangt er zu den Relationen \\((G_2(\\tau))^2 = G_4(\\tau)\\), \\(\\vartheta(\\tau,\\mathfrak Q_4) = G_2(\\tau)\\). Bezeichnet \\(\\mathfrak Q_8\\) die Klasse, welche die bekannte rationale, positiv-definite ganz\\-zahlige gerade quadratische Form in acht Variablen der Determinante 1 enth\u00e4lt, so f\u00fchrt eine eingehendere Diskussion zum Beweise der Identit\u00e4t \\(\\vartheta(\\tau,\\mathfrak Q_8) = G_4(\\tau)\\).  Eine algebraisch-geometrische Untersuchung der den genannten Formen\\-klassen zugeordneten Vektorgitter ergibt abschlie\u00dfend: Zu \\(m = 4\\) existiert eine einzige Klasse \\(\\mathfrak Q_4\\), n\u00e4mlich die oben angegebene. Zu \\(m = 8\\) dagegen existieren zwei und nicht mehr verschiedene Klassen, n\u00e4mlich \\(\\mathfrak Q_4 + \\mathfrak Q_4\\) und die oben angegebene \\(\\mathfrak Q_8\\). Es sei darauf hingewiesen, da\u00df trotz dieser Verschiedenheit die zugeh\u00f6rigen Thetareihen \u00fcbereinstimmen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2582013$B25291BE-D713-4E72-B582-174FD9479976","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a283d9e48fdccd2624062f21b229ef935085f252","datavalue":{"value":"2502782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582013$81CC6918-CB4C-4685-96E8-ECBA61444CBB","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":"Q2582013$86B2C812-C590-439B-A66F-2E6AF62DAF07","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54ccd22711a1ab0ec661b3f2c8f054f50b7f5a3c","datavalue":{"value":{"entity-type":"item","numeric-id":5972146,"id":"Q5972146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582013$B45A2AFC-DB8E-41FB-AE7B-9BF5BC630632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4ce15d9308f62c4e9f9a440f0c476532879482","datavalue":{"value":{"entity-type":"item","numeric-id":2646924,"id":"Q2646924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582013$DBFB43E4-0B53-4BEA-A2FA-7CD877BBFAE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9054f6a3aac3325fc10d19edfc31f2221d38b443","datavalue":{"value":"W2883123679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582013$894A3A5E-D70F-41DB-B446-A08B705B4848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2582013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2582013"}}}}}