[논문 리뷰] The spectral geometry of the Riemann curvature tensor

Peter Gilkey, Raina Ivanova외 1명|ArXiv.org|2002. 06. 12.

Geometric Analysis and Curvature Flows참고 문헌 23인용 수 6

한 줄 요약

이 논문은 편미분계량다양체에서 곡률과 관련된 연산자—예를 들어 자코비, 고차 미분 자코비, 반대칭 곡률, 수바 곡률 연산자—의 스펙트럼 및 조르당 표준형 성질을 조사한다. 특정한 대수적 곡률 텐서 대칭성 하에서 이러한 연산자의 스펙트럼 또는 조르당 구조가 단위 접선 벡터에서 일정함을 입증하며, 이를 통해 분류 결과와 고차 signature에서 비자명한 수바 텐서의 새로운 예를 제시한다. 이는 국소 대칭성에 대한 함의를 지닌다.

ABSTRACT

Let E be a natural operator associated to the curvature tensor of a pseudo-Riemannian manifold. This survey article studies when the spectrum, or more generally the real Jordan normal form, of E is constant on the natural domain of definition. It deals with results for the Jacobi operator, the higher order Jacobi operator, the Szabo operator, and the skew-symmetric curvature operator. Some results in the complex setting are presented as well for the skew-symmetric curvature operator.

연구 동기 및 목표

• 대응 곡률 연산자(자코비, 고차 미분 자코비, 반대칭 곡률, 수바)의 스펙트럼 또는 조르당 표준형이 단위 벡터의 의사구에서 일정한 대수적 곡률 텐서를 분류하는 것.
• 특히 시공간적, 시간적, 혼합 서명 케이스를 포함한 편미분계량기하학 설정에서 오스마어 및 이바노프-페트로바 유형 조건을 확장하는 것.
• 스펙트럼 또는 조르당 표준형 일정성 조건 하에서 $ p \geq 2 $ 서명에서 비자명한 수바 텐서의 존재성과 구조를 규명하는 것.
• 특히 국소 대칭성에 대한 스펙트럼 일정성의 함의를 조사하는 것, 특히 국소적으로 완전히 등방성인 다양체에서의 경우.
• 최근 스펙트럼 기하학의 곡률 연산자에 관한 결과를 종합적으로 조망하며, 거의 복소수 조르당 IP 텐서에 대한 날카운 고유값 제약 조건을 포함하는 것.

제안 방법

• 벡터 공간 $ V $의 서명 $ (p,q) $에서 대수적 곡률 텐서 $ R $ 및 공변도 미분 곡률 텐서 $ \nabla R $를 통해 자코비, 고차 미분 자코비, 반대칭 곡률, 수바 연산자를 정의한다.
• R 및 $ \nabla R $의 대칭성을 이용해 $ V $ 위의 자기수반 내림사진을 정의함으로써, 연산자가 정의가 잘 되어 또는thonormal 기저의 선택에 의존하지 않음을 보장한다.
• 스펙트럼 및 이들 연산자의 조르당 표준형을 $ S^\pm(V) $, 즉 단위 시공간적 및 시간적 벡터의 의사구에서 분석한다.
• 복소수 $ \lambda $에 대해 $ A_\lambda = A - \lambda \cdot \text{Id} $ 또는 $ (A - \lambda \cdot \text{Id})(A - \bar{\lambda} \cdot \text{Id}) $를 통해 $ \lambda $-일반화 고유부를 도입하여 스펙트럼 분해를 연구한다.
• 조르당 단순성 조건 하에서 수바 연산자의 질량을 제한하기 위해 애덤스 수 $ \nu(q) $를 적용한다.
• 대수적 제약 조건과 표현 이론적 기법을 사용하여 고유값의 다중성 구조를 유도하며, 특히 거의 복소수 조르당 IP 텐서에 대해 집중한다.

실험 결과

연구 질문

• RQ1 편미분계량다양체에서 단위 시공간적 또는 시간적 의사구에서 자코비 연산자의 스펙트럼이 일정해지는 조건은 무엇인가?
• RQ2 고차 미분 자코비 연산자가 비퇴화 부분공간의 그라스만만에서 스펙트럼 또는 조르당 형이 일정하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 서명이 $ p \geq 2 $ 인 경우에 비자명한 수바 텐서가 존재할 수 있는가? 만약 존재한다면, 어떤 스펙트럼 또는 조르당 표준형 제약 조건 하에서 존재하는가?
• RQ4 차원 $ q \equiv 0 \text{ 또는 } 2 \pmod{4} $ 인 거의 복소수 조르당 IP 대수적 곡률 텐서의 고유값 및 다중성의 구조는 어떠한가?
• RQ5 수바 연산자의 $ S^\pm(V) $에서의 스펙트럼 일정성이 국소 대칭성을 암시하는가? 특히 국소적으로 완전히 등방성인 다양체에서의 경우.

주요 결과

• 서명 $ (0,q) $에서 거의 복소수 조르당 IP 대수적 곡률 텐서의 경우, $ q \equiv 2 \pmod{4} $ 이면 $ \ell = 1 $ 이고 $ \mu_1 = 1 $; $ q \equiv 0 \pmod{4} $ 이면 $ \ell = 1, \mu_1 \leq 2 $ 또는 $ \ell = 2, \mu_1 = \mu_2 = 1 $ 이며, 이러한 경계는 날카롭다.
• 리만($ p=0 $) 또는 로렌츠($ p=1 $) 서명에서는 비자명한 수바 텐서가 존재하지 않으며, 이러한 경우 $ \nabla R = 0 $ 이다.
• 만약 $ R $ 가 시공간적 조르당 수바이고 $ p < q - \nu(q) $ 이면, 모든 $ v \in S^+(V) $ 에 대해 $ \text{rank}(\SS(v)) \leq 2\nu(q) $ 이다. 여기서 $ \nu(q) $ 는 애덤스 수이다.
• 만약 $ q $ 가 홀수이고 $ p < q $ 이면, 임의의 시공간적 조르당 수바 텐서에 대해 $ \nabla R = 0 $ 이며, 이는 국소 대칭성을 암시한다.
• 수바 연산자의 스펙트럼은 $ \text{spec}^\pm(\SS) = -\text{spec}^\pm(\SS) = \sqrt{-1} \cdot \text{spec}^\mp(\SS) $ 를 만족하며, $ \mathbb{R} \cup \sqrt{-1} \mathbb{R} $ 에 속하며, $ p < q $ 인 경우 추가 제약 조건이 존재한다.
• 서명 $ (p,q) $에서 $ p < q $ 이고 $ q $ 가 홀수인 국소적으로 완전히 등방성인 다양체는 수바 연산자의 스펙트럼 일정성에 의해 반드시 국소 대칭이 된다.