{"entities":{"Q2586810":{"pageid":2597553,"ns":120,"title":"Item:Q2586810","lastrevid":44416443,"modified":"2025-11-22T19:14:21Z","type":"item","id":"Q2586810","labels":{"en":{"language":"en","value":"Zur Theorie der automorphen Funktionen von \\(n\\) Ver\u00e4nder\\-lichen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2506424"}},"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":"Q2586810$8ED84FA1-A180-49F1-B297-9518C819618F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e13764f21f35252759f042a025c1c5a18888428","datavalue":{"value":{"text":"Zur Theorie der automorphen Funktionen von \\(n\\) Ver\u00e4nder\\-lichen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2586810$4E026DF7-7BA7-4B9D-A0A0-C0E179FD0C21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62e07adc5df27a49ecb47312b7edfdbd5733d8bb","datavalue":{"value":"66.0379.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586810$B6E8BBD1-8740-4966-8B66-0FE0E74B37CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"106b1cdad7259856f7104fae489b67227bfa5e84","datavalue":{"value":"10.1007/BF01450029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586810$A9A37827-D6C1-4CB9-9833-227D27CCCDA3","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":"Q2586810$84C2EA9E-E9AA-47BF-B327-F29E5116EBB1","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":"Q2586810$6A7E9BB5-521F-4120-95DA-D6556E2926D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-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":"Q2586810$79E6DEA6-0D40-4D4C-81E0-4F78472300D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6c6f37386950876d173d1b701ca53fb821e5e93","datavalue":{"value":"https://eudml.org/doc/160060","type":"string"},"datatype":"url"},"type":"statement","id":"Q2586810$05353C8F-4CE9-4DC2-9750-A6D6CBA77177","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c58d158b66424f03b4877d5182de4be2ec123621","datavalue":{"value":"(Fortsetzung der vorstehend besprochenen Arbeit.) Verf. erkl\u00e4rt eingangs in Analogie zum Falle \\(n=1\\) f\u00fcr komplexes \\(r\\) die mehrdeutigen Funktionen \\(N(\\gamma\\tau+\\delta)^r\\) (\\(\\tau\\in\\mathfrak T\\), \\(\\gamma^{(\\nu)}\\), \\(\\delta^{(\\nu)}\\) reell), die Begriffe Multiplikatorsystem \\(v\\) von der Dimension \\(- r\\) zur Gruppe \\(\\varGamma\\) und automorphe Form \\(\\{\\varGamma, - r, v\\}\\), sowie schlie\u00dflich die Transformierte \\(\\varphi^A(\\tau)\\) einer solchen Form \\(\\varphi(\\tau)\\) mit Hilfe eines reellen unimodularen Matrizensystems \\(A = \\{A^{(\\nu)}\\}\\). Es sei \\(\\tau=\\infty\\) parabolische Spitze von \\(\\varGamma\\), \\(\\mathfrak t\\) das zugeh\u00f6rige (von \\(n\\) Vektoren erzeugte) Translationsgitter. Durch die Bedingung: \\(S(\\alpha\\mu)\\) ganz f\u00fcr jedes \\(\\alpha\\) aus \\(\\mathfrak t\\) wird ein \\(n\\)-dimensionales Gitter \\(\\mathfrak m\\) von Vektoren \\(\\mu\\) definiert, das f\u00fcr jeden Multi\\-plikator \\(\\lambda^2\\) mit \\(\\mu\\) stets \\(\\lambda^2\\mu\\) enth\u00e4lt (dieser Vektor ist durch Multiplikation der Kom\\-ponenten gleicher Nummer zu bilden). Wenn der Vektor \\(\\varkappa\\) durch  \\[  v(U^\\alpha) =e^{2\\pi iS(\\varkappa\\alpha)}  \\]  bestimmt wird, so erweist sich danach und weil alle Komponenten von \\(\\lambda^2\\) algebraische Einheiten von den Graden \\(\\leqq n\\) sind, \\(\\varkappa\\) als ``rational'', d. h. es gibt eine kleinste na\\-t\u00fcrliche Zahl \\(p\\) derart, da\u00df \\(p\\varkappa\\in\\mathfrak m\\). Nun ist  \\[  \\psi(\\tau)=e^{-2\\pi iS(\\varkappa\\tau)}\\varphi(\\tau)  \\]  periodisch mit dem Gitter \\(\\mathfrak t\\) und gestattet bei geeigneten Voraussetzungen \u00fcber die Singularit\u00e4ten von \\(\\varphi(\\tau)\\) eine Entwicklung  \\[  \\psi(\\tau)={\\sum\\limits_{\\mu\\in\\mathfrak m}}a_\\mu e^{2\\pi iS(\\mu\\tau)}.  \\]  Analog gewinnt man durch \u00dcbergang \\(\\varphi(\\tau)\\to\\varphi^A(\\tau)\\) die Entwicklung von \\(\\varphi(\\tau)\\) nach dem Ortsvariablensystem einer beliebigen Spitze von \\(\\varGamma\\). Es zeigt sich wie im Falle \\(n = 1\\), da\u00df es f\u00fcr ein System von einander nach \\(\\varGamma\\) \u00e4quivalenten Spitzen im wesent\\-lichen nur eine gemeinsame solche Entwicklung gibt; dabei sind \\(\\mathfrak m\\) und \\(\\varkappa\\) durch ge\\-wisse entsprechend erkl\u00e4rte Begriffe \\(\\mathfrak m_A\\) und \\(\\varkappa_A\\) zu ersetzen. Ferner gestattet diese Entwicklung die sinngem\u00e4\u00dfe Festsetzung des Begriffs der Regularit\u00e4t einer Form \\(\\varphi(\\tau)\\) in einer Spitze von \\(\\varGamma\\) und damit der Begriffe ganze Form und ganze Spitzenform \\(\\{\\varGamma, - r, v\\}\\).  Im Anschlu\u00df an den Fall \\(n=1\\) f\u00fchrt Verf. sodann die Poincar\u00e9schen Reihen \\(G_{-r}(\\tau, v, A, \\varGamma,\\mu+\\varkappa_A)\\) ein, f\u00fcr welche die vollst\u00e4ndige formale Theorie aufgestellt und die bei \\(r > 2\\) stattfindende absolute Konvergenz bewiesen wird. Die genannten Reihen verhalten sich auch als automorphe Formen analog wie f\u00fcr \\(n=1\\); die Durch\\-f\u00fchrung hat jedoch auf die bei \\(n = 1\\) noch nicht auftretende Existenz hyperbolischer Substitutionen mit einem Fixpunkt in einer parabolischen Spitze (die in dem Auto\\-morphismus \\(\\lambda^2\\mathfrak m=\\mathfrak m\\) ihr Spiegelbild hat) R\u00fccksicht zu nehmen.  Im folgenden wird \u00fcber die Gruppe \\(\\varGamma\\) eine Voraussetzung gemacht, die man an\\-n\u00e4hernd so formulieren kann: \\(\\varGamma\\) besitze endlich viele in\u00e4quivalente parabolische Spitzen. Ordnet man jeder Spitze ein gewisses in ihrer N\u00e4he liegendes St\u00fcck des Fundamental\\-bereichs der zugeh\u00f6rigen transformierten affinen Gruppe zu, so sei es m\u00f6glich, alle St\u00fccke durch einen samt seinem Rand im Innern von \\(\\mathfrak T\\) liegenden Bereich zu einem Fundamental bereich von \\(\\varGamma\\) zu erg\u00e4nzen. (Diese Hypothese ist f\u00fcr die Hilbert\\-sche Modulgruppe beweisbar.)  Sind \\(n + 2\\) ganze automorphe Formen \\(\\{\\varGamma, - r_j, 1\\}\\) (\\(1\\leqq j\\leqq n + 2\\)) vorgelegt, so besteht zwischen ihnen eine isobare algebraische Gleichung eines gewissen Gewichts. Dies ergibt sich aus der Tatsache, da\u00df eine solche Form identisch verschwinden mu\u00df, wenn ihre Entwicklungskoeffizienten \\(a_\\mu\\) bez\u00fcglich des Ortsvariablensystems irgend\\-einer Spitze von \\(\\varGamma\\) s\u00e4mtlich verschwinden, sobald bei hinreichend hohem \\(C{:}\\;N (\\mu)\\leqq C\\) zutrifft. Die genannte algebraische Gleichung l\u00e4\u00dft sich daher durch den Vergleich endlich vieler solcher Entwicklungskoeffizienten verifizieren.  Als grundlegendes Ergebnis der Arbeit hat man den folgenden Struktursatz anzusehen: Der K\u00f6rper \\(\\mathfrak K\\) derjenigen automorphen Funktionen, die sich als Quo\\-tienten von ganzen automorphen Formen darstellen lassen, hat den Transzendenz\\-grad \\(n\\) \u00fcber dem K\u00f6rper \\(\\mathfrak C\\) der komplexen Zahlen. Es ist also \\(\\mathfrak K\\) eine endliche al\\-gebraische Erweiterung des K\u00f6rpers \\(\\mathfrak C(f_1,f_2,\\dots, f_n)\\) mit geeigneten \u00fcber \\(\\mathfrak C\\) algebraisch unabh\u00e4ngigen \\(f_1\\), \\(f_2\\),\\dots, \\(f_n\\) aus \\(\\mathfrak K\\); es gibt daher ein Element \\(f_{n+1}\\) aus \\(\\mathfrak K\\), das \\(\\mathfrak K\\) mit den \\(f_1\\), \\(f_2\\),\\dots, \\(f_n\\) zusammen rational erzeugt. Beim Beweise ergeben sich die \\(f_j\\)(\\(1\\leqq j\\leqq n\\)) als Potenzprodukte vom Gewicht Null in Eisensteinreihen \\(\\{\\varGamma, - r, 1\\}\\). Die Beweise bedienen sich \\textit{Siegel}scher Gedankeng\u00e4nge (Math. Ann., Berlin, 116 (1939), 617-657; F. d. M. 65, 357 (JFM 65.0357.*)).  Zum Schlu\u00df der Arbeit wird in Analogie zum Falle \\(n = 1\\) die Metrisierung der automorphen Formen erkl\u00e4rt und auf die Poincar\u00e9schen Reihen angewendet.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2586810$2456BEC3-F5E0-4268-97A3-E7000E3F13C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e0eeb6ec4ee6cc81b4295fc2b59355a51cfa9f","datavalue":{"value":"2506424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586810$C171A5BE-A6B0-43EF-BFFF-57ACA8DBD5C8","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":"Q2586810$15899E52-A519-4B28-9476-154328D8F047","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbef30f5935d00e3abcfa5790f427a0ff1e0fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2646374,"id":"Q2646374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586810$35A164FB-8555-49D6-B6FA-B7D5DB3025F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397caaaf6dafc7824f3aa4ca0f1e6beab6544816","datavalue":{"value":{"entity-type":"item","numeric-id":2646319,"id":"Q2646319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586810$C082A74D-B511-4FF5-8FED-EC4CEC08578B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8405d9a9183ec7bc034211aa1aad4ac83b471c6","datavalue":{"value":{"entity-type":"item","numeric-id":2646147,"id":"Q2646147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586810$99BDDDE9-52DA-49DE-BFE4-BDC716359EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b446964ace52e5444a20bf6ccedadfaacde58a","datavalue":{"value":{"entity-type":"item","numeric-id":2645896,"id":"Q2645896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586810$CE32924C-B2EE-454E-BB1A-5D45302394AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65c65c372134aa6d8d16a5811deba6cedb75ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1565762,"id":"Q1565762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586810$CF22AE9B-6386-4BD0-81A8-FC6AD493BD71","rank":"normal"},{"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":"Q2586810$20806A66-7252-4DA3-901B-A3D60D214895","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"662a9a45275c7e97e0df30e2dfee987839b153eb","datavalue":{"value":"W4246668286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586810$9B9CA9CD-8E73-4BB7-80E8-9A419FF2A267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2586810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2586810"}}}}}