[논문 리뷰] Gorenstein projective bimodules via monomorphism categories and filtration categories

Wei Hu, Xiu-Hua Luo외 2명|arXiv (Cornell University)|2017. 02. 28.

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

한 줄 요약

이 논문은 임의의 유한차원 대수에 대해 호모로지적 정의를 사용하여 단사 사상 분류를 도입하고, 이를 필터링 분류와 함께 사용하여 두 유한차원 대수의 텐서곱에서의 고렌스타인 프로젝티브 이중모듈러스를 분류한다. 핵심 결과는 두 대수가 모두 고렌스타인일 경우, $A \otimes B$에서의 모든 고렌스타인 프로젝티브 이중모듈러스의 분류가 Quillen의 소 객체 논증을 사용하여 $A\mbox{-GProj} \otimes B\mbox{-GProj}$로부터 생성된 필터링 분류의 가군화임을 보여준다.

ABSTRACT

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category Mon(B, A-Gproj) to describe some Gorenstein projective bimodules over the tensor product of $A$ and $B$. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for Mon(B, A-Gproj) being the category of all Gorenstein projective bimodules. In addition, If both $A$ and $B$ are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.

연구 동기 및 목표

• 사슬 관계를 가진 쿼웨이에서의 단사 사상 분류 개념을 임의의 유한차원 대수로 일반화하기 위해 호모로지적 정의를 사용하는 것.
• 분류 $\operatorname{Mon}(B, A\mbox{-GProj})$를 사용하여 $A \otimes B$에서의 고렌스타인 프로젝티브 이중모듈러스를 기술하는 것.
• 한 대수가 고렌스타인일 경우 $\operatorname{Mon}(B, A\mbox{-GProj})$가 모든 고렌스타인 프로젝티브 이중모듈러스를 포괄하는 데 필요한 충분한 조건을 확립하는 것.
• 두 대수 $A$와 $B$가 모두 고렌스타인일 경우, 필터링 분류를 사용하여 $A \otimes B$에서의 모든 고렌스타인 프로젝티브 이중모듈러스의 분류를 완전히 기술하는 것.
• 고렌스타인 경우에 대해 무한 생성 고렌스타인 프로젝티브 이중모듈러스의 분류를 확장하는 것.

제안 방법

• 호모로지 조건을 사용하여 임의의 유한차원 대수에 대해 단사 사상 분류를 정의함으로써, 이전의 쿼웨이 정의를 일반화하는 것.
• $A$-고렌스타인 프로젝티브 모듈러스를 값으로 가지는 $B$-모듈러스의 전체 부분분류로 $\operatorname{Mon}(B, A\mbox{-GProj})$를 구성하는 것.
• Quillen의 소 객체 논증을 사용하여 $\operatorname{\overline{\sf Filt}}(A\mbox{-GProj} \otimes B\mbox{-GProj})$가 완전한 코터션 페어를 이룬다는 것을 보이는 것.
• 코터션 페어 이론과 무한차수 확장 이론을 적용하여 $ (A\otimes B)\mbox{-GProj} $가 $A\mbox{-GProj} \otimes B\mbox{-GProj}$에서 유도된 필터링된 모듈러스의 가군화임을 특성화하는 것.
• 단순 $A\otimes B$-모듈러스가 단순 $A$-모듈러스 $T$와 단순 $B$-모듈러스 $S$에 대해 $T \otimes S$ 형태임을 보장하는 분할 체 조건 하에서 간단한 모듈러스의 형태를 활용하는 것.
• $ (A\otimes B)\mbox{-GProj} = {}^{\perp_1}(\{\Omega^{d_A + d_B}((A\otimes B)/I)\}^{\perp_1}) $임을 증명함으로써 필터링 특성화에 도달하는 것.

실험 결과

연구 질문

• RQ1 단사 사상 분류 $\operatorname{Mon}(B, A\mbox{-GProj})$가 모든 고렌스타인 프로젝티브 $A\otimes B$-이중모듈러스와 동치가 되는 조건은 무엇인가?
• RQ2 두 대수 $A$와 $B$가 모두 고렌스타인 대수일 경우, $A\otimes B$에서의 고렌스타인 프로젝티브 이중모듈러스는 어떻게 기술할 수 있는가?
• RQ3 $A\otimes B$에서의 모든 고렌스타인 프로젝티브 이중모듈러스의 분류가 필터링 분류를 통해 완전히 특성화될 수 있는가?
• RQ4 Quillen의 소 객체 논증은 고렌스타인 프로젝티브 모듈러스의 분류를 구성하는 데 어떤 역할을 하는가?
• RQ5 $A\otimes B$에서의 고렌스타인 프로젝티브 모듈러스는 $A$와 $B$의 고렌스타인 프로젝티브 모듈러스의 텐서곱과 어떻게 관련이 있는가?

주요 결과

• $\operatorname{Mon}(B, A\mbox{-GProj})$가 모든 고렌스타인 프로젝티브 $A\otimes B$-이중모듈러스를 포괄하는 것은 $A$ 또는 $B$ 중 하나가 고렌스타인일 때에만 성립한다.
• 두 대수 $A$와 $B$가 모두 고렌스타인일 경우, $A \otimes B$에서의 모든 고렌스타인 프로젝티브 이중모듈러스의 분류는 $\operatorname{\overline{\sf Filt}}(A\mbox{-GProj} \otimes B\mbox{-GProj})$와 같다.
• 이 결과는 두 대수가 모두 고렌스타인일 경우 유한 생성 및 무한 생성 고렌스타인 프로젝티브 이중모듈러스에 대해 모두 성립한다.
• 이 증명은 Quillen의 소 객체 논증에 기반하며, $ (A\otimes B)\mbox{-GProj} = {}^{\perp_1}(\{\Omega^{d_A + d_B}((A\otimes B)/I)\}^{\perp_1}) $임을 보여주며, 이는 $\operatorname{\overline{\sf Filt}}(A\mbox{-GProj} \otimes B\mbox{-GProj})$와 동일하다.
• 이 특성화는 $k$가 $A$ 또는 $B$에 대해 분할 체일 경우에 유효하며, 이 조건 하에서 단순 $A\otimes B$-모듈러스는 단순 $A$-모듈러스 $T$와 단순 $B$-모듈러스 $S$에 대해 $T \otimes S$ 형태임을 보장한다.
• 이 결과는 이전의 $T_2$-확장, 상삼각 행렬 대수, 경로 대수와의 텐서곱에 대한 연구를 통합하는 호모로지적 프레임워크를 제공함으로써 이전 작업을 일반화한다.