Pub Date : 2024-07-17DOI: 10.1016/j.jnt.2024.06.013
Let L be a lattice. We exhibit algorithms for calculating Tits buildings and orbits of vectors in L for certain subgroups of the orthogonal group . We discuss how these algorithms can be applied to determine the configuration of boundary components in the Baily-Borel compactification of orthogonal modular varieties and to improve the performance of computer arithmetic of orthogonal modular forms.
{"title":"Orbits in lattices","authors":"","doi":"10.1016/j.jnt.2024.06.013","DOIUrl":"10.1016/j.jnt.2024.06.013","url":null,"abstract":"<div><p>Let <em>L</em> be a lattice. We exhibit algorithms for calculating Tits buildings and orbits of vectors in <em>L</em> for certain subgroups of the orthogonal group <span><math><mi>O</mi><mo>(</mo><mi>L</mi><mo>)</mo></math></span>. We discuss how these algorithms can be applied to determine the configuration of boundary components in the Baily-Borel compactification of orthogonal modular varieties and to improve the performance of computer arithmetic of orthogonal modular forms.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141786072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-17DOI: 10.1016/j.jnt.2024.06.004
We prove a conjecture of B. Gross and D. Prasad about determination of generic L-packets in terms of the analytic properties of the adjoint L-function for p-adic general even spin groups of semi-simple ranks 2 and 3. We also explicitly write the adjoint L-function for each L-packet in terms of the local Langlands L-functions for the general linear groups.
{"title":"Representations of the p-adic GSpin4 and GSpin6 and the adjoint L-function","authors":"","doi":"10.1016/j.jnt.2024.06.004","DOIUrl":"10.1016/j.jnt.2024.06.004","url":null,"abstract":"<div><p>We prove a conjecture of B. Gross and D. Prasad about determination of generic <em>L</em>-packets in terms of the analytic properties of the adjoint <em>L</em>-function for <em>p</em>-adic general even spin groups of semi-simple ranks 2 and 3. We also explicitly write the adjoint <em>L</em>-function for each <em>L</em>-packet in terms of the local Langlands <em>L</em>-functions for the general linear groups.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141780543","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-27DOI: 10.1016/j.jnt.2024.05.015
Ziyang Gao, Philipp Habegger
Recent developments on the uniformity of the number of rational points on curves and subvarieties in a moving abelian variety rely on the geometric concept of the degeneracy locus. The first-named author investigated the degeneracy locus in certain mixed Shimura varieties. In this expository note we revisit some of these results while minimizing the use of mixed Shimura varieties while working in a family of principally polarized abelian varieties. We also explain their relevance for applications in diophantine geometry.
{"title":"Degeneracy loci in the universal family of Abelian varieties","authors":"Ziyang Gao, Philipp Habegger","doi":"10.1016/j.jnt.2024.05.015","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.05.015","url":null,"abstract":"Recent developments on the uniformity of the number of rational points on curves and subvarieties in a moving abelian variety rely on the geometric concept of the degeneracy locus. The first-named author investigated the degeneracy locus in certain mixed Shimura varieties. In this expository note we revisit some of these results while minimizing the use of mixed Shimura varieties while working in a family of principally polarized abelian varieties. We also explain their relevance for applications in diophantine geometry.","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507452","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-26DOI: 10.1016/j.jnt.2024.05.005
Xinyu Fang , Steven J. Miller , Maxwell Sun , Amanda Verga
Benford's law is a statement about the frequency that each digit arises as the leading digit of numbers in a dataset. It is satisfied by various common integer sequences, such as the Fibonacci numbers, the factorials, and the powers of most integers. In this paper, we prove that integer sequences resulting from a random integral decomposition process (which we model as discrete “stick breaking”) subject to a certain congruence stopping condition approach Benford distribution asymptotically. We also show that our requirement on the number of congruence classes defining the congruence stopping condition is necessary for Benford behavior to occur and is a critical point; deviation from that would result in drastically different behavior.
{"title":"Benford's law and random integer decomposition with congruence stopping condition","authors":"Xinyu Fang , Steven J. Miller , Maxwell Sun , Amanda Verga","doi":"10.1016/j.jnt.2024.05.005","DOIUrl":"10.1016/j.jnt.2024.05.005","url":null,"abstract":"<div><p>Benford's law is a statement about the frequency that each digit arises as the leading digit of numbers in a dataset. It is satisfied by various common integer sequences, such as the Fibonacci numbers, the factorials, and the powers of most integers. In this paper, we prove that integer sequences resulting from a random integral decomposition process (which we model as discrete “stick breaking”) subject to a certain congruence stopping condition approach Benford distribution asymptotically. We also show that our requirement on the number of congruence classes defining the congruence stopping condition is necessary for Benford behavior to occur and is a critical point; deviation from that would result in drastically different behavior.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507453","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-26DOI: 10.1016/j.jnt.2024.05.010
Roberto Alvarenga , Nans Bonnel
In this article we investigate the action of (ramified and unramified) Hecke operators on automorphic forms for the function field of the projective line defined over and for the group . We first compute the dimension of the Hecke eigenspaces for every generator of the unramified Hecke algebra. Thus, we consider the ramification in a point of degree one and explicitly describe the action of certain ramified Hecke operators on automorphic forms. Moreover, we also compute the dimensions of its eigenspaces for those ramified Hecke operators. We finish the article considering more general ramifications, namely those one attached to a closed point of higher degree.
{"title":"Hecke eigenspaces for the projective line","authors":"Roberto Alvarenga , Nans Bonnel","doi":"10.1016/j.jnt.2024.05.010","DOIUrl":"10.1016/j.jnt.2024.05.010","url":null,"abstract":"<div><p>In this article we investigate the action of (ramified and unramified) Hecke operators on automorphic forms for the function field of the projective line defined over <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span> and for the group <span><math><msub><mrow><mi>GL</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>. We first compute the dimension of the Hecke eigenspaces for every generator of the unramified Hecke algebra. Thus, we consider the ramification in a point of degree one and explicitly describe the action of certain ramified Hecke operators on automorphic forms. Moreover, we also compute the dimensions of its eigenspaces for those ramified Hecke operators. We finish the article considering more general ramifications, namely those one attached to a closed point of higher degree.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507455","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-26DOI: 10.1016/j.jnt.2024.05.013
Bruno Chiarellotto , Nicola Mazzari , Yukihide Nakada
A conjecture recently stated by Flach and Morin relates the action of the monodromy on the Galois invariant part of the p-adic Beilinson–Hyodo–Kato cohomology of the generic fiber of a scheme defined over a DVR of mixed characteristic to (the cohomology of) its special fiber. We prove the conjecture in the case that the special fiber of the given arithmetic scheme is also a fiber of a geometric family over a curve in positive characteristic.
{"title":"A conjecture of Flach and Morin","authors":"Bruno Chiarellotto , Nicola Mazzari , Yukihide Nakada","doi":"10.1016/j.jnt.2024.05.013","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.05.013","url":null,"abstract":"<div><p>A conjecture recently stated by Flach and Morin relates the action of the monodromy on the Galois invariant part of the <em>p</em>-adic Beilinson–Hyodo–Kato cohomology of the generic fiber of a scheme defined over a DVR of mixed characteristic to (the cohomology of) its special fiber. We prove the conjecture in the case that the special fiber of the given arithmetic scheme is also a fiber of a geometric family over a curve in positive characteristic.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141484692","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-25DOI: 10.1016/j.jnt.2024.05.004
Haowen Zhang
Over function fields of p-adic curves, we construct stably rational varieties in the form of homogeneous spaces of with semisimple simply connected stabilizers and we show that strong approximation away from a non-empty set of places fails for such varieties. The construction combines the Lichtenbaum duality and the degree 3 cohomological invariants of the stabilizers. We then establish a reciprocity obstruction which accounts for this failure of strong approximation. We show that this reciprocity obstruction to strong approximation is the only one for counterexamples we constructed, and also for classifying varieties of tori. We also show that this reciprocity obstruction to strong approximation is compatible with known results for tori. At the end, we explain how a similar point of view shows that the reciprocity obstruction to weak approximation is the only one for classifying varieties of tori over p-adic function fields.
在-adic 曲线的函数域上,我们以半简单简单连接稳定器的均质空间的形式构造了稳定有理变种,并证明了对于这类变种,从非空位集出发的强逼近是失败的。这一构造结合了利希滕鲍姆对偶性和稳定子的 3 级同调不变式。然后,我们建立了一个互易障碍来解释强近似的失败。我们证明,这个强近似的互易性障碍是我们构造的反例以及环的分类变体的唯一障碍。我们还证明,强近似的互易性障碍与已知的环状结果是一致的。最后,我们将解释如何从类似的角度说明,弱逼近的互易性障碍是对-二次函数域上的 tori varieties 进行分类的唯一障碍。
{"title":"Reciprocity obstruction to strong approximation over p-adic function fields","authors":"Haowen Zhang","doi":"10.1016/j.jnt.2024.05.004","DOIUrl":"10.1016/j.jnt.2024.05.004","url":null,"abstract":"<div><p>Over function fields of <em>p</em>-adic curves, we construct stably rational varieties in the form of homogeneous spaces of <span><math><msub><mrow><mi>SL</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> with semisimple simply connected stabilizers and we show that strong approximation away from a non-empty set of places fails for such varieties. The construction combines the Lichtenbaum duality and the degree 3 cohomological invariants of the stabilizers. We then establish a reciprocity obstruction which accounts for this failure of strong approximation. We show that this reciprocity obstruction to strong approximation is the only one for counterexamples we constructed, and also for classifying varieties of tori. We also show that this reciprocity obstruction to strong approximation is compatible with known results for tori. At the end, we explain how a similar point of view shows that the reciprocity obstruction to weak approximation is the only one for classifying varieties of tori over <em>p</em>-adic function fields.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24001331/pdfft?md5=cac87e78166d928ce995f053684adbf1&pid=1-s2.0-S0022314X24001331-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141529654","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-25DOI: 10.1016/j.jnt.2024.05.012
Jyoti Prakash Saha, Aniruddha Sudarshan
In this article, we prove that for a convergent sequence of residually absolutely irreducible representations of the absolute Galois group of a number field F with coefficients in a domain, which admits a finite monomorphism from a power series ring over a p-adic integer ring, the set of places of F where some of the representations ramifies has density zero. Using this, we extend a result of Das–Rajan to such convergent sequences. We also establish a strong multiplicity one theorem for big Galois representations.
{"title":"On some local properties of sequences of big Galois representations","authors":"Jyoti Prakash Saha, Aniruddha Sudarshan","doi":"10.1016/j.jnt.2024.05.012","DOIUrl":"10.1016/j.jnt.2024.05.012","url":null,"abstract":"<div><p>In this article, we prove that for a convergent sequence of residually absolutely irreducible representations of the absolute Galois group of a number field <em>F</em> with coefficients in a domain, which admits a finite monomorphism from a power series ring over a <em>p</em>-adic integer ring, the set of places of <em>F</em> where some of the representations ramifies has density zero. Using this, we extend a result of Das–Rajan to such convergent sequences. We also establish a strong multiplicity one theorem for big Galois representations.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507456","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-25DOI: 10.1016/j.jnt.2024.06.001
Ananth N. Shankar, Yunqing Tang
{"title":"Reductions of abelian varieties and K3 surfaces","authors":"Ananth N. Shankar, Yunqing Tang","doi":"10.1016/j.jnt.2024.06.001","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.06.001","url":null,"abstract":"","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507462","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-06-25DOI: 10.1016/j.jnt.2024.05.009
Yanqiu Guo, Michael Ilyin
This paper is inspired by Richards' work on large gaps between sums of two squares [10]. It is shown in [10] that there exist arbitrarily large values of λ and μ, where , such that intervals do not contain any sums of two squares. Geometrically, these gaps between sums of two squares correspond to annuli in that do not contain any integer lattice points. A major objective of this paper is to investigate the sparse distribution of integer lattice points within annular regions in . Specifically, we establish the existence of annuli with arbitrarily large λ and for , satisfying that any two integer lattice points within any one of these annuli must be sufficiently far apart. This result is sharp, as such a property ceases to hold at and beyond the threshold . Furthermore, we extend our analysis to include the sparse distribution of lattice points in spherical shells in .
{"title":"Sparse distribution of lattice points in annular regions","authors":"Yanqiu Guo, Michael Ilyin","doi":"10.1016/j.jnt.2024.05.009","DOIUrl":"10.1016/j.jnt.2024.05.009","url":null,"abstract":"<div><p>This paper is inspired by Richards' work on large gaps between sums of two squares <span>[10]</span>. It is shown in <span>[10]</span> that there exist arbitrarily large values of <em>λ</em> and <em>μ</em>, where <span><math><mi>μ</mi><mo>≥</mo><mi>C</mi><mi>log</mi><mo></mo><mi>λ</mi></math></span>, such that intervals <span><math><mo>[</mo><mi>λ</mi><mo>,</mo><mspace></mspace><mi>λ</mi><mo>+</mo><mi>μ</mi><mo>]</mo></math></span> do not contain any sums of two squares. Geometrically, these gaps between sums of two squares correspond to annuli in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> that do not contain any integer lattice points. A major objective of this paper is to investigate the sparse distribution of integer lattice points within annular regions in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>. Specifically, we establish the existence of annuli <span><math><mo>{</mo><mi>x</mi><mo>∈</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>:</mo><mi>λ</mi><mo>≤</mo><mo>|</mo><mi>x</mi><msup><mrow><mo>|</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>≤</mo><mi>λ</mi><mo>+</mo><mi>κ</mi><mo>}</mo></math></span> with arbitrarily large <em>λ</em> and <span><math><mi>κ</mi><mo>≥</mo><mi>C</mi><msup><mrow><mi>λ</mi></mrow><mrow><mi>s</mi></mrow></msup></math></span> for <span><math><mn>0</mn><mo><</mo><mi>s</mi><mo><</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac></math></span>, satisfying that any two integer lattice points within any one of these annuli must be sufficiently far apart. This result is sharp, as such a property ceases to hold at and beyond the threshold <span><math><mi>s</mi><mo>=</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac></math></span>. Furthermore, we extend our analysis to include the sparse distribution of lattice points in spherical shells in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>3</mn></mrow></msup></math></span>.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141507454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}