[論文レビュー] Entropy of an autoequivalence on Calabi-Yau manifolds

Yu-Wei Fan|arXiv (Cornell University)|Apr 23, 2017

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

ひとこと要約

本稿は、次元 $d \geq 3$ のCalabi–Yau多様体上で、自己同値 $\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$ のカテゴリカルエントロピーを計算し、オイラー標数を含む超越方程式を満たすことを証明する。その後、KikutaとTakahashiの予想（カテゴリカルエントロピーがコホロロジー上への作用のスペクトル半径の対数に等しい）の最初の反例を構成し、偶数次元のCalabi–Yau超曲面では $h_0(\Phi) > 0 = \log \rho(\Phi_{H^*})$ が成り立つことを示す。

ABSTRACT

We prove that the categorical entropy of the autoequivalence $T_{\mathcal{O}}\circ(-\otimes\mathcal{O}(-1))$ on a Calabi-Yau manifold is the unique positive real number $λ$ satisfying $$ \sum_{k\geq 1}\frac{χ(\mathcal{O}(k))}{e^{kλ}}=e^{(d-1)t}. $$ We then use this result to construct the first counterexamples of a conjecture on categorical entropy by Kikuta and Takahashi.

研究の動機と目的

• 次元 $d \geq 3$ のCalabi–Yau多様体上で、合成自己同値 $\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$ のカテゴリカルエントロピーを計算すること。
• カテゴリカルエントロピーとコホロロジー作用への誘導作用のスペクトル半径との関係を示すKikutaとTakahashiの予想の妥当性を検証すること。
• $h_0(\Phi) > \log \rho(\Phi_{H^*})$ となる明示的な反例を構成し、特定の状況下で予想を反証すること。
• エントロピー方程式の代数的構造を調査し、導来カテゴリカル圏の文脈で代数的性予想を検証すること。

提案手法

• Hilbert多項式と母関数の性質を用いて、任意の $t \in \mathbb{R}$ に対して $\sum_{k \geq 1} \frac{\chi(\mathcal{O}(kH))}{e^{k\lambda}} = e^{(d-1)t}$ を満たす唯一の $\lambda > 0$ としてカテゴリカルエントロピー $h_t(\Phi)$ を導出する。
• Dimitrov–Haiden–Katzarkov–Kontsevichのカテゴリカルエントロピー理論を適用し、反復ファンクター下での対象の複雑さによってエントロピーを定義する。
• 修正されたHochschild–Kostant–Rosenberg同型を用いて、Hochschildホモロジー上での作用をコホロロジー作用 $\Phi_{H^*}$ に関連付ける。
• 行列式因子化カテゴリと同型 $\Psi: \mathcal{D}^b(X) \xrightarrow{\sim} \mathrm{HMF}^{\mathrm{gr}}(W)$ を用いてモノドロミー作用を分析し、$\Phi_{H^*}$ のスペクトル半径を計算する。
• 偶数次元のCalabi–Yau超曲面では、$\Phi_{H^*}^{d+2} = \mathrm{id}$ がコホロロジー上で成り立つことから、$\rho(\Phi_{H^*}) = 1$ であることを示す。
• エントロピー計算とスペクトル半径解析を統合し、$h_0(\Phi) > 0 = \log \rho(\Phi_{H^*})$ を示し、予想が破綻することを立証する。

実験結果

リサーチクエスチョン

• RQ1 次元 $d \geq 3$ のCalabi–Yau多様体上で、$\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$ のカテゴリカルエントロピーは、オイラー標数を含む閉形式方程式を満たすか？
• RQ2 導来カテゴリカル構造を用いて、Calabi–Yau多様体の文脈でカテゴリカルエントロピーの代数的性予想を検証できるか？
• RQ3 導来カテゴリカル圏におけるCalabi–Yau多様体の自己同値に関して、$h_0(\Phi) = \log \rho(\mathrm{HH}_\bullet(\Phi))$ という予想は成立するか？
• RQ4 偶数次元のCalabi–Yau超曲面において、$\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$ のコホロロジー作用 $\Phi_{H^*}$ のスペクトル半径は何か？
• RQ5 カテゴリカルエントロピーが正である一方で、コホロロジー作用のスペクトル半径が 1 であるような場合があり、Kikuta–Takahashi予想が破綻する場合があるか？

主な発見

• カテゴリカルエントロピー $h_t(\Phi)$ は、すべての $t \in \mathbb{R}$ に対して $\sum_{k \geq 1} \frac{\chi(\mathcal{O}(kH))}{e^{k\lambda}} = e^{(d-1)t}$ を満たす唯一の $\lambda > 0$ として定義され、明確な関数方程式が確立される。
• 次元 $d \geq 4$ の偶数次元Calabi–Yau超曲面 $X \subset \mathbb{CP}^{d+1}$ で、次数が $d+2$ の場合、スペクトル半径 $\rho(\Phi_{H^*}) = 1$ であり、$\log \rho(\Phi_{H^*}) = 0$ である。
• このような $X$ に対して、カテゴリカルエントロピー $h_0(\Phi)$ は正の値をとり、$h_0(\Phi) > 0 = \log \rho(\Phi_{H^*})$ が成り立つ。これは、Kikuta–Takahashi予想に対する最初の反例である。
• エントロピー方程式は $\mathbb{Q}$ 上の $(e^t, e^\lambda)$-平面上の代数的曲線を定義し、この状況下で代数的性予想が確認される。
• 反例は、コホロロジー上で $\Phi_{H^*}^{d+2} = \mathrm{id}$ が成り立つという事実に依拠しており、これはKählerモジュライ空間内のGepner点回りのモノドロミー構造に起因する。
• 奇数次元のCalabi–Yau多様体では、同じ自己同値は反例を生じさせない。なぜなら、エントロピーの上限 $h_0(\Phi) \leq \log \rho(\Phi_{H^*})$ がタイトになるため、この場合では予想が保たれる。