ダルブー導関数
ダルブー導関数[注 1](英: Darboux derivative)とは、リー群に値を取る関数に対する導関数概念であり、(意味のある)「微分積分学の基本定理」の概念を定式化できる。
以下本項では特に断りがない限り、単に「関数」、「多様体」等といった場合はすべてC∞級のものをあらわすとする。
動機 編集
文献[1]を参考にダルブー導関数を定義する動機を述べる。実数体上の関数 の導関数 はfそれ自身と同じく から への関数なので、 からfを求める問題、すなわち
与えられた関数 に対し、 となる関数 を求めよ
という問題は意味を持ち、微分積分学の基本定理を使って解を求める事ができる。
それに対し、多様体から多様体への写像 に対し、導関数 からfを求める問題は自明なものになってしまう。
なぜなら の定義式の中にfそれ自身の情報が「埋め込まれて」おり、接ベクトル の による像 は の元であるので、 がどの点の接ベクトルなのかを調べる事でPの像 が再現できてしまうからである。
実数体上の関数 に対してこの問題が意味を持つのは によるvPの像 を原点 まで移動したものを導関数 としているので、fそれ自身の情報が消し去られているからである。
ダルブー導関数は、fの値域がリー群である場合に、実数体の場合と同様 の像を単位元 まで移動する事で、 に埋め込まれているfの情報を消し去った導関数概念である。すなわち、
を多様体Mからリー群Gへの写像とするとき、fの導関数 による像にGの元をかける事で の像が単位元eにおける接ベクトル空間 (これはGのリー代数 に等しい)に移動したものを
と書き、fのダルブー導関数と呼ぶ。ダルブー導関数では を に移動する事でfの情報を消し去っているので、
与えられた に対し、 となる関数 を求めよ
という問題は非自明である。Mとωが十分性質がよければ上記の問題は解を持つ事が知られており、これはダルブー導関数に対する「微分積分学の基本定理」であると解釈できる。
準備 編集
ダルブー導関数について述べるための準備として、モーレー・カルタン形式を導入する。
定義 (モーレー・カルタン形式) ― Gをリー群とし、 をそのリー代数とするとき、Gの各点gに対しG上の 値1-形式 を
により定義し、ωGgをGのgにおけるモーレー・カルタン形式という。
ここで は群の左作用 が誘導する写像である。
モーレー・カルタン形式は以下を満たす[2]:
定理 ―
ここで は 上のリー括弧であり、 -値1-形式α、βに対し、 である。
上記の2式のうち下のものをモーレー・カルタンの方程式[3](英: Maurer-Cartan equation)、もしくはリー群Gの構造方程式[4](英: structure equation)という。
定義 編集
本節ではダルブー導関数を具体的に定式化する。
すでに述べたように のダルブー導関数とは、 の像を群の元をかけることで まで移動したものである。具体的には 、 に対し、 は の元なので、 を左からかける演算 の導関数 を作用させた
がfのダルブー導関数である。この事実とモーレー・カルタン形式の定義を照らし合わせる事で、ダルブー導関数を以下のように定式化できる事がわかる:
モーレー・カルタン形式が構造方程式を満たすことから、以下が成立する事がわかる:
定理 ― ダルブー導関数は以下を満たす[5]:
微分積分学の基本定理 編集
本節の目標はωをダルブー導関数に持つ関数が存在する条件を記述する事である。
そのための準備として、まず「発展」という概念と「モノドロミー」という概念を定義する。
発展 編集
fの定義域が区間 の場合は、「微分積分学の基本定理」が成り立つ:
上記の定理を多様体M上の曲線に対して用いる事で以下の定義が得られる:
定理・定義 (曲線の発展) ― ωを多様体M上の -値1-形式とし、 をM上の曲線とし、gをGの元とし、 をωのcによる への引き戻しとする。このとき、 で
- 、
を満たすものが存在する。 をgからのcに沿ったωの発展(英: development of ω along c starting at g)という[6]。
モノドロミー 編集
ωが構造方程式を満たせば、発展の終点はホモトピー不変である:
定理 ― ωを多様体M上の -値1-形式で
を満たすものとする。さらに をM上の2つの曲線でc0の始点、終点がそれぞれc1の始点、終点に一致するものとし、さらにgを元Gの元とする。
このとき、c0とc1が(始点と終点を固定した)ホモトープであれば、c0のgからの発展 の終点とc1のgからの発展 の終点は等しい[7]。
よってMの点P0におけるMの基本群 を考えると、 にcの発展 の終点 を対応させる写像は代表元cの取り方によらずwell-definedである。
定理・定義 (モノドロミー) ― 記号を上述のように取るとき、写像
- 単位元eからの の発展 の終点)
は準同型になる。 をωのモノドロミー表現(英: monodromy representation)といい、Gの部分群 をモノドロミー群(英: monodromy group)もしくは周期群(英: period group)という[7]。
定理の記述 編集
モノドロミーを用いると、ωをダルブー導関数に持つ関数が存在する必要十分条件を特徴づける事ができる:
脚注 編集
出典 編集
注釈 編集
- ^ ダルブー導関数を説明した日本語の文献が見つからなかったので、本項の専門用語はいずれも本項執筆者が暫定的に訳したものである。
参考文献 編集
- Richard Sharpe (1997/6/12). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. Graduate Texts in Mathematics. 166. Sprinver. ISBN 978-0387947327
- Loring W. Tu (2017/6/15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN 978-3319550824
- 小林昭七『接続の微分幾何とゲージ理論』裳華房、1989年5月15日。ISBN 978-4785310585。