[논문 리뷰] Curvature homogeneous signature (2,2) manifolds

Corey Dunn, Peter Gilkey외 1명|ArXiv.org|2004. 08. 23.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 8

한 줄 요약

이 논문은 실해석함수 f(y)로 정의된 일반화된 평면파 다양체라고 불리는, 완전하고 4차원이며 서명(2,2)인 편미분 리만다양체의 가족을 구성한다. 이러한 다양체는 1-curvature homogeneous이지만 반드시 동차는 아니며, 풍부한 기하적 성질을 갖는다: 스플라인 및 타임라이크 조르당 오스터마이어 및 이바노프-페트로바이며, 그 케일링 대수는 완전히 분류되어 있다. 주요 기여는 다양한 대칭성과 곡률 성질을 갖는 이러한 다양체의 명시적 구성으로, 비대칭 공간, 동차이지만 대칭이 아닌 경우, 비동차이지만 1-curvature homogeneous인 예도 포함된다.

ABSTRACT

We exhibit a family of generalized plane wave manifolds of signature (2,2). The geodesics in these manifolds extend for infinite time (i.e. they are complete), they are spacelike and timelike Jordan Osserman, and they are spacelike and timelike Jordan Ivanov-Petrova. Some are irreducible symmetric spaces. Some are homogeneous spaces but not symmetric. Some are 1-curvature homogeneous but not homogeneous. All are 0-modeled on the same irreducible symmetric space. We determine the Killing vector fields for these manifolds.

연구 동기 및 목표

• 실해석함수 f(y)를 사용하여 서명(2,2)의 일반화된 평면파 다양체를 구성하고 분석한다.
• 이 다양체가 대칭, 동차, 또는 1-curvature homogeneous이 되는 조건을 규명한다.
• 각 다양체 유형에 대해 케일링 벡터장을 분류하고 등급군의 구조를 규명한다.
• 이 다양체의 기하적 성질을 조사한다. 이는 완전성, 곡률 동차성, 그리고 자코비 및 곡률 연산자의 조르당 표준형 조건을 포함한다.
• 이러한 다양체가 비동차이지만 1-curvature homogeneous일 수 있음을 보여주며, 리만 기하학 결과와 대비한다.

제안 방법

• 실해석함수 f(y)를 사용하여 R^4에 편미분 리만다양체 g_f를 정의한다. 구성요소는 g_f(∂_x,∂_x) = -2f(y), g_f(∂_x,∂_x̃) = g_f(∂_y,∂_ỹ) = 1이다.
• 곡률 텐서의 k차 공변도함수를 계산하여, ∇^k R_f(∂_x,∂_y,∂_y,∂_x; ∂_y,…,∂_y) = f^{(k+2)}(y)임을 보인다.
• 지점에서 곡률 제트의 모델 (U^k)을 사용하여 k-curvature homogeneity를 정의하고 국소 등급형을 결정한다.
• 케일링 벡터장을 적용하기 위해 케일링 방정식을 풀고, 흐름과 동형사상에 의해 유도된 리 대수의 구조를 분석한다.
• 지정된 f(예: 지수함수 또는 거듭제곱함수)에 대해 구체적인 케일링 장을 구성하고, 안정화자 대수 분석을 통해 등급군의 차원을 분류한다.
• 지오데식이 완전하고 지수사상이 전역 디피오모르피즘임을 이용하여 다양체의 전역 성질을 확립한다.

실험 결과

연구 질문

• RQ1 실해석함수 f(y)가 어떤 조건일 때 일반화된 평면파 다양체 (R^4, g_f)가 대칭이 되는가?
• RQ2 (R^4, g_f)가 동차가 되는 조건은 무엇이며, 그 등급군의 구조는 어떻게 되는가?
• RQ3 언제 (R^4, g_f)가 1-curvature homogeneous이지만 국소적으로 동차가 아니게 되는가?
• RQ4 스플라인 및 타임라이크 접속다양체에서 자코비 및 반대칭 곡률 연산자가 일정한 조르당 표준형을 갖는가?
• RQ5 이러한 다양체에 대한 케일링 벡터장의 완전한 분류는 무엇이며, 이는 f에 따라 어떻게 달라지는가?

주요 결과

• 모든 지오데식이 (R^4, g_f)에서 완전하고, 임의의 점에서 지수사상은 전역 디피오모르피즘이다.
• (R^4, g_f)가 대칭이 되는 것은 f^{(3)} ≡ 0일 때에만 성립한다.
• 이 다양체가 동차가 되는 것은 f(y) = a e^{λy} 또는 f(y) = a(y+b)^c일 때에만 성립한다. 여기서 a, λ, b, c는 상수이다.
• f^{(2)} ≠ 0이면, (R^4, g_f)는 스플라인 및 타임라이크 조르당 오스터마이어이자 조르당 이바노프-페트로바이다.
• f^{(2)} ≠ 0 이면서 지수함수나 거듭제곱함수 형태가 아니면, (R^4, g_f)는 1-curvature homogeneous이지만 동차가 아니다.
• f가 지수함수나 거듭제곱함수 형태가 아니면 케일링 대수의 차원은 2이며, f(y) = a e^{λy}이면 6으로 증가하고, f(y) = y^2이면 8로 증가한다.