{"entities":{"Q2591204":{"pageid":2601947,"ns":120,"title":"Item:Q2591204","lastrevid":44426256,"modified":"2025-11-22T20:41:06Z","type":"item","id":"Q2591204","labels":{"en":{"language":"en","value":"Einf\u00fchrung in die Theorie der Modulfunktionen \\(n\\)-ten Grades."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510636"}},"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":"Q2591204$7EE4A611-6039-49C4-AF5D-39FE83020919","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e9161138667a1d8f99dabece3b28beeef0ded98","datavalue":{"value":{"text":"Einf\u00fchrung in die Theorie der Modulfunktionen \\(n\\)-ten Grades.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2591204$97A2BAA6-0931-4143-ADEE-7E37264C135E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"658fa81e1f48d252f2a4df7810047a87fe0450d1","datavalue":{"value":"65.0357.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591204$16DE5496-E8AB-4824-BD4B-E1D1180207E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1d31f3fe7ea625696b7606d83680481fdfd0f62","datavalue":{"value":"10.1007/BF01597381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591204$A00D8788-DC6E-4CC6-9913-6FADE46062A5","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":"Q2591204$97DAA538-5E0D-4131-B56B-AA49B459F4A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2591204$EC1AF077-9133-4ACC-BD4D-975C0B25C4A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ece64a4e02ac9cbc5fa87580f60c7b29188ba1f","datavalue":{"value":"https://eudml.org/doc/160024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2591204$D70001A1-16A7-4230-B076-244BD803180A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4258f1f293ac576e38af0d6bf7d244ec8074261","datavalue":{"value":"Es bezeichnen \\(\\mathfrak A, \\mathfrak B, \\mathfrak C, \\mathfrak D, \\dots \\) \\(n\\)-reihige quadratische ganzzahlige Matrizen, \\(\\mathfrak E\\) die Einheitsmatrix, \\(\\mathfrak N\\) die Nullmatrix, \\(\\mathfrak U\\) eine unimodulare Matrix, \\(\\mathfrak Z = \\mathfrak X + i \\mathfrak Y\\) eine \\(n\\)-reihige ver\u00e4nderliche symmetrische Matrix mit \\(\\mathfrak Y > 0\\) (d. h. die quadratische Form \\(\\mathfrak Y [\\mathfrak x] = \\mathfrak x^\\prime \\mathfrak Y \\mathfrak x\\), \\(\\mathfrak x^\\prime = (x_1, \\dots, x_n)\\) ist positiv definit). Eine symmetrische Matrix \\(\\mathfrak T\\) hei\u00dft halbganz, wenn die Form \\(\\mathfrak T [ \\mathfrak x ]\\) ganzzahlige Koeffizienten hat. Das Matrizenpaar \\(\\mathfrak C, \\mathfrak D\\) hei\u00dft symmetrisch, wenn \\(\\mathfrak C \\mathfrak D^\\prime = \\mathfrak D C^\\prime\\), teilerfremd, wenn aus der Ganzzahligkeit von \\(\\mathfrak G \\mathfrak C\\), \\(\\mathfrak G \\mathfrak D\\) die von \\( \\mathfrak G\\) folgt, und mit dem Matrizenpaar \\(\\mathfrak C_1, \\mathfrak D_1\\) assoziiert, wenn \\(( \\mathfrak C_1 \\mathfrak D_1) = \\mathfrak R (\\mathfrak C \\mathfrak D)\\) mit einer quadratischen Matrix \\(\\mathfrak R\\) vom Rang \\(n\\). -- Die Substitutionen \\( \\mathfrak M = \\begin{pmatrix} \\mathfrak A & \\mathfrak B \\\\ \\mathfrak C & \\mathfrak D \\end{pmatrix} \\), f\u00fcr welche \\(\\mathfrak M \\Im \\mathfrak M^\\prime = \\Im\\) mit \\(\\Im = \\begin{pmatrix} \\mathfrak N & \\mathfrak E \\\\ -\\mathfrak E & \\mathfrak N \\end{pmatrix}\\), bilden bez\u00fcglich der Matrizenmultiplikation die Modulgruppe \\(n\\)-ten Grades \\(\\varGamma\\); sie ist mod \\(\\pm \\begin{pmatrix} \\mathfrak E & \\mathfrak N \\\\ \\mathfrak N & \\mathfrak E \\end{pmatrix} \\) isomorph der Gruppe der Abbildungen \\(\\mathfrak Z \\to (\\mathfrak A \\mathfrak Z + \\mathfrak B) (\\mathfrak C \\mathfrak Z + \\mathfrak D)^{-1}\\), welche den Bereich \\(P\\), definiert durch \\(\\mathfrak Z = \\mathfrak Z^\\prime\\), \\(\\mathfrak Y > 0\\), auf sich abbilden. Zur Konstruktion eines f\u00fcr funktionentheoretische Zwecke brauchbaren Fundamentalbereichs \\(F\\) f\u00fcr \\(\\varGamma\\) in \\(P\\) wird die \\textit{Minkowski}sche Reduktionstheorie der quadratischen Formen herangezogen. \\(F\\) entsteht in der Weise, da\u00df man in jeder Serie von \u00e4quivalenten Punkten \\(\\mathfrak Z\\) einen solchen mit maximalem \\(|\\mathfrak Y |\\) ausw\u00e4hlt. Durch anschlie\u00dfende Reduktion mit Hilfe der affinen Substitutionen \\((\\mathfrak Z = \\mathfrak N)\\) erreicht man, da\u00df \\(\\mathfrak Y\\) die bekannten Minkowskischen Reduktionsbedingungen und \\(\\mathfrak X = (x_{ik})\\) die Ungleichungen \\(-\\frac 12 < x_{ik} \\leqq \\frac 12\\) (\\(i, k = 1, \\dots, n)\\) erf\u00fcllen. -- \\(\\varphi (\\mathfrak Z)\\) hei\u00dft eine Modulform \\(n\\)-ten Grades vom Gewicht \\(g\\) (ganzzahlig und gerade), wenn \\(\\varphi (\\mathfrak Z)\\) eine in \\(P\\) regul\u00e4r analytische und in \\(F\\) beschr\u00e4nkte Funktion ist, welche f\u00fcr s\u00e4mtliche Substitutionen \\(\\subset \\varGamma\\) die Funktionalgleichung \\(\\varphi ((\\mathfrak A\\mathfrak Z + \\mathfrak B)(\\mathfrak C \\mathfrak Z + \\mathfrak D)^{-1}) = | \\mathfrak C \\mathfrak Z + \\mathfrak D |^g \\varphi (\\mathfrak Z)\\) befriedigt. Es gibt eine eindeutig bestimmte Fourierentwicklung \\(\\varphi(\\mathfrak Z) = \\sum\\limits_{\\mathfrak T} a(\\mathfrak T) e^{2\\pi i \\sigma (\\mathfrak T \\mathfrak Z)}\\) (\\(\\sigma = \\) Spurzeichen), in welcher die Summation \u00fcber alle symmetrischen halbganzen \\(\\mathfrak T\\) zu erstrecken ist; \\(a(\\mathfrak T) = a(\\mathfrak T [\\mathfrak U])\\) ist stets erf\u00fcllt. Setzt man \\( \\begin{pmatrix} \\mathfrak Z_1 & \\mathfrak n \\\\ \\mathfrak n^\\prime & i\\lambda \\end{pmatrix} \\) (\\(\\lambda > 0\\), \\(\\mathfrak n = \\) Nullspalte), so gilt der f\u00fcr Induktionsans\u00e4tze wichtige Satz, da\u00df \\(\\lim\\limits_{\\lambda\\to \\infty} \\varphi (\\mathfrak Z ) = \\psi (\\mathfrak Z_1)\\) existiert und eine Modulform \\((n -1)\\)-ten Grades zum gleichen Gewicht darstellt. Eine Form \\(\\varphi (\\mathfrak Z ) \\) mit \\(g < 0\\) verschwindet identisch und ist mit \\(g = 0\\) notwendig konstant. -- Das erste Hauptergebnis besagt: Zwischen \\(h = \\dfrac {n(n+1)}{2}+2\\) beliebigen Modulformen \\(\\varphi_1, \\dots \\varphi_h\\) mit den Gewichten \\(g_1, \\dots, g_h\\) gibt es stets eine isobare Gleichung \\(\\sum\\limits_{g_1 \\nu_1 + \\cdots + g_h \\nu_h = g, \\nu_i \\geqq 0} a (\\nu_1, \\dots, \\nu_h ) \\varphi_1^{\\nu_1} \\cdots \\varphi_h^{\\nu_h} =0\\) vom Gewicht \\(g = c_1 g_1 \\cdots g_h\\), \\(c_1 = c_1(n)\\), mit nicht s\u00e4mtlich verschwindenden konstanten Koeffizienten. Der Beweis erfolgt durch Zur\u00fcckf\u00fchrung auf den nachfolgenden Satz, in welchem \\(D (\\mathfrak T) > 0\\) der gr\u00f6\u00dfte gemeinsame Teiler aller \\(r\\)-reihigen Unterdeterminanten der Matrix \\(\\mathfrak T\\) vom Rang \\(r\\) ist. Eine Modulform \\(\\varphi (\\mathfrak Z) = \\sum\\limits_{\\mathfrak T} a(\\mathfrak T) e^{2 \\pi i \\sigma (\\mathfrak T \\mathfrak Z)}\\) verschwindet identisch, wenn \\(T > c_2 g^n\\), \\(c_2 = c_2(n)\\), und \\(a(\\mathfrak T) = 0\\) f\u00fcr alle \\(\\mathfrak T\\) mit \\(D(\\mathfrak T) \\leqq T\\) gilt. Ein Induktionsansatz nach \\(n\\) und eine gewisse Verallgemeinerung des Schwarzschen Lemmas f\u00fchren zum Beweis dieses wichtigen Satzes. Um die Existenz von \\(h - 1\\) algebraisch unabh\u00e4ngigen Modulformen zu erh\u00e4rten, werden spezielle Formen vom Gewicht \\(g > n +1\\), n\u00e4mlich die Eisensteinreihen \\( \\varPsi_g (\\mathfrak Z) = \\sum\\limits_{\\{\\mathfrak C, \\mathfrak D\\}} | \\mathfrak C \\mathfrak Z + \\mathfrak D|^{-g}\\) herangezogen. Die Summe ist dabei \u00fcber ein volles System von ganzzahligen teilerfremden symmetrischen und paarweise nicht assoziierten Matrizenpaaren \\(\\mathfrak C, \\mathfrak D\\) zu erstrecken. F\u00fcr nat\u00fcrliches gerades \\(g > n + 1\\) ist \\( \\varPsi_g (\\mathfrak Z) \\not = 0\\). Mit nicht identisch verschwindender Modulform \\(\\varPhi_g ( \\mathfrak Z)\\) vom Gewicht \\(g\\) wird die in \\(\\lambda\\) meromorphe Funktion \\(M(\\lambda; \\mathfrak Z) = \\sum\\limits_{\\{\\mathfrak C, \\mathfrak D\\}} (\\lambda - \\varPhi_g ( \\mathfrak Z)| \\mathfrak C \\mathfrak Z + \\mathfrak D|^g )^{-1}\\) gebildet und unter voller Ausnutzung der Ganzzahligkeit der Modulsubstitutionen gezeigt, da\u00df \\(M(\\lambda; \\mathfrak Z_1) \\equiv M(\\lambda; \\mathfrak Z_2)\\) nur dann stattfinden kann, wenn \\(\\mathfrak Z_1\\) und \\(\\mathfrak Z_2\\) nach \\(\\varGamma\\) \u00e4quivalent sind, sofern \\(\\mathfrak Z_1, \\mathfrak Z_2\\) nicht auf gewissen algebraischen Fl\u00e4chen liegen. Unter den Koeffizienten \\(f_k (\\mathfrak Z) = \\varPsi_{kg}(\\mathfrak Z) \\varPhi_g^{-k} (\\mathfrak Z)\\) der Potenzreihe \\(-M(\\lambda; \\mathfrak Z) = \\sum\\limits_{k=1}^\\infty f_k (\\mathfrak Z) \\lambda^{k-1}\\) mu\u00df es dann notwendig \\(h - 2\\) algebraisch unabh\u00e4ngige geben, etwa \\(f_{k_a} (\\mathfrak Z)\\) (\\(a =1, \\dots, h-2)\\). Damit ergibt sich das zweite Hauptresultat, n\u00e4mlich die Existenz von \\(h - 1\\) isobar algebraisch unabh\u00e4ngigen Formen \\(\\varPsi_g (\\mathfrak Z)\\), \\(\\varPsi_{k_a g} (\\mathfrak Z)\\) (\\(a = 1, \\dots, h-2)\\). Definiert man eine Modulfunktion \\(n\\)-ten Grades als Quotienten zweier Modulformen gleichen Gewichts, so besagen die abgeleiteten Ergebnisse, da\u00df der K\u00f6rper aller Modulfunktionen \u00fcber dem K\u00f6rper der komplexen Zahlen den Transzendenzgrad \\(h-2\\) hat. Eine genauere Analyse der algebraischen Relationen zwischen je \\(h - 1 \\) Modulfunktionen zeigt, da\u00df sich alle Modulfunktionen rational durch \\(h - 1\\) geeignete ausdr\u00fccken lassen. Jede Modulfunktion l\u00e4\u00dft sich sogar rational durch Eisensteinreihen, n\u00e4mlich als Quotient von zwei isobaren Polynomen gleichen Gewichts darstellen. Die Modulfunktionen sind nach Definition an jeder Stelle des Fundamentalbereichs (als Quotienten von Formen) meromorph. Da\u00df diese Eigenschaft zusammen mit der Invarianz bei \\(\\varGamma\\) zur Charakterisierung der Modulfunktionen ausreicht, wird ohne Beweis mitgeteilt. Zum Schlu\u00df wird der Nachweis erbracht, da\u00df die Koeffizienten in der Fourierentwicklung von \\(\\varPsi_g(\\mathfrak Z)\\) rational sind, und die Methode entwickelt, wie die algebraischen Relationen zwischen den Eisensteinreihen aufgestellt werden k\u00f6nnen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2591204$C8B19489-F114-405D-9DD9-CB6E3D5911F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aac31711c597ebc6dd7a18bffbdb1f3aebe90a8f","datavalue":{"value":"2510636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591204$73B364EB-E3C7-45FA-B627-E533237F1B6A","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":"Q2591204$D450B85A-B354-425A-B381-06F855E6270A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2d830e7e8b6b912fe710147713d5e40bc3ae99a9","datavalue":{"value":"Q56474218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591204$7A851984-DEF2-4569-93BD-11F69F7A8AFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c642c02b60bae71d8834e6cfc6fee113e79a7da6","datavalue":{"value":{"entity-type":"item","numeric-id":2645995,"id":"Q2645995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2591204$EF073842-A08E-4C23-A6A8-9CE4A4549591","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94ede9d02a720444341513408fd498bd582d94ca","datavalue":{"value":"W2312810549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591204$8714B571-7409-4FDB-9F53-02BB059B0692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad69cac34a49566dd37c7e7223e5c3fef758026e","datavalue":{"value":{"entity-type":"item","numeric-id":6482048,"id":"Q6482048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2591204$4883F002-79FC-4761-BA41-51C71492410A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2591204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2591204"}}}}}