[논문 리뷰] Thom-Sebastiani & Duality for Matrix Factorizations

Anatoly Preygel|arXiv (Cornell University)|2011. 01. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 49

한 줄 요약

이 논문은 유도 범주 위의 k[[β]]-선형 구조를 사용하여 행렬 분해에 대한 코hen-세바스티아니 정리와 쌍대성 정리를 수립한다. 이는 행렬 분해 범주의 텐서곱이 합 잠재력의 영점자기 위의 코herent 복합체에 대응하고, 함자 범주는 차이 잠재력의 영점자기 위의 것에 대응함을 보여준다. 주요 기여는 2주기 호크시드 불변량을 복원하고, 코herent 쌍대성에 의해 매끄럽고 올바른 행렬 분해 범주를 증명하는 기하학적, k[[β]]-선형 프레임워크를 제공하는 것이다.

ABSTRACT

The derived category of a hypersurface has an action by "cohomology operations" k[t], deg t=-2, underlying the 2-periodic structure on its category of singularities (as matrix factorizations). We prove a Thom-Sebastiani type Theorem, identifying the k[t]-linear tensor products of these dg categories with coherent complexes on the zero locus of the sum potential on the product (with a support condition), and identify the dg category of colimit-preserving k[t]-linear functors between Ind-completions with Ind-coherent complexes on the zero locus of the difference potential (with a support condition). These results imply the analogous statements for the 2-periodic dg categories of matrix factorizations. Some applications include: we refine and establish the expected computation of 2-periodic Hochschild invariants of matrix factorizations; we show that the category of matrix factorizations is smooth, and is proper when the critical locus is proper; we show how Calabi-Yau structures on matrix factorizations arise from volume forms on the total space; we establish a version of Kn\"orrer Periodicity for eliminating metabolic quadratic bundles over a base.

연구 동기 및 목표

• 2주기 dg-범주 맥락에서 행렬 분해에 대한 코헨-세바스티아니 정리를 수립하기 위해.
• Ind-완비화 사이의 극한을 보존하는 k[[β]]-선형 함자들의 dg-범주를 영점자기 위의 기하학적 자료를 사용하여 기술하기 위해.
• 호크시드 불변량과 칼라비-유아 구조를 코herent 쌍대성과 부피 형식어를 통해 재구성하기 위해.
• 행렬 분해 범주의 코herent 쌍대성과 매끄러움 성질에 대한 기하학적 기초를 제공하기 위해.

제안 방법

• 코호몰로지 연산자를 통한 k[[β]]-선형 구조의 유도 기하학적 묘사로, 2주기적 구조를 k[[β]]-선형 dg-범주로 올리기 위해.
• 완비화와 범주 위의 군 작용을 모델링하기 위해 내림내림과 유도 체히 네트워크 기법을 적용하기 위해.
• Ind-코herent 복합체에 대한 적분 변환을 사용하여 함자 범주와 곱 위의 시프터 이론적 자료를 연결하기 위해.
• DCoh와 QC!의 텐서곱 정리를 사용하여 행렬 분해 범주의 텐서곱이 합 잠재력의 영점자기 위의 코herent 복합체에 대응함을 연결하기 위해.
• 그로텐디크 쌍대성과 지지 조건을 활용하여 함자 범주를 차이 잠재력의 영점자기 위의 복합체로 식별하기 위해.
• 린츠의 결과와 유도 및 Ind-코herent 범주로의 확장을 사용하여 문제를 형식 스킴 위의 코herent 복합체의 설정으로 축소하기 위해.

실험 결과

연구 질문

• RQ1 합 잠재력의 영점자기 위의 코herent 복합체로서, 행렬 분해 범주의 텐서곱은 어떻게 기하학적으로 묘사될 수 있는가?
• RQ2 Ind-완비화 사이의 극한을 보존하는 k[[β]]-선형 함자들의 dg-범주에 대한 기하학적 특성은 무엇인가?
• RQ3 행렬 분해의 호크시드 불변량은 코herent 쌍대성과 포앙카레 쌍대성과 어떻게 관련되는가?
• RQ4 칼라비-유아 구조는 총공간 위의 부피 형식으로서 어떤 의미에서 행렬 분해에 나타나는가?
• RQ5 이 프레임워크를 통해 기저 위의 대칭적 2차 형식을 갖는 범주를 제거하기 위해 코너러 페리오디시티를 일반화할 수 있는가?

주요 결과

• 합 잠재력의 영점자기 위의 코herent 복합체에 대응하는 지지 조건을 갖는, k[[β]]-선형 텐서곱의 행렬 분해 범주는 동치이다.
• 차이 잠재력의 영점자기 위의 Ind-코herent 복합체에 대응하는 지지 조건을 갖는, 극한을 보존하는 k[[β]]-선형 함자들의 dg-범주는 동치이다.
• 그로텐디크 쌍대성을 통한 2주기 호크시드 코homology는 완전 복합체의 호크시드 코homology와 동형이다.
• 비판적 구역이 올바를 경우, 행렬 분해 범주는 매끄럽고, 쌍대성과 지지 조건을 통해 올바르게 된다.
• 칼라비-유아 구조는 총공간 위의 부피 형식으로부터 유도되며, 기존 결과를 특이적이고 비매끄러운 설정으로 일반화한다.
• 이 프레임워크를 통해 기저 위의 대칭적 2차 형식을 갖는 범주를 제거하기 위한 코너러 페리오디시티의 한 형태가 확립된다.