[論文レビュー] Categorical entropy for Fourier-Mukai transforms on generic abelian surfaces

Kōta Yoshioka|arXiv (Cornell University)|Jan 15, 2017

Algebraic Geometry and Number Theory参考文献 12被引用数 4

ひとこと要約

この論文は、フーリエ＝ムカイ変換を用いて、一般のアーベル面上の自己同値のカテゴリカルエントロピーを計算し、代数的ムカイ格子を保存する同値に関して、エントロピーがそのコホロロジーへの作用のスペクトル半径によって決定されることを示している。主な結果として、アーベル面上でのキクタ＝タカハシ予想が確認され、$ h_0(\Phi) = \log \rho(\Phi) $ が成り立ち、カテゴリカルエントロピーの明示的公式がコホモロジー作用の固有値を用いて与えられる。

ABSTRACT

In this note, we shall compute the categorical entropy of an autoequivalence on a generic abelian surface.

研究の動機と目的

• 一般のアーベル面上の自己同値 $ \Phi $ に対するカテゴリカルエントロピー $ h_t(\Phi) $ を計算すること。
• アーベル面上の文脈において、キクタ＝タカハシ予想 $ h_0(\Phi) = \log \rho(\Phi) $ が成り立つかを検証すること。
• フーリエ＝ムカイ変換の代数的ムカイ格子 $ H^*(X,\mathbb{Z})_{\text{alg}} $ への作用を分析し、スペクトルデータを介してエントロピーと関連付けること。
• カテゴリカルエントロピーの明示的公式をコホモロジー作用の固有値の観点から提供すること。

提案手法

• 分裂生成子を備えた三角カテゴリの自己関手に対するカテゴリカルエントロピー $ h_t(\Phi) $ の定義を用いる。
• キクタと高橋が滑らかな射影的代数多様体の導来カテゴリでエントロピーを計算するための枠組みを適用する。
• $ \Phi $ が代数的ムカイ格子 $ H^*(X,\mathbb{Z})_{\text{alg}} $ に作用する際のスペクトル半径を分析する。
• 半均一な層とそのムカイベクトルの性質を用いて、$ \Phi $ のコホモロジー的挙動を制御する。
• フーリエ＝ムカイ同値が格子 $ L = \mathbb{Z} \oplus \mathbb{Z}H \oplus \mathbb{Z}\varrho_X $ を保存することを活用し、エントロピー計算を簡略化する。
• 池田（2023年）の結果に依拠して、アーベル面の場合に予想を確認する。

実験結果

リサーチクエスチョン

• RQ1 一般のアーベル面上の自己同値 $ \Phi $ に対して、カテゴリカルエントロピー $ h_t(\Phi) $ は何か？
• RQ2 アーベル面上の自己同値に関して、キクタ＝タカハシ予想 $ h_0(\Phi) = \log \rho(\Phi) $ は成り立つか？
• RQ3 自己同値 $ \Phi $ のコホモロジー作用のスペクトル半径は、そのカテゴリカルエントロピーとどのように関係するか？
• RQ4 自己同値 $ \Phi $ が代数的ムカイ格子を保存する場合、カテゴリカルエントロピーを明示的に計算できるか？

主な発見

• 自己同値 $ \Phi $ が格子 $ L = \mathbb{Z} \oplus \mathbb{Z}H \oplus \mathbb{Z}\varrho_X $ を保存する一般のアーベル面上で、カテゴリカルエントロピー $ h_t(\Phi) $ が明示的に計算された。
• キクタ＝タカハシ予想が成立する：$ h_0(\Phi) = \log \rho(\Phi) $ であり、ここで $ \rho(\Phi) $ は $ H^*(X,\mathbb{Q})_{\text{alg}} $ 上での $ \Phi $ のスペクトル半径である。
• 格子 $ L $ を保存するフーリエ＝ムカイカーネルによって誘導される $ \Phi $ に対して、エントロピー $ h_t(\Phi) $ はコホモロジー作用の固有値によって決定され、$ \operatorname{tr}A < -2 $ のとき $ h_t(\Phi) = \log |\alpha| - dt $ が成り立つ。
• 球面的対象の不在とアーベル面上の半均一な層の構造のおかげで、計算が簡略化された。
• この結果により、アーベル面の設定において、グロモフ＝ヨムディン型予想が確認され、既知のケースが高次元多様体へと拡張された。