{"entities":{"Q901791":{"pageid":903639,"ns":120,"title":"Item:Q901791","lastrevid":57202740,"modified":"2026-03-27T11:23:15Z","type":"item","id":"Q901791","labels":{"en":{"language":"en","value":"Bounds for Serre's open image theorem for elliptic curves over number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6529164"}},"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":"Q901791$CA661CE9-6C3A-459B-A43D-68C7BEC9DA42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae4a3db4b1961670470c371f67a4f62e4452b892","datavalue":{"value":{"text":"Bounds for Serre's open image theorem for elliptic curves over number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q901791$DECF645D-5C36-4154-A479-1B53DBEBFFFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b1bab7a362dd2a2d98a1904f946f02604b7bd5c","datavalue":{"value":"1341.11030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q901791$A0090862-FDED-4921-8902-0000C184D7B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0ac2097c70f830c1e304451ab6822b54c7c3389","datavalue":{"value":{"entity-type":"item","numeric-id":296648,"id":"Q296648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q901791$2327BD46-D1B6-4E66-A7AF-B601608774AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q901791$DD9645A7-8C6D-48E4-9C6F-B2272B9E5130","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q901791$84E798FD-BDFA-41C7-AA0F-8D75AFF5C585","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a54241878989d5796af6f13d8ad42e824b0c6f4a","datavalue":{"value":"https://arxiv.org/abs/1403.3813","type":"string"},"datatype":"url"},"type":"statement","id":"Q901791$6AB95648-10C0-43BA-9CD9-F768EA6EED87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7afa6362e53f826058a185c796cdc348633acee9","datavalue":{"value":"Let \\(E\\) be an elliptic curve over a number field \\(K\\) without complex multiplication, and let \\(T_\\ell(E)\\) be the \\(\\ell\\)-adic Tate module of \\(E\\) where \\(\\ell\\) is a rational prime number. Since \\(T_\\ell(E)\\) is a free module of rank \\(2\\) over \\(\\mathbb{Z}_\\ell\\), we have the \\(\\ell\\)-adic representation \\( \\rho_\\ell : \\mathrm{Gal}(\\bar K/K) \\to \\mathrm{GL}_2(\\mathbb{Z}_\\ell)\\), and over all \\(\\ell\\) we have the representation with the adelic coefficients \\( \\rho_\\infty : \\mathrm{Gal}(\\bar K/K) \\to \\mathrm{GL}_2(\\widehat{\\mathbb{Z}})\\). Let \\(G_\\infty\\) denote the image of \\(\\rho_\\infty\\).  By Serre's open image theorem [\\textit{J.-P. Serre}, Invent. Math. 15, 259--331 (1972; Zbl 0235.14012)], \\(G_\\infty\\) is open in \\(\\mathrm{GL}_2(\\widehat{\\mathbb{Z}})\\). In [\\textit{D. Zywina}, ``Bounds for Serre's open image theorem'', Preprint, \\url{arXiv:1102.4656}], the index \\([\\mathrm{GL}_2(\\widehat{\\mathbb{Z}}):G_\\infty]\\) is explicitly computed for \\(K=\\mathbb{Q}\\). The author of the paper under review computes an explicit upper bound of the index for a general number field \\(K\\):  \\[  [\\mathrm{GL}_2(\\widehat{\\mathbb{Z}}):G_\\infty] \\leq \\gamma_1 [K:\\mathbb{Q}]^{\\gamma_2} \\max\\{ 1, h(E), \\log[K:\\mathbb{Q}]^{2\\gamma_2} \\} \\]  where \\(\\gamma_1=\\exp(10^{21483})\\), \\(\\gamma_2=2.4\\times 10^{10}\\), and \\(h(E)\\) is the stable Faltings height. Later with help of \u00c9ric Gaudron and Ga\u00ebl R\u00e9mond (unpublished results), the factors are dramatically reduced as follows:  \\[  [\\mathrm{GL}_2(\\widehat{\\mathbb{Z}}):G_\\infty] \\leq \\gamma_3\\big( [K:\\mathbb{Q}] \\max\\{ 1, h(E), \\log[K:\\mathbb{Q}] \\}\\big)^{\\gamma_4} \\]  where \\(\\gamma_3=\\exp(1.9^{10})\\), \\(\\gamma_4=12395\\).  By Serre's theorem [loc. cit.] and the author's work, there is an explicit constant \\(\\gamma_E\\) for an elliptic curve \\(E\\) with complex multiplication such that \\([K(P):K] \\geq \\gamma_E N(P)^2\\) where \\(P\\) is a torsion point in \\(E(\\bar K)\\) and \\(N(P)\\) is the order of \\(P\\). For example, \\(\\gamma=\\big( \\zeta(2) [\\mathrm{GL}_2(\\widehat{\\mathbb{Z}}):G_\\infty]\\big)^{-1}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q901791$7C5BB787-12CE-49A3-AAE6-33D5E4EC31A7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c4ec6c162929992f5d08e445bff9704e610546aa","datavalue":{"value":{"entity-type":"item","numeric-id":589590,"id":"Q589590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q901791$1ED09CA3-E88F-4D25-9DC9-D781FDA5B197","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b466ca590039ea305e8cc047527b117e828a753","datavalue":{"value":"11G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q901791$C0336026-C002-457A-8FF1-C9CD87FDBB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0d42ca98bb26b3a05c94c33b4dbecdc66da95c4","datavalue":{"value":"11F80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q901791$5A7947AC-8DA1-44AE-832F-205ABDA2CE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8eaa19aa729ddd9738f031f624b8c0af532a55f","datavalue":{"value":"14K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q901791$6553618A-4B97-49BB-846C-07B7251DC510","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dbe84f90feafb7216ce829b96afecc6d86d5dbd","datavalue":{"value":"6529164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q901791$F42D86E0-B831-4142-9A7F-9D4921795141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a510483a37aa51a3681f0d0510833c35833306f","datavalue":{"value":"Galois representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q901791$B6F2E547-9CBD-4717-AF06-F1504E9321F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1fcf8634dffbef5ab53f82304a07bf90038678","datavalue":{"value":"elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q901791$FAD6BBC2-2DBC-4B94-A66B-971D037F490C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5237301a90f2a064f3ee1272fdf5221480cc8304","datavalue":{"value":"Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q901791$8AB7A6D0-45B0-47D3-AD7B-8E6B4F858283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0668e789436185d8229099b34f4e2142e7983f4","datavalue":{"value":"open image theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q901791$E4111143-DEC7-445E-9EF4-E63F90E2D10A","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":"Q901791$1564A9C6-0EF9-48DC-BE07-7A403A41FC8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e0f20d972e94413418aaffdb3797ca0e079ad54","datavalue":{"value":"W2102951081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q901791$BB8254E7-2FA0-4FB3-B0C2-552CD40638FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7e85dc35cfc70354e412d6ac6f93e53d03d0299","datavalue":{"value":"10.2140/ANT.2015.9.2347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q901791$A32B3B7C-864D-4048-B68C-CD8B542FB2BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3964421e22a5e8f1ad2124febff36c272094f891","datavalue":{"value":{"entity-type":"item","numeric-id":827441,"id":"Q827441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82aa652c06ed86617577ba488c472a4de69780e1","datavalue":{"value":{"amount":"+0.7991123199462891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q901791$A1041DDA-BB0B-4A93-97CC-CCA48612FD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669ebd2624f9d54397b507bf98da232a4ec05cfc","datavalue":{"value":{"entity-type":"item","numeric-id":301454,"id":"Q301454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64187234919f64cb48e068567c1a7ce46a8b2b04","datavalue":{"value":{"amount":"+0.7989418506622314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q901791$BA46346A-AA1C-43EA-9738-AF4CC8030730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6561633e0d25c670983e78df4eab7f722dc27d6","datavalue":{"value":{"entity-type":"item","numeric-id":4289510,"id":"Q4289510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0aba8ba1d34799eee65a5e97fe1062abb806b43","datavalue":{"value":{"amount":"+0.7936288118362427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q901791$26EF9776-6150-452C-A6BF-849AEF91CA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6bd42eb9c4467d5f6dd2f26e10e339f3ca5ebf3","datavalue":{"value":{"entity-type":"item","numeric-id":971854,"id":"Q971854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358cf9ef0d3505fcc0b15d9841cf3ad10f8881b9","datavalue":{"value":{"amount":"+0.7914613485336304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q901791$F1E334FA-FDD2-4348-9FAE-E26848A53CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8344681c0802e8957166dec947628fbd98444d","datavalue":{"value":{"entity-type":"item","numeric-id":1011970,"id":"Q1011970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0969ea5d50f80471f6095a7d7605d727e96fa62","datavalue":{"value":{"amount":"+0.7718232274055481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q901791$640C752D-1377-478C-9C70-10401A173085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:901791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:901791"}}}}}