Decompositions into a direct sum of projective and stable submodules

1. 연구 문제 (Problem Statement)

이 논문의 핵심 문제는 어떤 조건 하에서 $R$-모듈 $M$이 프로젝트티브 부분 모듈 $P$와 안정적 (stable) 부분 모듈 $N$의 직합 ($M = P \oplus N$) 으로 분해되는가를 규명하고, 반대로 그런 분해가 실패하는 구체적인 예시들을 찾는 것입니다.

• 정의:
  • 안정적 모듈 (Stable Module): 0 이 아닌 프로젝트티브 직합 인자 (direct summand) 를 갖지 않는 모듈.
  • 프로젝티브 모듈 (Projective Module): 표준적인 정의에 따름.
• 배경:
  • 기존 연구 (Warfield, Zangurashvili 등) 에 따르면, 반국소 (semiperfect) 환이나 왼쪽 유계 (left hereditary) 환 등 특정 조건을 만족하는 환 위에서는 유한 생성 모듈이나 특정 클래스의 모듈들이 항상 이러한 분해를 가진다는 것이 알려져 있었습니다.
  • 그러나 임의의 환 (arbitrary ring) 위에서는 이러한 분해가 항상 성립하지 않을 수 있으며, 특히 유한 생성 (finitely generated) 이나 유한 제시 (finitely presented) 모듈조차도 분해가 불가능한 경우가 존재할 수 있는지 여부가 주요 연구 대상입니다.
• 목표: 분해가 성립하는 범위를 확장하는 것뿐만 아니라, 분해가 실패하는 반례 (counterexamples) 를 구성하여 그 한계를 명확히 하는 것입니다.

2. 방법론 (Methodology)

논문은 다음과 같은 수학적 도구와 기법을 활용하여 문제를 접근합니다.

1. 유니폼 차원 (Uniform Dimension) 과 홀로우 차원 (Hollow Dimension):

   • 모듈의 부분 모듈 격자 (lattice) 의 구조를 분석하여 유한한 유니폼 차원이나 홀로우 차원을 갖는 모듈이 어떻게 분해되는지 연구합니다.
   • Lemma 2.1: 만약 모듈이 $P \oplus N$ 형태로 분해되지 않는다면, 무한한 프로젝트티브 부분 모듈의 직합을 포함하게 되어 유니폼 차원과 홀로우 차원이 무한대가 됨을 증명합니다. 이를 통해 유한 차원을 갖는 모듈은 반드시 분해 가능함을 유도합니다.

2. 오슬랜더 - 브리저 전사 (Auslander-Bridger Transpose):

   • 유한 제시 (finitely presented) 모듈 $M$에 대해 전사 함수 $\text{Tr}(M)$을 정의하고, 이를 통해 모듈의 성질을 분석합니다.
   • Theorem 3.2 및 Lemma 3.7: $\text{Tr}(M)$의 프로젝트티브 차원 (projective dimension) 이 1 이하일 때, $M$이 $M^{**} \oplus \text{Ext}^1_R(\text{Tr}(M), R)$ 형태로 분해됨을 보입니다. 여기서 $M^{**}$는 프로젝트티브이고, $\text{Ext}$항은 안정적입니다.

3. 환의 성질 분석 (Right Perfect, Coherent, Hereditary 등):

   • Chase 의 정리와 torsionless 모듈 (torsionless module) 의 성질을 이용하여, 분해가 성립하기 위한 환의 필요충분조건 (오른쪽 perfect 이고 왼쪽 coherent 인 경우) 을 재검토합니다.
   • 반례 구성을 위해 비 (non-) perfect 이거나 비-coherent 인 환, 그리고 특정 조건 (right semihereditary but not right Baer 등) 을 만족하는 환들을 구성합니다.

4. 구체적 반례 구성:

   • 무한 생성 모듈, 유한 생성 모듈, 유한 제시 모듈에 대한 구체적인 반례를 대수적 구조 (행렬 환, 무한 곱, idealization 등) 를 이용해 직접 구성합니다.

3. 주요 결과 (Key Results)

A. 분해가 성립하는 경우 (Positive Results)

1. 유한 차원 모듈: 임의의 환 위에서 유한한 유니폼 차원 또는 유한한 홀로우 차원을 갖는 모듈은 항상 프로젝트티브 부분 모듈과 안정적 부분 모듈의 직합으로 분해됩니다 (Theorem 2.2).
   • 이는 Noetherian 모듈, Artinian 모듈, 그리고 반국소 (semilocal) 환 위의 유한 생성 모듈에 대해 분해가 성립함을 의미합니다 (Corollary 2.3, 2.4).
2. 왼쪽 반유계 (Left Semihereditary) 환:
   • Theorem 3.10: $R$이 왼쪽 반유계 (left semihereditary) 환이고 $M$이 유한 제시 (right) $R$-모듈이면, $M$은 프로젝트티브 부분 모듈 $P$와 안정적 부분 모듈 $N$의 직합으로 분해됩니다.
   • 이 분해는 $P \cong M^{**}$ (이중 쌍대) 와 $N \cong \text{Ext}^1_R(\text{Tr}(M), R)$로 구체적으로 표현됩니다.

B. 분해가 실패하는 경우 (Negative Results / Counterexamples)

논문의 핵심 기여는 분해가 실패하는 다양한 예시를 제시하는 것입니다.

1. 무한 생성 모듈:
   • Theorem 4.1: $R$이 오른쪽 perfect 이거나 왼쪽 coherent 가 아닌 경우, 분해가 불가능한 torsionless 모듈이 존재합니다.
   • Example 4.2: 정수환 $\mathbb{Z}$ 위의 무한 직곱 $\prod_{i=1}^\infty \mathbb{Z}$는 torsionless 이지만 프로젝트티브가 아니며, 분해가 불가능합니다.
2. 유한 생성 모듈:
   • Theorem 4.3: 오른쪽 반유계 (right semihereditary) 이지만 오른쪽 Baer 가 아닌 환 위에서, 분해가 불가능한 순환 (cyclic) 모듈이 존재합니다.
   • Theorem 4.6: 오른쪽 semiartinian 이면서 오른쪽 V-ring 이지만 반단순 (semisimple) 이 아닌 환 위에서, 분해가 불가능한 순환 모듈이 존재합니다. 이는 유한 생성 모듈에 대한 강력한 반례입니다.
3. 유한 제시 (Finitely Presented) 모듈 (최종 반례):
   • Example 4.8: 교환환 (commutative ring) $A$ 위에서 유한 제시 (실제로는 순환 제시, cyclically presented) 인 모듈 $M$을 구성했습니다.
   • 이 모듈 $M$은 프로젝트티브가 아니며, 0 이 아닌 안정적 부분 모듈을 전혀 갖지 않습니다.
   • Lemma 4.7: $M$이 프로젝트티브가 아니고 0 이 아닌 안정적 부분 모듈을 갖지 않으면, $M$은 어떤 안정적 모듈과도 '프로젝티브 동치 (projectively equivalent)'가 될 수 없습니다. 즉, 안정적 카테고리 (stable category) 에서도 $M$은 안정적 모듈과 동치가 아닙니다.
   • 이는 "유한 제시 모듈은 항상 프로젝트티브와 안정적의 직합으로 분해된다"는 가설을 완전히 반증하는 결정적인 예시입니다.

4. 기여 및 의의 (Significance)

1. 분해 이론의 한계 규명:
   • 기존에 알려진 분해 정리 (Warfield, Zangurashvili 등) 가 적용되는 범위를 명확히 하고, 그 범위를 벗어날 때 어떤 현상이 발생하는지를 체계적으로 보여주었습니다. 특히 "유한 생성"이나 "유한 제시"라는 조건만으로는 분해가 보장되지 않음을 증명했습니다.
2. 오슬랜더 - 브리저 전사의 활용:
   • 유한 제시 모듈의 분해 문제를 해결하기 위해 오슬랜더 - 브리저 전사 (Auslander-Bridger transpose) 와 Ext 함자를 효과적으로 연결하여, 왼쪽 반유계 환 위에서의 분해 정리를 엄밀하게 증명했습니다.
3. 새로운 반례의 제시:
   • 가장 중요한 기여는 유한 제시 (finitely presented) 인데도 분해가 불가능한 모듈을 명시적으로 구성한 것입니다. 이는 대수적 표현 이론 (representation theory) 에서 안정적 모듈을 다루는 방법론의 적용 가능성에 대한 중요한 제약을 시사합니다.
   • 특히 Example 4.8 의 모듈은 안정적 카테고리에서도 안정적 모듈과 동치가 아니라는 점에서, 모듈의 구조적 복잡성을 보여주는 강력한 사례입니다.
4. 학술적 협력:
   • 논문의 주요 반례 (Theorem 4.6, Example 4.8) 는 Noyan Er 의 기여로 발견되었으며, 이는 이 분야의 연구자들이 협력하여 복잡한 대수적 구조를 탐구하는 과정을 보여줍니다.

5. 결론

이 논문은 모듈이 프로젝트티브와 안정적 부분 모듈의 직합으로 분해될 수 있는 조건을 정립하고, 그 조건이 깨질 때 발생하는 현상을 구체적인 반례를 통해 규명했습니다. 특히, 유한 제시 모듈조차도 이러한 분해가 실패할 수 있음을 증명함으로써, 모듈 이론과 표현 이론에서 안정적 모듈의 역할을 이해하는 데 있어 중요한 통찰을 제공했습니다. 이는 환의 구조 (perfect, coherent, hereditary 등) 와 모듈의 분해 가능성 사이의 미세한 관계를 규명하는 데 기여한 연구로 평가됩니다.