形式为 𝒪K[γ] ∩K 的环中的密度问题

IF 0.5 3区 数学 Q3 MATHEMATICS International Journal of Number Theory Pub Date : 2024-03-21 DOI:10.1142/s1793042124500581
Deepesh Singhal, Yuxin Lin
{"title":"形式为 𝒪K[γ] ∩K 的环中的密度问题","authors":"Deepesh Singhal, Yuxin Lin","doi":"10.1142/s1793042124500581","DOIUrl":null,"url":null,"abstract":"<p>We fix a number field <span><math altimg=\"eq-00003.gif\" display=\"inline\" overflow=\"scroll\"><mi>K</mi></math></span><span></span> and study statistical properties of the ring <span><math altimg=\"eq-00004.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow><mi mathvariant=\"cal\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\"false\">[</mo><mi>γ</mi><mo stretchy=\"false\">]</mo><mo stretchy=\"false\">∩</mo><mi>K</mi></math></span><span></span> as <span><math altimg=\"eq-00005.gif\" display=\"inline\" overflow=\"scroll\"><mi>γ</mi></math></span><span></span> varies over algebraic numbers of a fixed degree <span><math altimg=\"eq-00006.gif\" display=\"inline\" overflow=\"scroll\"><mi>n</mi><mo>≥</mo><mn>2</mn></math></span><span></span>. Given <span><math altimg=\"eq-00007.gif\" display=\"inline\" overflow=\"scroll\"><mi>k</mi><mo>≥</mo><mn>1</mn></math></span><span></span>, we explicitly compute the density of <span><math altimg=\"eq-00008.gif\" display=\"inline\" overflow=\"scroll\"><mi>γ</mi></math></span><span></span> for which <span><math altimg=\"eq-00009.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow><mi mathvariant=\"cal\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\"false\">[</mo><mi>γ</mi><mo stretchy=\"false\">]</mo><mo stretchy=\"false\">∩</mo><mi>K</mi><mo>=</mo><msub><mrow><mi mathvariant=\"cal\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\"false\">[</mo><mn>1</mn><mo stretchy=\"false\">/</mo><mi>k</mi><mo stretchy=\"false\">]</mo></math></span><span></span> and show that this does not depend on the number field <span><math altimg=\"eq-00010.gif\" display=\"inline\" overflow=\"scroll\"><mi>K</mi></math></span><span></span>. In particular, we show that the density of <span><math altimg=\"eq-00011.gif\" display=\"inline\" overflow=\"scroll\"><mi>γ</mi></math></span><span></span> for which <span><math altimg=\"eq-00012.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow><mi mathvariant=\"cal\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\"false\">[</mo><mi>γ</mi><mo stretchy=\"false\">]</mo><mo stretchy=\"false\">∩</mo><mi>K</mi><mo>=</mo><msub><mrow><mi mathvariant=\"cal\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub></math></span><span></span> is <span><math altimg=\"eq-00013.gif\" display=\"inline\" overflow=\"scroll\"><mfrac><mrow><mi>ζ</mi><mo stretchy=\"false\">(</mo><mi>n</mi><mo stretchy=\"false\">+</mo><mn>1</mn><mo stretchy=\"false\">)</mo></mrow><mrow><mi>ζ</mi><mo stretchy=\"false\">(</mo><mi>n</mi><mo stretchy=\"false\">)</mo></mrow></mfrac></math></span><span></span>. In a recent paper [Singhal and Lin, Primes in denominators of algebraic numbers, <i>Int. J. Number Theory</i> (2023), doi:10.1142/S1793042124500167], the authors define <span><math altimg=\"eq-00014.gif\" display=\"inline\" overflow=\"scroll\"><mi>X</mi><mo stretchy=\"false\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\"false\">)</mo></math></span><span></span> to be a certain finite subset of <span><math altimg=\"eq-00015.gif\" display=\"inline\" overflow=\"scroll\"><mstyle><mtext>Spec</mtext></mstyle><mo stretchy=\"false\">(</mo><msub><mrow><mi mathvariant=\"cal\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\"false\">)</mo></math></span><span></span> and show that <span><math altimg=\"eq-00016.gif\" display=\"inline\" overflow=\"scroll\"><mi>X</mi><mo stretchy=\"false\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\"false\">)</mo></math></span><span></span> determines the ring <span><math altimg=\"eq-00017.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow><mi mathvariant=\"cal\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\"false\">[</mo><mi>γ</mi><mo stretchy=\"false\">]</mo><mo stretchy=\"false\">∩</mo><mi>K</mi></math></span><span></span>. We show that if <span><math altimg=\"eq-00018.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mstyle><mtext>Spec</mtext></mstyle><mo stretchy=\"false\">(</mo><msub><mrow><mi mathvariant=\"cal\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\"false\">)</mo></math></span><span></span> satisfy <span><math altimg=\"eq-00019.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>1</mn></mrow></msub><mo stretchy=\"false\">∩</mo><mi>ℤ</mi><mo>≠</mo><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>2</mn></mrow></msub><mo stretchy=\"false\">∩</mo><mi>ℤ</mi></math></span><span></span>, then the events <span><math altimg=\"eq-00020.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∈</mo><mi>X</mi><mo stretchy=\"false\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\"false\">)</mo></math></span><span></span> and <span><math altimg=\"eq-00021.gif\" display=\"inline\" overflow=\"scroll\"><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mi>X</mi><mo stretchy=\"false\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\"false\">)</mo></math></span><span></span> are independent. As <span><math altimg=\"eq-00022.gif\" display=\"inline\" overflow=\"scroll\"><mi>t</mi><mo>→</mo><mi>∞</mi></math></span><span></span>, we study the asymptotics of the density of <span><math altimg=\"eq-00023.gif\" display=\"inline\" overflow=\"scroll\"><mi>γ</mi></math></span><span></span> for which <span><math altimg=\"eq-00024.gif\" display=\"inline\" overflow=\"scroll\"><mo>|</mo><mi>X</mi><mo stretchy=\"false\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\"false\">)</mo><mo>|</mo><mo>=</mo><mi>t</mi></math></span><span></span>.</p>","PeriodicalId":14293,"journal":{"name":"International Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.5000,"publicationDate":"2024-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Density questions in rings of the form 𝒪K[γ] ∩ K\",\"authors\":\"Deepesh Singhal, Yuxin Lin\",\"doi\":\"10.1142/s1793042124500581\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We fix a number field <span><math altimg=\\\"eq-00003.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>K</mi></math></span><span></span> and study statistical properties of the ring <span><math altimg=\\\"eq-00004.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><msub><mrow><mi mathvariant=\\\"cal\\\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\\\"false\\\">[</mo><mi>γ</mi><mo stretchy=\\\"false\\\">]</mo><mo stretchy=\\\"false\\\">∩</mo><mi>K</mi></math></span><span></span> as <span><math altimg=\\\"eq-00005.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>γ</mi></math></span><span></span> varies over algebraic numbers of a fixed degree <span><math altimg=\\\"eq-00006.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>n</mi><mo>≥</mo><mn>2</mn></math></span><span></span>. Given <span><math altimg=\\\"eq-00007.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>k</mi><mo>≥</mo><mn>1</mn></math></span><span></span>, we explicitly compute the density of <span><math altimg=\\\"eq-00008.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>γ</mi></math></span><span></span> for which <span><math altimg=\\\"eq-00009.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><msub><mrow><mi mathvariant=\\\"cal\\\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\\\"false\\\">[</mo><mi>γ</mi><mo stretchy=\\\"false\\\">]</mo><mo stretchy=\\\"false\\\">∩</mo><mi>K</mi><mo>=</mo><msub><mrow><mi mathvariant=\\\"cal\\\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\\\"false\\\">[</mo><mn>1</mn><mo stretchy=\\\"false\\\">/</mo><mi>k</mi><mo stretchy=\\\"false\\\">]</mo></math></span><span></span> and show that this does not depend on the number field <span><math altimg=\\\"eq-00010.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>K</mi></math></span><span></span>. In particular, we show that the density of <span><math altimg=\\\"eq-00011.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>γ</mi></math></span><span></span> for which <span><math altimg=\\\"eq-00012.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><msub><mrow><mi mathvariant=\\\"cal\\\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\\\"false\\\">[</mo><mi>γ</mi><mo stretchy=\\\"false\\\">]</mo><mo stretchy=\\\"false\\\">∩</mo><mi>K</mi><mo>=</mo><msub><mrow><mi mathvariant=\\\"cal\\\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub></math></span><span></span> is <span><math altimg=\\\"eq-00013.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mfrac><mrow><mi>ζ</mi><mo stretchy=\\\"false\\\">(</mo><mi>n</mi><mo stretchy=\\\"false\\\">+</mo><mn>1</mn><mo stretchy=\\\"false\\\">)</mo></mrow><mrow><mi>ζ</mi><mo stretchy=\\\"false\\\">(</mo><mi>n</mi><mo stretchy=\\\"false\\\">)</mo></mrow></mfrac></math></span><span></span>. In a recent paper [Singhal and Lin, Primes in denominators of algebraic numbers, <i>Int. J. Number Theory</i> (2023), doi:10.1142/S1793042124500167], the authors define <span><math altimg=\\\"eq-00014.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>X</mi><mo stretchy=\\\"false\\\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\\\"false\\\">)</mo></math></span><span></span> to be a certain finite subset of <span><math altimg=\\\"eq-00015.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mstyle><mtext>Spec</mtext></mstyle><mo stretchy=\\\"false\\\">(</mo><msub><mrow><mi mathvariant=\\\"cal\\\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\\\"false\\\">)</mo></math></span><span></span> and show that <span><math altimg=\\\"eq-00016.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>X</mi><mo stretchy=\\\"false\\\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\\\"false\\\">)</mo></math></span><span></span> determines the ring <span><math altimg=\\\"eq-00017.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><msub><mrow><mi mathvariant=\\\"cal\\\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\\\"false\\\">[</mo><mi>γ</mi><mo stretchy=\\\"false\\\">]</mo><mo stretchy=\\\"false\\\">∩</mo><mi>K</mi></math></span><span></span>. We show that if <span><math altimg=\\\"eq-00018.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mstyle><mtext>Spec</mtext></mstyle><mo stretchy=\\\"false\\\">(</mo><msub><mrow><mi mathvariant=\\\"cal\\\">𝒪</mi></mrow><mrow><mi>K</mi></mrow></msub><mo stretchy=\\\"false\\\">)</mo></math></span><span></span> satisfy <span><math altimg=\\\"eq-00019.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>1</mn></mrow></msub><mo stretchy=\\\"false\\\">∩</mo><mi>ℤ</mi><mo>≠</mo><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>2</mn></mrow></msub><mo stretchy=\\\"false\\\">∩</mo><mi>ℤ</mi></math></span><span></span>, then the events <span><math altimg=\\\"eq-00020.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∈</mo><mi>X</mi><mo stretchy=\\\"false\\\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\\\"false\\\">)</mo></math></span><span></span> and <span><math altimg=\\\"eq-00021.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><msub><mrow><mi>𝔭</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><mi>X</mi><mo stretchy=\\\"false\\\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\\\"false\\\">)</mo></math></span><span></span> are independent. As <span><math altimg=\\\"eq-00022.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>t</mi><mo>→</mo><mi>∞</mi></math></span><span></span>, we study the asymptotics of the density of <span><math altimg=\\\"eq-00023.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mi>γ</mi></math></span><span></span> for which <span><math altimg=\\\"eq-00024.gif\\\" display=\\\"inline\\\" overflow=\\\"scroll\\\"><mo>|</mo><mi>X</mi><mo stretchy=\\\"false\\\">(</mo><mi>K</mi><mo>,</mo><mi>γ</mi><mo stretchy=\\\"false\\\">)</mo><mo>|</mo><mo>=</mo><mi>t</mi></math></span><span></span>.</p>\",\"PeriodicalId\":14293,\"journal\":{\"name\":\"International Journal of Number Theory\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2024-03-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Number Theory\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1142/s1793042124500581\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Number Theory","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1142/s1793042124500581","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

摘要

我们固定一个数域 K,研究当 γ 在固定度 n≥2 的代数数上变化时,环 𝒪K[γ]∩K 的统计性质。给定 k≥1,我们明确计算了 γ 的密度,其中 𝒪K[γ]∩K=𝒪K[1/k],并证明它不依赖于数域 K。特别是,我们证明了 γ 的密度,其中 𝒪K[γ]∩K=𝒪K 是 ζ(n+1)ζ(n)。在最近的一篇论文 [Singhal and Lin, Primes in denominators of algebraic numbers, Int.J. Number Theory (2023), doi:10.1142/S1793042124500167] 中,作者定义 X(K,γ) 为 Spec(𝒪K) 的某个有限子集,并证明 X(K,γ) 决定了环𝒪K[γ]∩K。我们证明,如果𝔭1,𝔭2∈Spec(𝒪K)满足𝔭1∩≠𝔭2∩ℤ,那么事件𝔭1∈X(K,γ)和𝔭2∈X(K,γ)是独立的。当 t→∞ 时,我们研究|X(K,γ)|=t 时 γ 密度的渐近线。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Density questions in rings of the form 𝒪K[γ] ∩ K

We fix a number field K and study statistical properties of the ring 𝒪K[γ]K as γ varies over algebraic numbers of a fixed degree n2. Given k1, we explicitly compute the density of γ for which 𝒪K[γ]K=𝒪K[1/k] and show that this does not depend on the number field K. In particular, we show that the density of γ for which 𝒪K[γ]K=𝒪K is ζ(n+1)ζ(n). In a recent paper [Singhal and Lin, Primes in denominators of algebraic numbers, Int. J. Number Theory (2023), doi:10.1142/S1793042124500167], the authors define X(K,γ) to be a certain finite subset of Spec(𝒪K) and show that X(K,γ) determines the ring 𝒪K[γ]K. We show that if 𝔭1,𝔭2Spec(𝒪K) satisfy 𝔭1𝔭2, then the events 𝔭1X(K,γ) and 𝔭2X(K,γ) are independent. As t, we study the asymptotics of the density of γ for which |X(K,γ)|=t.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
1.10
自引率
14.30%
发文量
97
审稿时长
4-8 weeks
期刊介绍: This journal publishes original research papers and review articles on all areas of Number Theory, including elementary number theory, analytic number theory, algebraic number theory, arithmetic algebraic geometry, geometry of numbers, diophantine equations, diophantine approximation, transcendental number theory, probabilistic number theory, modular forms, multiplicative number theory, additive number theory, partitions, and computational number theory.
期刊最新文献
Congruences for partial sums of the generating series for 3kk p-Adic hypergeometric functions and the trace of Frobenius of elliptic curves Translation functors for locally analytic representations On integers of the form p + 2a2 + 2b2 Almost prime triples and Chen's theorem
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1