{"entities":{"Q524918":{"pageid":526685,"ns":120,"title":"Item:Q524918","lastrevid":62523840,"modified":"2026-04-11T06:40:16Z","type":"item","id":"Q524918","labels":{"en":{"language":"en","value":"An analogue of Liouville's theorem and an application to cubic surfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6708407"}},"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":"Q524918$60255505-1D31-4DC5-A33B-890BDF3AD52B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48cd6909f10559ac5ebe0678b4290b264b0e49a1","datavalue":{"value":{"text":"An analogue of Liouville's theorem and an application to cubic surfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q524918$800DF322-6C19-4AF4-AF99-2D1991BD1B17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ee93357d0edec85fcca34dcf56e7a09176ea593","datavalue":{"value":"1412.14016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524918$8C9597D0-9E63-4643-BC26-3BB2B8AA449C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e2a945963e4db9b8b59ee67071089cd8e3e1bc9","datavalue":{"value":{"entity-type":"item","numeric-id":524916,"id":"Q524916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$69C67937-BED9-4495-895A-F342B8DFA9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f01a2a939d6b15947143c1ba408d8be78cb4058e","datavalue":{"value":{"entity-type":"item","numeric-id":524917,"id":"Q524917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$F6FCB0E3-B3A8-47A7-8CBD-6502C5A1482F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9ed2ee2aa76ab86fd8b3de954fc059362c64467","datavalue":{"value":{"entity-type":"item","numeric-id":253134,"id":"Q253134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$F3E71C41-C6E5-4039-AF07-1FA62C7D9F63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6191e73ae8f3ecf6aef844b1d7e1556b7278e8b9","datavalue":{"value":{"time":"+2017-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q524918$083F0897-2BAA-4E09-B08C-998A4BC2BC50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b23d7802758119d0a4bcaed1e4f91a9a801089ae","datavalue":{"value":"https://arxiv.org/abs/1306.2977","type":"string"},"datatype":"url"},"type":"statement","id":"Q524918$F06DF0A1-4B1C-4D29-A5B6-E7A350D61324","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b342b11ccddcb5014dd2c160cf56b720ca8d22f","datavalue":{"value":"Let $k$ be a number field. \\par In an earlier paper, the authors [Invent. Math. 200, No. 2, 513--583 (2015; Zbl 1337.14023)] proved a theorem on approximation to algebraic points on an integral projective scheme $X$ over $k$, which extends the celebrated theorem of K. F. Roth for $X=\\mathbb P^1$. The paper under review provides a similar extension of Liouville's theorem.   From now on let $X$ be a reduced projective scheme over $k$. \\par Let $v$ be a place of $k$, and choose an extension of $v$ to an algebraic closure $\\bar k$, which will also be denoted $v$. Choose a distance function $d_v(x,x')$ on $X(k_v)$, normalized in the same way as the contribution of $v$ to the multiplicative height $H_L$ on $X$ relative to a line bundle $L$ on $X$. \\par Let $x\\in X(\\bar k)$. For any sequence $\\{x_i\\}\\subseteq X(k)$ of distinct points with $d_v(x,x_i)\\to 0$, define the \\textit{approximation constant} $\\alpha_x(\\{x_i\\},L)$ of $\\{x_i\\}$ with respect to $L$ to be the infimum of the set of all $\\gamma\\in\\mathbb R$ for which $d_v(x,x_i)^\\gamma H_L(x_i)$ is bounded from above. Also let $\\alpha_x(L)$ be the infimum of $\\alpha_x(\\{x_i\\},L)$ for all sequences $\\{x_i\\}$ as above. In both of these definitions the infimum of the empty set is taken to be $+\\infty$. \\par The main theorem of the paper is then the following (quoted from the paper with some small changes and corrections). Let $k$, $X$, $v$, and $x$ be as above. Let $K$ be the residue field of $x$, and let $d=[K:k]$. Assume that $x$ is not an isolated point of $X$, let $\\widetilde X$ be the blowup of $X_K:=X\\times_k K$ at $x$ with exceptional divisor $E$, and let $\\pi$ be the composite $\\pi:\\widetilde X\\to X_K\\to X$. Let $L$ be a line bundle on $X$ such that $\\log H_L$ is bounded from below on $X(k)$, and let $\\gamma>0$ be a rational number. Finally let $B'$ be the stable base locus of $\\pi^{*}L-\\gamma E$ and set $B=\\pi(B')$. Then there is a positive real constant $M$ such that $H_L(y)d_v(x,y)^{\\gamma/d}\\ge M$ for all $y\\in X(k)\\setminus(B(k)\\cup\\{x\\})$. Moreover: \\par (a). For any sequence $\\{x_i\\}\\subseteq X(k)$ of distinct points with $d_v(x,x_i)\\to0$, if infinitely many of the $x_i$ lie outside of $B$, then $\\alpha(\\{x_i\\},L)\\ge\\gamma/d$. \\par (b). If $\\alpha_x(L)<\\gamma/d$ then $x\\in B$ and $\\alpha_x(L)=\\alpha_x(L|_B)$. \\par (c). If $x\\in B$ and $\\alpha_x(L|_B)\\ge\\gamma/d$ then $\\alpha_x(L)\\ge\\gamma/d$. \\par Furthermore, if $X$ is integral and $X(k)$ is infinite, then there is an integral closed subscheme $Y$ of $X$, containing $x$ and with $Y(k)$ infinite, such that either (i) there is an $M'>0$ such that $H_L(y)d_v(x,y)^{\\gamma/d}\\ge M'$ for all $y\\in Y(k)\\setminus\\{x\\}$, or (ii) $(\\pi^{*}L-\\gamma E)|_{\\widetilde Y}$ lies outside of the effective cone of $\\widetilde Y$, where $\\widetilde Y$ is some irreducible component of $\\pi^{-1}(Y)$ for which $\\widetilde Y\\cap E\\ne\\emptyset$. \\par Finally, the paper explicitly computes $\\alpha_x$ and the Seshadri constant $\\epsilon_x$ for all nef line bundles on $X$ and all $x\\in X(k)$ not lying on a $(-1)$-curve, where $X$ is the blowup of $\\mathbb P^2_k$ at six $k$-rational points in general position. This solves a conjecture of the first author [J. Algebr. Geom. 16, No. 2, 257--303 (2007; Zbl 1140.14016)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q524918$DD70BCD9-EB57-475D-AEBC-0A0BD4472C21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3d9dbd98317dc1a369868cb5143918eec93f8bb1","datavalue":{"value":{"entity-type":"item","numeric-id":588415,"id":"Q588415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$1F111D77-83B8-4A1B-A759-E923BF1F9FAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524918$E5E57431-A7DA-41E8-BBB5-7CF0AA42036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f2ba339291ddffcf124b46732db121bed6898684","datavalue":{"value":"14G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524918$BF2437B1-C7E6-4302-9565-A1339C701649","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ea1b89e8be8c225f56aa8691194be41133a115","datavalue":{"value":"6708407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524918$3C7E99EB-C7E6-411C-99F5-428992668A7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23baa929e285ae73d0a1aca3a8a182f9a75992cd","datavalue":{"value":"Diophantine approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q524918$A4EC4010-73AB-47A2-BC92-AB0230B92C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304901f1ad68c32839d81525dd637778fc87b2c5","datavalue":{"value":"rational points","type":"string"},"datatype":"string"},"type":"statement","id":"Q524918$CB52AF15-FA85-4B4B-9F8B-F985EBC2592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed944e6d6d15e23220d150ea68a789d4aa58a0bc","datavalue":{"value":"approximation constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q524918$6CFCCAE4-37AE-4642-B67E-034DB6DBB006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46545b0b2ae171ebed75770e6aab90e8632e1a33","datavalue":{"value":"Seshadri constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q524918$4945C377-FB9E-4AE1-B061-9CBD31969D92","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":"Q524918$93F97C9F-F55A-4D59-B214-ECED00083E75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec4414282825ea47001b3e464436ce972b2a1dd2","datavalue":{"value":"W2962934442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524918$4F76B5CD-87CA-4078-A1AC-92D178A56279","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96f5d772f9c33bbbbb03049f001edeee028b596","datavalue":{"value":{"entity-type":"item","numeric-id":3191275,"id":"Q3191275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$02DE6DDC-F891-4C4A-A4B4-E101F3C49FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc823fa0c3240d669e630a744a2b6bcbb4e8b912","datavalue":{"value":{"entity-type":"item","numeric-id":5719099,"id":"Q5719099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$5FFE8AC5-636E-4C6F-A22A-77826D194D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04712b1c59330750b7cf7b440431d027e533ac46","datavalue":{"value":{"entity-type":"item","numeric-id":3727887,"id":"Q3727887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$DD56404D-3A83-473E-BD53-65B9C88F69AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb476e519fa81df745f44ecd73222d8ea9c22b7f","datavalue":{"value":{"entity-type":"item","numeric-id":4027238,"id":"Q4027238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$F30679C7-FF0C-42AA-A439-B55E709A9D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da2fcfc49e1c3bc6d6e856a7f01dbba4a359b0a7","datavalue":{"value":{"entity-type":"item","numeric-id":4486426,"id":"Q4486426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$C675A5CC-CC16-49A5-8C2E-6564E24C94E2","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":"Q524918$0CA8A1E3-E966-4D21-B3DD-0F7A671F3FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eabbfbb602884b47955982499d9fc7c0729223c","datavalue":{"value":{"entity-type":"item","numeric-id":4821063,"id":"Q4821063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$C7B9E360-BD6E-41D6-A59C-7319EF23672C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eca420d3f2d8845ee93906b403d2669626423ff","datavalue":{"value":{"entity-type":"item","numeric-id":3444615,"id":"Q3444615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$266E69AF-5239-42E4-BCBC-19B9724B6573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da08ecb2bb249c2ff567af4f02b4229429ce6494","datavalue":{"value":{"entity-type":"item","numeric-id":2346751,"id":"Q2346751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$425F4494-11B5-40B5-B395-77C1A653FF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd927a9c61227403bc88a01b42144cca4e4f1f01","datavalue":{"value":{"entity-type":"item","numeric-id":2785520,"id":"Q2785520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q524918$924EC2C2-D810-4ABA-A28A-55A5D0E2C15B","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":"Q524918$3DF8C3C5-0953-4694-8171-5314F76049B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12be83cd27f381d4d27137e21a3a4a7fea7ed86a","datavalue":{"value":"10.1007/S40879-016-0113-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q524918$98D910E2-A9E5-4F77-AE45-1273DD64B72D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e46ec2b6202b9e98a655fc7adf28f407d2a8af","datavalue":{"value":{"entity-type":"item","numeric-id":2216696,"id":"Q2216696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db20776fa7243d35cc1ff5d37787a65898fc95d4","datavalue":{"value":{"amount":"+0.7537972927093506","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":"Q524918$4C58A3FB-AB7C-42CE-A78F-771B937E764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cbbfcbc09454e433b7aeda9b10d5c2a47417ea","datavalue":{"value":{"entity-type":"item","numeric-id":5457533,"id":"Q5457533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9fb0f5d9dfaa1f260ff4ef3bf2652e1b81e482","datavalue":{"value":{"amount":"+0.752124011516571","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":"Q524918$FA9CC0D0-DAD9-4FEF-AB72-B3ED8CDF4E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1157909f9263f5e0c34ed9ea097a3ea17af6b8","datavalue":{"value":{"entity-type":"item","numeric-id":3983923,"id":"Q3983923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34be0165931cd1d91ff0b9f2a5d429fcc4f1beed","datavalue":{"value":{"amount":"+0.7330718040466309","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":"Q524918$9FFA3289-BD45-482A-825F-CAEE0766D53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1a15300698479eebc6655ce72b2fadf6fb33df","datavalue":{"value":{"entity-type":"item","numeric-id":5854267,"id":"Q5854267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b599055ab400e5696bf5b137030518f2c17ba1a5","datavalue":{"value":{"amount":"+0.7320331931114197","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":"Q524918$2C6244FB-8959-4745-BD42-A9697FB1C71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ff8875694da59a5dccf838e0dd13d8ab40ea12","datavalue":{"value":{"entity-type":"item","numeric-id":6159725,"id":"Q6159725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af169fc2e58881a6a48e803f9629377a5facd88a","datavalue":{"value":{"amount":"+0.7261841893196106","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":"Q524918$6AFE5513-CABE-4664-A28B-FA7AC0F21DFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An analogue of Liouville's theorem and an application to cubic surfaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_analogue_of_Liouville%27s_theorem_and_an_application_to_cubic_surfaces"}}}}}