[논문 리뷰] Homotopy G-algebras and moduli space operad

Murray Gerstenhaber, Alexander A. Voronov|arXiv (Cornell University)|1994. 09. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 30

한 줄 요약

이 논문은 안정적인 맵의 장식된 모듈리 공간의 체인 옵레라드에 대한 작용을 통해, 켈러 다양체의 de Rham 복합체가 자연스러운 호모토피 G-대수의 구조를 지닌다는 것을 증명한다. 이들 모듈리 공간의 정수 복합체에서 de Rham 복합체의 내부 함수들로의 사상은 푸시포워드와 풀백을 이용하여 구성되며, 이는 가장 일반적인 호모토피 G-구조를 실현한다. 이는 콘체비치의 Gromov-Witten 불변량의 구성 방식을 일반화한다.

ABSTRACT

This paper emphasizes the ubiquitous role of moduli spaces of algebraic curves in associative algebra and algebraic topology. The main results are: (1) the space of an operad with multiplication is a homotopy Gerstenhaber (i.e., homotopy graded Poisson) algebra; (2) the singular cochain complex is naturally an operad; (3) the operad of decorated moduli spaces acts naturally on the de Rham complex $Ω^\bullet X$ of a Kähler manifold $X$, thereby yielding the most general type of homotopy G-algebra structure on $Ω^\bullet X$.

연구 동기 및 목표

• 연결된 대수의 호치히ลด 코호전자 복합체가 자연스럽게 $ E_2 $-대수의 구조를 지닌다는 델리그의 추측을 해결하기 위해.
• 이 구조를 위상공간의 정수 코호전자 복합체로 확장하여, 자연스럽게 옵레라드의 구조를 지닌다는 것을 보여주기 위해.
• 장식된 모듈리 공간의 체인 옵레라드이자 켈러 다양체의 de Rham 복합체에 대한 일반적인 작용을 구축하여, 가장 일반적인 호모토피 G-대수의 구조를 얻기 위해.
• 실수로 콪은 모듈리 공간과 접선 방향 데이터를 사용하여 Gromov-Witten 유형의 불변량을 통해 호모토피 G-대수의 기하적 실현을 제공하기 위해.

제안 방법

• 다중선형 연산(브레이스)을 사용하여, 차수와 삽입 순서에 의해 결정되는 부호를 갖는 임의의 옵레라드에 브레이스 대수의 구조를 정의한다.
• 옵레라드 내의 곱 연산이 해당 차수 벡터 공간 위에 미분 가환 대수의 구조를 유도함을 보인다.
• 특정 호환성 항등식을 만족하는 호환되는 미분과 디트 곱 연산을 갖는 브레이스 대수로서 호모토피 G-대수를 도입한다.
• 실수로 콤파クト화된 모듈리 공간 $ \underline{\cal M}(n) $에서 체인 옵레라드를 구성한다. 이 공간은 $ \overline{\cal M}_{0,n+1} $ 위의 원판 뭉치이며, 노드와 구멍에 접선 방향 데이터를 포함한다.
• 평가 사상에 沿해 형식의 역상의 피보터적 적분을 통해 $ f_n: \Omega^\bullet X^{\otimes n+1} \to \Omega^\bullet \underline{\cal M}(n) $ 를 정의한다.
• 포이아르랭의 쌍대화를 사용하여 이 사상의 쌍대를 취해 체인 옵레라드 $ C_\bullet \underline{\cal M}(n) $ 이 $ \Omega^\bullet X $ 위에 작용하게 하며, de Rham 복합체 위의 옵레라드 작용을 실현한다.

실험 결과

연구 질문

• RQ1 위상공간의 정수 코호전자 복합체는 Hochschild 코호전자 복합체를 일반화하여 자연스럽게 옵레라드의 구조를 지닐 수 있는가?
• RQ2 델리그의 추측—즉, Hochschild 코호전자 복합체가 작은 정사각형 옵레라드의 체인 옵레라드 위의 대수라는 추측—은 안정적인 맵의 모듈리 공간을 통해 기하학적으로 실현될 수 있는가?
• RQ3 어떻게 안정적인 맵의 모듈리 공간의 기하학적 자료를 사용하여 켈러 다양체의 de Rham 복합체에 대해 일반적인 호모토피 G-대수의 구조를 구성할 수 있는가?
• RQ4 접선 방향이 있는 안정적인 맵의 장식된 모듈리 공간은 미분 형식 위에 체인 수준의 작용을 정의하는 데 어떤 역할을 하는가?

주요 결과

• 곱 연산이 있는 옵레라드의 공간은 자연스럽게 호모토피 G-대수의 구조를 지닌다. 이는 Hochschild 코호전자 복합체의 구성 방식을 일반화한다.
• 위상공간 $ X $ 의 정수 코호전자 복합체 $ C^\bullet X $ 는 자연스럽게 옵레라드의 구조를 지닌다. 이는 기존의 Hochschild 코호전자에 대한 구조를 확장한다.
• 켈러 다양체 $ X $ 의 de Rham 복합체 $ \Omega^\bullet X $ 는 $ \underline{\cal M}(n) $ 이 $ \overline{\cal M}_{0,n+1} $ 의 실수 콤팩트화이자 접선 방향 데이터를 갖는 체인 옵레라드 $ C_\bullet \underline{\cal M}(n) $ 에 자연스럽게 작용한다.
• 이 작용은 평가 사상에 沿해 형식의 역상의 외적 곱의 푸시포워드를 포함하는 공식을 통해 정의되며, 심플렉틱 부피의 지수함수로 가중된다.
• 이 구성은 $ \Omega^\bullet X $ 에서 가장 일반적인 유형의 호모토피 G-대수의 구조를 실현한다. 이는 콘체비치의 Gromov-Witten 불변량의 구성 방식을 일반화한다.
• 모듈리 스택이 부드럽고 모서리가 있는 것으로 가정할 경우, 이 옵레라드 작용이 잘 정의됨을 보였다. 전체 검증은 향후 작업으로 연기되었다.