{"entities":{"Q2582011":{"pageid":2592754,"ns":120,"title":"Item:Q2582011","lastrevid":44411400,"modified":"2025-11-22T18:28:40Z","type":"item","id":"Q2582011","labels":{"en":{"language":"en","value":"Beweis eines Darstellungssatzes aus der Theorie der ganzen Modulformen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502780"}},"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":"Q2582011$B70674CB-B987-4D50-8ACD-B30109826AB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d440decb2b0e321284a0cc520f35c3c107eb30a9","datavalue":{"value":{"text":"Beweis eines Darstellungssatzes aus der Theorie der ganzen Modulformen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2582011$5857FAEF-7EB8-46B4-B5F1-8E78F803E4D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cdb422f9d0e99f7cd7912054e3dfa65de28cfcd","datavalue":{"value":"67.0293.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582011$A6162274-F9AF-49EC-AB32-ECB8D20E93DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"399616c4a0c74cd7f3d3cafd7a1d0fe5bab8309b","datavalue":{"value":{"entity-type":"item","numeric-id":2580698,"id":"Q2580698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582011$BAF2CB91-FE19-4B4B-8865-9553A4871812","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40477a581ba037611f528955f6c526b6594a7b44","datavalue":{"value":{"entity-type":"item","numeric-id":576377,"id":"Q576377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2582011$7B3B602E-D555-4B62-8CE2-3DFBA923FB1A","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":"Q2582011$5A711CB6-5411-4DF4-B076-236B7B0F42BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67e7800bc833ac3995a9a81cf04356914758e2dc","datavalue":{"value":"Verf. gibt einen neuen Beweis f\u00fcr die Darstellbarkeit der Spitzenformen \\(f(\\tau)\\) der ganzzahligen Dimension -- \\(k\\) zur Stufe \\(Q\\) f\u00fcr das Multiplikatorsystem 1 durch end\\-lich viele Poincar\u00e9-Reihen  \\[  G_k(\\tau,\\nu;\\,Q) ={\\sum\\limits_{M\\in\\mathfrak S}}e^{2\\pi i\\frac\\nu QM\\tau} (c\\tau+d)^{-k}.  \\]  Er betrachtet dazu f\u00fcr positives \\(h\\)  \\[  K(h,\\tau) ={\\sum\\limits_{\\nu=1}^{\\infty}}\\alpha_\\nu e^{-2\\pi\\frac\\nu Qh} G_k(\\tau,\\nu;\\,Q),  \\]  wenn die \\(\\alpha_\\nu\\) die Fourierkoeffizienten der Entwicklung der beliebig vorgegebenen Spitzenform \\(f(\\tau)\\) sind. F\u00fcr zun\u00e4chst rein imagin\u00e4res \\(\\tau\\) zeigt Verf. nach Einsetzen von \\(G_k(\\tau,\\nu;\\,Q)\\) und unter Benutzung eines zuvor bewiesenen Hilfssatzes:  \\[  \\begin{gathered} {\\lim\\limits_{h\\to0}}hK(h,\\tau)=\\frac6{\\sigma(Q)}I\\text{\\;\\;mit\\;\\;} \\sigma(Q)=Q^2{\\prod\\limits_{p|Q}}\\left(1-\\dfrac{1}{p^2}\\right)\\text{\\;\\;und}\\\\ I={\\int\\limits_{-\\infty}^{+\\infty}}{\\int\\limits_{-\\infty}^{+\\infty}} (1-ix(x\\tau+y))^{-1}f\\left(\\tau+i\\dfrac{(x\\tau+y)^2}{1-ix(x\\tau+y)}\\right)\\,dx\\,dy. \\end{gathered}  \\]  Statt \\(I\\) wird ein Doppelintegral \\(I_\\delta\\) berechnet, das aus \\(I\\) entsteht durch Vermehren des Argumentes von \\(f\\) um \\(i\\delta\\), \\(\\delta\\geqq0\\). \\(I_\\delta\\) ergibt sich zu \\(\\dfrac\\pi{k-1}f(\\delta i + \\tau)\\), es folgt daher \\({\\lim\\limits_{h\\to0}}hK (h, \\tau) =\\dfrac6{\\sigma(Q)(k-1)\\pi}f(\\tau)\\). Benutzt man zur Darstellung der \\(G_k(\\tau, \\nu,\\, Q)\\) die endliche Basis \\(G_k(\\tau,\\nu_i;\\,Q)\\) (\\(i = 1\\), 2,\\dots, \\(\\varkappa\\)), so wird \\({\\lim\\limits_{h\\to0}} h K (h, \\tau)\\) andererseits eine endliche Linearkombination der \\(G_k(\\tau,\\nu_i;\\,Q)\\), deren Koeffizienten von \\(\\tau\\) unabh\u00e4ngig sind und f\u00fcr \\(h\\to0\\) endlichen Grenzwerten zustreben.  Am Schlu\u00df setzt Verf. auch f\u00fcr die \\(G_k\\) die Fourierentwicklung ein und findet, nach Definition des Skalarproduktes zweier Spitzenformen  \\[  f_j(\\tau)={\\sum\\limits_{\\nu=1}^{\\infty}}\\alpha_\\nu^{(j)} e^{2\\pi i\\frac\\nu Q\\tau},\\;j=1,2,  \\]  als  \\[  (f_1,f_2)={\\lim\\limits_{h\\to0}}h{\\sum\\limits_{\\nu=1}^{\\infty}} \\frac{\\alpha_\\nu^{(1)}\\overline{\\alpha_\\nu^{(2)}}}{\\nu^{k-1}}e^{-2\\pi\\frac\\nu Qh}  \\]  die Beziehung  \\[  (f(\\tau),G_k(\\tau,\\nu;\\,Q))=\\frac{6\\nu^{1-k}}{\\sigma(Q)(k-1)\\pi}\\alpha_\\nu.  \\]  Er erh\u00e4lt somit, wie er selbst angibt, bis auf einen konstanten Faktor den Wert des von \\textit{H. Petersson} eingef\u00fchrten Skalarproduktes (Jber. Deutsche Math.-Verein. 49 (1939), 49-75; F. d. M. 65, 355 (JFM 65.0355.*); insbesondere S. 55; dort war die Metrisierung als Grundprinzip eingef\u00fchrt worden, um unter anderem den obigen (Vollst\u00e4ndig\\-keits-)Satz abzulesen).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2582011$9C67DC27-C833-445A-874F-2E6ED02E37D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90f3897a653c322e565876a45714d6d54f180889","datavalue":{"value":"2502780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2582011$A7F22D40-3FA7-418B-9E5D-75C9B078AD2A","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":"Q2582011$ADF9AB66-4632-493C-BC43-095CF773CA22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2582011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2582011"}}}}}