[논문 리뷰] Operad profiles of Nijenhuis structures

Henrik Strohmayer|ArXiv.org|2008. 09. 12.

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

한 줄 요약

이 논문은 PBW 기저 방법을 통해 Nijenhuis 구조를 지배하는 연산자와 그 이중 Nijenhuis 구조를 위한 확장이 Koszul임을 입증하며, 형식적 다양체 위의 형식적 Nijenhuis 및 호환 가능한 Nijenhuis 구조가 이 연산자의 최소 해석의 표현과 정확히 일치함을 보여준다. 핵심 기여는 유사 기하학적-대수적 대응관계를 통해, 그레디에이티드 리 대수의 벡터장 값 형식에서의 Maurer-Cartan 원소를 통해 연산자 해석과 미분기하학적 구조를 연결하는 것이다.

ABSTRACT

Recently S. Merkulov established a new link between differential geometry and homological algebra by giving descriptions of several differential geometric structures in terms of algebraic operads and props. In particular he described Nijenhuis structures as corresponding to representations of the cobar construction on the Koszul dual of a certain quadratic operad. In this paper we prove, using the PBW-basis method of E. Hoffbeck, that the operad governing Nijenhuis structures is Koszul, thereby showing that Nijenhuis structures correspond to representations of the minimal resolution of this operad. We also construct an operad such that representations of its minimal resolution in a vector space V are in one-to-one correspondence with pairs of compatible Nijenhuis structures on the formal manifold associated to V.

연구 동기 및 목표

• Nijenhuis 구조를 지배하는 연산자 $Πij$ 의 Koszul성 증명을 Hoffbeck의 PBW 기저 방법을 사용하여 수행한다.
• 호환 가능한 Nijenhuis 구조 쌍을 코딩하는 연산자 $βiΠij$ 를 정의하고 분석한다.
• 그레디에이티드 벡터 공간 $V$ 에서의 최소 해석 $βiΠij_{\infty}$ 의 표현과 $V$ 와 관련된 형식적 다양체 위의 형식적 이중 Nijenhuis 구조 사이의 일대일 대응을 수립한다.
• Frölicher-Nijenhuis 괄호 조건을 만족하는 형식적 멱급수 해를 포함하도록 연산자술술 기술을 일반화한다.

제안 방법

• Hoffbeck의 PBW 기저 방법을 적용하여 $Πij$ 와 $βiΠij$ 의 연산자에 대해 호환 가능한 단항식 기저를 구성함으로써 Koszul성 증명.
• Koszul 쌍대 코연산자에 대해 코바르 구조를 적용하여 최소 해석 $Πij_{\infty}$ 와 $βiΠij_{\infty}$ 를 얻는다.
• 총 연산자 해석의 공간에서 유도된 dg 리 대수 ${\mathcal{L}}_{\mathcal{B}i\mathcal{N}ij}(V)$ 를 구성하며, 이를 미분과 리 괄호로 장비한다.
• 대표의 리 대수에서 형식적 멱급수 $\Gamma = \sum_k \Gamma_k \hslash^k$ 에 대한 사상 $\Phi$ 를 정의한다. 여기서 $\Gamma$ 는 $\Omega^{\bullet}_V \otimes \mathcal{T}_V$ 에 속한다.
• Maurer-Cartan 방정식 $[\Gamma, \Gamma]_{{}_{\text{F-N}}} = 0$ 이 성립함과 동시에 $\Gamma$ 가 $\mathcal{B}i\mathcal{N}ij_{\infty}$ 의 표현에 대응함이 서로 동치임을 검증한다.
• 벡터장 $D$ 가 $V$ 에서 유도하는 유도 미분 $\delta_D$ 를 사용하여 $\tilde{{\mathfrak{g}}}_V$ 에서의 dg 리 대수의 구조를 묘사한다.

실험 결과

연구 질문

• RQ1 Nijenhuis 구조를 지배하는 연산자 $\mathcal{N}ij$ 는 Koszul인가?
• RQ2 호환 가능한 Nijenhuis 구조 쌍을 코딩할 수 있는 자연스러운 연산자 $\mathcal{B}i\mathcal{N}ij$ 를 구성할 수 있는가?
• RQ3 최소 해석 $\mathcal{B}i\mathcal{N}ij_{\infty}$ 는 형식적 다양체 위의 형식적 이중 Nijenhuis 구조를 분류하는가?
• RQ4 표현 $\mathcal{B}i\mathcal{N}ij_{\infty}$ 는 Frölicher-Nijenhuis 괄호 조건을 만족하는 형식적 멱급수 해로서 기하학적으로 실현 가능한가?
• RQ5 연산자 해석과 기하학적 구조 사이의 대응관계는 그레디에이티드 벡터 공간으로까지 확장 가능한가?

주요 결과

• Nijenhuis 구조를 지배하는 연산자 $\mathcal{N}ij$ 는 PBW 기저 방법을 통해 Koszul임이 입증되었으며, 이는 Nijenhuis 구조가 그 최소 해석 $\mathcal{N}ij_{\infty}$ 의 표현과 정확히 일치함을 확인한다.
• 호환 가능한 Nijenhuis 구조를 코딩하는 연산자 $\mathcal{B}i\mathcal{N}ij$ 도 Koszul임이 입증되었으며, 이는 그 최소 해석 $\mathcal{B}i\mathcal{N}ij_{\infty}$ 의 구축을 가능하게 한다.
• $\mathbb{R}^n$ 에서의 $\mathcal{B}i\mathcal{N}ij_{\infty}$ 의 표현과 원점에서 0이 되는 $\mathbb{R}^n$ 위의 형식적 이중 Nijenhuis 구조 사이의 일대일 대응이 존재함을 보여, 정리 B 를 증명한다.
• 임의의 그레디에이티드 벡터 공간 $V$ 에 대해, $\mathcal{B}i\mathcal{N}ij_{\infty}$ 의 표현은 형식적 멱급수 $\Gamma = \sum_k \Gamma_k \hslash^k$ 와 대응되며, 여기서 $\Gamma_k \in \Omega^{\geq k}_V \otimes \mathcal{T}_V$, $|\Gamma| = 1$, $[\Gamma, \Gamma]_{{}_{\text{F-N}}} = 0$, 그리고 $\Gamma|_0 = 0$ 를 만족한다. 이는 정리 C 를 증명한다.
• 사상 $\Phi: \mathcal{L}_{\mathcal{B}i\mathcal{N}ij}(V) \to \tilde{{\mathfrak{g}}}_V$ 는 dg 리 대수의 동형사상이며, 이는 연산자 해석의 기하학적 실현을 확립한다.