[논문 리뷰] Polyfold and SFT Notes I: A Primer on Polyfolds and Construction Tools

Joel W. Fish, Helmut Hofer|arXiv (Cornell University)|2018. 06. 19.

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

한 줄 요약

이 논문은 심플렉틱 기하학에서 핵심적인 역할을 하는 일반화된 바나흐 다양체인 M-다양체를 구축하기 위한 기초 프레임워크를 제시한다. 이는 인프린팅 기법과 함의론적 구성 방법을 사용하며, sc-연속성 구조를 통해 부드러운 모델에서 M-다양체와 강한 복합체를 구성하는 도구를 수립한다. 이는 노드나 특이성을 가진 모듈리 공간을 다룰 수 있게 하며, 주요 결과로는 복합체 구조의 벡터 다랑체로의 확장과 국소적 리프트를 통한 sc-연속 사상의 특성화가 포함된다.

ABSTRACT

Notes for the upcoming Workshop on Symplectic Field Theory IX, Polyfolds for SFT. These notes are essentially the first few chapters of a forthcoming book entitled "Polyfold Constructions: Tools, Techniques, and Functors"

연구 동기 및 목표

• 부드러운 모델에서 인프린팅 기법을 사용하여 M-다양체를 체계적으로 구축하는 방법을 개발하기 위해.
• 무한차원 설정에서 sc-구조를 고려한 암시 함수 정리 프레임워크를 일반화하기 위해.
• sc-연속성을 유지하면서 M-다양체 및 강한 복합체의 구성에 대한 함의론적 접근을 제공하기 위해.
• 심플렉틱 기하학에서 버블링과 자기동형사상으로 인해 발생하는 모듈리 공간의 전이성 및 컴actness 문제를 다루기 위해.
• 심플렉틱 장 이론(SFT)에서 모듈리 공간을 체계적이고 범주론적 프레임워크를 통해 구축하기 위한 기초를 마련하기 위해.

제안 방법

• 인프린팅 방법은 부드러운 다양체를 전사 사상으로 몫을 취함으로써 M-다양체를 구성하며, 국소적으로 부드러운 단면을 갖는다. 이는 몫 위상이 메트라이즈블리 되고, 구조가 잘 정의되도록 보장한다.
• sc-구조와 sc-해석학은 바나흐 공간 위에 부드러움 수준의 계층을 정의하여, 통제된 정(regularity)을 갖는 무한차원 문제를 다룰 수 있도록 한다.
• 강한 복합체의 구성은 쌍(N,L)의 범주와 형태 F(u,h) = (f(u), A(u)h)의 사상으로 형식화되며, f와 A는 부드러운 사상이다.
• 모델 공간에서 일반적인 M-다양체와 강한 복합체로의 구성 확장을 함의론적 접근을 통해 개발하여, sc-연속성과 사상과의 호환성을 유지한다.
• 벡터 다랑체의 구조를 M-다양체로 확장하기 위해, 다랑체를 유클리드 공간에 임bedding하고, 튜브근형 이웃과 재접합 사상(리트랙션)을 사용한다.
• 핵심 기술적 도구는 r∘r = r를 만족하는 리트랙션 사상 r의 존재이며, 이는 섬유 위에서 정사영으로 작용하는 전역 사상 F를 정의할 수 있게 하여 일관된 복합체 확장을 가능하게 한다.

실험 결과

연구 질문

• RQ1 부드러운 모델에서 몫 유사 방법을 사용하여 M-다양체를 체계적으로 구축할 수 있는 방법은 무엇이며, 이는 부드러움과 메트라이즈블리티를 유지하는가?
• RQ2 부드러운 다양체에서 집합으로의 전사 사상이 국소적 리프트를 통해 잘 정의된 M-다양체 구조를 유도하기 위한 조건은 무엇인가?
• RQ3 모델 공간에서 강한 복합체의 구조를 일반적인 M-다양체로 함의론적으로 확장할 수 있는 조건은 무엇이며, 이때 sc-연속성이 유지되는가?
• RQ4 모델 공간 간의 sc-연속 사상이 관련된 M-다양체와 강한 복합체 사이에 일관된 사상으로 유도되는 방식은 무엇인가?
• RQ5 리트랙션과 튜브근형 이웃은 M-다양체로의 벡터 다랑체 구조 확장을 어떻게 지원하는가?

주요 결과

• 인프린팅 방법은 부드러운 다양체의 몫이 M-다양체 구조를 상속할 수 있는 필요 및 충분 조건을 제공하며, 이는 국소적 부드러운 단면의 존재로 특성화된다.
• 강한 복합체 구성 함의론은 범주 N²에서 정의되며, 각 쌍(N,L)에 대해 호환성 있는 sc-연속성 구조와 이미지 보존 사상을 갖는 강한 복합체를 할당한다.
• 모델 공간에서 일반적인 벡터 다랑체로의 강한 복합체 구성 함의론의 확장은 적절한 다랑체 임베딩과 리트랙션 사상으로 달성되며, Z(N,P)와 Z(R^N × R^P) 사이의 자연 동형사상이 유도된다.
• 구성은 복합과 제한에서 sc-연속성이 유지되며, 점의 이미지에서 F와 G가 일치하면 이들의 함의론적 리프트도 일치함을 보장한다.
• 이 프레임워크는 특히 SFT의 맥락에서 다양한 도메인과 타겟을 가진 모듈리 공간을 일관되게 다룰 수 있도록 해주며, 이를 유니버설 모델 공간에 임베딩함으로써 가능하게 한다.
• 이 이론은 유한차원 모델 구성으로 환원함으로써, 특히 컴 pactness와 전이성 문제를 포함한 심플렉틱 기하학에서 M-다양체를 구축하는 데 엄밀한 기초를 제공한다.