{"entities":{"Q2239235":{"pageid":2249978,"ns":120,"title":"Item:Q2239235","lastrevid":71652228,"modified":"2026-04-13T23:39:50Z","type":"item","id":"Q2239235","labels":{"en":{"language":"en","value":"Functional transcendence for the unipotent Albanese map"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7419504"}},"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":"Q2239235$5B04B2C9-34B0-4500-9204-00B27AC37057","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f98bf8dbeca53459b807183e0b383f545a8696d5","datavalue":{"value":{"text":"Functional transcendence for the unipotent Albanese map","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2239235$FB459AC2-B633-4CE6-AD7F-EE57B7521013","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10b6ba459f322661cc3ea8c7a551897b0ca7c1e5","datavalue":{"value":"1487.11062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239235$942A488F-7C84-4AEE-8397-BDBA2D92DCC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3afb6b54bbf7c0739e396aa269f245f584938366","datavalue":{"value":{"entity-type":"item","numeric-id":2239234,"id":"Q2239234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$B5E72D32-4089-4F91-8883-F58AF7EA1E85","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":"Q2239235$4A93E2E2-3A01-4F6C-B001-5D09E41D99EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9646bb8b94af16daee7eb7191395758c93317c4","datavalue":{"value":{"time":"+2021-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2239235$432A31BC-A334-459C-8AB5-CE4F6766FDEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd5d8ea625b9ae197ed887c7ceca0e04fff52098","datavalue":{"value":"https://arxiv.org/abs/1911.00587","type":"string"},"datatype":"url"},"type":"statement","id":"Q2239235$B79BF5E1-25C5-45C8-9B86-EC0B15CD3187","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"187eef9356a4e2fd193d39305449e963e7db951d","datavalue":{"value":"Given a curve \\(\\mathcal X\\) defined over the ring of integers of a \\(p\\)-adic field \\(K\\), a basepoint \\(b \\in \\mathcal X(\\mathcal O_{K})\\), and a positive integer \\(n\\), the (\\(n\\)th) unipotent Albanese map \\(j_{n}\\) is a rigid \\(K\\)-analytic map from \\(X(\\mathcal O_{K})\\) to a certain unipotent quotient \\(\\Pi^{\\mathrm{dR}}_{n}/F^0\\) of the de Rham fundamental group of \\(\\mathcal X\\). This map was originally constructed by \\textit{M. Kim} [Publ. Res. Inst. Math. Sci. 45, No. 1, 89--133 (2009; Zbl 1165.14020)], who also proved that the image of \\(j_{n}\\) is Zariski-dense. This observation plays a crucial role in the \\(p\\)-adic `nonabelian Chabauty-Kim method' for computing/bounding the set of rational points on a curve defined over \\(\\mathbb Q\\). Specifically, if \\(Z\\subseteq \\Pi^{\\mathrm{dR}}_{n}/F^0\\) is an algebraic subvariety of positive codimension, \\(j_{n}^{-1}(Z) \\subseteq X(\\mathcal O_{K})\\) has lower dimension than \\(X_{K}\\). In particular, if \\(X_{K}\\) is a curve, then \\(j_{n}^{-1}(Z)\\) is finite. In the Chabuaty-Kim method, one takes \\(Z\\) to be a proper subvariety containing the image of the global points on the curve.  Hast's main theorem is a functional transcendence result refining Kim's observation that the image of the unipotent Albanese map \\(j_{n}\\) is Zariski dense. This theorem says that the dimension of any irreducible analytic component \\(W\\) of the intersection of the graph of \\(j_{n}\\) with an algebraic subvariety of \\(X_{K} \\times \\Pi^{\\mathrm{dR}}_{n}/F^0\\) is at most the expected dimension for such an intersection, unless the projection of \\(W\\) to \\(X_{K}\\) is contained in a `weakly special subvariety' (in the sense of [\\textit{B. Klingler}, ``Hodge loci and atypical intersections: conjectures'', Preprint, \\url{arXiv:1711.09387}]).  As applications of the main theorem, Hast generalizes the abelian Chabauty's method (the \\(n = 1\\) case) and the nonabelian Chabauty-Kim method to study rational points on higher dimensional varieties \\(V\\) and (by replacing a curve \\(X\\) over a number field \\(F\\) with the restriction of scalars \\(\\mathrm{Res}^{F}_{\\mathbb Q}\\)) the \\(F\\)-rational points on curves. For instance, under a rank versus dimension inequality for the Albanese variety \\(A\\) of \\(V\\), Hast proves that the image of the rational points on \\(V\\) under the Albanese map is contained in a finite union of cosets of proper abelian subvarieties of \\(A\\). Moreover, Hast extends the Chabauty-Kim method to prove finiteness of \\(F\\)-rational points on curves in essentially all cases where the method previously recovered finiteness of \\(\\mathbb Q\\)-rational points on curves. This includes: integral points on \\(\\mathbb P^1\\) minus at least 3 points, CM elliptic curves minus the origin, curves with a dominant map to a curve with CM Jacobian, and (assuming either the Fontaine-Mazur conjecture or the Bloch-Kato conjecture) all hyperbolic curves.  To prove the main result, Hast first uses the Ax-Schanuel conjecture for variations of mixed Hodge structure (now a theorem of \\textit{K. C. T. Chiu} [``Ax-Schanuel for variations of mixed Hodge structures'', Preprint, \\url{arXiv:2101.10968}] and of \\textit{Z. Gao} and \\textit{B. Klingler} [``The Ax-Schanuel conjecture for variations of mixed Hodge structures'', \\url{arXiv:2101.10938}]) to deduce functional transcendence properties for the complex analogue of the unipotent Albanese map. Hast then converts the complex functional transcendence results to \\(p\\)-adic functional transcendence results by a formal argument comparing the power series involved in the complex and \\(p\\)-adic constructions. For the applications to Chabauty's method and the Chabauty-Kim method, Hast proves a number of inequalities relating dimensions of various cohomology groups and quotients of the pro-unipotent fundamental group of the curve. Many of the applications to the Chabauty-Kim method over number fields were discovered independently and simultaneously by \\textit{N. Dogra} [``Unlikely intersections and the Chabauty-Kim method over number fields'', Preprint, \\url{arXiv:1903.05032}] by very different methods. Dogra's work uses only \\(p\\)-adic techniques, as opposed to the complex analytic techniques used in Hast's work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239235$B310A8ED-E052-4990-BAD1-B84C44690EDA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8cad094fb4d569c1ea448f4a18e389322e17d98","datavalue":{"value":{"entity-type":"item","numeric-id":2174820,"id":"Q2174820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$CE49CD95-6BD3-4715-97D9-CF71B762E9ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fda67124f5cab049dd5667315a74bf87fdf7c975","datavalue":{"value":"11G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239235$568B5479-0CE3-449F-B26B-7D158D8408C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd029899168f4905895f56a378c394db3cd8ed62","datavalue":{"value":"14G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239235$12B9613A-AB4C-4D1C-B93C-0259B96628A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40533e2544371a5db8f3dc03f635c25841c09595","datavalue":{"value":"7419504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239235$DBC0074A-AA48-4D63-AD4D-74B86114126C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a8c29912845e6773ddd544edaa3184a321eafb","datavalue":{"value":"rational points on varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239235$262EB4FF-FBF6-4018-8EC6-F6C2753EE265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"050ada5d5442e5efbf577c01f4bd854d530364dc","datavalue":{"value":"algebraic curves over number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239235$5636743B-143C-4A4F-A9EC-CC2A8754B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0625e4305044905b29128b8fefa5f10e46c03006","datavalue":{"value":"nonabelian Chabauty","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239235$210CF83C-EACC-4DD4-860D-0878CFB15572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5295535caf517e9c909ef14f4293654c6da3a2","datavalue":{"value":"\\(p\\)-adic Ax-Schanuel","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239235$59BF8546-7A07-4186-B12F-B7975FD59479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362047fe57bca8bbc6b6c1b24492e357372b6a1d","datavalue":{"value":"Hodge theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239235$EB6514A0-B009-43EC-BC12-884F246ACDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79db1a3b907cfbb9ca536141b7f75566b85b946c","datavalue":{"value":"unipotent Albanese map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2239235$89FA9DB1-A71E-4BD0-ACF2-DEF5AC7A92D4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2201791bac13f4b84269594d869ac9be705b8962","datavalue":{"value":"Q114045566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239235$8D8D8285-A490-4E0F-82CA-F524DF5C293F","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":"Q2239235$E8DAA90D-AF30-4681-973F-2D9BDD58731C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7aa5912196425fc616d388510d0b3399dc169880","datavalue":{"value":"W3205780404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239235$179C062C-7D91-4E07-A7C1-F78B27FD136E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2222747893799e9db9e34c9fdb479f37659da93b","datavalue":{"value":{"entity-type":"item","numeric-id":5672742,"id":"Q5672742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$8B9F8689-9BE5-434C-9FDB-1D647AF30D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f412c0010299246f93963b564bb74684f72b0586","datavalue":{"value":{"entity-type":"item","numeric-id":2419715,"id":"Q2419715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$A63F5997-D783-432A-9E66-FC499310D947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2385d0d0c091f36a1421e122aef6c42a4d6bc542","datavalue":{"value":{"entity-type":"item","numeric-id":624651,"id":"Q624651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$6450D86B-F1D2-4879-9289-2ACB82A64B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aabe6625c18ec762a0cf15db0d585bc0765c7cb","datavalue":{"value":{"entity-type":"item","numeric-id":3021638,"id":"Q3021638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$1CAAB8F4-9EF3-4F8D-8591-972B7099C482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d6349117f8187d4614268121c06342b8dd6b44","datavalue":{"value":{"entity-type":"item","numeric-id":5043811,"id":"Q5043811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$A305C87B-B360-426E-9660-36D11433E498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d736c9e6dbca3076958cafd8a7513cf8dfb6054","datavalue":{"value":{"entity-type":"item","numeric-id":1073125,"id":"Q1073125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$9A03C2F2-36AA-4EEE-BC9B-BA9054EC7E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94096f89fb9332015ab80abf7f62135fc2f7f382","datavalue":{"value":{"entity-type":"item","numeric-id":654874,"id":"Q654874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$14491649-663B-4B65-9E1D-0134A5E487A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf23cc4ef545b8a31e4285c2ce69df22d7ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1090721,"id":"Q1090721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$974BE8FE-F579-47AD-91C9-A5B0114D6F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1936685ed66214854efd6fb26eb54b20072bf7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2574957,"id":"Q2574957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$57B223ED-67D7-490A-B73B-EE27AD842041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6e9bf3b5c7639c4a97399b02f87d40d50be15a","datavalue":{"value":{"entity-type":"item","numeric-id":1016584,"id":"Q1016584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$5BE14C5E-C863-4E23-8A04-C2087838B5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9354aef898328c7d7e620b6c28ede03ffff5d0a8","datavalue":{"value":{"entity-type":"item","numeric-id":990188,"id":"Q990188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$DF75B1BB-DC61-421D-9E66-9C8DB8D56EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0eeb8db5a65f9b1e0188c443ad75786de03396","datavalue":{"value":{"entity-type":"item","numeric-id":3737546,"id":"Q3737546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$1A22CB32-3BE1-4D3A-B468-6A6327B743FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac7cb08a02d259b2703b5f5dd41a3410ffddfae","datavalue":{"value":{"entity-type":"item","numeric-id":785943,"id":"Q785943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$457521C7-5D36-481A-B7B1-D5836FD29E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1345a8e1f2cc5fe2728c9ff4f5b4c725fdf3c5f","datavalue":{"value":{"entity-type":"item","numeric-id":365889,"id":"Q365889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2239235$B4AB0492-F426-4779-9833-5831A2CEF9EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"901f83445a92cf28ce5497ac99ea9a9d989b97d3","datavalue":{"value":"10.2140/ANT.2021.15.1565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2239235$90A016B5-FAEB-4825-8BF0-B85E308A7BF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49f99a4cf310446cd7b672b25c694a764e6d9bf","datavalue":{"value":{"entity-type":"item","numeric-id":1016584,"id":"Q1016584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ee81f3d9cd2f3ae5ecf34a6048069c11340710","datavalue":{"value":{"amount":"+0.7910354137420654","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":"Q2239235$8C5813AC-DCDD-426B-A592-80EF6792DB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2004d9cf5a74118224690a193eae340f7bc401d","datavalue":{"value":{"entity-type":"item","numeric-id":2464033,"id":"Q2464033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f8c2bc863b9c772280a97017329caa5fde206d","datavalue":{"value":{"amount":"+0.7435736656188965","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":"Q2239235$1FB8F1E3-9AF4-4013-9181-BB2C402F8D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73dd1835df56052603e4efae5ec1da3e2d817987","datavalue":{"value":{"entity-type":"item","numeric-id":2574957,"id":"Q2574957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2086c52758ee51b60613efc9bde8056073a1f11e","datavalue":{"value":{"amount":"+0.7296746969223022","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":"Q2239235$F1335140-1DCB-414D-BFCE-C36FADEDD8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf191dd62a15ee3c6d76a2e3381ec2ff71f4a53","datavalue":{"value":{"entity-type":"item","numeric-id":2210346,"id":"Q2210346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b54a4ca067ce6443f7d1793a11e94d48187412","datavalue":{"value":{"amount":"+0.7264629006385803","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":"Q2239235$95DDCB5F-B6E7-456A-8579-8FF053CAED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bea2d0346b9ea549f6dabd1c516b329709d0c20","datavalue":{"value":{"entity-type":"item","numeric-id":5377190,"id":"Q5377190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac91ff25947193228073c43c2242a8fb45e2c62","datavalue":{"value":{"amount":"+0.7254741787910461","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":"Q2239235$BE37F793-7D6D-4AFF-96E5-382AC565D070","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional transcendence for the unipotent Albanese map","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_transcendence_for_the_unipotent_Albanese_map"}}}}}