ダルブー導関数
ダルブー導関数[注 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の定義域が区間の場合は、「微分積分学の基本定理」が成り立つ:
定理 ― ωを区間上の-値1-形式とし、gをGの元とする。このとき、関数で
- 、
を満たすものが一意に存在する[6]。
上記の定理を多様体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]。
定理の記述
モノドロミーを用いると、ωをダルブー導関数に持つ関数が存在する必要十分条件を特徴づける事ができる:
定理 (微分積分学の基本定理(英: Fundamental theorem of calculus[7])) ― Gをリー群とし、をGのリー代数とし、Mを多様体とし、ωをM上の-値1-形式とする。このとき、ダルブー導関数がωと一致する関数が存在する必要十分条件は、以下の2条件が成立する事である[7]:
- モノドロミー群は単位元のみからなる群である。
定理 (解の実質的な一意性) ― 記号を上の定理と同様に取る。このとき、ダルブー導関数がωと一致する関数2つが存在すれば、それらの関数f1、f2は、あるが存在して
を満たす[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。