[논문 리뷰] The Gromov-Witten axioms for symplectic manifolds via polyfold theory

Wolfgang Schmaltz|arXiv (Cornell University)|2019. 12. 31.

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

한 줄 요약

이 논문은 심플렉틱 기하학에서 폴리폴드 이론적 불변량에 대해 그로모프–위튼 공리계를 수립하며, 호퍼–위소키–제른더의 폴리폴드 이론을 통해 구성된 불변량이 콘테브이치와 마닌이 원래 제안한 대칭 대수적 관계를 만족함을 증명한다. 증명은 평가 함수의 외삽을 구성하고, 일반 곡선 폴리폴드 위에서 분기 적분을 통해 교차 수를 분석하는 데 기반하며, 모든 종수와 닫힌 심플렉틱 다양체에 대해 공리 프레임워크와의 일관성을 확인한다.

ABSTRACT

Polyfold theory, as developed by Hofer, Wysocki, and Zehnder, is a relatively new approach to resolving transversality issues that arise in the study of $J$-holomorphic curves in symplectic geometry. This approach has recently led to a well-defined Gromov-Witten invariant for $J$-holomorphic curves of arbitrary genus, and for all closed symplectic manifolds. The Gromov-Witten axioms, as originally described by Kontsevich and Manin, give algebraic relationships between the Gromov-Witten invariants. In this paper, we prove the Gromov-Witten axioms for the polyfold Gromov-Witten invariants.

연구 동기 및 목표

• 호퍼–위소키–제른더의 폴리폴드 이론을 통해 구성된 폴리폴드 그로모프–위튼 불변량에 대해 그로모프–위튼 공리계를 수립하기.
• 모듈리 공간의 $J$-홀로모르픽 곡선에서의 전이성 문제를 추상적 외삽과 분기 적분을 통해 해결하기.
• 폴리폴드 불변량이 콘테브이치와 마닌이 제안한 대칭 대수적 관계(접합 및 결합 법칙 성질 포함)를 만족함을 검증하기.
• 평가 함수와 무시 함수가 폴리폴드 모듈리 공간에서 어떻게 행동하는지 분석하기, 특히 표식점의 접합과 일치 시킬 때의 행동을 중심으로 하기.
• 표식점을 무시하거나 두 표식점을 일치시키는 것과 같은 자연스러운 기하 작용에 대해 불변량이 잘 정의되고 일관성을 유지함을 확인하기.

제안 방법

• 안정 곡선에 표식점을 포함하는 모델을 위해 로그 딜리뉴스–무드포르 오비폴드 위의 섬유 번들이며 일반 곡선 폴리폴드를 구성하기.
• 폴리폴드 설정에서 전이성 확보를 위해 코시–리만 섹션의 추상적 외삽을 사용하여 브랜치 적분 정의 가능하게 하기.
• 브랜치 적분 개념을 적용하여 평가 함수의 교차 수로서 폴리폴드 그로모프–위튼 불변량을 계산하기.
• 폴리폴드 모듈리 공간에서 $k$번째 표식점 무시 함수를 분석하여, 일정한 불안정화 고스트 성분을 포함하는 부분집합에서의 비연속성과 장애 요소를 규명하기.
• 무시 함수 및 표식점 일치 함수를 통한 외삽의 역상 이용으로 서로 다른 모듈리 공간 간 불변량 비교하기.
• 표식점 일치에 의한 이중 대응 관계를 통해 교차 수의 등식을 수립하고, 접합 공리에서 2의 계수가 나타나는 핵심 항등식 도출하기.

실험 결과

연구 질문

• RQ1 호퍼–위소키–제른더 이론을 통해 구성된 폴리폴드 그로모프–위튼 불변량은 콘테브이치–마닌 공리계를 만족하는가?
• RQ2 특히 전이성과 연속성 측면에서 폴리폴드 설정에서 $k$번째 표식점에 대한 무시 함수는 어떻게 행동하는가?
• RQ3 비로드형 사영이 발생하는 전이성 실패에도 불구하고, 폴리폴드 외삽 이론을 사용하여 두 표식점을 일치시키는 접합 공리(접합 공리)를 검증할 수 있는가?
• RQ4 표식점 일치에 따라 종수 $g-1$의 분리된 모듈리 공간과 원래 종수 $g$ 공간 간 불변량 간 정확한 관계는 무엇인가?
• RQ5 폴리폴드 프레임워크에서 무시 함수 및 접합 함수를 통한 역상에 의한 부분오비폴드 및 평가 함수의 외삽 상호작용은 어떻게 되는가?

주요 결과

• 폴리폴드 그로모프–위튼 불변량은 접합 및 결합 법칙 성질을 포함한 콘테브이치–마닌 공리계의 전부를 만족한다.
• $k$번째 표식점에 대한 무시 함수는 일정한 불안정화 고스트 성분을 포함하는 부분집합에서 연속성이 실패함을 드러내며, 핵심적인 기술적 장애 요소를 규명한다.
• 전이성 실패에도 불구하고, 평가 함수와 외삽된 부분오비폴드의 교차 수는 잘 정의되고 유한하며, 브랜치 적분 계산이 가능하다.
• 표식점 일치 함수는 종수 $g-1$과 종수 $g$의 모듈리 공간 간 교차점에 대해 이중 대응 관계를 유도하며, 불변량 등식에서 2의 계수를 초래한다.
• $\operatorname{GW}_{A,g-1,k+2}(\alpha_1,\dots,\alpha_k,\operatorname{PD}(e_\nu),\operatorname{PD}(e^\nu);\beta) = 2 \cdot \operatorname{GW}_{A,g,k}(\alpha_1,\dots,\alpha_k;\psi_*\beta)$의 등식은 폴리폴드 설정에서 접합 공리를 확인한다.
• 이 구성은 폴리폴드 불변량이 고전적 공리적 프레임워크와 일관됨을 확인하며, 이들이 계수 기하학에서의 역할을 정당화한다.