[논문 리뷰] Nonabelian holomorphic Lie algebroid extensions

Ugo Bruzzo, Igor Mencattini외 2명|arXiv (Cornell University)|2013. 05. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 4

한 줄 요약

이 논문은 Čech 코호모로지류를 사용하여 비아벨리안 복소다양체 리 대수다발의 확장을 분류하고, Hochschild-Serre 스펙트럴 시퀀스를 복소다양체 리 대수다발으로 일반화한 스펙트럴 시퀀스를 구성한다. 주요 결과는 컴팩트 카플러 다양체 위의 복소다양체 선다발의 아티야 대수다발의 초코호모로지가 자연스러운 (k−1,k) 무게의 호지 구조를 갖는다는 것이다. 이는 호지 분해에 의해 제2단계에서 스펙트럴 시퀀스가 분리됨을 의미한다.

ABSTRACT

We classify nonabelian extensions of Lie algebroids in the holomorphic category. Moreover we study a spectral sequence associated to any such extension. This spectral sequence generalizes the Hochschild-Serre spectral sequence for Lie algebras to the holomorphic Lie algebroid setting. As an application, we show that the hypercohomology of the Atiyah algebroid of a line bundle has a natural Hodge structure.

연구 동기 및 목표

• 복소다양체의 맥락에서 비아벨리안 복소다양체 리 대수다발의 확장을 분류하는 것.
• 그러한 확장과 관련된 스펙트럴 시퀀스를 구성하여 Hochschild-Serre 스펙트럴 시퀀스를 복소다양체 리 대수다발의 맥락으로 일반화하는 것.
• 기저 다양체가 컴팩트 카플러일 경우, 복소다양체 선다발의 아티야 대수다발 초코호모로지가 자연스러운 호지 구조를 갖는다는 것을 보여주는 것.
• 장애 클래스와 확장 분류를 위한 명시적 Čech 코호모로지류 구성 제공

제안 방법

• 저자들은 층의 짧은 정합수열을 통해 비아벨리안 확장을 정의한다: $0 \to \mathscr{L} \to \mathscr{A} \to \mathscr{B} \to 0$.
• 장애 클래스는 리 대수다발 준동형의 층의 코호모로지에서 Čech 코호모로지류를 사용하여 명시적으로 구성된다.
• 확장의 동형류 집합은 적절한 초코호모로지 군 위의 토르서를 이룬다.
• de Rham 복합체 $\Omega_{\mathscr{A}}^{\bullet}$ 에 대한 필터링이 존재하여 초코호모로지 $\mathbb{H}(X, \Omega_{\mathscr{A}}^{\bullet})$ 로 수렴하는 스펙트럴 시퀀스를 유도한다.
• E_1 항은 아티야 대수다발의 경우 $\mathbb{H}^q(X; \Omega_{\mathscr{L}}^\bullet \otimes \Omega_{\mathscr{B}}^p) \simeq H^q(X; \Omega_X^p) \oplus H^{q-1}(X; \Omega_X^p)$ 로 기술된다.
• 미분 $d_1$ 은 명시적으로 $d_1(\xi_q, \xi_{q-1}) = (d_X\xi_q + c_1(\mathscr{M}) \smile \xi_{q-1}, d_X\xi_{q-1})$ 로 계산된다.

실험 결과

연구 질문

• RQ1 비아벨리안 복소다양체 리 대수다발의 확장이 존재하는지를 결정하는 장애 클래스는 코호모로지에서 어떤 것인가?
• RQ2 그러한 확장의 동형류 집합은 어떻게 분류할 수 있는가?
• RQ3 리 대수다발 확장과 관련된 스펙트럴 시퀀스는 복소다양체 맥락에서 Hochschild-Serre 스펙트럴 시퀀스를 어떻게 일반화하는가?
• RQ4 언제 스펙트럴 시퀀스가 분리되고, 이는 초코호모로지에 어떤 구조를 암시하는가?
• RQ5 복소다양체 선다발의 아티야 대수다발 초코호모로지에는 호지 구조가 존재하는가?

주요 결과

• 완전히 비전이성인 리 대수다발 $\mathscr{L}$ 에 의해 복소다양체 리 대수다발 $\mathscr{B}$ 를 확장할 수 있는 장애는 Čech 코호모로지류를 통해 구성된 특정 코호모로지 클래스에 있다.
• 확장의 동형류 집합은 초코호모로지 군 $\mathbb{H}^1(X; \text{Hom}(\mathscr{B}, \mathscr{L}))$ 위의 토르서를 이룬다.
• 리 대수다발 확장과 관련된 스펙트럴 시퀀스는 Hochschild-Serre 스펙트럴 시퀀스를 일반화하며, 총리 대수다발의 de Rham 복합체의 초코호모로지로 수렴한다.
• 복소다양체 선다발 $\mathscr{M}$ 의 아티야 대수다발 $\mathscr{D}_{\mathscr{M}}$ 에서, 미분 $d_1$ 은 $d_1(\xi_q, \xi_{q-1}) = (d_X\xi_q + c_1(\mathscr{M}) \smile \xi_{q-1}, d_X\xi_{q-1})$ 로 주어진다.
• 기저 다양체 $X$ 가 컴팩트 카플러일 경우, 스펙트럴 시퀀스는 제2단계에서 분리되며, 이는 $d_2 = 0$ 이라는 것을 의미한다.
• 초코호모로지 $\mathbb{H}^k(X; \Omega_{\mathscr{D}_{\mathscr{M}}}^{\bullet})$ 는 자연스러운 (k−1,k) 무게의 호지 구조를 갖는다. 이는 $c_1(\mathscr{M})$ 의 Cup 곱과 호환되는 호지 분해와 함께 한다.