[논문 리뷰] Homogeneous spin Riemannian manifolds with the simplest Dirac operator

P. M. Gadea, J. C. González-Dávila외 1명|arXiv (Cornell University)|2015. 04. 22.

Geometric Analysis and Curvature Flows참고 문헌 13인용 수 5

한 줄 요약

이 논문은 리만 대칭 공간에서와 동일한 형태의 디랙 연산자를 갖는 동차 스핀 리만 다양체가 정확히 비자취 순환 다양체임을 규명한다. 비콤팩트 유형의 횡방향 대칭 피브리케이션을 사용하여 이러한 비대칭 다양체를 분류하며, 특히 고전적 및 예외적 리 군에 대해 다루고, 전체 공간과 그 섬유 사이의 스핀 구조 간 일대일 대응을 증명함으로써 $\widetilde{SL}(2,\mathbb{R})$에서 명시적 계산을 통해 디랙 연산자가 대칭 형태를 갖는다는 것을 확인한다. 주요 기여는 디랙 연산자 구조에 기반해 가장 단순한 비대칭 스핀 다양체를 규명한 데 있다.

ABSTRACT

We show the existence of nonsymmetric homogeneous spin Riemannian manifolds whose Dirac operator is like that on a Riemannian symmetric spin space. Such manifolds are exactly the homogeneous spin Riemannian manifolds $(M,g)$ which are traceless cyclic with respect to some quotient expression $M=G/K$ and reductive decomposition $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$. Using transversally symmetric fibrations of noncompact type, we give a list of them.

연구 동기 및 목표

• 리만 대칭 공간에서와 동일한 형태의 디랙 연산자를 갖는 비대칭이 아닌 동차 스핀 리만 다양체를 규명하는 것.
• 이러한 다양체가 정확히 자취가 없는 순환 다양체임을 특성화하여, 대칭 사례를 비대칭 설정으로 확장하는 것.
• 특히 고전적 및 예외적 리 군에 대해 비콤팩트 유형의 횡방향 대칭 피브리케이션을 사용하여 이러한 다양체를 분류하는 것.
• 이러한 피브리케이션에서 전체 공간과 그 섬유 사이의 스핀 구조 간 일대일 대응을 확립하는 것.
• 오р토곤럴 왼쪽 불변 벡터장이 있는 $\widetilde{SL}(2,\mathbb{R})$에서 디랙 연산자의 대칭 유사 형태를 명시적 계산을 통해 검증하는 것.

제안 방법

• 비단조화 군에 대해 바르의 일반 공식을 사용하여 동차 스핀 리만 다양체에서 디랙 연산자를 정의한다.
• 재수축 분해 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$ 과 순환 조건 $\sum_{\text{cyc}} \langle[X,Y]_{\mathfrak{m}}, Z\rangle = 0$ 을 통해 자취가 없는 순환 다양체 개념을 도입한다.
• 비콤팩트 유형의 리만 대칭 쌍 $(G,L)$ 이 되는 $\pi: G/K \to G/L$ 의 횡방향 대칭 피브리케이션을 사용한다.
• 섬유 $L/K$ 와 대응하는 $\mathfrak{f}$ 를 포함하는 $B$-수직 분해 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$, $\mathfrak{m} = \mathfrak{f} \oplus \mathfrak{p}$ 를 사용하여 $G/K$ 에 적합한 계량을 구성한다.
• 디랙 연산자를 계산하기 위해 스핀 접속 공식 $\nabla^\Sigma_{\bar{X}_i}\psi = \bar{X}_i(\psi) + \frac{1}{4}\sum_{j,k} \Gamma^k_{ij} \bar{X}_j \cdot \bar{X}_k \cdot \psi$ 을 적용한다.
• 자취 항 $r+s+t=0$ 이 사라짐을 보여줌으로써 디랙 연산자가 $D\psi = \sum_{i=1}^n X_i \cdot X_i(\psi)$ 로 감소함을 검증한다.

실험 결과

연구 질문

• RQ1 어느 비대칭 동차 스핀 리만 다양체가 리만 대칭 공간에서와 동일한 형태의 디랙 연산자를 갖는가?
• RQ2 재수축 분해 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$ 에 대한 기하적 조건은 무엇이며, 이 조건이 디랙 연산자가 대칭 형태 $\sum X_i \cdot X_i(\psi)$ 를 갖도록 보장하는가?
• RQ3 비콤팩트 유형의 횡방향 대칭 피브리케이션은 이러한 다양체를 분류하고 그 스핀 구조를 어떻게 연결하는가?
• RQ4 이러한 피브리케이션에서 전체 공간과 섬유 사이의 스핀 구조 간 일대일 대응이 존재하는가?
• RQ5 $\widetilde{SL}(2,\mathbb{R})$ 에서 자취가 없는 순환 계량을 갖는 왼쪽 불변 계량이 디랙 연산자를 예측된 대칭 형태로 감소시키는가?

주요 결과

• 동차 스핀 리만 다양체에서 디랙 연산자가 대칭 형태 $D\psi = \sum_{i=1}^n X_i \cdot X_i(\psi)$ 를 갖는 것은 자취가 없는 순환 다양체일 때이고, 그 때에만 성립한다.
• 대칭 유사 디랙 연산자를 갖는 모든 비대칭 동차 스핀 리만 다양체는 비콤팩트 유형의 횡방향 대칭 피브리케이션을 통해 분류된다.
• $G$ 가 고전적 단순 리 군일 경우, $L/K$ 가 등방성 불가능하고 $G/L$ 가 비콤팩트 유형의 불가약 대칭인 삼중체 $(G,L,K)$ 는 표 1과 표 2에 완전히 나열되어 있다.
• $G$ 가 단순 예외적 리 군일 경우, 해당 리 대수 삼중체 $(\mathfrak{g},\mathfrak{l},\mathfrak{k})$ 는 표 3에 나열되어 있다.
• $\widetilde{SL}(2,\mathbb{R})$ 에서 오р토곤럴 기저 $\{X_1,X_2,X_3\}$ 를 갖는 왼쪽 불변 계량이 자취가 없는 순환 계량을 이룬다. 이 경우 디랙 연산자는 $D\psi = \sum_{i=1}^3 X_i \cdot X_i(\psi)$ 로 단순화된다.
• 스핀 접속과 디랙 연산자 계산을 통해 자취 항 $-(r+s+t)/2 = 0$ 이 사라짐을 확인하여 대칭 유사 형태가 검증된다.