[논문 리뷰] The algebra of the parallel endomorphisms of a pseudo-Riemannian metric: semi-simple part

Charles Boubel|arXiv (Cornell University)|2013. 12. 03.

Advanced Topics in Algebra참고 문헌 17인용 수 3

한 줄 요약

이 논문은 분해 불가능한 편미분 리만다이너시 다양체의 평행 내재형사상 대수의 반단순 부분을 분류하며, 실수 반단순 대수와 그의 고정점 변환을 이용하여 8가지 가능한 유형—일반적인 경우, 칼라-형, 하이퍼칼라-형 등—을 식별한다. 각 유형을 실현하는 계량의 미세 구조를 매개변수화하고, 평행 내재형사상에 의해 유도되는 리치 곡률의 제약 조건을 도출하며, 일부 경우에서 이차형 또는 반대칭하는 반대칭 내재형사상은 리치 곡률이 0이 되게 한다.

ABSTRACT

On a (pseudo-)Riemannian manifold (MM,g), some fields of endomorphisms i.e. sections of End(TMM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra, A is the sum of its radical and of a semi-simple algebra S. Here we study S: it may be of eight different types, including the generic type S=R.Id, and the K\"ahler and hyperk\"ahler types 'S isomorphic to C' and 'S isomorphic to the quaternions'. This is a result on real, semi-simple algebras with involution. For each type, the corresponding set of germs of metrics is non-empty; we parametrise it. We give the constraints imposed to the Ricci curvature by parallel endomorphism fields

연구 동기 및 목표

• 분해 불가능한 편미분 리만다이너시 계량에 대한 평행 내재형사상 대수의 반단순 부분을 분류하는 것.
• 홀로노미 군의 중심화자인 반단순 부분의 반단순 부분으로서 나타날 수 있는 실수 반단순 대수와 고정점 변환의 유형을 규명하는 것.
• 각 가능한 반단순 유형을 실현하는 계량의 미세 구조 집합을 매개변수화하는 것.
• 평행 내재형사상 장의 존재에 의해 유도되는 리치 곡률에 대한 제약 조건을 도출하는 것.
• 특히 홀로노미 군이 기약적이지 않은 경우를 포함하여 리만 기하학의 결과를 더 일반적인 편미분 리만다이너시 설정으로 확장하는 것.

제안 방법

• 평행 내재형사상 대수를 반단순 부분과 이차형 부분으로 분해하고, 반단순 성분 s에 중점을 둔다.
• 실수 반단순 대수와 고정점 변환의 분류 이론을 적용하여 R·Id, C, H 등을 포함한 8가지의 서로 다른 s 유형을 식별한다.
• 카르탕-카르탕 이론과 임계 공간 기법을 활용하여 각 대수적 유형을 실현하는 계량의 미세 구조를 매개변수화한다.
• 홀로노미 표현과 T_mM 내의 End(T_mM)에서의 중심화자를 이용하여 평행 내재형사상의 구조를 분석한다.
• 비앙키 항등식과 교환 가능한 내재형사상의 추적 성질을 적용하여 곡률 제약 조건을 유도한다.
• 추적 항등식과 교환 관계를 통해 평행 내재형사상이 곡률 연산자와 리치 형식에 미치는 영향을 분석한다.

실험 결과

연구 질문

• RQ1 분해 불가능한 편미분 리만다이너시 계량에 대해 평행 내재형사상 대수의 반단순 부분으로서 나타날 수 있는 실수 반단순 대수와 고정점 변환은 어떤 것들이 있는가?
• RQ2 각 such 대수에 대해, 해당 유형을 실현하는 계량의 미세 구조는 어떻게 매개변수화되는가?
• RQ3 평행 내재형사상의 존재는 계량의 리치 곡률에 어떤 제약 조건을 유도하는가?
• RQ4 계량의 부호가 평행 내재형사상의 반단순 대수의 가능한 유형을 결정하는 데 어떤 역할을 하는가?
• RQ5 반대칭하는 반대칭 내재형사상이 존재할 경우, 어떤 경우에 리치 곡률이 0이 되는가?

주요 결과

• 평행 내재형사상 대수의 반단순 부분 s는 총 8가지의 서로 다른 유형을 가질 수 있으며, 일반적인 경우 s = R·Id, 칼라-형 s ≃ C, 하이퍼칼라-형 s ≃ H 등이 포함된다.
• 비리만다이너시 유형 중 5개의 경우에서 계량은 반드시 중성 부호(즉, (d/2, d/2))를 가지며, s는 TM = ker(N−Id) ⊕ ker(N+Id)를 만족하는 파라-칼라-형 사상 N을 포함한다.
• 8가지 유형 각각에 대해, 해당 유형을 실현하는 계량의 미세 구조 집합은 공백이 아니며, 카르탕-카르탕 이론 또는 직접적 구성 방법을 통해 명시적으로 매개변수화될 수 있다.
• 만약 평행 내재형사상 U가 이차형이면서 반대칭이면, 그 상(image)은 리치 곡률의 핵심에 포함된다: Im U ⊂ ker ric.
• 두 반대칭 평행 내재형사상 U와 V가 반대칭하고 가역적이라면, 리치 곡률은 0이 된다: ric = 0.
• 정리 1.10의 경우 (3), (3’), (3C) — 각각 홀로노미가 Sp(p,q), Sp(2δ,R), Sp(2δ,C)인 경우 — 는 모두 리치 곡률이 0임을 곡률 항등식에서 추적 값이 0이 되는 것으로 보여진다.