[논문 리뷰] Smoothness of Kuranishi atlases on Gromov-Witten moduli spaces

Robert Castellano|arXiv (Cornell University)|2015. 11. 13.

Geometric and Algebraic Topology참고 문헌 12인용 수 5

한 줄 요약

이 논문은 제로 성질의 $J$-홀로모르픽 곡선에 대한 그로모프-위튼 모듈리 공간이 임의의 가상 차원에 대해 가상 기본류를 구성할 수 있는 $C^1$ 계층적 미분가능(C^1 SS) 쿠라니시 아틀라스를 갖는다는 것을 증명한다. 저자들은 맥더프와 웨르하임의 쿠라니시 아틀라스 프레임워크에서 발생하는 핵심 분석적 장벽을 제거하기 위해 더 강력한 $C^1$ 접합 정리(접합 함수가 접합 매개변수에 대해 $C^1$임을 보여주는)를 증명함으로써, 이 프레임워크의 적용 가능 범위를 가상 차원 0을 넘어서 확장한다.

ABSTRACT

Kuranishi atlases were introduced by McDuff and Wehrheim to build a virtual fundamental class on moduli spaces of J-holomorphic curves and resolve some of the challenges in this field. This paper considers Gromov-Witten moduli spaces and shows they admit a smooth enough Kuranishi atlas to be able to define a Gromov-Witten virtual fundamental class in any virtual dimension. The key step for this result is the proof of a stronger gluing theorem.

연구 동기 및 목표

• 기존에 가상 차원 0에서만 가상 기본류를 허용했던 그로모프-위튼 모듈리 공간에 대한 쿠라니시 아틀라스의 부족한 미분가능성을 해결하기 위해.
• 쿠라니시 아틀라스 프레임워크를 임의의 가상 차원에서의 가상 기본류 구성이 가능하도록 확장하기 위해.
• 제로 성질 델 라이니-무르드 공간 $\overline{\mathcal{M}}_{0,k}$ 가 아틀라스와 호환되는 $C^1$ 계층적 미분가능한 구조를 갖는다는 것을 증명하기 위해.
• $J$-홀로모르픽 곡선 모듈리 공간의 맥락에서 접합 함수에 대해 더 강력한 $C^1$ 접합 정리를 증명하기 위해.
• 컨트세비치-마니ン 공리계를 만족하는 호모로지 제약 조건을 갖는 제로 성질 그로모프-위튼 불변량의 정의를 가능하게 하기 위해.

제안 방법

• 복소 접합 매개변수 $\lambda$ 에 대해 $\widetilde{\lambda} = \lambda |\lambda|^\varepsilon$ 를 사용하여 접합 변수를 재정의함으로써, $\lambda = 0$ 에서도 $C^1$ 미분 가능성을 확보한다.
• 표준 접합 매개변수 $s = R^{-2/p}$ 를 $s^{1+\varepsilon}$ 로 대체함으로써, 원점에서 유계인 도함수와 $C^1$ 정규성을 보장한다.
• 바나흐 공간 설정에서 접합 함수에 대해 은직함수정리(implicit function theorem)를 적용하고, $L^p$ 및 $W^{1,p}$ 공간에서 도함수와 노름의 추정치를 정밀하게 분석한다.
• 델 라이니-무르드 공간 $\overline{\mathcal{M}}_{0,k}$ 에서의 교차비율 좌표를 사용하여 아틀라스와 호환되는 $C^1$ 미분가능한 구조를 정의한다.
• 접합 함수의 도함수의 $W^{1,p}$ 노름을 $C_9 \frac{1}{R_0} \frac{1}{(\delta R_0)^{2/p}}$ 로 유계화함으로써, $R_0 \to \infty$ 일 때 균일하게 감쇠됨을 보여 $C^1$ 정규성을 확인한다.
• 모든 구조 함수, 특히 $\overline{\mathcal{M}}_{0,k}^{\text{new}}$ 로 향하는 忽略 함수까지도 $C^1$ 계층적 미분가능함을 보장함으로써, $\overline{\mathcal{M}}_{0,k}(A,J)$ 에서 $C^1$ SS 쿠라니시 아틀라스를 구성한다.

실험 결과

연구 질문

• RQ1 임의의 가상 차원에 대해 제로 성질 그로모프-위튼 모듈리 공간 $\overline{\mathcal{M}}_{0,k}(A,J)$ 에 $C^1$ 계층적 미분가능한 쿠라니시 아틀라스를 구성할 수 있는가?
• RQ2 접합 매개변수 $\lambda = 0$ 에서의 특이 행동에도 불구하고, 그로모프-위튼 설정에서 접합 함수가 접합 매개변수에 대해 $C^1$ 미분가능한가?
• RQ3 델 라이니-무르드 공간 $\overline{\mathcal{M}}_{0,k}$ 는 아틀라스와 호환되는 $C^1$ 계층적 미분가능한 구조를 갖는가?
• RQ4 표준 접합 정리 [MS12] 를 강화하여, 접합 매개변수의 원점에서 접합 함수의 $C^1$ 미분 가능성을 보장할 수 있는가?
• RQ5 쿠라니시 아틀라스 프레임워크는 비영인 가상 차원에서의 가상 기본류 구성도 지원할 수 있는가?

주요 결과

• 제로 성질 그로모프-위튼 모듈리 공간 $\overline{\mathcal{M}}_{0,k}(A,J)$ 는 임의의 가상 차원에 대해 가상 차원 $d = 2n + 2c_1(A) + 2k - 6$ 인 방향성 있는, 약한 $C^1$ SS 쿠라니시 아틀라스를 갖는다.
• 델 라이니-무르드 공간 $\overline{\mathcal{M}}_{0,k}$ 는 아틀라스와 호환되는 $C^1$ 계층적 미분가능한 구조 $\overline{\mathcal{M}}_{0,k}^{\text{new}}$ 를 갖으며, 이는 忽略 함수 $U \to \overline{\mathcal{M}}_{0,k}^{\text{new}}$ 가 $C^1$ SS 임을 보장한다.
• 새로운 $C^1$ 접합 정리가 증명되었으며, 접합 함수는 접합 매개변수 $\lambda$ 에 대해 $C^1$ 이며, 도함수의 유계성이 $R_0 \to \infty$ 일 때 균일하게 유지됨을 보여 핵심 분석적 장벽이 제거됨을 입증한다.
• 접합 함수의 도함수의 $W^{1,p}$ 노름은 $C_9 \frac{1}{R_0} \frac{1}{(\delta R_0)^{2/p}}$ 로 유계화되며, 이는 $R_0 \to \infty$ 일 때 감쇠됨을 보여 $C^1$ 정규성을 확인한다.
• 접합 매개변수를 $\varepsilon > 0$ 으로 $\widetilde{\lambda} = \lambda |\lambda|^\varepsilon$ 로 재정의함으로써, 원래 함수가 $\lambda \neq 0$ 에서만 미분가능하더라도 $\lambda = 0$ 에서도 $C^1$ 미분 가능성이 보장된다.
• 이 구성은 [Cas] 에서 제시된 바와 같이, 컨트세비치-마니н 공리계를 만족하는 호모로지 제약 조건을 갖는 제로 성질 그로모프-위튼 불변량의 정의를 가능하게 한다.