[논문 리뷰] Homology of moduli spaces of curves and commutative homotopy algebras

Takashi Kimura, Jim Stasheff외 1명|ArXiv.org|1995. 02. 08.

Homotopy and Cohomology in Algebraic Topology참고 문헌 32인용 수 14

한 줄 요약

이 논문은 곡선의 모듈리 공간의 호모로지와 교환 법칙이 성립하는 호모토피 대수학(즉, C∞-대수학) 사이의 연결 고리를 설정한다. 이는 컴acts화된 리만 곡면의 모듈리 공간의 정수 계열 작용소의 대수학이 특정 차수 조건을 만족할 경우 자연스럽게 C∞-대수학의 구조를 지닌다는 것을 보여준다. 핵심 결과는 모듈리 공간의 코homology로 수렴하는 스펙트럴 시퀀스로서, E1 항은 컴acts화된 모듈리 공간 코homology의 모듈러 코작용소의 코바르 구성에 의해 주어지며, 허드글로우 순수성으로 인해 E2에서 붕괴된다.

ABSTRACT

We propose an explicit relation between the cohomology of compactified and noncompactified moduli spaces of algebraic curves with punctures. This relationship generalizes one between commutative algebras and Lie algebras proposed by Lazard, Kontsevich and Ginzburg and Kapranov. More explicitly, we show that the cohomology of one moduli space is the graph complex decorated with the cohomology of the other, which in its turn generalizes Getzler's result for the genus zero moduli. We also show that a certain class of algebras over the chain operad of compactified moduli spaces has a natural structure of a commutative homotopy algebra. This may be regarded as a lifting of the dot product of Lian-Zuckerman's BV algebra structure to the cochain level, thus complementing the results of an earlier paper hep-th/9307114 of the authors regarding the BV bracket.

연구 동기 및 목표

• 곡선의 모듈리 공간 호모로지를 통해 C∞-대수학의 기하적 실현을 확립하기 위해.
• Lian과 Zuckerman의 질문, 즉 BRST 코homology에서의 BV 대수학적 구조를 코체인 수준으로 상향 승격하는 방법을 다루기 위해.
• H•(M̄_{g,n})의 코바르 구성에 기반한 스펙트럴 시퀀스를 사용하여 모듈리 공간 M_{g,n}의 코homology로 수렴하는 스펙트럴 시퀀스를 구성하기 위해.
• H•(M̄_{g,n})의 허드글로우 구조 순수성으로 인해 스펙트럴 시퀀스가 E2에서 붕괴됨을 증명하기 위해.
• 호모로지 H•(M̄_{g,n})에 대한 이중 스펙트럴 시퀀스를 기술하며, 이는 일반적으로 E2에서 붕괴하지 않으며 g=0일 경우에만 붕괴함을 나타내기 위해.

제안 방법

• Deligne-Knudsen-Mumford 컴acts화된 모듈리 공간 M̄(n)의 정수 체인 작용소를 사용하여 (n+1)개의 구멍이 있는 리만 구면의 컴acts화된 모듈리 공간에 대한 작용소를 구성한다.
• 모듈러 코작용소 H•(M̄_{g,n})에 코바르 구성 적용을 통해 H•(M_{g,n})로 수렴하는 스펙트럴 시퀀스를 구축한다.
• H•(M̄_{g,n})의 허드글로우 구조 순수성에 기반하여 스펙트럴 시퀀스의 E2 붕괴를 증명한다.
• 복합체 V의 내적 작용소의 필터링을 정의하여 작용소의 구조에 대한 스펙트럴 시퀀스를 유도한다.
• 필터링된 C•(M̄)-대수학이 스펙트럴 시퀀스의 E0, E1, E2 항에 대한 대수학을 유도함을 보인다.
• 페인만 변환과 일반화된 코바르 구성의 방법을 사용하여 작용소 프레임워크 내에서 그래프와 트리의 구조를 다룬다.

실험 결과

연구 질문

• RQ1 컴acts화된 곡선의 모듈리 공간의 정수 체인 작용소에 대한 대수학은 어떤 조건에서 C∞-대수학의 구조를 지닐 수 있는가?
• RQ2 C•(M̄_{g,n})의 표준 필터링에 관련된 스펙트럴 시퀀스는 E2에서 붕괴하는가? 만약 그렇다면 그 이유는 무엇인가?
• RQ3 작용소 호모토피 이론을 통해 BRST 코homology에서의 BV 대수학적 구조를 어떻게 코체인 수준으로 상향 승격할 수 있는가?
• RQ4 코바르 구성은 어떻게 모듈리 공간 M_{g,n}의 코homology를 스펙트럴 시퀀스를 통해 실현하는가?
• RQ5 호모로지 H•(M̄_{g,n})에 대한 이중 스펙트럴 시퀀스는 어떤 조건에서 E2에서 붕괴하는가?

주요 결과

• H•(M_{g,n})로 수렴하는 스펙트럴 시퀀스의 E1 항은 모듈러 코작용소 H•(M̄_{g,n})의 코바르 구성과 동형이다.
• H•(M̄_{g,n})의 허드글로우 구조 순수성으로 인해 스펙트럴 시퀀스는 E2에서 붕괴된다.
• 차수 조건을 만족하는 C•(M̄(n))에 대한 대수학은 차수 > n−2인 체인에서 영이 되며, 자연스럽게 C∞-대수학의 구조를 지닌다.
• 필터링된 복합체 V에 대한 스펙트럴 시퀀스의 E1 항은 미분 Q를 갖는 V의 내적 작용소와 동형이다.
• 스펙트럴 시퀀스의 E2 항은 작용소 H•(M̄_{g,n})와 동형이며, H(V)는 이 작용소에 대한 대수학이 된다.
• g=0일 경우, H•(M̄_{g,n})에 대한 이중 스펙트럴 시퀀스는 E2에서 붕괴하지만, 일반적으로 g>0일 경우 붕괴하지는 않는다.