Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

1. 문제 제기 (Problem Statement)

• 배경: $k$ 위의 코알게브라 $C$가 주어졌을 때, 그 쌍대 공간 $C^*$는 자연스럽게 결합 대수 (associative algebra) 가 됩니다. 이 대수 $C^*$의 모듈 범주 ($C^*$-Mod) 와 $C$의 코모듈 범주 ($C$-Comod) 사이에는 자연스러운 포함 함자 $\Upsilon: C\text{-Comod} \to C^*\text{-Mod}$가 존재하며, 이는 정확히 (exact) 완전 충실 (fully faithful) 합니다. 마찬가지로, $C$의 콘트라모듈 범주 ($C$-Contra) 에서 $C^*$-Mod 로 가는 자연스러운 망각 함자 $\Theta: C\text{-Contra} \to C^*\text{-Mod}$도 존재합니다.
• 핵심 질문:
  1. 코모듈 포함 함자 $\Upsilon$와 콘트라모듈 망각 함자 $\Theta$가 유도된 삼각 범주 (triangulated categories, 즉 유계 또는 반유계 유도 범주) 에서 완전 충실한 함자가 되는 조건은 무엇인가?
  2. 이러한 조건은 $C$의 코호몰로지적 성질, 특히 $\text{Ext}^n_C(k, k)$의 유한 차원성과 어떻게 연결되는가?
  3. 코모듈과 콘트라모듈의 경우에서 완전 충실성이 성립하는지 여부는 서로 동치인가?
• 전제 조건: 논문은 $C$가 니일포텐트 (conilpotent) 코알게브라라고 가정합니다. 이는 코알게브라 이론에서 매우 중요한 클래스로, 코모듈 구조가 '점화적 (pointed)'인 성질을 가집니다.

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구와 전략을 사용하여 문제를 해결했습니다:

• 최소 분해 (Minimal Resolutions): 니일포텐트 코알게브라의 특성 (코모듈의 socle 과 콘트라모듈의 cosocle) 을 이용하여 코모듈의 최소 주사적 코분해 (injective coresolution) 와 콘트라모듈의 최소 사영적 분해 (projective resolution) 를 구성합니다.
• 필터링 (Filtration): 코알게브라 $C$와 그 모듈/코모듈/콘트라모듈 위에 자연스러운 필터링을 도입하여, 복잡한 구조를 단순한 구성 요소 (trivial comodule $k$) 로 분해하고 점화적 (inductive) 인 논증을 수행합니다.
• Ext 공간 비교: 코모듈 범주 내의 $\text{Ext}^i_C(L, M)$과 $C^*$-모듈 범주 내의 $\text{Ext}^i_{C^*}(L, M)$ 사이의 자연스러운 사상 (map) 을 분석합니다. 이 사상이 동형사상 (isomorphism) 이 되기 위한 필요충분 조건을 찾습니다.
• 이중 쌍대 (Double Dual) 및 차원 분석: 무한 차원 벡터 공간의 이중 쌍대 공간의 차원 성질 (Lemma 6.2) 을 활용하여, $\text{Ext}$ 공간이 무한 차원일 때 유도된 함자가 왜 완전 충실성을 잃는지 (단사적이지만 전사가 아님, 또는 그 반대) 증명합니다.
• 대수적 구조의 활용: $C$가 유한하게 코생성 (finitely cogenerated) 될 때, $C^*$가 완비 노에테르 국소환 (complete Noetherian local ring) 이 되는 성질을 이용하여, 코모듈/콘트라모듈 범주가 각각 $I$-torsion 모듈 범주 및 $I$-contramodule 모듈 범주와 동치임을 보입니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

논문의 핵심 결과는 Theorem 1.1과 Theorem 1.2에 요약되어 있으며, 다음과 같은 동치 관계를 확립합니다.

A. 주요 동치 조건 (Theorem 1.1)

니일포텐트 코알게브라 $C$와 정수 $n \ge 1$에 대해 다음 5 가지 조건은 서로 동치입니다:

1. 코모듈 Ext 동형: 포함 함자 $\Upsilon$가 유도하는 $\text{Ext}^i_C(L, M) \to \text{Ext}^i_{C^*}(L, M)$ 사상이 모든 $1 \le i \le n$에서 동형사상이다.
2. 우측 코모듈 Ext 동형: 우측 코모듈에 대해서도 위와 동일한 조건이 성립한다.
3. 콘트라모듈 Ext 동형: 망각 함자 $\Theta$가 유도하는 $\text{Ext}^i_C(P, Q) \to \text{Ext}^i_{C^*}(P, Q)$ 사상이 모든 $0 \le i \le n-1$ (분리된 콘트라모듈 $Q$에 대해) 에서 동형사상이다.
4. 유한 차원 Ext 조건: $k$-벡터 공간 $\text{Ext}^i_C(k, k)$가 모든 $1 \le i \le n$에서 유한 차원이다.
5. 우측 콘트라모듈 Ext 조건: $\text{Ext}^i_{C, C}(k, k)$가 유한 차원이다.

• 주요 발견: 코모듈의 경우 $n$차 Ext 가 유한 차원이어야 $n$차까지의 완전 충실성이 보장되지만, 콘트라모듈의 경우 $n$차 Ext 가 유한 차원이어야 $n-1$차까지의 완전 충실성이 보장됩니다 (차수 이동 현상).
• 반례: 만약 $\text{Ext}^n_C(k, k)$가 무한 차원이라면, $\Upsilon$에 의해 유도된 사상은 단사적이지만 전사가 아니며 (이중 쌍대 공간의 크기가 더 큼), $\Theta$에 의해 유도된 사상은 전사적이지만 단사가 아닙니다.

B. 유도 범주에서의 완전 충실성 (Theorem 1.2)

위 조건들이 성립할 때, 유도된 삼각 함자들이 완전 충실한지 여부가 결정됩니다:

• 코모듈 포함 함자 $\Upsilon$: 유계 아래 (bounded below) 유도 범주 $D^+(C\text{-Comod}) \to D^+(C^*\text{-Mod})$가 완전 충실할 필요충분 조건은 $\text{Ext}^n_C(k, k)$가 모든 $n \ge 0$에서 유한 차원인 것입니다.
• 콘트라모듈 망각 함자 $\Theta$: 유계 위 (bounded above) 유도 범주 $D^-(C\text{-Contra}) \to D^-(C^*\text{-Mod})$가 완전 충실할 필요충분 조건 역시 동일합니다.
• 무한 유도 범주 (Unbounded): 일반적인 무한 유도 범주 $D(C\text{-Comod}) \to D(C^*\text{-Mod})$의 완전 충실성은 일반적으로 성립하지 않을 수 있으나, 유한하게 코생성된 가환 (cocommutative) 니일포텐트 코알게브라의 경우에는 성립함이 증명되었습니다 (Corollary 11.4).

C. "약한 유한 Koszul (Weakly Finite Koszul)" 개념 정의

논문은 $\text{Ext}^n_C(k, k)$가 모든 $n \ge 0$에 대해 유한 차원인 니일포텐트 코알게브라를 "약한 유한 Koszul (weakly finitely Koszul)" 코알게브라라고 명명합니다. 이는 기존의 Koszul 대수/코알게브라 개념을 일반화한 것으로, 코알게브라가 유한하게 코생성된 경우나 가환인 경우에 이 성질이 자동적으로 성립함을 보였습니다.

4. 의의 및 중요성 (Significance)

1. 이론적 통합: 코모듈과 콘트라모듈이라는 서로 다른 대수적 구조가 쌍대 대수 $C^*$의 모듈 범주와 어떻게 상호작용하는지에 대한 깊은 통찰을 제공합니다. 특히, Ext 공간의 유한 차원성이 유도 범주의 구조를 결정한다는 점을 명확히 했습니다.
2. Koszul 이론의 확장: 전통적인 Koszul 대수 이론을 비가환적이고 무한 차원일 수 있는 코알게브라 설정으로 확장하여, "약한 유한 Koszul"이라는 새로운 개념을 도입했습니다.
3. 유도 범주 이론의 발전: 완전 충실한 함자가 유도 범주에서 어떻게 작용하는지에 대한 정교한 조건 (유계/반유계 vs 무계) 을 제시했습니다. 이는 호몰로지 대수학에서 유도 범주 간의 비교를 다룰 때 중요한 기준이 됩니다.
4. 가환 코알게브라의 완전한 이해: 가환 (cocommutative) 인 경우, 코알게브라 $C$와 그 쌍대 대수 $C^*$ (완비 노에테르 국소환) 사이의 관계가 매우 강력하여, 유계뿐만 아니라 무계 유도 범주까지도 완전 충실성이 성립함을 보였습니다. 이는 코모듈/콘트라모듈 이론과 가환 대수학 (commutative algebra) 사이의 강력한 연결고리를 보여줍니다.

요약

이 논문은 니일포텐트 코알게브라 $C$에 대해, 그 쌍대 대수 $C^*$의 모듈 범주로의 포함/망각 함자가 유도 범주에서 완전 충실한지 여부가 오직 $\text{Ext}^*_C(k, k)$의 유한 차원성에 의해 결정됨을 증명했습니다. 이는 코모듈과 콘트라모듈 이론을 통합하는 강력한 결과이며, "약한 유한 Koszul" 코알게브라라는 새로운 개념을 통해 호몰로지적 성질과 범주론적 성질을 연결했습니다.