[논문 리뷰] A General Fredholm Theory II: Implicit Function Theorems

Helmut Hofer, Kris Wysocki외 1명|ArXiv.org|2007. 05. 09.

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

한 줄 요약

이 논문은 국소 차원이 변하는 무한차원 공간으로의 일반화된 암시함수 이론을 M-다양체 및 다각형 이론의 맥락에서 개발한다. 고전적 프레드홀름 이론을 국소 차원이 일정하지 않은 무한차원 공간으로 확장하며, 수축 기저를 통한 무한소 암시함수 정리와 함께, 적절한 프레드홀름 섹션의 섭동이 경계와 모서리가 있는 컴팩트 다각형의 해집합을 유도함으로써 심플렉틱 필드 이론과 관련된 플로어 유형 이론에서의 코버디즘 불변량을 도출한다.

ABSTRACT

This is the revised version of the second paper in a series introducing a generalized Fredholm theory in a new class of smooth spaces called polyfolds. The theory will be illustrated in upcoming papers by applications to Floer Theory, Gromov-Witten Theory and Symplectic Field Theory. Some proofs have been improved and a glossary added.

연구 동기 및 목표

• M-다양체와 강한 M-다양체 번들의 무한차원 설정으로 고전적 암시함수 정리를 일반화한다.
• 국소 차원이 일정하지 않고 매끄러움의 정도가 변하는 공간에서 프레드홀름 섹션을 위한 엄밀한 분석적 프레임워크를 개발한다.
• 적절한 프레드홀름 섹션에 대한 이행성과 섭동 이론을 수립하여 잘 정의된 해집합을 확보한다.
• 소규모 섭동에 의한 해집합의 코버디즘을 통한 불변량을 구성함으로써, 심플렉틱 필드 이론과 그로모프-윈터 이론과 관련된 문제를 해결한다.

제안 방법

• 수축 원리에 기반한 수축 기저를 핵심 분석 도구로 도입하여, 제어된 정규성의 해 기저를 유도한다.
• 스플리싱 기반 미분기하학을 통해 프레드홀름 섹션을 정의하며, M-다양체 번들의 sc-매끄럽고 sc⁺-매끄러운 구조를 사용한다.
• M-다양체의 내부 및 경계 경우에 대해 양호한 매개변수화를 사용하여 해집합의 국소 이론을 개발한다.
• 보조 노름과 혼합 수렴을 적용하여 섭동을 제어하고 경계에 대한 일반 위치를 확보한다.
• 적절한 프레드홀름 섹션을 사용하여 글로벌 이론을 구성하고, 경계와 모서리가 있는 해집합을 유도하는 소규모 sc⁺-섭동의 존재를 증명한다.
• 매끄러운 점에서 섹션의 선형화를 통해 sc-프레드홀름 연산자를 정의하며, 섭동에 대해 인덱스 불변성을 보장한다.

실험 결과

연구 질문

• RQ1 국소 차원이 일정하지 않은 무한차원 공간으로 암시함수 정리를 어떻게 일반화할 수 있는가?
• RQ2 프레드홀름 섹션의 해집합이 경계와 모서리가 있는 다각형이 되기 위한 조건은 무엇인가?
• RQ3 적절한 프레드홀름 섹션의 소규모 섭동이 경계와 이행성이고 코버디즘을 이루는 해집합을 유도할 수 있는가?
• RQ4 소규모 섭동 하에서 프레드홀름 섹션의 해집합으로부터 코버디즘류와 같은 불변량이 어떻게 유도되는가?
• RQ5 수축 기저와 sc-매끄러운 구조는 해 기저의 정규성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 수축 기저에 대해 무한소 암시함수 정리는 성립하며, 이는 수축 원리를 통해 존재성과 정규성을 보장한다.
• 프레드홀름 섹션의 국소 해집합은 경계와 모서리가 있는 다각형이며, 내부 및 경계 경우 모두에 대해 명시적인 매개변수화가 가능하다.
• 적절한 프레드홀름 섹션 f에 대해, f⁻¹(0)의 주어진 이웃 U 내에서 f+s가 ∂X와 이행성이고 (f+s)⁻¹(0)이 경계와 모서리가 있는 컴팩트 다각형이 되는 임의의 소규모 sc⁺-섹션 s가 존재한다.
• 두 개의 충분히 작은 sc⁺-섭동 s₀와 s₁이 주어지면, 해집합 {(t,x) | f(x)+sₜ(x)=0}이 [0,1]×X 내에서 경계와 모서리가 있는 컴팩트 다각형이 되는 매끄러운 섭동의 호 sₜ가 존재한다.
• 경계가 없는 경우(∂X=∅), 프레드홀름 섹션의 해집합은 무방향 코버디즘 불변량이며, 방향이 부여된 섹션의 경우는 방향 코버디즘 범주에서의 불변량이 된다.
• sc-매끄러운 섹션의 매끄러운 점에서의 선형화는 sc-프레드홀름 연산자이며, 선형화에 사용된 sc⁺-섹션의 선택에 관계없이 프레드홀름 인덱스는 불변하다.