[논문 리뷰] A pairing between graphs and trees

Dev Sinha|ArXiv.org|2005. 02. 25.

Advanced Topics in Algebra참고 문헌 8인용 수 23

한 줄 요약

이 논문은 나무와 그래프 사이의 표준 쌍을 도입하여 야코비 및 아르노ルド 항등식에 의해 몫을 취할 때 완전한 이중성(duality)을 유도하며, 리 및 파울슨 작동자에 대한 표준 이중을 제공한다. 이 쌍은 자유 리 코대수의 명시적 모델을 가능하게 하며, 파울슨 작동자의 코작동자에 대한 이중이 원래 작동자 자체보다 더 다루기 쉽게 된다는 것을 드러낸다. 이는 호모로지 대수학 및 위상수학에서의 응용을 포함한다.

ABSTRACT

We develop a canonical pairing between trees and graphs, which passes to their quotients by Jacobi identities. This pairing is an effective and simple tool for understanding the Lie and Poisson operads, providing canonical duals. In the course of showing that this pairing is perfect we reprove some standard facts about the modules Lie(n), establishing standard bases as well as giving a new means to reduce to those bases. We then move on to define duals to free Lie algebras and to develop product, coproduct and operad structures. We give a brief account here to be built on in a number of different directions in future work.

연구 동기 및 목표

• 나무와 그래프 사이의 표준적이고 완전한 쌍을 정의하여 기본적인 대수적 항등식을 유지한다.
• 야코비 및 아르노ルド 항등식에 의해 몫을 취한 방식으로 리 및 파울슨 작동자에 대한 표준 이중을 제공한다.
• 텐서 대수의 통합에 의존하지 않고 자유 리 코대수의 명시적 모델을 구축한다.
• 파울슨 작동자의 이중 코작동자가 원래 파울슨 작동자 자체보다 더 다루기 쉽게 된다는 것을 보여준다.
• 위상적 구성 공간을 통해 기존의 자유 리 대수 및 작동자 이론의 구성들을 통합하고 일반화한다.

제안 방법

• 나무에서 간선 경로의 저점(nadir)과 저점에서의 방향성에 기반한 부호 규칙을 사용하여 구성 쌍 ⟨G, T⟩를 정의한다.
• 자유 모듈에 대해 나무와 그래프의 쌍을 선형으로 확장하여 Θₙ 및 Γₙ로 표기한다.
• 야코비 및 대칭 조합에서 쌍이 0이 되는 것을 증명하여, 이 쌍이 야코비 및 아르노ルド 항등식에 의해 몫을 취한 방식으로 인해 인해 성립함을 보인다.
• 약수에서의 완전한 쌍을 통해 리 작동자와 그 이중 사이의 이중성을 수립한다.
• 나무의 사상과 쌍과의 호환성에 기반하여 그래프 및 숲 모듈에 작동자 및 코작동자 구조를 정의한다.
• 괄호 표현과 나무의 융합을 사용하여 쌍을 중첩 괄호와 내부 괄호 쌍의 관점에서 해석한다.

실험 결과

연구 질문

• RQ1 야코비 및 아르노ルド와 같은 기본적인 대수적 항등식을 유지하는 나무와 그래프 사이의 표준 쌍을 구성할 수 있는가?
• RQ2 이 쌍이 야코비 및 아르노ルド 항등식에 의해 몫을 취한 방식에서 완전한 이중성을 유도하는가?
• RQ3 이 쌍을 사용하여 텐서 대수의 통합 없이 자유 리 코대수의 표준 모델을 정의할 수 있는가?
• RQ4 파울슨 작동자의 이중 코작동자가 원래 파울슨 작동자 자체보다 더 다루기 쉽게 되는가?
• RQ5 이 쌍은 숲과 그래프에 대한 작동자 및 코작동자 구조와 어떻게 상호작용하는가?

주요 결과

• Θₙ 및 Γₙ의 야코비 및 아르노ルド 항등식에 의해 몫을 취한 방식에서 쌍 ⟨G, T⟩는 완전하며, 리 및 파울슨 작동자 사이의 표준 이중성을 수립한다.
• 모든 야코비 조합과 대칭 조합에서 쌍이 0이 되며, 이는 쌍이 야코비 및 아르노ルド 항등식에 의해 몫을 취한 방식으로 인해 성립함을 확인한다.
• 작동자 구조 사상 fₜₐᵤ와 그 이중 gₜₐᵤ는 ⟨D, fₜₐᵤ(⊗Bᵥᵢ)⟩ = ⟨gₜₐᵤ(D), ⊗Bᵥᵢ⟩ₜₑₙₛₒᵣ를 만족하여, 복합에서 쌍을 유지한다.
• 파울슨 작동자의 이중 코작동자는 리프니츠 법칙을 기반으로 한 기저 축소가 필요로 하지 않기 때문에 원래 파울슨 작동자보다 더 다루기 쉽게 된다.
• 구성 쌍은 텐서 대수에 통합하지 않고도 함수형으로 정의된 모델을 통해 자유 리 코대수의 표준 모델을 제공한다.
• 구성 쌍은 유클리드 공간에서의 구성 공간의 호모로지 및 코호모로지로부터 자연스럽게 유도되며, 대수학과 위상수학을 연결한다.