{"entities":{"Q7022014":{"pageid":21634983,"ns":120,"title":"Item:Q7022014","lastrevid":77549960,"modified":"2026-05-05T08:32:07Z","type":"item","id":"Q7022014","labels":{"en":{"language":"en","value":"A relative bigness inequality and equidistribution theorem over function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7989634"}},"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":"Q7022014$F6A964E1-F895-4F07-B13E-E785D1EAD735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6e1f37fb87594420b2c1bbdad477a77a3ae9ee0","datavalue":{"value":{"text":"A relative bigness inequality and equidistribution theorem over function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7022014$58A3E3DD-B8EE-4BB8-B987-4DE56CDBBBEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"002ef62ceedfb21d1cc23a010e2b55c7f9b36ad4","datavalue":{"value":"10.1142/S1793042125500241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7022014$40D05599-B66D-4DE5-AD97-9FE5222AC3F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcdf8c88a34f3c6ef421f734aeb28fc42d14d453","datavalue":{"value":{"entity-type":"item","numeric-id":970956,"id":"Q970956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$92EA2F97-13BE-4F21-8704-D7D078F27341","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a035c107b10f77b626decca899281cb6367c70f2","datavalue":{"value":{"entity-type":"item","numeric-id":2789365,"id":"Q2789365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$41C2C70D-95C9-40B7-852D-8BCC4B3EFC38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f9f5f0e3b92d6349700a438793d09e9caccdf0f","datavalue":{"value":{"time":"+2025-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7022014$EE91B584-B913-4C1B-919B-8E0FBEE82C08","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15f024be5e280576c5ba921c92dfd21c99707856","datavalue":{"value":"The paper under review is an extended version of author's Ph.D. Thesis, written under A. Moriwaki.\\NLet $k$ be a field of characteristic $0$, $Y$ be a projective and normal $k$-variety  of dimension $e > 0$, $Y^{(1)}$ be the set of points of codimension $1$ with points $\\omega \\in Y^{(1)}$  and $K$ be the function field $k(Y)$ of the variety $Y$.\\NFor a projective $K$-variety $X$ of dimension $d > 0$ , there exists a $Y$-model $\\mathcal X$ of $X$ if there exists  a surjective and projective morphism $\\pi: {\\mathcal X} \\to Y$ of $k$-varieties such that ${\\mathcal X}_K = X$, where ${\\mathcal X}_K$ is the generic fiber of ${\\mathcal X}$.\\NLet $X_{\\omega}^{an}$ be the analytification of $X$ by \\textit{V. G. Berkovich} [Spectral theory and analytic geometry over non-Archimedean fields. Providence, RI: American Mathematical Society (1990; Zbl 0715.14013)].\\N\\NThe main results of the paper under review are the relative arithmetic bigness inequality and the proof of the theorem on the equidistribution of subvarieties based on a partial case of  this inequality.  \\N\\NTheorem 6.3 (relative bigness inequality). Assume that $d > 0$. Let ${\\mathcal E}, {\\mathcal L}, {\\mathcal M}$, be line bundles over ${\\mathcal X}$.\\NIf ${\\mathcal L}$ and ${\\mathcal M}$ are nef (numerically effective), then it holds that \\N\\[\\N\\deg_{\\mathcal H}(\\pi_*({\\mathcal E}\\otimes({\\mathcal L}\\otimes{\\mathcal M}^{\\vee})^{{\\otimes}n})) \\\\ \\ge \\frac{c_1({\\mathcal L})^{d+1}\\cdot{\\pi}^*({\\mathcal H}) - (d+1)c_1({\\mathcal L})^dc_1({\\mathcal M})\\cdot{\\pi}^*({\\mathcal H})}{(d+1)!} n^{d+1} + o(n^{d+1}).\\N\\]\\NThe arithmetic bigness has been introduced in the works by \\textit{A. Moriwaki} [Invent. Math. 140, No. 1, 101--142 (2000; Zbl 1007.11042)] and by \\textit{X. Yuan} [Invent. Math. 173, No. 3, 603--649 (2008; Zbl 1146.14016)].\\N\\NThe author's next main result concerns the situation when the variety $Y$ is a projective regular curve over $k$.\\NHe uses the concept of equidistribution of subvarieties over function fields proposed by \\textit{X. W. C. Faber} [Acta Arith. 137, No. 4, 345--389 (2009; Zbl 1234.37058)].\\N\\NLet $L$ be a line bundle on $X$.\\NA net of subvarieties of $X$ consists of an infinite directed set $I$ and a family $\\{Z_{\\iota}\\}_{{\\iota} \\in I}$ of closed  subvariety $Z_{\\iota} \\subset X$ (for each ${\\iota} \\in I$).\\NA net $\\{Z_{\\iota}\\}_{{\\iota} \\in I}$ is small if the heights $h_{{\\overline L}}(Z_{\\iota})$ converge to $0$.\\NBy Yuan [loc. cit.]  a sequence $\\{x_m\\}_{m \\ge 1}$ of algebraic points is generic if no infinite subsequence of $\\{x_m\\}$ is contained in a proper closed subvariety of ${\\mathbb P}^n$.\\NBy the author of the paper under review a net $\\{Z_{\\iota}\\}_{{\\iota} \\in I}$ is generic if for any proper closed subset $Z \\subset X$, there exists an $\\iota_0$ such that $Z_{\\iota} \\not\\subset Z$ for any $\\iota > \\iota_0$.\\NThe author defines the measure ${\\hat c}_1({\\overline L})^d_{\\omega}$ by \\textit{A. Chambert-Loir} [J. Reine Angew. Math. 595, 215--235 (2006; Zbl 1112.14022)] and normalizes it to the probability measure $\\mu_{{\\overline L}, {\\omega}}$ on $X$ (to ${\\mu}_{{\\overline L},Z_{\\iota},\\omega}$ on $Z_{\\iota}$).\\N\\NTheorem 7.2 (equidistribution of subvarieties).\\NLet ${\\overline L}$ be an adelic line bundle such that $L$ is ample and ${\\hat c}_1({\\overline L})^{d+1} = 0$.\\N Moreover, there exists a sequence of triples $\\{ (\\pi_i: {\\mathcal X}_i \\to Y_i, {\\mathcal  L}_i, l_i)\\}_{i \\in {\\mathbb N}_+}$ such that\\N\\N(a) Each $({\\mathcal X}_i, {\\mathcal  L}_i)$ is a $Y$-model of $(X, L^{{\\otimes}l_i})$, and ${\\mathcal  L}_i$ is nef.\\N\\N(b) Let ${\\overline L_i := (L, \\{|\\cdot|_{{\\mathcal  L}_i,{\\omega}}^{1/l_i}\\})}$. Then $\\lim_{n\\to+{\\infty}}d({\\overline L}_i,{\\overline L})=0$.\\N\\NLet $\\{Z_{\\iota}\\}_{{\\iota} \\in I}$  be a generic net of subvarieties of $X$ such that $\\lim_{{\\iota} \\in I} h_{\\overline L}(Z_{\\iota}) = 0$.\\NThen $\\{Z_{\\iota}\\}$ is equidistributed with respect to ${\\overline L}$.\\N\\NIn terms of measures, the equidistribution of $\\{Z_{\\iota}\\}$ means that $\\int_{X_{\\omega}^{an}} f \\mu_{{\\overline L},{\\omega}} = \\lim_{{\\iota} \\in I} \\int_{X_{\\omega}^{an}} f {\\mu}_{{\\overline L},Z_{\\iota},\\omega}$ for any continuous function $f: X_{\\omega}^{an} \\to {\\mathbb R}$.\\N\\NPreviously, \\textit{W. Gubler} [Manuscr. Math. 127, No. 4, 485--510 (2008; Zbl 1189.14030)] and Faber [loc. cit.] have developed another approaches to equidistribution over function fields.\\NThe author uses various models, methods and techniques of algebraic and arithmetic geometry, including: adeles over function fields, (dynamical) height functions, Arakelov intersection theory, elements of Measure Theory. \\NThere is a bibliography of 25 items.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7022014$89377EF7-59A1-4D7E-820B-F8C36950090B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"52f565f76dd50c900ee3f4910c61f5ad5195fc43","datavalue":{"value":{"entity-type":"item","numeric-id":590501,"id":"Q590501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$12D12310-5347-43F8-89A5-44E5C3AC1C6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7022014$42544FA3-2197-4450-939E-B196A97DEDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f2ba339291ddffcf124b46732db121bed6898684","datavalue":{"value":"14G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7022014$F6A2AA86-5855-45FE-88BB-B2E38890F6D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d028ba4449247d13225d460e5fa6861da3247af6","datavalue":{"value":"7989634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7022014$64BE6CFC-2237-43BB-B93D-9BF022E4FA03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q7022014$7E9BA5DB-311F-42C7-B3A0-29443A258F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d189d206d65757fc25e51c74c89670dcf24e61","datavalue":{"value":"intersection theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7022014$AFCC88E5-8C9D-48B6-BE79-D2556CF23096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d0de5e94738d75b411d009ed3d9de77b14929f","datavalue":{"value":"relative bigness","type":"string"},"datatype":"string"},"type":"statement","id":"Q7022014$0F218F57-1735-4D80-9928-43C447FA596F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58fd5898173974b2d9bfabbb2e65556fef34bdf4","datavalue":{"value":"equidistribution theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q7022014$00A5DCC9-05E8-4078-B201-08E929DF6A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21c83c5285e4fcffcf0a572f5d6cd453eed7578c","datavalue":{"value":"non-archimedean dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7022014$8056C4AC-D850-41B8-8291-135496B85ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fa4c384e63aa0eb2e35876b584c9133050ad58","datavalue":{"value":"arithmetic dynamics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7022014$168C6A36-1E2D-4A09-A9D4-E4C2D6BC9ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c146964c7c356a84788056f38f78d43c9c32ae58","datavalue":{"value":"Berkovich geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q7022014$182DD82C-73D9-47B5-BBF9-C56AEB0C51EC","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":"Q7022014$23B9E43F-FABB-4BF7-BC56-0E2059D5731E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1913a282ede45eaf7224a6bb1db75dec9cd782e7","datavalue":{"value":{"entity-type":"item","numeric-id":3998951,"id":"Q3998951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$6672C484-D903-4299-BE95-F9845D7ECB71","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":"Q7022014$85704955-0C7C-4E1A-AEDE-00DF88B1BA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243c87d116e238012aa16c0e4eaecb936be10a69","datavalue":{"value":{"entity-type":"item","numeric-id":1318061,"id":"Q1318061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$1B07EA06-A7AB-486B-89DD-22AC616C1A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66bda7db8f2d3b964912603f272bb31bd0f24e3","datavalue":{"value":{"entity-type":"item","numeric-id":2219321,"id":"Q2219321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$AF0C0275-0C3B-4930-9820-F6F5535FFCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8185267e3557677fa5b31daab44ba9fab0a1fa53","datavalue":{"value":{"entity-type":"item","numeric-id":5479408,"id":"Q5479408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$5BF9B5EF-9492-4BC6-9457-FBABD1E18801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7527223940293e2365ad8462d3de6b488022d7","datavalue":{"value":{"entity-type":"item","numeric-id":5208001,"id":"Q5208001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$35B6C94A-B7F8-4062-ACD8-7D508A0910C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59a70e4b5df508e81a44a3cf33abf4ef77b4ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1288645,"id":"Q1288645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$368C7209-3877-442C-9409-B1DB6443F708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2936a16eeb4e8b286db5620dd49c7bbe7258d82","datavalue":{"value":{"entity-type":"item","numeric-id":3625128,"id":"Q3625128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$4A6923DA-019A-420F-9C30-0AF2577FF2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e7b23feaf6acb5a31fcb00ed4b7c2198f421fc","datavalue":{"value":{"entity-type":"item","numeric-id":4342000,"id":"Q4342000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$8214AC5E-8CA6-40A0-9FD3-B4A6F2A4EFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550ca19e892a7f74def255c8e4b77ec452aaa675","datavalue":{"value":{"entity-type":"item","numeric-id":3842580,"id":"Q3842580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$0AFB8CC8-BCA8-4984-AFFD-2923164E7A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4639cca3670f6c0f733031ec1debedd26d5f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3395649,"id":"Q3395649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$90DC4CD7-ADC4-4356-A7EB-A727B853C348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4b491a037aec3e4aa51d969f55a9cd62a747d0","datavalue":{"value":{"entity-type":"item","numeric-id":1003139,"id":"Q1003139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$CCEC639D-F13A-49F4-AF07-0D02C439FDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6465ac82105b7c10ea08600de70c23ec02d6a719","datavalue":{"value":{"entity-type":"item","numeric-id":3579591,"id":"Q3579591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$ECDCD0C8-A01D-4092-97B7-892A0CEE5D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ffa24d50b04432ae0e2f7c84ce36d371664cba","datavalue":{"value":{"entity-type":"item","numeric-id":4650505,"id":"Q4650505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$07360EB0-39E7-45C9-B574-FAA44C37B8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a959948b7c7ff62338f63a549556a34db2f8edd1","datavalue":{"value":{"entity-type":"item","numeric-id":4530238,"id":"Q4530238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$0FF3BE40-AEF5-4ED7-A825-5704B300F5D2","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":"Q7022014$139CEB2E-33F6-4D7F-B18E-42E2090E4373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55cf0c951d195cdbb24b41dfc54be845a7f22ee0","datavalue":{"value":{"entity-type":"item","numeric-id":952173,"id":"Q952173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$AE803EBF-21CF-4B2A-A7EC-79F8A0FD373B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ef8f9c394aaf7c2711ace00079f30628ad992d","datavalue":{"value":{"entity-type":"item","numeric-id":5365186,"id":"Q5365186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$46F2EEB6-2959-4804-B984-928EF6C922AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122ced5c69112b401bb91144db0b5dc5de6fb711","datavalue":{"value":{"entity-type":"item","numeric-id":1359224,"id":"Q1359224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$B9649734-50A5-4845-8B71-3F45BE5FE438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79068800930086e83962e1af2a22e281a75b3640","datavalue":{"value":{"entity-type":"item","numeric-id":1130228,"id":"Q1130228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$1B87283E-AEAC-4F83-87BB-0BD6715BB63E","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":"Q7022014$CA4ECB72-8807-45F9-AA6B-2F79B8742FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad959bdf0f8f1acd6271019ebf7d17b446f85b6","datavalue":{"value":{"entity-type":"item","numeric-id":1130227,"id":"Q1130227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7022014$537840FD-C666-431C-8E4A-15DEC3286143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A relative bigness inequality and equidistribution theorem over function fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_relative_bigness_inequality_and_equidistribution_theorem_over_function_fields"}}}}}