[논문 리뷰] On A Class of Finsler Metrics of Einstein-Reversibility

Guojun Yang|arXiv (Cornell University)|2013. 10. 13.

Advanced Differential Geometry Research참고 문헌 7인용 수 4

한 줄 요약

이 논문은 편미분기하학에서 아인슈타인-역가능성의 개념을 도입하며, $p$-거듭제곱 $(\alpha,\beta)$-계량이 아인슈타인-역가능한 경우와 아인슈타인 계량인 경우가 정확히 일치함을 증명한다. 란더스($p=1$), 제곱($p=2$), 2차원 제곱근($p=1/2$) 계량을 제외한 모든 이러한 계량은 리치-평행이다. 2차원 제곱근 계량이 아인슈타인인 경우, 국소적 구조는 스칼라 함수 $u$, $v$, $B$를 포함한 PDE 시스템에 의해 거의 완전히 결정되며, 플래그 곡률은 명시적으로 표현된다.

ABSTRACT

In this paper, we introduce the notion of Einstein-reversibility for Finsler met- rics. We study a class of p-power Finsler metrics determined by a Riemann metric and 1-form which are of Einstein-reversibility. It shows that such a class of Finsler metrics of Einstein-reversibility are always Einstein metrics. In particular, we show that all p-power metrics but Randers metrics, square metrics and 2-dimensional square-root metrics, are always Ricci-flat-parallel. Further, the local structure is almost determined for 2-dimensional square-root metrics which are Einsteinian (equivalently, of isotropic flag curvature), and examples show such metrics are not necessarily Ricci-flat.

연구 동기 및 목표

• 편미분기하학에서 아인슈타인-역가능성의 성질을 정의하고 연구하며, 아인슈타인 스칼라 $\lambda(x,y)$ 가 $\lambda(x,y) = \lambda(x,-y)$ 를 만족함을 조건으로 한다.
• 형태 $F = \alpha(1 + \beta/\alpha)^p$ 를 갖는 $p$-거듭제곱 $(\alpha,\beta)$-계량의 아인슈타인-역가능성과 그 기하학적 의미를 조사한다.
• 2차원 제곱근 계량($p=1/2$)이 아인슈타인인 경우의 국소적 구조를 규명한다. 즉, 플래그 곡률이 등방성인 경우를 의미한다.
• 이러한 계량이 리치-평행인 조건을 규명하고, $\beta$ 가 닫혀 있거나 평행일 경우의 역할을 명확히 한다.

제안 방법

• 아인슈타인-역가능성의 개념을 스칼라 $\lambda(x,y)$ 를 통해 도입하며, 이는 $Ric(x,y) = (n-1)\lambda(x,y)F^2$ 로 정의되며, $\lambda(x,y) = \lambda(x,-y)$ 를 요구한다.
• $\alpha$ 가 리만계량이고 $\beta$ 가 1형식인 경우, $p \neq 0$ 인 $p$-거듭제곱 $(\alpha,\beta)$-계량 $F = \alpha(1 + \beta/\alpha)^p$ 를 분석한다.
• 아인슈타인-역가능성 조건을 이용해 $\alpha$ 와 $\beta$ 의 구조를 결정하는 미분방정식을 유도하며, 특히 $p=1,2,1/2$ 의 경우에 초점을 맞춘다.
• 킬링 형식 이론과 복소해석함수 이론을 적용하여 2차원에서 $\widetilde{\beta}$ 와 $\alpha$ 를 매개변수화하고 문제를 PDE 시스템으로 축소시킨다.
• 통합 조건 $\sigma_{12} = \sigma_{21}$ 을 사용하여 플래그 곡률 $\mathbf{K}$ 를 $B = \|\beta\|_\alpha^2$, $u$, $v$, $\sigma$ 의 함수로 명시적으로 유도한다.
• 유도된 PDE 제약 조건 하에 대입하여 곡률 방정식에 대해 확인함으로써 아인슈타인 조건이 성립함을 보이며, 결과적으로 식이 항등적으로 0이 됨을 보인다.

실험 결과

연구 질문

• RQ1 어떤 $p$-거듭제곱 $(\alpha,\beta)$-계량이 아인슈타인-역가능한가? 이는 아인슈타인 계량과 어떻게 관련이 있는가?
• RQ2 어떤 $p$ 값에 대해 $p$-거듭제곱 $(\alpha,\beta)$-계량이 리치-평행인가? $\beta$ 가 닫혀 있거나 평행한 것이 어떤 역할을 하는가?
• RQ3 2차원 제곱근 계량($p=1/2$)이 아인슈타인인 경우의 국소적 구조는 무엇이며, 어떻게 매개변수화할 수 있는가?
• RQ4 이러한 2차원 계량의 플래그 곡률은 함수 $u$, $v$, $B$ 에 어떻게 의존하는가?
• RQ5 아인슈타인 스칼라 $\lambda(x,y)$ 가 역가능한 조건은 무엇이며, 이는 리치 또는 지오데식적 역가능성과 어떻게 다른가?

주요 결과

• $p$-거듭제곱 $(\alpha,\beta)$-계량이 아인슈타인-역가능한 것은 정확히 아인슈타인 계량일 때에만 성립하며, 이 클래스에 대해 강력한 동치관계를 확립한다.
• $p=1$ (란더스), $p=2$ (제곱), 2차원에서 $p=1/2$ (제곱근) 를 제외한 모든 $p$-거듭제곱 계량은 리치-평행이며, 이는 $\alpha$ 가 리치-평평하고 $\beta$ 가 $\alpha$ 에 대해 평행함을 의미한다.
• 2차원 제곱근 계량이 아인슈타인인 경우, 국소적 구조는 스칼라 함수 $u(x), v(x), B(x)$ 가 만족하는 조건 $u_1 = v_2$, $u_2 = -v_1$, $uB_1 + vB_2 = 0$ 에 의해 거의 완전히 결정되며, $\alpha$ 와 $\beta$ 는 $B, u, v$ 를 통해 표현된다.
• 이러한 2차원 계량의 플래그 곡률 $\mathbf{K}$ 는 $\mathbf{K} = \frac{(B-4)^2 (uB_2 - vB_1)^2}{64B\sqrt{1-B}}$ 로 주어지며, $B$ 와 함수 $u,v$ 의 도함수에 명시적인 의존성을 보인다.
• 아인슈타인 스칼라 $\lambda(x,y)$ 가 역가능한 것은 정확히 $\lambda(x,y) = \lambda(x,-y)$ 일 때이며, 이 조건은 $p$-거듭제곱 클래스에서 계량이 아인슈타인임과 동치이다.
• PDE 시스템 (3) 하에 국소적 매개변수화 $\alpha = \frac{\sqrt{B}}{(1-B)^{3/4}} \frac{\sqrt{(y^1)^2 + (y^2)^2}}{\sqrt{u^2 + v^2}}$, $\beta = \frac{B}{(1-B)^{3/4}} \frac{uy^1 + vy^2}{u^2 + v^2}$ 가 성립하며, 플래그 곡률은 등방성이다.