그래프 Hom 복합체의 동형군

초록

(\times)-동형 이론을 \cite{DocHom}에서 제시된 바와 같이 점 그래프 범주에 적용하여 연구한다. 주요 결과는 (\Hom_(G,H)) 공간의 고차 동형군과 (\Hom_(G,H^{I}))의 동형군을 연결하는 장Exact 시퀀스이다. 여기서 (\Hom_(G,H))는 점 그래프 사상 (G\to H)를 매개하는 공간(일반 (\Hom) 복합체의 점 버전)이며, (H^{I})는 (H)의 기반 경로 그래프이다. 이로부터 (\pi_i\big(\Hom_(G,H)\big)\cong

상세 요약

이 논문은 그래프 이론과 위상수학 사이의 교차점에 위치한 (\times)-동형이라는 새로운 동형 개념을, 점 그래프(category of pointed graphs)라는 보다 구조화된 환경에서 재조명한다. 기존의 (\Hom) 복합체는 두 그래프 사이의 모든 그래프 사상을 정점 집합으로 갖는 셀 복합체로, 그 위상적 성질이 그래프 색채 문제와 코시-스틸러 정리 등 다양한 조합론적 결과와 연결돼 왔다. 그러나 (\times)-동형은 사상 사이의 연속적인 변형을 그래프 구조 자체에 내재된 ‘곱’ 연산을 통해 정의함으로써, 전통적인 위상동형과는 다른 동형론적 풍경을 제공한다.

논문은 먼저 점 그래프 (\Hom_(G,H))를 정의한다. 이는 일반 (\Hom(G,H))에 기반점 조건을 추가한 것으로, 사상들이 기준점(보통 그래프의 특정 정점)을 고정하도록 강제한다. 이 제한은 이후에 경로 그래프 (H^{I})와 폐경로 그래프 (\Omega H)를 정의하고, 이들 사이에 장Exact 시퀀스를 구축하는 데 핵심적인 역할을 한다. 장Exact 시퀀스는 고차 동형군 (\pi_i)와 (\pi_{i-1}) 사이의 관계를 명시적으로 보여 주어, (\Hom_(G,H))의 위상적 구조를 단계적으로 해석할 수 있게 한다.

특히 중요한 결과는 (\pi_i(\Hom_*(G,H)))가 (