[논문 리뷰] Relative Calabi-Yau completions

Wai‐Kit Yeung|arXiv (Cornell University)|2016. 12. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 36인용 수 9

한 줄 요약

이 논문은 Keller의 변형된 $n$-Calabi-Yau 완비화를 상대적 설정으로 일반화하며, 부드러운 dg 범주 간의 주어진 dg 함자 $F: \mathcal{A} \to \mathcal{B}$ 로부터 dg 함자 확장 $\widetilde{F}: \widetilde{\mathcal{A}} \to \widetilde{\mathcal{B}}$ 를 구성한다. 이 완비화가 상대적 $n$-Calabi-Yau 구조를 갖는다는 것을 보이며, 이는 상대적 음의 순환 호모로지 클래스 $\widetilde{\eta} \in HN_{n-2}(\mathcal{B}, \mathcal{A})$ 를 매개변수로 삼을 때 성립한다. 이는 원래의 절대 사례에서의 격차를 해결하며, Calabi-Yau 성질이 유지되기 위해 음의 순환 클래스로의 올림이 필요하다는 것을 보여준다.

ABSTRACT

We generalize Keller's construction \cite{Kel11} of deformed $n$-Calabi-Yau completions to the relative context. This gives a construction that extends any given dg functor $F : A ightarrow B$ between smooth dg categories to a dg functor $\widetilde{F} : \widetilde{A} ightarrow \widetilde{B}$, together with a family of deformations of $(\widetilde{A},\widetilde{B},\widetilde{F})$ parametrized by relative negative cyclic homology classes $\widetildeη \in HN_{n-2}(B, A)$. We prove that these extensions admit relative $n$-Calabi-Yau structures in the sense of \cite{BD19}. In particular, this proof covers the original absolute case of \cite{Kel11}.

연구 동기 및 목표

• Keller의 절대적 변형된 $n$-Calabi-Yau 완비화를 부드러운 dg 범주 간의 dg 함자에 대해 상대적 프레임워크로 확장한다.
• 상대적 음의 순환 호모로지 $HN_{n-2}(\mathcal{B}, \mathcal{A})$ 에서의 변형 매개변수를 통해 상대적 $n$-Calabi-Yau 구조를 구성한다.
• Keller의 원래 주장에서의 오류를 수정하고 일반화하여, $n$-Calabi-Yau 성질이 성립하는 것은 변형 클래스 $\eta \in HH_{n-2}(A)$ 가 음의 순환 클래스 $\widetilde{\eta} \in HN_{n-2}(A)$ 로 올라간다거나, 즉 올림이 가능할 때에만 성립함을 보인다.
• 소형 모델을 사용한 음의 순환 복합체의 체계적 증명을 제공하여, 이중화 이중모듈러의 삼각형 조건에서 발생하는 미묘한 호모토피 장애를 해결한다.

제안 방법

• 상대적 $n$-Calabi-Yau 완비화를 $\mathbb{N}$-중량이 부여된 혼합 복합체 $(X^\bullet(\Pi), b, B)$ 를 기반으로 한 음의 순환 복합체의 소형 모델을 통해 구성한다. 이는 [19] 에서 개발된 바 있다.
• Hochschild 및 음의 순환 복합체의 명시적 모델을 사용하여, $HN_n(\widetilde{\Pi})$ 에 속하는 클래스 $\widetilde{\omega}$ 를 정의한다. 이 클래스의 기본 Hochschild 클래스 $\omega \in HH_n(\widetilde{\Pi})$ 는 기하학적 기반에서 이중 모듈러의 유도 범주에서 사상 $\omega^\#: \widetilde{\Pi}^! [n] \to \widetilde{\Pi}$ 를 유도한다.
• 포함 사상 $\mathcal{S}(\Pi_{\mathcal{A}}) \to \mathcal{S}(\Pi_{\mathcal{B}/\mathcal{A}})$ 의 콘의 전이에 관여하는 전이 사상의 교차도를 구성하고, 다섯 번째 보조정리(5-lemma)를 통해 $\omega^\#$ 가 동형임을 증명한다. 이는 네 가지 유형의 생성자 (A1), (A2), (B1), (B2) 에 대해 교차도의 가환성을 검증함으로써 이루어진다.
• 혼합 복합체의 원소에 Connes-Tsygan 연산자 $B$ 를 적용하여 음의 순환 클래스 $\widetilde{\omega}$ 를 모델링함으로써, 유도된 이중화의 삼각형 구조와의 호환성을 확보한다.
• 포탄 복합체에서 $\omega_2 = B(J(s^{n-1}\theta_{\mathcal{B}/\mathcal{A}}))$ 의 명시적 공식을 사용하여, 모든 네 가지 유형의 생성자 $\theta_{\mathcal{B}/\mathcal{A}}$ 에 대해 핵심 도형 (7.26) 의 가환성을 검증한다.
• 절대 사례에서의 정확성 증명을 상대 설정으로 일반화하기 위해, $\widetilde{\eta}$ 가 $B: HC_{n-3}(\mathcal{B}, \mathcal{A}) \to HN_{n-2}(\mathcal{B}, \mathcal{A})$ 의 이미지에 속해 있다면 상대적 $n$-Calabi-Yau 구조가 정확하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 Keller의 절대적 변형된 $n$-Calabi-Yau 완비화는 dg 함자 $F: \mathcal{A} \to \mathcal{B}$ 가 $\widetilde{F}: \widetilde{\mathcal{A}} \to \widetilde{\mathcal{B}}$ 로 확장되는 상대적 설정으로 일반화될 수 있는가?
• RQ2 변형 매개변수 $\eta$ 가 어떤 조건을 만족할 때 상대적 완비화 $\widetilde{\Pi}$ 가 상대적 $n$-Calabi-Yau 구조를 갖는가?
• RQ3 왜 원래의 주장 [10] 이 일반적으로 실패하는가? 그리고 $n$-Calabi-Yau 성질이 유지되도록 하기 위해 어떤 수정이 필요한가?
• RQ4 소형 모델을 사용한 음의 순환 복합체를 통해 $\Pi^{!}[n] \cong \Pi$ 를 증명할 때 발생하는 미묘한 호모토피 장애는 어떻게 해결할 수 있는가?
• RQ5 상대적 $n$-Calabi-Yau 구조의 정확성은 Connes-Tsygan 연산자 $B$ 의 이미지로 기술될 수 있는가?

주요 결과

• 상대적 $n$-Calabi-Yau 완비화 $\widetilde{\Pi}$ 는 변형 매개변수 $\eta \in HH_{n-2}(\mathcal{A})$ 가 $\widetilde{\eta} \in HN_{n-2}(\mathcal{B}, \mathcal{A})$ 로 올라간다거나, 즉 올림이 가능할 때에만 상대적 $n$-Calabi-Yau 구조를 갖는다.
• 음의 순환 복합체의 소형 모델을 통해 음의 순환 클래스 $\widetilde{\omega} \in HN_n(\widetilde{\Pi})$ 를 구성함으로써 삼각형 조건의 명시적 검증이 가능해진다.
• $\omega^\#: \widetilde{\Pi}^! [n] \to \widetilde{\Pi}$ 는 $\mathcal{D}(\widetilde{\Pi}^e)$ 에서 동형으로서 성립한다. 이는 네 가지 생성자 유형 (A1), (A2), (B1), (B2) 에 대해 도형 (7.26) 의 가환성을 검증함으로써 확립된다.
• 증명 과정에서 절대 사례에서의 미묘한 장애를 해결하기 위해 엄밀한 등식을 호모토피 동치로 대체하고, 소형 혼합 복합체 모델을 통해 정확한 호모토피를 추적한다.
• 상대적 $n$-Calabi-Yau 구조가 정확하다면 $\widetilde{\eta}$ 가 $B: HC_{n-3}(\mathcal{B}, \mathcal{A}) \to HN_{n-2}(\mathcal{B}, \mathcal{A})$ 의 이미지에 속해 있어야 한다. 이는 절대 사례를 일반화한 것이다.
• 특수한 경우 $\mathcal{A} = 0$ 에서 원래의 절대 사례를 복원하며, 동결 변수가 있는 클러스터 대수와 퀘일 변형의 응용을 위한 개념적 프레임워크를 제공한다.