{"entities":{"Q2586091":{"pageid":2596834,"ns":120,"title":"Item:Q2586091","lastrevid":44407605,"modified":"2025-11-22T17:56:49Z","type":"item","id":"Q2586091","labels":{"en":{"language":"en","value":"Analytische Arithmetik der positiven quadratischen Formen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2505742"}},"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":"Q2586091$B44EADFF-8E15-48AD-95B2-C27A5F4C6BDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bbdc3d8e12f81167008b1b3b8daac4d0508c669","datavalue":{"value":{"text":"Analytische Arithmetik der positiven quadratischen Formen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2586091$09009CB9-B583-4D91-8814-6279241FA50F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2594c7f74282853412e5f569253d66a478a405cd","datavalue":{"value":"66.0128.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586091$843F4A7E-739D-4B98-8FF5-B7BE8F44396E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef4b7d5a9df057827c761a7559dd261dc44774e","datavalue":{"value":{"entity-type":"item","numeric-id":566041,"id":"Q566041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2586091$C03B68B9-352F-4FFD-9A5C-E0EA057CB74A","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":"Q2586091$FAD62CB8-E3DB-4925-BEB4-9D12DD8F65F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5f5f73efa3095dbe905c7df9f31178b62af460bf","datavalue":{"value":"Das Ziel der Arbeit ist das Aufzeigen der Zusammenh\u00e4nge zwischen den Darstellungsanzahlen \\(a(n,Q)\\) der Zahl \\(n\\) durch verschiedene positive quadratische Formen \\(Q\\) und das Zur\u00fcckf\u00fchren der Berechnung der \\(a(n,Q)\\) auf die der Darstellungsanzahlen der Primfaktoren von \\(n\\).  Zu diesem Zweck gibt Verf. eine erneute Darstellung seiner Theorie der den Modulformen zugeordneten Dirichletreihen [Verf., Math. Ann. 114 1--28, 316--351 (1937; JFM 63.0339.03); \\textit{H.Petersson}, Math. Ann. 116, 401--412 (1939); 117, 39--64 (1939; JFM 65.0355.02); 117, 277--300 (1940; JFM 66.0373.03)]. Sobald eine solche Dirichletreihe ein Eulerprodukt besitzt, k\u00f6nnen Relationen zwischen den Koeffizienten abgelesen werden, und es handelt sich daher darum, aus den auftretenden Dirichletreihen solche Linearkombinationen herzustellen, die ein Eulerprodukt besitzen.   Der Zusammenhang der \\(a(n,Q)\\) mit den Modulformen entsteht dadurch, da\u00df die Thetareihe  \\[ \\vartheta (\\tau,Q) = \\sum_{(n)} \\exp(2\\pi in\\tau) Q(n) = \\sum_{n=0}^\\infty a(n,Q) \\exp(2\\pi in\\tau) \\tag{1}  \\]  eine ganze Modulform der Dimension \\(-k\\) zur Stufe \\(N = | \\varDelta | : \\delta\\), zum Teiler \\(N\\) und zum Charakter \\(\\varepsilon (n)\\), d. h. vom Typus \\((- k, N, \\varepsilon (n)) \\) ist. Dabei sind \\(2Q = 2Q(x) = 2Q(x_1, \\dots, x_{2k}) = \\sum\\limits_{r,s =1}^{2k} a_{rs}x_rx_s\\) eine gerade Form, \\(\\varDelta = (- 1)^k\\cdot |a_{rs}|\\) die Diskriminante von \\(Q\\),  \\[ \\delta = (\\frac 12 A_{11},\\dots, \\frac 12 A_{rr},\\dots, A_{12},\\dots, A_{rs},\\dots) \\]  und \\(\\varepsilon (n) = \\left(\\dfrac \\varDelta{n}\\right)\\) f\u00fcr \\(n> 0\\), \\(\\varepsilon (-n) = (- 1)^k \\varepsilon (n)\\) f\u00fcr \\(n < 0\\). -- Um allgemeinere Relationen zu erhalten, betrachtet Verf. die noch von einer ``Kugelfunktion \\(P_\\nu (x)= P_\\nu (x_1, \\dots, x_{2k})\\) der Ordnung \\(\\nu\\) bez\u00fcglich \\(Q\\)'' abh\u00e4ngenden Thetareihen  \\[ \\vartheta (\\tau, P_\\nu, Q) = \\sum_{(n)} P_\\nu (n) \\exp(2\\pi i\\tau) Q(n) = \\sum_{m=0}^\\infty a(m) \\exp(2\\pi im\\tau), \\tag{2}  \\]  die f\u00fcr \\(\\nu =0\\), \\(P_0 \\equiv 1\\) die Reihe (1) liefern. Dabei hei\u00dft ein homogenes Polynom \\(P_\\nu (x_1, \\dots, x_{2k})\\) der Dimension \\(\\nu\\) Kugelfunktion bez\u00fcglich \\(Q\\), wenn nach Transformation von \\(Q\\) auf die Form \\(\\sum\\limits_r y^2_r\\) das Polynom \\(P_\\nu(x)\\) in eine Kugelfunktion in den \\(y_r\\) \u00fcbergeht. Diese verallgemeinerten Thetareihen sind Modulformen vom Typus \\((- (k +\\nu), N, \\varepsilon (n))\\); die zugeordneten Dirichletreihen sind \\(\\varphi (\\tau, P_\\nu,Q) = \\sum\\limits_{m=1}^\\infty a(m) m^{-s}\\).  Zu Aussagen \u00fcber eine Eulerproduktentwicklung gelangt man auf Grund des Verhaltens einer Modulform \\(F (\\tau)\\) gegen\u00fcber den vom Verf. a. a. O. eingef\u00fchrten Operatoren \\(T^t_m\\) (da hier \\(t = N\\) vorausgesetzt wird, schreibt Verf. jetzt \\(T_m\\)):  \\[  F (\\tau)\\, | \\, T_m = m^{k-1}\\sum_{a, d, b} \\varepsilon (a) F \\left( \\frac {a\\tau + b}{d}\\right) d^{-k} \\tag{3}  \\]  mit den Summationsbedingungen \\(ad = m\\), \\((a, N)=1\\), \\(b\\) mod \\(d\\). Eine ``abgeschlossene Schar'' von als ganzes bei \\(T_m\\) festen Formen besitzt eine endliche Basis \\(F_\\varrho\\) (\\(\\varrho = 1, \\dots, \\varkappa\\)), und f\u00fcr die Umsetzungsmatrizen \\(\\lambda (m) = (\\lambda_{\\varrho\\sigma}(m)\\)) bei Aus\u00fcbung von \\(T_m\\), gilt entsprechend einer Relation der \\(T_m\\) die Beziehung  \\[  \\lambda (m_1)\\lambda(m_2)= \\sum_{d|(m_1, m_2)} \\lambda (m_1m_2d^{-2}) \\varepsilon(d) d^{k-1}. \\tag{4}  \\]  Daher besitzt die Matrix \\(\\varPhi (s)\\) der Dirichletreihen \\(\\varphi_{\\varrho \\sigma}(s) = \\sum\\limits_{m=1}^\\infty \\lambda_{\\varrho \\sigma}(m)m^{-s}\\) kanonisches Eulerprodukt  \\[  \\varPhi (s) = \\prod_p (E - \\lambda (p) p^{-s} + \\varepsilon (p) p^{k-1-2s} E)^{-1}. \\tag{5}  \\]  Es ist \\(\\varepsilon (p) = 0\\), wenn \\(p |N\\). Wegen der Sonderstellung der Primteiler der Diskriminante ist es \u00fcberhaupt zweckm\u00e4\u00dfig, neben den Reihen \\(F (\\tau)\\) bzw. \\(\\varphi (\\tau)\\) die ``reduzierten Reihen'' \\(\\tilde{F}(\\tau)= \\sum\\limits_{(m,N)=1} a(m) \\text{ exp } \\dfrac {2\\pi i m \\tau}{N}\\) bzw. \\(\\tilde{\\varphi} (\\tau)= \\sum\\limits_{(m,N)=1} a(m) m^{-s}\\) heranzuziehen. \\ \\(\\tilde{F}(\\tau)\\) besitzt gleiche Dimension, Stufe und Charakter wie \\(F (\\tau)\\), ist jedoch vom Teiler 1. \\(\\tilde{\\varphi} (\\tau) \\) ist stets eine Linearkombination von durch ihren Typus eindeutig bestimmten Eulerprodukten, und dasselbe gilt f\u00fcr \\({\\varphi} (\\tau) \\) selbst, wenn \\(\\varepsilon (n)\\) ein eigentlicher Charakter mod \\(N\\) ist (Satz 23, 24).  Als ein Hauptsatz wird Satz 42 bewiesen, der aussagt, da\u00df die kleinste abgeschlossene Schar, die eine gegebene Spitzenform \\(f(\\tau)\\) von reellem Typus (\\(\\varepsilon (n)\\) reell) enth\u00e4lt, bereits durch die endlich vielen Funktionen  \\[  f(\\tau) | T_m \\text{ mit } 1\\leqq m \\leqq K = \\left[ \\frac k{12} \\mu_0 (N)\\right] + 2  \\]  erzeugt wird. (F\u00fcr eine Spitzenform gilt \\(f (\\infty) = 0\\), was stets durch Subtraktion einer Eisensteinreihe \\(E (\\tau)\\), deren Dirichletreihe ein Eulerprodukt besitzt, erreicht werden kann; \\(\\mu_0(N)\\) ist der Index der Gruppe \\(\\varGamma_0(N)\\) in der Modulgruppe.)  Bei der Untersuchung von  \\[  f(\\tau ) = \\vartheta (\\tau, P_\\nu, Q) - E (\\tau) = \\sum_{n=0}^\\infty a (n) \\exp(2\\pi in\\tau)  \\]  bilde man also  \\[  f_m(\\tau ) = f(\\tau)\\,|\\,T_m = \\sum_{n=0}^\\infty b_m (n) \\exp(2\\pi in\\tau) \\tag{6}  \\]  und untersuche die \\(f_m(\\tau)\\) auf lineare Unabh\u00e4ngigkeit. Dabei gen\u00fcgt es nach Satz 42, die ersten \\(K\\) Koeffizienten von \\(f_m(\\tau )\\), d. h. wegen  \\[  b_m (n) = \\sum_{d\\mid (m,n)} \\varepsilon (d) d^{k-1} a (mnd^{-2}) \\tag{7}  \\]  die ersten \\(K^2\\) Koeffizienten von \\(f (\\tau ) \\), also von \\( \\vartheta (\\tau, P_\\nu, Q)\\) zu kennen. Die der Basis \\(f_{n_\\varrho} \\) (\\(\\varrho = 1,\\dots, \\varkappa\\)) zugeordneten Dirichletreihen \\(\\varphi^\\varrho (s)\\) kann man dann mit Hilfe konstanter Matrizen \\(B^\\varrho\\) zu einer Matrix \\(\\varPhi (s) = \\sum\\limits_{\\varrho = 1}^\\varkappa \\varphi^\\varrho (s) B^\\varrho\\) mit Eulerprodukt (5) vereinigen. Zur Berechnung der \\(B^\\varrho\\) ben\u00f6tigt man die \\(K^3\\) ersten Koeffizienten von \\(\\vartheta (\\tau,P_\\nu,Q)\\). Unter den Linearkombinationen \\(\\sum\\limits_{\\varrho = 1}^\\varkappa c_\\varrho \\varphi^\\varrho = \\sum\\limits_{m=1}^\\infty M(m) m^{-s}\\) gibt es also solche, die ein Eulerprodukt besitzen. Wegen (6), (7) gilt daher f\u00fcr zu \\(n_1, \\dots, n_\\varkappa\\) primes \\(m\\) die Darstellung \\(B (m) = \\sum\\limits_{\\varrho = 1}^\\varkappa c_\\varrho a(n_\\varrho m,Q)\\), und die der Matrizenrelation (4) entsprechende Relation zwischen den \\(B (m)\\) liefert die gesuchten Beziehungen zwischen den Darstellungsanzahlen \\(a(n,Q)\\). F\u00fcr beliebige \\(P_\\nu (x)\\) gelten weitere Relationen.  W\u00e4hrend die Reihen \\(\\vartheta (\\tau, Q) | T_{n_\\varrho}\\) eine Basis eines abgeschlossenen Systems bilden, ist es im allgemeinen nicht m\u00f6glich, eine Basis aus Thetareihen \\(\\vartheta (\\tau, Q_j)\\) mit Hilfe verschiedener Formen \\(Q_j\\) eines Geschlechts (\\textit{C. L. Siegel}, Ann. Math (2) 36, 527--606 (1935; JFM 61.0140.01)] zu bilden, vielmehr ben\u00f6tigt man f\u00fcr \\(2k \\geqq 4\\) sicher Formen zwar gleicher Stufe aber verschiedener Diskriminanten.  Eine Untersuchung der Abh\u00e4ngigkeit der zur Darstellung von \\(\\varphi (s, Q)\\) benutzten Eulerprodukte von der Form \\(Q\\) ist im allgemeinen Fall noch nicht durchf\u00fchrbar. Daher betrachtet Verf. f\u00fcr den Fall \\(N = q\\) (ungerade Primzahl) die Sonderf\u00e4lle \\(\\varDelta =1\\) (d. h. \\(2k \\equiv 0(8)\\)), \\(\\varDelta =q^{2l}\\) (\\(2k \\equiv 0(4)\\), \\(\\varepsilon (n) \\equiv 1\\)), \\(2k = 4\\) (\\(\\varepsilon (n) \\equiv 1\\), Quaternionen) und \\(\\varepsilon (n) = \\left( \\dfrac nq \\right)\\). In den Beziehungen f\u00fcr die Darstellungsanzahlen treten neben \\(a (n, Q)\\) die \\(a(m, Q^*)\\) der Darstellungen durch die zu \\(Q\\) adjungierten Form \\(Q^*\\) mit \\(2Q^*(x) = \\sum\\limits_{r,s} A_{rs}x_rx_s\\) auf.  F\u00fcr den Fall der Quaternionen hat \\textit{H. Brandt} die Ergebnisse auf arithmetischem Wege erhalten [Math. Ann. 117, 758--763 (1941; JFM 67.0102.01)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2586091$3BB31429-F67B-432C-B992-0D0C95CBBD32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dbcd6dd1b5cafee184ac56ff8eb9fd2e8218aae7","datavalue":{"value":"11F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586091$1CB32EC2-5F60-4143-964C-88C177421C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586091$E9DF72BB-E81C-4535-A3D6-8494ED0ACE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e750e1c945c0ad643c20fc62803e0d25e319e274","datavalue":{"value":"11F27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586091$84ABEE23-F645-479C-B2B6-4248C436920D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42c7fbaa018c01ca8258924c3b206a2dd8d9b6b1","datavalue":{"value":"11F11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586091$59FCD85B-46A0-43F3-936B-645CEF07E9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a40e4b2bbaa25331c12af98d733a46773b373dce","datavalue":{"value":"11F66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586091$25A40F16-7420-463E-995D-BCE0702EB57E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7a7e54517b5f5c6cc5196836d60adb11649e318","datavalue":{"value":"2505742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2586091$839C8848-9456-4BDB-B107-2064B248C3D1","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":"Q2586091$9C8A059B-B8C6-40BE-BCE5-7BBBC0633931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2586091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2586091"}}}}}