[논문 리뷰] Equivariant Open Gromov-Witten Theory of $\mathbb{R}\mathbb{P}^{2m} \hookrightarrow \mathbb{C}\mathbb{P}^{2m}$

Amitai Netser Zernik|arXiv (Cornell University)|2017. 09. 26.

Geometric and Algebraic Topology참고 문헌 13인용 수 3

한 줄 요약

이 논문은 안정적인 디스크-매핑의 모듈리 공간을 구면 블로업을 통해 해소하고, 확장된 등변형 미분형식을 사용하여 $ℝℚ^{2m} \hookrightarrow ℂℚ^{2m}$의 라그랑주 임bedding에 대해 등변형 열린 그로모프-와이너 인바리언트를 도입한다. 이러한 형식들에 대해 스토크스 정리를 확립함으로써, 이들 인바리언트를 해소 공간 위의 적분으로 정의할 수 있으며, 이는 $ℝℚ^{2m}$의 등변수 코homology의 양자 변형을 캐릭터라이즈한다. $m=1$일 때 비등변 극한에서 웰슈링거 인바리언트로 특수화된다. 이 구성은 이후 연구에서 이러한 인바리언트에 대한 고정점 공식을 뒷받침한다.

ABSTRACT

We define equivariant open Gromov-Witten invariants for $\mathbb{R}\mathbb{P}^{2m} \hookrightarrow \mathbb{C}\mathbb{P}^{2m}$ as sums of integrals of equivariant forms over resolution spaces, which are blowups of products of moduli spaces of stable disc-maps modeled on trees. These invariants encode the quantum deformation of the equivariant cohomology of $\mathbb{R}\mathbb{P}^{2m}$ by holomorphic discs in $\mathbb{C}\mathbb{P}^{2m}$ and, for $m=1$, specialize to give Welschinger's signed count of real rational planar curves in the non-equivariant limit.

연구 동기 및 목표

• 모듈리 공간의 안정적인 디스크-매핑에 대한 $(\u2102\u211a^{2m}, \u211d\u211a^{2m})$ 쌍에 대해 등변형 열린 그로모프-와이너 인바리언트를 정의한다.
• 등변형 미분형식의 복합체 $(\Omega_b, D)$를 구성하여 스토크스 정리를 만족시키며, 이를 통해 적분을 통해 인바리언트를 정의할 수 있도록 한다.
• 등변수 코homology의 양자 변형을 $ℂ\u211a^{2m}$ 내의 힐베르트-디스크를 통해 캐릭터라이즈하는 프레임워크를 제공한다.
• 이러한 인바리언트를 계산하는 데 사용되는 고정점 공식의 기초를 마련한다. 이후 연구 [18]에서 개발된다.
• m=1일 때 웰슈링거의 실수 유리 곡선의 부호가 붙은 수를 등변 설정으로 확장한다.

제안 방법

• 모듈리 공간의 안정적인 디스크-매핑의 곱에 대해 반복적인 구면 블로업을 통해 해소 공간 $\widetilde{M}_b^r$을 구성하며, 이는 레이블이 붙은 트리에 의해 인덱싱된다.
• 등변형 미분형식의 복합체 $(\Omega_b, D)$를 정의하여, 토르 군 작용이 있는 닫힌 다양체 위에 있는 것처럼 행동하게 하며, $\int_b D\omega = 0$을 만족시킨다.
• 해소 공간과 더 적은 표본점이 있는 안정적인 매핑의 모듈리 공간을 연결하기 위해 忘却 사상 $\operatorname{For}_b^r: \widetilde{M}_b^r \to \widehat{M}_b^r$를 사용한다.
• L × L 내의 대각 부분다양체에 沿해 구면 블로업을 적용하며, 교차성 조건을 이용하여 평행사변형의 형태로 $\widetilde{M}_b^r$를 평가 함수를 포함하는 정의로 구성한다.
• 안정적인 디스크-매핑의 모듈리 공간에 상대적 방향성 체계를 도입하여 일관된 적분을 보장한다.
• 호모로지 페트루션 레마를 사용하여 약한 바인딩 코체인의 구성에서의 선택을 줄이며, 적분적 접근과 A∞-대수적 관점 사이의 연결을 맺는다.

실험 결과

연구 질문

• RQ1 경계에서의 장애 요소가 존재하는 모듈리 공간에도 불구하고, 라그랑주 $ℝ\u211a^{2m} \hookrightarrow \u2102\u211a^{2m}$에 대해 등변형 열린 그로모프-와이너 인바리언트를 어떻게 일관되게 정의할 수 있는가?
• RQ2 해소 공간과 구면 블로업의 역할은 무엇이며, 열린 인바리언트에 대한 잘 정의된 적분 이론을 구성하는 데 어떤 기여를 하는가?
• RQ3 오비폴드와 모서리가 있는 공간과 토르 작용의 맥락에서 스토크스 정리를 어떻게 구성하고 적용할 수 있으며, 이를 통해 불변성을 확보할 수 있는가?
• RQ4 이러한 인바리언트는 $ℝ\u211a^{2m}$의 등변수 코homology의 양자 변형을 어떻게 캐릭터라이즈하는가?
• RQ5 m=1일 때 등변 매개변수를 0으로 설정하면, 인바리언트는 웰슈링거의 실수 유리 곡선의 부호가 붙은 수로 어떻게 특수화되는가?

주요 결과

• 등변형 열린 그로모프-와이너 인바리언트는 해소 공간 $\widetilde{M}_b^r$ 위에서의 적분 $I(k,\vec{l},\beta) = \int_b \omega_{(k,\vec{l},\beta)}$로 정의되며, $\omega_{(k,\vec{l},\beta)}$는 확장된 등변형 미분형식이다.
• 확장된 형식의 복합체 $\Omega_b$는 스토크스 정리를 지원한다: $\int_b D\omega = 0$으로서, 이는 인바리언트가 선택에 의존하지 않고 잘 정의됨을 보장한다.
• m=1일 때, 비등변 극한에서 인바리언트는 $ℝ\u211a^2$에 있는 $k$개의 점과 $ℂ\u211a^2$ 내의 $l$개의 복소수 켤레-불변 쌍을 지난 실수 유리 평면 곡선의 부호가 붙은 수로 특수화된다.
• 해소 공간 $\widetilde{M}_b^r$는 안정적인 디스크-매핑의 모듈리 공간의 곱에 대해 반복적인 구면 블로업을 통해 구성되며, 이는 레이블이 붙은 트리에 의해 인덱싱되며, 모듈리 공간의 경계 성분을 해소한다.
• 이 구성은 솔로몬과 투카힌스키의 A∞-대수적 관점과 적분 이론적 접근 사이의 다리를 놓으며, 잠재함수 $\Phi(w)$가 $ℝ\u211a^{2m}$의 등변수 코homology의 양자 변형을 캐릭터라이즈한다.
• 이 연구에서 개발된 프레임워크는 [18]에서 고정점 공식의 기초를 제공하며, 이를 통해 고정점 집합의 기여로 인바리언트를 단순화하여 계산할 수 있다.