그래프 엔도몰피즘을 위한 브라우어 고정점 정리와 레프셰츠 공식

초록

본 논문은 단순 그래프에 대한 레프셰츠 수 L(T)를 정의하고, 이를 고정 단순체(클리크)의 부호화된 차수 i(x)와의 합으로 연결하는 레프셰츠 공식을 증명한다. L(T)≠0이면 T는 적어도 하나의 고정 클리크를 갖는다. 특히 0차 코호몰로지가 유일한 ‘별 모양’ 그래프(예: 트리)에서는 브라우어 고정점 정리가 성립한다. 또한 자동군 평균 레프셰츠 수가 그래프의 궤도 공간 G/A의 오일러 특성과 일치함을 보이고, 동적 제타 함수가 유리함수로 전개될 수 있음을 제시한다.

상세 분석

논문은 먼저 단순 그래프 G의 모든 완전 부분그래프(단순체)를 체로 보고, 이들에 대한 코호몰로지 이론을 전이시킨다. 각 단순체 x는 차원 dim(x)와 정점 순열에 의해 정의된 부호 ε_T(x)를 갖으며, 여기서 i(x)=(-1)^{dim(x)}·ε_T(x) 로 정의한다. 이때 ε_T(x)는 T가 x 위에서 유도하는 순열의 부호이며, 차원이 홀수이면 전체 부호에 -1을 곱한다. 이러한 정의는 연속체에서의 고정점 지수와 정확히 일치하도록 설계되었다.

레프셰츠 수 L(T)는 전통적인 정의와 마찬가지로 T가 유도하는 코호몰로지 사상 T^의 초트레이스, 즉 Σ_k (-1)^k·tr(T^|H^k(G)) 로 정의된다. 핵심 정리는 L(T)=Σ_{x∈Fix(T)} i(x) 를 증명함으로써, 코호몰로지적 정보와 순수히 조합론적인 고정 단순체들의 부호 합이 동일함을 보여준다. 증명은 체 복합체의 체 사상에 대한 표준적인 체 복소수와 코호몰로지 장을 이용하며, 특히 체 사상이 단순체를 고정시키는 경우와 그렇지 않은 경우를 구분해 기여도를 계산한다.

특수 경우 T=Id_G이면 i(x)=(-1)^{dim(x)} 가 되므로 Σ i(x) 가 그래프의 조합적 오일러 특성 χ(G)와 일치한다. 이는 전통적인 오일러-포인카레 공식의 그래프 버전이며, 코호몰로지적 오일러 특성 χ̂(G)=Σ_k (-1)^k dim H^k(G) 와도 동일함을 확인한다.

L(T)≠0이면 적어도 하나의 고정 단순체가 존재한다는 결론은 브라우어 고정점 정리의 이산적 아날로그다. 특히 차원 0 외에 다른 코호몰로지 군이 사라지는 ‘별 모양’ 그래프(예: 연결 트리, 별형 영역의 삼각분할)에서는 고정점이 반드시 정점, 간선, 혹은 삼각형 등 완전 부분그래프 형태로 나타난다. 이는 연속체에서 점이 고정점이 되는 것과 완전히 대응한다.

자동군 A=Aut(G) 위에서 평균 레프셰츠 수 L̄(G)=|A|^{-1} Σ_{T∈A} L(T) 를 정의하고, 이를 G를 A에 의해 동치류로 만든 그래프 G/A의 오일러 특성 χ(G/A)와 동일함을 증명한다. 이는 고정점 이론이 군 작용과도 자연스럽게 결합함을 보여준다.

마지막으로 동적 제타 함수 ζ_T(z)=exp( Σ_{n≥1} (Fix(T^n)/n) z^n ) 를 고려한다. 레프셰츠 공식으로부터 ζ_T(z) 가 두 개의 독립적인 프라임 궤도(단순체와 그 반대 부호) 에 대한 곱 형태로 전개됨을 보이고, 따라서 유리함수로 명시적 표현이 가능함을 증명한다. 이는 그래프 동역학에서 주기적 궤도의 통계적 정보를 압축하는 강력한 도구가 된다.