[논문 리뷰] Moduli of J-Holomorphic Curves with Lagrangian Boundary Conditions and Open Gromov-Witten Invariants for an $S^1$-Equivariant Pair

Chiu-Chu Melissa Liu|ArXiv.org|2002. 10. 17.

Geometry and complex manifolds참고 문헌 28인용 수 78

한 줄 요약

이 논문은 J-홀로모르픽 곡선의 모듈리 공간에 대해 경계 조건이 라그랑주 부분다양체인 경우에 코너를 가진 쿠라니시 구조를 구성하고, C^∞-위상에서 컴팩트성과 하우스도르프 성질을 증명한다. 가상 차원이 0인 S¹-등변 쌍에 대해 유리 수의 오일러 수로 열린 그로모프-위튼 불변량을 정의하며, 이는 국소화 계산과 일치할 것이라 추측된다.

ABSTRACT

Let $(X,ω)$ be a symplectic manifold, $J$ be an $ω$-tame almost complex structure, and $L$ be a Lagrangian submanifold. The stable compactification of the moduli space of parametrized $J$-holomorphic curves in $X$ with boundary in $L$ (with prescribed topological data) is compact and Hausdorff in Gromov's $C^\infty$-topology. We construct a Kuranishi structure with corners in the sense of Fukaya and Ono. This Kuranishi structure is orientable if $L$ is spin. In the special case where the expected dimension of the moduli space is zero, and there is an $S^1$ action on the pair $(X,L)$ which preserves $J$ and acts freely on $L$, we define the Euler number for this $S^1$ equivariant pair and the prescribed topological data. We conjecture that this rational number is the one computed by localization techniques using the given $S^1$ action.

연구 동기 및 목표

• 라그랑주 부분다양체에 경계를 지닌 J-홀로모르픽 곡선에 대해 열린 그로모프-위튼 불변량을 엄밀히 정의하는 것.
• C^∞-위상에서 라그랑주 경계 조건을 가진 안정적 매핑의 모듈리 공간이 컴팩트하고 하우스도르프임을 보이는 것.
• 이 모듈리 공간 위에 코너를 가진 쿠라니시 구조를 구성하고, 라그랑주 부분다양체가 스피노일 경우의 옹차성(orientability)을 증명하는 것.
• 가상 차원이 0인 S¹-등변 쌍에 대해 오일러 수 불변량을 정의하며, 이는 국소화 결과와 일치할 것이라 추측하는 것.
• 열린 그로모프-위튼 불변량을 위한 기초 틀을 제공하여 끈 이론에서의 물리적 예측을 검증하는 데 사용할 수 있도록 하는 것.

제안 방법

• Gromov의 C^∞-위상을 사용하여 라그랑주 부분다양체에 경계를 지닌 J-홀로모르픽 곡선의 모듈리 공간을 컴팩트화하는 것.
• 경계가 있는 리만 곡면의 변형 이론과 노드 곡선의 접합 기법을 통해 코너를 가진 쿠라니시 구조를 구성하는 것.
• 쿠라니시 방법을 안정적 매핑에 적용하며, W^{k,p} 매핑과 가상 차원 공식을 사용하여 모듈리 공간을 제어하는 것.
• 가상 차원이 0임을 가정하고, 쌍 (X,L) 에 S¹-등변성을 도입하여 국소화를 통해 오일러 수 불변량을 정의하는 것.
• 홀로모르픽 매핑이 L에 경계를 지닌 것을 컴act 리만 곡면 위의 홀로모르픽 매핑과 연결하기 위해 스웨츠 반사 원리를 적용하는 것.
• 정의된 오일러 수가 Hodge 번들의 및 ψ-클래스를 포함한 곡선의 모듈리 공간에서의 국소화 계산과 일치할 것이라 추측하는 것.

실험 결과

연구 질문

• RQ1 라그랑주 경계 조건을 가진 J-홀로모르픽 곡선에 대해 잘 정의된, 컴팩트하고 옹차 있는 모듈리 공간을 구성할 수 있는가?
• RQ2 이 모듈리 공간 위에 코너를 가진 쿠라니시 구조가 존재하는가? 그리고 라그랑주 부분다양체가 스피노일 경우 옹차한가?
• RQ3 가상 차원이 0인 S¹-등변 쌍에 대해 열린 그로모프-위튼 불변량을 정의할 수 있는가?
• RQ4 이 구성에 의해 계산된 오일러 수 불변량은 국소화 기법으로 얻어진 것과 동일한가?
• RQ5 일반적인 경우에서 S¹-등변성의 제한적인 가정을 제거하기 위해 경계 조건을 어떻게 일반화할 수 있는가?

주요 결과

• 라그랑주 경계 조건을 가진 J-홀로모르픽 곡선의 모듈리 공간은 C^∞-위상에서 컴팩트하고 하우스도르프이다.
• 이 모듈리 공간 위에 코너를 가진 쿠라니시 구조가 구성되었으며, 라그랑주 부분다양체가 스피노일 경우 옹차다.
• 가상 차원이 0인 S¹-등변 쌍에 대해 오일러 수 불변량이 유리수로 정의된다.
• 불변량 $ C(g;h|d;n_1,\ldots,n_h|a) $ 는 다음의 대칭 관계를 만족할 것이라 추측된다: $ (-1)^{d-h}C(g;h|d;n_1,\ldots,n_h|a) = C(g;h|d;n_1,\ldots,n_h|1-a) $.
• 종수 0의 경우, 불변량은 $ (a(1-a))^{h-1} \prod_{i=1}^{h} \binom{n_i a - 1}{n_i - 1} d^{h-3} $ 로 주어지며, 국소화 결과와 일치한다.
• 고차 종수의 경우, 불변량은 Hodge 번들의 및 ψ-클래스를 포함하는 $ \overline{M}_{g,h} $ 위의 적분으로 표현된다.