{"entities":{"Q2582012":{"pageid":2592755,"ns":120,"title":"Item:Q2582012","lastrevid":44411403,"modified":"2025-11-22T18:28:41Z","type":"item","id":"Q2582012","labels":{"en":{"language":"en","value":"Einheitliche Begr\u00fcndung der Vollst\u00e4ndigkeitss\u00e4tze f\u00fcr die Poincar\u00e9schen Reihen von reeller Dimension bei beliebigen Grenzkreisgruppen von erster Art."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502781"}},"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":"Q2582012$DE960560-A5EC-43CB-8B06-9A656CB48347","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c078e1a0975e272f847b9f5788fda675005e4564","datavalue":{"value":{"text":"Einheitliche Begr\u00fcndung der Vollst\u00e4ndigkeitss\u00e4tze f\u00fcr die Poincar\u00e9schen Reihen von reeller Dimension bei beliebigen Grenzkreisgruppen von erster Art.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2582012$AFED4F71-F92B-4781-9048-B5B6F66A0919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8788800fbd1e30bd14d294931dc1f9e335b2844f","datavalue":{"value":"67.0294.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582012$E913B084-81F4-4C67-8080-3966735D96CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c0b85634bc85ad504851873b619b952f801a75","datavalue":{"value":"10.1007/BF02940741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582012$D741FC4F-8AC3-4E9C-91B0-AF4A803649E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c7a36fed93a2c5106c0dd147c45f135ff18693b","datavalue":{"value":{"entity-type":"item","numeric-id":227705,"id":"Q227705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582012$A670ACE4-196B-4675-BD8B-5A47654C2C3C","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":"Q2582012$D831A9DB-4C7E-4EB6-A124-10C2D737AAD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"237bba700e47749fe1759224e7f56b149d9c1e63","datavalue":{"value":"Durch eine neuartige Definition der ortsuniformisierenden Variablen \\(t\\) f\u00fcr einen Nichtfixpunkt \\(\\tau_0\\) der oberen Halbebene, n\u00e4mlich \\(t= (\\tau - \\tau_0) (\\tau -\\overline{\\tau}_0)^{-1}\\), und durch Entwicklung von \\((\\tau - \\overline{\\tau}_0)^rf(\\tau)\\) nach \\(t\\), statt die automorphe Form \\(f(t)\\) der Dimension \\(-r\\) selbst zu entwickeln, erh\u00e4lt Verf. in den Poincar\u00e9reihen  \\[  \\begin{multlined} \\varPhi_{-r}(\\tau, v, \\tau_0, \\varGamma, m)\\\\ ={\\sum\\limits_{M\\in\\varGamma}}(M\\tau - \\tau_0)^m (M\\tau - \\overline{\\tau}_0)^{-m}(v(M))^{-1}(m_1\\tau + m_2)^{-r} (M\\tau - \\overline{\\tau}_0)^{-r}\\;(m\\text{\\;ganz}) \\end{multlined}  \\]  einen neuen Typ von ganzen Spitzenformen der Gruppe \\(\\varGamma\\) zum Multiplikatorsystem \\(v\\). Die in fr\u00fcheren Arbeiten notwendige Voraussetzung der Existenz parabolischer Substitutionen in \\(\\varGamma\\) kann daher fallen gelassen werden. Die Reihen \\(\\varPhi_{-r}\\) treten neben die dort durch Entwicklung nach dem parabolischen Fixpunkt \\(\\infty\\) gewon\\-nenen Poincar\u00e9reihen  \\[  \\begin{multlined} G_{-r}(\\tau,v,A,\\varGamma, \\nu)\\\\ ={\\sum\\limits_{M\\in\\mathfrak S(A,\\varGamma)}}\\exp \\left(2\\pi i(\\nu+\\varkappa)\\dfrac{M\\tau}{N}\\right)(v (M))^{-1} (m_1\\tau + m_2)^{-r}\\;(\\nu + \\varkappa>0, \\nu\\text{\\;ganz}), \\end{multlined}  \\]  die zuerst vom Verf. in Math. Ann., Berlin, 103 (1930), 369-436 (F. d. M. \\(56_{\\text{I}}\\), 330) aufgestellt worden sind. Als dritter Typ tritt daneben die Poincar\u00e9reihe zu den hyperbolischen Fixpunktepaaren  \\[  \\begin{multlined} \\varXi_{-r}(\\tau,v,\\mathbf A,\\varGamma,\\nu)\\\\ ={\\sum\\limits_{M\\in\\mathfrak S(\\mathbf A,\\varGamma)}} (M\\tau)^{\\pi i\\frac{\\gamma+\\varkappa}{\\log\\mu'}}(v(M))^{-1} (m_1\\tau+m_2)^{-\\frac r2}(m_1'\\tau+m_2')^{-\\frac r2}\\;(\\nu\\text{\\;ganz}) \\end{multlined}  \\]  (vgl. Math. Z. 44 (1938), 127-155; F. d. M. \\(64_{\\text{II}}\\), 1076). Die drei Reihen k\u00f6nnen aus einem einheitlichen Erzeugungsprinzip gewonnen werden.  Der systematische Aufbau der Theorie mit Hilfe der Metrisierung, der f\u00fcr die \\(G\\)-Reihen, also f\u00fcr Gruppen mit parabolischen Substitutionen, vom Verf. k\u00fcrzlich ausf\u00fchrlich angegeben worden ist (Math. Ann., Berlin 117 (1940), 453-537; F. d. M. 66, 375), l\u00e4\u00dft sich jetzt durch eine geeignete Normierung f\u00fcr alle drei Typen mit einem Schlag durchf\u00fchren. Das liegt daran, da\u00df die Typen ebenfalls in ihren metri\\-schen Eigenschaften einander analog gebaut sind. Dies wird ersichtlich bei der Aufstellung der Skalarprodukte einer ganzen Spitzenform mit einer \\(\\varXi\\)-Reihe bzw. mit einer \\(\\varPhi\\)-Reihe. Versteht man jetzt unter \\(g (\\tau,\\mathbf A, \\nu)\\), nach geeigneter Erkl\u00e4rung von \\(\\mathbf A\\) in den drei F\u00e4llen, einen der mit einem angegebenen elementaren Faktor ver\\-sehenen Reihentypen, so gilt die Grundformel der Metrisierung  \\[  (\\varphi(\\tau),g(\\tau,\\mathbf A,\\nu);\\,\\varGamma)=b_\\nu(\\mathbf A,\\varphi).  \\]  Daraus folgt wie in der letztgenannten Arbeit der Satz: \\(g(\\tau,\\mathbf A,\\nu)\\) steht genau auf allen ganzen Spitzenformen \\(\\varphi(\\tau)\\) senkrecht, f\u00fcr die der Entwicklungskoeffizient \\(b_\\nu(\\mathbf A,\\varphi)\\) verschwindet; \\(g(\\tau,\\mathbf A,\\nu)\\) verschwindet dann und nur dann identisch, wenn dieser Koeffizient f\u00fcr alle ganzen Spitzenformen zu \\(\\varGamma\\), \\(- r\\), \\(v\\) verschwindet. Sie ist durch die Orthogonalit\u00e4tsbedingung bis auf einen konstanten Faktor eindeutig bestimmt.  Ebenso gilt der Hauptsatz \u00fcber die linearen Relationen: \\({\\sum\\limits_{j=1}^{\\lambda}}\\xi_ig(\\tau,\\mathbf A_j,n_j)=0\\) gilt dann und nur dann, wenn zwischen den Zahlvektoren  \\[  \\mathfrak b_{n_j}(\\mathbf A_j,\\mathfrak q)=\\{b_{n_j}(\\mathbf A_j,\\varphi_1),\\dots, b_{n_j}(\\mathbf A_j,\\varphi_\\mu)\\}  \\]  die lineare Relation \\({\\sum\\limits_{j=1}^{\\lambda}}\\overline{\\xi}_j \\mathfrak b_{n_j}(\\mathbf A_j,\\mathfrak q) = 0\\) besteht. Es folgt wie a. a. O. der Voll\\-st\u00e4ndigkeitssatz, der mit Hilfe der ``L\u00fcckenzahlen'' angibt, wann \\(\\mu\\) vorgegebene \\(g\\)-Reihen eine Basis der Schar der ganzen Spitzenformen bilden.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2582012$B9366636-729A-48C5-AE30-C61E176C62F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c964ee1e8ed4298986ce8a83cb6b0aa62fdb1bf","datavalue":{"value":"2502781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582012$BC92E527-DB32-4F63-A53C-3DE970BA4B87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ca2f533ff1981a357ede4687b3a3f521f1ed17","datavalue":{"value":{"entity-type":"item","numeric-id":759789,"id":"Q759789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582012$B778F3DA-49FA-4009-AF79-8F505FC31859","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":"Q2582012$8E806BF9-BB2D-4C9A-AA55-77C5EA0E4399","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d504db75fa38e3f81616689f57a50ba1e1c8df03","datavalue":{"value":"https://doi.org/10.1007/bf02940741","type":"string"},"datatype":"url"},"type":"statement","id":"Q2582012$D1D7A6CE-A199-4102-B4EA-B0A38324CCD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18a3d625fecb71bc8cb1632f613b622d5a580ebe","datavalue":{"value":"W2001656057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582012$893F4B8D-93A6-4D3D-B5D1-2ABD1694F3BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2582012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2582012"}}}}}