[논문 리뷰] Self-injective commutative rings have no nontrivial rigid ideals

Haydee Lindo|arXiv (Cornell University)|2017. 10. 04.

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

한 줄 요약

이 논문은 자가내재적(commutative)이고, 특히 국소 아르틴 Gorenstein 링인 자가내재적 링에서 비자명한 강성 아이디얼(nontrivial rigid ideals)이 존재하지 않음을 증명한다. 추적 모듈과 Ext의 소멸을 연결함으로써, 임의의 적절한 추적 모듈(특히 아이디얼 포함)의 syzygy는 0이 아닌 자기-Ext를 가져야 하며, 이는 이 맥락에서 강성이 가능한 것은 자유 모듈(free modules)뿐임을 시사한다. 따라서 이 링에서 아이디얼에 대한 Auslander–Reiten 추측이 성립함을 확인한다.

ABSTRACT

We establish a link between trace modules and rigidity in modules over Noetherian rings. Using the theory of trace ideals we make partial progress on a question of Dao, and on the Auslander-Reiten conjecture over Artinian Gorenstein rings.

연구 동기 및 목표

• 노에터 링 위의 모듈에서 추적 모듈과 강성의 상호작용을 조사하기 위해.
• Dao가 제기한 아르틴 Gorenstein 링에서 아이디얼의 강성에 관한 질문에 응답하기 위해.
• 아르틴 Gorenstein 링에서 아이디얼에 대한 Auslander–Reiten 추측의 부분적 확인을 제공하기 위해.
• 특히 자가내재적 링의 맥락에서 적절한 추적 모듈이 강성일 수 있는 조건을 규명하기 위해.
• 아이디얼의 syzygy에 대해 Ext¹이 소멸하거나 소멸하지 않는 조건을 설정하기 위해.

제안 방법

• 모듈에서 다른 모듈로의 모든 준동형의 상의 합으로 정의된 추적 아이디얼과 추적 모듈 이론을 활용한다.
• 모듈 M이 X에서의 추적 모듈이 되기 위해 Hom(M, X/M)의 소멸이 필요하다는 레미마 2.7를 적용한다. 특히 M이 강성일 경우에 유용하다.
• 아르틴 Gorenstein 링에서는 모든 적절한 아이디얼이 추적 아이디얼이며, 링이 자가내재적임을 이용한다.
• Gorenstein 링에서 강성(Ext¹(M,M)의 소멸)이 syzygy를 취할 때 유지됨을 활용한다.
• Hom(M, X/M)의 소멸과 M이 추적 모듈임이 동치임을 이용하여, 비자유 모듈에 대해 강성을 가정할 경우 모순을 이끌어낸다.
• Ext¹이 소멸하는 것은 모듈이 적절한 추적 모듈이 아닐 경우에만 가능하다는 Gorenstein 링 이론의 결과를 적용한다.

실험 결과

연구 질문

• RQ1 국소 아르틴 Gorenstein 링에서 비자유 아이디얼이 강성일 수 있는가?
• RQ2 적절한 추적 모듈의 syzygy M에 대해 Ext¹(M,M)이 어떤 조건에서 소멸하는가?
• RQ3 아르틴 Gorenstein 링에서 아이디얼에 대해 Auslander–Reiten 추측이 성립하는가?
• RQ4 어떤 조건에서 링 내의 적절한 추적 모듈이 동시에 강성일 수 있는가?
• RQ5 자기내재적 링에서 추적 아이디얼과 Ext 군의 소멸 사이의 관계는 무엇인가?

주요 결과

• 국소 아르틴 Gorenstein 링에서 모든 적절한 아이디얼은 추적 아이디얼이며, 이는 3.1조에서 증명되었다.
• 국소 아르틴 Gorenstein 링에서 적절한 추적 모듈의 syzygy M이면 Ext¹_R(M,M) ≠ 0임이 3.9정리에서 증명되었다.
• 이러한 링에서 아이디얼의 syzygy로 나타나는 강성 모듈은 반드시 자유 모듈이어야 하며, 이는 3.10보조정리에서 보였다.
• 국소 아르틴 Gorenstein 링에서 모든 아이디얼에 대해 Auslander–Reiten 추측이 성립한다. 왜냐하면 이 맥락에서 강성이 가능한 것은 자유 모듈 뿐이기 때문이다.
• 적절한 아이디얼 I에 대해 Hom_R(I, R/I) ≠ 0이면 I는 강성이 될 수 없으며, 이는 비자유 강성 모듈의 존재를 배제하는 데 사용된다.
• 국소 아르틴 Gorenstein 링에서는 비자명한 적절한 추적 아이디얼이 강성이 될 수 없으며, 이는 Hom(I, R/I)의 비소멸성과 그로 인한 Ext¹의 비소멸성 때문이므로.