[논문 리뷰] Weakly Smooth Structures in Gromov-Witten Theory

Gang Liu|arXiv (Cornell University)|2013. 10. 27.

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

한 줄 요약

이 논문은 Gromov-Witten 이론에서 $J$-홀로모르픽 원판의 변형된 모듈리 공간의 $C^{m_0}$-연속성을 도입함으로써 확립한다. 이는 전이 함수가 연속적일 뿐인 $L_k^p$-안정 사상의 공간에 약한 미분 구조를 도입함으로써 이루어지며, 일반적인 $C^{m_0}$-연속적 변형이 $\bar{\partial}_J$-섹션에 의해 유도된 컴act한 $C^{m_0}$-연속 모듈리 공간을 생성함을 증명한다. 여기서 $m_0 = k - 2/p$이며, 자명한 이소트로피와 적절성 조건이 만족되어야 한다.

ABSTRACT

In order to establish Fredholm theory on stratified topological Banach manifolds in Gromov-Witten theory, we have introduced flat structures on such manifolds in [L4]. Such a structure is obtained from local flat coordinate charts. The transformations between these charts are only continuous in general. The purpose of this paper is two-fold : firstly to show that on the topological Banach manifolds and bundles appeared in Gromov-Witten and Floer type theories, there are enough smooth functions and sections viewed in any admissible charts and trivializations; secondly to demonstrate some finer aspects about the weakly smooth sections.

연구 동기 및 목표

• Gromov-Witten 이론에서의 위상적 바나흐 다양체 및 범주가 허용 가능한 차트에서 충분한 수의 미분 가능 함수와 단면을 갖는지를 보여주기 위해.
• $L_k^p$-안정 사상에 대한 비미분적 재매개변수화 군 작용으로 인해 발생하는 해석적 곤경을 해결하기 위해.
• 변형된 $J$-홀로모르픽 사상의 모듈리 공간이 $C^{m_0}$-연속임을 확립하기 위해, 여기서 $m_0 = k - 2/p$이다.
• 비미분적 전이 함수가 존재하더라도 국소 차트에서 $\bar{\partial}_J$-섹션이 여전히 연속임을 보여주기 위해.
• 단일 스트라타와 자명한 이소트로피를 가진 경우를 다룸으로써, 계층적 바나흐 다양체 위에서 프레드홀름 이론의 기초를 마련하기 위해.

제안 방법

• $L_k^p$-안정 사상의 공간에 약한 미분 구조를 도입하여, 전이 함수가 연속적일지라도 여전히 미분 가능 함수와 단면을 허용한다.
• 좌표 변환 기법을 사용하여 군 $G$의 작용에 의해 발생하는 도함수 손실을 미분형 사상 $g$에 대한 매끄러운 의존성으로 변환하며, 야코비안 성분의 $C^\infty$-연속성을 활용한다.
• 일반적으로 $p$가 짝수일 경우 $L_k^p$-노름의 $p$제곱을 미분 가능 함수로 사용하여 매끄러운 볼록 함수를 구성할 수 있다.
• 파라콤팩트 바나흐 다양체가 $L_k^p$-공간에 따라 모델링된 경우, 국소적 미분 가능성과 분할을 보장하기 위해 단위 분할 기법을 적용한다.
• Sobolev 대수 성질을 활용하여, $m_0 = k - 2/p > 1$일 때, 목표 공간의 $C^\infty$-벡터장 $f$에 대해 $\Psi_f(h) = f \circ h$의 풀백 사상이 미분 가능함을 증명한다.
• 횔더 부등식을 적용하여 $L_k^p$-노름의 거듭제곱 도함수의 유계성을 검증함으로써, 프레드홀름 도함수의 존재를 확인한다.

실험 결과

연구 질문

• RQ1 환경 공간의 전이 함수가 연속적일 경우, $J$-홀로모르픽 원판의 모듈리 공간에 $C^{m_0}$-연속 구조를 확립할 수 있는가?
• RQ2 비미분적 재매개변수화 군 작용이 존재하더라도 국소 차트에서 $\bar{\partial}_J$-섹션이 여전히 연속적인가?
• RQ3 적절성과 자명한 이소트로피 조건 하에서, 일반적인 $C^{m_0}$-연속적 변형이 $C^{m_0}$-연속 모듈리 공간을 유도하는가?
• RQ4 변형된 모듈리 공간의 $C^{m_0}$-연속성을 보장하기 위해 필요한 기하 데이터(예: $J$, $\omega$)의 최소 미분 가능성은 무엇인가?
• RQ5 비미분적 전이 함수를 가진 $L_k^p$-공간에 따라 모델링된 바나흐 다양체에서 매끄러운 볼록 함수와 단위 분할을 어떻게 구성할 수 있는가?

주요 결과

• 일반적인 $C^{m_0}$-연속적 변형 $\nu$에 대해 $J$-홀로모르픽 원판의 모듈리 공간 $\mathcal{M}^\nu(J,A)$는 $m_0 = k - 2/p$일 때 $C^{m_0}$-연속적이다.
• 일반적으로 $p$가 짝수일 경우 $L_k^p(\Sigma,V)$ 위에서 $L_k^p$-노름의 $p$제곱은 미분 가능하며, 이는 매끄러운 볼록 함수의 구성에 기여한다.
• 일반적으로 $p$가 짝수이자 양수일 경우, $L_k^p$-공간에 따라 모델링된 파라콤팩트 바나흐 다양체 위에 매끄러운 단위 분할이 존재한다.
• $m_0 = k - 2/p > 1$일 때, $C^\infty$-벡터장 $f$에 대해 풀백 사상 $\Psi_f(h) = f \circ h$는 미분 가능하며, 이는 $L_k^p$-사상이 바나흐 대수를 이룬다.
• $L_k^p$-노름의 $p$제곱 도함수는 유계적이며 선형적이며, 횔더 부등식을 통해 프레드홀름 미분 가능성임을 확인한다.
• 모든 기하 데이터가 $C^\infty$-연속적일 경우, 동일한 변형이 $r$에 관계없이 적용 가능하므로 변형된 모듈리 공간은 $C^\infty$-연속적이다.