[論文レビュー] On the cohomological action of automorphisms of compact Kähler threefolds

Federico Bianco|arXiv (Cornell University)|Dec 22, 2017

Geometric and Algebraic Topology参考文献 13被引用数 5

ひとこと要約

この論文は、コンpakto Kähler的三様体上の自己同型のコhomology的作用について鋭い境界を確立し、作用がほとんど単位的であるとき、$(f^n)^*$ のノルムが $cn^4$ 以下で成長することを証明している。さらに、$H^2(X,\mathbb{C})$ 上での $f^*_2$ のスペクトルを動的次数 $\lambda_1(f)$ と $\lambda_2(f)$ で記述し、$\mathbb{Q}$ 上での $\lambda_1(f)$ のガロア共役を特定している。最適性は複素トーラス上の例によって示されている。

ABSTRACT

Extending well-known results on surfaces, we give bounds on the cohomological action of automorphisms of compact Kähler threefolds. More precisely, if the action is virtually unipotent we prove that the norm of $(f^n)^*$ grows at most as $cn^4$; in the general case, we give a description of the spectrum of $f^*$, and bounds on the possible conjugates over $\mathbb Q$ of the dynamical degrees $λ_1(f),λ_2(f)$. Examples on complex tori show the optimality of the results.

研究の動機と目的

• 曲面からコンパクト Kähler 的三様体への自己同型作用のコhomology的結果の拡張。
• Betti数に依存しない、コンパクト Kähler 的三様体 $X$ の複素次元にのみ依存する $H^2(X,\mathbb{C})$ 上の $f^*_2$ のコhomology的作用に関する制約の特定。
• $f^*_2$ のスペクトルを動的次数 $\lambda_1(f)$ と $\lambda_2(f)$ で記述し、$\mathbb{Q}$ 上での $\lambda_1(f)$ のガロア共役を上限すること。
• コンパクト複素トーラス上の明示的例を用いて境界の最適性を示すこと。

提案手法

• 一般化されたホッジ指数定理と双対性を用いて、$f^*$ のコhomology上での作用を制約する。
• 代数群論およびジョルダン分解の理論の道具を用いて、$f^*_2$ の構造を分析する。
• ホッジ成分 $H^{1,1}(X)$ および $H^{2,0} \oplus H^{0,2}(X)$ における重みと固有値分布の概念を用いて、スペクトル行動を分類する。
• ジョルダンブロック構造に関する帰納法と背理法を用いて、成長率および固有値共役に関する境界を導出する。
• Lemma 4.0.1 を適用して、コhomology類のウェッジ積を分析し、$H^4(X,\mathbb{R})$ 上の非自明なジョルダンブロックを検出する。
• 双対作用 $(f^*_2)^\vee$ を $H^4(X,\mathbb{R})$ 上で分析し、双対性およびホッジ双対性を用いて元の作用に関する制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 Betti数に依存しない、コンパクト Kähler 的三様体上の自己同型のコhomology的作用 $f^*_2$ に課せられる制約は何か？
• RQ2 もし $f^*_2$ がほとんど単位的であれば、$\| (f^n)^* \|$ の成長率はどのようになるか？
• RQ3 $f^*_2$ のスペクトルの正確な構造は、動的次数 $\lambda_1(f)$ と $\lambda_2(f)$ に対してどのように記述できるか？
• RQ4 第一動的次数 $\lambda_1(f)$ の $\mathbb{Q}$ 上での可能なガロア共役は何か？
• RQ5 コhomology的作用 $f^*_2$ がほとんど単位的でも半単純でもないことはあり得るか？ もし可能であれば、その制約は何か？

主な発見

• もし $f^*_2$ がほとんど単位的で無限位数であれば、$\| (f^n)^* \|$ は $cn^4$ 以下で成長し、複素トーラス上の例によってこの境界が鋭いことが示されている。
• $f^*_2$ の最大ジョルダンブロックのサイズは最大で 5 であり、$\lambda_1(f) = 1$ のとき、唯一の最大ジョルダンブロックの次元は 3 または 5 である。
• $f^*_2$ の固有値 $\lambda$ は、ある $N \geq 0$ に対して $|\lambda|^{(-2)^N} \in \{1, \lambda_1, \lambda_2^{-1}, \lambda_1^{-1}\lambda_2\}$ を満たす。固有値は反復二乗により伝播する。
• $\lambda_1$ と $\lambda_2$ が乗法的独立であれば、$f^*_2$ の中で絶対値が $\lambda_1$ または $\lambda_2^{-1}$ である固有値は $\lambda_1$ と $\lambda_2^{-1}$ のみである。
• 第一動的次数 $\lambda_1(f)$ は代数的整数であり、$\mathbb{Q}$ 上でのガロア共役の絶対値は集合 $\{\lambda_1, \lambda_2^{-1}, \lambda_1^{-1}\lambda_2, \sqrt{\lambda_1^{-1}}, \sqrt{\lambda_2}, \sqrt{\lambda_1\lambda_2^{-1}}\}$ に属する。
• コhomology的作用 $f^*_2$ は、ほとんど単位的でも半単純でもないことはあり得ない。非自明なジョルダンブロックを有するならば、$\lambda_1(f)$ は次元が 3 以下のブロックを持つ固有値でなければならないし、$\lambda_2(f) = \lambda_1(f)^2$ でなければならない。