[논문 리뷰] Matrix factorizations with more than two factors

Tim Tribone|arXiv (Cornell University)|2021. 02. 12.

Algebraic structures and combinatorial models참고 문헌 12인용 수 4

한 줄 요약

이 논문은 정칙 국소환에서 두 요소에서 $d \geq 2$ 요소로 행렬 분해를 일반화하며, 이러한 분해의 안정 범주가 명시적인 스uspension 함수를 갖는 삼각형 범주임을 증명한다. Knörrer와 Solberg의 결과를 확장하여, $d$-요소 행렬 분해의 범주가 비가환 초표면 환의 성질을 갖는 비가환 대칭화된 군 대수 위의 최대 코hen-맥올레이 모듈과 동치임을 규명한다. 이 대수적 성질은 궁극적으로 2주기적 프로젝티브 분해를 갖는다.

ABSTRACT

Given an element $f$ in a regular local ring, we study matrix factorizations of $f$ with $d \ge 2$ factors, that is, we study tuples of square matrices $(φ_1,φ_2,\dots,φ_d)$ such that their product is $f$ times an identity matrix of the appropriate size. Several well known properties of matrix factorizations with $2$ factors extend to the case of arbitrarily many factors. For instance, we show that the stable category of matrix factorizations with $d\ge 2$ factors is naturally triangulated and we give explicit formula for the relevant suspension functor. We also extend results of Knörrer and Solberg which identify the category of matrix factorizations with the full subcategory of maximal Cohen-Macaulay modules over a certain non-commutative algebra $Γ$. As a consequence of our findings, we observe that the ring $Γ$ behaves, homologically, like a "non-commutative hypersurface ring" in the sense that every finitely generated module over $Γ$ has an eventually $2$-periodic projective resolution.

연구 동기 및 목표

• 정칙 국소환에서 두 요소에서 $d \geq 2$ 요소로 행렬 분해 이론을 확장한다.
• d-요소 행렬 분해의 안정 범주가 명시적인 스uspension 함수를 갖는 자연스러운 삼각형 범주임을 보인다.
• Knörrer와 Solberg의 비가환 대수 $\Gamma$ 위에서의 행렬 분해와 최대 코hen-맥올레이 모듈 간의 동치 관계를 $d \geq 2$ 요소로 일반화한다.
• d-요소 분해에 관련된 대수 $\Gamma$가 Iwanaga-Gorenstein임을 보이고, 그 위의 모든 유한 생성 모듈이 궁극적으로 2주기적 프로젝티브 분해를 갖는다는 것을 보여준다.

제안 방법

• 자기 모듈러스의 자유 $S$-모듈러스의 자기형사 $\varphi_1, \dots, \varphi_d$의 $d$-성분 튜플 $(\varphi_1, \dots, \varphi_d)$을 정의하여 $\varphi_1 \cdots \varphi_d = f \cdot \text{id}$를 만족시키는 $d$-요소 행렬 분해를 구성한다.
• 분해 조건의 순환 대칭성을 이용해 범주 $\text{MF}_S^d(f)$ 내의 사상과 동형사상을 정의한다.
• $\text{MF}_S^d(f)$가 프로베누스 범주임을 증명함으로써, 그 안정 범주가 자연스럽게 삼각형 구조를 갖는다는 것을 유도한다.
• $R = S/(f)$의 $d$중 분지 덮개의 비가환 군 대수 위의 최대 코hen-맥올레이 모듈의 범주와 $\text{MF}_S^d(f)$ 사이의 동치를 구축한다.
• 분해 성분의 순환 치환을 이용해 안정 범주 위의 스uspension 함수를 명시적으로 계산한다.
• 행렬식의 성질과 $f$의 기약성 조건을 활용하여, 분해 불가능한 $d$-요소 분해의 최소 크기를 제한한다.

실험 결과

연구 질문

• RQ1 정칙 국소환에서 두 요소에서 $d \geq 2$ 요소로 행렬 분해를 어떻게 일반화할 수 있는가?
• RQ2 d-요소 행렬 분해의 안정 범주는 자연스럽게 삼각형 범주인가? 만약 그렇다면 스uspension 함수의 명시적 형태는 무엇인가?
• RQ3 비가환 대수 $\Gamma$ 위에서의 행렬 분해와 최대 코hen-맥올레이 모듈 간의 동치 관계를 $d \geq 2$ 요소로 확장할 수 있는가?
• RQ4 d-요소 분해에 관련된 대수 $\Gamma$는 비가환 초표면 환의 성질을 보이는가? 예를 들어 Iwanaga-Gorenstein 조건과 궁극적으로 2주기적 분해를 갖는가?
• RQ5 기약성 조건을 갖는 $f$는 분해 불가능한 $d$-요소 행렬 분해의 크기에 어떤 제약을 가하는가?

주요 결과

• d-요소 행렬 분해의 안정 범주는 명시적인 스uspension 함수를 갖는 자연스러운 삼각형 범주이며, 이 함수는 분해 성분의 순환 치환에 의해 주어진다.
• $\text{MF}_S^d(f)$의 범주는 $R = S/(f)$의 $d$중 분지 덮개의 비가환 군 대수 위의 최대 코hen-맥올레이 모듈의 범주와 동치이며, Knörrer의 결과를 일반화한다.
• d-요소 분해에 관련된 대수 $\Gamma$는 Iwanaga-Gorenstein이며, 모든 유한 생성 $\Gamma$-모듈은 궁극적으로 2주기적 프로젝티브 분해를 갖는다.
• 만약 $f$가 기약이라면, 크기가 $d$ 미만인 분해 불가능한 $d$-요소 행렬 분해는 반드시 가상프로젝티브여야 하므로, 비가상프로젝티브인 분해 불가능한 것의 최소 크기는 $d$ 이상이어야 한다.
• 기본 이상의 $\mathbb{E}_6$, $\mathbb{E}_7$, $\mathbb{E}_8$ 특이점에 대해, 극대 이상의 원소를 갖는 분해 불가능한 3-요소 행렬 분해의 명시적 예를 구성하였으며, 이는 최소성과 분해 불가능성을 확인한다.