[논문 리뷰] Deformation of singular connections I: $G_{2}-$instantons with point singularities

Yuanqi Wang|arXiv (Cornell University)|2016. 02. 18.

Geometry and complex manifolds참고 문헌 25인용 수 4

한 줄 요약

이 논문은 7차원 다양체에서 점 특이성을 지닌 $G_2$-instanton과 관련된 딜라크 유형 연산자에 대한 프레드홀름 이론을 수립하며, $G_2$-구조의 소규모 변형에 대해 이러한 인스턴턴과 그 특이성이 유지됨을 증명한다. 핵심 결과는 적절한 $G_2$-instanton이 자명한 코어널을 가지면, 그에 가까운 $G_2$-구조에서 특이점에서 동일한 접선 원환면 연결을 갖는 $G_2$-모노폴이 존재하며, 특이성의 구조가 유지됨을 보여준다.

ABSTRACT

In dimension 7, we establish a Fredholm theory for a Dirac-type operator associated to a connection with point singularities. There are two applications. $1$. over a closed 7-manifold, under some natural conditions, a $G_{2}-$instanton and its point singularities can still be "seen" when the $G_{2}-$structure is properly perturbed. $2$. over a ball in $\R^{7}$, for any almost-Euclidean $G_{2}-$structure, there exists a $G_{2}-$monopole asymptotic to an arbitrary Hermitian Yang-Mills connection on $S^{6}$.

연구 동기 및 목표

• 7차원 다양체에서 점 특이성을 지닌 $G_2$-인스턴턴에 대한 변형 이론을 개발한다.
• 소규모 $G_2$-구조의 변형에 대해 $G_2$-인스턴턴의 특이성이 유지되거나 사라지는지 이해한다.
• 특이성이 있는 상황에서 $G_2$-인스턴턴 방정식의 선형화된 연산자에 대한 프레드홀름 이론을 수립한다.
• 선형화된 연산자의 코어널을 특성화하고 일반적인 경우에서의 전방위성(Transversality)을 증명한다.
• 모델 원뿔 설정에서 $S^6$ 위의 헤르미트 양-밀스 연결에 점 渐近하는 $G_2$-모노폴 방정식의 해를 구성한다.

제안 방법

• 가중 칸돌로프 및 하올더 공간을 통해 특이 연결과 관련된 딜라크 유형 연산자에 대한 프레드홀름 이론을 개발한다.
• 원뿔 연결에서 라플라스 연산자의 변수 분리 기법을 적용하여 갈레르킨 방법을 통해 국소 역함수를 구성한다.
• 다우글리스-니레버그 샤페르 추정과 충분히 음수인 $p$에 대해 $W^{1,2}_{p,b}$-추정에서 유도된 새로운 $C^0$-추정을 사용한다.
• 비선형성을 제어하기 위해 가중 $C^{2,eta}$와 가중 $W^{1,2}_{p,b}$ 노름을 조합한 하이브리드 함수 공간을 도입한다.
• 가중 체적 형태와 함께 커프닝 함수와 부분적 적분을 사용하여 에너지 추정을 유도하고 곡률의 폭발을 제어한다.
• 선형화된 연산자 $L_A$가 적절한 가중 칸돌로프 공간 간에 $(p,b)$-프레드홀름임을 증명하여 변형 이론을 가능하게 한다.

실험 결과

연구 질문

• RQ1 소규모 $G_2$-구조의 변형에 대해 점 특이성을 지닌 $G_2$-인스턴턴은 변형 가능하며, 특이성은 유지되는가?
• RQ2 특이성이 있는 상황에서 $G_2$-인스턴턴 방정식의 선형화된 연산자는 프레드홀름인가? 그 인덱스는 무엇인가?
• RQ3 특이점에서 접선 원환면 연결과 점 渐近하는 $G_2$-모노폴을 구성할 수 있는가?
• RQ4 선형화된 연산자의 코어널의 구조는 어떠한가? 일반적으로 자명한가?
• RQ5 가중 함수 공간을 사용하여 특이점 근처에서 $G_2$-인스턴턴 방정식의 비선형 항을 어떻게 제어할 수 있는가?

주요 결과

• 모든 $A$-일반적인 음수 $p$와 $b \geq 0$에 대해 선형화된 연산자 $L_A$는 가중 칸돌로프 공간 $W^{1,2}_{p,b}$와 $L^2_{p,b}$ 사이에서 $(p,b)$-프레드홀름임을 증명하여 기초적인 프레드홀름 이론을 확립한다.
• 충분히 음수인 $p$에 대해 $W^{1,2}_{p,b}$-추정을 결합한 $C^0$-추정을 달성하였으며, 이는 비선형 항을 제어하는 데 핵심적이다.
• 일반적인 특이 인스턴턴에 대해 $L_A$의 코어널은 자명하며, 모듈리 공간의 컴actification에서 전방위성이 성립함을 시사한다.
• 모든 거의 유클리드 $G_2$-구조는 $\mathbb{R}^7$의 구내에서 정의되며, 원점에서 동일한 접선 원환면을 갖는 $S^6$ 위의 헤르미트 양-밀스 연결에 점 渐近하는 $G_2$-모노폴이 존재한다.
• 모델 케이스에서 원뿔 연결의 라플라스 연산자에 대한 국소 역함수의 구성은 변수 분리와 갈레르킨 방법에 의존한다.
• 커핑 함수와 함께 부분적 적분을 통한 에너지 추정은 특이점에서 곡률의 폭발이 연결 1-형식과 그 도함수의 $L^2$-노름에 의해 제어됨을 보여준다.