[논문 리뷰] Dirac operators for coadjoint orbits of compact Lie groups

Marc A. Rieffel|ArXiv.org|2008. 12. 15.

Advanced Operator Algebra Research참고 문헌 38인용 수 8

한 줄 요약

이 논문은 스핀^c 군을 피하고 리만 기하학적 구조를 사용하여 컴팩트 리 군의 공대칭 궤도 위에서 딜라크 연산자를 전역적이고 좌표 불변으로 구성한다. 리만 기하학적 연결과 복소 구조를 이용하여, 일반적인 G-불변 접속 하에서 딜라크 연산자의 형식적 자기수반성에 대한 필요 및 충분 조건을 유도하며, 이는 거의 허미션 수학적 공간으로의 일반화와 비틀림 이론적 해석을 가능하게 하며, 고에너지 물리학 및 비가환 기하학적 맥락에서의 딜라크 연산자 이해를 명확히 한다.

ABSTRACT

The coadjoint orbits of compact Lie groups carry many Kähler structures, which include a Riemannian metric and a complex structure. We provide a fairly explicit formula for the Levi-Civita connection of the Riemannian metric, and we use the complex structure to give a fairly explicit construction of a canonical Dirac operator for the Riemannian metric, in a way that avoids use of the Spin^c groups. Substantial parts of our results apply to compact almost-Hermitian homogeneous spaces, and to other connections besides the Levi-Civita connection. For these other connections we give a criterion that is both necessary and sufficient for their Dirac operator to be formally self-adjoint. We hope to use the detailed results given here to clarify statements in the literature of high-eneregy physics concerning "Dirac operators" for matrix algebras that converge to coadjoint orbits. To facilitate this we employ here only global methods -- we never use local coordinate charts, and we use the cross-section modules of vector bundles.

연구 동기 및 목표

• 컴팩트 리 군의 공대칭 궤도 위에서 스핀^c 군을 사용하지 않고 기하학적 구조를 활용하여 딜라크 연산자의 좌표 불변이고 전역적인 구성법을 제공한다.
• Kähler 구조를 지닌 공대칭 궤도 위에서 리만 기하학적 연결의 명시적 공식을 도출한다.
• 거의 허미션 수학적 공간에서 G-불변이고 J-호환성 있는 접속으로 구성된 딜라크 연산자의 형식적 자기수반성에 대한 필요 및 충분 조건을 수립한다.
• 비가환 기하학 도구를 사용하여 고에너지 물리학 맥락에서 행렬 대수의 딜라크 연산자가 공대칭 궤도로 수렴할 때의 의미를 명확히 한다.
• 스핀 다양체를 초월하여 비틀림 스핀^c 구조와 이so트로피 군 K의 유니터리 표현을 사용하여 비스핀 공대칭 궤도 위에서 딜라크 연산자를 구성하는 데 기여한다.

제안 방법

• 비가환 기하학과의 호환성을 유지하기 위해 국소 좌표계가 아닌 벡터 다발의 교차 모듈러스를 사용한다.
• 접선 다발과 스피너 다발의 표준 모듈러스 기저를 사용하여 딜라크 연산자를 대수적으로 정의한다.
• 공대칭 궤도의 Kähler 구조에 의해 유도된 리만 계량을 통해 리만 기하학적 연결 공식을 유도한다.
• 복소 구조를 적용하여 스핀^c 군을 언급하지 않고도 표준 스핀^c 구조와 그에 관련된 딜라크 연산자를 구성한다.
• 일반적인 접속 하에서 딜라크 연산자의 형식적 자기수반성을 판단하기 위해 $\sum_p L_{\hat{X}_p}(e)(S^{-1/2}Y_p) = 0$ 를 포함하는 비틀림 기반 조건을 도입한다.
• 원래 연산자가 자기수반적이지 않을 경우 형식적 자기수반성을 보장하기 위해 수정된 딜라크 연산자 $\tilde{D}^\nabla = D^\nabla - \frac{1}{2}(M - M^*)$ 를 구성한다.

실험 결과

연구 질문

• RQ1 어떻게 컴팩트 리 군의 공대칭 궤도 위에서 스핀^c 군에 의존하지 않고 딜라크 연산자를 구성할 수 있는가?
• RQ2 Kähler 구조를 지닌 공대칭 궤도 위에서 리만 기하학적 연결의 명시적 형태는 무엇인가?
• RQ3 거의 허미션 수학적 공간에서 G-불변이고 J-호환성 있는 접속으로 구성된 딜라크 연산자가 형식적으로 자기수반이 되는 조건은 무엇인가?
• RQ4 고에너지 물리학 및 비가환 기하학 맥락에서 행렬 대수의 딜라크 연산자는 공대칭 궤도의 딜라크 연산자와 어떻게 관련이 있는가?
• RQ5 비스핀 공대칭 궤도 위에서 딜라크 연산자를 구성할 때 비틀림 스핀^c 구조와 K의 유니터리 표현의 역할은 무엇인가?

주요 결과

• 국소 좌표계를 피하고 전역적 모듈러스 기저를 사용하여 공대칭 궤도 위에서 리만 기하학적 연결의 명시적 공식이 유도되었다.
• 스핀^c 군을 언급하지 않고 복소 구조와 리만 계량만을 사용하여 Kähler 구조가 있는 공대칭 궤도의 표준 딜라크 연산자가 구성되었다.
• 딜라크 연산자의 형식적 자기수반성에 대한 필요 및 충분 조건이 확립되었다: $\sum_p L_{\hat{X}_p}(e)(S^{-1/2}Y_p) = 0$, 여기서 $\{Y_p\}$ 는 $\mathfrak{m}$ 에 대한 $g_0$-정규직교 기저이다.
• 이 조건은 스핀 경우에 대해 이케다(2005)의 결과와 동치임을 보였으며, 깊이 있는 기하학적 유사성을 시사한다.
• 원래 연산자가 자기수반적이지 않을 경우 형식적 자기수반성을 보장하기 위해 수정된 딜라크 연산자 $\tilde{D}^\nabla = D^\nabla - \frac{1}{2}(M - M^*)$ 가 구성되었다.
• 결과는 공대칭 궤도뿐만 아니라 거의 허미션 수학적 공간의 광범위한 클래스에도 적용되며, 고에너지 물리학에서 행렬 대수 극한에 사용되는 딜라크 연산자의 기하학적 기원을 명확히 하였다.