[논문 리뷰] A Finite Rank Bundle over $J$-Holomorphic map Moduli Spaces

An-Min Li, Sheng Li|arXiv (Cornell University)|2017. 11. 12.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 $J$-홀로모르픽 매핑 모듈리 공간 주변에서 유한계수 벡터다발 $\mathbf{F}$를 연구하며, 접합 매핑의 도함수들이 접합 매개변수에 대해 지수적 감쇠를 보임을 증명한다. 가중 리만-쇼블레프 노름과 바나흐 공간에서의 은둔함수정리의 응용을 통해, 이 벡터다발의 접합 매핑이 급속한 감쇠를 보임을 입증하며, 이는 심플렉틱 토폴로지에서 일관된 그로모프-위튼 불변량을 구성하는 데 필수적이다.

ABSTRACT

We study a finite rank bundle $\mathbf{F}$ over a neighborhood of $J$-Holomorphic map Moduli Spaces, prove the exponential decay of the derivative of the gluing maps for $\mathbf{F}$ with respect to the gluing parameter.

연구 동기 및 목표

• 유한계수 다발 $\mathbf{F}$가 $J$-홀로모르픽 매핑 모듈리 공간 주변에서 국소 해석적 성질을 분석하는 것.
• 모듈리 공간 주변의 이웃에서 다발 $\widetilde{\mathbf{F}}$의 미분가능성을 확립하는 것.
• 노드를 가진 리만 곡면의 분열에 따라 $\widetilde{\mathbf{F}}$의 접합 이론을 조사하는 것.
• 접합 매개변수 $r$에 대한 접합 매핑 도함수의 지수적 감쇠를 증명하는 것.
• 상대 그로모프-위튼 이론과 모듈리 공간의 컴actification을 위한 기초를 마련하는 것.

제안 방법

• $\mathbf{A}$가 테이히뮐러 공간 차트일 때, $\mathbf{F}$의 국소적 평탄화를 $\widetilde{\mathbf{F}}$로 하여 $\mathbf{A} \times W^{k,2}(\Sigma, u^*TM)$로 표현하는 것.
• 프레드홀름 매핑의 영점의 미분가능성을 증명하기 위해 바나흐 공간에서의 은둔함수정리를 적용하는 것.
• 가중 리만-쇼블레프 공간에서 선형화된 연산자 $D^{\widetilde{\mathbf{L}}}|_b$에 대한 유계 오른쪽 역행렬 $Q_b$를 구성하는 것.
• 퇴적 표면의 끝에서의 감쇠를 제어하기 위해 가중 $L^{k,2,\alpha}$-노름과 지수적 가중 함수를 사용하는 것.
• 곡률 및 접속 계수의 감쇠 한계를 통해 가중 타원형 추정을 유도하는 것.
• 노드 근처의 실린더 좌표계와 매개변수화된 메트릭 $\mathbf{g}^\diamond$를 사용하여 접합 매핑을 분석하는 것.

실험 결과

연구 질문

• RQ1 기저 리만 곡면의 분열에 따라 유한계수 다발 $\mathbf{F}$는 어떻게 행동하는가?
• RQ2 접합 매개변수 $r \to 0$일 때, $\widetilde{\mathbf{F}}|_u$에서 $\widetilde{\mathbf{F}}|_{u_{(r)}}$로의 접합 매핑의 정칙성은 어떻게 되는가?
• RQ3 접합 매핑의 도함수들이 $r$에 대해 지수적으로 감쇠함을 보일 수 있는가?
• RQ4 가중 리만-쇼블레프 노름은 선형화된 $\overline{\partial}$-방정식의 해의 감쇠를 제어하는 데 어떤 역할을 하는가?
• RQ5 노드를 가진 리만 곡면의 기하학은 다발의 점근적 행동에 어떻게 영향을 미치는가?

주요 결과

• 접합 매핑 $\widetilde{\mathbf{F}}|_u$에서 $\widetilde{\mathbf{F}}|_{u_{(r)}}$로의 도함수는 접합 매개변수 $r$에 대해 지수적으로 감쇠한다.
• $0 < \alpha < \mathfrak{c}/2$이면, 목줄 영역에서 해 $h$의 $L^{k,2,\alpha}$-노름은 초기 노름을 곱한 $\mathsf{C}(e^{-(\mathfrak{c}-\alpha)(R'-R)} + e^{-(\mathfrak{c}-\alpha)R})$의 형태로 감쇠한다.
• 선형화된 연산자에 대한 오른쪽 역행렬 $Q_b$는 접합 매개변수에 관계없이 일관되게 유계이다.
• 방정식 $D^{\widetilde{\mathbf{L}}}|_b(h) = \eta$의 해 $h$는 $\|h|_{s_1 \geq R'}\|_{k,2,\alpha} \leq \mathsf{C}'[(e^{-(\mathfrak{c}-\alpha)(R'-R)} + e^{-(\mathfrak{c}-\alpha)R})\|\eta\|_{k-1,2,\alpha} + \|\eta|_{s_1 \geq R}\|_{k-1,2,\alpha}]$를 만족한다.
• 은둔함수정리에 의해 $(a_o, x_o)$의 이웃에서 $F^{-1}(0)$은 $C^\ell$-미분가능한 다양체이며, 매개변수 $a$에 대해 $C^\ell$-의존성을 가진다.
• 오른쪽 역행렬과 은둔함수해의 미분가능성에 기반해, 접합 매핑의 가중 매개변수 $a$에 대해 $C^\ell$-미분가능하다.