{"entities":{"Q583310":{"pageid":585077,"ns":120,"title":"Item:Q583310","lastrevid":62941392,"modified":"2026-04-11T09:07:21Z","type":"item","id":"Q583310","labels":{"en":{"language":"en","value":"Pro-\\(\\ell\\) branched coverings of \\(P^ 1\\) and higher circular \\(\\ell\\)- units"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132333"}},"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":"Q583310$DCBC5246-1C66-4FA4-A984-62E9B92AB38D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2fb9e36830f67c7dcc5245c6bc6e1ff4e049c76","datavalue":{"value":{"text":"Pro-\\(\\ell\\) branched coverings of \\(P^ 1\\) and higher circular \\(\\ell\\)- units","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583310$461AF866-5E91-4749-A475-01CD7E103FD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70749ac759c75f2fb338c35e305e2359f3170daa","datavalue":{"value":"0692.14018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$EC307073-1FD8-49AA-AAB2-BD633AEC902F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc7bdf77272a855812ea2d80bdf2f46d077fbed2","datavalue":{"value":"10.2307/1971443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$77C9B91D-FE8D-4151-86EA-8C477C99FD36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54d7e6810d1a8ed508112c4427a497172b093f1d","datavalue":{"value":{"entity-type":"item","numeric-id":533373,"id":"Q533373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583310$3E2222A5-F628-4B79-B391-A5EA8A395E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76e3e84e937eb481b4d07fce38fb0914cbdeaacd","datavalue":{"value":{"entity-type":"item","numeric-id":373562,"id":"Q373562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583310$0042BC9E-DD94-478E-8A7D-6DBBFF711164","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583310$2BAC1DA2-5248-4C6F-A3C8-5894FE535E2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q583310$3E5C9A55-0560-4D86-AA3B-0C4EF0862251","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad1be30136b33d69ffa250902a69079a5e6d319d","datavalue":{"value":"Let \\(S_ 0\\) be a finite subset of the complex projective line \\({\\mathbb{P}}^ 1\\) containing the points \\(0, 1\\quad and\\quad \\infty.\\) Let \\(\\ell\\) be a fixed prime number. In this situation, the authors study the category \\(X(S_ 0)\\) of all those finite branched coverings f: \\(Y\\to {\\mathbb{P}}^ 1\\), with Y being a complete, smooth, irreducible complex curve, such that the degree of the Galois closure of f is a \\(power\\quad of\\quad \\ell\\) and f is unramified outside \\(S_ 0\\). More precisely, they show that there is a smallest common field \\(\\Omega =\\Omega (S_ 0)\\) of definition for all objects and morphisms in \\(X(S_ 0)\\), which implies that each object and morphism admits a canonical \\(\\Omega\\)-model, and the basic aim of their studies is to obtain an explicit description of \\(\\Omega\\) in terms of circular \\(\\ell\\)-units. The main result in this direction is the proof of the fact that the common field of definition \\(\\Omega\\) coincides with an explicitly constructible infinite, non-abelian \\(pro-\\ell \\quad extension\\) of the field \\({\\mathbb{Q}}(\\mu_{\\ell^{\\infty}})\\) unramified outside \\(\\ell\\) and containing the group of circular \\(\\ell\\)-units.    This very deep result is basically obtained by the following ingenious trick. It is shown that there are ``sufficiently many'' elementary objects of the form f: \\({\\mathbb{P}}^ 1\\to {\\mathbb{P}}^ 1\\) in \\(X(S_ 0)\\), and those, together with their cusps, are studied first. This, in combination with investigating the Puiseux expansion at a cusp of an elementary object, is the basic idea for proving the main theorem. Since such interesting curves like the Fermat curve of level \\(\\ell^ n\\), the Heisenberg curve of level \\(\\ell^ n\\), and the modular curve of level \\(2^ n\\) are contained in the category \\(X(S_ 0)\\), the author's results imply that the Jacobian of any one of these curves has only \\(\\ell\\)-power division points which are rational over the common field of definition of \\(X(S_ 0)\\). It is announced that the consequences and generalizations of the latter results will be discussed in a forthcoming paper under the same title [Part II: Int. J. Math. 1, No.2, 119-148 (1990)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q583310$4D0450F7-B4AC-46B3-8988-9AC9392279C5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"df1173bf6948b240b02948893ae4013b0b43689c","datavalue":{"value":{"entity-type":"item","numeric-id":389913,"id":"Q389913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583310$8C64A0AC-BB8C-407F-917F-0ED6DC87C3AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac5ea3dde0e433b8e52fdd8b30e44c5d6afa64ba","datavalue":{"value":"14H30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$E93AC5B9-7FE0-4815-BB08-87674D013082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2b8853a52c7f02af86453b6ee74c018fc3284f","datavalue":{"value":"14H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$D642FEA3-B77F-4234-ABE6-499F46877E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62f95a52c513afbe27422161bcac35525a3c3fbb","datavalue":{"value":"14E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$1D8285CD-F5D3-4406-A354-B447649FA3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$E34F6991-2C39-4FB3-87B8-D3763BA37C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$964A19C9-ADC6-436F-97B0-73EF8F64D676","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb47b74edc9486e0c5b9f9f3b6ab1e4e5394ff50","datavalue":{"value":"4132333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$FA772228-8AFE-494D-9237-125ED507263C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6ae9c52b8000e0f48e65cce71e4ef170726f02","datavalue":{"value":"finite branched coverings of complex curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q583310$3EC0340B-511C-439C-9A7E-FC0B74356F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f926f26a3abb0131eb08c5d1885e14b3cf7b8c","datavalue":{"value":"ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q583310$5EC1051D-167A-448F-85BB-B4245886C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65552326f6a3f49582b760f1d4b97df0f36795ed","datavalue":{"value":"algebraic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q583310$E1823B71-8E32-4DF2-A939-FBBA3D40CAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d9a861097423af98db0a715f8c73de72d2cfdb","datavalue":{"value":"algebraic fundamental group","type":"string"},"datatype":"string"},"type":"statement","id":"Q583310$F74FC58B-792B-4101-BC39-D56EDB5D5144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8def955c68ec3eaaf93e15b02d8a50221981e274","datavalue":{"value":"common field of definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q583310$C6F0EB27-A838-4B48-A50C-4434D2B05D03","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":"Q583310$C17F394C-C443-4326-A05E-912AAA2FBFB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69b3d9bfeb44cfd7edb5ef862ed5dad9e823b153","datavalue":{"value":"https://doi.org/10.2307/1971443","type":"string"},"datatype":"url"},"type":"statement","id":"Q583310$E5718F76-CC1B-4770-87AC-9FD8ACF20A73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ddfeebaeb07ca77e14a4a928824f95b6329e25d","datavalue":{"value":"W2320852643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583310$D418998B-5621-4935-9C7B-7B934EB243A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ae4a4da93b1b6570800d1ff36eed596b6b4923","datavalue":{"value":{"entity-type":"item","numeric-id":3202228,"id":"Q3202228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f3e584dd0e74c3e3c85fb3b6b09b064fcb4e6d","datavalue":{"value":{"amount":"+0.8155535459518433","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":"Q583310$D5CDE6CE-8D30-436E-8E2A-C56A49E7EB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e146fa2543260e6121321b898ae578035c5165d","datavalue":{"value":{"entity-type":"item","numeric-id":5752660,"id":"Q5752660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683c31efb358b728a2680eba8196e1954c442b97","datavalue":{"value":{"amount":"+0.7405667901039124","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":"Q583310$DEBE882C-3BA9-4E5C-8FF2-2D72DFEE364D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8cd028963c47d4b39b14c3064136c275dfb823","datavalue":{"value":{"entity-type":"item","numeric-id":1185168,"id":"Q1185168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3628ab1f8b6191e02696fdc90b2ecba0519a8b2f","datavalue":{"value":{"amount":"+0.7362708449363708","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":"Q583310$6A7CFACE-3871-4B97-BF08-34EB7B90065E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51da6f401f8ff69cc27e3597bec7b4499df7df5","datavalue":{"value":{"entity-type":"item","numeric-id":4849438,"id":"Q4849438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fd3058bace69c12e72dbb5c5537372cf92c0d7","datavalue":{"value":{"amount":"+0.732982337474823","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":"Q583310$807E85CC-5A34-45F7-9324-5A9C9D2B74F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe442ad65ab6d9a69679bf88c73a6da3739a869","datavalue":{"value":{"entity-type":"item","numeric-id":1322057,"id":"Q1322057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fd3058bace69c12e72dbb5c5537372cf92c0d7","datavalue":{"value":{"amount":"+0.732982337474823","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":"Q583310$5076FA83-47D2-44EF-8E4B-AC847D896229","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pro-\\(\\ell\\) branched coverings of \\(P^ 1\\) and higher circular \\(\\ell\\)- units","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pro-%5C(%5Cell%5C)_branched_coverings_of_%5C(P%5E_1%5C)_and_higher_circular_%5C(%5Cell%5C)-_units"}}}}}