{"entities":{"Q1177904":{"pageid":1188653,"ns":120,"title":"Item:Q1177904","lastrevid":66508590,"modified":"2026-04-12T10:32:05Z","type":"item","id":"Q1177904","labels":{"en":{"language":"en","value":"Rational points on K3 surfaces: A new canonical height"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22454"}},"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":"Q1177904$C3BD754E-80DE-4BB2-B7FA-2C1A7470995C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"521864c233962f9279648d9c1deb95813529e19a","datavalue":{"value":{"text":"Rational points on K3 surfaces: A new canonical height","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177904$9FF6B360-7DB0-443A-98CA-EF65429F5248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"282f419079fb297fd90a7ad0c07197fbd29b815c","datavalue":{"value":"0754.14023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177904$9E40767A-D9BE-4498-901C-992D80835739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5e898d624fcfe21b901f38d3503e753c55bb054","datavalue":{"value":"10.1007/BF01232270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177904$1A682411-8377-42AE-B41D-0DD1ADE26C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42a908e4b49b0691938902ea65aa5b0d9e8e8d6d","datavalue":{"value":{"entity-type":"item","numeric-id":240101,"id":"Q240101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$B9C149B6-93C0-4A94-B365-447D6C723AB5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$E24A7ECB-1E14-4EF0-937A-4EB882663088","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177904$BB9CDD3C-2404-4412-8673-A9A0BB2BEE73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8ccecf01d4c74fe5a8ab6f41fa52381ace447b5","datavalue":{"value":"https://eudml.org/doc/143916","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177904$8F4E138B-32AF-4D57-85DD-58CEAC593815","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a2a03e8989d9ac1e355f467b70f4e8b7b4939d6","datavalue":{"value":"A marked \\(K3\\) surface \\(S\\) is a complex projective \\(K3\\) surface with automorphism group containing a subgroup \\({\\mathcal A}\\) isomorphic to the free product \\(\\mathbb{Z}_ 2*\\mathbb{Z}_ 2\\) of two cyclic groups of order 2 together with a fixed isomorphism from \\({\\mathcal A}\\) onto \\(\\mathbb{Z}_ 2*\\mathbb{Z}_ 2\\). The surface \\(S\\) and the action of the automorphism subgroup \\({\\mathcal A}\\) are assumed to be defined over a number field \\(K\\). The orbit of a point \\(P\\in S(K)\\) \\({\\mathcal C}={\\mathcal C}(P)=\\{\\varphi P;\\varphi\\in{\\mathcal A}\\}\\) is called a chain (of \\(K\\)-rational points on \\(S)\\). The aim of the paper is to describe the points in a chain and the collection of chains in \\(S(K)\\). For this purpose a Weil height function \\(\\hat h\\) and a canonical height \\(\\hat H\\) are introduced. The latter does not depend on the special choice of a point in a given chain \\({\\mathcal C}\\). So \\(\\hat H({\\mathcal C})\\) is well-defined. The following basic result is proved:   Theorem 1.2. The chain \\({\\mathcal C}\\) is finite iff \\(\\hat H({\\mathcal C})=0\\) iff \\(\\hat h(P)=0\\) for all \\(P\\in{\\mathcal C}\\). For any constant \\(B\\), the set \\{chains \\({\\mathcal C}\\) in \\(S(K)\\); \\(\\hat H({\\mathcal C})<B\\}\\) is finite. There are only finitely many chains \\({\\mathcal C}\\) in \\(S(K)\\) with finite members.   The next theorems give useful estimations for infinite chains \\({\\mathcal C}\\) in \\(S(K)\\):  \\[ 2\\sqrt{\\hat H({\\mathcal C})}\\leq\\min_{P\\in C}\\hat h(P)\\leq 2\\alpha\\sqrt{\\hat H({\\mathcal C})}, \\]  where \\(\\alpha=2+\\sqrt 3\\). With \\(\\mu({\\mathcal C})=\\#\\{\\sigma\\in{\\mathcal A};\\sigma Q=Q\\}\\) for \\(Q\\in{\\mathcal C}\\) one gets  \\[ \\left|\\#\\{P\\in{\\mathcal C};\\hat h(P)\\leq B\\}-{1\\over\\mu({\\mathcal C})}\\log_ \\alpha{B^ 2\\over 4\\hat H({\\mathcal C})}\\right|\\leq 4 \\]  if \\(B^ 2\\geq 2\\sqrt{\\hat H({\\mathcal C})}\\). For any ample divisor \\(D\\) of \\(\\text{Pic}(S)\\) there is an approximation  \\[ \\#\\{P\\in{\\mathcal C};\\;h_ D(P)\\leq B\\}={1\\over\\mu({\\mathcal C})}\\log_ \\alpha{B^ 2\\over 4\\hat H({\\mathcal C})}+O(1),\\;B\\to\\infty. \\]   \\[ \\#\\{P\\in S(K);\\;\\hat h(P)\\leq B\\}=S(K)_{\\text{fin}}+\\sum\\left\\{{1\\over\\mu({\\mathcal C})}\\log_ \\alpha{B^ 2\\over 4\\hat H({\\mathcal C})}+\\delta({\\mathcal C})\\right\\}, \\]  where \\(S(K)_{\\text{fin}}=\\{P\\in S(K);\\;\\hat h(P)=0\\}=\\{P\\in S(K)\\); \\({\\mathcal C}(P)\\) is finite\\}, \\(\\#S(K)_{\\text{fin}}\\) is finite \\(|\\delta({\\mathcal C})|\\leq 4\\), and the sum runs over all chains \\({\\mathcal C}\\) of \\(S(K)\\) with \\(0<4\\hat H({\\mathcal C})\\leq B^ 2\\). If the chain \\({\\mathcal C}(P)\\) of a point \\(P\\in S(\\overline K)\\) is \\(\\text{Gal}(\\overline K/K)\\)-stable then it holds that \\(P\\in S(K)\\), \\({\\mathcal C}(P)\\) is \\(K\\)-rational, \\({\\mathcal C}(P)\\) is finite and \\([K(P):K]=2\\). After the proofs the author presents in section 5 explicit calculations of heights of points in a chain on a randomly chosen \\(K3\\) surface defined over \\(\\mathbb{Q}\\). In the last section the calculations are connected with a \\(K3\\) version of a recent conjecture of Vojta generalizing a famous theorem of Siegel on the growth of logarithmic heights of integral points on elliptic curves.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177904$054CCF9C-B25C-45B7-96BA-6D312C4AA5BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"532bdb28d686a8c29b43bb16eab512a6e594a67b","datavalue":{"value":"14J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177904$8423CEA4-9D78-4A09-BA51-66B58544F7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177904$BB85D645-7146-419A-9333-22FC84533F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f2ba339291ddffcf124b46732db121bed6898684","datavalue":{"value":"14G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177904$A5B6679F-266E-416E-9D75-84963200ACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b67b5a7df3c22d84d00258acadf9bdea3a63c34","datavalue":{"value":"14G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177904$5D0DFBF3-FED2-4E56-A704-0C36227B7978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42184525ada3e3b80a15df2de06161c2b7616606","datavalue":{"value":"14C22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177904$741822A9-5B36-49AA-A2AD-5B5AE50429DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"752f1192ccd04bf9a56d7843197ffe940da58404","datavalue":{"value":"22454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177904$75203A39-8EB9-46D9-9A2E-5CDD688E0915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09bf12ad1e47433bc4912b9321e5464ce36aefea","datavalue":{"value":"chain of rational points","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177904$89497099-959B-4C13-9D9A-ADB041BFE8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c9f11e6d5a1aa067b89b9d2d7a1f2b1d4c276f","datavalue":{"value":"Vojta conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177904$7C715E40-8DBB-404A-BDAA-7F5B3719498F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3277d263b293d0b4e265086cf65e54335168ad57","datavalue":{"value":"Weil height function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177904$593541B9-5671-4ABB-A51B-9C4CBB7E7D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf565090e8766c15edcd385a80a2ec8b8a0c0a81","datavalue":{"value":"marked \\(K3\\) surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177904$BF02DEEE-8201-4BE1-BBD6-84846294C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702dff90b6146b422be24bfa048c434196e52864","datavalue":{"value":"canonical height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177904$B6B05067-F28A-46BF-B275-C6C485B0EBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8122886f60a6c5e78b365aa408246b445c01b8c","datavalue":{"value":"growth of logarithmic heights of integral points on elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177904$ADC4FC35-E965-4061-B0D5-946F2152E64D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e48bc8e68b7e0085a4b58818a019e7db4e96c779","datavalue":{"value":{"entity-type":"item","numeric-id":795125,"id":"Q795125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$BA5E0036-1809-443D-8518-0835DA6BD4A9","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":"Q1177904$52632781-C3C0-45B3-98DE-575E7468E931","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa90e276939c717ace0ff6e62479fb30794bb61","datavalue":{"value":{"entity-type":"item","numeric-id":3347989,"id":"Q3347989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$618444A4-52E9-4489-943B-ED22A0652789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7e6de133318f91659d8536084ba517493f680f","datavalue":{"value":{"entity-type":"item","numeric-id":1124645,"id":"Q1124645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$0FAB7DC3-E7BA-4C3D-BDF7-6852DC3B4632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbc9faa4385456fcfdfdc425fc330f4b9e125ad","datavalue":{"value":{"entity-type":"item","numeric-id":4750781,"id":"Q4750781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$4D9929A8-C14F-4F55-97F2-226A5C5A578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec0a8e5db7d45d7569b5a0325fd99171ed60eb5","datavalue":{"value":{"entity-type":"item","numeric-id":810601,"id":"Q810601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$0A5532BC-DFA6-4D03-9121-485BFAB13C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f9e84b8c35c78c4926dfd61433b50e8031bf98","datavalue":{"value":{"entity-type":"item","numeric-id":1121327,"id":"Q1121327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$68EE96F8-EF1A-427E-A0FB-F9271C2AE205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110dce5dc4dcd0beceea1ad7d7e5c815cd953e83","datavalue":{"value":{"entity-type":"item","numeric-id":4195061,"id":"Q4195061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$793E2F4B-B35A-4A1D-8D19-156CECDAD431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cf35e1bb12095e7ce7c43fb57b3e42c4659651","datavalue":{"value":{"entity-type":"item","numeric-id":800976,"id":"Q800976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$4F13A321-12E3-4FA4-AC44-7BE49FF72349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$3417F6F9-D258-4E33-AF08-DE60912AF8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5472ada4921d2077892fd81c861e753088ff3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3309989,"id":"Q3309989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$306B2A7D-5F12-4844-B515-9DD74BFAB41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad6b5ff445a997390271ea263be054e7da8d287","datavalue":{"value":{"entity-type":"item","numeric-id":3222301,"id":"Q3222301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$3F7421C2-1308-42B0-9DEA-23A2D4B5C8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb380c40c10a7d9d6dec3becc8293ee7708df6a0","datavalue":{"value":{"entity-type":"item","numeric-id":3710637,"id":"Q3710637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$A6380DC5-57A5-490D-889D-3329E47D1EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0a0fa7b9f8f075639aa852178f59f0b1ba571a","datavalue":{"value":{"entity-type":"item","numeric-id":3803254,"id":"Q3803254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$3957A13C-2FA6-4359-834F-D04CE1BCB090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a197ebbfb8bfb114378289b9731700cb564b4683","datavalue":{"value":{"entity-type":"item","numeric-id":5635540,"id":"Q5635540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$62084DAA-37DF-497A-913C-73ECE6886F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c98d3ca224b35aece97689565b173afa471fdf5","datavalue":{"value":{"entity-type":"item","numeric-id":1086639,"id":"Q1086639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$99A80353-A0B3-4FFD-8928-5733DA77C8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"544f888f315e9ef6dc54b78d486c81b84365e9d6","datavalue":{"value":{"entity-type":"item","numeric-id":1175255,"id":"Q1175255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$D34FD08B-88E2-417B-8B84-19E1D050E670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9983a6749db6b411f861d9dc2ee9ab8cfa5d629a","datavalue":{"value":{"entity-type":"item","numeric-id":1081654,"id":"Q1081654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$3677B1F9-FF2D-4743-A811-8448AAD3FC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2533eea566bd9f7f485121813d5aeebe2393635b","datavalue":{"value":{"entity-type":"item","numeric-id":1113969,"id":"Q1113969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177904$2548B965-78BD-4963-AD22-6CD558AE9107","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c59566130697079015f0f3739a189febd713f0","datavalue":{"value":{"entity-type":"item","numeric-id":4360115,"id":"Q4360115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48e96fabd667b14b58fee9e3fa3607daffa6d0d","datavalue":{"value":{"amount":"+0.864775538444519","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":"Q1177904$207A8B54-F6F5-4BA3-AF0B-EEAAA156F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeaffe0686951edeea3212e5ac5bd7cc9fb6a2fa","datavalue":{"value":{"entity-type":"item","numeric-id":1923245,"id":"Q1923245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2526acb18b2d35163693c0e6e806eb884207df9e","datavalue":{"value":{"amount":"+0.8367690443992615","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":"Q1177904$E35288D5-D749-4C27-8E40-A02FA8938A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64122471aef88a0cb54140c79a9ffb50fdd1f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":4467285,"id":"Q4467285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62220633491f5fd6da30475ad5f76b4dfeb3e258","datavalue":{"value":{"amount":"+0.8348357677459717","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":"Q1177904$6F21C65F-10F3-4049-84D7-8A2D710B21B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rational points on K3 surfaces: A new canonical height","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rational_points_on_K3_surfaces:_A_new_canonical_height"}}}}}