[논문 리뷰] PROP profile of deformation quantization and graph complexes with loops and wheels

Sergei Merkulov|ArXiv.org|2004. 12. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 20

한 줄 요약

이 논문은 변형 양자화의 맥락에서 프롭(propositions)을 고려하여 방향성 있는 루프와 휠(wheels)를 가진 도형 복합체를 도입하고 연구한다. 보편적인 양자화가 파oisson 구조에 대해 존재할 경우, 이는 미분가법 프롭의 사상과 대응되며, 린 1-바이알제브라 프롭의 휠 확장이 비-휠 대응체와 준동형이 아님을 증명한다. 이는 추적 연산을 위해 필수적인 휠을 가진 그래프가 유한차원 보편 양자화 공식에서 피할 수 없다는 것을 보여준다.

ABSTRACT

Motivated by the problem of deformation quantization we introduce and study directed graph complexes with oriented loops and wheels. We develop some technique for computing cohomology of such graph complexes and apply it to several concrete examples such as wheeled completion of the operad of strongly homotopy Lie algebras and the wheeled completion of the dg prop of Poisson structures. We prove also a deformation quantization theorem of wheeled Poisson structures on arbitrary formal graded manifolds.

연구 동기 및 목표

• 유한차원 보편 양자화 공식에서 추적 연산을 위해 필수적인 휠을 포함한 방향성 있는 루프와 휠을 가진 도형 복합체 이론을 확장한다.
• 그레이드 다양체 위의 파oisson 구조와 스타곱을 표현하는 데 있어 휠이 있는 프롭의 확장 역할을 이해한다.
• 린 1-바이알제브라 프롭의 최소 해석에서 프롭 자체로 가는 자연스러운 전성사상이 휠 완비화 이후에도 여전히 준동형인지 조사한다.
• 특히 고유성의 차수를 가진 휠에 대해, 휠이 있는 그래프 복합체의 코homology 행동을 조사한다.
• 보편 변형 양자화 공식이 유한차원에서 반드시 추적 연산을 표현하는 데 필요한 휠을 가진 그래프를 포함함을 확립한다.

제안 방법

• 다중미분 연산자의 호크시드 미분가법 리 대수에서의 마우레르-카르탕 원소를 분류하는 표현을 갖는 dg 자유 프롭 $\mathsf{DefQ}$ 를 도입한다.
• 루프와 휠을 포함한 린 1-바이알제브라 프롭의 최소 해석으로서, 휠 완비 $\mathsf{Lie}^1\mathsf{B}_\infty^{\circlearrowright}$ 를 정의한다.
• 표시된 그래프에 대해 순환군 작용과 대칭화 연산자 $N = 1 + t + \cdots + t^{n-1}$ 을 사용하여 제4사분면 이복합체를 구성한다.
• 순환 호몰로지 프레임워크를 이용해 표시되지 않은 그래프 복합체의 호몰로지가 이복합체의 총복합체와 관련됨을 밝힌다.
• 항등식 $N\delta = bN$ 과 $\delta(1-t) = (1-t)b$ 를 적용하여 특정 조건 하에서 약성 결과를 증명한다.
• 최대 고유성의 차수 1 이하의 휠을 가진 그래프로 생성된 부분복합체의 호몰로지를 분석하고, 세 개의 휠을 가진 비자명한 호몰로지 클래스를 확인한다.

실험 결과

연구 질문

• RQ1 그레이드 다양체 위의 파oisson 구조에 대한 보편 변형 양자화 공식은 반드시 휠을 포함한 그래프에 의존하는가?
• RQ2 린 1-바이알제브라 프롭의 최소 해석에서 프롭 자체로 가는 자연스러운 전성사상 $\mathsf{Lie}^1\mathsf{B}_\infty \to \mathsf{Lie}^1\mathsf{B}$ 가 휠 완비화 이후에도 여전히 준동형인가?
• RQ3 휠이 있는 확장 $\mathsf{Lie}_\infty^{\circlearrowright}$ 의 호몰로지는 무엇이며, 비-휠 경우와 어떻게 다를까?
• RQ4 고유성의 차수를 가진 휠을 포함한 그래프 복합체의 호몰로지가 비자명할 수 있는가? 만약 그렇다면, 이러한 호몰로지 클래스의 구조는 어떠한가?
• RQ5 순환군 작용과 대칭화 연산자 $N$ 은 휠이 있는 그래프 복합체의 호몰로지 계산에 어떻게 기여하는가?

주요 결과

• 정리 4.1.1에 의해, $\mathsf{Lie}_\infty^{\circlearrowright}$ 의 호몰로지는 거의 전역적으로 약성임이 입증된다.
• 비-휠 경우와 비교해 복잡도가 크게 증가한, $\mathsf{Ass}_\infty$ 작용소의 휠 확장의 호몰로지가 나타난다.
• 세 개의 휠을 가진 비자명한 호몰로지 클래스가 명시적으로 구성되었으며, 이는 자연스러운 전성사상 $\mathsf{Lie}^1\mathsf{B}_\infty^{\circlearrowright} \to \mathsf{Lie}^1\mathsf{B}^{\circlearrowright}$ 가 준동형이 아님을 증명한다.
• 최대 고유성의 차수 1 이하의 휠을 가진 그래프로 생성된 $\mathsf{Lie}^1\mathsf{B}_\infty^{\circlearrowright}$ 의 부분복합체는 거의 전역적으로 약성이다.
• 유한차원 설정에서 추적 연산이 필요로 하므로, 보편 변형 양자화 공식에서 휠을 가진 그래프가 피할 수 없다.
• 표시되지 않은 그래프 복합체 $H(\mathsf{T}^{\circlearrowright}\langle E\rangle, \delta)$ 의 호몰로지는 순환 이복합체 $C_{\bullet,\bullet}$ 의 총복합체의 호몰로지와 동형이다.