[논문 리뷰] The polyfold--Kuranishi correspondence I: A choice-independent theory of Kuranishi structures

Dingyu Yang|arXiv (Cornell University)|2014. 02. 27.

Algebraic structures and combinatorial models참고 문헌 8인용 수 10

한 줄 요약

이 논문은 양호한 좌표계 선택에 의존하지 않는 쿠란시 구조 이론을 수립하기 위해, Kuranishi 구조의 동치류를 본질적 개체로서의 절단(germ)으로 정의한다. 이는 임의의 선택에 의존하지 않는 이론을 가능하게 하며, 변형 이론이 이러한 선택에 영향을 받지 않게 하고, 다각형 폴드 프레드홀름 구조와의 정규 대응을 가능하게 하여 심플렉틱 기하학에서 두 주요 추상적 변형 이론을 통합한다.

ABSTRACT

This is the first paper in a series which proposes and develops the polyfold Fredholm structure--Kuranishi structure correspondence, identifying these two abstract perturbative structures which are indispensable for constructing and understanding symplectic invariants in the most general settings. In this paper, I present my version of the theory of Kuranishi structures in full generality. This theory is independent of all the choices made in the construction (including the choices of good coordinate systems); and it uses the equivalence of Kuranishi structures as the germ to capture the intrinsic underlying structure to which the perturbation theory descends. This is the first theory in the literature that has these two properties. This choice-independent theory is essential for canonically and functorially identifying the polyfold Fredholm theory of Hofer-Wysocki-Zehnder with the theory of Kuranishi structures. The next two papers in this series will be on the forgetful functor and the globalization functor in the respective directions of the polyfold--Kuranishi correspondence, as well as illustrating the use of the correspondence with a few sample applications.

연구 동기 및 목표

• Kuranishi 구조 이론에서 특히 양호한 좌표계 선택에 의존하는 문제를 오랫동안 해결하기 위해.
• 구조의 기하적 본질을 포착하는 본질적이고 선택에 의존하지 않는 Kuranishi 구조의 개념을 동치류(절단)를 통해 정의하기 위해.
• 모든 구축 선택에 영향을 받지 않는 정규 변형 이론을 Kuranishi 구조에 수립하기 위해.
• 다각형 폴드 프레드홀름 구조와 Kuranishi 구조 사이의 엄밀하고 함자적(함수적)인 대응 관계를 마련하기 위해.
• 두 주요 추상적 변형 이론 프레임워크 간의 결과 이행을 가능하게 하기 위해.

제안 방법

• 구조의 동치를 절단으로서 정의하여, 아틀라스나 좌표계 선택에 영향을 받지 않는 본질적 기하 객체를 포착한다.
• 레벨-1 양호한 좌표계 시스템을 정의하여, 서로 다른 차원에서의 국소 모델을 일관적으로 조합할 수 있도록 한다.
• 삼중화 구성(tripling constructions)을 사용하여 호환 가능한 섬유곱 Kuranishi 차트를 생성함으로써, 좌표 변화가 잘 정의되고 호환되도록 보장한다.
• 잊혀진 함자(forgetful functor) 접근을 통해 다각형 폴드 프레드홀름 구조를 공통의 레벨-1 개선을 통해 Kuranishi 구조와 연결한다.
• 모든 양호한 좌표계 시스템의 구성 선택이 동치 시스템을 유도함을 증명하여, 변형 이론이 불변함을 보장한다.
• 허용 가능한 쌍 차트와 레벨-1 개선을 사용하여 대응의 호환성과 함자적 성격을 확보한다.

실험 결과

연구 질문

• RQ1 Kuranishi 구조는 양호한 좌표계 선택에 의존하지 않고 정의될 수 있는가?
• RQ2 Kuranishi 구조의 변형 이론은 국소 유한차원 축소와 좌표계의 다양한 선택에 대해 불변인가?
• RQ3 Kuranishi 구조의 기하적 본질을 포착하는 정규적이고 본질적인 개체를 정의할 수 있는가?
• RQ4 다각형 폴드 프레드홀름 이론과 Kuranishi 구조 이론은 어떻게 함자적으로 관련될 수 있는가?
• RQ5 Kuranishi 구조의 변형 이론은 그 구조의 동치류(절단)에 내림내림되어 잘 정의된 이론이 되는가?

주요 결과

• Kuranishi 구조 이론은 모든 양호한 좌표계 선택에 대해 동치 구조를 유도하므로, 선택에 완전히 독립적이다.
• 변형 이론은 잘 정의되어 있으며 모든 구성 선택에 대해 불변이며, 동치 Kuranishi 구조는 동일한 변형 이론을 갖는다.
• 동치류로 정의된 Kuranishi 구조, 즉 절단은 변형 이론이 내림내림되는 본질적 기하 객체를 포착한다.
• 고정된 Kuranishi 구조에서 추출된 모든 레벨-1 양호한 좌표계 시스템은 상호 동치이며, 이는 이론의 일관성을 보장한다.
• Kuranishi 차트의 섬유곱 구성은 호환 가능한 좌표 변화를 유도하여 일관된 글로벌 조합을 가능하게 한다.
• 다각형 폴드 프레드홀름 구조와 Kuranishi 구조 사이의 대응은 정규적이고 함자적이며, 두 프레임워크 간의 불변량 이행을 가능하게 한다.