{"entities":{"Q2065098":{"pageid":2075840,"ns":120,"title":"Item:Q2065098","lastrevid":57708648,"modified":"2026-04-01T00:40:57Z","type":"item","id":"Q2065098","labels":{"en":{"language":"en","value":"Roth's theorem over arithmetic function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453409"}},"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":"Q2065098$AF00E67C-1D0B-4EE0-98DC-A90EC4977B01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e223599b4bbb328e4ceb3620f7cd0b35dcfb02cb","datavalue":{"value":{"text":"Roth's theorem over arithmetic function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2065098$951D1052-28FB-4B4D-BED8-76BF514E17E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c0bd567ce5adf6aa1b4ac25e9480f0073e51b81","datavalue":{"value":"1487.11069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065098$CD23D608-C9F6-4BFB-96EE-2B7471DB2560","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":"Q2065098$7756F26B-816D-4AF5-A730-446CF35B150B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf97b4a582e0f08e592b79a41ba7d2314675c053","datavalue":{"value":{"time":"+2022-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2065098$87F4AEE2-2C6A-460C-82CA-49CD72E3D02A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92e757075f379ff93227d5aa631762577aef3bee","datavalue":{"value":"https://arxiv.org/abs/1806.10737","type":"string"},"datatype":"url"},"type":"statement","id":"Q2065098$65761D18-C11B-48C9-AFFE-A73973EF2AE1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a7a538efe63b78b6f7dc7d4ad3bc6d346bd1e7d5","datavalue":{"value":"An arithmetic function field is a finitely generated extension of \\({\\mathbb{Q}}\\). \\textit{A. Moriwaki} [J. Algebr. Geom. 18, No. 3, 407--457 (2009; Zbl 1167.14014)] formulated a theory of heights over an arithmetic function field. The author uses this theory to extend Roth Theorem over arithmetic function fields by means of an extension of the standard proof. He gives four equivalent formulations of Roth Theorem over arithmetic function fields. One of them, which is the version used for the proof, is the following. \\par Let \\(K\\) be an arithmetic function field, \\(M:= (B; {\\mathcal{M}} , \\ldots, {\\mathcal{M}})\\) a big polarization of \\(K\\) with all metrized line sheaves equal to the same smoothly metrized line sheaf \\({\\mathcal{M}}\\), \\(M_K\\) be derived from this polarization, and \\(S\\) a subset of \\(M_K\\) with finite measure. Let \\(D\\) be a reduced effective divisor on \\({\\mathbb{P}}^1_K\\); let \\(m_S(D,\\cdot)\\) be the proximity function associated to some choice of Weil function for \\(D\\); let \\(\\varepsilon > 0\\) and let \\(c\\in{\\mathbb{R}}\\). Then the inequality \\(m_S(D,\\xi)\\le (2+\\varepsilon)h_K(\\xi)+c \\) holds for all but finitely many \\(\\xi\\in K\\). \\par For the reduction of the theorem to simultaneous approximation, the author's key idea comes from a work by \\textit{E. A. Wirsing} [Proc. Sympos. Pure Math. 20, 213--247 (1971; Zbl 0223.10017)]. Instead of Roth Lemma, the author uses a version of Dyson's Lemma due to \\textit{H. Esnault} and \\textit{E. Viehweg} [Invent. Math. 78, 445--490 (1984; Zbl 0545.10021)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065098$FC10E89D-1D16-4E73-B889-76029061C21A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"98f76666c1f4beb74f2e091a1eef44951a9cb98f","datavalue":{"value":{"entity-type":"item","numeric-id":194752,"id":"Q194752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$44E10762-48C4-45E2-B224-D1A2EE2420B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa8c5d48f36c5ad1306c13276e0ed2f486b54f68","datavalue":{"value":"11J68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065098$A885B7C1-F94A-4EE7-B0A6-FC50E1BEB464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de48100e10f5663469778655acb059045b52dea8","datavalue":{"value":"11J97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065098$57AC5356-CB02-4045-97F2-FABEAA9BA985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f2ba339291ddffcf124b46732db121bed6898684","datavalue":{"value":"14G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065098$B9F1A363-6853-4261-9DAA-5BCC1BB91B0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fae5b2adbc5e63d74a1867233702da2a56d6d0e","datavalue":{"value":"7453409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065098$F00257F5-A8A7-4331-BB1F-416FC150CFFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23baa929e285ae73d0a1aca3a8a182f9a75992cd","datavalue":{"value":"Diophantine approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065098$1FD73240-B517-449F-8977-790F45188EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5e463bfbd7eb511bd706621ad9a1c2c3fa5fe2a","datavalue":{"value":"arithmetic function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065098$E4F2D86C-E35B-40D0-84AA-560362156F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a3bc189031111c70b6fd1c9489b74d77ec0da7c","datavalue":{"value":"Roth's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065098$93B80EAF-749A-4A0D-8D28-D5DB7F560EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3330da676510c59859b8d3f8cdb893612f7ec6ef","datavalue":{"value":"Thue-Siegel method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2065098$846378B2-FAB8-4FE6-B9E0-8A144FDDBD73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2efb5e72af9dbe0748c36813c744938d011ccbf2","datavalue":{"value":{"entity-type":"item","numeric-id":588415,"id":"Q588415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$04A24576-B541-4254-A069-ED65DEDCB6E5","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":"Q2065098$476D2AD1-60F8-4CC1-8BD5-4B97DED31744","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"011c323d171c81db608b308527e5a19fba0f7ba7","datavalue":{"value":"W3211912399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065098$7C03E83E-D115-4D85-BFD4-BFB703D50CCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5cb32f496ccc3b995258d5a6c4f6153ef6412f","datavalue":{"value":{"entity-type":"item","numeric-id":272914,"id":"Q272914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$F6F6E394-107E-4A1E-A79C-5D8D9D92026B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d4c3cd4f895ca9e49b8723de775260a7ff5ced","datavalue":{"value":{"entity-type":"item","numeric-id":2647531,"id":"Q2647531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$5CEAA9DF-9C86-4E88-9D75-C32706F02A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f033301cd9439a5efa4ac9952db64a565fb3e964","datavalue":{"value":{"entity-type":"item","numeric-id":2521161,"id":"Q2521161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$A829609A-70B5-484B-8138-5377777820BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da88df9d01c16d103ef701a8ce5b3291140a704","datavalue":{"value":{"entity-type":"item","numeric-id":797625,"id":"Q797625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$CE470320-FB9B-4E9B-BE6A-F9D400AE5766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10df99d909aef5cd9886ba556df2fb46ba53669a","datavalue":{"value":{"entity-type":"item","numeric-id":4002794,"id":"Q4002794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$DEECB95A-240E-4DD9-BC4F-F30D9BBB86FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ae84442d8b95f908054ca81f95a3ff5286a9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1173676,"id":"Q1173676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$A6568D5A-7761-454A-9B7A-F757AFC71B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d927a66152ecd9e566c28caadad4430d06291df","datavalue":{"value":{"entity-type":"item","numeric-id":1131461,"id":"Q1131461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$D1FB26AB-AD8A-46DE-9D49-E9CCD2DB3B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabe591d47efb655148b4c6ab55869c7455ad8d1","datavalue":{"value":{"entity-type":"item","numeric-id":5724382,"id":"Q5724382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$D607533F-5195-4716-B5E7-612FF4AA39CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373230127c993d3a72052cdfc93319b407b5b48d","datavalue":{"value":{"entity-type":"item","numeric-id":4052262,"id":"Q4052262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$8B45C582-9C7D-419D-BAAC-15EC489F1F20","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":"Q2065098$4CBF7A57-8328-4BFF-BEA7-95740B0FC352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda957a82e04a6934059e255f697ad5e4bf525c7","datavalue":{"value":{"entity-type":"item","numeric-id":1977013,"id":"Q1977013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$FA230657-4267-4AEC-A021-D48678BB2FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99c34ae3fe7463f1d3b9b096fc356a4e1a02d61","datavalue":{"value":{"entity-type":"item","numeric-id":3632495,"id":"Q3632495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$5638AA60-325E-45DA-A30A-D5EB59DA6E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f9a9cff10ce93fec49313b0033a9e0ce0ed2ce","datavalue":{"value":{"entity-type":"item","numeric-id":1064341,"id":"Q1064341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$DBF7C9F5-2BB2-4CC0-9198-225D0C3C38A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ffa715cd0b11b2917c719c0b90fd307af6fa4d","datavalue":{"value":{"entity-type":"item","numeric-id":3254399,"id":"Q3254399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$8F81D278-460A-4CB2-98F1-5E0B695937A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e07479183b3e5eaff65e5076a7857f2bb6c7060","datavalue":{"value":{"entity-type":"item","numeric-id":5848300,"id":"Q5848300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$BA383C63-3EFA-4483-B5CC-78013D53FE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae1fd4863c83b33800fa739897d4eb64ca20fd7","datavalue":{"value":{"entity-type":"item","numeric-id":1359161,"id":"Q1359161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$315FDADC-1A76-4FDE-B377-64DD0E929F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed295edf177975a229bf6bf656bc698001bbf3d","datavalue":{"value":{"entity-type":"item","numeric-id":939104,"id":"Q939104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$B1775C22-4A75-403B-800A-61629185DA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ef6cfeabd04ba30c181b506dc225f7abd7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":3655519,"id":"Q3655519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$5B41D541-DD59-4C67-AF82-B750D562098F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31234d27999ec965c0b12201cbf3285747ca7c00","datavalue":{"value":{"entity-type":"item","numeric-id":4846136,"id":"Q4846136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2065098$B6D9590D-DE1E-4A11-98E4-2DE225A00AAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fc800cf7f8343ff1dc63980edc267a181144e0b","datavalue":{"value":"10.2140/ANT.2021.15.1943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2065098$C81B978D-E7FC-4E15-94DB-D50B2080D873","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539f3b170561b69ce88ec5cc60d808c2699bd67d","datavalue":{"value":{"entity-type":"item","numeric-id":1359161,"id":"Q1359161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8371f92f189a4fbb190bcaa9296acaa2e8f04cf","datavalue":{"value":{"amount":"+0.8911053538322449","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":"Q2065098$784C2341-982B-4938-833D-C1841FE95A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb830381191ff5a19eb615adee9a3ca8230b8d1","datavalue":{"value":{"entity-type":"item","numeric-id":4641765,"id":"Q4641765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a7eb31804161606a8a5b97b6da77f0e5fb1e4b","datavalue":{"value":{"amount":"+0.8894716501235962","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":"Q2065098$4E2D0494-E1D7-4E30-BC73-E99D6FE22CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39d26e0a836634013913c44f65f47783d28e9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5928703,"id":"Q5928703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba73c503af79cb0bd142c745177c693c60462601","datavalue":{"value":{"amount":"+0.8170667886734009","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":"Q2065098$CD2A5749-871C-464E-B522-F5CC677BEBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb91c4c3d500f945a7e51fd069c41dbcf447464","datavalue":{"value":{"entity-type":"item","numeric-id":4881078,"id":"Q4881078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba73c503af79cb0bd142c745177c693c60462601","datavalue":{"value":{"amount":"+0.8170667886734009","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":"Q2065098$4B482CE5-9973-4BB4-9A83-1DA64D216223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344dfd10287ba04f7aa6cff97d51424d1aa50c1e","datavalue":{"value":{"entity-type":"item","numeric-id":2641335,"id":"Q2641335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b611c7b3931bbae7db799eec0f9e428db4ee69c4","datavalue":{"value":{"amount":"+0.7990592122077942","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":"Q2065098$F1A645F5-C5A6-4000-9B1A-9A71077BF233","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2065098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2065098"}}}}}