[논문 리뷰] Applications of Polyfold Theory I: The Polyfolds of Gromov-Witten Theory

Helmut Hofer, Krzysztof Wysocki외 1명|arXiv (Cornell University)|2011. 07. 11.

Geometric and Algebraic Topology참고 문헌 37인용 수 13

한 줄 요약

이 논문은 안정 곡선 공간 위에 존재하는 강한 폴리플드 벡터 복합체 위의 적절하고 sc-연속 프레드홀름 섹션으로, 일반적인 컴팩트 심플렉틱 다양체에서 고모프-우든 인버리언트를 구성하기 위한 폴리플드 이론적 프레임워크를 수립한다. 핵심 기여는 캐우치-리만 연산자에 대한 정규화된 방향을 정의함으로써, 일반적인 편향을 통한 정의에 브랜치 적분을 적용할 수 있도록 한 것이다.

ABSTRACT

In this paper we start with the applications of polyfold theory to symplectic field theory.

연구 동기 및 목표

• 폴리플드 이론을 사용하여 일반적인 컴팩트 심플렉틱 다양체에서 고모프-우든 인버리언트에 대한 엄밀한 분석적 기초를 제공한다.
• 모듈리 공간의 컴팩티피케이션이 악성으로 행동하는 문제를 해결하기 위해 안정 곡선 공간 위에 폴리플드 구조를 구성한다.
• 심플렉틱 다양체로 사상하는 안정 곡선 공간 위의 강한 폴리플드 벡터 복합체 위의 적절하고 sc-연속 프레드홀름 섹션을 정의한다.
• 프레드홀름 섹션에 대한 정규화된 방향을 확립하여, 편향된 해 집합 위에서의 통합을 가능하게 한다.
• 심플렉틱 장 이론의 분석적 프레임워크를 완성하며, 고모프-우든 인버리언트를 주요 부산물로 삼는다.

제안 방법

• 심플렉틱 다양체로 사상하는 안정 노드 곡면의 공간 $ Z $ 에 대해 폴리플드 구조를 구성한다.
• sc-연속 스플라이싱 및 접합 기법을 사용하여 $ W \to Z $ 벡터 복합체에 강한 폴리플드 벡터 복합체 구조를 부여한다.
• 비선형 캐우치-리만 연산자 $ \overline{\partial}_J $ 를 $ W \to Z $ 위의 sc-연속 섹션으로 정의한다.
• $ \overline{\partial}_J $ 가 인덱스 0인 적절하고 sc-연속 프레드홀름 섹션임을 증명한다.
• 복소수 방향과 sc-연속 경로를 따라의 계속성에 의해 프레드홀름 섹션에 대한 정규화된 방향을 확립한다.
• 추상 프레드홀름 편향 이론을 적용하여, 컴팩트하고 가중치가 부여된, 스무스한 브랜치 부분 오비폴드가 되는 편향된 해 집합을 확보한다.

실험 결과

연구 질문

• RQ1 노드가 붙은 분열 상태가 존재하는 상황에서, 편의학적 곡선의 모듈리 공간은 어떻게 스무스 구조를 가질 수 있는가?
• RQ2 노드 곡선에서조차도, 캐우치-리만 연산자가 폴리플드 설정에서 프레드홀름 섹션으로 정의될 수 있는가?
• RQ3 고모프-우든 이론에서 캐우치-리만 연산자와 관련된 프레드홀름 섹션에 대한 정규화된 방향은 무엇인가?
• RQ4 횡단성 조건이 성립하지 않는 상황에서, 어떻게 브랜치 적분을 적용하여 고모프-우든 인버리언트를 정의할 수 있는가?
• RQ5 sc-연속성과 스플라이싱은 모듈리 공간 위에 일관된 전역 폴리플드 구조를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 안정 곡선의 공간 $ Z $ 는 잘 정의된, 국소적으로 컴팩트한 하우스도르프 위상과 폴리플드 구조의 정규화된 동치류를 가진다.
• 벡터 복합체 $ W \to Z $ 는 $ Z $ 의 폴리플드 구조와 호환되는 강한 폴리플드 벡터 복합체 구조를 갖는다.
• 캐우치-리만 연산자 $ \overline{\partial}_J $ 는 강한 폴리플드 벡터 복합체 $ W \to Z $ 위의 적절하고 sc-연속 프레드홀름 섹션으로 증명된다.
• 편향된 후의 $ \overline{\partial}_J $ 의 해 집합은 컴팩트하고 가중치가 부여된, 스무스한 브랜치 부분 오비폴드가 된다.
• 복소수 방향과 sc-연속 경로를 따라의 계속성을 사용하여 프레드홀름 섹션에 대한 정규화된 방향을 구성한다.
• 지역 모델 간의 동형사상에서 정규화된 방향이 유지되어, 모듈리 공간 전역에서의 일관성이 보장된다.