[논문 리뷰] Non-negative curvature obstructions in cohomogeneity one and the Kervaire spheres

Karsten Grove, Burkhard Wilking외 2명|ArXiv.org|2006. 01. 31.

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

한 줄 요약

이 논문은 특정 공호모제너티티 일치 다각형, 특히 $n \geq 4$, $d \geq 3$ 인 Brieskorn 다양체 $M^{2n-1}_d$ 는 비특이 궤도의 여부가 두 차원이지만, 비음성 섹션 곡률을 갖는 불변 메트릭을 가질 수 없다는 것을 입증한다. 표현 이론적 차단 조건과 동차 다발 위의 곡률 분석을 통해, 등각 표현이 정규 벡터의 구 위에서 전이적이지 않으면 비음성 곡률이 성립하지 않음을 증명하며, 이는 이전에 제기된 모든 공호모제너티티 일치 다각형이 그러한 메트릭을 가진다는 추측과 모순된다.

ABSTRACT

In contrast to the homogeneous case, we show that there are compact cohomogeneity one manifolds, that do not support invariant metrics of non-negative sectional curvature. In fact we exhibit infinite families of such manifolds including the exotic Kervaire spheres. Such examples exist for any codimension of the singular orbits except for the case where both are equal to two, where existence of non-negatively curved metrics is known.

연구 동기 및 목표

• 이전 연구에서 제기된 바와 같이, 모든 공호모제너티티 일치 다각형이 비음성 섹션 곡률을 갖는 불변 메트릭을 가질 수 있는지 조사하는 것.
• 특히 비특이 궤도의 여부가 2를 초과하는 경우, 공호모제너티티 일치 작용에서 비음성 곡률의 전역적 장애를 특정하는 것.
• 비음성 곡률을 갖는 불변 메트릭을 지닌 무한한 공호모제너티티 일치 다각형의 무리를 구성하는 것.
• Kervaire 구면이 Brieskorn 다양체로서 실현된 경우를 해결하여, $n \geq 4$, $d \geq 3$ 일 때 그러한 메트릭을 가질 수 없음을 보여주는 것.

제안 방법

• Brieskorn 다양체 $M^{2n-1}_d \subset \mathbb{C}^{n+1}$ 에서 정의된 $z_0^d + \sum_{i=1}^n z_i^2 = 0$ 과 $\sum |z_i|^2 = 1$ 를 만족하는 $\mathrm{SO}(2) \times \mathrm{SO}(n)$ 의 공호모제너티티 일치 작용을 분석한다.
• 메트릭 구조를 모델링하기 위해 궤도 공간 $[0, t_0]$ 를 사용하고, 등각 표현을 통해 정규 다발 기하학을 연구한다.
• 정규 다발에 곡률 조건을 적용하여, 비음성 곡률은 주된 궤도를 따라 노름 함수 $h(t)$ 가 볼록성을 띠어야 하며, $h(0) = 1$, $h'(0) = 0$, $h(t) \leq 1$ 를 만족함을 유도한다.
• 교환자 성질을 가진 생성자 $A = X_1 + Y_2$, $B = X_2 + Y_1$ 를 포함하는 2차면을 도입하여 리만 곡률 텐서 $R(A,B,B,A)$ 를 계산하고, $\delta = 1 - h^2$ 와 내적 $Q([Y_2,X_2] - [X_1,Y_1], P_t^{-1}([Y_2,X_2] - [X_1,Y_1]))$ 를 포함하는 곡률 부등식을 이끌어낸다.
• 표현 이론을 활용하여, $\mathsf{K}'/\mathsf{H}'$ 가 $\mathbb{S}^{k-1}$ 에 전이적으로 작용하지 않으면 $\delta(t)$ 가 요구되는 곡률 범위를 만족할 수 없음을 보여, 모순을 이끌어낸다.
• 무한한 공호모제너티티 일치 다각형의 무리를 구성하기 위해 $\mathrm{SO}(\ell)$ 의 비가역 표현 $\mu_m$ 을 사용하여, $m \geq 2$ 일 때 $\ell \geq 3$ 이면 비음성 곡률을 갖는 메트릭을 지닐 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 모든 공호모제너티티 일치 다각형이 [GZ1] 에서 제기된 바와 같이 비음성 섹션 곡률을 갖는 불변 메트릭을 가질 수 있는가?
• RQ2 비특이 궤도의 여부가 2를 초과하는 경우, $n \geq 4$, $d \geq 3$ 인 Brieskorn 다양체 $M^{2n-1}_d$ 는 비음성 곡률을 갖는 불변 메트릭을 지닐 수 있는가?
• RQ3 공호모제너티티 일치 다각형에서 비특이 궤도의 여부가 $\geq 3$ 인 경우 비음성 곡률을 방해하는 전역 기하학적 장애는 무엇인가?
• RQ4 등각 표현에 어떤 조건이 충족되어야 비음성 곡률이 공호모제너티티 일치 작용에서 실패하는가?

주요 결과

• 정리 A 는 $n \geq 4$ 이고 $d \geq 3$ 일 때, Brieskorn 다양체 $M^{2n-1}_d$ 는 비음성 섹션 곡률을 갖는 $\mathrm{SO}(2) \times \mathrm{SO}(n)$-불변 메트릭을 가질 수 없다고 증명한다.
• $n = 4$ 일 때, $\mathrm{SO}(4)$ 내의 $\mathrm{SU}(2)$ 부분군은 $M^7_d$ 에 자유롭게 작용하며, 몫은 $\mathbb{S}^4$ 가 되지만, 원래의 다각형은 여전히 비음성 곡률을 갖지 못한다.
• 정리 B 는 $\ell_\pm \geq 2$ 이고 $(\ell_-, \ell_+) \neq (2,2)$ 인 모든 쌍에 대해, 비특이 궤도의 여부가 $\ell_\pm$ 인 무한한 공호모제너티티 일치 다각형의 무리가 비음성 곡률을 갖는 불변 메트릭을 지닐 수 없음을 증명한다.
• 보조정리 3.4 는 $\ell \geq 3$, $m \geq 2$ 에 대해 $\mathrm{SO}(\ell)$ 의 차수-$m$ 조화다항식 위에서의 표현 $\mu_m$ 을 사용하여 이러한 장애를 구성하며, 여부가 $\geq 3$ 인 무한한 무리의 존재를 보여준다.
• 등각 표현이 정규 벡터의 구 위에서 전이적이지 않으면, $\delta(t) = 1 - h(t)^2$ 와 그 도함수를 통해 곡률 범위에 모순이 발생함으로써 장애가 발생한다.
• 결과적으로 비음성 곡률 장애는 전역적임을 보여주며, 각 반구(비특이 궤도 위의 디스크 다발)는 개별적으로 비음성 곡률을 지닐 수 있지만 전체 다각형은 그렇지 못하다.