[论文解读] 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$ 的卡拉比-丘流形上，自同构 $\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$ 的范畴熵，证明其满足一个涉及欧拉示性数的超越方程。随后，构造了基库塔与高桥猜想的第一个反例，该猜想认为范畴熵等于其在上同调上诱导作用的谱半径的对数，证明了在偶数维卡拉比-丘超曲面上有 $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$ 的卡拉比-丘流形上复合自同构 $\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$ 的范畴熵。
• 研究基库塔与高桥猜想中范畴熵与上同调作用谱半径之间关系的有效性。
• 构造显式反例，使得 $h_0(\Phi) > \log \rho(\Phi_{H^*})$，从而在某些情况下否定该猜想。
• 探索熵方程的代数结构，并在导出范畴设定下验证代数性猜想。

提出的方法

• 通过赫尔伯特多项式与生成函数的性质，推导出范畴熵 $h_t(\Phi)$ 为满足 $\sum_{k \geq 1} \frac{\chi(\mathcal{O}(kH))}{e^{k\lambda}} = e^{(d-1)t}$ 的唯一 $\lambda > 0$，其中 $t \in \mathbb{R}$。
• 应用迪米特罗夫–海登–卡扎尔科夫–孔采维奇的范畴熵理论，通过迭代函子下对象的复杂度来定义熵。
• 利用修正的霍赫希尔德–科斯塔nt–罗森伯格同构，将霍赫希尔德同调上的作用与上同调作用 $\Phi_{H^*}$ 关联起来。
• 通过矩阵因式分解范畴和等价关系 $\Psi: \mathcal{D}^b(X) \xrightarrow{\sim} \mathrm{HMF}^{\mathrm{gr}}(W)$ 分析单值性作用，以计算 $\Phi_{H^*}$ 的谱半径。
• 证明在偶数维卡拉比-丘超曲面上，有 $\Phi_{H^*}^{d+2} = \mathrm{id}$，从而推出 $\rho(\Phi_{H^*}) = 1$。
• 结合熵的计算与谱半径分析，证明 $h_0(\Phi) > 0 = \log \rho(\Phi_{H^*})$，从而违反了该猜想。

实验结果

研究问题

• RQ1 卡拉比-丘流形上维度 $d \geq 3$ 的自同构 $\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$ 的范畴熵是否满足一个涉及欧拉示性数的闭式方程？
• RQ2 能否通过导出范畴结构在卡拉比-丘流形情形下验证范畴熵的代数性猜想？
• RQ3 在卡拉比-丘流形的导出范畴上，自同构是否满足猜想 $h_0(\Phi) = \log \rho(\mathrm{HH}_\bullet(\Phi))$？
• RQ4 在偶数维卡拉比-丘超曲面上，自同构 $\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$ 的上同调作用 $\Phi_{H^*}$ 的谱半径是多少？
• RQ5 是否存在范畴熵为正而上同调作用谱半径为 1 的情形，从而违反基库塔-高桥猜想？

主要发现

• 范畴熵 $h_t(\Phi)$ 是满足对所有 $t \in \mathbb{R}$ 成立的唯一 $\lambda > 0$，即 $\sum_{k \geq 1} \frac{\chi(\mathcal{O}(kH))}{e^{k\lambda}} = e^{(d-1)t}$，从而确立了一个精确的函数方程。
• 对于偶数维卡拉比-丘超曲面 $X \subset \mathbb{CP}^{d+1}$，其度数为 $d+2$ 且 $d \geq 4$ 的情形，谱半径 $\rho(\Phi_{H^*}) = 1$，因此 $\log \rho(\Phi_{H^*}) = 0$。
• 在这样的 $X$ 上，范畴熵 $h_0(\Phi)$ 严格为正，因此 $h_0(\Phi) > 0 = \log \rho(\Phi_{H^*})$，提供了基库塔-高桥猜想的第一个反例。
• 熵方程在 $(e^t, e^\lambda)$-平面上定义了一条定义在 $\mathbb{Q}$ 上的代数曲线，从而在此情形下确认了代数性猜想。
• 该反例依赖于 $\Phi_{H^*}^{d+2} = \mathrm{id}$ 在上同调上的成立，这源于凯勒模空间中 Gepner 点附近的单值性结构。
• 对于奇数维卡拉比-丘流形，相同的自同构不会产生反例，因为熵的上界 $h_0(\Phi) \leq \log \rho(\Phi_{H^*})$ 变为紧致，从而在该情形下保持猜想成立。