코틸팅 모듈과 Σ‑순수주입성: 코터션·토션 쌍의 새로운 연결고리

본 논문은 임의의 결합환 R 위의 오른쪽 R‑모듈 범주 Mod‑R에서 코틸팅 모듈이 생성하는 코터션·토션 쌍을 심도 있게 탐구한다. 서두에서는 코터션 쌍 (𝒜,𝒜⊥)과 토션 쌍 (𝒳,𝒴)의 기본 정의와 그들 사이의 정렬 구조를 소개하고, 특히 코틸팅 모듈 U가 항상 순수주입임을 상기한다. 이후 1절에서는 임의의 코터션 쌍 (𝒜,𝒜⊥)에 대해 ℓ‑프레젠테이션 차수 i에 제한된 부분 𝒜_i와 그에 의해 생성되는 코터션 쌍 𝒜_i를 정의한다. Proposition 1.1‑1.4를 통해 𝒜가 해석적(resolving)일 때 𝒜_i와 𝒜_{i+1}가 동일하면 𝒜_i=𝒜_∞가 되며, 이는 𝒜가 직접극한과 직접합을 통해 생성된 모듈들의 직접합 직합으로 닫힌다는 사실을 보여준다. 2절에서는 코틸팅 코터션 쌍 (𝒴,𝒴⊥)을 중심으로 Σ‑순수주입성의 역할을 분석한다. Lemma 2.1은 Σ‑순수주입 1‑코틸팅 모듈 U에 대해 𝒴_i=𝒴가 됨을 보이며, Theorem 2.2는 네 가지 조건(𝒴₁=𝒴, 𝒴가 유한형식, 어떤 i≥1에 대해 𝒴_i=𝒴, U가 Σ‑순수주입이며 𝒴=lim→𝒴₁)이 서로 동등함을 입증한다. 특히 차원 1인 경우, Corollary 2.4는 Σ‑순수주입 ⇔ 유한형식이라는 강력한 동치성을 얻는다. 이 절에서는 또한 문제 2.3을 제기하여 Σ‑순수주입 n‑코틸팅 모듈이 유한형식이 아닌 코터션 쌍을 만들 수 있는지에 대한 질문을 제시한다. 3절에서는 코틸팅 토션 쌍 (𝒳,𝒴)의 심장 H(𝒳,𝒴)을 다룬다. 기존 연구에 따르면 (𝒳,𝒴)가 코틸팅이면 H는 Grothendieck 범주가 된다. 여기서 저자는 H가 ‘국소적으로 노에테리언’(모든 객체가 국소적으로 Noetherian)일 때, (𝒳,𝒴)가 Σ‑순수주입 1‑코틸팅 모듈에 의해 코제네이트된다는 새로운 등가조건을 제시한다(Theorem 3.3). 증명은 Reiten‑Ringel 조건(Condition 3.1)을 핵심으로 한다. Proposition 3.2는 이 조건이 만족되면 𝒴와 𝒴₀가 일치함을 보이고, 이를 통해 𝒴=𝒴₁임을 얻는다. 이어서 Corollary 3.4는 차원 1 Σ‑순수주입 코틸팅 모듈을 갖는 모든 링이 코히런트임을 증명한다. 이는 코히런트 링이 모듈 이론에서 갖는 중요한 구조적 제약을 강조한다. 4절에서는 Noetherian 링 위에서의 완전한 분류를 제공한다. 여기서는 Reiten‑Ringel 조건을 만족하는 토션 쌍이 정확히 Σ‑순수주입 1‑코틸팅 모듈에 의해 유도된다는 Theorem 4.3을 증명한다. 이는 기존에 유한 차원 k‑알제브라에만 알려졌던 결과를 일반적인 Noetherian 링으로 확장한 것으로, 코틸팅 토션 쌍의 구조를 완전히 파악하는 데 기여한다. 논문 전체를 관통하는 흐름은 Σ‑순수주입성이라는 강한 순수적 성질이 코터션·토션 쌍의 유한형식성, 링의 코히런트성, 그리고 심장의 범주론적 성질을 동시에 제어한다는 점이다. 이러한 결과들은 모듈 이론과 표현론, 그리고 대수적 정밀성 이론 사이의 교차점을 넓히며, 향후 코틸팅 이론과 그 응용에 대한 새로운 연구 방향을 제시한다.