프로젝트 모듈의 삼각구조

본 논문은 “프로젝트 모듈의 삼각구조”라는 질문을 출발점으로, 등급이 부여된 교환환 R에 대해 프로젝트 모듈 범주 P(및 Pf)가 삼각범주가 될 수 있는 정확한 링 구조를 완전히 규정한다. 서론에서는 Freyd의 생성 가설(generating hypothesis)을 동기화하며, 삼각구조가 존재해야 전역적인 생성 가설이 의미를 가질 수 있음을 제시한다. 이후 섹션 2에서는 삼각구조가 존재할 경우 필연적으로 요구되는 링의 동질성 조건을 단계적으로 도출한다. 첫 번째 단계는 P가 삼각화될 경우 R이 quasi‑Frobenius 링이어야 함을 보인다(Prop 2.1). 이는 모든 프로젝트 모듈이 주입 모듈이 되고, 반대로 모든 주입 모듈이 프로젝트 모듈이 됨을 의미한다. Pf가 삼각화될 경우에는 IF‑ring(모든 주입 모듈이 평탄)이라는 더 강한 조건이 필요함을 제시한다(Prop 2.2). 이러한 기본적인 구조 제약은 로컬 링에 대한 분석을 통해 구체화된다. 로컬 등급 교환환 R의 극대 아이디얼 m 이 단일 비자명한 주 생성자이며, 그 제곱이 0이라는 사실을 Prop 2.4와 2.5에서 증명한다. 따라서 m은 (x) 형태이며, x²=0인 경우에만 삼각구조가 가능하다. 다음으로, 이러한 로컬 결과를 전역적인 분류로 확장한다. 정리 1.1은 등급 교환환 R이 P와 Pf 모두에 대해 Σ=(–)