{"entities":{"Q616615":{"pageid":618391,"ns":120,"title":"Item:Q616615","lastrevid":63082827,"modified":"2026-04-11T10:28:26Z","type":"item","id":"Q616615","labels":{"en":{"language":"en","value":"Existence of nongeometric pro-\\(p\\) Galois sections of hyperbolic curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834707"}},"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":"Q616615$D50F6441-3278-42FC-8985-594D222C4E94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"015c33e97a5c183cdbd96fc363209ca58540b129","datavalue":{"value":{"text":"Existence of nongeometric pro-\\(p\\) Galois sections of hyperbolic curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616615$43727C2D-B1F3-40A8-A4F7-F676E47D5320","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c081a6cb644919586293c876fd8e54433037c8f5","datavalue":{"value":"1222.14057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616615$0319E321-9F9E-410B-9790-AEB211B13CC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a23efb6b8fb907ac73cf9d8df94d2deb0c9da4","datavalue":{"value":{"entity-type":"item","numeric-id":297522,"id":"Q297522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616615$F8777A13-EA22-4965-A7CB-7BB18D544886","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c56c33ef3e883cbe56a171d93462893c540cb008","datavalue":{"value":{"entity-type":"item","numeric-id":174692,"id":"Q174692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616615$955086CE-9A19-47FB-B76B-EEE654C6D46D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4494047371bc332675f91facbe1eeeee83d7aaf4","datavalue":{"value":{"time":"+2011-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616615$3211EFE2-7872-4A7E-9375-8F489370F553","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9c0591ac12295c39eb0d638c03dbe7b6d0226058","datavalue":{"value":"Let \\(X\\) be a complete hyperbolic curve over a number field \\(k\\) and let \\(1\\to \\pi_1(U_{\\bar k}) \\to \\pi_1(U) \\to G_k \\to 1\\) be the fundamental exact sequence associated to the surjection of the etale fundamental group of \\(U\\) to the absolute Galois group \\(G_k\\) of \\(k\\) with kernel the geometric part of the fundamental group. Fix a prime \\(p\\) and consider the surjection to \\(G_k\\) from \\(\\pi_1^{(p)}(U)\\), the pushforward quotient of \\(\\pi_1(U)\\) obtained by taking the maximal pro-\\(p\\) quotient of \\(\\pi_1(U_{\\bar k})\\).  In this paper, the author shows that in certain cases of \\(X\\), say, the Fermat curve over \\(\\mathbb{Q}(\\mu_p)\\) of degree \\(p\\) with \\(p\\) a regular prime, the natural mapping \\(X(k)\\to Sect(\\pi_1^{(p)}(U)/G_k)\\) from the set of \\(k\\)-rational points on \\(X\\) to the conjugacy classes of the homomorphic sections of the above surjection is not surjective, i.e., the pro-\\(p\\) analog of Grothendieck's section conjecture (bijectivity of the issued mapping) fails to be true. (The injectivity has been known to follow from \\textit{S. Mochizuki} [Invent. Math. 138, No. 2, 319--423 (1999; Zbl 0935.14019)]).  The main idea is, in the case when \\(X\\) is realized as the smooth compactification of \\(p\\)-Galois covers of \\(\\mathbb{P}^1-\\{0,1,\\infty\\}\\), to construct a cartesian diagram descending the surjection \\(\\pi_1^{(p)}(U)\\to G_k\\) to a surjection \\(\\pi_1'\\to \\mathrm{Gal}(L/k)\\) so that \\(\\mathrm{Gal}(L/k)\\) comes to be free pro-\\(p\\) as the Galois group of the maximal pro-\\(p\\) extension \\(L\\) over \\(k\\) unramified outside \\(p\\), using the key fact that the outer Galois representation in the pro-\\(p\\) fundamental group of a curve \\(X\\) has kernel containing that arises from \\(\\mathbb{P}^1-\\{0,1,\\infty\\}\\) which has been studied in depth by \\textit{Y. Ihara} [Proc. Symp. Pure Math. 70, 247--273 (2002; Zbl 1065.14025)]. The freeness of \\(\\mathrm{Gal}(L/k)\\) gives rise to infinitely many sections of \\(\\pi_1'\\to \\mathrm{Gal}(L/k)\\) and those induced in \\(Sect(\\pi_1^{(p)}(U)/G_k)\\), while \\(X(k)\\) is a finite set when the genus is large enough by the well known Faltings theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q616615$0357E77D-7854-4CFC-A6F6-0A994E2098B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e22ec89109599ecdc3bbc0a8cf070e8f786d8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":374581,"id":"Q374581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616615$78BCD785-8A13-4BC5-B058-E11E8ECF0805","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac5ea3dde0e433b8e52fdd8b30e44c5d6afa64ba","datavalue":{"value":"14H30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616615$1AD9C967-8601-47C3-BB19-0B22CEC9AA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8e96b5168c47eaa8282a8929d1826b23b93bbca","datavalue":{"value":"11G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616615$E199975A-F75D-4808-A90B-86253D9D85B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db2b8853a52c7f02af86453b6ee74c018fc3284f","datavalue":{"value":"14H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616615$E32658EE-7C52-4E6D-B780-29FC71CECD17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b86a3879b42c9bce33ffe1c00cc434dddd1ea66","datavalue":{"value":"5834707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616615$DAD06B01-8A34-4BCD-9C01-527E4DC9A64E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721223ac0204f604799dc4726243408bd8697682","datavalue":{"value":"anabelian geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q616615$7E06A9F7-5A9E-4A9B-9349-4A918511E5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7baadf51b8ab3be3bdd3e1e0f074e31e786209ae","datavalue":{"value":"section conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q616615$5B17D6E3-B251-4882-8FD1-EBB0E2431E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6f4effbc2bd0705290106e5efad2b70896a23f9","datavalue":{"value":"hyperbolic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q616615$14DCC1A3-EB61-43D8-85D7-8D38114EF0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e22b1c328971f3d50c3cc3633e71f316babac11","datavalue":{"value":"pro-\\(p\\) fundamental groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q616615$A1547563-AC7F-4605-A905-942A488416D8","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":"Q616615$0D42A284-A08C-41D7-95B1-CCB12D3B7ECF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47e04477990679c803ed6cf16c4dc23f0015cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2249634,"id":"Q2249634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d69bc3245cc67f239511ebe6e62409173a0d660","datavalue":{"value":{"amount":"+0.8165946006774902","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":"Q616615$9FA91792-E4B8-421B-944C-0F09352EB6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe9ad4d8c889d2a8f1f6bb73fbf98962956ebc5","datavalue":{"value":{"entity-type":"item","numeric-id":1946188,"id":"Q1946188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414d46a0c242c6c4ee2880e4ef3458632e319105","datavalue":{"value":{"amount":"+0.8104500770568848","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":"Q616615$0E3B87A1-5728-4656-A022-AE8A072296AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76ad52da21a6e7c982117a5d4c3568dcdc96da9","datavalue":{"value":{"entity-type":"item","numeric-id":2391099,"id":"Q2391099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a202464a2f58fe18af4a766803e179b60b20dec2","datavalue":{"value":{"amount":"+0.8000699281692505","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":"Q616615$A7F4FC10-0EB3-494C-895B-6C2935E35288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb7faa682d080e1d942f7569eaa81c073042416","datavalue":{"value":{"entity-type":"item","numeric-id":5711485,"id":"Q5711485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43574ca20caa0d56db634a0d56a7522a3123ea3f","datavalue":{"value":{"amount":"+0.7993978261947632","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":"Q616615$35CAD80B-FB87-4915-BED6-4006FAE36684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b16c1f961a47d7fd23e4734214eb71b6ba8378c","datavalue":{"value":{"entity-type":"item","numeric-id":1818067,"id":"Q1818067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8cd9d61d02b9b9c250f263451456edc8ecc6e1","datavalue":{"value":{"amount":"+0.7886845469474792","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":"Q616615$0DC91A87-42C8-49E1-A50D-EC55CE339A7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existence of nongeometric pro-\\(p\\) Galois sections of hyperbolic curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existence_of_nongeometric_pro-%5C(p%5C)_Galois_sections_of_hyperbolic_curves"}}}}}