[논문 리뷰] On radical square zero rings

Claus Michael Ringel, Bao-Lin Xiong|arXiv (Cornell University)|2011. 12. 06.

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

한 줄 요약

이 논문은 근이 제곱으로 0인 연결된 왼쪽 아르틴 링 Λ와 n개의 단순 모듈이 있을 때, 모든 1 ≤ i ≤ n+1에 대해 Ext^i(M,Λ) = 0인 모듈 M은 Λ가 자기대칭이 아닐 경우 반드시 프로젝티브여야 한다고 규명한다. 핵심 기여는 bound n+1의 최적성 입증과, 근이 제곱으로 0인 비자기대칭 아르틴 대수에서 Ext이 차수 n까지 0이 되는 비프로젝티브 모듈을 가질 수 있는 경우를 완전히 분류한 데 있다.

ABSTRACT

Let A be a connected left artinian ring with radical square zero and with n simple modules. If A is not self-injective, then we show that any module M with Ext^i(M,A) = 0 for 1 \le i \le n + 1 is projective. We also determine the structure of the artin algebras with radical square zero and n simple modules which have a non-projective module M such that Ext^i(M,A) = 0 for 1 \le i \le n.

연구 동기 및 목표

• 근이 제곱으로 0인 아르틴 대수에서 첸의 CM 모듈 결과를 왼쪽 아르틴 링으로 일반화한다.
• 비자기대칭 근이 제곱으로 0인 링에서 프로젝티브임을 보장하는 Ext의 최정확한 bound를 규명한다.
• 근이 제곱으로 0이면서 n개의 단순 모듈을 가진 모든 아르틴 대수 중에서, 모든 1 ≤ i ≤ n에 대해 Ext^i(M,Λ) = 0인 비프로젝티브 모듈 M을 가진 대수를 분류한다.
• 단순 모듈에서의 Ext의 소멸 조건과 syzygy 체인을 통해 이러한 링과 모듈의 구조를 특성화한다.
• Ext의 소멸이 차수 n+1까지 연장될 수 없음을 명백한 예시를 통해 구성함으로써 bound n+1의 최적성을 보여준다.

제안 방법

• 프로젝티브 커버의 반복 핵을 통해 모듈의 구조를 분석하기 위해 syzygy 함수자 Ω_i의 사용.
• 문제를 syzygy 모듈로 단순화하기 위해 등식 Ext^i(M,Λ) ≅ Ext^{i-1}(ΩM,Λ)의 응용.
• 근이 제곱으로 0인 링에서는 모든 syzygy 모듈이 반단순이므로, 단순 모듈을 통한 분석이 가능하다는 사실의 활용.
• Ext 소멸에 대한 귀납법을 통해, 모든 1 ≤ i ≤ d에 대해 Ext^i(S,Λ) = 0인 비프로젝티브 단순 모듈 S가 프로젝티브 커버가 삽입 가능한 비프로젝티브 단순 모듈의 체인을 생성함을 보임.
• Ext-쿼버 Δ(n,t)를 특정 구성하여, Ext이 차수 n까지 0이 되는 비프로젝티브 모듈을 가진 링의 구조를 분류.
• Auslander-Reiten 이론, 특히 Auslander-Reiten 변환 τ의 사용을 통해 이러한 모듈의 구조를 분석하고, Ext 소멸이 차수 n을 초월할 경우 모순을 도출함.

실험 결과

연구 질문

• RQ1 근이 제곱으로 0이면서 n개의 단순 모듈을 가지며 Λ가 자기대칭이 아닌 링 Λ에서, 모든 1 ≤ i ≤ d에 대해 Ext^i(M,Λ) = 0이면 M이 프로젝티브임을 보장하는 최소 차수 d는 무엇인가?
• RQ2 Ext 소멸이 프로젝티브임을 보장하는 bound d = n+1는 향상될 수 있는가, 아니면 최적인가?
• RQ3 근이 제곱으로 0이면서 n개의 단순 모듈을 가지며, 모든 1 ≤ i ≤ n에 대해 Ext^i(M,Λ) = 0인 비프로젝티브 모듈 M을 가진 아르틴 대수의 구조는 무엇인가?
• RQ4 이러한 링에서 단순 모듈에 대한 Ext 소멸 조건은 프로젝티브 커버와 삽입 가능한 포함의 구조와 어떻게 관련되어 있는가?
• RQ5 Auslander-Reiten 쿼버와 변환 함수자 τ는 Ext 소멸이 높은 차수까지 유지되는 비프로젝티브 모듈을 분류하는 데 어떤 역할을 하는가?

주요 결과

• 근이 제곱으로 0이면서 n개의 단순 모듈을 가지는 연결된 왼쪽 아르틴 링 Λ에 대해, 모든 1 ≤ i ≤ n+1에 대해 Ext^i(M,Λ) = 0이고 Λ가 자기대칭이 아닐 경우, M은 반드시 프로젝티브여야 한다.
• bound n+1는 최적이다: 모든 1 ≤ i ≤ n에 대해 Ext^i(M,Λ) = 0인 비자기대칭 아르틴 대수 중에서 근이 제곱으로 0이면서 n개의 단순 모듈을 가지는 예가 존재한다.
• 이러한 링은 Ext-쿼버 Δ(n,t)로 분류되며, t는 제곱 정수 m²이어야 하며, 비프로젝티브 단순 모듈의 순환 체인 S₀, S₁, ..., S_{n-1}과 S_n ≅ S₀로 구성된다.
• 모든 1 ≤ i ≤ n에 대해 Ext^i(M,Λ) = 0인 유일한 비프로젝티브 모듈 M은 M = Tr(DS₀)로 주어지며, 여기서 S₀는 모든 1 ≤ i ≤ n−1에 대해 Ext^i(S₀,Λ) = 0인 유일한 단순 모듈이다.
• 모듈 M = Tr(DS₀)의 길이는 t² + t − 1이며, t는 M의 구조로부터 유일하게 복원 가능하므로, 불변량 t는 M으로부터 유일하게 복원 가능하다.
• Ext-쿼버가 Δ(n,t)인 아르틴 대수에서는 t가 정확히 제곱수여야 하며, 이러한 대수는 n + m − 1개의 화살표와 길이 2 이상의 모든 경로를 제거하는 관계를 가진 경로 대수와 Morita-유사하다. 여기서 t = m²이다.