[논문 리뷰] Polyfold and Fredholm Theory I: Basic Theory in M-Polyfolds

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

Geometric and Algebraic Topology참고 문헌 23인용 수 17

한 줄 요약

이 논문은 국소 차원이 변하는 일반화된 바나흐 다양체인 M-다양체 위에서 Sc-프레드홀름 섹션의 기초 이론을 수립한다. 스케일 미적분학 프레임워크를 도입하고, 컴acts와 초월성 문제를 야기하는 비선형 타원형 PDE에 대한 강력한 프레드홀름 이론을 개발한다. 주요 기여는 심플렉틱 필드 이론에서 특이한 극한을 다루는 체계적인 접근법으로, 새로운 은밀한 함수 정리와 이러한 공간에서 프레드홀름 연산자에 대한 일관된 행렬식 번들의 구성이 포함되어 있다.

ABSTRACT

The main topic is the development of a Fredholm theory in a new class of spaces called M-polyfolds. In the subsequent Volume II the theory will be generalized to an even larger class of spaces called polyfolds, which can also incorporate local symmetries. The whole package provides a functional analytic framework to deal with compactness and transversality issues as they occur in moduli problems of symplectic geometry. Applications of the theory cover Floer-type theories as they occur in symplectic geometry. M-polyfolds and the more general polyfolds are smooth spaces which can be finite-dimensional as well as infinite-dimensional. In applications of interest they in general have locally varying dimensions. Despite the fact that the spaces are much more general than Banach manifolds a nonlinear Fredholm theory with the usual features is possible (Sard-Smale type perturbation theory). This generalized Fredholm theory can be applied to classes of nonlinear elliptic problems which show bubbling-off phenomena but allow for certain kind of compactifications.

연구 동기 및 목표

• 국소 차원이 변하는 공간, 특히 심플렉틱 필드 이론(SFT)에서 비선형 타원형 PDE에 대한 일반화된 미분 및 프레드홀름 이론을 개발하기 위해.
• 푸시홀로모르피크 곡선 이론에서 버블링과 붕괴로 인한 컴팩트니스와 초월성 문제를 다루기 위해.
• 감소하는 바나흐 공간 수열 위의 리트랙트로 구성된 새로운 유형의 공간—M-다양체—를 도입하기 위해.
• 적절한 Sc-프레드홀름 섹션에 대해 잘 정의된 행렬식 번들과 방향성 전파를 포함한 일관된 프레드홀름 이론을 수립하기 위해.
• 응용 분야에서 다각형을 구성하기 위한 재사용 가능한 분석적 프레임워크('블랙박스')를 제공하여 투명성을 높이고 오류 발생 가능성을 줄이기 위해.

제안 방법

• 감소하는 바나흐 공간 수열과 밀도 있는 교차를 가지며 포함 사상이 컴팩트한 스케일-구조를 바나흐 공간에 도입하여 스케일 미적분학의 기초를 마련한다.
• M-다양체를 바나흐 공간의 리트랙트로 국소적으로 묘사하는 공간으로 정의하여, 국소 차원의 변화와 경계/모서리를 允허하는 다양체의 일반화를 이루며.
• 유한차원 핵과 여핵을 가지며 스케일-프레드홀름 조건을 만족하는 강력한 번들 위의 섹션으로서 Sc-프레드홀름 섹션을 정의한다.
• 핵과 여핵을 포함하는 정확한 수열의 사슬을 구성하여 스케일 설정에서 프레드홀름 연산자의 행렬식 번들을 정의한다.
• R^n의 부분 1사분면에서 은밀한 함수 정리를 증명하고 이를 M-다양체로 확장하여 경계 및 모서리 제약 조건이 있는 비선형 방정식의 국소 해 이론을 가능하게 한다.
• 국소 행렬식 번들을 통한 방향성 전파를 정의하고, 행렬식 번들을 사용하여 적절한 Sc-프레드홀름 섹션에 대한 불변량을 수립한다.

실험 결과

연구 질문

• RQ1 심플렉틱 필드 이론에서 발생하는 국소 차원이 변하고 경계 구조를 가진 공간에 대해 프레드홀름 이론을 어떻게 일반화할 수 있는가?
• RQ2 노드나 버블링 극한을 포함하는 푸시홀로모르피크 곡선의 모듈리 공간에서 컴팩트니스와 초월성을 다루기 위한 올바른 분석적 프레임워크는 무엇인가?
• RQ3 스케일 구조의 다양한 수준에서 프레드홀름 연산자의 행렬식 번지를 어떻게 일관되게 정의하고 이동시킬 수 있는가?
• RQ4 특히 모서리와 부분 1사분면을 포함한 공간에서 M-다양체의 맥락에서 일관된 은밀한 함수 정리를 어떻게 구성할 수 있는가?
• RQ5 이러한 일반화된 설정에서 적절한 Sc-프레드홀름 섹션에 대해 방향성과 불변량을 어떻게 시스템적으로 전파하고 계산할 수 있는가?

주요 결과

• 논문은 Sc-프레드홀름 이론이 잘 정의된 M-다양체 위에서 성립함을 보이며, 프레드홀름 섹션은 유한차원 핵과 여핵을 가지며 스케일 정규성 조건을 만족한다.
• R^n의 부분 1사분면에서 은밀한 함수 정리를 증명하고 이를 M-다양체로 확장하여 경계 및 모서리 제약 조건이 있는 비선형 방정식의 국소 해 이론을 가능하게 한다.
• 핵과 여핵을 포함하는 정확한 수열을 통한 프레드홀름 연산자의 행렬식 번지가 구성되며, 관련된 연산자 간의 행렬식 번지 사이에 자연스러운 동형사상이 존재한다.
• 행렬식 동형사상 γ^Q_T와 γ^P_QT의 합성은 γ^P_T와 같음을 보여, 연산자 합성에 따른 행렬식 번지 구성의 일관성을 입증한다.
• 논문은 행렬식 번지가 잘 정의되고 연산자 합성과 호환됨을 증명하였으며, 행렬식 원소 수준에서 γ^P_QT ∘ γ^Q_T = γ^P_T의 등식이 성립함을 보였다.
• 이 이론은 행렬식 번지를 통해 적절한 Sc-프레드홀름 섹션에 대한 불변량을 구성할 수 있도록 하여, SFT 및 관련 이론에서 심플렉틱 불변량을 위한 기초를 마련한다.