[논문 리뷰] Entropy of an autoequivalence on Calabi-Yau manifolds

Yu-Wei Fan|arXiv (Cornell University)|2017. 04. 23.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 4

한 줄 요약

이 논문은 차원 $d \geq 3$인 칼라비-유만의 자동동치 $\Phi = \mathrm{T}_{\mathcal{O}} \circ (-\otimes \mathcal{O}(-1))$의 범주적 엔트로피를 계산하며, 오일러 지표를 포함하는 초월 방정식을 만족함을 증명한다. 그 다음으로, 카테고리적 엔트로피가 코homology에 유도된 작용의 스펙트럴 반경의 로그와 같다는 키쿠타와 타카하시의 추측에 대한 첫 번째 반례를 구성한다. 짝수 차원 칼라비-유 만의 초면에서 $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))$의 범주적 엔트로피를 계산한다.
• 카테고리적 엔트로피와 코homology에 대한 작용의 스펙트럴 반경 사이의 관계를 다루는 키쿠타와 타카하시의 추측의 타당성을 조사한다.
• 특정 경우에서 $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)$를 유도한다.
• 디미트로프–헤이든–카츠아르코프–콘체비치의 범주적 엔트로피 이론을 적용하여, 반복된 함자에 의한 대상의 복잡도를 통해 엔트로피를 정의한다.
• 수정된 호크시ลด-코스타ント-로젠버그 동형을 사용하여 Hochschild 호모로지에 대한 작용을 코homological 작용 $\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))$의 코homological 작용 $\Phi_{H^*}$의 스펙트럴 반경은 무엇인가?
• RQ5 카테고리적 엔트로피는 양수이지만 코homological 작용의 스펙트럴 반경은 1인 경우가 존재하는가? 이는 키쿠타-타카하시 추측을 위반한다.

주요 결과

• 범주적 엔트로피 $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$인 $\mathbb{CP}^{d+1}$ 속 초면 $X \subset \mathbb{CP}^{d+1}$에서 짝수 차원 칼라비-유만의 경우 스펙트럴 반경 $\rho(\Phi_{H^*}) = 1$이며, 따라서 $\log \rho(\Phi_{H^*}) = 0$이다.
• 이러한 $X$에 대해 범주적 엔트로피 $h_0(\Phi)$는 엄밀히 양수이므로 $h_0(\Phi) > 0 = \log \rho(\Phi_{H^*})$임을 보여, 키쿠타-타카하시 추측에 대한 첫 번째 반례가 된다.
• 엔트로피 방정식은 $\mathbb{Q}$ 위에서 $(e^t, e^\lambda)$-평면에 있는 대수적 곡선을 정의하며, 이 경우 대수성 추측을 확인한다.
• 반례는 $\Phi_{H^*}^{d+2} = \mathrm{id}$가 코homology에서 성립한다는 사실에 기반하며, 이는 칼라비-유만의 카일러 모듈리 공간 내에서 페너 포인트 주변의 모노드로미 구조 때문이 다.
• 홀수 차원 칼라비-유만의 경우, 동일한 자동동치는 반례를 유도하지 않으며, 엔트로피의 경계 $h_0(\Phi) \leq \log \rho(\Phi_{H^*})$가 날카로워져 이 경우에도 추측이 유지된다.