[논문 리뷰] Categorical Saito theory, I: A comparison result

Junwu Tu|arXiv (Cornell University)|2019. 02. 12.

Algebraic structures and combinatorial models참고 문헌 15인용 수 5

한 줄 요약

이 논문은 컨트세비치의 변형 양자화와 츠야간 형식성 사상(формальность map)을 사용하여, 고립된 초표면 특이점에 대한 Saito의 기하적 준무한 히든젤드 구조(VSHS)와 행렬 분해 $\mathsf{MF}(W)$의 $A_\infty$-카테고리로부터 구성된 카테고리적 VSHS 사이의 비교 이隳모르피즘을 수립한다. 핵심 결과는 두 VSHS 구조가 서로 이隳모르피즘임을 보이며, 이는 카테고리적 및 기하적 초원형(form) 사이의 자연스러운 전단사 대응과 이소모르픽인 프로베누스 다양체를 암시한다.

ABSTRACT

In this paper, we present an explicit cyclic minimal $A_\infty$ model for the category of matrix factorizations $\MF(W)$ of an isolated hypersurface singularity. The key observation is to use Kontsevich's deformation quantization technique. Pushing this idea further, we use the Tsygan formality map to obtain a comparison theorem that the categorical Variation of Semi-infinite Hodge Structure of $\MF(W)$ is isomorphic to Saito's original geometric construction in primitive form theory. An immediate corollary of this comparison result is that the analogue of Caldararu's conjecture holds for the category $\MF(W)$.

연구 동기 및 목표

• 고립된 초표면 특이점에 대한 Saito의 초원형 이론의 카테고리적 유사체를 수립하기 위해.
• 변형 양자화를 사용하여 $A_\infty$-카테고리 $\mathsf{MF}(W)$로부터 비가환 VSHS를 구성하기 위해.
• Tsygan 형식성 사상에 의해 이 카테고리적 VSHS가 Saito의 원래 기하적 VSHS와 이_iso모르픽임을 증명하기 위해.
• 카테고리적 초원형이 Saito의 기하적 초원형과 전단사 대응됨을 확인하기 위해.
• 두 구성에서 유도된 프로베누스 다양체가 서로 이_iso모르픽임을 보여주기 위해.

제안 방법

• 컨트세비치의 변형 양자화를 사용하여 $\mathsf{MF}(W)$에 대한 순환적 최소 $A_\infty$ 모델을 구성하고, 이를 잰드르 링의 코스즈 듀얼 대수와 식별한다.
• Tsygan 형식성 사상으로 $A_\infty$ 대수의 호흐실트 체인 복합체를 미니버설 변형 $\mathscr{W} = W + \sum t_i \varphi_i$의 외부 드람 복합체와 연결한다.
• Getzler의 기하학과 비가환 기하학에서 유도된 연결을 사용하여 카테고리적 VSHS를 $\mathscr{V}^{\mathsf{MF}(W)} = (HC^{-}_*(A^{\mathscr{W}}), \nabla, \langle -, - \rangle_{\mathsf{hres}})$로 정의한다.
• 게르스텐하버 괄호와 외부 차수를 나타내는 연산자 $T$를 사용하여 $u$-연결을 계산하고, Tsygan 형식성 사상에 의해 기하적 $u$-연결과 관련지운다.
• $\mathcal{U}^{\mathsf{Sh},\mathscr{W}}_0 \circ 2u\nabla^{\mathsf{NC}}_{\partial_u} = (2u\partial_u + P + \frac{2\iota_\mathscr{W}}{u}) \circ \mathcal{U}^{\mathsf{Sh},\mathscr{W}}_0$ 를 증명함으로써 카테고리적 측면의 $u$-연결이 기하적 연결과 일치함을 보인다. 여기서 $P \equiv N \cdot \mathsf{id}$ 는 호모로지에서 성립한다.
• 호모로지가 최고 차수 $N$ 에 집중되어 있으므로, $P$ 는 스칼라 곱 $N$ 과 일치하며, 이는 기하적 정규화와 일치한다.

실험 결과

연구 질문

• RQ1 고립된 특이점의 행렬 분해에 대해 Saito의 기하적 VSHS와 일치하는 카테고리적 VSHS 구성이 존재하는가?
• RQ2 Tsygan 형식성 사상은 $\mathsf{MF}(W)$의 비가환 VSHS를 $W$의 기하적 VSHS와 연결하는 데 사용될 수 있는가?
• RQ3 카테고리적 초원형 $\mathsf{MF}(W)$는 Saito의 기하적 초원형과 전단사 대응되는가?
• RQ4 카테고리적 및 기하적 VSHS에서 유도된 프로베누스 다양체는 서로 이_iso모르픽인가?
• RQ5 카테고리적 구성은 Saito의 원래 VSHS와 동일한 호환 조건을 만족하는가?

주요 결과

• 카테고리적 VSHS $\mathscr{V}^{\mathsf{MF}(W)}$ 는 Tsygan 형식성 사상에 의해 Saito의 기하적 VSHS $\mathscr{V}^{\mathsf{Saito}}$ 와 이_iso모르픽이다.
• 이_iso모르피즘은 양측의 $u$-연결을 연결하는 $u$-선형 사상 $\mathcal{U}^{\mathsf{Sh},\mathscr{W}}_0$ 에 의해 실현된다.
• 호모로지의 최고 차수 집중으로 인해, 카테고리적 측면의 $u$-연결은 호모로지 축소 후 기하적 연결과 일치한다.
• 호흐실트 체인에서의 연산자 $P$ 는 호모로지에서 $N \cdot \mathsf{id}$ 로 작용하며, 이는 기하적 정규화 항 $-\frac{N \cdot \mathsf{id}}{2u}$ 와 일치한다.
• 카테고리적 측면의 $t$-방향 연결은 Getzler의 연결과 일치하며, 전체 $\nabla$ 구조는 형식성 사상 하에서 유지된다.
• 보조적으로, $\mathsf{MF}(W)$ 에 대해 Cãldăraru의 추측의 유사체가 성립함을 확인하였으며, 카테고리적 맥락에서 정규 초원형의 존재를 확인하였다.