{"entities":{"Q1005866":{"pageid":1007714,"ns":120,"title":"Item:Q1005866","lastrevid":65947818,"modified":"2026-04-12T06:31:08Z","type":"item","id":"Q1005866","labels":{"en":{"language":"en","value":"Diophantine subsets of function fields of curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529327"}},"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":"Q1005866$3C0D3AB6-A378-4ED4-8669-4539913C4E41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a03e88cbfe828daa0f2de7ea39598e2e0eb8d57a","datavalue":{"value":{"text":"Diophantine subsets of function fields of curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005866$28BBFD2D-F2EC-4626-B6B0-E2C2A810774E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d76b625696cafce395844ed3155fdd1b96f38b5","datavalue":{"value":"1178.11075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005866$2551A166-E3AA-4D0B-B209-2D726A802572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d83256a93c335531e6c3988e6026205a287cb92b","datavalue":{"value":{"entity-type":"item","numeric-id":167159,"id":"Q167159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005866$5DE92435-1BF5-48DF-B454-476CE9D82A0E","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":"Q1005866$C939D3DC-E140-4D1C-90DB-CC964BA5493D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bda8fd3ce1a62a7418a5e31080ea9b31826d790","datavalue":{"value":{"time":"+2009-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005866$8FA6ACD7-E4E7-46C4-A2D1-FCE96ED20854","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c8f16d3c218818a6ead92ccf7d99727bf29f6a2","datavalue":{"value":"https://arxiv.org/abs/0708.3451","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005866$926DA20E-1A1F-46E3-AC43-C99809107B4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f16c3470093714e7a2d5b61b0c249aff4d18777e","datavalue":{"value":"In number theory, a Diophantine set in \\({\\mathbb Z}^k\\) is a subset \\(D \\subset {\\mathbb Z}^k\\) for which there exists a polynomial \\(F(x;y) = F(x_1,\\dots,x_k; y_1,\\dots,y_n)\\) with integer coefficients such that \\(F(x;y) = 0\\) has a solution with integer \\(x_i\\) and natural \\(y_j\\) iff \\(x = (x_1,\\dots,x_k) \\in D\\). By the theorem of Matiyasevich, the Diophantine sets in \\({\\mathbb Z}^n\\) are the same as the recursively enumerable sets in \\({\\mathbb Z}^k\\). In this paper are studied basic questions regarding certain generalized Diophantine sets. By the definition on page 209, a subset \\(D \\subset R\\) is Diophantine if there are polynomials \\(F_i(x;y_1,\\dots,y_n) \\in R[x;y_1,\\dots,y_n]\\) such that the system \\(F_i(x;y_1,\\dots,y_n) = 0, \\forall i\\) has a solution \\((y_1,\\dots,y_n) \\in R^n\\) iff \\(x \\in D\\). The main question about such generalized Diophantine sets is to find a similar characterization as in case regarded above. However this question seems to be hard in any particular nontrivial case; for example it is not known whether \\({\\mathbb Z}\\) is a Diophantine subset of the rationals \\(R = {\\mathbb Q}\\), see the introduction. In this paper is studied in more detail the case when \\(R = k(t)\\) where \\(k\\) is an uncountable field of characteristic \\(0\\). Theorem 4, the main technical result of the paper, shows that a Diophantine subset \\(D \\subset k(t)\\) is, roughly speaking, either very small or very large.  This yields two impressive conclusions: Corollary 1. \\(k[t]\\) is not a Diophantine subset of \\(k(t)\\); Corollary 2. If \\(K_2 \\supset K_1 \\supset k(t)\\) are finite field extensions, then \\(K_1\\) is a Diophantine subset of \\(K_2\\) iff \\(K_1 = K_2\\). Especially, the 2nd Corollary answers in this case to a question of Bogomolov: When a subfield \\(K_1 \\subset K_2\\) is Diophantine in \\(K_2\\) ? The proof of Theorem 4 relies on the theory of rational curves on varieties, to which the author has the main contribution, see [\\textit{J. Koll\u00e1r}, Rational curves on algebraic varieties. Berlin: Springer Verlag (1995; Zbl 0877.14012)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005866$01D0C08A-3045-47E6-9F35-86DEBF6027A1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9b70273aa7adbc1f601febae527e899c2804982","datavalue":{"value":{"entity-type":"item","numeric-id":169998,"id":"Q169998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005866$08E53014-617C-4F3B-8F2C-4DBB2DC9F599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005866$57049C0F-7E30-4F76-83F9-68BC8D444B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005866$B7E9DE14-4080-4392-B758-8A2B80B97EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b67b5a7df3c22d84d00258acadf9bdea3a63c34","datavalue":{"value":"14G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005866$14D557C8-B24B-4444-A2BC-468CDA49756F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00bbd64997c33ec8e0f6d44d1451bc60de9c281d","datavalue":{"value":"14M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005866$63F0FF69-B1AC-4D43-843D-3565EF91E4F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0e0d9a3a069a34ddeab1461dd06e386d4a764d1","datavalue":{"value":"5529327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005866$DC801AE5-678E-4CFD-BE3D-F202A3C8F121","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a44ba929878b43c4e66ff26632fe557ee210c0f","datavalue":{"value":"Diophantine set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005866$3D996A2F-BAF6-4474-A6D5-52D7933B883B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f9bb59775a976c718b8a7b55993f77981580e9a","datavalue":{"value":"rationally connected variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005866$CC2E10E6-427F-4522-80CA-C8CF4C0ECBDB","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":"Q1005866$A6CDD7A1-5E36-4586-AD89-771FE5C20428","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"630a5c35b99c64531d4e935b5cfb2a4bfc0c1c76","datavalue":{"value":"W2962734895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005866$5F1F1214-1E87-4F7A-B38F-53415FD67934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4b3b60b4ac6f7779def66c11b44bc9991d853f5","datavalue":{"value":"10.2140/ANT.2008.2.299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005866$672B2E33-4FC6-44EC-A87F-3404698D5D81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539095aa41faada87d3931406fb54f97365bf506","datavalue":{"value":{"entity-type":"item","numeric-id":3581096,"id":"Q3581096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f99f08049c0f159852060b5a8fbab038a6b0e4c","datavalue":{"value":{"amount":"+0.8050370216369629","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":"Q1005866$F697669D-00AE-4CEB-9818-3CCD50E3A093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2944f7f454a80f40163961ddc9cf1a44dca9850","datavalue":{"value":{"entity-type":"item","numeric-id":1041275,"id":"Q1041275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8052726878c9310988cb96ec2bfd0ae106fee4ba","datavalue":{"value":{"amount":"+0.7798643708229065","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":"Q1005866$A9936229-B356-44D8-AD9B-58D0604606DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1825e2a2c2a718f1e75a23e6d9e643ff1a0d7ed6","datavalue":{"value":{"entity-type":"item","numeric-id":5287686,"id":"Q5287686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f13a940cd50df12ace6b98df35a74e16d8e067","datavalue":{"value":{"amount":"+0.7684969902038574","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":"Q1005866$3FC4E83E-EB85-4CD0-86E4-8800D0CF4296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc0110575d05b102c9b134cc5c7b2ae1a7fb587","datavalue":{"value":{"entity-type":"item","numeric-id":4699593,"id":"Q4699593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96793c50416c8349930ceda231d4b9b62a1c53f","datavalue":{"value":{"amount":"+0.7649167776107788","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":"Q1005866$45BF6712-2B11-4514-B3DD-0A0CC220EC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf615877c5a0be917c0719230bd56216e060510d","datavalue":{"value":{"entity-type":"item","numeric-id":3351492,"id":"Q3351492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6730862b584d7a2df5165e89a4806dba0ce8951b","datavalue":{"value":{"amount":"+0.7582162022590637","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":"Q1005866$3F692D6B-5008-4636-A8E7-50F99729A9D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diophantine subsets of function fields of curves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diophantine_subsets_of_function_fields_of_curves"}}}}}