[논문 리뷰] Obstruction classes and Open Gromov-Witten invariants

Vito Iacovino|arXiv (Cornell University)|2011. 08. 16.

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

한 줄 요약

이 논문은 상대적으로 스파인이고 마스로프 지수 0인 라그랑주 부분다양체를 가진 칼라비-야우 3차원다양체에 대해, 장애 클래스 기반의 직접적인 정의를 통해 종수 0 열린 그로모프-위튼 불변량을 제시한다. 유계 체인과 호모토피 데이터를 이용해 재귀적으로 체인을 구성함으로써, 생성함수에 의존하지 않고 유리수 불변량을 정의하며, 장애 클래스가 유리호모로지에서 0이 되면 불변량이 잘 정의됨을 보이고, 체인 수준의 재귀적 구조를 통해 그 존재성을 증명한다.

ABSTRACT

We define genus zero open Gromov-Witten invariants for Calabi-Yau three folds and relatively spin Lagrangian submanifold of Maslov index zero.

연구 동기 및 목표

• 칼라비-야우 3차원다양체에 대해 마스로프 지수 0이고 상대적으로 스파인인 라그랑주 부분다양체에 대해, 생성함수를 사용하지 않는 직접적인 종수 0 열린 그로모프-위튼 불변량의 정의를 제공한다.
• 상대 호모로지 클래스뿐 아니라 고정된 심플렉틱 에너지 영역에 대해서도 불변량을 정의함으로써 필요한 조건을 줄인다.
• 장애 클래스의 역할과 그 값이 0이 될 때 불변량의 일致성과 유리수 성질이 보장되는 이유를 명확히 한다.
• 열린 그로모프-위튼 불변량과 라그랑주 플로어 homology에서 사용되는 유계 체인 사이의 연결 고리를 설정함으로써, 후자의 새로운 구성 방법을 가능하게 한다.

제안 방법

• 방법은 다중 디스크의 모듈리 공간을 장식된 트리로 분석함으로써 재귀적으로 열린 그로모프-위튼 불변량을 정의한다. 이 트리의 정점은 상대 호모로지 클래스로 표시된다.
• 장애 클래스 $ o(A) \in C_1(L, \mathbb{Q}) $ 는 한 정점과 한 외부 간선을 가진 트리와 관련된 특이 체인으로서 정의되며, 체인 수준의 붙임에서 경계 조건의 실패를 측정한다.
• 유계 체인 $ b(A) \in C_2(L, \mathbb{Q}) $ 는 장애를 해결하는 데 사용되며, $ \partial b(A) = o(A) $ 를 만족한다. 이들의 호모토피 클래스가 유리수 불변량을 결정한다.
• 심플렉틱 에너지 수준 $ E_k $ 에 대해, 에너지 장식된 트리를 사용하여 불변량 $ F_0(E_k) $ 를 정의하며, 장애 $ o(E_k) $ 와 유계 체인 $ b(E_k) $ 는 재귀적으로 정의된다.
• 반-심플렉틱 호모토피가 존재하는 경우, 대칭성은 모든 장애 클래스가 0이 되게 하며, 이로 인해 $ b(E) = 0 $ 이 되고 이는 이전 연구에서의 불변량을 회복한다.
• 생성함수의 체인 수준 구조를 피하기 위해, 대신 체인의 호모토피 클래스와 유리수 계수에 의존함으로써 불변량의 유리수 성질을 보장한다.

실험 결과

연구 질문

• RQ1 열린 그로모프-위튼 불변량은 생성함수를 사용하지 않고 직접 정의될 수 있는가?
• RQ2 열린 그로모프-위튼 이론에서 유리수 불변량을 정의할 수 없게 만드는 정확한 장애 클래스는 무엇인가?
• RQ3 유계 체인은 불변량 구성의 일관성과 라그랑주 플로어 호모로지와 어떻게 관련되는가?
• RQ4 장애 클래스가 언제 0이 되며, 이는 불변량의 유리수 성질과 잘 정의됨에 어떤 영향을 미치는가?
• RQ5 상대 호모로지 클래스가 아니라 고정된 심플렉틱 에너지 영역에 대해 불변량을 정의할 수 있으며, 이는 장애 구조에 어떤 영향을 미치는가?

주요 결과

• 모든 더 작은 클래스 $ A' $ 에 대해 $ o(A') $ 와 $ b(A') $ 가 정의되어 있을 경우, 각 상대 호모로지 클래스 $ A \in H_2(X,L) $ 에 대해 장애 클래스 $ o(A) \in C_1(L,\mathbb{Q}) $ 는 잘 정의된다. 이는 재귀적 구성이 가능함을 의미한다.
• 장애 클래스 $ o(A) $ 가 정의되어 있고 $ [o(A)] = 0 $ 이 $ H_1(L,\mathbb{Q}) $ 에서 성립할 경우, 열린 그로모프-위튼 불변량 $ F_0(A) \in \mathbb{Q} $ 는 정의된다. 이때 $ b(A) \in C_2(L,\mathbb{Q}) $ 는 $ \partial b(A) = o(A) $ 를 만족한다.
• 라그랑주 부분다양체가 반-심플렉틱 호모토피의 고정점이면, 모든 장애 클래스가 0이 되며, $ b(E) = 0 $ 이 된다. 이 경우 불변량은 [5]에서의 결과와 일치한다.
• 불변량 $ F_0(A) $ 는 명백히 유리수이며, 생성함수 기반 정의에 비해 핵심적인 이점이다.
• 이 구성은 칼라비-야우 조건을 필요로 하지 않으며, 임의의 차원에서 라그랑주 플로어 호모로지의 새로운 체인 수준 접근법을 제공한다.
• 심플렉틱 에너지 수준 $ E_k $ 에 대해 불변량 $ F_0(E_k) $ 는 재귀적으로 정의되며, $ k' < k $ 에 대해 $ b(E_{k'}) $ 의 호모토피 클래스에 의존한다.