{"entities":{"Q1227032":{"pageid":1237781,"ns":120,"title":"Item:Q1227032","lastrevid":42959704,"modified":"2025-07-16T09:52:14Z","type":"item","id":"Q1227032","labels":{"en":{"language":"en","value":"Frobenius distributions in \\(\\mathrm{GL}_2\\)-extensions. Distribution of Frobenius automorphisms in \\(\\mathrm{GL}_2\\)-extensions of the rational numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3515584"}},"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":"Q1227032$A1BE6BD6-F5A5-4467-9E6D-1F52C9F3DF57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afdb43eaedda702dc743b862a1d71fd4dfe63450","datavalue":{"value":{"text":"Frobenius distributions in \\(\\mathrm{GL}_2\\)-extensions. Distribution of Frobenius automorphisms in \\(\\mathrm{GL}_2\\)-extensions of the rational numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1227032$6F3A01EC-F448-49B4-B3C6-8CF955359263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1aa52ff359b8a3e7fb7f8906e53f69ce50504ffb","datavalue":{"value":"0329.12015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1227032$062ED55B-0759-4508-85AB-D1A4F836E2BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"575facf072616ece55c36783fa5eb66a2a3ba1fc","datavalue":{"value":{"entity-type":"item","numeric-id":170692,"id":"Q170692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1227032$66BAD7C1-9324-4379-98D7-5B662BD8C9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9855c0eeb8686e3abf1dbe0a5124afbaf817c118","datavalue":{"value":{"entity-type":"item","numeric-id":2266755,"id":"Q2266755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1227032$7366FAFC-BF93-44AA-A132-C5CFB4E21D27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1227032$8AFEF8CF-06BD-4113-A525-A1FCFD8460F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1227032$210D2A5F-454D-47E4-B170-8B8686BBE535","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66f9874868080a53f57671b5901885f1d7cc5fe7","datavalue":{"value":"Sei \\(K/\\mathbb Q\\) eine (unendliche) Galoiserweiterung mit der Galoisgruppe \\(G\\), \\(\\rho: G\\to \\Pi \\mathrm{GL}_2(\\mathbb Z_l)\\) eine Darstellung, \\(\\rho_l\\) sei die Projektion auf den \\(l\\)-ten Faktor. Von \\(\\rho\\) wird gefordert:   1. \\(\\rho(G)\\) ist eine offene Untergruppe von \\(\\Pi \\mathrm{GL}_2(\\mathbb Z_l)\\) \\((l\\) Primzahl).   2. Es gibt eine ganze Zahl \\(\\Delta\\), so da\u00df f\u00fcr alle Primzahlen \\(p\\) mit \\(p\\nmid \\Delta\\cdot l\\) folgt: \\(\\rho_l\\) ist unverzweigt in \\(p\\).   Die Eigenschaft 2. gestattet es, die Frobeniusklasse \\(\\sigma_p\\) in \\(G/\\operatorname{Ker}\\rho_l\\) zu betrachten. Sei \\(X^2 - t_pX + p\\) das charakteristische Polynom von \\(\\rho_l(\\sigma_p)\\). Dann fordert man   3. \\(t_p\\) ist eine ganze Zahl, die unabh\u00e4ngig von \\(l\\) ist \\((t_p = \\) Spur des Frobenius), die Wurzeln des charakteristischen Polynoms haben den Betrag \\(\\sqrt{p}\\) und sind komplex konjugiert zueinander. Mit \\(\\pi_p\\) werde eine solche Wurzel bezeichnet.   Realisiert werden kann eine solche Erweiterung \\(K\\) von \\(\\mathbb Q\\), indem man zu \\(\\mathbb Q\\) die Torsionspunkte einer elliptischen Kurve ohne komplexe Multiplikation adjungiert [s. \\textit{J. P. Serre}, Propri\u00e9t\u00e9 galoisiennes des points d'ordre fini des courbes elliptiques, Invent. Math, 15, 259--331 (1972; Zbl 0235.14012)]. Sei \\(t_0\\in \\mathbb Z\\), \\(k\\) ein imagin\u00e4r quadratischer Zahlk\u00f6rper, \\(x\\in\\mathbb R\\). Sei:   \\(N_{t_{0,\\rho}}(x) = \\) Anzahl der Primzahlen \\(p\\le x\\) mit \\(t_p = t_0\\).   \\(N_{k,\\rho}(x) = \\) Anzahl der Primzahlen \\(p\\le x\\) mit \\(k=\\mathbb Q(\\pi_p)\\).   Sei \\(\\displaystyle \\pi_{\\frac12}(x) = \\sum_{p\\le x} \\frac1{2\\sqrt p}\\). Dann wird folgende Vermutung ausgesprochen:   Es gibt eine Konstante \\(C(t_{0,\\rho})\\) und eine Konstante \\(C(K,\\rho)\\), so da\u00df gilt:  \\[  N_{t_{0,\\rho}}(x) \\sim C(t_{0,\\rho})\\cdot \\pi_{\\frac12}(x)\\quad\\text{und}\\quad N_{k,\\rho}(x) \\sim C(K,\\rho)\\cdot \\pi_{\\frac12}(x). \\]  Um diese Vermutungen zu beweisen, werden m\u00f6glichst einfache wahrscheinlichkeitstheoretische Modelle mit den Folgen \\(\\{t_p\\}\\) als Zufallsfolgen betrachtet, so da\u00df fast alle Folgen ein asymptotisches Verhalten zeigen, das mit den Dichtes\u00e4tzen von Chebotarev und Hecke und mit der Sato-Tate-Vermutung konsistent ist.   Beispiel (Part I, \\S\\S 3,4): Sei \\(M\\) eine positive Zahl, \\(G(M)\\) die Reduktion von \\(\\rho(G) \\bmod M\\), \\(G(M)_t = \\{\\sigma\\in G(M),\\ \\operatorname{tr}(\\sigma)\\equiv t \\bmod M\\}\\). Sei \\(F_M(t) = M\\cdot\\frac{\\vert G(M)_t\\vert}{\\vert G(M)\\vert}\\). Dann ist nach Chebotarev \\(\\frac{F_M(t)}{M}\\) die Dichte der Primzahlen \\(p\\) mit \\(t_p\\equiv t\\bmod M\\). Weiter wird angenommen, da\u00df eine Dichtefunktion \\(g(\\xi)\\) existiert, die gleich \\(0\\) au\u00dferhalb von \\([-1,1]\\) ist, deren Integral die Dichte der Primzahlen \\(p\\) mi\u00dft, f\u00fcr die \\(\\xi(t_p,p):= \\frac{t_p}{2\\sqrt p}\\) in einem bestimmten Intervall liegt. Falls \\(\\rho\\) von einer elliptischen Kurve herkommt, nehme man \\(g(\\xi) = \\frac2{\\pi} \\sqrt{1 - \\xi^2}\\).  Die Hauptannahme bez\u00fcglich des Wahrscheinlichkeitsmodells ist dann, da\u00df die Funktion \\(f_M(t,p) = c_p g(\\xi(t,p)) F_M(t)\\) das Ma\u00df \\(\\mu_p\\) in der Faser \u00fcber \\(p\\) des Wahrscheinlichkeitsraumes repr\u00e4sentiert, wobei \\(c_p\\) so bestimmt ist, da\u00df \\(\\sum_t f_M(t,p) = 1\\)  ist. Es folgt: \\(c_p \\sim \\frac1{2\\sqrt p}\\).   In \\S 4 wird gezeigt, da\u00df \\(\\lim_M F_M(t_0) =: F(t_0)\\) existiert, f\u00fcr \\(p\\to\\infty\\) geht \\(c_p\\cdot g(\\xi,t_0))\\) gegen \\(\\frac12\\sqrt p\\cdot g(0)\\). Setzt man \\(C(t_{0,\\rho} )=g(0)\\cdot F(t_0)\\), so hat man f\u00fcr \\glqq fast alle\\grqq{} Folgen \\(\\{t_p\\}\\): \\(N_{t_0}(x) \\sim C(t_{0,\\rho})\\pi_{\\frac12}(x)\\).   Zur weiteren Bestimmung von \\(C(t_{0,\\rho})\\) wird \\(F(t_0)\\) als Produkt lokaler Faktoren geschrieben, deren Bestimmung durch eine genaue Untersuchung von der speziellen Darstellung \\(\\rho\\) erreicht werden kann. F\u00fcr sogenannte \\glqq Serre-Kurven\\grqq{} (das Bild von \\(\\rho\\) ist gr\u00f6\u00dftm\u00f6glich) und f\u00fcr \\(X_0(11)\\) ist dies in den \\S\\S 5--8, Part I, unter Verwendung und durch Weiterentwicklung von Techniken von \\textit{J.-P. Serre} [Abelian \\(l\\)-adic representations and elliptic curves. New York etc.: W. A. Benjamin (1968; Zbl 0186.25701)] und \\textit{G. Shimura} [A reciprocity law in non-solvable extensions, J. Reine Angew. Math. 221, 209--220 (1966; Zbl 0144.04204)], durchgef\u00fchrt.  Wesentlich komplizierter ist die Lage bei der Aussage \u00fcber imagin\u00e4rquadratische K\u00f6rper \\(k\\) (Teil II), vor allem, wenn die maximal-abelsche Erweiterung von \\(k\\) mit \\(K\\) einen Durchschnitt hat, der echt gr\u00f6\u00dfer als der K\u00f6rper aller Einheitswurzeln ist.   Um diese F\u00e4lle zu behandeln, werden im Teil III spezielle kunstreiche Berechnungen durchgef\u00fchrt. Die resultierende Konstante \\(C(k,\\rho)\\) ist umgekehrt proportional zu \\(\\sqrt{\\vert D\\vert}\\) \\((D = \\) Diskriminante von \\(k)\\), stellt sich wieder als Produkt lokaler Faktoren dar, die f\u00fcr fast alle \\(l\\) nur von \\(D\\) und \\(l\\) abh\u00e4ngt, und einem \\glqq unendlichen\\grqq{} Faktor, der von der Sato-Tate-Verteilung herr\u00fchrt. Die lokalen Faktoren k\u00f6nnen als \\(l\\)-adische Integrale gewisser Funktionen, die Harish-Transformierte sind, dargestellt werden. (\\S\\S 7,8, Teil II).   Eine numerische Diskussion wird im vierten Teil an Serre-Kurven (f\u00fcr die ersten 5000 Primzahlen) und an \\(X_0(11)\\) (mit noch weitergehenden Rechnungen) durchgef\u00fchrt, wo eine zufriedenstellende \u00dcbereinstimmung von Theorie und Praxis festgestellt werden kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1227032$E304FB34-BE1C-4071-86F7-EE63065FF047","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1227032$03A69C68-036F-4DD0-A26B-D222A176303D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"067dd3e8e57dae9cdb00a71330df035b9357faf5","datavalue":{"value":"11-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1227032$5A00BFA2-F5B7-4709-A1E6-D9CB63001D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"826e6ca0fc4fadd831c81051e838fccf63d2b3b6","datavalue":{"value":"11R45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1227032$ABB76EB6-C604-4750-87C3-C8D5149315C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c892cd9500e5abfbdba24c0eaf58a19c439b557","datavalue":{"value":"14G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1227032$504B94AC-8B33-46A4-AC97-C4C49F233D01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0f8628a430197a1cc00de71f2bc8131fe289381","datavalue":{"value":"3515584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1227032$474DA6E8-BF47-480C-A24C-4D9F7AC97769","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":"Q1227032$FB922F11-8551-4757-9170-339AB6697609","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d60452656f12ba24b383a8ff9e820504d583f5b","datavalue":{"value":"https://doi.org/10.1007/bfb0082087","type":"string"},"datatype":"url"},"type":"statement","id":"Q1227032$17762825-EE76-409B-ABC3-45109DB4BDC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e42c7760d1f8c29e2a2249a298f2dc61fecb0a6","datavalue":{"value":"W40577338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1227032$64D5AB5F-8A50-44F4-81B2-E9B10CCAC431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e10539f20a8881bf510e304debb6d121b7cdadb0","datavalue":{"value":"10.1007/BFB0082087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1227032$AD7AC9AE-C9AE-4AA1-B616-AF4B4924D1D5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"53b5bb96efa02a145bc79d883fa01350d5e34607","datavalue":{"value":{"entity-type":"item","numeric-id":3848958,"id":"Q3848958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1227032$0D2525A4-5587-4F55-A3D5-C9332CAC3EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1227032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1227032"}}}}}