Pub Date : 2024-09-23DOI: 10.1016/j.jnt.2024.09.001
Let not all zeroes and let be the linear recursive sequence, which is defined by the initial terms and whose characteristic polynomial is Daniel Shanks simplest cubic . We prove that there exists an effectively computable constant c depending only on such that if holds for some integers with then . For the choices we solve the above equations completely. At the end we give an outlook to the equation for some fixed integers .
{"title":"Common values of linear recurrences related to Shank's simplest cubics","authors":"","doi":"10.1016/j.jnt.2024.09.001","DOIUrl":"10.1016/j.jnt.2024.09.001","url":null,"abstract":"<div><div>Let <span><math><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>∈</mo><mi>Z</mi></math></span> not all zeroes and let <span><math><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>=</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> be the linear recursive sequence, which is defined by the initial terms <span><math><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>0</mn><mo>)</mo><mo>=</mo><mi>A</mi><mo>,</mo><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>1</mn><mo>)</mo><mo>=</mo><mi>B</mi><mo>,</mo><mi>F</mi><mo>(</mo><mi>u</mi><mo>,</mo><mn>2</mn><mo>)</mo><mo>=</mo><mi>C</mi></math></span> and whose characteristic polynomial is Daniel Shanks simplest cubic <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>(</mo><mi>X</mi><mo>)</mo><mo>=</mo><msup><mrow><mi>X</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>−</mo><mo>(</mo><mi>u</mi><mo>−</mo><mn>1</mn><mo>)</mo><msup><mrow><mi>X</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mo>(</mo><mi>u</mi><mo>+</mo><mn>2</mn><mo>)</mo><mi>X</mi><mo>−</mo><mn>1</mn><mo>,</mo><mi>u</mi><mo>∈</mo><mi>Z</mi></math></span>. We prove that there exists an effectively computable constant <em>c</em> depending only on <span><math><mi>L</mi><mo>=</mo><mi>max</mi><mo></mo><mo>{</mo><mo>|</mo><mi>A</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>B</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>C</mi><mo>|</mo><mo>}</mo></math></span> such that if <span><math><mo>|</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>|</mo><mo>=</mo><mo>|</mo><mi>F</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>,</mo><mi>u</mi><mo>,</mo><mi>m</mi><mo>)</mo><mo>|</mo></math></span> holds for some integers <span><math><mi>u</mi><mo>,</mo><mi>n</mi><mo>,</mo><mi>m</mi></math></span> with <span><math><mi>n</mi><mo>≠</mo><mi>m</mi></math></span> then <span><math><mo>|</mo><mi>n</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>m</mi><mo>|</mo><mo><</mo><mi>c</mi></math></span>. For the choices <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>,</mo><mi>C</mi><mo>)</mo><mo>∈</mo><mo>{</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>,</mo><mo>(</mo><mn>1</mn><mo>,</mo><mo>−</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>)</mo><mo>}</mo></math></span> we solve the above equations completely. At the end we give an outlook to the equation <span><math><mi>F</mi><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mi>u</mi><mo>,</mo><mi>n</mi><mo>)</mo><mo>=</mo><mi>F</mi><mo>(</mo><mn>0</mn><mo>,</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mi>v</mi><mo>,</mo><mi>m</mi><mo>)</mo></math></span> for some fixed integers <span><math><mi>n</mi><mo>,</mo><mi>m</mi></math></span>.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328260","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-09-23DOI: 10.1016/j.jnt.2024.08.003
Recall that for a domain R where every nonzero nonunit factors into irreducibles, the elasticity of R is defined as We call a quadratic field Kmaximally elastic if the ring of integers of K is a UFD and each element of appears as an elasticity of infinitely many orders inside K. This corresponds to the orders in K exhibiting, to the extent possible for a quadratic field, maximal variation in terms of the failure of unique factorization. Assuming the Generalized Riemann Hypothesis, we prove that is universally elastic, and we provide evidence for a conjectured characterization of maximally elastic quadratic fields.
回想一下,对于每个非零非单元都因数化为不可还原单元的域 R,R 的弹性定义如下{sr:π1⋯πr=ρ1⋯ρs,所有 πi,ρj 都不可还原}。如果 K 的整数环是 UFD,且{1,32,2,52,3,...}∪{∞}中的每个元素在 K 中作为无穷多阶的弹性出现,我们就称一个二次域 K 为最大弹性域。假设广义黎曼假说成立,我们证明 K=Q(2) 具有普遍弹性,并为最大弹性二次域的猜想特征提供证据。
{"title":"Maximally elastic quadratic fields","authors":"","doi":"10.1016/j.jnt.2024.08.003","DOIUrl":"10.1016/j.jnt.2024.08.003","url":null,"abstract":"<div><div>Recall that for a domain <em>R</em> where every nonzero nonunit factors into irreducibles, the <span>elasticity</span> of <em>R</em> is defined as<span><span><span><math><mi>sup</mi><mo></mo><mrow><mo>{</mo><mfrac><mrow><mi>s</mi></mrow><mrow><mi>r</mi></mrow></mfrac><mo>:</mo><msub><mrow><mi>π</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>π</mi></mrow><mrow><mi>r</mi></mrow></msub><mo>=</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⋯</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>,</mo><mrow><mtext> with all </mtext><msub><mrow><mi>π</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>ρ</mi></mrow><mrow><mi>j</mi></mrow></msub><mtext> irreducible</mtext></mrow><mo>}</mo></mrow><mo>.</mo></math></span></span></span> We call a quadratic field <em>K</em> <span>maximally elastic</span> if the ring of integers of <em>K</em> is a UFD and each element of <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mfrac><mrow><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>,</mo><mn>2</mn><mo>,</mo><mfrac><mrow><mn>5</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>,</mo><mn>3</mn><mo>,</mo><mo>…</mo><mo>}</mo><mo>∪</mo><mo>{</mo><mo>∞</mo><mo>}</mo></math></span> appears as an elasticity of infinitely many orders inside <em>K</em>. This corresponds to the orders in <em>K</em> exhibiting, to the extent possible for a quadratic field, maximal variation in terms of the failure of unique factorization. Assuming the Generalized Riemann Hypothesis, we prove that <span><math><mi>K</mi><mo>=</mo><mi>Q</mi><mo>(</mo><msqrt><mrow><mn>2</mn></mrow></msqrt><mo>)</mo></math></span> is universally elastic, and we provide evidence for a conjectured characterization of maximally elastic quadratic fields.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328259","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-09-23DOI: 10.1016/j.jnt.2024.08.007
Let k and n be natural numbers. Let denote the number of distinct prime factors of n with multiplicity k as studied by Elma and the third author [5]. We obtain asymptotic estimates for the first and the second moments of when restricted to the set of h-free and h-full numbers. We prove that has normal order over h-free numbers, has normal order over h-full numbers, and both of them satisfy the Erdős-Kac Theorem. Finally, we prove that the functions with do not have normal order over h-free numbers and with do not have normal order over h-full numbers.
设 k 和 n 都是自然数。让 ωk(n)表示乘数为 k 的 n 的不同质因数的个数,如 Elma 和第三作者所研究的那样[5]。我们得到了ωk(n)的第一矩和第二矩的渐近估计值,并将其限制在无 h 和满 h 的数集合中。我们证明ω1(n) 在 h 个无穷数上有正序 loglogn,ωh(n) 在 h 个满数上有正序 loglogn,而且它们都满足厄尔多斯-卡克定理。最后,我们证明含 1<k<h 的函数 ωk(n) 在无 h 数上没有正序,含 k>h 的函数 ωk(n) 在满 h 数上没有正序。
{"title":"On the number of prime factors with a given multiplicity over h-free and h-full numbers","authors":"","doi":"10.1016/j.jnt.2024.08.007","DOIUrl":"10.1016/j.jnt.2024.08.007","url":null,"abstract":"<div><div>Let <em>k</em> and <em>n</em> be natural numbers. Let <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> denote the number of distinct prime factors of <em>n</em> with multiplicity <em>k</em> as studied by Elma and the third author <span><span>[5]</span></span>. We obtain asymptotic estimates for the first and the second moments of <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> when restricted to the set of <em>h</em>-free and <em>h</em>-full numbers. We prove that <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> has normal order <span><math><mi>log</mi><mo></mo><mi>log</mi><mo></mo><mi>n</mi></math></span> over <em>h</em>-free numbers, <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>h</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> has normal order <span><math><mi>log</mi><mo></mo><mi>log</mi><mo></mo><mi>n</mi></math></span> over <em>h</em>-full numbers, and both of them satisfy the Erdős-Kac Theorem. Finally, we prove that the functions <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> with <span><math><mn>1</mn><mo><</mo><mi>k</mi><mo><</mo><mi>h</mi></math></span> do not have normal order over <em>h</em>-free numbers and <span><math><msub><mrow><mi>ω</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> with <span><math><mi>k</mi><mo>></mo><mi>h</mi></math></span> do not have normal order over <em>h</em>-full numbers.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328287","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-09-23DOI: 10.1016/j.jnt.2024.07.014
An ℓ-adic GKZ hypergeometric sheaf is defined analogously to a GKZ hypergeometric -module. We introduce an algorithm of computing the characteristic cycle of an ℓ-adic GKZ hypergeometric sheaf of certain type. Our strategy is to apply a formula of the characteristic cycle of the direct image of an ℓ-adic sheaf. We verify the requirements for the formula to hold by calculating the dimension of the direct image of a certain closed conical subset of cotangent bundle. We also define an ℓ-adic GKZ-type sheaf whose specialization tensored with a constant sheaf is isomorphic to an ℓ-adic non-confluent GKZ hypergeometric sheaf. On the other hand, the topological model of an ℓ-adic GKZ-type sheaf is isomorphic to the image by the de Rham functor of a non-confluent GKZ hypergeometric -module whose characteristic cycle has been calculated. This gives an easier way to determine the characteristic cycle of an ℓ-adic non-confluent GKZ hypergeometric sheaf of certain type.
{"title":"The characteristic cycle of a non-confluent ℓ-adic GKZ hypergeometric sheaf","authors":"","doi":"10.1016/j.jnt.2024.07.014","DOIUrl":"10.1016/j.jnt.2024.07.014","url":null,"abstract":"<div><div>An <em>ℓ</em>-adic GKZ hypergeometric sheaf is defined analogously to a GKZ hypergeometric <span><math><mi>D</mi></math></span>-module. We introduce an algorithm of computing the characteristic cycle of an <em>ℓ</em>-adic GKZ hypergeometric sheaf of certain type. Our strategy is to apply a formula of the characteristic cycle of the direct image of an <em>ℓ</em>-adic sheaf. We verify the requirements for the formula to hold by calculating the dimension of the direct image of a certain closed conical subset of cotangent bundle. We also define an <em>ℓ</em>-adic GKZ-type sheaf whose specialization tensored with a constant sheaf is isomorphic to an <em>ℓ</em>-adic non-confluent GKZ hypergeometric sheaf. On the other hand, the topological model of an <em>ℓ</em>-adic GKZ-type sheaf is isomorphic to the image by the de Rham functor of a non-confluent GKZ hypergeometric <span><math><mi>D</mi></math></span>-module whose characteristic cycle has been calculated. This gives an easier way to determine the characteristic cycle of an <em>ℓ</em>-adic non-confluent GKZ hypergeometric sheaf of certain type.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328258","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-09-23DOI: 10.1016/j.jnt.2024.08.001
We study an infinite family of j-invariant zero elliptic curves and their λ-isogenous curves , where D and are fundamental discriminants of a specific form, and λ is an isogeny of degree 3. A result of Honda guarantees that for our discriminants D, the quadratic number field always has non-trivial 3-class group. We prove a series of results related to the set of rational points , and the -equivalence classes of irreducible integral binary cubic forms of discriminant D. By assuming finiteness of the Tate-Shafarevich group, we derive a parity result between the rank of and the rank of its 3-Selmer group, and we establish lower and upper bounds for the rank of our elliptic curves. Finally, we give explicit classes of genus-1 curves that correspond to irreducible integral binary cubic forms of discriminant , and we show that every curve in these classes violates the Hasse Principle.
{"title":"On the Selmer group and rank of a family of elliptic curves and curves of genus one violating the Hasse principle","authors":"","doi":"10.1016/j.jnt.2024.08.001","DOIUrl":"10.1016/j.jnt.2024.08.001","url":null,"abstract":"<div><div>We study an infinite family of <em>j</em>-invariant zero elliptic curves <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>D</mi></mrow></msub><mo>:</mo><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>+</mo><mn>16</mn><mi>D</mi></math></span> and their <em>λ</em>-isogenous curves <span><math><msub><mrow><mi>E</mi></mrow><mrow><msup><mrow><mi>D</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>:</mo><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>−</mo><mn>27</mn><mo>⋅</mo><mn>16</mn><mi>D</mi></math></span>, where <em>D</em> and <span><math><msup><mrow><mi>D</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>=</mo><mo>−</mo><mn>3</mn><mi>D</mi></math></span> are fundamental discriminants of a specific form, and <em>λ</em> is an isogeny of degree 3. A result of Honda guarantees that for our discriminants <em>D</em>, the quadratic number field <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>D</mi></mrow></msub><mo>=</mo><mi>Q</mi><mo>(</mo><msqrt><mrow><mi>D</mi></mrow></msqrt><mo>)</mo></math></span> always has non-trivial 3-class group. We prove a series of results related to the set of rational points <span><math><msub><mrow><mi>E</mi></mrow><mrow><msup><mrow><mi>D</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub><mo>(</mo><mi>Q</mi><mo>)</mo><mo>∖</mo><mi>λ</mi><mo>(</mo><msub><mrow><mi>E</mi></mrow><mrow><mi>D</mi></mrow></msub><mo>(</mo><mi>Q</mi><mo>)</mo><mo>)</mo></math></span>, and the <span><math><mi>S</mi><mi>L</mi><mo>(</mo><mn>2</mn><mo>,</mo><mi>Z</mi><mo>)</mo></math></span>-equivalence classes of irreducible integral binary cubic forms of discriminant <em>D</em>. By assuming finiteness of the Tate-Shafarevich group, we derive a parity result between the rank of <span><math><msub><mrow><mi>E</mi></mrow><mrow><mi>D</mi></mrow></msub></math></span> and the rank of its 3-Selmer group, and we establish lower and upper bounds for the rank of our elliptic curves. Finally, we give explicit classes of genus-1 curves that correspond to irreducible integral binary cubic forms of discriminant <span><math><mi>D</mi><mo>=</mo><mn>48035713</mn></math></span>, and we show that every curve in these classes violates the Hasse Principle.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328257","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-09-20DOI: 10.1016/j.jnt.2024.08.004
We develop a unified method to study spectral determinants for several different manifolds, including spheres and hemispheres, and projective spaces. This is a direct consequence of an approach based on deriving recursion relations for the corresponding zeta functions, which we are then able to solve explicitly. Apart from new applications such as hemispheres, we also believe that the resulting formulae in the cases for which expressions for the determinant were already known are simpler and easier to compute in general, when compared to those resulting from other approaches.
{"title":"Recurrence formulae for spectral determinants","authors":"","doi":"10.1016/j.jnt.2024.08.004","DOIUrl":"10.1016/j.jnt.2024.08.004","url":null,"abstract":"<div><div>We develop a unified method to study spectral determinants for several different manifolds, including spheres and hemispheres, and projective spaces. This is a direct consequence of an approach based on deriving recursion relations for the corresponding zeta functions, which we are then able to solve explicitly. Apart from new applications such as hemispheres, we also believe that the resulting formulae in the cases for which expressions for the determinant were already known are simpler and easier to compute in general, when compared to those resulting from other approaches.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142328242","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-08-30DOI: 10.1016/j.jnt.2024.07.005
Rafael von Känel
The strategy of combining the method of Faltings (Arakelov, Paršin, Szpiro) with modularity and Masser–Wüstholz isogeny estimates allows to explicitly bound the height and the number of the solutions of certain Diophantine equations related to integral points on moduli schemes of abelian varieties. In this paper we survey the development and various applications of this strategy.
{"title":"Integral points on moduli schemes","authors":"Rafael von Känel","doi":"10.1016/j.jnt.2024.07.005","DOIUrl":"https://doi.org/10.1016/j.jnt.2024.07.005","url":null,"abstract":"The strategy of combining the method of Faltings (Arakelov, Paršin, Szpiro) with modularity and Masser–Wüstholz isogeny estimates allows to explicitly bound the height and the number of the solutions of certain Diophantine equations related to integral points on moduli schemes of abelian varieties. In this paper we survey the development and various applications of this strategy.","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142260799","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-08-22DOI: 10.1016/j.jnt.2024.07.010
The greedy Sidon set, also known as the Mian-Chowla sequence, is the lexicographically first set in that does not contain with . Its growth and structure have remained enigmatic for 80 years. In this work, we study a generalization from the form to arbitrary linear forms ; these are called Sidon sets for linear forms. We explicitly describe the elements of the greedy Sidon sets for linear forms when for some , and also when , the “structured” domain. We also contrast the “enigmatic” domain when with the “structured” domain, and give upper bounds on the growth rates in both cases.
{"title":"Greedy Sidon sets for linear forms","authors":"","doi":"10.1016/j.jnt.2024.07.010","DOIUrl":"10.1016/j.jnt.2024.07.010","url":null,"abstract":"<div><p>The greedy Sidon set, also known as the Mian-Chowla sequence, is the lexicographically first set in <span><math><mi>N</mi></math></span> that does not contain <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> with <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>=</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>. Its growth and structure have remained enigmatic for 80 years. In this work, we study a generalization from the form <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> to arbitrary linear forms <span><math><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><mo>…</mo><mo>+</mo><msub><mrow><mi>c</mi></mrow><mrow><mi>h</mi></mrow></msub><msub><mrow><mi>x</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span>; these are called Sidon sets for linear forms. We explicitly describe the elements of the greedy Sidon sets for linear forms when <span><math><msub><mrow><mi>c</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>=</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span> for some <span><math><mi>n</mi><mo>≥</mo><mn>2</mn></math></span>, and also when <span><math><mi>h</mi><mo>=</mo><mn>2</mn><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>=</mo><mn>2</mn><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>≥</mo><mn>4</mn></math></span>, the “structured” domain. We also contrast the “enigmatic” domain when <span><math><mi>h</mi><mo>=</mo><mn>2</mn><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>=</mo><mn>2</mn><mo>,</mo><msub><mrow><mi>c</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>=</mo><mn>3</mn></math></span> with the “structured” domain, and give upper bounds on the growth rates in both cases.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24001768/pdfft?md5=530dddb3b9f53a0f7a336819d6924b12&pid=1-s2.0-S0022314X24001768-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142097369","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-08-21DOI: 10.1016/j.jnt.2024.07.012
We prove explicit lower bounds for linear forms in two p-adic logarithms. More specifically, we establish explicit lower bounds for the p-adic distance between two integral powers of algebraic numbers, that is, (and corresponding explicit upper bounds for ), where are numbers that are algebraic over and are positive rational integers.
This work is a p-adic analogue of Gouillon's explicit lower bounds in the complex case. Our upper bound for has an explicit constant of reasonable size and the dependence of the bound on B (a quantity depending on and ) is , instead of as in the work of Bugeaud and Laurent in 1996.
{"title":"Lower bounds for linear forms in two p-adic logarithms","authors":"","doi":"10.1016/j.jnt.2024.07.012","DOIUrl":"10.1016/j.jnt.2024.07.012","url":null,"abstract":"<div><p>We prove explicit lower bounds for linear forms in two <em>p</em>-adic logarithms. More specifically, we establish explicit lower bounds for the <em>p</em>-adic distance between two integral powers of algebraic numbers, that is, <span><math><mo>|</mo><mi>Λ</mi><msub><mrow><mo>|</mo></mrow><mrow><mi>p</mi></mrow></msub><mo>=</mo><mo>|</mo><msubsup><mrow><mi>α</mi></mrow><mrow><mn>1</mn></mrow><mrow><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msubsup><mo>−</mo><msubsup><mrow><mi>α</mi></mrow><mrow><mn>2</mn></mrow><mrow><msub><mrow><mi>b</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></msubsup><msub><mrow><mo>|</mo></mrow><mrow><mi>p</mi></mrow></msub></math></span> (and corresponding explicit upper bounds for <span><math><msub><mrow><mi>v</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>(</mo><mi>Λ</mi><mo>)</mo></math></span>), where <span><math><msub><mrow><mi>α</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>α</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> are numbers that are algebraic over <span><math><mi>Q</mi></math></span> and <span><math><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>b</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> are positive rational integers.</p><p>This work is a <em>p</em>-adic analogue of Gouillon's explicit lower bounds in the complex case. Our upper bound for <span><math><msub><mrow><mi>v</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>(</mo><mi>Λ</mi><mo>)</mo></math></span> has an explicit constant of reasonable size and the dependence of the bound on <em>B</em> (a quantity depending on <span><math><msub><mrow><mi>b</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> and <span><math><msub><mrow><mi>b</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>) is <span><math><mi>log</mi><mo></mo><mi>B</mi></math></span>, instead of <span><math><msup><mrow><mo>(</mo><mi>log</mi><mo></mo><mi>B</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></math></span> as in the work of Bugeaud and Laurent in 1996.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-08-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24001793/pdfft?md5=ccf251a8e8e82101b493968e4e90bf5e&pid=1-s2.0-S0022314X24001793-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162052","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-08-20DOI: 10.1016/j.jnt.2024.07.008
Previously the authors proved subconvexity of Shintani's zeta function enumerating class numbers of binary cubic forms. Here we return to prove subconvexity of the Maass form twisted version. The method demonstrated here has applications to the subconvexity of some of the twisted zeta functions introduced by F. Sato. The argument demonstrates that the symmetric space condition used by Sato is not necessary to estimate the zeta function in the critical strip.
在此之前,作者证明了枚举二元三次方形式类数的新谷 zeta 函数的次凸性。在此,我们再次证明马斯形式扭曲版本的次凸性。这里演示的方法可应用于佐藤 F. 提出的一些扭曲zeta函数的次凸性。这一论证表明,佐藤所使用的对称空间条件对于估计临界带中的zeta函数并非必要。
{"title":"Subconvexity of twisted Shintani zeta functions","authors":"","doi":"10.1016/j.jnt.2024.07.008","DOIUrl":"10.1016/j.jnt.2024.07.008","url":null,"abstract":"<div><p>Previously the authors proved subconvexity of Shintani's zeta function enumerating class numbers of binary cubic forms. Here we return to prove subconvexity of the Maass form twisted version. The method demonstrated here has applications to the subconvexity of some of the twisted zeta functions introduced by F. Sato. The argument demonstrates that the symmetric space condition used by Sato is not necessary to estimate the zeta function in the critical strip.</p></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0022314X24001781/pdfft?md5=416d6328f418d63f0962779de94e173a&pid=1-s2.0-S0022314X24001781-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142021482","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}