[논문 리뷰] A symmetric version of Kontsevich graph complex and Leibniz homology

Emily Burgunder|ArXiv.org|2008. 04. 13.

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

한 줄 요약

이 논문은 심플렉틱 벡터 장의 리 대수의 리블니츠 호몰로지(Leibniz homology)를 계산하기 위해, 대칭군의 작용을 지닌 콘체비치의 그래프 복합체의 대칭형을 도입한다. 이 대수의 리블니츠 호몰로지와 연결된 대칭 그래프 복합체의 호몰로지의 텐서 대수 사이에 동형사상이 존재하며, 이 동형사상은 진지벨-결합 대알제브라의 구조를 유지함을 보여준다.

ABSTRACT

Kontsevich has proven that the Lie homology of the Lie algebra of symplectic vector fields can be computed in terms of the homology of a graph complex. We prove that the Leibniz homology of this Lie algebra can be computed in terms of the homology of a variant of the graph complex endowed with an action of the symmetric groups. The resulting isomorphism is shown to be a Zinbiel-associative bialgebra isomorphism.

연구 동기 및 목표

• 심플렉틱 벡터 장의 리 대수 $\mathfrak{sp}(\mathrm{Com})$ 의 리블니츠 호몰로지를 계산하기 위해.
• 대칭군 작용을 지닌 콘체비치의 그래프 복합체의 변형을 구성하여, 이를 대칭 그래프 복합체라 명명하기 위해.
• $HL_*(\mathfrak{sp}(\mathrm{Com}))$ 와 연결된 대칭 그래프 복합체의 호몰로지의 텐서 대수 사이의 동형사상을 확립하기 위해.
• 이 동형사상이 양쪽 모두의 진지벨-결합 대알제브라 구조와 호환됨을 보여주기 위해.
• 대칭군 작용에 대한 몫을 취했을 때 콘체비치의 원래 리 호몰로지 결과를 따름으로써 복원할 수 있음을 보여주기 위해.

제안 방법

• 각 차원 $n$ 에서 대칭군 $\Sigma_n$ 의 작용을 지닌 대칭 그래프 복합체를 정의하며, 몫을 취함으로써 표준 콘체비치 그래프 복합체를 얻는다.
• 대칭군 작용을 지닌 현수대(Chord diagram)의 체인 복합체를 구성하며, 코즐 툴을 사용하여 그래프와 연관시킨다.
• 심플렉틱 리 대수에 대한 공변량 이론을 적용하여 $\mathfrak{sp}(\mathrm{Com})$ 의 리블니츠 복합체를 분석한다.
• 콘체비치의 그래프 구성의 대칭형을 사용하여 현수대에서 레이블이 붙은 그래프로의 사상 생성하기 위해.
• 표준적인 그래프 호몰로지 기법을 통해 이중 정점(bivalent vertices)이 없는 그래프로 호몰로지 계산을 축소하기 위해.
• 곱과 코곱에 대한 호환성 검증을 통해, 결과적으로 얻어진 동형사상이 진지벨-결합 대알제브라의 구조를 유지함을 확인하기 위해.

실험 결과

연구 질문

• RQ1 콘체비치의 그래프 복합체의 대칭형을 사용하여 $\mathfrak{sp}(\mathrm{Com})$ 의 리블니츠 호몰로지를 계산할 수 있는가?
• RQ2 $HL_*(\mathfrak{sp}(\mathrm{Com}))$ 에 자연스러운 진지벨-결합 대알제브라의 구조가 존재하는가? 그리고 이는 그래프 호몰로지의 텐서 대수의 구조와 일치하는가?
• RQ3 대칭 그래프 복합체는 대칭군 작용에 대한 몫을 취했을 때 원래 콘체비치 그래프 복합체와 어떻게 관련이 있는가?
• RQ4 리블니츠 호몰로지와 대칭 그래프 호몰로지의 텐서 대수 사이의 동형사상이 대알제브라의 구조를 유지하는가?
• RQ5 저자가 후속 계획에서 언급한 바와 같이, 이 틀은 다른 옵레라드(opera)로 일반화될 수 있는가?

주요 결과

• $\mathfrak{sp}(\mathrm{Com})$ 의 리블니츠 호몰로지는 연결된 대칭 그래프 복합체의 호몰로지의 텐서 대수와 동형이다: $HL_*(\mathfrak{sp}(\mathrm{Com})) \cong T(H_*(\text{connected symmetric graph complex}))$.
• 이 동형사상은 진지벨-결합 대알제브라의 동형사상으로서, 결합 곱과 진지벨 코곱을 모두 유지한다.
• 대칭 그래프 복합체의 대칭군 작용에 대한 몫을 취함으로써 표준 콘체비치 정리의 리 호몰로지 결과가 따름으로써 복원된다.
• 진지벨-결합 대알제브라 $HL_*(\mathfrak{sp}(\mathrm{Com}))$ 의 원시 부분은 텐서 대수 구성법을 통해 전체 호몰로지를 생성한다.
• 심플렉틱 리 대수에 대한 공변량 이론이 리블니츠 복합체에 성공적으로 적용되어, 호몰로지 계산을 그래프 이론적 자료로 축소하는 데 기여하였다.
• 증명은 콘체비치의 원래 그래프 구성의 대칭형을 응용한 것으로, 레이블과 대칭군 작용을 포함하여 리블니츠 구조와의 호환성을 보장한다.