단순 모듈 최소 사영 해상도와 인시던스 대수의 호치코흐 동시군 계산

초록

본 논문은 유한 차원 인시던스 대수 Λ의 단순 모듈에 대한 최소 사영 해상도를 구하는 실용적인 알고리즘을 제시한다. i‑사이클이라는 새로운 인덱스를 이용해 선형대수 연산만으로 해상도를 구성하고, 이를 통해 Ext 군, 호치코흐 동시군, 그리고 유한 T₀ 공간의 특이 코호몰로지를 효율적으로 계산한다.

상세 분석

논문은 먼저 유한 부분순서집합 X의 하세 다이어그램 Q를 이용해 인시던스 대수 Λ = kQ/I 를 정의한다. 핵심 아이디어는 “i‑사이클”이라는 집합 C_i 를 재귀적으로 구성하여, 각 단계에서 나타나는 사영 모듈 P_i 의 직접합 성분을 정확히 파악하는 것이다. C₀는 선택된 정점 x, C₁은 x의 즉시 후계쌍 (x,y) 로 시작하고, ∂₁ 은 (x,y)↦x 로 정의된다. i≥2에 대해서는 ker ∂{i‑1} 를 각 정점 z에 대해 부분공간 (ker ∂{i‑1})z 로 분해하고, 그 보완을 선택해 B{i} 를 만든 뒤 C_i = ⋃_z B_i(z) 로 정의한다. 이 과정은 전적으로 기저 선택, 부분공간의 교집합·합, 그리고 보완 기저 계산이라는 기본적인 선형대수 연산에 의존한다.

구성된 C_i 와 ∂i 로부터 kC_i 를 Λ₀‑우측 모듈 구조화하고, 텐서 곱 kC_i⊗{Λ₀}Λ 로 사영 모듈 P_i 를 만든다. 사영 사상 d_i : (w,z)⊗1 ↦ w⊗q_z (여기서 q_z는 z에 도달하는 모든 경로의 합) 를 정의하면, Lemma 2와 Theorem 3에 의해 …→P₂→P₁→P₀→S_x→0 가 최소 사영 해상도가 된다. 최소성은 각 d_i 의 핵이 Jacobson 라디칼에 포함됨을 보임으로써 증명된다.

이 해상도를 이용하면 Ext^i_Λ(S_x,S_b) 의 차원을 |B_i^b| 로 바로 읽을 수 있다(Prop 4). 여기서 B_i^b는 i‑사이클 중 종착점이 b인 원소들의 집합이다. 따라서 복잡한 호몰로지 계산 없이도 단순 모듈 사이의 Ext 군을 combinatorial하게 구할 수 있다.

다음으로 Cibils의 결과(Theorem 5)를 활용해 호치코흐 동시군 HH^i(Λ,Λ) 를 Λ^* 의 두 특별한 단순 모듈 S_{x^}, S_{y^} 사이의 Ext^{i+2} 로 전환한다. 앞서 얻은 i‑사이클 정보를 그대로 적용하면 HH^i의 차원을 |B_{i+2}^{y^}| (i>0) 혹은 |B_2^{y^}|+1 (i=0) 로 명시한다(Theorem 6). 이는 기존에 복잡한 복합체나 사상 이론을 이용하던 방법과 달리, 순수히 선형대수 연산만으로 모든 차원의 호치코흐 동시군을 계산할 수 있음을 의미한다.

마지막으로 유한 T₀ 공간과 부분순서집합 사이의 동형 관계를 이용해, 위 결과가 해당 위상의 특이 코호몰로지와도 일치함을 언급한다(Remark 4). 실제 구현은 SageMath 기반의 코드가 제공되며, i‑사이클 알고리즘만으로도 충분히 실용적인 계산이 가능함을 보여준다.