[논문 리뷰] Strongly homotopy algebras of a Kähler manifold

Sergei Merkulov|ArXiv.org|1998. 09. 29.

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

한 줄 요약

이 논문은 모든 컴act Kähler 다양체가 자연스럽게 두 개의 서로 다른 강한 호모토피 대수($A_\infty$-대수)를 지닌다는 것을 증명한다: de Rham 복합체의 Hodge 이론에서 유래하는 하나와 Dolbeault 복합체에서 유래하는 또 다른 하나. 핵심 기여는 웨지 곱, 그린 함수, Kähler 형식을 사용하여 고차 호모토피를 명시적으로 구성한 것으로, 비결합성의 영향을 받는 나머지 곱에도 불구하고 조화 형식의 곱이 여전히 조화적임을 보여준다.

ABSTRACT

It is shown that any compact Kähler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the Dolbeault complex. In these algebras the product of two harmonic differential forms is again harmonic. If $M$ happens to be a Calabi-Yau manifold, there exists a third strongly homotopy algebra closely related to the Barannikov-Kontsevich extended moduli space of complex structures.

연구 동기 및 목표

• Kähler 다양체에서 $d^*$-닫힌 형식 위의 웨지 곱의 비결합성 행동을 고차 호모토피 구조를 사용하여 설명한다.
• 미분 연산자와 투영 연산자를 사용하여 $\mathrm{Ker}\,d_c^*$ 및 $\mathrm{Ker}\,\partial^*$ 공간 위에 명시적인 $A_\infty$-대수 구조를 구성한다.
• 이 구조를 Calabi-Yau 다양체로 확장하여 얻어진 $A_\infty$-대수를 Barannikov-Kontsevich 확장된 복소構조 모듈리 공간과 연결한다.
• 조화 형식의 곱이 $A_\infty$-구조 하에서도 여전히 조화적임을 보여주며, 난이도 있는 곱의 비결합성 문제를 해결한다.

제안 방법

• Hodge 분해와 투영 연산자를 사용하여 $d^*$-닫힌 형식 위에 비결합적이지만 고차 결합 조건을 만족하는 새로운 곱 $\circ$를 정의한다.
• 일반적인 $A_\infty$-대수의 구성 방법을 적용한다: 미분 초대수 $V$, 부분복합체 $W$, 그리고 $1 - [d,Q]$ 가 $W$ 위로 투영하는 홀수 차수 연산자 $Q$를 만족하는 경우.
• 연산자 $d_c$, $G_d$, $\Lambda$ 및 웨지 곱을 사용하여 고차 호모토피 $\mu_k$를 명시적으로 계산하며, $\mu_2(v_1,v_2) = (1 - d_c G_d d_c^*)(v_1 \wedge v_2)$ 라고 한다.
• Dolbeault 경우에 대해 $Q = i\partial G_\partial \Lambda$ 를 사용하여 $\mathrm{Ker}\,\partial^*$ 위의 $A_\infty$-구조를 정의한다.
• Calabi-Yau 다양체의 경우, 헬로모르픽 볼륨 형식 $\Omega$ 를 사용하여 $V = \Lambda^\bullet TM \otimes \Lambda^\bullet \overline{\Omega^1 M}$ 에서 $A_\infty$-구조를 올린다.
• 연도 $\Omega$ 에 의한 켤레를 통해 $\hat{\partial}^*$, $\hat{G}_\partial$ 등 관련 연산자를 정의하고, $\mathrm{Ker}\,\hat{\partial}$ 위에 $A_\infty$-대수를 구성한다.

실험 결과

연구 질문

• RQ1 Kähler 다양체에서 $d^*$-닫힌 형식 위의 비결합 곱을 고차 호모토피 조건을 통해 체계적으로 수정하여 고차 결합성을 확보할 수 있는가?
• RQ2 Kähler 다양체의 Hodge 이론적 구조가 자연스러운 $A_\infty$-대수 구조로 표현될 수 있는가?
• RQ3 고차 호모토피 $\mu_k$ 의 명시적 형태는 Kähler 형식과 그린 함수와 같은 기하적 자료로 어떻게 기술될 수 있는가?
• RQ4 Calabi-Yau 다양체에서 $\mathrm{Ker}\,\hat{\partial}$ 위의 $A_\infty$-대수 구조는 복소 구조의 확장된 모듈리 공간과 관련이 있는가?
• RQ5 비결합성의 영향을 받는 나머지 곱이 $d^*$-닫혀 있지 않음에도 불구하고, 조화 형식의 곱이 $A_\infty$-곱 하에서도 여전히 조화적임은 이유가 무엇인가?

주요 결과

• 콤팩트 Kähler 다양체에서 $d_c^*$-닫힌 형식의 공간 $\mathrm{Ker}\,d_c^*$ 는 명시적으로 계산 가능한 고차 호모토피를 지닌 자연스러운 $A_\infty$-대수 구조를 지닌다.
• $\mu_2(v_1,v_2) = (1 - d_c G_d d_c^*)(v_1 \wedge v_2)$ 는 비결합적이지만 $A_\infty$-관계를 통해 고차 결합 조건을 만족한다.
• $\mathrm{Ker}\,d_c^*$ 위의 $A_\infty$-구조는 두 조화 형식의 곱이 다시 조화적임을 보장하여, 난이도 있는 웨지 곱의 비폐쇄성 문제를 해결한다.
• Dolbeault 복합체를 통해 $\mathrm{Ker}\,\partial^*$ 위에도 유사한 $A_\infty$-대수 구조가 존재하며, 이는 $Q = i\partial G_\partial \Lambda$ 를 통해 정의된다.
• Calabi-Yau 다양체의 경우, $\mathrm{Ker}\,\hat{\partial}$ 위의 $A_\infty$-대수는 Barannikov-Kontsevich 대수와 동형이며 Gerstenhaber-Batalin-Vilkoviski 대수적 구조와 호환된다.
• 이 구성은 $M$ 의 de Rham 코homology 위에 존재하는 Frobenius 다양체 구조에 대한 기하적 설명을 제공한다. 복합체 $\mathrm{Ker}\,d_c^*$ 는 이 구조의 기초를 이룬다.