[論文レビュー] On "Regular Landsberg metrics are always Berwald" by Z. I. Szabo

Vladimir S. Matveev|arXiv (Cornell University)|Sep 9, 2008

Advanced Differential Geometry Research参考文献 1被引用数 8

ひとこと要約

この論文は、Z. I. Szabóがすべての正則なランドスバーグFinsler計量がBerwaldであると主張した証明における根本的な欠落を特定している。Szabóは、Finsler計量の2次微分を単位球上で積分して得られるリーマン計量${\bf g}$が、ランドスバーグ計量におけるBerwald平行移動で保存されることを主張しているが、著者は、この保存条件（$g_{(x,y)}$の押し出しによる保存）が一般には満たされないことを示している。したがって証明は不完全であり、長年の『ユニコーン問題』は未解決のままである。

ABSTRACT

A gap in the proof of the finsler "unicorn" conjecture in the paper "Regular Landsberg metrics are always Berwald" by Z. I. Szabo is pointed out

研究の動機と目的

• Z. I. Szabóがすべての十分に滑らかなランドスバーグFinsler計量がBerwaldであると主張する根拠の妥当性を検証すること。
• 各接空間における単位球$\{y_x \mid F(x,y_x) \leq 1\}$上での$g_{(x,y)}$の積分によって定義されるリーマン計量${\bf g}$が、Berwald平行移動で保存されるかどうかを評価すること。
• Fがランドスバーグ計量であるとき、${\bf g}$の保存条件が満たされるかどうかを特定すること。
• 必要な$g_{(x,y)}$の変換性と、ランドスバーグ条件によって実際に示唆される変換性との違いを明確にすること。
• Szabóの証明におけるこの欠落が主張を無効にしているかどうか、あるいは代替的証明または反例の必要があるかどうかを立証すること。

提案手法

• 各接空間$T_xM$における単位球$\{y_x \mid F(x,y_x) \leq 1\}$上で、2次微分$g_{(x,y)}$を積分することにより、底多様体$M$上のリーマン計量${\bf g}_{(x)}$を定義する。
• 体積形式$d\mu_{(x,y_x)} = \sqrt{\det g_{(x,y_x)}} \, dy_x^1 \wedge \cdots \wedge dy_x^n$を用いて積分測度を構成する。
• 曲線$c(t)$に 沿ったBerwald平行移動$\phi$における$g_{(x,y)}$および$d\mu$の振る舞い、特にその変換性を分析する。
• ${\bf g}$-保存のための必要条件$g_{(a,y_a)}(\xi,\eta) = g_{(b,\phi(y_a))}(d_\nu\phi(\xi), d_\nu\phi(\eta))$と、ランドスバーグ条件$g_{(a,y_a)}(\xi,\eta) = g_{(b,\phi(y_a))}(d_{y_a}\phi(\xi), d_{y_a}\phi(\eta))$を比較する。
• ランドスバーグ条件は$y_a = \nu$でのみ等価性を保証するが、すべての$y_a$に対しては成立しないことから、${\bf g}$の保存が主張できないことを示す。
• 結論として、[2]の定理3.1の証明は、この正当化が欠落しているため不完全である。

実験結果

リサーチクエスチョン

• RQ1 ランドスバーグFinsler計量に対して、各接空間における単位球上で$g_{(x,y)}$を積分して得られるリーマン計量${\bf g}$が、Berwald平行移動で保存されるか。
• RQ2 ランドスバーグ条件のもとで、すべての$y_a$における変換性$g_{(a,y_a)}(\xi,\eta) = g_{(b,\phi(y_a))}(d_\nu\phi(\xi), d_\nu\phi(\eta))$が満たされるか。
• RQ3 ランドスバーグ条件が、${\bf g}$の積分の保存を保証するように$g_{(x,y)}$が正しく平行移動される変換性を示唆するか。
• RQ4 ${\bf g}$-不変性に必要な変換性と、$g_{(x,y)}$の実際の変換性との間に乖離があるか。もしあるならば、それはSzabóの証明を無効にしているか。
• RQ5 Szabóの証明におけるこの欠落を埋められるか、それとも新たなアプローチまたは反例が必要か、『ユニコーン問題』を解決するには。

主な発見

• Szabóの証明の中心的主張である、Berwald平行移動による${\bf g}$の保存は、ランドスバーグ条件だけでは導けない。
• ランドスバーグ条件は、$y_a = \nu$でのみ$g_{(a,y_a)}(\xi,\eta) = g_{(b,\phi(y_a))}(d_{y_a}\phi(\xi), d_{y_a}\phi(\eta))$が成り立つことを保証する。
• ${\bf g}$-不変性に必要な条件$g_{(a,y_a)}(\xi,\eta) = g_{(b,\phi(y_a))}(d_\nu\phi(\xi), d_\nu\phi(\eta))$は、ランドスバーグ条件から導かれない。一般には成立しない。
• 体積形式$d\mu$と単位球は、ランドスバーグ計量では平行移動で保存されるが、これは${\bf g}$の不変性を保証するには不十分である。
• Szabóの証明における欠落は、基点$\nu$における$g_{(x,y)}$の変換性と、単位球全体における必要とされる挙動を混同していることに起因する。
• その結果、[2]の定理3.1の証明は不完全であり、『ユニコーン問題』—すべての正則なランドスバーグ計量がBerwaldであるか—は未解決のままである。