[論文レビュー] On dually flat general $(\alpha,\beta)$-metrics

Changtao Yu|arXiv (Cornell University)|Dec 31, 2013

Advanced Differential Geometry Research参考文献 6被引用数 3

ひとこと要約

本稿では、リーマン計量 α が局所的に双対平坦であり、1次形式 β が α に対して双対関係にあるという条件下で、一般の $(\alpha,\beta)$-計量の双対平坦性を特徴付けるための偏微分方程式（PDE）を導出することにより、関数 $\phi(b^2, s)$ が満たすべき条件を確立している。主な貢献は、双対平坦性の必要十分条件を $\phi$ の観点から与えることであり、これにより新規の変形技術を用いた非自明な具体例の構成が可能になった。

ABSTRACT

In this work, the dual flatness, which is connected with Statistics and Information geometry, of general $(\\alpha,\\beta)$-metrics (a new class of Finsler metrics) is studied. A nice characterization for such metrics to be dually flat under some suitable conditions is provided and all the solutions are completely determined. By using an original kind of metrical deformations, many non-trivial explicit examples are constructed. Moreover, the relationship of dual flatness and projective flatness of such metrics is shown.

研究の動機と目的

• α が局所的に双対平坦であり、β が α に対して双対関係にあるという仮定の下で、双対平坦な一般の $(\alpha,\beta)$-計量を特徴付けること。
• 計量を定義する関数 $\phi(b^2, s)$ を含む PDE を用いた双対平坦性の必要十分条件を提示すること。
• 新しい変形技術を用いて、双対平坦な一般の $(\alpha,\beta)$-計量の非自明な具体例を構成すること。
• 一般の $(\alpha,\beta)$-計量における双対平坦性と射影平坦性の関係を明確にすること。

提案手法

• 双対平坦性のための PDE 条件 (1.5)：$\phi_2^2 + \phi\phi_{22} + 2s\phi_1\phi_2 + 2s\phi\phi_{12} - 4\phi\phi_1 = 0$ を、α と β が (1.4) の双対性条件を満たすものとして、F = \alpha\phi(b^2, \beta/\alpha) の双対平坦性について導出する。
• f(t) および g(t) の特定のアンサッツを用いて、φ に関する PDE を解くことで、変形技術を用いて新しい具体例を構成する。
• PDE の解構造を応用し、射影平坦性方程式 (6.1) を満たす関数 $\check{\phi}$ から φ を回復することで、双対平坦性と射影平坦性の関係を確立する。
• φ の関数が正値かつ滑らかであることを確認することで、構成された φ が有効なフィン슬計量を定めるかを検証する。特に g(b^2) > 0 を要請することでその保証を得る。
• α のヘッセ構造と β の双対関係を用いて、対応するリーマン計量と1次形式が必要な幾何的制約を満たしていることを保証する。
• PDE (1.5) が φ について双対平坦性を表すのと、PDE (6.1) が $\check{\phi} = (\phi^2)_2$ について射影平坦性を表すことが等価であることを示すことにより、双対平坦性と射影平坦性の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 α が局所的に双対平坦であり、β が α に対して双対関係にあるとき、一般の $(\alpha,\beta)$-計量 $F = \alpha\phi(b^2, \beta/\alpha)$ が双対平坦であるための条件は何か？
• RQ2 計量 F が双対平坦であるためには、関数 $\phi(b^2, s)$ がどのような PDE を満たすべきか？
• RQ3 変形技術を用いて、双対平坦な一般の $(\alpha,\beta)$-計量の非自明な具体例をどのように構成できるか？
• RQ4 一般の $(\alpha,\beta)$-計量のクラスにおいて、双対平坦性と射影平坦性の関係は何か？
• RQ5 双対平坦なリーマン計量と双対関係にある1次形式の変形によって、双対平坦な一般の $(\alpha,\beta)$-計量のクラスを完全に特徴づけられるか？

主な発見

• 一般の $(\alpha,\beta)$-計量 $F = \alpha\phi(b^2, \beta/\alpha)$ が双対平坦であるための必要十分条件は、関数 φ が次の PDE を満たすことである：$\phi_2^2 + \phi\phi_{22} + 2s\phi_1\phi_2 + 2s\phi\phi_{12} - 4\phi\phi_1 = 0$。ここで $\phi_1$ および $\phi_2$ はそれぞれ $b^2$ および $s = \beta/\alpha$ に関する偏微分を表す。
• 特定の関数 $f(t)$ および $g(t)$ を選ぶことで、双対平坦な一般の $(\alpha,\beta)$-計量の具体例を構成する。例えば $\phi(b^2,s) = \sqrt{g(b^2) + 2g'(b^2)s^2}$ とすると、g が正であればリーマン計量が得られる。
• φ(b^2,s) = \frac{\sqrt{1 - b^2 + s^2} + s}{1 - b^2} のとき、計量はランダース計量に簡約され、与えられた条件下でランダース計量が双対平坦な一般の $(\alpha,\beta)$-計量のクラスに含まれることが示された。
• 双対平坦性の PDE (1.5) は、$\check{\phi} = (\phi^2)_2$ のとき、射影平坦性の PDE (6.1) と等価であることが示され、このクラスにおける双対平坦性と射影平坦性の直接的な関連が確立された。
• PDE の解構造により、g(b^2)、f(t)、および積分を用いた一般のパrametrization が可能となり、新たな双対平坦フィンスラ計量の体系的構成が可能になった。
• φ(b^2,s) = (\sqrt{1+b^2} + s)^{3/2} のとき、スケーリング後にベルワルド型計量が得られるため、一部の双対平坦な一般の $(\alpha,\beta)$-計量が同時にベルワルド計量であることが示された。