ダルブーの定理 (微分幾何学)

微分幾何学におけるダルブーの定理 (Darboux's theorem) は、微分形式に特に関係している定理で、部分的にはの一般化となっている。この定理はいくつかの分野の基本的結果であり、特にシンプレクティック幾何学で重要である。定理は、ジャン・ダルブー(Jean Gaston Darboux)  にちなんでいて、彼はこの定理をの問題の解として導出した。

この定理の多くの結果のうちの一つは、任意の 2つの同一次元のシンプレクティック多様体は、互いに局所シンプレクティック同相である。すなわち、全ての  次元のシンプレクティック多様体は、局所的には標準のシンプレクティック形式を持つシンプレクティックベクトル空間  とみなすことができる。また、この定理の結果の類似として(contact geometry)へ応用されるものもある。

最初の結果と結果の記述
この定理の、詳細な記述は次のようになる。 を  次元多様体の微分 1-形式とし、 が一定のランク  を持つと仮定する。上で常に
 
が成り立てば、局所座標系  が存在し、
 
となる。他方、上で常に
 
が成り立てば、局所座標系  が存在し、
 
となる。

特に、 を  次元多様体  上のシンプレクティック 2-形式とすると、ポアンカレの補題により、それぞれの  の点  の近傍で、 となる 1-形式  が存在する。さらに、 は上で述べたダルブーの定理の前提のうち１つ目を満たし、 の近傍に局所座標系(chart)  が存在し、その中で、
 
が成り立つ。外微分をとると、
 
となる。局所座標  を  の近傍のダルブー座標(Darboux chart)と呼ぶ。 多様体  はそのような局所座標により被覆される。

別の言い方をするために、 と  を  により同一視する。 がダルブー座標であれば、 は  上の標準シンプレクティック形式  の(pullback)

となる.

リーマン幾何学との比較
この結果は、シンプレクティック幾何学には局所不変量がないことを意味する。(Darboux basis)は与えられた任意の点の近傍で取ることができる。このことは、リーマン曲率が局所不変であることによって、計量を局所的に  の二乗の和として書くことへの障害となっているリーマン幾何学の状況とは、極めて対照的である。

この差異は、ダルブーの定理では  の近傍の内部全体で  を標準的な形で書くことができるのに対し、リーマン幾何学では、与えられた任意の点で標準的な形に取ることはできるが、それが点の近傍ではいつも成立するとは限らないことから来ている。

関連項目

(Carathéodory-Jacobi-Lie theorem)は、この定理の一般化である。
(Symplectic basis)

脚注

参考文献

外部リンク
 
 G. Darboux, "On the Pfaff Problem," transl. by D. H. Delphenich
 G. Darboux, "On the Pfaff Problem (cont.)," transl. by D. H. Delphenich

微分方程式
シンプレクティック幾何学
微分幾何学の座標系
微分幾何学の定理
数理物理学
ジャン・ガストン・ダルブー
数学に関する記事