射影写像の次数成長に対する鋭い多項式指数の上界
Uniform Turán estimates and sharp bounds for degree and mixed orbit growth
この論文をやさしく読む
ひとことで言うと
射影多様体の自己写像を繰り返すとき、次数の増大に付く多項式の指数を、隣接する余次元との関係から制限した数学研究です。
何に役立つ?
代数幾何や力学系で写像の反復による次数や軌道の成長を評価する際に、達成可能な鋭い上界として使えます。要旨には数値実験はありません。
この研究の面白いところ
通常は指数的な増大率を制約する対数凹性に加え、ホッジの指数定理を使って多項式の補正項まで制約します。楕円曲線の積で上界が実際に達成される点も示しています。
どこまで分かった?
各結論は、正規射影多様体の全射自己写像、あるいはエントロピーゼロの自己同型など、要旨で指定した対象についてのものです。別の写像への適用はここからは断定できません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
射影多様体の自己写像を繰り返したときの次数の増大には二つの層がある。第一は力学的次数で測る指数的な増大率、第二は周辺ジョルダンブロックによる多項式の補正である。第一の層は対数凹性によって制約される。本論文は、ホッジの指数定理が第二の層も、すべての余次元と任意の標数で制約することを示す。代数閉体上の正規射影d次元多様体の全射自己写像fについて、力学的次数をλ_iとし、fのn回反復のi次の次数がλ_iのn乗とnのμ_i乗の積に漸近的に比例するとする。μ_iは一意な非負整数である。 これらの指数が隣接する三つの余次元で結び付くことを証明する。λ_iの列がiで厳密に対数凹ならμ_i=0となり、等号の場合は0≦2μ_i-μ_{i-1}-μ_{i+1}≦4となる。したがってμ_i≦2i(d-i)であり、この上界はすべてのiで達成される。エントロピーがゼロの自己同型については、dの任意の弱合成γで添字付けした混合軌道関数が、全次数が偶数で高々dの2乗-Σ_jγ_jの2乗の多変数準多項式であることを証明する。さらに、コンパクトなケーラーd次元多様体Yのエントロピーゼロの正則自己同型gでは、複素係数のH^{p,q}(Y)に対する(gのn乗)の引き戻し作用のノルムは、nのp(d-p)+q(d-q)乗のオーダーを超えない。同じ指数のすべての上界と定数4は、楕円曲線の積で達成される。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24(UTC)
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The degrees of the iterates of a projective endomorphism grow in two layers: an exponential rate measured by the dynamical degrees, and a polynomial correction carried by the peripheral Jordan blocks. Log-concavity constrains the first layer; we show that the Hodge index theorem already constrains the second, in every codimension and in arbitrary characteristic. Let $f$ be a surjective endomorphism of a normal projective $d$-fold over an algebraically closed field, with dynamical degrees $\lambda_i$, so that $\textrm{deg}_i(f^n)\asymp\lambda_i^n n^{\mu_i}$ for a unique integer $\mu_i\ge0$. We prove that these exponents are coupled across three adjacent codimensions: strict log-concavity of $(\lambda_i)_i$ at $i$ forces $\mu_i=0$, while equality gives \[ 0\ \le\ 2\mu_i-\mu_{i-1}-\mu_{i+1}\ \le\ 4 . \] Consequently, $\mu_i\le2i(d-i)$, and this is sharp for every $i$. For a zero-entropy automorphism, we prove that every mixed orbit function indexed by any weak composition $\gamma$ of $d$ is a multivariate quasipolynomial of even total degree at most $d^2-\sum_j\gamma_j^2$. For a zero-entropy holomorphic automorphism $g$ of a compact Kähler $d$-fold $Y$, the same method gives \[\left\|(g^n)^*|_{H^{p,q}(Y,\mathbb{C})}\right\| =O\bigl(n^{p(d-p)+q(d-q)}\bigr).\] Powers of elliptic curves attain all exponent bounds as well as the constant $4$.
著者のコメント
34 pages, comments are welcome
arXiv ID: 2609.29877 / 要約の誤りについて