ダルブー導関数

数学 > 幾何学、群論 > リー群 > ダルブー導関数 数学 > 解析学 > 微分積分学の基本定理 > ダルブー導関数 ダルブー導関数（英: Darboux derivative）とは、リー群に値を取る関数に対する導関数概念であり、（意味のある）「微分積分学の基本定理」の概念を定式化できる。 以下本項では特に断りがない限り、単に「関数」、「多様体」等といった場合はすべてC∞級のものをあらわすとする。 文献を参考にダルブー導関数を定義する動機を述べる。実数体上の関数 f   :   R → R {\displaystyle f~:~\mathbb {R} \to \mathbb {R} } の導関数 f ′ {\displaystyle f'} はfそれ自身と同じく R {\displaystyle \mathbb {R} } から R {\displaystyle \mathbb {R} } への関数なので、 f ′ {\displaystyle f'} からfを求める問題、すなわち 与えられた関数 g   :   R → R {\displaystyle g~:~\mathbb {R} \to \mathbb {R} } に対し、 f ′ = g {\displaystyle f'=g} となる関数 f   :   R → R {\displaystyle f~:~\mathbb {R} \to \mathbb {R} } を求めよ という問題は意味を持ち、微分積分学の基本定理を使って解を求める事ができる。 それに対し、多様体から多様体への写像 f   :   M → N {\displaystyle f~:~M\to N} に対し、導関数 f ∗   :   T M → T N {\displaystyle f_{*}~:~TM\to TN} からfを求める問題は自明なものになってしまう。 なぜなら f ∗ {\displaystyle f_{*}} の定義式の中にfそれ自身の情報が「埋め込まれて」おり、接ベクトル v P ∈ T P M {\displaystyle v_{P}\in T_{P}M} の f ∗ {\displaystyle f_{*}} による像 f ∗ ( v P ) {\displaystyle f_{*}(v_{P})} は T f ( P ) N {\displaystyle T_{f(P)}N} の元であるので、 f ∗ ( v P ) {\displaystyle f_{*}(v_{P})} がどの点の接ベクトルなのかを調べる事でPの像 f ( P ) {\displaystyle f(P)} が再現できてしまうからである。 実数体上の関数 f   :   R → R {\displaystyle f~:~\mathbb {R} \to \mathbb {R} } に対してこの問題が意味を持つのは f ∗   :   T M → T N {\displaystyle f_{*}~:~TM\to TN} によるvPの像 f ∗ ( v P ) {\displaystyle f_{*}(v_{P})} を原点 0 ∈ R {\displaystyle 0\in \mathbb {R} } まで移動したものを導関数 f ′ {\displaystyle f'} としているので、fそれ自身の情報が消し去られているからである。 ダルブー導関数は、fの値域がリー群である場合に、実数体の場合と同様 f ∗ {\displaystyle f_{*}} の像を単位元 e ∈ G {\displaystyle e\in G} まで移動する事で、 f ∗ {\displaystyle f_{*}} に埋め込まれているfの情報を消し去った導関数概念である。すなわち、 f   :   M → G {\displaystyle f~:~M\to G} を多様体Mからリー群Gへの写像とするとき、fの導関数 f ∗   :   T M → T G {\displaystyle f_{*}~:~TM\to TG} による像にGの元をかける事で f ∗ {\displaystyle f_{*}} の像が単位元eにおける接ベクトル空間 T e G {\displaystyle T_{e}G} （これはGのリー代数 g {\displaystyle {\mathfrak {g}}} に等しい）に移動したものを ω f   :   T M → g {\displaystyle \omega _{f}~:~TM\to {\mathfrak {g}}} と書き、fのダルブー導関数と呼ぶ。ダルブー導関数では f ∗ ( v P ) {\displaystyle f_{*}(v_{P})} を g = T e G {\displaystyle {\mathfrak {g}}=T_{e}G} に移動する事でfの情報を消し去っているので、 与えられた ω   :   M → g {\displaystyle \omega ~:~M\to {\mathfrak {g}}} に対し、 ω f = ω {\displaystyle \omega _{f}=\omega } となる関数 f   :   M → G {\displaystyle f~:~M\to G} を求めよ という問題は非自明である。Mとωが十分性質がよければ上記の問題は解を持つ事が知られており、これはダルブー導関数に対する「微分積分学の基本定理」であると解釈できる。 ダルブー導関数について述べるための準備として、モーレー・カルタン形式を導入する。 定義 (モーレー・カルタン形式) ― Gをリー群とし、 g {\displaystyle {\mathfrak {g}}} をそのリー代数とするとき、Gの各点gに対しG上の g {\displaystyle {\mathfrak {g}}} 値1-形式 ω G g {\displaystyle \omega ^{G}{}_{g}} を ω G g   : v ∈   T g G ↦ L g − 1 ∗ ( v ) ∈ g {\displaystyle \omega ^{G}{}_{g}~:v\in ~T_{g}G\mapsto L_{g^{-1}}{}_{*}(v)\in {\mathfrak {g}}} により定義し、ωGgをGのgにおけるモーレー・カルタン形式という。 ここで L g − 1 ∗ {\displaystyle L_{g^{-1}}{}_{*}} は群の左作用 L g − 1   :   h ∈ G     ↦ g − 1 h {\displaystyle L_{g^{-1}}~:~h\in G~~\mapsto g^{-1}h} が誘導する写像である。 モーレー・カルタン形式は以下を満たす： 定理 ― 　 ( R g ) ∗ ω G = A d ( g − 1 ) ω G {\displaystyle (R_{g})^{*}\omega ^{G}=\mathrm {Ad} (g^{-1})\omega ^{G}} d ω G + 1 2 [ ω G , ω G ] = 0 {\displaystyle d\omega ^{G}+{1 \over 2}[\omega ^{G},\omega ^{G}]=0} ここで [ ⋅ , ⋅ ] {\displaystyle [\cdot ,\cdot ]} は g {\displaystyle {\mathfrak {g}}} 上のリー括弧であり、 g {\displaystyle {\mathfrak {g}}} -値1-形式α、βに対し、 [ α , β ] ( X , Y ) := [ α ( X ) , β ( Y ) ] − [ α ( Y ) , β ( X ) ] {\displaystyle [\alpha ,\beta ](X,Y):=[\alpha (X),\beta (Y)]-[\alpha (Y),\beta (X)]} である。 上記の2式のうち下のものをモーレー・カルタンの方程式（英: Maurer-Cartan equation）、もしくはリー群Gの構造方程式（英: structure equation）という。 本節ではダルブー導関数を具体的に定式化する。 すでに述べたように f   :   M → G {\displaystyle f~:~M\to G} のダルブー導関数とは、 f ∗   :   T M → T G {\displaystyle f_{*}~:~TM\to TG} の像を群の元をかけることで g = T e G {\displaystyle {\mathfrak {g}}=T_{e}G} まで移動したものである。具体的には P ∈ M {\displaystyle P\in M} 、 v P ∈ T P M {\displaystyle v_{P}\in T_{P}M} に対し、 f ∗ ( v P ) {\displaystyle f_{*}(v_{P})} は T f ( P ) G {\displaystyle T_{f(P)}G} の元なので、 f ( P ) − 1 {\displaystyle f(P)^{-1}} を左からかける演算 L f ( P ) − 1 {\displaystyle L_{f(P)^{-1}}} の導関数 L f ( P ) − 1 ∗ {\displaystyle L_{f(P)^{-1}}{}_{*}} を作用させた ω f | P := L f ( P ) − 1 ∗ ( f ∗ ( v P ) ) {\displaystyle \omega _{f}|_{P}:=L_{f(P)^{-1}}{}_{*}(f_{*}(v_{P}))} がfのダルブー導関数である。この事実とモーレー・カルタン形式の定義を照らし合わせる事で、ダルブー導関数を以下のように定式化できる事がわかる： 定義 (ダルブー導関数) ―  f   :   M → G {\displaystyle f~:~M\to G} の（左）ダルブー導関数（英: (left) Darboux derivative）とはM上の g {\displaystyle {\mathfrak {g}}} -値1-形式 ω f := f ∗ ( ω G ) {\displaystyle \omega _{f}:=f^{*}(\omega ^{G})} の事である。 モーレー・カルタン形式が構造方程式を満たすことから、以下が成立する事がわかる： 定理 ― ダルブー導関数は以下を満たす： d ω f + 1 2 [ ω f , ω f ] = 0 {\displaystyle d\omega _{f}+{1 \over 2}[\omega _{f},\omega _{f}]=0} 本節の目標はωをダルブー導関数に持つ関数が存在する条件を記述する事である。 そのための準備として、まず「発展」という概念と「モノドロミー」という概念を定義する。 fの定義域が区間 I = [ a , b ] {\displaystyle I=[a,b]} の場合は、「微分積分学の基本定理」が成り立つ： 定理 ― ωを区間 I = [ a , b ] {\displaystyle I=[a,b]} 上の g {\displaystyle {\mathfrak {g}}} -値1-形式とし、gをGの元とする。このとき、関数 f   :   I → G {\displaystyle f~:~I\to G} で ω f = ω {\displaystyle \omega _{f}=\omega } 、 f ( a ) = g {\displaystyle f(a)=g} を満たすものが一意に存在する。 上記の定理を多様体M上の曲線に対して用いる事で以下の定義が得られる： 定理・定義 (曲線の発展) ― ωを多様体M上の g {\displaystyle {\mathfrak {g}}} -値1-形式とし、 c   :   [ a , b ] → M {\displaystyle c~:~[a,b]\to M} をM上の曲線とし、gをGの元とし、 c ∗ ( ω ) {\displaystyle c^{*}(\omega )} をωのcによる [ a , b ] {\displaystyle [a,b]} への引き戻しとする。このとき、 c ~   :   I → G {\displaystyle {\tilde {c}}~:~I\to G} で ω c ~ = c ∗ ( ω ) {\displaystyle \omega _{\tilde {c}}=c^{*}(\omega )} 、 c ~ ( a ) = g {\displaystyle {\tilde {c}}(a)=g} を満たすものが存在する。 c ~ {\displaystyle {\tilde {c}}} をgからのcに沿ったωの発展（英: development of ω along c starting at g）という。 ωが構造方程式を満たせば、発展の終点はホモトピー不変である： 定理 ― ωを多様体M上の g {\displaystyle {\mathfrak {g}}} -値1-形式で d ω + 1 2 [ ω , ω ] = 0 {\displaystyle d\omega +{1 \over 2}[\omega ,\omega ]=0} を満たすものとする。さらに c 0 , c 1   :   [ a , b ] → M {\displaystyle c_{0},c_{1}~:~[a,b]\to M} をM上の2つの曲線でc0の始点、終点がそれぞれc1の始点、終点に一致するものとし、さらにgを元Gの元とする。 このとき、c0とc1が（始点と終点を固定した）ホモトープであれば、c0のgからの発展 c ~ 0   :   I → G {\displaystyle {\tilde {c}}_{0}~:~I\to G} の終点とc1のgからの発展 c ~ 1   :   I → G {\displaystyle {\tilde {c}}_{1}~:~I\to G} の終点は等しい。 よってMの点P0におけるMの基本群 π 1 ( M , P 0 ) {\displaystyle \pi _{1}(M,P_{0})} を考えると、 [ c ] ∈ π 1 ( M , P 0 ) {\displaystyle [c]\in \pi _{1}(M,P_{0})} にcの発展 c ~ {\displaystyle {\tilde {c}}} の終点 ∈ G {\displaystyle \in G} を対応させる写像は代表元cの取り方によらずwell-definedである。 定理・定義 (モノドロミー) ― 記号を上述のように取るとき、写像 Φ ω   :   [ c ] ∈ π 1 ( M , P 0 ) ↦ ( {\displaystyle \Phi _{\omega }~:~[c]\in \pi _{1}(M,P_{0})\mapsto (} 単位元eからの c {\displaystyle c} の発展 c ~ {\displaystyle {\tilde {c}}} の終点) ∈ G {\displaystyle \in G} は準同型になる。 Φ ω {\displaystyle \Phi _{\omega }} をωのモノドロミー表現（英: monodromy representation）といい、Gの部分群 Φ ω ( π 1 ( M , P 0 ) ) ⊂ G {\displaystyle \Phi _{\omega }(\pi _{1}(M,P_{0}))\subset G} をモノドロミー群（英: monodromy group）もしくは周期群（英: period group）という。 モノドロミーを用いると、ωをダルブー導関数に持つ関数が存在する必要十分条件を特徴づける事ができる： 定理 (微分積分学の基本定理（英: Fundamental theorem of calculus）) ― Gをリー群とし、 g {\displaystyle {\mathfrak {g}}} をGのリー代数とし、Mを多様体とし、ωをM上の g {\displaystyle {\mathfrak {g}}} -値1-形式とする。このとき、ダルブー導関数 ω f {\displaystyle \omega _{f}} がωと一致する関数 f   :   M → G {\displaystyle f~:~M\to G} が存在する必要十分条件は、以下の２条件が成立する事である： d ω + 1 2 [ ω , ω ] = 0 {\displaystyle d\omega +{1 \over 2}[\omega ,\omega ]=0} モノドロミー群 Φ ω ( π 1 ( M , P 0 ) ) ⊂ G {\displaystyle \Phi _{\omega }(\pi _{1}(M,P_{0}))\subset G} は単位元のみからなる群 { e } {\displaystyle \{e\}} である。 定理 (解の実質的な一意性) ― 記号を上の定理と同様に取る。このとき、ダルブー導関数 ω f {\displaystyle \omega _{f}} がωと一致する関数2つが存在すれば、それらの関数f1、f2は、ある g ∈ G {\displaystyle g\in G} が存在して ∀ P ∈ M   :   f 1 ( P ) = g f 2 ( P ) {\displaystyle \forall P\in M~:~f_{1}(P)=gf_{2}(P)} を満たす。 ^ #Sharpe p.115. ^ #Tu p.198. ^ “中央大学大学院理工学研究科 数学特別講義第三 微分形式の可積分性”. p. 50. 2023年6月27日閲覧。 ^ #小林 p.59. ^ a b #Sharpe p.115. ^ a b #Sharpe pp.119-120. ^ a b c d e #Sharpe p.121-123. ^ ダルブー導関数を説明した日本語の文献が見つからなかったので、本項の専門用語はいずれも本項執筆者が暫定的に訳したものである。 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。