|
数学の一分野の微分幾何学において、フロベニウス多様体(Frobenius manifold)は、接空間上のある整合性を持つ乗法構造を持つ平坦リーマン多様体である。考え方はフロベニウス代数から接バンドルへ一般化される。フロベニウス多様体はドブロヴィン(Dubrovin)により導入された〔B. Dubrovin: ''Geometry of 2D topological field theories.'' In: Springer LNM, 1620 (1996), pp. 120–348.〕。 フロベニウス多様体は、自然にシンプレクティックトポロジー、さらに詳しくは、量子コホモロジーの問題の中で自然に発生する。最も広い定義は、リーマン(supermanifold)の圏で定義される。ここでの議論は、滑らかな(実)多様体に限ることする。複素多様体に限ることも可能である。 == 定義 == M を滑らかな多様体とし、M 上のアフィン平坦構造とは、切断が 0 となる接バンドルと接ブラケットのペアによりはられるベクトル空間 TM の層 Tf であることとする。 局所的な例として M のチャート上の座標ベクトル場を考えると、チャートの被覆族にたいするそのようなベクトル場を貼り合せることが可能であれば、多様体はアフィン平坦構造を持つ。 さらに M 上にリーマン計量を与えると、すべての X と Y のベクトル場に対して g(X, Y) が局所的に平坦であれば、計量は平坦構造と整合性を持つ。 リーマン多様体がアフィン平坦構造と整合性を持つことと、曲率テンソルがどこでも 0 であることとは同値である。 TM 上の可換積 * の族は、 : と通した S2(T *M) ⊗ TM の切断 A と同値である。 さらに、性質 : を要求する。このことは合成 g#∘ A が対称 3-テンソルであることを意味する。特に、定数の積を持つ線型フロベニウス多様体 (M, g, *) はフロベニウス代数であることを意味する。 (g, Tf, A) が与えられると、局所ポテンシャル Φ は局所滑らかな函数で、すべてのベクトル場 X, Y, と Z に対し、 : を満たす。 現在は、フロベニウス多様体 (M, g, *) は、いたるところで局所ポテンシャルを持ち、結合的である対称 3-テンソルを持つ平坦リーマン多様体 (M, g) である。
|