<p>Let <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3155_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="115" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum a_nx^n\in \bar{\mathbb {Q}}[[x]]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>∑</mo> <msub> <mi>a</mi> <mi>n</mi> </msub> <msup> <mi>x</mi> <mi>n</mi> </msup> <mo>∈</mo> <mover accent="true"> <mrow> <mi mathvariant="double-struck">Q</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> <mrow> <mo stretchy="false">[</mo> <mrow> <mo stretchy="false">[</mo> <mi>x</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the power series representation of a rational function and let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3155_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="138" /> </InlineMediaObject> <EquationSource Format="TEX">\(f:\ \{0,1,\ldots \}\rightarrow \bar{\mathbb {Q}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mspace width="4pt" /> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo stretchy="false">}</mo> <mo stretchy="false">→</mo> <mover accent="true"> <mrow> <mi mathvariant="double-struck">Q</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> </mrow> </math></EquationSource> </InlineEquation> be a so-called almost quasi-polynomial. Under a necessary stability condition, we prove that <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3155_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum f(n)a_nx^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>∑</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>a</mi> <mi>n</mi> </msub> <msup> <mi>x</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> satisfies the Pólya–Carlson dichotomy: it is either a rational function or it cannot be extended analytically to a strictly larger domain than its disk of convergence. This latter property is much stronger than being transcendental. The first application and motivation of our result is the solution of a conjecture by Byszewski–Cornelissen. This gives a complete understanding of the analytic continuation behavior of the Artin–Mazur zeta function associated to a dynamical system on an abelian variety. Further applications include the solution of a conjecture by Bell–Miles–Ward and a significant case of an open problem by Royals–Ward.</p>

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

Adelic perturbation of rational functions and applications

  • Félix Baril Boudreau,
  • Erik Holmes,
  • Khoa D. Nguyen

摘要

Let \(\sum a_nx^n\in \bar{\mathbb {Q}}[[x]]\) a n x n Q ¯ [ [ x ] ] be the power series representation of a rational function and let \(f:\ \{0,1,\ldots \}\rightarrow \bar{\mathbb {Q}}\) f : { 0 , 1 , } Q ¯ be a so-called almost quasi-polynomial. Under a necessary stability condition, we prove that \(\sum f(n)a_nx^n\) f ( n ) a n x n satisfies the Pólya–Carlson dichotomy: it is either a rational function or it cannot be extended analytically to a strictly larger domain than its disk of convergence. This latter property is much stronger than being transcendental. The first application and motivation of our result is the solution of a conjecture by Byszewski–Cornelissen. This gives a complete understanding of the analytic continuation behavior of the Artin–Mazur zeta function associated to a dynamical system on an abelian variety. Further applications include the solution of a conjecture by Bell–Miles–Ward and a significant case of an open problem by Royals–Ward.