[논문 리뷰] Cohomologie quantique orbifolde des espaces projectifs a poids

Étienne Mann|ArXiv.org|2005. 10. 16.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 18

한 줄 요약

이 논문은 바라니코프(Barannikov)의 2001년 복소 프로젝티브 공간의 양자코homology에 대한 결과를 일반화한다. 가중치 $w_0, \ldots, w_n$를 가진 가중 프로젝티브 공간의 오비폴드 양자코homology와, 다항식 $f(u_0,\ldots,u_n) = u_0 + \cdots + u_n$가 초표면 $\prod u_i^{w_i} = 1$ 에 제한된 경우에서 유도된 프로페르스 다양체 구조 사이의 동형사상 수립을 위해 오비폴드 그로모프-와이너 인버리언트에 대한 추측을 가정한다. 이 결과는 프로페르스 다양체 구조를 통해 오비폴드 환경으로의 미러 대칭 대응을 확장한다.

ABSTRACT

In 2001, S. Barannikov showed that the Frobenius manifold coming from the quantum cohomology of the complex projective space is isomorphic to the Frobenius manifold attached to some Laurent polynomial. The purpose of this thesis is to generalize this result. More precisely, we show, up to a conjecture on the value of some orbifold Gromov-Witten invariants, that the Frobenius structure obtained on the orbifold quantum cohomology of the weighted projective spaces is isomorphic to the one attached to some Laurent polynomial.

연구 동기 및 목표

• 복소 프로젝티브 공간 $\mathbb{P}^n$ 의 양자코homology의 프로페르스 다양체 구조에 대한 바라니코프의 2001년 결과를 오비폴드 환경으로 확장한다.
• 가중 프로젝티브 공간의 오비폴드 양자코homology와 특정 라운드 다항식에 관련된 프로페르스 다양체 사이의 미러 대칭 대응을 수립한다.
• 오비폴드 양자코homology의 프로페르스 구조가 라운드 다항식 $f(u_0,\ldots,u_n) = \sum u_i$ 가 초표면 $\prod u_i^{w_i} = 1$ 에 제한된 경우의 브리스코른 격자와 가우스-마이너 시스템과 일치하는 지를 확인한다.
• 이 동형사상 수립에 필수적인 오비폴드 그로모프-와이너 인버리언트의 값에 대한 추측을 수립하고 분석한다.

제안 방법

• 오비폴드 그로모프-와이너 인버리언트를 사용하여 가중 프로젝티브 공간 $\mathbb{P}(w_0,\ldots,w_n)$ 의 오비폴드 양자코homology를 구성한다.
• 이 인버리언트들과 오비폴드 푸앵카레 dualit에 기반한 잠재 함수를 통해 오비폴드 양자코homology 위에 프로페르스 다양체 구조를 정의한다.
• 라운드 다항식 $f(u_0,\ldots,u_n) = \sum u_i$ 가 초표면 $\prod u_i^{w_i} = 1$ 에 제한된 경우에 관련된 가우스-마이너 시스템과 브리스코른 격자를 사용하여 두 번째 프로페르스 다양체 구조를 정의한다.
• 초기 조건과 평탄한 구조를 비교하여 두 프로페르스 다양체 사이의 대응을 수립한다.
• 프로페르스 다양체 이론과 두브로빈 동형사상 정리(Dubrovin isomorphism theorem)를 적용하여 양자코homology와 브리스코른 격자 구조를 연결한다.
• 오비폴드 초월-와이어 이론과 오비폴드 미분형식을 사용하여 오비폴드 범주 내에서 특성류와 코homology를 정의하고 계산한다.

실험 결과

연구 질문

• RQ1 오비폴드 양자코homology의 프로페르스 다양체 구조는 라운드 다항식 $f(u_0,\ldots,u_n) = \sum u_i$ 가 초표면 $\prod u_i^{w_i} = 1$ 에 제한된 경우에서 유도된 프로페르스 다양체와 동형인가?
• RQ2 오비폴드 그로모프-와이너 인버리언트는 양자코homology 잠재 함수와 그 프로페르스 구조를 결정하는 데 어떤 역할을 하는가?
• RQ3 오비폴드 푸앵카레 dualit와 $\mathbb{P}(w_0,\ldots,w_n)$ 의 컵곱 구조는 라운드 다항식의 브리스코른 격자와 가우스-마이너 시스템과 어떻게 관련되는가?
• RQ4 두브로빈 동형사상 정리는 오비폴드 환경으로 확장되어 양자코homology와 브리스코른 격자를 연결할 수 있는가?
• RQ5 이 동형사상을 수립하기 위해 필요한 오비폴드 그로모프-와이너 인버리언트의 값에 대한 정확한 형태의 추측은 무엇인가?

주요 결과

• 오비폴드 그로모프-와이너 인버리언트에 대한 추측을 가정할 경우, 오비폴드 양자코homology의 프로페르스 다양체 구조는 라운드 다항식 $f(u_0,\ldots,u_n) = \sum u_i$ 가 초표면 $\prod u_i^{w_i} = 1$ 에 제한된 경우의 브리스코른 격자에서 유도된 프로페르스 다양체 구조와 동형이다.
• 오비폴드 양자코homology는 평탄하고 비퇴화된 이항형식과 가환성, 결합법칙을 만족하는 곱 연산을 지니며, WDVV 방정식을 만족한다.
• 오비폴드 양자코homology의 잠재 함수는 종수 0의 오비폴드 그로모프-와이너 인버리언트로 생성되며, 이는 브리스코른 격자의 주기와 일치할 것으로 추측된다.
• 오비폴드 코hom로지 링 $\mathbb{P}(w_0,\ldots,w_n)$ 은 몫 스택 $[\mathbb{C}^{n+1} \setminus \{0\} / \mu_{w_0} \times \cdots \times \mu_{w_n}]$ 의 코homology와 동형이며, 이는 미러 대칭 대응을 뒷받침한다.
• 오비폴드 컵곱과 푸앵카레 dualit가 명시적으로 계산되었으며, 이는 브리스코른 격자의 프로페르스 구조와 호환됨을 보여준다.
• 두 프로페르스 다양체 사이의 동형사상은 두브로빈 형식론에서의 초기 조건을 일치시킴으로써 수립되었으며, 이는 그로모프-와이너 인버리언트의 추측적 값에 의존한다.