[논문 리뷰] Kuranishi homology and Kuranishi cohomology

Dominic Joyce|ArXiv.org|2007. 07. 24.

Geometric and Algebraic Topology참고 문헌 45인용 수 28

한 줄 요약

이 논문은 오비폴드와 쿠라니시 공간에 대해 쿠라니시 호몰로지 및 코호몰로지 이론을 도입하며, 이는 정칙 호몰로지 및 컴act하게 지지된 코호몰로지와 동형임을 증명한다. 이 이론들은 게이지 고정 자료를 사용하여 유한한 자동형군을 보장함으로써 잘 정의된 (코)호몰로지 이론과 기존의 Gromov–Witten 불변량을 정교화하고 라그랑주 피어 코호몰로지를 단순화하는 새로운 경계 불변량을 가능하게 한다.

ABSTRACT

A Kuranishi space is a topological space with a Kuranishi structure, defined by Fukaya and Ono. Kuranishi structures occur naturally on moduli spaces of J-holomorphic curves in symplectic geometry. Let Y be an orbifold and R a commutative ring or Q-algebra. We define two kinds of Kuranishi homology KH_*(Y;R). The chain complex KC_*(Y;R) defining KH_*(Y;R) is spanned over R by [X,f,G], for X a compact oriented Kuranishi space with corners, f : X --> Y smooth, and G "gauge-fixing data" which makes Aut(X,f,G) finite. Our main result is that these are isomorphic to singular homology. We define Poincare dual Kuranishi cohomology, isomorphic to compactly-supported cohomology. We define five kinds of Kuranishi (co)bordism spanned by isomorphism classes[X,f] for X a compact oriented Kuranishi space without boundary and f : X --> Y smooth. They are new topological invariants, and we show they are very large. These theories are powerful new tools in symplectic geometry. Defining virtual cycles and chains for moduli spaces of J-holomorphic curves is trivial in Kuranishi (co)homology. There is no need to perturb moduli spaces, and no problems with transversality. This gives major simplifications in Lagrangian Floer cohomology. We define new Gromov-Witten type invariants in Kuranishi bordism, over Z not Q. We sketch how these may be used to prove the integrality conjecture for Gopakumar-Vafa invariants. This paper is surveyed in arXiv:0710.5634.

연구 동기 및 목표

• 오비폴드와 쿠라니시 공간에 대해 새로운 호몰로지 및 코호몰로지 이론—쿠라니시 (코)호몰로지 및 효율적 쿠라니시 (코)호몰로지—를 정의하기.
• 기존의 (코)호몰로지 군보다 훨씬 큰 다섯 가지의 새로운 경계 이론(쿠라니시 경계 이론 및 코경계 이론)을 구축하기.
• 쿠라니시 (코)호몰로지를 사용하여 Gromov–Witten 불변량을 정교화하고, 라그랑주 피어 코호몰로지를 단순화할 수 있는 프레임워크를 제공하기.
• 쿠라니시 (코)호몰로지 군이 오비폴드에 대해 고전적 정칙 (코)호몰로지 및 컴팩트하게 지지된 코호몰로지와 동형임을 증명하기.
• 게이지 고정 자료를 사용하여 잘 정의된 (코)사슬 이론과 이중 이론을 수립함으로써, 잘 정의된 교차 곱과 푸앵카레 dualit의 보장하기.

제안 방법

• 심플렉틱 기하학의 모듈리 공간을 모델링하기 위해 오비폴드와 일반화된 모서리를 사용한 쿠라니시 구조를 가진 쿠라니시 공간을 정의하기.
• 자기형군의 크기를 제어하고 유한성을 보장함으로써 잘 정의된 (코)호몰로지 이론을 가능하게 하는 게이지 고정 자료 및 공게이지 고정 자료를 도입하기.
• X가 경계를 가진 컴팩트하고 옹호된 쿠라니시 공간이며, f: X → Y 가 강한 미분 가능이고, G 가 게이지 고정을 제공하는 등가류 [X, f, G]로 생성되는 (코)사슬 복합체 KC∗, KC∗_ec(Y; R)를 구성하기.
• 쿠라니시 공간의 섞임 곱과 게이지 고정 자료의 당김을 통해 (코)호몰로지에 곱을 정의함으로써 교차 이론과의 호환성 확보하기.
• 텐트 함수와 삼각형 분할 기법을 사용하여 쿠라니시 (코)호몰로지를 정칙 (코)호몰로지와 연결하고, 단계적 업그레이드 및 변형 추론을 통해 동형을 증명하기.
• 푸앵카레 이중성과 방향성 규칙을 적용하여 쿠라니시 이론과 고전 이론 간의 코호몰로지 곱, 캡 곱, 교차 곱 간의 관계를 규명하기.

실험 결과

연구 질문

• RQ1 쿠라니시 호몰로지 및 코호몰로지를 어떻게 정의할 수 있을까? 이는 고전적 정칙 호몰로지 및 컴팩트하게 지지된 코호몰로지를 복원할 수 있도록 해야 한다.
• RQ2 게이지 고정 자료는 어떻게 사용되어 쿠라니시 공간에서 자동형군의 유한성을 보장하고 잘 정의된 (코)호몰로지 이론을 가능하게 하는가?
• RQ3 쿠라니시 경계 이론과 고전적 경계 이론 간의 관계는 무엇이며, 이 이론들은 크기와 구조 측면에서 어떻게 비교되는가?
• RQ4 쿠라니시 (코)호몰로지는 고전적 불변량보다 더 풍부한 정보를 담고 있는 새로운 Gromov–Witten 불변량을 정의하는 데 사용될 수 있는가?
• RQ5 라그랑주 피어 코호몰로지는 어떻게 쿠라니시 코호몰로지를 사용하여 재구성할 수 있을까? 이는 기술적 단순화와 향상된 결과를 이끌어낼 수 있는가?

주요 결과

• 모든 오비폴드 Y 와 가환환 R 에 대해 쿠라니시 호몰로지 KH∗(Y; R) 와 효율적 쿠라니시 호몰로지 KHef∗(Y; R) 는 정칙 호몰로지 Hsi∗(Y; R) 와 동형이다.
• Y 가 옹호된 경우 쿠라니시 코호몰로지 KH∗(Y; R) 와 효율적 쿠라니시 코호몰로지 KH∗_ec(Y; R) 는 컴팩트하게 지지된 코호몰로지 H∗_cs(Y; R) 와 동형이다.
• 쿠라니시 경계 군 KB∗(Y; R) 와 KB∗(Y; R) 는 경계 군이 경계가 없는 컴팩트하고 옹호된 쿠라니시 공간 X 와 사상 [X, f] 의 이sov형류 클래스로 생성되므로 고전적 경계 군보다 훨씬 크다.
• 쿠라니시 (코)호몰로지의 코호몰로지 곱, 캡 곱, 교차 곱은 고전 이론의 대응 곱과 동형이며, 명시적 사슬 수준의 구성과 호몰로지 불변성에 의해 입증된다.
• 쿠라니시 이론과 고전 이론 간의 동형은 텐트 함수와 다양체로의 변형을 포함하는 다섯 단계의 업그레이드 및 삼각형 분할 과정을 통해 확립된다.
• 이 이론은 고전적 불변량보다 더 많은 정보를 담고 있는 쿠라니시 경계 이론 내에서 새로운 Gromov–Witten 유형의 불변량을 지원하며, Gopakumar–Vafa 불변량의 정수성 추측을 증명하는 데 사용될 수 있다.