[논문 리뷰] A Note On Boundary Conditions In Euclidean Gravity

Edward Witten|arXiv (Cornell University)|2018. 05. 29.

Noncommutative and Quantum Gravity Theories인용 수 7

한 줄 요약

이 논문은 유클리드 일반 상대성 이론에서 경계 조건을 분석하며, 경계 계량을 고정하는 딜리클레 경계 조건은 일반적으로 타원적이지 않아 양자 일반 상대성 이론의 섭동 이론에 적합하지 않지만, 경계의 등각 구조와 외재 곡률의 흔적을 고정하는 등각 경계 조건은 타원적 시스템을 만들어 안정적인 섭동 이론을 가능하게 한다는 것을 보여준다. 핵심 결과는 보조 타원적 연산자의 타원성이 유한 차원의 핵과 여핵을 보장하여, 일반적으로 딜리클레 조건이 타원적이지 않더라도 파라메트릭스와 타당한 양자장이론 섭동 전개를 가능하게 한다.

ABSTRACT

We review what is known about boundary conditions in General Relativity on a spacetime of Euclidean signature. The obvious Dirichlet boundary condition, in which one specifies the boundary geometry, is actually not elliptic and in general does not lead to a well-defined perturbation theory. It is better-behaved if the extrinsic curvature of the boundary is suitably constrained, for instance if it is positive- or negative-definite. A different boundary condition, in which one specifies the conformal geometry of the boundary and the trace of the extrinsic curvature, is elliptic and always leads formally to a satisfactory perturbation theory. These facts might have interesting implications for semiclassical approaches to quantum gravity. (Submitted to a volume in honor of Roman Jackiw.)

연구 동기 및 목표

• 유클리드 일반 상대성 이론에서 딜리클레 경계 조건이 비타원적이기 때문에 일반적으로 섭동 이론이 잘 정의되지 않는 이유를 명확히 하기 위해.
• 등각 경계 조건—경계의 등각 구조와 외재 곡률의 흔적을 고정하는 조건—이 타원적 시스템을 만들어 양자 일반 상대성 이론의 섭동 이론에 적합하다는 것을 입증하기 위해.
• 딜리클레 조건이 타원적이지 않더라도, 경계의 외재 곡률이 정부호(양 또는 음)일 경우, 보조 타원적 경계 조건을 통해 섭동 이론이 여전히 가능하다는 것을 보여주기 위해.
• 등각 조건 하에서 선형화된 아인슈타인 연산자의 핵과 여핵이 유한 차원이라는 것은 파라메트릭스 존재의 전제 조건이며, 이는 양자 섭동 이론의 가능성을 보장한다.
• 특히 게이지 고정과 영모드의 관점에서, 타원성, 프레드홀름 성질, 그리고 섭동 이론의 타당성 사이의 수학적 차이를 명확히 하기 위해.

제안 방법

• 디리클레 조건(계량 고정)과 등각 조건(등각 구조와 외재 곡률 흔적 고정)을 비교하여 일반 상대성 이론에서 경계 조건의 타원성을 분석한다.
• 프레드홀름 연산자의 이론을 적용하여 타원적 경계 조건이 유한 차원의 핵과 여핵을 보장함으로써, 전파함수를 구성하는 데 필수적임을 보여준다.
• 게이지 고정을 통해 아인슈타인 방정식을 비가역성 항이 없는 2차 미분 연산자로 환원하여 표준 섭동 분석이 가능하도록 한다.
• 디리클레 조건 하에서 선형화된 아인슈타인 방정식의 해법을 분석하기 위해, 등각 경계 조건 하에서 타원적임이 입증된 보조 연산자 $ L'' $ 을 도입한다.
• 벡터장 $ v^\mu $ 에 대한 경계값 문제에서 타원적 연산자 $ P $ 를 따르는 해의 존재가, 계량 섭동 방정식의 비동차항을 상쇄시킬 수 있음을 보여준다.
• 메트릭 섭동의 힐버트 공간 구조 하에서 내적 항등식을 통해 핵과 여핵 간의 쌍대성을 적용하여, 여핵의 유한 차원성이 핵의 유한 차원성과 상호로 유도됨을 보여준다.

실험 결과

연구 질문

• RQ1 왜 딜리클레 경계 조건—경계 계량을 고정하는 조건—은 유클리드 일반 상대성 이론에서 일관된 섭동 전개를 지원하지 못하는가?
• RQ2 등각 경계 조건—경계의 등각 구조와 외재 곡률의 흔적을 고정하는 조건—은 어떻게 타원적 시스템을 만들어내는가?
• RQ3 딜리클레 경계 조건이 비타원적임에도 불구하고, 어떤 조건에서 섭동 이론이 여전히 잘 정의될 수 있는가?
• RQ4 보조 타원적 연산자 $ L'' $ 이 딜리클레 조건 하에서 선형화된 아인슈타인 연산자의 유한 차원 핵과 여핵을 보장하는 데 어떤 역할을 하는가?
• RQ5 선형화된 아인슈타인 연산자의 핵과 여핵 사이의 동형사상은 양자 중력에서 파라메트릭스 존재와 어떻게 관련되는가?

주요 결과

• 딜리클레 경계 조건은 비타원적이며, 일반적으로 무한 차원의 영모드 문제를 야기할 수 있기 때문에, 일반적으로 잘 정의된 섭동 이론을 보장하지 못한다.
• 경계의 등각 구조와 외재 곡률의 흔적을 고정하는 등각 경계 조건은 타원적이며, 선형화된 아인슈타인 연산자가 유한 차원의 핵과 여핵을 가짐을 보장한다.
• 경계의 외재 곡률이 양 또는 음 정부호일 경우, 딜리클레 경계 조건을 갖는 선형화된 아인슈타인 방정식은 프레드홀름이 되며, 비타원적이지만 파라메트릭스 존재 가능성을 시사한다.
• 벡터장 $ Pv = 0 $ 이 경계 조건 $ v^i|_M = 0 $, $ v^\perp|_M = \gamma $ 를 만족하는 해가 존재하면, 계량 섭동 방정식의 비동차항을 상쇄시킬 수 있어 제약 조건에 대해 해가 존재하게 된다.
• 딜리클레 조건 하에서 선형화된 아인슈타인 연산자의 여핵은 핵과 동형이며, 보조 연산자 $ L'' $ 이 타원적일 경우 둘 다 유한 차원이 된다. 이는 시스템이 마치 타원적인 것처럼 행동함을 의미한다.
• 이 논문은 보조 연산자 $ L'' $ 의 타원성이 선형화된 아인슈타인 연산자에 대한 딜리클레 조건 하에서 유한 차원 여핵을 보장함을 입증하며, 이는 파라메트릭스를 구성하고 섭동 이론 기반의 양자 일반 상대성 이론을 가능하게 하는 데 충분하다.