[논문 리뷰] Symplectic operad geometry and graph homology

Swapneel Mahajan|ArXiv.org|2002. 11. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 23인용 수 3

한 줄 요약

이 논문은 가위자루와 짝짓기의 그림자 계산을 사용하여, 반전 가능 오페라드의 일반적 설정에서 리 대수의 호모로지와 그래프 호모로지 사이의 콘체비치 정리를 제시한다. mated species Q로부터 Lie 대수 QA∞와 그래프 복합체 (QG, ∂E)를 구성하고, 그들의 호모로지가 서로 동형임을 증명함으로써, 심플렉틱 오페라드 기하학을 통해 교환법칙, 결합법칙, 리 대수에 대한 콘체비치 원래 결과를 통합하고 일반화한다.

ABSTRACT

A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.

연구 동기 및 목표

• 교환법칙, 결합법칙, 리 대수 외의 세 가지 고전적 케이스를 초월하여 콘체비치 정리에서 리 대수 호모로지와 그래프 호모로지 사이의 관계를 일반화하기 위해.
• 종속된 오페라드의 자연스러운 설정에서, 종의 언어와 짝짓기 종의 언어를 사용하여 이 연결을 공식화하기 위해.
• 심플렉틱 오페라드 다양체 위의 해밀토니안 함수로서 Lie 대수 QA∞를 구성하고, 대응하는 그래프 복합체 (QG, ∂E)를 정의하기 위해.
• QA∞의 호모로지와 그래프 복합체 (QG, ∂E)의 호모로지가 서로 동형임을 증명하여, 콘체비치 결과를 더 넓은 오페라드의 범주로 확장하기 위해.

제안 방법

• 반전 가능 오페라드에서 종으로 가는 짝짓기 함자(Mating Functor)를 도입하여, 반전 가능 오페라드 P를 종 Q로 매핑함으로써, QA∞와 (QG, ∂E)를 구성하는 기초를 마련한다.
• 가위자루와 짝짓기의 그림자 계산을 사용하여, Lie 대수 QA∞를 Lie 대수 QAn의 직접 극한으로 정의한다.
• 곱셈 µ에 관하여 유도자인 경계 사상 ∂E를 사용하여 그래프 복합체 (QG, ∂E)를 정의하고, ∂H가 µ와 가환하지 않을 경우를 측정하기 위해 보조 브라켓 [ , ] = ∂Hµ − µ∂H를 도입한다.
• 변형 이론을 적용하여 G[[t]]의 자명한 변형의 게이지 등가 변형을 도입한다. D(n) = A−1 ◦ M(n)을 사용하여 D = D0 + tD1 + t²D2 + ...를 정의하며, D0는 항등사상이다.
• 이 변형을 통해 ∂H와 브라켓 [ , ]이 호모로지에 대해 영 사상임을 보이며, D1과 µ1이 체인 호모토피임을 보여준다.
• 변형의 도입에 기반하여 ∂H와 [ , ]가 호모로지에 대해 영이 됨을 증명하며, M(n)의 쌍대 성질과 변형의 도표의 가환성을 이용한다.

실험 결과

연구 질문

• RQ1 콘체비치 정리에서 리 대수 호모로지와 그래프 호모로지 사이의 관계를 교환법칙, 결합법칙, 리 대수 외의 세 가지 고전적 케이스를 초월하여 어떻게 일반화할 수 있는가?
• RQ2 반전 가능 오페라드와 짝짓기 종은 리 대수와 그래프 복합체의 구성 통합에 어떤 역할을 하는가?
• RQ3 가위자루와 짝짓기의 그림자 계산은 어떻게 Lie 대수 QA∞와 그래프 복합체 (QG, ∂E)의 구성에 기여하는가?
• RQ4 변형 이론은 ∂H와 브라켓 [ , ]이 호모로지에 대해 영임을 증명하는 데 어떤 개념적 프레임워크를 제공하는가?
• RQ5 짝짓기 종 구성에 의해 그래프 복합체 (QG, ∂E)의 구조를 군과 같은 다른 대수적 대상으로 확장할 수 있는가?

주요 결과

• Lie 대수 QA∞는 Lie 대수 QAn의 직접 극한으로 구성되며, 그 호모로지에는 호프 대수 구조가 존재한다.
• 그래프 복합체 (QG, ∂E)는 곱셈 µ에 관하여 유도자인 경계 사상 ∂E를 사용하여 정의되며, 대수적 구조와의 호환성을 보장한다.
• 보조 브라켓 [ , ] = ∂Hµ − µ∂H는 ∂H가 µ와 가환하지 않을 경우를 측정하며, 이 브라켓은 호모로지에 대해 영 사상을 유도한다.
• ∂H는 호모로지에 대해 영 사상이며, D1이 체인 호모토피를 제공함을 변형 이론과 게이지 등가성으로 보여준다.
• 변형 사상 D(n)에서 유도된 곱셈 µ1는 [ , ] = ∂Eµ1 − µ1∂E를 만족하며, 이는 브라켓이 호모로지에 대해 영임을 증명한다.
• G의 쌍대곱 ∆는 ∂E에 의해 보존되지만 ∂H에 의해 보존되지 않으며, 코브라켓 θ = ∂H∆ − ∆∂H 역시 호모로지에 대해 영 사상을 유도한다.