헤어리 그래프와 Mod(g,s), Out(Fₙ), Aut(Fₙ)의 불안정 동류론

본 논문은 사이클릭 오페라드 O에 대해 정의된 리 대수 h_O와 그 호몰로지를 그래프 이론을 통해 새롭게 해석한다. 서론에서는 트리와 그래프가 다양한 수학·물리 현상을 모델링하는 배경을 제시하고, 특히 V라는 심플렉틱 벡터 공간 위에 정의된 h_V(=h_O V)의 중요성을 강조한다. h_V는 기본적인 “스파이더”(O‑spider)라 불리는 그래프 형태의 원소들로 생성되며, 이들의 차수는 다리(leg)의 수 minus 2 로 정의된다. 차수가 0인 스파이더는 sp(V)와 동형이며, 양의 차수 스파이더들만으로 구성된 부분 대수 h_V는 연구의 핵심 대상이다. 2절에서는 h_O와 L_O의 정확한 정의, 심플렉틱 작용, 그리고 Chevalley‑Eilenberg 복합체를 통한 호몰로지 정의를 다룬다. 특히 무한 차원 V에 대해 연속 코호몰로지 H_c^*(h_V) 를 직접극한과 역극한을 이용해 정의함으로써, 안정화 과정에서 발생하는 기술적 문제를 해결한다. 3절에서는 “헤어리 O‑그래프 복합체” H_V 를 도입한다. 여기서는 그래프의 정점이 O‑색칠되고, 각 정점에 V‑라벨이 붙은 “머리”(hair)들이 추가된다. 이러한 그래프들의 스팬을 체인 복합체로 삼아, 차수와 랭크(순환 부분의 차원)에 따라 분해한다. 핵심은 이 복합체와 기존의 Chevalley‑Eilenberg 복합체 사이에 정의되는 트레이스 사상 Tr: C·(h_V) → H_V 이다. Tr 은 두 스파이더를 하나의 그래프로 결합하고, 결합된 다리의 라벨을 심플렉틱 쌍으로 평가하는 과정을 일반화한다. 주요 정리 4.3L은 Tr이 체인 사상이며, 안정화된 V에 대해 H^*(h_∞) → H^*(H_∞) 가 주입임을 증명한다. 이는 h_∞의 모든 호몰로지 클래스가 헤어리 그래프 호몰로지 안에 삽입될 수 있음을 의미한다. 그러나 Tr 의 이미지가 전사적이지 않으므로, 이미지의 구조를 파악하기 위해 H₁(H_V)를 랭크 r 별로 분해한다. r=0,1 경우는 기존 Morita 트레이스와 일치하고, r≥2 경우는 새로운 기여를 제공한다. 정리 8.8은 H₁, r 와 Out(F_r)의 꼬인(coefficient) 코호몰로지 H^{2r‑3}(Out(F_r); k