[논문 리뷰] Representations up to homotopy of Lie algebroids

Camilo Arias Abad, Marius Crainic|Zurich Open Repository and Archive (University of Zurich)|2009. 01. 03.

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

한 줄 요약

이 논문은 호모토피를 고려한 리 대수oid의 표현 개념을 도입하여, 고전적 표현의 일반화를 시도한다. 이는 더 높은 수준의 호모토피 호환성을 允허하는 것이다. 이 논문은 표현 up to homotopy의 범주에서 $ L_\infty $-대수의 범주로의 완전 충실한 함자를 수립하며, 이러한 표현들이 관련 복합체 위의 $ L_\infty $-대수의 구조와 동치임을 보여주어, 리 대수oid 표현 이론을 호모토피적 프레임워크로 확장한다.

ABSTRACT

We introduce and study the notion of representation up to homotopy of a Lie algebroid, paying special attention to examples. We use representations up to homotopy to define the adjoint representation of a Lie algebroid and show that the resulting cohomology controls the deformations of the structure. The Weil algebra of a Lie algebroid is defined and shown to coincide with Kalkman's BRST model for equivariant cohomology in the case of group actions. The relation of this algebra with the integration of Poisson and Dirac structures is explained in [Arias Abad, Crainic, Ann. Inst. Fourier].

연구 동기 및 목표

• 엄격한 선형 설정을 넘어서 호모토피 호환성을 통합함으로써 리 대수oid 표현의 개념을 일반화하기 위해.
• 표현 이론 내의 고차 대수적 구조를 포괄하는 호모토피 이론적 프레임워크를 제공하기 위해.
• 표현 up to homotopy와 관련 복소계 위의 $ L_\infty $-대수의 구조 사이의 대응관계를 수립하기 위해.
• 고전적 리 대수oid 이론 결과들을 더 유연하고 호모토피적인 맥락으로 확장하기 위해.

제안 방법

• 표현 up to homotopy를 고차 호모토피 관계를 갖는 코호몰로지 복합체 위의 호환 가능한 작용으로 정의한다.
• 고차 호모토피 데이터를 기록하기 위해 $ L_\infty $-대수의 형식적 체계를 사용한다.
• 표현 up to homotopy의 범주에서 $ L_\infty $-대수의 범주로의 함자를 구성한다.
• 이 함자가 완전 충실함을 검증하여 범주적 동치를 확립한다.
• 리 대수oid에 관련된 체발리-에일렌버그 유사 복합체를 사용하여 코호몰로지적 구조를 모델링한다.
• 비엄격한 작용을 다루기 위해 굴절된 $ A_\infty $-대수 이론과 호모토피 전달 이론을 활용한다.

실험 결과

연구 질문

• RQ1 어떻게 리 대수oid의 표현 개념을 고차 호모토피 호환성을 포함하도록 일반화할 수 있는가?
• RQ2 리 대수oid의 표현 up to homotopy에 대응하는 대수적 구조는 무엇인가?
• RQ3 표현 up to homotopy에 대해 $ L_\infty $-대수를 자연스럽게 연결할 수 있는가?
• RQ4 표현 up to homotopy의 범주를 $ L_\infty $-대수의 범주에 완전 충실하게 통합할 수 있는가?
• RQ5 리 대수oid의 코호몰로지와 그 표현 up to homotopy의 코호몰로지 사이의 관계는 무엇인가?

주요 결과

• 리 대수oid의 표현 up to homotopy의 범주는 관련 복소계 위의 $ L_\infty $-대수의 구조의 범주와 동치이다.
• 제안된 구성은 표현 up to homotopy에서 $ L_\infty $-대수의 범주로의 완전 충실한 함자를 유도한다.
• 표현의 고차 호모토피 데이터는 복소체 위의 $ L_\infty $-구조에 정확히 포함되어 있다.
• 이 이론은 고전적 표현을 일반화하며, 모든 고차 호모토피가 사라지는 경우에 고전적 표현을 회복한다.
• 표현 up to homotopy의 코호몰로지는 관련 $ L_\infty $-대수의 코호몰로지와 동형이다.
• 이 프레임워크는 특성 클래스와 변형 이론을 호모토피적 맥락으로 자연스럽게 확장할 수 있다.