[논문 리뷰] Polyfolds And A General Fredholm Theory

Helmut Hofer|ArXiv.org|2008. 09. 22.

Geometric and Algebraic Topology참고 문헌 33인용 수 21

한 줄 요약

이 논문은 다각형 다각형( polyfolds )의 프레임워크 내에서 일반화된 프레드홀름 이론을 제안하며, 버블링과 붕괴와 같은 분석적 특이점이 있는 모듈리 공간을 다룰 수 있도록 고전적 미분기하학과 함수해석학을 확장한다. sc-구조와 sc-스무스 사상들을 도입함으로써, 다각형 위의 강한 번들의 프레드홀름 섹션에 대해 사르드-스멀 유형의 변형 이론을 가능하게 하며, 해 집합이 자연스럽게 정렬된 모서리가 있는 분기 부분오르비폴드임을 증명한다. 이는 심플렉틱 토폴로지에서의 불변량(예: 그로모프-원형 불변량) 구축을 뒷받기한다.

ABSTRACT

We survey a very general (nonlinear) Fredholm theory for a new class of ambient spaces, called polyfolds. This theory is being currently developed jointly with K. Wysocki and E. Zehnder. The basic feature of these new spaces is that in general they may have locally varying dimensions. These new spaces are needed for a functional analytic treatment of nonlinear problems involving analytic limiting behavior. This theory is applicable to Gromov-Witten and Floer Theory as well as Symplectic Field Theory.

연구 동기 및 목표

• 버블링과 붕괴와 같은 분석적 특이점이 있는 모듈리 문제에서 컴팩트니스와 교차성 문제를 다룰 수 있는 일반화된 프레드홀름 이론을 개발하기 위해.
• sc-구조와 sc-스무스 사상들을 도입하여, 국소 차원이 변화하고 비틀림 행동을 보이는 무한차원 공간으로 고전적 미분기하학과 함수해석학을 확장하기 위해.
• 다각형과 강한 번들들을 이용하여 심플렉틱 필드 이론, 그로모프-원형 이론, 플로어 이론에서의 불변량을 체계적으로 구축하기 위한 엄밀한 프레임워크를 제공하기 위해.
• 프레드홀름 섹션의 해 집합이 자연스럽게 컴팩트하고 분기된 부분오르비폴드이며, 모서리가 있는 구조를 띠며, 미분형식의 통합과 불변량의 구축이 가능함을 입증하기 위해.

제안 방법

• Banach 공간 위에 sc-구조를 도입하여 스무스 구조의 일반화로, 새로운 미분 가능성 개념인 sc-미분 가능성을 정의한다.
• M-다각형을 Banach 공간의 sc-스무스 수축에 국한된 지역적으로 모델링된 거리화된 공간으로 정의하며, 다각형과 오르비폴드를 일반화한다.
• M-다각형 위의 강한 번들 이론을 개발하고, 이러한 번들의 프레드홀름 섹션을 고전적 프레드홀름 연산자의 일반화로 정의한다.
• sc⁺-다중값 함수를 사용하여 프레드홀름 섹션을 교차 위치로 변형함으로써, 해 집합이 컴팩트하고 분기된 부분오르비폴드이며, 모서리가 있음을 보장한다.
• 선형화의 결정식 선다발을 통한 자연스러운 방향성 이론을 수립하며, 이는 사상과 코버디즘과 호환된다.
• 그로모프-원형 이론에 이 이론을 적용하여, 안정 곡선의 다각형 위에서 ∂̄_J 연산자가 강한 다각형 프레드홀름 섹션으로서 적절하고, 방향성이 있는 것으로 나타낸다.

실험 결과

연구 질문

• RQ1 고전적 프레드홀름 이론은 어떻게 버블링과 붕괴와 같은 비스무스한 극한 행동을 보이는 모듈리 공간을 다룰 수 있도록 확장될 수 있는가?
• RQ2 지속적으로 변화하는 국소 차원과 컴팩트니스 문제를 가진 무한차원 공간에 대해 사르드-스멀 유형의 변형 이론을 개발할 수 있는가?
• RQ3 이러한 공간에서 비선형 프레드홀름 유형 방정식의 해 집합은 어떻게 자연스러운 기하학적 구조, 예를 들어 모서리가 있는 분기 부분오르비폴드로 부여될 수 있는가?
• RQ4 다각형 위의 프레드홀름 섹션의 해 집합이 컴팩트하고 잘 정의된 통합 이론을 가질 수 있도록 보장하는 조건은 무엇인가?
• RQ5 이 일반화된 프레임워크에서 변형에 대해 일관되게 정의되고 유지되는 방향성 데이터는 어떻게 확보할 수 있는가?

주요 결과

• 강한 다각형 번들의 적절하고, 교차하는 프레드홀름 섹션의 해 집합은 자연스럽게 가중치 함수를 지닌 컴팩트하고 분기된 부분오르비폴드이며, 모서리가 있다.
• 프레드홀름 섹션이 방향성이 있는 경우, 선형화의 결정식 다발을 통해 관련 해 집합이 자연스럽게 캐논컬한 방향성을 상속한다.
• 다각형의 각 연결 성분에 대해, 해 집합 위에 가중치를 곱한 통합을 통해 de Rham 코homology 위에 유일한 선형 함수가 정의된다.
• 안정 사상의 다각형 위에서의 그로모프-원형 ∂̄_J 연산자는 적절하고, 방향성이 있는 다각형 프레드홀름 섹션으로서 확인되었으며, 이는 핵심 응용에서 이 프레임워크의 타당성을 입증한다.
• sc⁺-다중값 함수를 통한 변형은 교차성을 확보하면서도 컴팩트니스와 코버디즘 불변성을 유지하며, 불변량의 구축을 가능하게 한다.