{"entities":{"Q1184408":{"pageid":1195157,"ns":120,"title":"Item:Q1184408","lastrevid":70213320,"modified":"2026-04-13T13:12:12Z","type":"item","id":"Q1184408","labels":{"en":{"language":"en","value":"Construction of elliptic curves with high rank via the invariants of the Weyl groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 34584"}},"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":"Q1184408$4A04845E-795F-44BD-89ED-31DECB48482E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09150759db68ee903d805ab12857acfcdf5e8fa6","datavalue":{"value":{"text":"Construction of elliptic curves with high rank via the invariants of the Weyl groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1184408$60ADAE39-670D-4BD2-9CD2-7C9284D95CF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b0893cc98bbf224f67aba701cd831231ffda3d4","datavalue":{"value":"0751.14018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184408$77A2CBBC-A2DF-4D17-96E9-6B042CA025B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ccdf7de25b951364a715dc2bede6ac855ba0d7","datavalue":{"value":{"entity-type":"item","numeric-id":171028,"id":"Q171028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184408$D2BE71E8-B308-4954-9489-333A47DF05F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184408$77CA8004-09AD-426A-B358-EFE37D59F689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1184408$1D29C6C6-2C20-4E6C-97E5-E72B967D3CD8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2659c734f907101d289633d4a46ebcc1209a0da5","datavalue":{"value":"This paper gives a method for constructing elliptic curves over \\(\\mathbb{Q}(t)\\) or \\(k(t)\\) with relatively high rank (up to 8), where \\(k\\) is any field of characteristic zero or \\(p\\), with the exception of a finite number of \\(p\\)'s (cf. remark at \\S4). It gives explicitly the rational points which generate the Mordell-Weil-group. This method is based on the theory of Mordell-Weil-lattices [the author, Proc. Japan Acad., Ser. 65, 268-271 (1989; Zbl 0715.14015)] and an important role is played by the invariants of the Weyl groups.   As an example, consider the elliptic curve  \\[ E:y^ 2=x^ 3+x\\left(\\sum^ 3_{i=0}p_ it^ i\\right)+\\left(\\sum^ 3_{i=0}q_ it^ i+t^ 5\\right)\\leqno (1) \\]  defined over \\(k_ 0(t)\\), where \\(k_ 0=\\mathbb{Q}(p_ 0,\\ldots,p_ 3,q_ 0,\\ldots,q_ 3)\\). The equation (1) defines a family of affine surfaces, which is known at the universal deformation of the rational double point of type \\(E_ 8\\) parametrized by \\(\\lambda=(p_ i,q_ j)\\in\\mathbb{Q}^ 8\\). Suppose that \\(\\lambda\\) is generic, i.e., \\(p_ 0,\\ldots,q_ 3\\) are algebraically independent over \\(\\mathbb{Q}\\). Let \\(k=\\overline {k_ 0}\\). Then the elliptic surface defined by (1) has no reducible fibres, therefore its Mordell-Weil-lattice \\(E(k(t))\\) has rank 8 (cf. \\S4). Moreover, it is even unimodular, hence isomorphic to the root lattice \\(E_ 8\\). Let \\(\\kappa\\) be the smallest extension of \\(k_ 0\\) such that \\(E(k(t))=E(\\kappa(t))\\). Then, the author proves that \\(\\kappa/k_ 0\\) is Galois with Galois group equal to the Weyl group of type \\(E_ 8\\), denoted by \\(W(E_ 8)\\). He also proves that  \\[ \\kappa=k_ 0(u_ 1,\\ldots,u_ 8)=\\mathbb{Q}(u_ 1,\\ldots,u_ 8),\\leqno (2) \\]   \\[ \\mathbb{Q}[u_ 1,\\ldots,u_ 8]^{W(E_ 8)}=\\mathbb{Q}[p_ 0,\\ldots,q_ 3],\\leqno (3) \\]  where in (3) the left-hand side denotes the elements of \\(\\mathbb{Q}[u_ 1,\\ldots,u_ 8]\\) invariant by \\(W(E_ 8)\\). The parameters \\(u_ 1,\\ldots,u_ 8\\) correspond to the basis of the root system \\(E_ 8\\) and they are defined by the specialization morphism \\(\\text{sp}_ \\infty:E(k(t))\\to\\mathbb{G}_ a(k)\\) from the Mordell-Weil-group to the singular fibre of (1) at \\(t=\\infty\\). Equation (3) says that the coefficients \\(p_ 0,\\ldots,q_ 3\\) of the elliptic curve (1) form the fundamental invariants of the Weyl group \\(W(E_ 8)\\). --- Furthermore, there exists a basis \\(\\{P_ 1,\\ldots,P_ 8\\}\\) of the Mordell-Weil-group \\(E(\\kappa(t))\\) such that \\(\\text{sp}_ \\infty(P_ i)=u_ i\\), with \\(P_ i=(x_ i,y_ i)\\), where \\(x_ i\\) and \\(y_ i\\) are polynomials in \\(t\\) with coefficients in \\(\\mathbb{Q}[u_ 1,\\ldots,u_ 8][u_ i^{- 1}]\\cup\\mathbb{Q}(p_ 0,\\ldots,q_ 3)(u_ i)\\) of the form (4) \\(x_ i=u_ i^{-2}t^ 2+a_ it+b_ i\\), (5) \\(y_ i=u_ i^{-3}t^ 3+c_ it^ 2+d_ it+e_ i\\). To obtain an equation of an elliptic curve over \\(\\mathbb{Q}(t)\\) with rank 8, it suffices to specialize \\(u_ 1,\\ldots,u_ 8\\) to some rational numbers in such a way that the rank remains the same, or equivalently, that the Mordell-Weil-lattice does not ``degenerate''. --- The author proves similar results for the root lattices \\(E_ 7\\), \\(E_ 6\\), \\(D_ 4\\) and \\(E_ 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$6688B39A-2D10-4A4B-9CF8-A53C6B3408D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f00aec7b2c940e365c27808f50e4aeed90366677","datavalue":{"value":"14H52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184408$CB4E35F3-569A-4E02-BAE2-F6DA98FE8BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184408$A2D1D069-BF3C-42C0-866F-3B461EE77E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184408$0BD1E2EA-6123-41FD-A749-DD32FD7B5EEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5c8bb8645801733c0c737a99407650b6082b178","datavalue":{"value":"34584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184408$88BF9A0F-F1AE-4D0B-AC8F-7C3E92C50168","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4c5a09b5b25df3f86112b01deed2cab71b52bf","datavalue":{"value":"elliptic surfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$2B44F1C7-444B-4C01-BE87-DA7A6FCD6C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04af27b4028083097cae0d77d9729e1e255f1cd1","datavalue":{"value":"constructing elliptic curves with high rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$0EDD6EB6-DC44-4EEA-9723-5E2D5CD713B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304901f1ad68c32839d81525dd637778fc87b2c5","datavalue":{"value":"rational points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$59BDB841-3748-49BF-BB23-C711CD843A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d1d070f1a8ac2b5d6e7bc6231ba64d999468470","datavalue":{"value":"Mordell-Weil-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$EE4E0794-8618-48E7-A24D-CE8AE69E4C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1cde7b5de3e574f95faafc607c8252cb4eccea7","datavalue":{"value":"invariant of the Weyl groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$0F7631A8-6F67-4093-B857-8B90479EFC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f93d74378d20fead8fad8a9a6f993b0d5a2497","datavalue":{"value":"universal deformation of the rational double point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$0D4C3A4F-F24C-455A-864C-842529BA84C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a16eaabb42c22edda049a84244f83b1981f8b6f","datavalue":{"value":"\\(E_ 8\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$554C196F-CFE5-4D8F-BC67-23E5790B4631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62612cf9d62d861e6acf7c3a68956592fb041da9","datavalue":{"value":"root lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1184408$40401369-D796-49AB-99E8-529247D5200F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b5b0420ac0f1a664e2a2c91677beb74b5cc782c","datavalue":{"value":{"entity-type":"item","numeric-id":374054,"id":"Q374054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1184408$6E08CC12-A4AB-4108-8393-7C0CB55BF1BB","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":"Q1184408$11594CF5-CF05-49EB-ACEA-889C5F18C9F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"054190a0bcef8c01b67470edd49cf9d63e04d2d1","datavalue":{"value":"https://doi.org/10.2969/jmsj/04340673","type":"string"},"datatype":"url"},"type":"statement","id":"Q1184408$5FC14663-BD72-4AD4-A678-89B8BEFCBB2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7370632adc502b5faf598ac67cc75c256b06588","datavalue":{"value":"W1980303591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184408$42C2655C-5A6E-437D-BF0A-7E37A7AD9171","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49c9beae2f4ff07341b5660d9c4f3288688198c5","datavalue":{"value":"10.2969/JMSJ/04340673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1184408$395146F1-6707-4AD0-A7F1-9CF33B63194E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1822910cb845ee9546571cea4565edd87ed5e729","datavalue":{"value":{"entity-type":"item","numeric-id":1813898,"id":"Q1813898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125180c2b73b39de63d3327072eb3490023f08c0","datavalue":{"value":{"amount":"+0.8539724946022034","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":"Q1184408$42666E22-3105-4AAA-8D1B-1F82A2921EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a205a851cdad100c7769447dd3543796852bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1568879,"id":"Q1568879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cea4f1355a5c4c835593ced9c2dfff1f89ef30","datavalue":{"value":{"amount":"+0.8518975377082825","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":"Q1184408$3DBF61FE-0BE5-4C2F-9EE2-628E0905514B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200ba1d890f78f7e3580b432ac3b7d5b8cad9a43","datavalue":{"value":{"entity-type":"item","numeric-id":3363757,"id":"Q3363757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b619354f09bf723ebbfb15f569d246fe3b88a46b","datavalue":{"value":{"amount":"+0.8255712985992432","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":"Q1184408$4DDA2DDB-E629-43F8-ADF8-9E8869437922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f23bad5b0d37017e01b464df5a614e4d737b59","datavalue":{"value":{"entity-type":"item","numeric-id":4272880,"id":"Q4272880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75048021c8e19093e7e797b25ecc05bbd76e03f","datavalue":{"value":{"amount":"+0.8249344825744629","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":"Q1184408$2ACF915E-2E05-4430-8A91-80F265E42BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbc9c096b01417b0e4df1cdbc51c196ec025704d","datavalue":{"value":{"entity-type":"item","numeric-id":1046452,"id":"Q1046452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b9c23be632e1b0e7bee6e8cfb12a160a835a77","datavalue":{"value":{"amount":"+0.8160459995269775","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":"Q1184408$31257FB5-7A86-46DA-AFD1-F5E1EB1BAC31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Construction of elliptic curves with high rank via the invariants of the Weyl groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Construction_of_elliptic_curves_with_high_rank_via_the_invariants_of_the_Weyl_groups"}}}}}