고차 확장 모듈과 요네다 곱의 구조적 이해

본 논문은 “c‑extension 모듈”이라는 새로운 개념을 도입하여, 부분모듈 체인 E₀≥E₁≥…≥E_c≥E_{c+1}=0을 가진 모듈 E와 그 체인에서 파생되는 c개의 1‑코사이클 η_{L_i}^{L_{i+1}}∈Ext¹(L_i,L_{i+1}) 사이의 관계를 체계적으로 연구한다. 서론에서는 이러한 구조가 다중 확장 과정을 일반화한 것임을 밝히고, 기존의 Yoneda 등가가 c=1 경우에만 직접 적용될 수 있음을 지적한다. 따라서 저자는 부분체인 각각에 대한 1‑확장 데이터를 이용해 전체 모듈을 재구성하는 문제를 제기한다. 2장에서는 기호와 기본 개념을 정리하고, Ext 군과 Yoneda 곱, 연결 동형사상의 정의를 재확인한다. 특히 Yoneda 곱이 연결 동형사상과 동일함을 보이는 맥락을 통해 이후 증명에 필요한 도구들을 마련한다. 3장에서는 Yoneda 곱과 연결 동형사상의 관계를 명시적으로 서술한다. 여기서 η_{M}^{N}∈Ext¹(M,N)와 임의의 모듈 L에 대한 장Exact 시퀀스를 이용해 δ₁(η_{M}^{L})=η_{M}^{L}∘η_{L}^{N}임을 증명한다. 이는 이후 c=2 경우의 존재 정리의 핵심이다. 4장에서는 c‑extension 모듈의 정의와 동등성 개념을 제시한다. 두 모듈 E와 E′가 동일한 부분체인 구조와 동일한 1‑코사이클을 가질 경우 동등하다고 정의한다. 또한 “rigid tuple”이라는 개념을 도입해, 주어진 1‑코사이클 튜플에 대해 유일한 확장 모듈만 존재하는 경우를 구분한다. 5장에서는 가장 중요한 c=2에 대한 결과를 전개한다. 먼저 존재 정리(Theorem 5.1)를 증명한다. η^{M}_{L}∈Ext¹(M,L)와 η^{L}_{N}∈Ext¹(L,N)라는 두 1‑코사이클이 주어지면, 이들의 Yoneda 곱 η^{M}_{L}∘η^{L}_{N}∈Ext²(M,N)이 0이면 2‑extension 모듈이 존재하고, 반대이면 존재하지 않는다. 증명은 짧은 정확열 0←L←G₁←N←0에 Hom(M,−)를 적용한 장Long exact 시퀀스를 이용해 δ₁(η^{M}_{L})=0이라는 조건을 도출하고, 이것이 바로 Yoneda 곱의 영과 동치임을 보인다. 다음으로 모델링 정리(Theorem 5.2)를 제시한다. 존재하는 모든 2‑extension 모듈들의 집합 ExtMod(η^{M}_{L},η^{L}_{N})은 Ext¹(M,N) 위의 아핀 공간이며, 그 차원은 “첫 번째 1‑코사이클 확장군” Ext¹(η^{M}_{L},η^{L}_{N}) = Ext¹(M,N) / (Hom(M,L)∘η^{L}_{N} + η^{M}_{L}∘Hom(L,N)) 로 주어진다. 이는 Ext¹(M,N)의 원소가 두 1‑코사이클 사이의 사상에 의해 동일시되는 것을 의미한다. 또한 Corollary 5.3을 통해 이 아핀 공간이 0이면 튜플이 rigid함을 얻는다. 6장에서는 c≥3에 대한 일반화를 논의한다. Corollary 6.1에 의해 모든 인접 1‑코사이클 쌍에 대해 Yoneda 곱이 영이어야 함을 필요조건으로 제시한다. 그러나 Example 8.4에서 이 조건만으로는 충분하지 않으며, 실제로는 더 복잡한 2차 방정식 체계가 등장한다. 저자는 c=3인 경우 시스템을 두 개의 선형 시스템으로 분해할 수 있음을 보이며, c>3에서는 아직 완전한 차원 축소가 어려워 추가 연구가 필요함을 명시한다. 7장에서는 계산적 접근법을 상세히 설명한다. 모듈을 행렬 형태로 표현하고, 각 1‑코사이클을 행렬 방정식으로 전환한다. 이를 통해 “좌표화된” 시스템을 구축하고, c=2에서는 선형 비동형 시스템이 삼각형 구조를 가져 해를 단계적으로 구할 수 있음을 보여준다. c=3에서는 시스템이 2차 형태가 되지만, 특정 부분을 별도 해결함으로써 전체 문제를 두 번의 선형 해결로 환원한다. 8장에서는 구체적인 예시들을 제시한다. 예시 8.1은 간단한 가환 링 위의 모듈을 이용해 Yoneda 곱이 영인 경우와 아닌 경우를 비교한다. 예시 8.4는 c=3에서 필요조건만 만족하지만 실제 3‑extension 모듈이 존재하지 않는 사례를 제공한다. 또한 homalg 패키지를 사용해 컴퓨터 대수 시스템에서 자동으로 Ext 군과 Yoneda 곱을 계산하고, 해당 모듈을 재구성하는 절차를 시연한다. 결론에서는 본 연구가 고차 확장 모듈의 존재와 구조를 Yoneda 곱을 중심으로 명확히 규정함으로써, 대수적 위상, 제어 이론, 그리고 차분 방정식의 Galois 이론 등 다양한 분야에 적용 가능함을 강조한다. 향후 과제로는 c>3에 대한 완전한 차원 축소, 비가환 링 위에서의 일반화, 그리고 더 효율적인 알고리즘 구현이 있다.