{"entities":{"Q2591189":{"pageid":2601932,"ns":120,"title":"Item:Q2591189","lastrevid":44426214,"modified":"2025-11-22T20:40:42Z","type":"item","id":"Q2591189","labels":{"en":{"language":"en","value":"Grundlagen einer Theorie der Integralgruppen und der Integralperioden bei den Normalteilern der Modulgruppe."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510622"}},"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":"Q2591189$595770BF-5DBD-41D3-B153-6D43E7C7C688","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9bf9cbbc0b89ffa48ef2454717a39b46c2b269c","datavalue":{"value":{"text":"Grundlagen einer Theorie der Integralgruppen und der Integralperioden bei den Normalteilern der Modulgruppe.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2591189$BF1F1D27-85AB-40C8-AD53-34B1DD3DB03D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc6cf03815458ba35f7d59884ba8222337bce07d","datavalue":{"value":"65.0347.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591189$C43766A2-1735-47D1-B6BC-907E7026EC0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cbc7f6220ba2d3a92b462ebe8061ff03a05e4db","datavalue":{"value":"10.1007/BF01597370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591189$3202FA0C-DCDF-4404-B0F9-5D39C063337C","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":"Q2591189$5DFE8807-7782-4252-906D-8D8C81E8ECA2","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":"Q2591189$61271219-935D-4A63-B291-5703C30C772A","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":"Q2591189$C2268387-E18E-4063-87A1-F03149322FE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3af00d1d1192649ee9af21c3bf06527171b23fb4","datavalue":{"value":"https://eudml.org/doc/160013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2591189$4E53D122-8821-473F-B666-255F7DAAE67F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef7684debd7e987233303868e61903816bd655d0","datavalue":{"value":"Ist \\(\\mathfrak N\\) ein Normalteiler der vollen Modulgruppe \\(\\varGamma (1)\\) vom endlichen Index \\(\\mu\\), \\(p\\) das Geschlecht von \\(\\mathfrak N\\), so erf\u00e4hrt ein Vektor \\(\\mathfrak q (\\tau )\\), dessen Komponenten \\(2p\\) linear unabh\u00e4ngige Potentiale erster Gattung von \\(\\mathfrak N\\) sind, bei Anwendung einer Substitution \\(S\\) aus \\(\\varGamma (1)\\) eine Umsetzung von der Gestalt \\(\\mathfrak q (S\\tau ) = \\mathfrak M_S \\mathfrak q (\\tau) + \\mathfrak p_S\\), wo \\(\\mathfrak M_S\\) eine konstante quadratische Matrix, \\(\\mathfrak p_S\\) eine Spalte von \\(2p\\) Zeilen ist. Allgemeiner sei durch  \\[  \\mathfrak x^\\prime = \\mathfrak M_S \\mathfrak x + \\mathfrak p_S = (\\mathfrak M_S, \\mathfrak p_S) \\mathfrak x  \\]  mit irgend einem nat\u00fcrlichen \\(f\\) an Stelle von \\(2p\\) der Begriff einer affinen Darstellung von \\(\\varGamma (1)\\) in dem variablen Vektor \\( \\mathfrak x\\) erkl\u00e4rt. Dabei gilt notwendig  \\[  \\mathfrak M_{SR} = \\mathfrak M_S \\mathfrak M_R, \\quad \\mathfrak p_{SR} = \\mathfrak p_S + \\mathfrak M_S \\mathfrak p_R;  \\]  wenn ferner die Darstellung durch ein System von Potentialen von \\( \\mathfrak N\\) realisiert wird, so gilt \\( \\mathfrak M_L = I\\) (Einheitsmatrix) f\u00fcr \\(L \\subset \\mathfrak N\\), \\( \\mathfrak M_S = \\mathfrak M_R\\) f\u00fcr \\(S \\sim R( \\mathfrak N)\\), und \\( \\mathfrak p_U\\) \\(\\left( U = \\begin{pmatrix} 1 & 1 \\\\ 0 & 1 \\end{pmatrix} \\right)\\) kann durch \u00dcbergang zu einer neuen Variablen \\( \\mathfrak h = \\mathfrak x + \\mathfrak c\\) in den Nullvektor \u00fcbergef\u00fchrt werden. Eine beliebige affine Darstellung mit diesen Eigenschaften, insbesondere mit \\( \\mathfrak p_U = 0\\) hei\u00dfe eine zul\u00e4ssige (affine) Darstellung von \\(\\varGamma (1)\\). Eine solche ist durch \\( \\mathfrak M_U\\), \\( \\mathfrak M_T\\) und \\( \\mathfrak p_T\\) eindeutig bestimmt \\(\\left( T = \\begin{pmatrix}  \\, & \\, \\r \\\\ 0 & -1 \\\\ 1 & 0 \\end{pmatrix} \\right)\\).  Es werden die notwendigen und hinreichenden Bedingungen daf\u00fcr aufgestellt, da\u00df \\(( \\mathfrak M_U, 0)\\) und \\(( \\mathfrak M_T, \\mathfrak p)\\) eine zul\u00e4ssige Darstellung von \\(\\varGamma (1)\\) erzeugen, und es wird eine Absch\u00e4tzung des Ranges des entstehenden Gleichungssystems f\u00fcr \\( \\mathfrak p\\) gewonnen. Der Satz, da\u00df jede zul\u00e4ssige Darstellung, welche mindestens eine reine Translation enth\u00e4lt, durch ein System von Potentialen von \\( \\mathfrak N\\) realisiert wird, f\u00fchrt zu der Bestimmung der Summe der Vielfachheiten, mit denen eine irreduzible (homogene) Darstellung \\( \\mathfrak D\\) und ihre konjugiert-komplexe Darstellung \\( \\overline{\\mathfrak D}\\) von \\(\\varGamma (1) / \\mathfrak N\\) in der Transformationsgruppe der Differentiale von \\(\\mathfrak N\\) auftreten.  Hierauf wird eine affine irreduzible (zul\u00e4ssige) Darstellung betrachtet, die von den Integralen erster Gattung von \\( \\mathfrak N\\) realisiert wird. Das Attribut irreduzibel bezieht sich dabei auf die homogenen Bestandteile \\( \\mathfrak M_S\\) in der oben angewandten Bezeichnung. F\u00fcr \\( \\mathfrak p_T\\) und \\( \\mathfrak p_{TU}\\) bestehen einfache Bedingungsgleichungen. Die Gestalt der Riemannschen Bilinearrelationen f\u00fcr die Integralperioden ergibt sich hier auf folgendem Wege. Es seien \\( \\mathfrak j (\\tau ), \\mathfrak g (\\tau)\\) Integralvektoren erster bzw. dritter Gattung (\\(d \\mathfrak g (\\tau)\\) hat also ganze Formen zu \\( \\mathfrak N\\) als Komponenten), und es m\u00f6gen sich \\(d \\mathfrak j (\\tau)\\) und \\(d \\mathfrak g (\\tau)\\) nach zwei konjugiertkomplexen irreduziblen Darstellungen \\( \\mathfrak D\\) und \\(\\overline{ \\mathfrak D}\\) von \\(\\varGamma (1)\\) umsetzen. Ist \\( \\mathfrak H\\) eine bei \\( \\mathfrak D\\) invariante Hermitesche Matrix, also \\( \\mathfrak x^\\prime \\mathfrak H \\mathfrak h \\to \\mathfrak x^\\prime \\mathfrak H \\mathfrak h\\), d. h. \\( \\mathfrak M_S^\\prime \\mathfrak H \\overline{ \\mathfrak M}_S = \\mathfrak H = \\overline{ \\mathfrak H}^\\prime\\), so erh\u00e4lt man die gesuchten Relationen durch Integration der Bilinearform \\( \\mathfrak j^\\prime (\\tau ) \\mathfrak H d \\mathfrak g (\\tau )\\) \u00fcber den Rand des Fundamentalbereichs der Gruppe \\(\\varGamma (1)\\). Man findet, wenn  \\[  \\mathfrak j (T\\tau ) = \\mathfrak M_T \\mathfrak j (\\tau) + \\mathfrak p, \\quad \\mathfrak g(T \\tau ) = \\mathfrak M_T \\mathfrak g (\\tau)+ \\mathfrak q, \\quad \\mathfrak B = i(\\overline{ \\mathfrak H \\mathfrak M}_U - \\mathfrak M_U^\\prime \\mathfrak H )  \\]  gesetzt wird und \\(\\mathfrak g (\\tau )\\) von erster Gattung ist:  \\[  \\mathfrak p^\\prime \\mathfrak B \\mathfrak q = 0, \\quad \\mathfrak p^\\prime \\mathfrak B \\overline{\\mathfrak p} > 0.  \\]   Auf Grund dieser Formeln erweist es sich als sinnvoll, die L\u00f6sungen der Bedingungsgleichungen f\u00fcr \\( \\mathfrak p, \\mathfrak q\\) durch eine Art Koordinatentransformation auf eine Normalgestalt zu reduzieren. Dies f\u00fchrt bei reellen \\( \\mathfrak D\\) zu einer Normierung, bei der \\( \\mathfrak p\\) aus gewissen festen Vektoren mit Hilfe gewisser Koeffizienten \\(\\tau_{\\alpha,\\beta}\\) zusammengesetzt erscheint. Diese \\(\\tau_{\\alpha, \\beta} \\) sind \\textit{f\u00fcr die Darstellung } \\( \\mathfrak D\\) das Analogon des Systems der Riemannschen transzendent normierten Perioden \\(\\tau_{\\alpha, \\beta}\\). In dem Spezialfall \\( \\mathfrak N = \\) Hauptkongruenzgruppe der Primzahlstufe \\(q\\) lassen sich die genannten Normierungen arithmetisch noch weiter treiben, da sich jede irreduzible Darstellung der Modulargruppe im K\u00f6rper ihres Charakters realisieren l\u00e4\u00dft. Der Satz gilt aber nur f\u00fcr Darstellungen der homogenen Gruppe.  Den Schlu\u00df der Arbeit bilden Anwendungen auf die durch \\(\\vartheta\\)-Reihen erkl\u00e4rten Darstellungen und auf numerische F\u00e4lle der allgemeinen Theorie, sowie insbesondere die klare Herausstellung der Tatsache, da\u00df die Bestimmung der normierten Perioden bei Darstellungen der Vielfachheit 1 in der Integralgruppe gleichbedeutend ist mit der Bestimmung der Werte Hilbertscher Modulfunktionen, die zum K\u00f6rper des Charakters geh\u00f6ren.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2591189$98B4D9D5-3328-4918-9917-1095B44A6924","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bd607c909f5f8cc8ec82e9f9d24f095c6730e8a","datavalue":{"value":"2510622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591189$D0C1EC0D-F948-4BBB-BA02-823C2BEEE605","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5f2385582b8d1cac084fb123ac7de69aa9a020f2","datavalue":{"value":"Q110929412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2591189$AC7964BF-DB9F-40E9-9781-C9D173112EA3","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":"Q2591189$DE43004A-CC63-47C8-9E02-564B8A8EFA77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2591189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2591189"}}}}}