[논문 리뷰] Orbifold Quantum Cohomology

Weimin Chen Chen, Yongbin Ruan|ArXiv.org|2000. 05. 19.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 36

한 줄 요약

이 논문은 대칭 또는 프로젝티브 오비폴드 위에서 그로모프-원워이너 불변량을 위한 수학적 프레임워크로 오비폴드 양자코homology를 소개한다. 이는 비틀린 섹터와 가상 기본 사이클을 사용하여 오비폴드 그로모프-원워이너 불변량을 정의한다. 주요 기여는 양자코homology의 공리계를 만족하는 오비폴드 컵 곱을 구성하는 것으로, 위드슨-루안의 공리계를 오비폴드 설정으로 확장하며, 분할 공리(axiom)는 비틀리지 않은 섹터로 제한된다.

ABSTRACT

This is a research announcement of the theory of orbifold quantum cohomology.

연구 동기 및 목표

• 대칭 또는 프로젝티브 오비폴드에 대한 그로모프-원워이너 불변량의 수학적 이론을 개발함으로써, 특히 크렙란 해소와 특이점의 패러다임을 다루는 데 목적이 있다.
• 비틀린 섹터를 양자코homology에 통합하여 오비폴드 루프 이론의 기하적 및 위상적 기초를 마련함으로써.
• 오비폴드 루프 이론의 예측인 '오비폴드 양자코homology는 크렙란 해소의 양자코homology와 동형이다'는 것을 정확한 수학적 표현으로 기술하고 검증함으로써.
• 기존의 코homology 이론을 오비폴드 특이점까지 일반화하기 위해, 비틀린 섹터를 통해 정의된 새로운 코homology 이론인 오비폴드 코hom로지 이론을 제안함으로써.
• 지역화 및 수술 기법을 오비폴드 설정으로 확장하여 비라시오널 기하학과 거울 대칭 분야의 응용을 위한 기초를 마련함으로써.

제안 방법

• 모듈라이 공간 $\overline{{\cal M}}_{g,k}(X,J,A,{\bf x})$ 에서의 안정적 매핑에 대한 가상 통합을 통해 오비폴드 그로모프-원워이너 불변량을 정의하고, 가상 기본 클래스를 사용한다.
• 오비폴드 모듈라이 공간 내의 안정적 매핑에 대해 국소 쿠라시니 이웃을 구성하고, 이를 통해 특이점을 다룰 수 있는 전역 가상 이웃으로 조합한다.
• 기술적 방법을 적응하여 [FO], [LT], [Ru]의 기법을 활용해, 호환 가능한 톰 형식을 사용하여 전역 가상 이웃 위에서의 가상 통합을 수행한다.
• 종수 0, 차수 0의 그로모프-원워이너 불변량을 통해 오비폴드 컵 곱을 정의하고, 이를 일반화된 양자곱으로 확장한다.
• 이론이 위드슨-루안의 양자코homology 공리계를 만족하도록 보장하며, 일반 컵 곱 대신 오비폴드 컵 곱이 사용된다.
• 오비폴드 기하학과의 일관성을 유지하기 위해, 분할 공리(axiom)를 비틀리지 않은 섹터 $H^2(X;\mathbb{Q})$ 내의 분할 클래스에 국한한다.

실험 결과

연구 질문

• RQ1 대칭 또는 프로젝티브 오비폴드에 대해 특이점과 비틀린 섹터가 존재하는 상황에서 그로모프-원워이너 불변량은 어떻게 정의될 수 있는가?
• RQ2 양자코homology의 적절한 일반화는 무엇이며, 크렙란 해소의 양자코homology와의 관계는 어떠한가?
• RQ3 오비폴드 루프 이론의 예측인 '오비폴드 양자코homology는 크렙란 해소의 양자코homology와 동형이다'는 것을 정확히 수학적으로 기술하고 검증할 수 있는가?
• RQ4 콘formal 필드 이론 내의 비틀린 섹터는 대수기하학과 심플렉틱 기하학의 위상적·기하학적 구조로 어떻게 번역될 수 있는가?
• RQ5 오비폴드 K-이론과 루프이론적 호지 수는 오비폴드 양자코homology의 코homological 구조에서 어떤 역할을 하는가?

주요 결과

• 오비폴드 그로모프-원워이너 불변량은 국소 쿠라시니 모델에서 구성된 전역 가상 이웃을 사용하여 모듈라이 공간 $\overline{{\cal M}}_{g,k}(X,J,A,{\bf x})$ 에서의 가상 통합을 통해 정의된다.
• 오비폴드 컵 곱은 종수 0, 차수 0의 불변량을 통해 정의되며, 일반 컵 곱이 아닌 오비폴드 컵 곱이 사용되는 양자코homology 공리계를 만족한다.
• 적절한 계수환 $\mathcal{C}$ 에 대해, 소형 및 대형 양자곱은 $H^{\ast}_{orb}(X;\mathbb{Q})\otimes\mathcal{C}$ 에서 잘 정의되어 있으며, 일반 양자코homology를 일반화한다.
• 이론은 위드슨-루안의 양자코homology 공리계를 만족하지만, 분할 공리(axiom)는 비틀리지 않은 섹터 $H^2(X;\mathbb{Q})$ 내의 클래스에만 적용된다.
• 오비폴드 코hom로지 군 $H^{\ast}_{orb}(X;\mathbb{Q})$ 는 갈레르스타인(Gorenstein) 경우에 바티레브-다이스가 정의한 루프이론적 호지 수와 일치한다.
• 이 구성은 특히 칼라비-야우 오비폴드와 그 크렙란 해소에 대해 거울 대칭과 비라시오널 기하학을 연구하는 데 자연스러운 프레임워크를 제공한다.