<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(E_1, \ldots , E_s \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>E</mi> <mi>s</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> be <i>s</i>, not necessary distinct, elliptic curves over <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathbb {Q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation>. We give upper bounds on the frequency of <i>s</i>-tuples of points in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(E_1({\mathbb {Q}})\times \ldots \times E_s({\mathbb {Q}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>E</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mo>…</mo> <mo>×</mo> <msub> <mi>E</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> whose denominators or <i>x</i>-coordinates are multiplicatively dependent. More precisely, we give such bounds in two scenarios: one in which we fix <i>s</i> non-torsion <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathbb {Q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation>-rational points <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(P_i \in E_i({\mathbb {Q}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>i</mi> </msub> <mo>∈</mo> <msub> <mi>E</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and arbitrary <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathbb {Q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation>-rational points <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(Q_i \in E_i({\mathbb {Q}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Q</mi> <mi>i</mi> </msub> <mo>∈</mo> <msub> <mi>E</mi> <mi>i</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(i =1, \ldots , s\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>s</mi> </mrow> </math></EquationSource> </InlineEquation>, and we count <i>s</i>-tuples <Equation ID="Equ23"> <EquationSource Format="TEX">\( (n_1P_1+Q_1,\ldots , n_sP_s+Q_s) \in E_1({\mathbb {Q}}) \times \ldots \times E_s({\mathbb {Q}}) \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>n</mi> <mn>1</mn> </msub> <msub> <mi>P</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>Q</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>n</mi> <mi>s</mi> </msub> <msub> <mi>P</mi> <mi>s</mi> </msub> <mo>+</mo> <msub> <mi>Q</mi> <mi>s</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi>E</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mo>…</mo> <mo>×</mo> <msub> <mi>E</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </Equation>with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(n_1, \ldots , n_s\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>n</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>n</mi> <mi>s</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> in an arbitrary interval of length <i>N</i>, and the second in which we count points <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((P_1,\ldots ,P_s) \in E_1({\mathbb {Q}}) \times \ldots \times E_s({\mathbb {Q}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>P</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>P</mi> <mi>s</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msub> <mi>E</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mo>…</mo> <mo>×</mo> <msub> <mi>E</mi> <mi>s</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of bounded canonical height.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Multiplicative dependence in the denominators of points of elliptic curves

  • Attila Bérczes,
  • Subham Bhakta,
  • Lajos Hajdu,
  • Alina Ostafe,
  • Igor E. Shparlinski

摘要

Let \(E_1, \ldots , E_s \) E 1 , , E s be s, not necessary distinct, elliptic curves over \({\mathbb {Q}}\) Q . We give upper bounds on the frequency of s-tuples of points in \(E_1({\mathbb {Q}})\times \ldots \times E_s({\mathbb {Q}})\) E 1 ( Q ) × × E s ( Q ) whose denominators or x-coordinates are multiplicatively dependent. More precisely, we give such bounds in two scenarios: one in which we fix s non-torsion \({\mathbb {Q}}\) Q -rational points \(P_i \in E_i({\mathbb {Q}})\) P i E i ( Q ) and arbitrary \({\mathbb {Q}}\) Q -rational points \(Q_i \in E_i({\mathbb {Q}})\) Q i E i ( Q ) , \(i =1, \ldots , s\) i = 1 , , s , and we count s-tuples \( (n_1P_1+Q_1,\ldots , n_sP_s+Q_s) \in E_1({\mathbb {Q}}) \times \ldots \times E_s({\mathbb {Q}}) \) ( n 1 P 1 + Q 1 , , n s P s + Q s ) E 1 ( Q ) × × E s ( Q ) with \(n_1, \ldots , n_s\) n 1 , , n s in an arbitrary interval of length N, and the second in which we count points \((P_1,\ldots ,P_s) \in E_1({\mathbb {Q}}) \times \ldots \times E_s({\mathbb {Q}})\) ( P 1 , , P s ) E 1 ( Q ) × × E s ( Q ) of bounded canonical height.