特征p$ p$的动态丢番图近似指数

IF 0.8 3区 数学 Q2 MATHEMATICS
Wade Hindes
{"title":"特征p$ p$的动态丢番图近似指数","authors":"Wade Hindes","doi":"10.1112/blms.13168","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mrow>\n <mi>ϕ</mi>\n <mo>(</mo>\n <mi>z</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$\\phi (z)$</annotation>\n </semantics></math> be a non-isotrivial rational function in one-variable with coefficients in <span></span><math>\n <semantics>\n <mrow>\n <msub>\n <mover>\n <mi>F</mi>\n <mo>¯</mo>\n </mover>\n <mi>p</mi>\n </msub>\n <mrow>\n <mo>(</mo>\n <mi>t</mi>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\overline{\\mathbb {F}}_p(t)$</annotation>\n </semantics></math> and assume that <span></span><math>\n <semantics>\n <mrow>\n <mi>γ</mi>\n <mo>∈</mo>\n <msup>\n <mi>P</mi>\n <mn>1</mn>\n </msup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mover>\n <mi>F</mi>\n <mo>¯</mo>\n </mover>\n <mi>p</mi>\n </msub>\n <mrow>\n <mo>(</mo>\n <mi>t</mi>\n <mo>)</mo>\n </mrow>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\gamma \\in \\mathbb {P}^1(\\overline{\\mathbb {F}}_p(t))$</annotation>\n </semantics></math> is not a post-critical point for <span></span><math>\n <semantics>\n <mi>ϕ</mi>\n <annotation>$\\phi$</annotation>\n </semantics></math>. Then we prove that the diophantine approximation exponent of elements of <span></span><math>\n <semantics>\n <mrow>\n <msup>\n <mi>ϕ</mi>\n <mrow>\n <mo>−</mo>\n <mi>m</mi>\n </mrow>\n </msup>\n <mrow>\n <mo>(</mo>\n <mi>γ</mi>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\phi ^{-m}(\\gamma)$</annotation>\n </semantics></math> are eventually bounded above by <span></span><math>\n <semantics>\n <mrow>\n <mo>⌈</mo>\n <mo>deg</mo>\n <msup>\n <mrow>\n <mo>(</mo>\n <mi>ϕ</mi>\n <mo>)</mo>\n </mrow>\n <mi>m</mi>\n </msup>\n <mo>/</mo>\n <mn>2</mn>\n <mo>⌉</mo>\n <mo>+</mo>\n <mn>1</mn>\n </mrow>\n <annotation>$\\lceil \\deg (\\phi)^m/2\\rceil +1$</annotation>\n </semantics></math>. To do this, we mix diophantine techniques in characteristic <span></span><math>\n <semantics>\n <mi>p</mi>\n <annotation>$p$</annotation>\n </semantics></math> with the adelic equidistribution of small points in Berkovich space. As an application, we deduce a form of Silverman's celebrated limit theorem in this setting. Namely, if we take any wandering point <span></span><math>\n <semantics>\n <mrow>\n <mi>a</mi>\n <mo>∈</mo>\n <msup>\n <mi>P</mi>\n <mn>1</mn>\n </msup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mover>\n <mi>F</mi>\n <mo>¯</mo>\n </mover>\n <mi>p</mi>\n </msub>\n <mrow>\n <mo>(</mo>\n <mi>t</mi>\n <mo>)</mo>\n </mrow>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$a\\in \\mathbb {P}^1(\\overline{\\mathbb {F}}_p(t))$</annotation>\n </semantics></math> and write <span></span><math>\n <semantics>\n <mrow>\n <msup>\n <mi>ϕ</mi>\n <mi>n</mi>\n </msup>\n <mrow>\n <mo>(</mo>\n <mi>a</mi>\n <mo>)</mo>\n </mrow>\n <mo>=</mo>\n <msub>\n <mi>a</mi>\n <mi>n</mi>\n </msub>\n <mo>/</mo>\n <msub>\n <mi>b</mi>\n <mi>n</mi>\n </msub>\n </mrow>\n <annotation>$\\phi ^n(a)=a_n/b_n$</annotation>\n </semantics></math> for some coprime polynomials <span></span><math>\n <semantics>\n <mrow>\n <msub>\n <mi>a</mi>\n <mi>n</mi>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>b</mi>\n <mi>n</mi>\n </msub>\n <mo>∈</mo>\n <msub>\n <mover>\n <mi>F</mi>\n <mo>¯</mo>\n </mover>\n <mi>p</mi>\n </msub>\n <mrow>\n <mo>[</mo>\n <mi>t</mi>\n <mo>]</mo>\n </mrow>\n </mrow>\n <annotation>$a_n,b_n\\in \\overline{\\mathbb {F}}_p[t]$</annotation>\n </semantics></math>, then we prove that\n\n </p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"56 12","pages":"3801-3818"},"PeriodicalIF":0.8000,"publicationDate":"2024-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13168","citationCount":"0","resultStr":"{\"title\":\"Dynamical diophantine approximation exponents in characteristic \\n \\n p\\n $p$\",\"authors\":\"Wade Hindes\",\"doi\":\"10.1112/blms.13168\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>ϕ</mi>\\n <mo>(</mo>\\n <mi>z</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$\\\\phi (z)$</annotation>\\n </semantics></math> be a non-isotrivial rational function in one-variable with coefficients in <span></span><math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mover>\\n <mi>F</mi>\\n <mo>¯</mo>\\n </mover>\\n <mi>p</mi>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <mi>t</mi>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\overline{\\\\mathbb {F}}_p(t)$</annotation>\\n </semantics></math> and assume that <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>γ</mi>\\n <mo>∈</mo>\\n <msup>\\n <mi>P</mi>\\n <mn>1</mn>\\n </msup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mover>\\n <mi>F</mi>\\n <mo>¯</mo>\\n </mover>\\n <mi>p</mi>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <mi>t</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\gamma \\\\in \\\\mathbb {P}^1(\\\\overline{\\\\mathbb {F}}_p(t))$</annotation>\\n </semantics></math> is not a post-critical point for <span></span><math>\\n <semantics>\\n <mi>ϕ</mi>\\n <annotation>$\\\\phi$</annotation>\\n </semantics></math>. Then we prove that the diophantine approximation exponent of elements of <span></span><math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mi>ϕ</mi>\\n <mrow>\\n <mo>−</mo>\\n <mi>m</mi>\\n </mrow>\\n </msup>\\n <mrow>\\n <mo>(</mo>\\n <mi>γ</mi>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\phi ^{-m}(\\\\gamma)$</annotation>\\n </semantics></math> are eventually bounded above by <span></span><math>\\n <semantics>\\n <mrow>\\n <mo>⌈</mo>\\n <mo>deg</mo>\\n <msup>\\n <mrow>\\n <mo>(</mo>\\n <mi>ϕ</mi>\\n <mo>)</mo>\\n </mrow>\\n <mi>m</mi>\\n </msup>\\n <mo>/</mo>\\n <mn>2</mn>\\n <mo>⌉</mo>\\n <mo>+</mo>\\n <mn>1</mn>\\n </mrow>\\n <annotation>$\\\\lceil \\\\deg (\\\\phi)^m/2\\\\rceil +1$</annotation>\\n </semantics></math>. To do this, we mix diophantine techniques in characteristic <span></span><math>\\n <semantics>\\n <mi>p</mi>\\n <annotation>$p$</annotation>\\n </semantics></math> with the adelic equidistribution of small points in Berkovich space. As an application, we deduce a form of Silverman's celebrated limit theorem in this setting. Namely, if we take any wandering point <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>a</mi>\\n <mo>∈</mo>\\n <msup>\\n <mi>P</mi>\\n <mn>1</mn>\\n </msup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mover>\\n <mi>F</mi>\\n <mo>¯</mo>\\n </mover>\\n <mi>p</mi>\\n </msub>\\n <mrow>\\n <mo>(</mo>\\n <mi>t</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$a\\\\in \\\\mathbb {P}^1(\\\\overline{\\\\mathbb {F}}_p(t))$</annotation>\\n </semantics></math> and write <span></span><math>\\n <semantics>\\n <mrow>\\n <msup>\\n <mi>ϕ</mi>\\n <mi>n</mi>\\n </msup>\\n <mrow>\\n <mo>(</mo>\\n <mi>a</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>=</mo>\\n <msub>\\n <mi>a</mi>\\n <mi>n</mi>\\n </msub>\\n <mo>/</mo>\\n <msub>\\n <mi>b</mi>\\n <mi>n</mi>\\n </msub>\\n </mrow>\\n <annotation>$\\\\phi ^n(a)=a_n/b_n$</annotation>\\n </semantics></math> for some coprime polynomials <span></span><math>\\n <semantics>\\n <mrow>\\n <msub>\\n <mi>a</mi>\\n <mi>n</mi>\\n </msub>\\n <mo>,</mo>\\n <msub>\\n <mi>b</mi>\\n <mi>n</mi>\\n </msub>\\n <mo>∈</mo>\\n <msub>\\n <mover>\\n <mi>F</mi>\\n <mo>¯</mo>\\n </mover>\\n <mi>p</mi>\\n </msub>\\n <mrow>\\n <mo>[</mo>\\n <mi>t</mi>\\n <mo>]</mo>\\n </mrow>\\n </mrow>\\n <annotation>$a_n,b_n\\\\in \\\\overline{\\\\mathbb {F}}_p[t]$</annotation>\\n </semantics></math>, then we prove that\\n\\n </p>\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"56 12\",\"pages\":\"3801-3818\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-10-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13168\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/blms.13168\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/blms.13168","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

摘要

设φ (z) $\phi (z)$为系数为F¯p的单变量非等平凡有理函数(t) $\overline{\mathbb {F}}_p(t)$,假设γ∈p1 (F¯p (t)) $\gamma \in \mathbb {P}^1(\overline{\mathbb {F}}_p(t))$不是φ $\phi$的后临界点。然后我们证明了φ - m (γ) $\phi ^{-m}(\gamma)$的元素的丢芬图近似指数最终在上有界≤φ≤m / 2≤+ 1 $\lceil \deg (\phi)^m/2\rceil +1$。为此,我们将特征p $p$中的丢芬图技术与Berkovich空间中小点的adelic等分布相结合。作为应用,我们在这种情况下推导出了著名的西尔弗曼极限定理的一种形式。即,如果取任意游走点a∈p1 (F¯P ()T)) $a\in \mathbb {P}^1(\overline{\mathbb {F}}_p(t))$,写φ n (a) =A n / b n $\phi ^n(a)=a_n/b_n$对于一些素数多项式A n,b n∈F¯p [t] $a_n,b_n\in \overline{\mathbb {F}}_p[t]$,则证明
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Dynamical diophantine approximation exponents in characteristic p $p$

Let ϕ ( z ) $\phi (z)$ be a non-isotrivial rational function in one-variable with coefficients in F ¯ p ( t ) $\overline{\mathbb {F}}_p(t)$ and assume that γ P 1 ( F ¯ p ( t ) ) $\gamma \in \mathbb {P}^1(\overline{\mathbb {F}}_p(t))$ is not a post-critical point for ϕ $\phi$ . Then we prove that the diophantine approximation exponent of elements of ϕ m ( γ ) $\phi ^{-m}(\gamma)$ are eventually bounded above by deg ( ϕ ) m / 2 + 1 $\lceil \deg (\phi)^m/2\rceil +1$ . To do this, we mix diophantine techniques in characteristic p $p$ with the adelic equidistribution of small points in Berkovich space. As an application, we deduce a form of Silverman's celebrated limit theorem in this setting. Namely, if we take any wandering point a P 1 ( F ¯ p ( t ) ) $a\in \mathbb {P}^1(\overline{\mathbb {F}}_p(t))$ and write ϕ n ( a ) = a n / b n $\phi ^n(a)=a_n/b_n$ for some coprime polynomials a n , b n F ¯ p [ t ] $a_n,b_n\in \overline{\mathbb {F}}_p[t]$ , then we prove that

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
1.90
自引率
0.00%
发文量
198
审稿时长
4-8 weeks
期刊介绍: Published by Oxford University Press prior to January 2017: http://blms.oxfordjournals.org/
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信