[논문 리뷰] A description of Gorenstein projective modules over the tensor products of algebras

Dawei Shen|arXiv (Cornell University)|2016. 01. 30.

Algebraic structures and combinatorial models참고 문헌 13인용 수 7

한 줄 요약

이 논문은 체 $k$ 위의 유한 차원 고렌스타인 대수 $B$와 계량 대수 $A$의 텐서곱에서 유한 생성 고렌스타인 프로젝티브 모듈러의 특성을 기술한다. 이들 모듈러가 고렌스타인 프로젝티브임은 물론이고, 그들의 기저가 되는 $A$-모듈러와 $B$-모듈러가 특정 고렌스타인 프로젝티브 조건을 만족함과 동시에, $B$가 유한 전역 차원을 가질 경우 보다 정교한 기술이 가능하다는 것을 보여준다.

ABSTRACT

Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the global dimension of $B$ is finite, we give a more precise description of finitely presented Gorenstein projective $A\otimes_k B$-modules.

연구 동기 및 목표

• 유한 생성 고렌스타인 프로젝티브 모듈러를 $A \otimes_k B$에서 그 기초가 되는 $A$-모듈러와 $B$-모듈러의 관점에서 기술하기.
• 비자명한 텐서곱 대수에서 고렌스타인 프로젝티브 모듈러를 분류하는 데 도전하는 문제를 다루기.
• 단사 사상 카테고리와 고렌스타인 호모로지 대수학의 결과를 일반화하고 정교화하기.
• 특히 $B$가 유한 전역 차원을 가질 경우, 텐서곱 설정에서 고렌스타인 프로젝티브성에 대한 호모로지 기준을 제공하기.

제안 방법

• 모듈러 간의 관계를 설정하기 위해 $k$-쌍대 함자 $D = \operatorname{Hom}_k(-,k)$ 의 사용.
• 기본적으로 $B^{\mathrm{op}}$-프로젝티브 모듈러 $P$에 대해 $\operatorname{Ext}^n_{A\otimes B}(X, M \otimes DP) \simeq \operatorname{Ext}^n_A(X \otimes_B P, M)$ 라는 동형의 적용.
• 프로젝티브 모듈러의 완전한 약순 복합체 개념을 사용하여 고렌스타인 프로젝티브 모듈러를 정의.
• 완전한 복합체 조건의 사용: $M$이 고렌스타인 프로젝티브임은 $n \geq 1$에 대해 $\operatorname{Ext}^n_A(M,A) = 0$ 이고, $n \geq 1$에 대해 $\operatorname{Ext}^n_{A^{\mathrm{op}}}(M^*,A) = 0$ 이며, 평가 사상 $M \to M^{**}$ 가 동형임과 동치이다.
• 모노미어피즘 카테고리의 구조와 $A \otimes_k kQ$-모듈러와의 관계를 활용하여 주요 결과의 동기를 제공.
• 삼각형 카테고리와 프로페르 카테고리 동치를 사용하여 응용을 증명하며, 특히 유도 동치와 안정 카테고리에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 $A$가 계량이고 $B$가 체 $k$ 위의 유한 차원 고렌스타인 대수일 때, 유한 생성 $A \otimes_k B$-모듈러가 고렌스타인 프로젝티브가 되는 조건은 무엇인가?
• RQ2 고렌스타인 프로젝티브성은 $A \otimes_k B$-모듈러의 기초가 되는 $A$-모듈러와 $B$-모듈러의 고렌스타인 프로젝티브성과 어떻게 관련이 있는가?
• RQ3 만약 $B$가 유한 전역 차원을 가진다면 추가로 어떤 조건이 발생하며, 이는 고렌스타인 프로젝티브 모듈러의 기술을 어떻게 정교화하는가?
• RQ4 이 기술을 통해 화살표의 모노미어피즘 카테고리의 구조를 대수의 텐서곱으로 일반화할 수 있는가?
• RQ5 이 기술은 고렌스타인 프로젝티브 모듈러의 유도 동치와 안정 카테고리에 어떤 영향을 미치는가?

주요 결과

• 유한 생성 $A \otimes_k B$-모듈러 $X$는 ${}_A(D_B \otimes_B X)$ 가 $A$-모듈러로서 고렌스타인 프로젝티브이고, ${}_B X$ 가 $B$-모듈러로서 고렌스타인 프로젝티브일 때이고, 그 때에만 고렌스타인 프로젝티브이다.
• 만약 $B$가 유한 전역 차원을 가진다면, $X$는 고렌스타인 프로젝티브일 때이고, 그 때에만 ${}_A(X / \operatorname{rad}_B X)$ 가 $A$-모듈러로서 고렌스타인 프로젝티브이고, ${}_B X$ 가 $B$-모듈러로서 프로젝티브이다.
• 함자 $R$ 는 프로젝티브 $A$-모듈러의 $n$-주기 복합체의 카테고리와 $A \otimes_k B_n$-모듈러의 고렌스타인 프로젝티브 모듈러의 안정 카테고리 사이에 동치를 유도한다.
• 만약 $A$가 유한 전역 차원을 가진다면, $A \otimes_k B_n$-모듈러는 그 성분이 프로젝티브 $A$-모듈러일 때에만 고렌스타인 프로젝티브이다.
• 안정 카테고리 $A \otimes_k B_n\text{-}\underline{\mathrm{Gproj}}$ 는 $\mathbf{K}_n(A\text{-}\mathrm{proj})$ 와 삼각형 동치이다. 여기서 $\mathbf{K}_n(A\text{-}\mathrm{proj})$ 는 프로젝티브 $A$-모듈러의 $n$-주기 복합체의 삼각형 카테고리이다.
• 만약 $A$와 $A'$ 가 유한 차원 고렌스타인 대수이고 유한 전역 차원을 가지며 유도 동치라면, $\mathbf{K}_n(A\text{-}\mathrm{proj})$ 와 $\mathbf{K}_n(A'\text{-}\mathrm{proj})$ 는 삼각형 동치이다.