[논문 리뷰] Frame ambiguity in Open Gromov-Witten invariants

Vito Iacovino|arXiv (Cornell University)|2010. 03. 24.

Geometric and Algebraic Topology참고 문헌 14인용 수 7

한 줄 요약

이 논문은 $ℝ^2 \times S^1$와 동형인 라그랑주 부분다양체를 가진 비콤팩트 칼라비-유다이 threefold에 대해 개방형 그로모프-위튼 불변량의 수학적으로 엄밀한 정의를 제공하며, 프레임의 모호성을 위상수학적 개념인 '프레임'을 통해 해결한다. 이 구성은 이전의 작업을 확장하여, 링크 수와 초전도체 이론을 포함함으로써, 대칭성과 양자장 이론의 예측과 일치하는 루프 및 링크 불변량을 도출한다.

ABSTRACT

We consider Open Gromov-Witten invariants for noncompact Calabi-Yau in the case the Lagrangian has the topology of $\R^2 imes S^1$. The definition of the invariant involves the choice of a frame for the Lagrangian, in accord with string theory. Our result applies to the examples arising from Large $N$-duality. In particular it leads to knot and link invariants counting holomorphic curves.

연구 동기 및 목표

• 비콤팩트 칼라비-유다이 threefold에 대해 $L \cong \mathbb{R}^2 \times S^1$인 경우 개방형 그로모프-위튼 불변량의 프레임 모호성을 해결하기 위해.
• 대규모 $N$ 다중성과 같은 증명되지 않은 이중성에 의존하지 않는 심플렉틱-위상수학적 정의를 제공하기 위해.
• 결합된 루프의 프레임과 그에 대응하는 라그랑주 부분다양체의 프레임 사이의 일대일 대응을 수립하여 일관된 곡선 수를 보장하기 위해.
• 프레임에 의해 코딩된 콪 pactification 데이터를 사용하여, 비콤팩트 라그랑주 부분다양체에 대한 일반화된 링크 수를 정의하기 위해.
• 프레임이 $S^1$-작용의 궤도에 대응할 경우, $S^1$-등방성 국소화를 통해 계산된 불변량이 제안된 정의와 일치함을 보여주기 위해.

제안 방법

• 프레임을 $H_1(L')$의 원소 $f$로 정의하며, $f_1v_2 - f_2v_1 = \pm 1$를 만족시키며, $H_1(L') \to H_1(L)$의 핵을 생성하는 $v$에 의해 결정되며, 호모로지의 기저를 보장한다.
• 무한대에서 $f$에 동형인 곡선을 사용하여 $S^3$ 스타일의 링크 수 정의를 확장하며, 컴acts 집합을 피하는 호모토피를 통해 무연결성을 정의한다.
• 비콤팩트 $L$에 적응된 [7]의 프레임워크를 따르며, 체인의 일반화된 링크 수로서 개방형 그로모프-위튼 불변량을 정의한다.
• 프레임에 의해 결정되는 경계 조건을 가진, 콤팩트화로부터 제한된 $L$ 위의 초전도체 이론 전파자기를 사용한다.
• 결합된 루프 $\mathcal{K}$의 프레임과 그의 쌍대 라그랑주 부분다양체 $L_{\mathcal{K}} \subset T^*S^3$의 프레임 사이의 일대일 대응을 수립한다.
• 그로모프 콤팩트성과 $L_{\mathcal{K}}$의 호모로지적 영성질을 이용하여, 모든 루프와 링크에 대해 잘 정의된 불변량을 보장한다.

실험 결과

연구 질문

• RQ1 비콤팩트 라그랑주 부분다양체 $\mathbb{R}^2 \times S^1$에 대해 개방형 그로모프-위튼 불변량을 어떻게 일관되게 정의할 수 있는가?
• RQ2 대규모 $N$ 다중성과 미러 대칭에서 관찰되는 프레임 모호성의 수학적 근원은 무엇인가?
• RQ3 비콤팩트 라그랑주 부분다양체에서 프레임의 선택이 곡선의 링크 수에 어떻게 영향을 미치는가?
• RQ4 $S^1$-등방성 국소화를 통해 계산된 불변량을 심플렉틱-위상수학적 정의와 어떻게 조율할 수 있는가?
• RQ5 쌍대 라그랑주 부분다양체의 맥락에서 루프 프레임과 라그랑주 프레임 사이의 정확한 대응은 무엇인가?

주요 결과

• 개방형 그로모프-위튼 불변량의 프레임 모호성은 $L \cong \mathbb{R}^2 \times S^1$의 콤팩트화 방법의 유일성 부재에서 기인하며, 각 프레임은 서로 다른 콤팩트화에 대응한다.
• 각 프레임은 무한대에서의 점근적 행동을 통해 $S^3$ 정의의 일반화된 링크 수를 유도하며, 라그랑주 부분다양체 위의 곡선에 대해 잘 정의된 링크 수를 유도한다.
• 프레임이 부여된 루프 $\mathcal{K}^f$에 대해 개방형 그로모프-위튼 불변량은 잘 정의되며, $H_4(X) = 0$ 덕분에 보조 선택(예: 2-체인 $B$)에 영향을 받지 않는다.
• 프레임이 $f_1,\dots,f_k$인 루프 링크 $\mathcal{K}_1^{f_1}, \dots, \mathcal{K}_k^{f_k}$에 대해, 그 불변량 $F_{g,\vec{n}}^{f_1,\dots,f_k}$는 그로모프 콤팩트성 조건 하에서 잘 정의되고 유한하다.
• 리우가 $S^1$-등방성 국소화를 통해 계산한 불변량은 프레임이 $S^1$-궤도에 대응할 경우, 심플렉틱-위상수학적 개방형 그로모프-위튼 불변량과 일치한다.
• 궤도 링크 수가 0인 프레임의 경우, 국소화 계산에서 비자명한 그래프의 기여가 사라지며, 이는 제안된 정의와의 일致성을 확인한다.