[논문 리뷰] Ellipticity of Bartnik boundary data for stationary vacuum spacetimes

Zhongshan An|arXiv (Cornell University)|2018. 07. 01.

Geometric Analysis and Curvature Flows참고 문헌 15인용 수 3

한 줄 요약

이 논문은 스테이셔너리 진공 시공간에 대한 Bartnik 경계 데이터가 타원 경계값 문제를 이룬다는 것을 입증한다. 이를 위해 스테이셔너리 진공 방정식과 Bartnik 경계 조건이 조합된 시스템이 프레드홀름 체계를 이룬다는 것을 보였다. 핵심 결과는 평탄한 경계 데이터의 작은 변화는 (미분형식에 의해 유일한) 국소적 스테이셔너리 진공 연장이 존재한다는 것으로, Bartnik의 준국소 질량 구성의 타원성을 확인한다.

ABSTRACT

We establish a moduli space $\mathbb E$ of stationary vacuum metrics in a spacetime, and set up a well-defined boundary map $Π$ in $\mathbb E$, assigning a metric class with its Bartnik boundary data. Furthermore, we prove the boundary map $Π$ is Fredholm by showing that the stationary vacuum equations (combined with proper gauge terms) and the Bartnik boundary conditions form an elliptic boundary value problem. As an application, we show that the Bartnik boundary data near the standard flat boundary data admits a unique (up to diffeomorphism) stationary vacuum extension locally.

연구 동기 및 목표

• 스테이셔너리 진공 시공간에 대해 Bartnik 경계 데이터가 타원형인지 여부에 대한 Bartnik의 미해결 질문을 해결하기 위해.
• 스테이셔너리 진공 계량의 모듈리 공간에서 Bartnik 경계 데이터로의 잘 정의된 경계 사상 Π를 정의하기 위해.
• 스테이셔너리 진공 방정식과 Bartnik 경계 조건이 조합된 시스템이 프레드홀름 타원 경계값 문제를 이룬다는 것을 증명하기 위해.
• 평탄한 데이터에 가까운 경계 데이터에 대해 스테이셔너리 진공 연장이 (미분형식에 의해) 국소적으로 유일함을 확립하기 위해.

제안 방법

• 스칼라 곡률가로 주어진 시공간에서 Cauchy 표면 M를 가진 스테이셔너리 진공 계량의 모듈리 공간 𝔼를 구성한다.
• 경계 사상 Π: 𝔼 → 𝔹(∂M)를 정의하여 각 계량이 그 Bartnik 경계 데이터 (g_Σ, H_Σ, tr_ΣK, ω_n_Σ) 를 부여한다.
• 스테이셔너리 진공 방정식 (Ric_{g^{(4)}} = 0) 과 Bartnik 경계 조건이 조합된 경계값 문제를 구성한다.
• 관련된 기호 조건을 점검하고 선형화된 시스템이 형식적으로 자기수반이며 컴act 해석적 역행렬을 가짐을 이용하여 타원성을 입증한다.
• 해석적 섭동 이론을 적용하여 자기수반 연산자 가중치의 고유값 분지들을 분석하여 평탄한 데이터 근처에서 비자명한 해가 존재하지 않음을 규명한다.
• 민코프스키 시공간에서의 비안치 연산자를 사용하여 선형화된 제약 조건을 유도하고 게이지 조건을 검증한다.

실험 결과

연구 질문

• RQ1 스테이셔너리 진공 방정식과 Bartnik 경계 조건이 조합된 경계값 문제는 타원형인가?
• RQ2 경계 사상 Π: 𝔼 → 𝔹(∂M)는 프레드홀름 연산자인가?
• RQ3 평탄한 데이터에 가까운 Bartnik 경계 데이터에 대해 유일한 스테이셔너리 진공 연장이 구성될 수 있는가?
• RQ4 Bartnik 준국소 질량 구성은 타원성 정규성의 관점에서 잘 정의된가?
• RQ5 Bartnik 경계 조건을 가진 제약 조건 방정식은 유한차원 핵과 닫힌 범위를 가진 잘 정의된 해 공간을 갖는가?

주요 결과

• 경계 사상 Π는 프레드홀름이며, 스테이셔너리 진공 방정식과 Bartnik 경계 조건이 조합된 시스템이 타원 경계값 문제임을 확인한다.
• 평탄한 계량에서 선형화된 시스템은 타원적이며 형식적으로 자기수반이며 컴팩트 해석적 역행렬을 가진다.
• 평탄한 계량 근처에서는 선형화된 시스템에 비자명한 해가 존재하지 않으며, 이는 연장의 국소적 유일성을 의미한다.
• 경계값 문제의 해 공간은 유한차원이며, 작은 평탄한 데이터의 변화에 대해 핵은 자명하다.
• 경계 데이터가 평탄한 데이터에 충분히 가까운 경우, 스테이셔너리 진공 연장은 (미분형식에 의해) 유일하게 존재한다.
• 민코프스키 시공간에서의 비안치 연산자는 선형화된 제약 조건과 게이지 조건의 일관성을 확인한다.