[논문 리뷰] Special Lagrangian conifolds, I: Moduli spaces (extended version)

Tommaso Pacini|arXiv (Cornell University)|2012. 11. 12.

Geometry and complex manifolds참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $\mathbb{C}^m$ 내 특수 라그랑주(특수 라그랑주, SL) 콘포ลด를 위한 변형 이론을 수립하며, McLean 이론을 구면 특이점(CS) 및 점점 수렴하는 형태(AC) 끝을 포함하도록 일반화한다. 모듈리 공간이 매끄럽고 유한 차원이며, 그 차원은 가중 라플라스 연산자의 인덱스에 의해 결정됨을 증명한다. 이는 각각 CS 끝과 AC 끝에서 온 위상수학적 및 해석학적 기여를 반영한다.

ABSTRACT

This is the extended version of the paper "Special Lagrangian conifolds, I: Moduli spaces", which discusses the deformation theory of special Lagrangian (SL) conifolds in complex space C^m. Conifolds are a key ingredient in the compactification problem for moduli spaces of compact SLs in Calabi-Yau manifolds. The conifold category allows for the simultaneous presence of conical singularities and of non-compact, asymptotically conical, ends. Our main theorem is the natural next step in the chain of results initiated by McLean and continued by the author and Joyce. We survey all these results, providing a unified framework for studying the various cases and emphasizing analogies and differences. Compared to "Special Lagrangian conifolds, I", this paper contains more detail but the same results. The paper also lays down the geometric foundations for our paper "Special Lagrangian conifolds, II: Gluing constructions in C^m".

연구 동기 및 목표

• $\mathbb{C}^m$ 내 특수 라그랑주 콘포ลด의 통합된 변형 이론을 개발하여, 구면 특이점과 점점 수렴하는 형태 끝을 모두 포함한다.
• 콤���트 SL에 대한 McLean 의 변형 이론을 비콤팩트이고 특이점이 있는 SL로 확장하여, 모듈리 공간의 콤팩트화 연구를 가능하게 한다.
• Joyce 의 콤팩트화 프로그램에서 요구하는 특수 라그랑주 콘포ลด의 접합 구조를 위한 기하학적 및 해석학적 기초를 제공한다.
• 가중 소볼레프 공간 위에서 정의된 가중 라플라스 연산자에 대한 인덱스를 통해 특수 라그랑주 콘포ลด의 모듈리 공간 차원을 특성화한다.
• AC 끝에서의 감쇠 조건(콤팩트 지지 코homology를 통해)과 CS 특이점(제약 사상의 영성에 의해)이 모듈리 공간의 차원에 어떻게 기여하는지 명확히 한다.

제안 방법

• 리만 콘포ลด의 범주를 수식화하여, 동시에 구면 특이점과 점점 수렴하는 형태 끝을 가진 다양체로 간주한다.
• AC 끝과 CS 끝에서의 감쇠 및 증가율을 다루기 위해 가중 소볼레프 공간 $W^{p}_{k,(oldsymbol{\nu},oldsymbol{\rho})}$ 를 도입한다.
• 이 가중 공간 위에서 가중 라플라스 연산자 $\Delta_{\boldsymbol{\mu},\boldsymbol{\lambda}}$ 를 통해 선형화된 SL 변형 연산자를 분석한다.
• 비선형 변형 사상 $\tilde{F}$ 에 대해 은직함수정리를 적용하여, 선형화된 연산자가 동형사상이면 그 영점이 매끄러운 다양체가 됨을 증명한다.
• 인덱스의 변화 공식을 사용하여, 모듈리 공간의 차원이 서로 다른 가중치에서의 라플라스 연산자의 인덱스 차이와 관련됨을 규명한다.
• 선형화된 연산자 $d\tilde{F}[0]$ 가 동형임을 이용하여, 모듈리 공간 $\mathcal{M}_L$ 이 매끄럽고 유한 차원임을 결론짓는다.

실험 결과

연구 질문

• RQ1 특수 라그랑주 부분다양체의 변형 이론은 어떻게 구면 특이점과 점점 수렴하는 형태 끝을 모두 포함하도록 확장될 수 있는가?
• RQ2 특수 라그랑주 콘포ลด의 모듈리 공간 차원은 무엇이며, 이는 AC 끝에서의 감쇠율과 CS 점에서의 특이성 유형에 어떻게 의존하는가?
• RQ3 위상수학적 및 해석학적 자료—예를 들어 코homology와 제약 사상—은 모듈리 공간의 차원에 어떻게 기여하는가?
• RQ4 적절한 가중 소볼레프 추정을 통해 특수 라그랑주 콘포ลด의 모듈리 공간이 매끄럽고 유한 차원임을 보일 수 있는가?
• RQ5 가중치 $\lambda$ 가 임계값을 초월할 때, 특히 $\lambda > 0$ 일 때 모듈리 공간의 차원은 어떻게 변화하는가?

주요 결과

• 선형화된 변형 연산자가 동형사상이면 특수 라그랑주 콘포ลด의 모듈리 공간 $\mathcal{M}_L$ 은 매끄럽고 유한 차원 다양체이다.
• 모듈리 공간의 차원은 $\dim(\widetilde{H}_{0,\bullet}) + i(\Delta_{\boldsymbol{\mu},\boldsymbol{\lambda}}) - i(\Delta_{\boldsymbol{\mu},\boldsymbol{\lambda}'})$ 로 주어지며, 여기서 $i$ 는 가중 라플라스 연산자의 프레드홀름 인덱스를 의미한다.
• 연결된 리듬을 가진 안정적인 SL 콘 $\mathcal{C} \subset \mathbb{C}^m$ 에 대해 $\lambda \in (2-m, 0)$ 일 때 $\mathcal{M}_{\mathcal{C}}$ 는 차원 0을 가지며, 이러한 변형 하에서의 강성(고정성)을 나타낸다.
• $\lambda \in (1,2)$ 일 때 $\mathcal{M}_{\mathcal{C}}$ 는 차원 $2m$ 을 가지며, 이는 $\mathbb{C}^m$ 내에서 $\mathcal{C}$ 의 $2m$ 차원 이동 가중치 가중족에 해당한다.
• $\lambda \in (0,1)$ 일 때 $\mathcal{M}_{\mathcal{C}}$ 는 차원 0을 가지며, 해석학적 자유도가 있음에도 불구하고 비자명한 변형이 존재하지 않음을 보여준다.
• AC 끝의 기여는 콤팩트 지지 코homology 를 통해 기록되며, CS 특이점은 제약 사상의 영성에 의해 기여한다. 이는 정리 2.18 및 비고 2.19 에서 정밀하게 형식화되어 있다.