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

초록

이 논문은 사이클릭 오페라드 O에 대해 정의된 리 대수 h_O의 호모로지를 헤어리 그래프 복합체와 연결시키는 새로운 트레이스 사상을 도입한다. 특히 Lie 오페라드 경우, 트레이스 사상을 이용해 h_O의 아벨리안화에 고전적인 SL(2,ℤ) 모듈러 형식이 나타나는 큰 부분을 찾고, 이를 통해 Out(Fₙ)와 Aut(Fₙ)의 불안정 동류에 새로운 사이클을 구성한다. 또한, 연관된 연산자를 이용해 연관된 연산자(associative) 경우의 첫 번째 호모로지를 완전히 계산한다.

상세 분석

본 연구는 사이클릭 오페라드 O에 대해 정의된 리 대수 h_O를 대상으로, 그 호몰로지를 그래프 이론과 연결시키는 새로운 프레임워크를 제시한다. 기존에 콘테비치가 그래프 호몰로지를 이용해 Lie와 associative 오페라드에 대응되는 h_O의 호몰로지를 각각 Out(Fₙ)와 Mod(g,s)와 연관시킨 바 있다. 저자들은 여기서 “헤어리 그래프 복합체”(hairy graph complex) H_V를 정의하고, Chevalley‑Eilenberg 복합체 C·(h_V)에서 H_V로 가는 트레이스 사상 Tr을 구축한다. 이 사상은 Morita가 정의한 기존의 트레이스(정점 하나와 머리( hairs )만을 갖는 그래프) 를 일반화한 것으로, 그래프의 랭크(순환 부분의 차원)를 자유롭게 늘릴 수 있다.

핵심 정리인 Theorem 4.3L은 안정화된 차원에서 Tr이 체인 사상이며, H⁎(h_∞) → H⁎(H_∞)에 대해 주입(injection)임을 보인다. 즉, h_∞의 모든 호몰로지 클래스는 헤어리 그래프 호몰로지 안에 삽입될 수 있다. 그러나 사상은 전사(surjection)가 아니며, 이미지의 크기를 정량화하기 위해 H₁(H_V)를 랭크 r에 따라 분해한다. r=0,1 경우는 기존 Morita 트레이스와 일치하지만, r≥2에서는 새로운 기여가 나타난다. 특히 Theorem 8.8은 H₁, r와 Out(F_r)의 꼬인(coefficient) 코호몰로지 H^{2r‑3}(Out(F_r); k