[論文レビュー] Metrisability of three-dimensional projective structures

Michael Eastwood|arXiv (Cornell University)|Dec 17, 2017

Algebraic Geometry and Number Theory参考文献 12被引用数 27

ひとこと要約

この論文は、非退化計量のLevi-Civita接続と射影的に同値である torsion-free 接続が存在するための必要十分な局所的条件を導出し、一般の3次元射影構造における計量化問題を解決する。射影的不変テンソル $ Q_{ab}{}^c $ の消滅が主な障害であることが示され、一般性仮定の下で、計量化方程式 $ (\nabla_a \sigma^{bc})_\circ = 0 $ を満たす対称テンソル $ \sigma^{ab} $ に対するさらなる条件が、計量化の完全な特徴づけを可能にし、射影幾何学における長年の問題を解決する。

ABSTRACT

We solve the metrisability problem for generic three-dimensional projective structures.

研究の動機と目的

• 一般の3次元 torsion-free 接続が非退化計量のLevi-Civita接続と射影的に同値であるための必要十分な局所的条件を特定すること。
• 2次元の場合とは根本的に異なる構造を示す3次元における計量化問題を解決すること。
• 一般性仮定の下で、主な $ Q_{ab}{}^c $ の消滅条件を超える高次障害を同定・分析すること。
• 計量化方程式 $ (\nabla_a \sigma^{bc})_\circ = 0 $ の解空間が線形独立性と定数係数によって支配されることを確立し、完全な特徴づけを可能にすること。

提案手法

• 論文は、対称テンソル $ \sigma^{bc} $ の共変微分のトレースフリー部分が消える必要がある計量化方程式 $ (\nabla_a \sigma^{bc})_\circ = 0 $ を用いる。
• 射影的不変なWeylテンソル $ V^{ab}{}_c $ を用い、$ 2\epsilon^{de(a}\nabla_d\nabla_e X^{b)} = V^{ab}{}_c X^c $ で定義することで、主な障害 $ Q_{ab}{}^c = \epsilon_{pq(a} V^{pr}{}_{b)} V^{qc}{}_r $ を導出する。
• 計量化方程式の解空間は、対称行列上の線形代数を用いて分析され、解が点で線形独立である場合、その線形結合は定数係数を持つ必要があるという重要な補題が示される。
• 論文は、対称行列のペンシル $ \{sN + tH\} $ を導入し、3次多項式 $ \chi(s,t) = \det(sH^{-1}N + t\,{\rm Id}) $ の判別式を用いてその正則性を分析し、正則性の下でそのペンシルの標準形を確立する。
• 射影構造の下での対称2次テンソル空間の既約成分を分類するために、$ \mathrm{SL}(3,\mathbb{R}) $ の最高重量理論と表現論を用いる。
• 正則ペンシルに対して、滑らかな標準形 $ (N, \xi, H) $ が構成され、$ N\xi = 0 $ および $ \mathrm{trace}(H^{-1}N) = 0 $ を満たす。これにより、解空間の均一な取り扱いが可能になる。

実験結果

リサーチクエスチョン

• RQ1 一般の3次元射影構造が計量化可能である、すなわち与えられた接続の測地線が非パラメータ化曲線として一致する計量をもつための必要十分な局所的条件は何か？
• RQ2 $ Q_{ab}{}^c $ の消滅条件を超える高次障害は計量化問題にどのように寄与するか？一般性仮定の下でこれらを完全に特徴づけられるか？
• RQ3 計量化方程式 $ (\nabla_a \sigma^{bc})_\circ = 0 $ の解空間の構造は何か？非退化性の制約の下で、解の線形結合はどのように振る舞うか？
• RQ4 対称行列のペンシル $ \{sN + tH\} $ を滑らかに正規化し、$ \mathrm{trace}(H^{-1}N) = 0 $ を満たすことは可能か？これは計量化条件にどのような意味を持つのか？

主な発見

• 射影的不変テンソル $ Q_{ab}{}^c $ の消滅は、3次元における計量化の主な障害であり、一般条件下では必要であるが十分ではない。
• 一般性仮定の下で、計量化問題は、非退化対称テンソル $ \sigma^{ab} $ が $ (\nabla_a \sigma^{bc})_\circ = 0 $ を満たすことがあり、かつ解空間が線形独立性と定数係数によって制約される場合に限り完全に解ける。
• 計量化方程式の解空間は高々2次元であり、任意の2つの線形独立な解の線形結合は、補題2により定数係数を持つ必要がある。
• 正則ペンシル $ \{sN + tH\} $ に対して、$ N\xi = 0 $ および $ \mathrm{trace}(H^{-1}N) = 0 $ を満たす滑らかな標準形 $ (N, \xi, H) $ が存在し、これは一意的かつペンシルに滑らかに依存する。
• 3次多項式 $ \chi(s,t) = \det(sH^{-1}N + t\,{\rm Id}) $ が $ \mathbb{CP}^1 $ に3つの異なる根を持つのは、ペンシルが正則であるときであり、かつその正則性は非退化な $ H $ の選び方に依存しない。
• 不定型の場合、$ H $ と $ N $ の標準形は4つの互いに排他的な型に分類され、それぞれに対して明示的な表現が与えられる。