ダルブー導関数

数学 > 幾何学、群論 > リー群 > ダルブー導関数
数学 > 解析学 > 微分積分学の基本定理 > ダルブー導関数

ダルブー導関数^{[注 1]}（英: Darboux derivative）とは、リー群に値を取る関数に対する導関数概念であり、（意味のある）「微分積分学の基本定理」の概念を定式化できる。

以下本項では特に断りがない限り、単に「関数」、「多様体」等といった場合はすべて $C \infty$ 級のものをあらわすとする。

動機

文献^[1]を参考にダルブー導関数を定義する動機を述べる。実数体上の関数 $f~:~\mathbb {R} \to \mathbb {R}$ の導関数 $f'$ は $f$ それ自身と同じく $\mathbb {R}$ から $\mathbb {R}$ への関数なので、 $f'$ から $f$ を求める問題、すなわち

与えられた関数 $g~:~\mathbb {R} \to \mathbb {R}$ に対し、 $f'=g$ となる関数 $f~:~\mathbb {R} \to \mathbb {R}$ を求めよ

という問題は意味を持ち、微分積分学の基本定理を使って解を求める事ができる。

それに対し、多様体から多様体への写像 $f~:~M\to N$ に対し、導関数 $f_{*}~:~TM\to TN$ から $f$ を求める問題は自明なものになってしまう。

なぜなら $f_{*}$ の定義式の中に $f$ それ自身の情報が「埋め込まれて」おり、接ベクトル $v_{P}\in T_{P}M$ の $f_{*}$ による像 $f_{*}(v_{P})$ は $T_{f(P)}N$ の元であるので、 $f_{*}(v_{P})$ がどの点の接ベクトルなのかを調べる事で $P$ の像 $f(P)$ が再現できてしまうからである。

実数体上の関数 $f~:~\mathbb {R} \to \mathbb {R}$ に対してこの問題が意味を持つのは $f_{*}~:~TM\to TN$ による $v P$ の像 $f_{*}(v_{P})$ を原点 $0\in \mathbb {R}$ まで移動したものを導関数 $f'$ としているので、 $f$ それ自身の情報が消し去られているからである。

ダルブー導関数は、 $f$ の値域がリー群である場合に、実数体の場合と同様 $f_{*}$ の像を単位元 $e\in G$ まで移動する事で、 $f_{*}$ に埋め込まれている $f$ の情報を消し去った導関数概念である。すなわち、

f~:~M\to G

を多様体 $M$ からリー群 $G$ への写像とするとき、 $f$ の導関数 $f_{*}~:~TM\to TG$ による像に $G$ の元をかける事で $f_{*}$ の像が単位元 $e$ における接ベクトル空間 $T_{e}G$ （これは $G$ のリー代数 ${\mathfrak {g}}$ に等しい）に移動したものを

\omega _{f}~:~TM\to {\mathfrak {g}}

と書き、 $f$ のダルブー導関数と呼ぶ。ダルブー導関数では $f_{*}(v_{P})$ を ${\mathfrak {g}}=T_{e}G$ に移動する事で $f$ の情報を消し去っているので、

与えられた $\omega ~:~M\to {\mathfrak {g}}$ に対し、 $\omega _{f}=\omega$ となる関数 $f~:~M\to G$ を求めよ

という問題は非自明である。 $M$ と $ω$ が十分性質がよければ上記の問題は解を持つ事が知られており、これはダルブー導関数に対する「微分積分学の基本定理」であると解釈できる。

準備

ダルブー導関数について述べるための準備として、モーレー・カルタン形式を導入する。

定義 (モーレー・カルタン形式) ― $G$ をリー群とし、 ${\mathfrak {g}}$ をそのリー代数とするとき、 $G$ の各点 $g$ に対し $G$ 上の ${\mathfrak {g}}$ 値1-形式 $\omega ^{G}{}_{g}$ を

\omega ^{G}{}_{g}~:v\in ~T_{g}G\mapsto L_{g^{-1}}{}_{*}(v)\in {\mathfrak {g}}

により定義し、 $ω G g$ を $G$ の $g$ におけるモーレー・カルタン形式という。

ここで $L_{g^{-1}}{}_{*}$ は群の左作用 $L_{g^{-1}}~:~h\in G~~\mapsto g^{-1}h$ が誘導する写像である。

モーレー・カルタン形式は以下を満たす^[2]：

定理 ― 　

$(R_{g})^{*}\omega ^{G}=\mathrm {Ad} (g^{-1})\omega ^{G}$
$d\omega ^{G}+{1 \over 2}[\omega ^{G},\omega ^{G}]=0$

ここで $[\cdot ,\cdot ]$ は ${\mathfrak {g}}$ 上のリー括弧であり、 ${\mathfrak {g}}$ -値1-形式 $α$ 、 $β$ に対し、 $[\alpha ,\beta ](X,Y):=[\alpha (X),\beta (Y)]-[\alpha (Y),\beta (X)]$ である。

上記の2式のうち下のものをモーレー・カルタンの方程式^[3]（英: Maurer-Cartan equation）、もしくはリー群 $G$ の構造方程式^[4]（英: structure equation）という。

定義

本節ではダルブー導関数を具体的に定式化する。

すでに述べたように $f~:~M\to G$ のダルブー導関数とは、 $f_{*}~:~TM\to TG$ の像を群の元をかけることで ${\mathfrak {g}}=T_{e}G$ まで移動したものである。具体的には $P\in M$ 、 $v_{P}\in T_{P}M$ に対し、 $f_{*}(v_{P})$ は $T_{f(P)}G$ の元なので、 $f(P)^{-1}$ を左からかける演算 $L_{f(P)^{-1}}$ の導関数 $L_{f(P)^{-1}}{}_{*}$ を作用させた

\omega _{f}|_{P}:=L_{f(P)^{-1}}{}_{*}(f_{*}(v_{P}))

が $f$ のダルブー導関数である。この事実とモーレー・カルタン形式の定義を照らし合わせる事で、ダルブー導関数を以下のように定式化できる事がわかる：

定義 (ダルブー導関数) ― $f~:~M\to G$ の（左）ダルブー導関数（英: (left) Darboux derivative）とは $M$ 上の ${\mathfrak {g}}$ -値1-形式

\omega _{f}:=f^{*}(\omega ^{G})

の事である^[5]。

モーレー・カルタン形式が構造方程式を満たすことから、以下が成立する事がわかる：

定理 ― ダルブー導関数は以下を満たす^[5]：

d\omega _{f}+{1 \over 2}[\omega _{f},\omega _{f}]=0

微分積分学の基本定理

本節の目標は $ω$ をダルブー導関数に持つ関数が存在する条件を記述する事である。

そのための準備として、まず「発展」という概念と「モノドロミー」という概念を定義する。

発展

$f$ の定義域が区間 $I=[a,b]$ の場合は、「微分積分学の基本定理」が成り立つ：

定理 ― $ω$ を区間 $I=[a,b]$ 上の ${\mathfrak {g}}$ -値1-形式とし、 $g$ を $G$ の元とする。このとき、関数 $f~:~I\to G$ で

\omega _{f}=\omega

、

f(a)=g

を満たすものが一意に存在する^[6]。

上記の定理を多様体 $M$ 上の曲線に対して用いる事で以下の定義が得られる：

定理・定義 (曲線の発展) ― $ω$ を多様体 $M$ 上の ${\mathfrak {g}}$ -値1-形式とし、 $c~:~[a,b]\to M$ を $M$ 上の曲線とし、 $g$ を $G$ の元とし、 $c^{*}(\omega )$ を $ω$ の $c$ による $[a,b]$ への引き戻しとする。このとき、 ${\tilde {c}}~:~I\to G$ で

\omega _{\tilde {c}}=c^{*}(\omega )

、

{\tilde {c}}(a)=g

を満たすものが存在する。 ${\tilde {c}}$ を $g$ からの $c$ に沿った $ω$ の発展（英: development of $ω$ along $c$ starting at $g$ ）という^[6]。

モノドロミー

$ω$ が構造方程式を満たせば、発展の終点はホモトピー不変である：

定理 ― $ω$ を多様体 $M$ 上の ${\mathfrak {g}}$ -値1-形式で

d\omega +{1 \over 2}[\omega ,\omega ]=0

を満たすものとする。さらに $c_{0},c_{1}~:~[a,b]\to M$ を $M$ 上の2つの曲線で $c 0$ の始点、終点がそれぞれ $c 1$ の始点、終点に一致するものとし、さらに $g$ を元 $G$ の元とする。

このとき、 $c 0$ と $c 1$ が（始点と終点を固定した）ホモトープであれば、 $c 0$ の $g$ からの発展 ${\tilde {c}}_{0}~:~I\to G$ の終点と $c 1$ の $g$ からの発展 ${\tilde {c}}_{1}~:~I\to G$ の終点は等しい^[7]。

よって $M$ の点 $P 0$ における $M$ の基本群 $\pi _{1}(M,P_{0})$ を考えると、 $[c]\in \pi _{1}(M,P_{0})$ に $c$ の発展 ${\tilde {c}}$ の終点 $\in G$ を対応させる写像は代表元 $c$ の取り方によらずwell-definedである。

定理・定義 (モノドロミー) ― 記号を上述のように取るとき、写像

\Phi _{\omega }~:~[c]\in \pi _{1}(M,P_{0})\mapsto (

単位元

e

からの

c

の発展

{\tilde {c}}

の終点)

\in G

は準同型になる。 $\Phi _{\omega }$ を $ω$ のモノドロミー表現（英: monodromy representation）といい、 $G$ の部分群 $\Phi _{\omega }(\pi _{1}(M,P_{0}))\subset G$ をモノドロミー群（英: monodromy group）もしくは周期群（英: period group）という^[7]。

定理の記述

モノドロミーを用いると、 $ω$ をダルブー導関数に持つ関数が存在する必要十分条件を特徴づける事ができる：

定理 (微分積分学の基本定理（英: Fundamental theorem of calculus^[7]）) ― $G$ をリー群とし、 ${\mathfrak {g}}$ を $G$ のリー代数とし、 $M$ を多様体とし、 $ω$ を $M$ 上の ${\mathfrak {g}}$ -値1-形式とする。このとき、ダルブー導関数 $\omega _{f}$ が $ω$ と一致する関数 $f~:~M\to G$ が存在する必要十分条件は、以下の２条件が成立する事である^[7]：

$d\omega +{1 \over 2}[\omega ,\omega ]=0$
モノドロミー群 $\Phi _{\omega }(\pi _{1}(M,P_{0}))\subset G$ は単位元のみからなる群 $\{e\}$ である。

定理 (解の実質的な一意性) ― 記号を上の定理と同様に取る。このとき、ダルブー導関数 $\omega _{f}$ が $ω$ と一致する関数2つが存在すれば、それらの関数 $f 1$ 、 $f 2$ は、ある $g\in G$ が存在して

\forall P\in M~:~f_{1}(P)=gf_{2}(P)

を満たす^[7]。

脚注

出典

^ #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。

[2] #Sharpe p.115.

[Tu198-3] #Tu p.198.

[4] “中央大学大学院理工学研究科数学特別講義第三微分形式の可積分性”. p. 50. 2023年6月27日閲覧。

[5] #小林 p.59.

[Sharpe115-6] #Sharpe p.115.

[Sharpe119-7] #Sharpe pp.119-120.

[Sharpe121-8] #Sharpe p.121-123.

[1] ダルブー導関数を説明した日本語の文献が見つからなかったので、本項の専門用語はいずれも本項執筆者が暫定的に訳したものである。

[注 1]

[1]

[2]

[3]

[4]

[5]

[6]

[7]