<p>Let <i>X</i> be a normal projective variety of dimension <i>d</i> over an algebraically closed field and <i>f</i> an automorphism of <i>X</i>. Suppose that the pullback <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42543_2025_106_Article_IEq1.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(f^*|_{{\textsf{N}}^1(X)_{\textbf{R}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>f</mi> <mo>∗</mo> </msup> <msub> <mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <msup> <mrow> <mi mathvariant="sans-serif">N</mi> </mrow> <mn>1</mn> </msup> <msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="bold">R</mi> </msub> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> of <i>f</i> on the real Néron–Severi space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42543_2025_106_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\({\textsf{N}}^1(X)_{\textbf{R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="sans-serif">N</mi> </mrow> <mn>1</mn> </msup> <msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="bold">R</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is unipotent and denote the index of the eigenvalue 1 by <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42543_2025_106_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(k+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. We establish the following upper bound for the polynomial volume growth <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42543_2025_106_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{plov}(f)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>plov</mtext> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <i>f</i>: <Equation ID="Equ18"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="42543_2025_106_Article_Equ18.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="156" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \textrm{plov}(f) \le (k/2 + 1)d. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mtext>plov</mtext> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> <mo>≤</mo> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">/</mo> <mn>2</mn> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mi>d</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>This inequality is optimal in certain cases. Moreover, we prove that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="42543_2025_106_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\le 2(d-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≤</mo> <mn>2</mn> <mo stretchy="false">(</mo> <mi>d</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, extending a result of Dinh–Lin–Oguiso–Zhang for compact Kähler manifolds to arbitrary characteristic. By combining these two inequalities, we obtain the optimal bound <Equation ID="Equ19"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="42543_2025_106_Article_Equ19.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \textrm{plov}(f) \le d^2, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mtext>plov</mtext> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msup> <mi>d</mi> <mn>2</mn> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>that affirmatively answers the questions of Cantat–Paris-Romaskevich and Lin–Oguiso–Zhang.</p>

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

An Upper Bound for Polynomial Volume Growth of Automorphisms of Zero Entropy

  • Fei Hu,
  • Chen Jiang

摘要

Let X be a normal projective variety of dimension d over an algebraically closed field and f an automorphism of X. Suppose that the pullback \(f^*|_{{\textsf{N}}^1(X)_{\textbf{R}}}\) f | N 1 ( X ) R of f on the real Néron–Severi space \({\textsf{N}}^1(X)_{\textbf{R}}\) N 1 ( X ) R is unipotent and denote the index of the eigenvalue 1 by \(k+1\) k + 1 . We establish the following upper bound for the polynomial volume growth \(\textrm{plov}(f)\) plov ( f ) of f: \(\begin{aligned} \textrm{plov}(f) \le (k/2 + 1)d. \end{aligned}\) plov ( f ) ( k / 2 + 1 ) d . This inequality is optimal in certain cases. Moreover, we prove that \(k\le 2(d-1)\) k 2 ( d - 1 ) , extending a result of Dinh–Lin–Oguiso–Zhang for compact Kähler manifolds to arbitrary characteristic. By combining these two inequalities, we obtain the optimal bound \(\begin{aligned} \textrm{plov}(f) \le d^2, \end{aligned}\) plov ( f ) d 2 , that affirmatively answers the questions of Cantat–Paris-Romaskevich and Lin–Oguiso–Zhang.