[논문 리뷰] Local Index Theory for Lorentzian Manifolds

Christian Baer, Alexander Strohmaier|arXiv (Cornell University)|2020. 12. 02.

Advanced Operator Algebra Research인용 수 4

한 줄 요약

이 논문은 전역적으로 초과하는 시공간에서 라이프니츠형 디랙 연산자에 대한 국소적 인덱스 공식을 수립하며, 미세국소 분석과 하다르드 전개를 사용하여 타원 연산자 이외의 영역으로 인덱스 이론을 확장한다. 주요 기여는 공간적으로 컴팩트한 시공간에서 아티야-패달로-식리 경계 조건을 갖는 일반적인 디랙형 연산자에 대한 인덱스 정리로, 양의 정부호 내적이나 공간적 디랙 연산자의 자기수반성 조건을 필요로 하지 않는다.

ABSTRACT

Index theory for Lorentzian Dirac operators is a young subject with significant differences to elliptic index theory. It is based on microlocal analysis instead of standard elliptic theory and one of the main features is that a nontrivial index is caused by topologically nontrivial dynamics rather than nontrivial topology of the base manifold. In this paper we establish a local index formula for Lorentzian Dirac-type operators on globally hyperbolic spacetimes. This local formula implies an index theorem for general Dirac-type operators on spatially compact spacetimes with Atiyah-Patodi-Singer boundary conditions on Cauchy hypersurfaces. This is significantly more general than the previously known theorems that require the compatibility of the connection with Clifford multiplication and the spatial Dirac operator on the Cauchy hypersurface to be selfadjoint with respect to a positive definite inner product.

연구 동기 및 목표

• 전역적으로 초과하는 시공간에서 라이프니츠형 디랙형 연산자에 대한 국소적 인덱스 공식을 수립하여, 기존의 타원형 인덱스 이론의 한계를 극복한다.
• 스칼라 곡면 위의 벡터 번들의 양의 정부호 내적 조건을 요구하지 않는 기존의 라이프니츠형 인덱스 정리를 일반화한다.
• 공간적으로 컴팩트한 시공간에서 아티야-패달로-식리 경계 조건을 갖는 일반 디랙형 연산자에 대한 인덱스 정리를 수립하며, 공간적 디랙 연산자가 양의 정부호 메트릭에 대해 자기수반적이지 않은 경우에도 적용 가능하다.
• 위크 변환 또는 변수 분리가 실패하는 상황에서 상대론적 양자장 이론과 이상 현상(예: 카이랄 이상)에 대한 인덱스 이론의 적용 범위를 확장한다.
• 특성치의 전파와 그린 함수의 하다르드 전개를 활용하여, 라이프니츠 기하학에서 인덱스 이론의 엄밀한 미세국소 기반을 제공한다.

제안 방법

• 후행 및 전행 그린 함수의 초순위의 점근 전개를 통해 국소적 인덱스 공식을 유도한다.
• 단시간 행동의 열핵과 그린 함수를 계산하기 위해 하다르드 파라미트릭스 기법을 활용하며, 국소적 불변량을 추출한다.
• 미세국소 분석과 허르만더의 특이점 전파 정리를 사용하여 경계 조건을 갖는 디랙 연산자의 프레드홀름 성질을 확립한다.
• 라이프니츠 설정에서 아티야-패달로-식리 경계 조건을 적용하며, 코시 곡면을 잘 정의된 스펙트럴 프로젝션을 갖는 경계로 간주한다.
• 페인만 그린 함수와 경계 기여를 포함하는 개선된 하다르드 전개를 도입하며, 해석 continuation을 위해 $\tilde{C}(\beta,n,\nu)$ 및 $C(\beta,n)$ 함수를 활용한다.
• 비판적 차원에서 그린 함수의 $\beta$-정규화를 사용하여 웨이브 프론트 세트의 트레이스를 취함으로써 국소적 인덱스 밀도를 계산한다.

실험 결과

연구 질문

• RQ1 전역적으로 초과하는 시공간에서 라이프니츠형 디랙형 연산자에 대해 타원적 경우의 아티야-식리 국소적 인덱스 정리와 유사한 국소적 인덱스 공식을 수립할 수 있는가?
• RQ2 공간적 디랙 연산자가 양의 정부호 내적에 대해 자기수반적이지 않은 경우, 경계가 있는 시공간으로 인덱스 정리를 어떻게 일반화할 수 있는가?
• RQ3 미세국소 분석과 하다르드 전개는 라이프니츠 기하학에서 쌍곡형 연산자에 대한 인덱스 정의에 어떤 역할을 하는가?
• RQ4 비타원적 설정에서 인덱스 공식의 경계 기여는 $\bar{\theta}$-불변량과 $\tilde{C}(\beta,n,\nu)$ 함수와 어떻게 관련되는가?
• RQ5 인덱스 공식이 번들의 양의 정부호 메트릭 선택에 의존하지 않도록 만들 수 있는가? 이는 이전 결과를 일반화하는 데 기여한다.

주요 결과

• 국소적 인덱스 공식은 후행 및 전행 그린 함수의 초순위의 점근 전개로부터 유도되며, 분포적 인덱스 밀도를 제공한다.
• 시간 $ t $ 에서 로그 및 거듭제곱 법칙 발산이 포함된 공식이며, 계수로는 $ \tilde{C}(\beta,n,\nu) $, $ C(\beta,n) $ 및 그 도함수들이 $ \beta = -n/2 $ 에서 포함된다.
• 전개의 주요 항은 $ \text{tr}(\nabla_{(1)}\tilde{D} \bullet V_{\frac{n-2}{2}}(0,y,0,y) \bullet \not{n}_\text{Σ}) \times \frac{-i 2^{1-n} \nu^{-\frac{n}{2}}}{(\frac{n-2}{2})!} \big( \text{Euler--Mascheroni 상수} + \text{log}|t| + \text{허수 이동} \big) $ 비례하며, 비자명한 동역학을 반영한다.
• 공간적 디랙 연산자가 양의 정부호 내적에 대해 자기수반적이지 않은 경우에도 공식은 그대로 유효하며, 이는 이전 결과를 일반화한다.
• $\beta$-정규화를 통해 인덱스가 유한하고 잘 정의됨을 보이며, $\beta = -n/2$ 에서 $ \tilde{C}(\beta,n,2\nu) $ 의 $\beta$-도함수가 $ t^{1-n} $ 항에 기여한다.
• 결과는 공간적으로 컴팩트한 시공간에서 아티야-패달로-식리 경계 조건을 갖는 경우에도 전역적 인덱스 정리가 성립함을 시사하며, 번들의 양의 정부호 메트릭이 존재하지 않는 경우에도 적용 가능하다.