코티링 모듈 정의 네 가지의 통합적 비교

초록

본 논문은 미야시타식 M‑cotilting, Auslander‑Reiten식 AR‑cotilting, 빅 cotilting, 그리고 AAITY‑cotilting 네 가지 정의를 비교한다. 오른쪽 아티니안 Noetherian 대수에서는 M‑cotilting, 빅 cotilting, AAITY‑cotilting이 동치이며, 아티니안 대수에서는 네 정의가 모두 동치임을 보인다.

상세 분석

논문은 먼저 코티링 이론의 배경을 정리하고, 자기 직교(self‑orthogonal) 모듈과 Wakamatsu tilting 개념을 도입한다. Wakamatsu tilting은 n‑tilting의 약화 형태로, gen R와 cogen T만을 요구한다는 점에서 기존 정의와 차별된다. 이어서 네 가지 코티링 정의를 정확히 제시한다. 미야시타식 M‑cotilting은 오른쪽 Noetherian 링 R과 왼쪽 Noetherian 엔드링 S=End_R C를 가정하고, C가 Wakamatsu tilting이며 id C_R, id C_S가 유한해야 한다. AR‑cotilting은 유한 차원 Artin 대수에서 자기 직교이며 id C_R≤n이고, D R‑코히어런트 모듈을 이용한 정확한 시퀀스를 요구한다. 빅 cotilting은 (i) 유한 사상 차원, (ii) 모든 집합 I에 대해 Ext¹_R(C^I, C)=0, (iii) injective cogenerator Q와의 Prod‑시퀀스를 포함한다. 마지막으로 AAITY‑cotilting은 (i) 유한 사상 차원, (ii) K_C⊆cogen C 조건을 통해 K_C와 cogen C가 일치함을 요구한다.
핵심 정리는 세 가지 레마와 두 가지 주요 정리이다. Lemma 3.6은 C가 자기 직교이고 S가 좌‑coherent일 때, C가 Wakamatsu tilting임을 보이며, 특히 Hom_R(C,Q)와 End_S(C) 사이의 동형을 확보한다. Lemma 3.7은 M‑cotilting 모듈이 Add‑시퀀스를 가짐을 증명하고, Noetherian 가정 하에서는 add‑시퀀스로 강도화한다. Theorem 3.9은 (a) 빅 cotilting이면 M‑cotilting임을, (b) C가 product‑complete이면 M‑cotilting이면 빅 cotilting임을 보인다. Theorem 3.15와 3.18은 각각 빅 cotilting ↔ AAITY‑cotilting, M‑cotilting ↔ AAITY‑cotilting을 연결한다. 결과적으로 Corollary 3.20은 오른쪽 Artinian Noetherian 대수에서 세 정의가 동치임을, Corollary 3.23은 Artin 대수에서 네 정의가 모두 동치임을 요약한다.
이러한 결과는 코티링 이론에서 정의의 다양성으로 인한 혼란을 해소하고, 특히 유한 생성 모듈 범위에서 동일한 구조적 특성을 공유한다는 점에서 의미가 크다. 또한 product‑complete 조건이 빅 cotilting과 M‑cotilting 사이의 다리 역할을 함을 보여, 모듈 이론과 호몰로지 이론 사이의 상호작용을 명확히 한다.