[논문 리뷰] BFV-complex and higher homotopy structures

Florian Schaetz|ArXiv.org|2006. 11. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 5

한 줄 요약

이 논문은 파oisson 다양체 속의 coisotropic 부분다양체와 관련된 BFV-complex와 강한 호모토피 Lie 대수다발 사이에 $L_{\infty}$ 준동형을 확립하며, 이들이 동일한 형식적 변형 문제를 제어한다는 것을 보여준다. 핵심적으로, BFV-complex는 강한 호모토피 Lie 대수다발이 포착하지 못하는 비형식적 변형 방해를 기록한다는 것을 입증하며, 그래프로 표현된 coisotropic 부분다양체와 BFV-complex의 정규화된 Mauer-Cartan 원소 사이의 일대일 대응을 제공한다.

ABSTRACT

We present a connection between the BFV-complex (abbreviation for Batalin-Fradkin-Vilkovisky complex) and the so-called strong homotopy Lie algebroid associated to a coisotropic submanifold of a Poisson manifold. We prove that the latter structure can be derived from the BFV-complex by means of homotopy transfer along contractions. Consequently the BFV-complex and the strong homotopy Lie algebroid structure are $L_{\infty}$ quasi-isomorphic and control the same formal deformation problem. However there is a gap between the non-formal information encoded in the BFV-complex and in the strong homotopy Lie algebroid respectively. We prove that there is a one-to-one correspondence between coisotropic submanifolds given by graphs of sections and equivalence classes of normalized Maurer-Cartan elemens of the BFV-complex. This does not hold if one uses the strong homotopy Lie algebroid instead.

연구 동기 및 목표

• Poisson 기하학에서 coisotropic 부분다양체의 맥락에서 BFV-complex와 강한 호모토피 Lie 대수다발 간의 대수적 관계를 명확히 하는 것.
• BFV-complex가 강한 호모토피 Lie 대수다발이 포착하지 못하는 비형식적 변형 장애를 포함한다는 것을 입증하는 것.
• 그래프로 표현된 coisotropic 부분다양체와 BFV-complex의 정규화된 Mauer-Cartan 원소 사이의 일대일 대응을 확립하는 것.
• 수축 자료를 따라 호모토피 전이를 통해 강한 호모토피 Lie 대수다발이 BFV-complex와 $L_{\infty}$ 준동형임을 보여주는 것.

제안 방법

• Ghost/ghost-모멘텀 번들의 사용과 Poisson 두류장의 유도 괄호 구조로 BFV-complex를 전역적으로 구성한다.
• 수축 자료를 따라 호모토피 전이 정리들을 적용하여 BFV-complex에서 강한 호모토피 Lie 대수다발의 구조를 유도한다.
• 유도 괄호 형식을 사용하여 BFV-괄호를 정의하고 미분 및 그레이드 리 대칭대수의 구조와의 호환성을 보장한다.
• 논문은 $L_{\infty}$-대수 기법을 활용하며, 미분 그레이드 리 대칭대수의 전이와 호모토피 전이 공식에서의 표시된 나무의 사용을 포함한다.
• 핵심 기술적 단계로, 표시된 나무의 잎의 수에 대한 귀납법을 통해 유도된 구조 사상이 $L_{\infty}$-관계를 만족한다는 것을 증명한다.
• 공변 작용의 명시적 계산을 통해 coisotropic 섹션과 정규화된 MC-원소 사이의 연결을 확립한다.

실험 결과

연구 질문

• RQ1 coisotropic 부분다양체에 대해 BFV-complex와 강한 호모토피 Lie 대수다발 간에 정확한 대수적 동치가 존재하는가?
• RQ2 강한 호모토피 Lie 대수다발이 coisotropic 부분다양체의 비형식적 변형 장애를 포착할 수 있는가?
• RQ3 그래프로 표현된 coisotropic 부분다양체와 BFV-complex의 정규화된 Mauer-Cartan 원소 사이에 일대일 대응이 존재하는가?
• RQ4 BFV-complex는 강한 호모토피 Lie 대수다발과 비교하여 변형에 대한 기하적 장애를 어떻게 다르게 포착하는가?

주요 결과

• BFV-complex와 강한 호모토피 Lie 대수다발은 $L_{\infty}$ 준동형이므로, 동일한 형식적 변형 문제를 제어한다.
• BFV-complex는 강한 호모토피 Lie 대수다발이 포착하지 못하는 비형식적 변형 장애를 포착하며, 이는 정리 6에서 입증되었다.
• 그래프로 표현된 coisotropic 부분다양체와 BFV-complex의 정규화된 Mauer-Cartan 원소의 동치류 사이에 일대일 대응이 존재한다.
• 강한 호모토피 Lie 대수다발은 이러한 대응을 지원하지 않으며, 이는 비형식 기하를 포착하는 데 있어 본질적인 격차를 드러낸다.
• 부분 5.3의 예시는 BFV-complex가 [Z]에서 유도된 알려진 coisotropic 부분다양체를 찾는 기준을 재현함으로써 기하적 정확성을 검증한다.
• 호모토피 전이 절차는 BFV-complex로부터 강한 호모토피 Lie 대수다발의 구조를 성공적으로 복원하며, 이는 둘 간의 구조적 동치성(호모토피 상에서)을 확인한다.