[논문 리뷰] Graph cohomology and Kontsevich cycles

Kiyoshi Igusa|ArXiv.org|2003. 03. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 결합 그래프 호모로지에서의 이중 콘체비치 사이클과 매핑 클래스 군의 호모로지에서 조정된 밀너-모리타-머피 클래스의 다항식 사이에 정확한 대응 관계를 설정한다. 리본 그래프의 세포 호모로지 복합체와 그래프 호모로지 복합체 사이의 유리수 사슬 호모토피 동치를 통해 첫 두 항의 명시적 공식을 계산하여, 아르바렐로와 코르날바의 추측을 검증하고 확장하며 콘체비치가 제기한 질문을 해결한다.

ABSTRACT

The dual Kontsevich cycles in the double dual of associative graph homology correspond to polynomials in the Miller-Morita-Mumford classes in the integral cohomology of mapping class groups. I explain how the coefficients of these polynomials can be computed using Stasheff polyhedra and results from my previous paper GT/0207042.

연구 동기 및 목표

• 결합 그래프 호모로지에서의 콘체비치 사이클과 매핑 클래스 군의 호모로지에서의 밀러-모리타-머피 클래스 사이의 관계를 명확히 하기 위해.
• 아이구사의 이전 결과를 확장하고 그래프 호모로지와 매핑 클래스 군 호모로지 사이의 이중성에 대한 상세한 증명을 제공하기 위해.
• 조정된 밀러-모리타-머피 클래스에 대한 이중 콘체비치 사이클의 다항식 표현에서 첫 두 항의 계수를 계산하기 위해.
• 이 사이클이 곡선의 모듈리 공간 위에 작용하는 데 대해 아르바렐로와 코르날바가 제안한 공식을 검증하고 일반화하기 위해.

제안 방법

• 리본 그래프의 카테고리의 세포 호모로지 복합체와 정수 계수 그래프 호모로지 복합체 사이의 유리수 사슬 호모토피 동치를 구성하기 위해.
• 숲 운반자 구조를 사용하여 그래프 호모로지 복합체 위에 ${\mathbb{Z}}$-증강된 야행성 사슬 복합체를 정의하기 위해.
• 컨던트-폭트만의 그래프 방향 정의를 적용하여 스타셰프 아소시아헤드라의 내재적 방향을 결정하고 부호 관례를 정당화하기 위해.
• 순환 집합 코호모로지 족을 사용하여 밀러-모리타-머피 클래스를 콘체비치 사이클에 적용하기 위해.
• 특정 리본 그래프 구성에서 부호와 다중도 계산을 철저히 수행하여 계수를 유도하기 위해.
• 그래프 호모로지에서 세포 호모로지 복합체로 향하는 유리수 역사상 $\psi$를 유도하여, 유리수 호모토피 동치를 확립하기 위해.

실험 결과

연구 질문

• RQ1 결합 그래프 호모로지에서의 이중 콘체비치 사이클은 매핑 클래스 군의 호모로지에서의 밀러-모리타-머피 클래스와 어떻게 관련이 있는가?
• RQ2 이중 콘체비치 사이클을 나타내는 조정된 밀러-모리타-머피 클래스에 대한 명시적 다항식 표현은 무엇인가?
• RQ3 이 다항식의 계수는 곡선의 모듈리 공간의 계면에 대한 아르바렐로와 코르날바의 추측된 Poincaré 쌍대의 계수와 어떻게 관련이 있는가?
• RQ4 리본 그래프 카테고리와 그래프 호모로지 복합체 사이의 유리수 사슬 호모토피 동치의 정확한 구조는 무엇인가?
• RQ5 콘체비치 사이클 공식의 계수에 대한 추측된 대칭성이 일반 $n,k$ 에 대해 증명되고 일반화될 수 있는가?

주요 결과

• 모든 $n \neq 1$ 에 대해, 이중 콘체비치 사이클 $[W_{n,1}^\ast]$ 는 $3(-2)^{n+3}(2n+1)!!(\widetilde{\kappa}_n\widetilde{\kappa}_1 - \widetilde{\kappa}_{n+1}) - (-2)^{n+2}(2n+5)!!\widetilde{\kappa}_{n+1}$ 으로 주어진다.
• 모든 $n = 1$ 에 대해, 공식은 2로 나누어지며, $[W_{1,1}^\ast] = 72\widetilde{\kappa}_1^2 + 348\widetilde{\kappa}_2$ 를 얻는다. 이는 알려진 계산과 일치한다.
• 공식 $[W_{n,1}^\ast]$ 는 아르바렐로와 코르날바의 계산과 일치하여, 그들이 제안한 계면에 대한 사이클의 작용이 확인된다.
• 모든 $k \leq 7$ 에 대해 $[W_{n,k}^\ast]$ 의 일반 공식이 검증되었으며, $n=k=2$ 인 경우 $[W_{2,2}^\ast] = 7200\widetilde{\kappa}_2^2 + 159120\widetilde{\kappa}_4$ 를 얻어 그 결과와 일치한다.
• $[W_{1,1,1}^\ast] = 288\widetilde{\kappa}_1^3 + 4176\widetilde{\kappa}_1\widetilde{\kappa}_2 + 20736\widetilde{\kappa}_3$ 는 계산되어 추측된 구조와 일치함을 보였다.