[논문 리뷰] Nijenhuis infinity and contractible dg manifolds

Sergei Merkulov|ArXiv.org|2004. 03. 15.

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

한 줄 요약

이 논문은 $ℝ^n$에서의 Nijenhuis 텐서의 형식적 껍질을 분류하는 최소 미분 가환 대수적(operad) $N_{u}$를 소개한다. 이는 호모로지적으로 자명한 미분 가환 대수적 리 대수의 이차적 대수적 구조의 코바르 구조로 유도되며, 최소 $N_{u}$-대수들이 수축 가능한 미분 가환 다중다양체와 호모토피 동치임을 증명함으로써 Nijenhuis 기하학의 강력한 호모토피 일반화를 제공한다.

ABSTRACT

We find a minimal differential graded (dg) operad whose generic representations in $R^n$ are in one-to-one correspondence with formal germs of those endomorphisms of the tangent bundle to $R^n$ which satisfy the Nijenhuis integrability condition. This operad is of a surprisingly simple origin -- it is the cobar construction on the quadratic operad of homologically trivial dg Lie algebras. As a by product we obtain a strong homotopy generalization of this geometric structure and show its homotopy equivalence to the structure of contractible dg manifold.

연구 동기 및 목표

• 기하학적 방법을 사용하여 Nijenhuis 기하학의 강력한 호모토피 일반화를 개발한다.
• $ℝ^n$에서 Nijenhuis 텐서의 형식적 껍질을 지배하는 최소 미분 가환 대수적 구조를 규명한다.
• $N_\infty$-대수와 수축 가능한 미분 가환 다중다양체 사이의 대응관계를 확립한다.
• 기본 해체 이론의 프레임워크를 복소 기하학 및 Nijenhuis 기하학 구조를 포함하도록 최소 해체 대수적 구조의 해체를 통해 확장한다.

제안 방법

• 호모로지적으로 자명한 미분 가환 리 대수의 이차적 대수적 구조의 코바르 구조로 최소 미분 가환 대수적 구조 $N_{\infty}$를 구성한다.
• Nijenhuis 기하학을 무한한 다중선형 연산 $J_k: \otimes^{k+1}V \to V$의 집합으로 표현하며, 이는 이차 관계를 만족한다.
• $N_{\infty}$-구조는 형식적 근방 $\hat{V}$에서 정의된 미분형식 $\Gamma$를 통해 정의되며, $\mathcal{L}_{\eth}\Gamma + \frac{1}{2}[\Gamma \bullet \Gamma] = 0$을 만족한다.
• 코바르 구조를 사용하여 $\mathcal{M} = \hat{V} \oplus \hat{V}[-1]$에서 표준 미분 $d$와 가환하는 호모로지 벡터장 $\hat{\eth} = \Psi(\eth + \Gamma)$를 도출한다.
• $N_{\infty}$-대수와 표준 미분 $d$와 가환하는 $\mathcal{M}$에서의 호모로지 벡터장 사이의 일대일 대응을 확립함으로써 수축성 결과를 이끌어낸다.
• Kontsevich의 $L_\infty$-대수의 분류를 적용하여 최소 $N_{\infty}$-대수가 선형 수축 가능한 미분 가환 다중다양체와 $L_\infty$-동형임을 보인다.

실험 결과

연구 질문

• RQ1 $ℝ^n$에서 Nijenhuis 텐서의 형식적 껍질을 분류하는 최소 미분 가환 대수적 구조는 무엇인가?
• RQ2 기하학적 해체를 통해 Nijenhuis 적합성 조건은 어떻게 강력한 호모토피 구조로 일반화될 수 있는가?
• RQ3 $N_{\infty}$-대수와 미분 가환 다중다양체의 호모토피 이론 사이의 관계는 무엇인가?
• RQ4 $N_{\infty}$-구조와 수축 가능한 미분 가환 다중다양체 사이에 표준적인 대응관계가 존재하는가?
• RQ5 Nijenhuis 기하학의 해체 이론은 최소 해체 대수적 구조의 해체를 통해 완전히 기술될 수 있는가?

주요 결과

• 최소 미분 가환 대수적 구조 $N_{\infty}$는 호모로지적으로 자명한 미분 가환 리 대수의 이차적 대수적 구조의 코바르 구조로 구성된다.
• $N_{\infty}$의 일반적 표현은 $\mathbb{R}^n$에서 $N_J = 0$을 만족하는 Nijenhuis 텐서의 형식적 껍질과 일대일 대응된다.
• $N_{\infty}$-구조는 $\mathcal{L}_{\eth}\Gamma + \frac{1}{2}[\Gamma \bullet \Gamma] = 0$을 만족하는 $\hat{V}$에서의 미분형식 $\Gamma$로 표현되며, 이는 Nijenhuis 조건을 일반화한다.
• $N_{\infty}$-대수와 표준 미분 $d$와 가환하는 $\mathcal{M} = \hat{V} \oplus \hat{V}[-1]$에서의 호모로지 벡터장 사이에 일대일 대응이 존재한다.
• 최소 $N_{\infty}$-대수는 선형 수축 가능한 미분 가환 다중다양체와 $L_\infty$-동형이므로 강력한 호모토피 동치성이 확립된다.
• 모든 $N_{\infty}$-대수는 수축 가능한 미분 가환 다중다양체와 호모토피 동치이므로, $N_{\infty}$-대수의 호모토피 이론은 수축 가능한 미분 가환 다중다양체의 이론과 동치임을 보여준다.