[논문 리뷰] Noncommutative matrix factorizations with an application to skew exterior algebras

Izuru Mori, Kenta Ueyama|arXiv (Cornell University)|2018. 06. 20.

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

한 줄 요약

이 논문은 링의 임의의 영이 아니고 단위가 아닌 원소에 대해 비가환 행렬 분해를 도입하며, 아이젠슈타인의 고전 이론을 비가환 초표면으로 일반화한다. 비가환 행렬 분해와 완전 반사 모듈 간의 카테고리 동치를 확립하고, 공점점 모듈의 확장을 통해 비가환 외배럴 대수에서 분해 불가능한 행렬 분해를 분류하는 데 이론을 적용한다.

ABSTRACT

Theory of matrix factorizations is useful to study hypersurfaces in commutative algebra. To study noncommutative hypersurfaces, which are important objects of study in noncommutative algebraic geometry, we introduce a notion of noncommutative matrix factorization for an arbitrary nonzero non-unit element of a ring. First we show that the category of noncommutative graded matrix factorizations is invariant under the operation called twist (this result is a generalization of the result by Cassidy-Conner-Kirkman-Moore). Then we give two category equivalences involving noncommutative matrix factorizations and totally reflexive modules (this result is analogous to the famous result by Eisenbud for commutative hypersurfaces). As an application, we describe indecomposable noncommutative graded matrix factorizations over skew exterior algebras.

연구 동기 및 목표

• 행렬 분해 이론을 가환에서 비가환 환으로 확장하여, 특히 비가환 초표면에 대해 적용한다.
• 가환 환에서 알려진 테이프 변환에 의한 불변성 특성을 비가환 가환 행렬 분해로 일반화한다.
• 아이젠슈타인의 기본 동치 관계(행렬 분해와 최대 코hen-맥aul레이 모듈 간)의 비가환 대응을 수립한다.
• 개발된 이론을 비가환 외배럴 대수에서 분해 불가능한 비가환 행렬 분해를 분류하는 데 적용한다.
• 비가환 대수기하학에서 비가환 행렬 분해와 공점점 모듈의 확장 간의 관계를 명확히 한다.

제안 방법

• 가환 링 S의 영이 아니고 단위가 아닌 원소 f에 대해, 비가환 가환 행렬 분해의 개념을 도입한다.
• 만약 테이프 변환이 f를 스칼라 곱으로 유지하면, 비가환 가환 행렬 분해의 카테고리가 테이프 변환에 대해 불변임을 증명한다.
• 자기 모듈에 대응하는 두 종류의 임의의 행렬 분해(ϕ_F 및 _Fϕ)를 정의하고, 이를 이용해 몫 카테고리를 구성한다.
• 비가환 행렬 분해의 몫 카테고리(임의의 것들을 제외한)와 완전 반사 A-모듈의 카테고리 간의 동치를 확립한다.
• 비가환 프로젝티브 스킴을 이용해 코스졸 쌍대와 관련된 공점점 모듈의 구조를 분석함으로써, 이론을 비가환 외배럴 대수에 적용한다.
• 나카야마 자기동형사상과 테이프 자동사상 τ의 작용을 포함한 비가환 대수기하학의 기법을 사용하여, 분해 불가능한 분해를 특성화한다.

실험 결과

연구 질문

• RQ1 어떻게 비가환 링의 임의의 영이 아니고 단위가 아닌 원소에 대해 행렬 분해 이론을 일반화할 수 있는가?
• RQ2 테이프 변환이 비가환 행렬 분해의 구조를 유지하는 데 어떤 역할을 하는가?
• RQ3 비가환 행렬 분해는 비가환 초표면에서 완전 반사 모듈을 어느 정도 분류하는가?
• RQ4 비가환 외배럴 대수에서 비가환 행렬 분해와 공점점 모듈의 확장 간의 관계는 무엇인가?
• RQ5 비가환 외배럴 대수에서 분해 불가능한 비가환 행렬 분해가 공점점 모듈의 유한한 확장이 되는 조건은 무엇인가?

주요 결과

• 테이프 변환 θ_i(f) = λ^i f 를 만족하는 경우, 비가환 가환 행렬 분해의 카테고리는 불변이다.
• 비가환 행렬 분해의 몫 카테고리 NMF^Z_S(f)/F 는 S 위에서 유한형 가환 비가환 완전 반사 A-모듈의 카테고리 TR^Z_S(A) 와 동치이다.
• 비가환 행렬 분해의 몫 카테고리 NMF^Z_S(f)/G 는 TR^Z_S(A)/P 와 동치이며, 여기서 P 는 자유 A-모듈의 전부의 부분카테고리이다.
• f = x_n^2 인 비가환 외배럴 대수 A = S/(f) 에서, TR^0_S(A) 에 속하는 A-모듈 M 이 자유 합성부를 가지지 않음과 동시에, V(x_n) 에 속하지 않는 p_i 에 대해 N_p_i 의 유한한 확장임과 동치이다.
• 구조 상수 α_ij α_jk α_ki = 1 이 모든 i,j,k 에 대해 성립하거나, n=3 이고 α_12α_23α_31 이 단위근이 아닌 경우, 공점점 모듈의 확장은 이러한 모든 분해 불가능한 모듈을 분류한다.
• 공점점 모듈 M_p 와 M_q 간의 Ext^1 그룹은 p=q 이거나, n=3 이고 τ-궤도가 무한한 경우 q = φ^{-1}τ^{-3}(p) 이면 비영이 되며, 이 경우 모두 p,q 가 V(x_n) 에 속하지 않는다.