[논문 리뷰] Oriented hairy graphs and moduli spaces of curves

Assar Andersson, Thomas Willwacher외 1명|arXiv (Cornell University)|2020. 05. 01.

Topological and Geometric Data Analysis참고 문헌 24인용 수 11

한 줄 요약

이 논문은 털이 있는 그래프 복합체(HOGC)를 도입하여, 털이 있는 그래프 복합체, 리본 그래프 복합체, 그리고 곡선의 모듈리 공간의 코homology를 연결하는 통합 프레임워크를 제공한다. 수정된 미분을 가진 털이 있는 그래프 복합체와 동일한 미분을 가진 리본 그래프 복합체 사이의 준동형을 확립함으로써, Chan-Galatius-Payne와 Merkulov-Willwacher의 결과를 무게 0에서 통합하고, 모듈리 공간의 컴act하게 지지된 코homology에 대한 추측을 확인한다.

ABSTRACT

We discuss a graph complex formed by directed acyclic graphs with external legs. This complex comes in particular with a map to the ribbon graph complex computing the (compactly supported) cohomology of the moduli space of points $\mathcal M_{g,n}$, extending an earlier result of Merkulov-Willwacher. It is furthermore quasi-isomorphic to the hairy graph complex computing the weight 0 part of the compactly supported cohomology of $\mathcal{M}_{g,n}$ according to Chan-Galatius-Payne. Hence we can naturally connect the works Chan-Galatius-Payne and of Merkulov-Willwacher and the ribbon graph complex and obtain a fairly satisfying picture of how all the pieces and various graph complexes fit together, at least in weight zero.

연구 동기 및 목표

• Chan-Galatius-Payne가 곡선의 모듈리 공간의 최고 무게 코homology에 대해 제시한 결과와 Merkulov-Willwacher가 리본 그래프 복합체에 대해 제시한 결과를 통합하기 위해.
• Kontsevich 그래프 복합체에서 새로운 그래프 복합체로 Merkulov-Willwacher 사상의 확장을 위해, 외부 끝(털)과 방향성 있는 비순환 구조를 포함한다.
• 미분 δ + Δ를 가진 방향성 있는 털이 있는 그래프 복합체와 동일한 미분을 가진 리본 그래프 복합체 사이의 준동형을 확립하여 두 프레임워크를 연결하기 위해.
• Merkulov-Willwacher의 사상이 수정된 미분 Δ를 가진 리본 그래프 복합체에 대해 Cǎldǎraru의 추측을 확인하기 위해.
• 털이 있는, 리본의, 그리고 Kontsevich의 그래프 복합체가 모두 무게 0 설정에서 어떻게 관련되어 있는지를 완전한 그림을 제공하기 위해.

제안 방법

• 저자들은 내부 정점(최소 이중 이상, 모든 간선이 외부로 향함)과 외부 1-차 정점('털' 또는 '다리')를 가진 방향성 있는 비순환 그래프의 이소모피즘 클래스의 형식적 급수로 구성된 방향성 있는 털이 있는 그래프 복합체 HOGC^n_S를 정의한다. 이 정점들은 유한 집합 S에 의해 레이블링된다.
• 그들은 털이 있는 그래프 복합체의 표준 미분을 일반화하면서도 방향성 있는 비순환 구조를 유지하는 HOGC^n_S에 대한 미분 δ를 도입한다.
• 리본 그래프 복합체 RGC_0에 대해 두 번째 미분 Δ를 정의한다. 이는 Bridgeland 미분으로 알려져 있으며, 리본 그래프의 접합과 간선 압축의 조합론을 반영한다.
• 핵심 구성은 HOGC^n_S에서 RGC_0로의 사상으로, Merkulov-Willwacher 사상의 확장이며, 미분 δ와 Δ와 가환한다.
• 저자들은 g ≥ 2에서 HOGC^n_S의 코homology가 δ + Δ를 미분으로 가질 때 RGC_0의 코homology와 준동형임을 증명한다.
• 이 준동형을 사용하여 H*(RGC_0, δ + Δ) ≅ ⊗_r≥1 (H_c(M_{g,r}) ⊗ Q[-1]^r)_{S_r} for g ≥ 2임을 보이고, 이는 추측을 확인한다.

실험 결과

연구 질문

• RQ1 털이 있는 그래프 복합체는 방향성 있는 비순환 구조와 외부 끝(털)을 포함하도록 어떻게 확장할 수 있으며, 리본 그래프 복합체와의 호환성을 유지할 수 있는가?
• RQ2 HOGC^n_S에서 RGC_0로의 자연스러운 사상이 미분 δ와 Δ와 가환하는가?
• RQ3 수정된 미분 δ + Δ를 가진 리본 그래프 복합체의 코homology는 g ≥ 2에서 M_g의 컴팩트하게 지지된 코homology를 계산하는가?
• RQ4 Chan-Galatius-Payne의 최고 무게 코homology 결과는 단일 그래프 이론적 프레임워크를 통해 Merkulov-Willwacher의 구축과 자연스럽게 연결될 수 있는가?
• RQ5 표준 미분과 Bridgeland 미분의 합을 가진 방향성 있는 털이 있는 그래프 복합체는 리본 그래프 복합체와 준동형인가?

주요 결과

• 무게 g ≥ 2에서, 미분 δ + Δ를 가진 방향성 있는 털이 있는 그래프 복합체 HOGC^n_S는 동일한 미분을 가진 리본 그래프 복합체 RGC_0와 준동형이다.
• RGC_0의 코homology가 δ + Δ를 가질 때, g ≥ 2에서 M_g의 컴팩트하게 지지된 코homology와 동형이며, 이는 Cǎldǎraru의 추측을 확인한다.
• HOGC^n_S에서 RGC_0로의 사상은 미분 δ와 Δ와 가환하므로, 털이 있는 그래프 복합체와 리본 그래프 복합체 사이의 자연스러운 다리를 제공한다.
• 모듈리 공간 M_{g,n}의 코hom로지의 무게 0 부분은, Cǎldǎraru의 추측에 따라 (RGC_0, δ + Δ)의 코homology로 자연스럽게 계산된다.
• 이 구성은 Chan-Galatius-Payne와 Merkulov-Willwacher의 결과를 무게 0 설정에서 통합하는 프레임워크를 제공한다.