[논문 리뷰] Homogeneous Finsler spaces and the flag-wise positively curved condition

Ming Xu, Shaoqiang Deng|arXiv (Cornell University)|2016. 04. 26.

Advanced Differential Geometry Research참고 문헌 8인용 수 8

한 줄 요약

이 논문은 각 접평면이 양의 플래그 곡률을 가진 플래그 막대를 포함하는 페인러 공간에 대한 플래그-방향으로 양의 곡률(FP) 조건을 도입한다. 칼링 항법 기법을 사용하여, 허미션 대칭 공간 위의 $S^1$-_bundle와 같은 컴팩트 코셋 공간 위에서 비음성 곡률을 가진 동차 레인더스 계량을 구축하며, 루트 체계 기반 기준을 통해 대부분의 경우가 양의 곡률을 가진 동차 페인러 공간 계량을 가질 수 없음을 증명한다. 또한 $S^3 \times \mathbb{R}$ 위에서 비콤팩트 플래그-방향으로 양의 곡률을 가진 페인러 공간 계량의 첫 번째 예를 제공하며, 허프 추측에 대한 통찰을 제공한다.

ABSTRACT

In this paper, we introduce the flag-wise positively curved condition for Finsler spaces (the (FP) Condition), which means that in each tangent plane, we can find a flag pole in this plane such that the corresponding flag has positive flag curvature. Applying the Killing navigation technique, we find a list of compact coset spaces admitting non-negatively curved homogeneous Finsler metrics satisfying the (FP) Condition. Using a crucial technique we developed previously, we prove that most of these coset spaces cannot be endowed with positively curved homogeneous Finsler metrics. We also prove that any Lie group whose Lie algebra is a rank $2$ non-Abelian compact Lie algebra admits a left invariant Finsler metric satisfying the (FP) condition. As by-products, we find the first example of non-compact coset space $S^3 imes \mathbb{R}$ which admits homogeneous flag-wise positively curved Finsler metrics. Moreover, we find some non-negatively curved Finsler metrics on $S^2 imes S^3$ and $S^6 imes S^7$ which satisfy the (FP) condition, as well as some flag-wise positively curved Finsler metrics on $S^3 imes S^3$, shedding some light on the long standing general Hopf conjecture.

연구 동기 및 목표

• 페인러 기하학에서 각 접평면이 양의 플래그 곡률을 가진 플래그 막대를 포함하는 플래그-방향으로 양의 곡률(FP) 조건을 도입하고 체계화한다.
• 특히 컴팩트 타입의 허미션 대칭 공간 위의 $S^1$-_bundle인 컴팩트 코셋 공간 위에서 FP 조건을 만족하는 비음성 곡률을 가진 동차 페인러 공간 계량을 구축한다.
• 루트 체계 기반 기준을 사용하여, 이들 구축된 공간 중 대부분이 양의 곡률을 가진 동차 페인러 공간 계량을 가질 수 없음을 증명한다.
• 비콤팩트 코셋 공간인 ($S^3 \times \mathbb{R}$)에서 동차 플래그-방향으로 양의 곡률을 가진 페인러 공간 계량을 가진 첫 번째 예를 제공한다.
• 구의 곱인 $S^2 \times S^3$, $S^6 \times S^7$, $S^3 \times S^3$ 위에서 새로운 예를 통해 오랜 기간 동안 미해결인 일반 허프 추측에 대한 영향을 탐색한다.

제안 방법

• 플래그 곡률이 양수인 플래그 막대가 존재하는 조건을 요구하는, 양의 플래그 곡률의 일반화로 플래그-방향으로 양의 곡률(FP) 조건을 도입한다.
• 칼링 항법 기법을 적용하여, 리만 정규 동차 계량과 불변 칼링 벡터장으로부터 코셋 공간 $G/(T^{k-1} \cdot H)$ 위에서 $G$-동차 레인더스 계량을 구축한다.
• 카르탕 부분대와 루트 평면에서 특정 선형 독립 루트 쌍이 수직성과 포함 조건을 만족하지 않는다는 사실에 기반한 핵심적인 루트 체계 기준(정리 1.4)을 활용한다.
• 접공간 위에서 고정 표현 $\mathrm{Ad}(g)$ 의 작용을 사용하여 $F$-내적의 구조를 분석하며, 비정수 각도의 회전이 $F$-내적의 교차항을 제거함을 보인다.
• 레마 5.3과 $\mathrm{Ad}(H')$-불변성 조건을 활용하여, 특정 루트 평면에서 플래그 막대 방향으로 $F$-노름이 일정함을 보이고, 양의 곡률을 가정할 경우 모순이 발생함을 밝힌다.
• 리 대수 유형($A_1$, $A_n$, $B_n$ 등)과 루트 벡터의 상대적 스케일링에 따라 경우를 분석하여, 양의 곡률을 가진 계량을 가질 수 있는 코셋 공간을 분류한다.

실험 결과

연구 질문

• RQ1 비음성 곡률을 가진 동차 페인러 공간 계량을 가진 컴팩트 코셋 공간에서, 양의 곡률을 가진 리만 계량을 가질 수 없는 경우에 대해 FP 조건을 만족하는 계량을 구축할 수 있는가?
• RQ2 어떤 컴팩트 코셋 공간이 양의 곡률을 가진 동차 페인러 공간 계량을 가질 수 있으며, 어떤 루트 체계의 장벽이 이를 방지하는가?
• RQ3 플래그-방향으로 양의 곡률 조건은 비콤팩트 동차 페인러 공간에서 새로운 양의 플래그 곡률 예를 가능하게 하는가?
• RQ4 구의 곱 위에서 새로운 플래그-방향으로 양의 곡률을 가진 페인러 공간 계량의 구축을 통해 허프 추측에 접근할 수 있는가?
• RQ5 $S^3 \times \mathbb{R}$의 경우 비콤팩트성에도 불구하고, (FP) 조건을 만족하는 동차 페인러 공간 계량이 존재하는가?

주요 결과

• 논문은 컴팩트 비가역 허미션 대칭 공간 위의 $S^1$-bundle, 즉 $\mathrm{SU}(p+q)/\mathrm{SU}(p)\mathrm{SU}(q)$ ($p \geq q > 1$), $\mathrm{SO}(n)/\mathrm{SO}(n-2)$ ($n > 4$), $\mathrm{Sp}(n)/\mathrm{SU}(n)$ ($n > 1$), $\mathrm{SO}(2n)/\mathrm{SU}(n)$ ($n > 2$), $\mathrm{E}_6/\mathrm{SO}(10)$, $\mathrm{E}_7/\mathrm{E}_6$ 등에 대해 비음성 곡률을 가진 동차 레인더스 계량을 FP 조건을 만족하도록 구축한다.
• 이들 대부분의 경우, 특히 컴팩트 타입의 허미션 대칭 공간 위의 모든 $S^1$-bundle(구를 제외하고)는 정리 1.4의 기준을 위반하는 루트 쌍이 존재하므로 양의 곡률을 가진 동차 페인러 공간 계량을 가질 수 없음을 증명한다.
• 비콤팩트 코셋 공간인 $S^3 \times \mathbb{R}$에서 동차 플래그-방향으로 양의 곡률을 가진 페인러 공간 계량이 존재함을 보이며, 기존의 컴팩트 공간에 국한된 예의 범위를 확장한다.
• 논문은 $S^2 \times S^3$, $S^6 \times S^7$, $S^3 \times S^3$ 위에서 비음성 곡률을 가진 페인러 계량을 FP 조건을 만족하도록 제공하며, 일반 허프 추측을 검증할 수 있는 새로운 길을 열어 놓는다.
• $\mathrm{SU}(2) \times \mathrm{SU}(2)/S^1$의 경우, 레마 6.1에 의해 비공진 조건 하에서 스케일링 매개변수 $c_1, c_2$의 유한한 선택지만이 양의 곡률을 가진 동차 페인러 공간 계량의 가능성을 남긴다.
• 비정수 각도의 회전에 대한 $\mathrm{Ad}(g)$-불변성과 평균화 기법을 사용한 증명 기법은 $F$-내적의 교차항이 사라짐을 보이며, 양의 곡률을 가정할 경우 이는 모순을 초래한다.