が、(なめらかな)多様体のあいだの(なめらかな)写像のとき、その“微分”を と書きます。この書き方についは、「多様体上のとある公式: 計算練習」で次のように言いました。
記号が気に入らないだけではなくて、微分 はなかなかに難しい概念だと思います。接写像 と関係はしますが、もちろん接写像と同じではないし、素直な関手性を持つわけでもありません(込み入った関手性を持つ)。
というわけで、多様体のあいだの写像の微分について述べます。合成関数の微分公式が目標です。
[追記 date="投稿当日"]間違いがあったので修正しました。修正箇所はこの色で識別できます。[/追記]*1
内容:
- 記号の約束
- 言葉・記号に関する注意
- 写像の微分と微分作用素
- ベクトルバンドルと接関手
- セクション加群関手と微分のアンマッチ
- 写像に沿ったセクション
- ベクトルバンドルの圏と引き戻し
- 加群の圏と引き戻し
- 合成関数の微分公式
- そしてそれから
記号の約束
「多様体上のとある公式: 計算練習」とだいたい同じ約束です。
- : (なめらからな)多様体
- : 多様体の点
- : 開集合(今回は使わない)
- : (なめらかな)写像
- : 接バンドル
- : 接写像
- : 接写像のファイバー、R-線形写像
- : 接バンドルの、大域セクション空間、-加群
- : 接バンドルの 上の、局所セクション空間、-加群(今回は使わない)
今回話題にする“ の微分”は ではなくて と書きます。特に、多様体 上で微分を考えていることを明示したいときは とします。
言葉・記号に関する注意
- 多様体や写像は、何も言わなくてもすべてなめらかです。
- ベクトルバンドルしか考えないので、ベクトルバンドルを単にバンドル、ベクトルバンドル準同型射を単にバンドル射と呼びます。
- ベクトルバンドルのファイバー・ベクトル空間も、バンドル射の一点でのファイバー間線形写像も、どちらも単にファイバーと呼びます。
- 可換環しか出てこないので、環=可換環 です。
- 加群射/R-線形写像に対する引数渡し〈argument passing〉はブラケットまたは併置を使います。
- 加群射/R-線形写像の結合〈合成〉の反図式順記号に を使います。
- セクションの一点での値は のように書きます。
写像の微分と微分作用素
多様体 の接バンドル の大域セクション〈大域的ベクトル場〉の空間は と書きます。それに対して、局所セクション〈局所的ベクトル場〉の空間は と書きます。今日は、大域セクションの微分だけを扱います。局所セクションの微分では、層/前層の議論が出てきて面倒になるからです。
写像 を微分した結果である は、加群準同型射という意味で線形です。が、写像の微分をおこなう微分作用素 は線形ではありません。というか、線形かどうかを云々できる設定になっていません。微分作用素 のプロファイル(入力と出力の仕様)は:
です。ここで、 は多様体の圏で、 はホムセットです。疑問符の部分が微分作用素が値をとる空間ですが、いまんところ謎です。この謎の空間を明らかにするのはこの記事の目的のひとつです。
とりあえずは、写像を微分した結果である と、微分する操作そのものである を混同しないように、と注意しておきます。
ベクトルバンドルと接関手
ベクトルバンドルを記すとき、普通は記号の乱用をして のように書きます。バンドル自体と全空間〈total space | entire space〉を同じ記号で表します。これが混乱を招くときもあるので、ここでは と書きます。バンドル射 は、次の図式を可換にする写像のペア です。
ベクトルバンドルとバンドル射は圏をなすので、それを とします。バンドル/バンドル射にその底空間/底写像を対応させる関手があります。
多様体に接バンドルを、写像に接写像を対応させると、これも関手になります。接関手〈tangeng functor〉ですね。
が成立するので、次の図式は可換です。
セクション加群関手と微分のアンマッチ
アーベル群 が単なる群ではなくて-加群であることを明示するために、(必要があれば) と書くことにします。
ベクトルバンドルのセクションの空間 は関数環 上の加群なので、 と書けば加群であることが明らかになります。バンドルが接バンドルのときも同様に、 のように書けます。
接バンドルのセクション(つまり接ベクトル場)の加群は と定義され、微分 はこの加群を域〈domain〉とする写像です。 に対する の値 もまたベクトル場なので、次のようなプロファイル(入出力の仕様)を期待してしまいます。
しかし、このようには定義できません。
仮に(あくまで仮)、
だとしましょう。 が全射ではないとき、 である点 が取れます。この点に対して、 をどう定義すればいいでしょうか?
が単射ではないとき、 である点 が取れます。 であるベクトル場 を選んだとき、 をどう定義すればいいでしょうか?
うまくいかないですよね。上記のような安直な期待はかなえられないと分かります。
写像に沿ったセクション
[追記 date="投稿当日"] あっ、係数の拡張〈スカラーの拡張〉を忘れた。全体的な修正をしたくないので、この節において、 の定義を小細工して辻褄を合わせることにします。 が小細工のために導入した記法です。
スカラー倍の計算をしてなかったのでさほどの影響はないですが、別記事で、係数〈スカラー〉の拡張と制限、スカラー倍の変換公式は話題にしないとマズい気はしてます。ベクトルバンドルより加群として扱うなら、そういうところをちゃんとしないとダメだし。[/追記]
が多様体のあいだの写像、 は 上のバンドル(i.e. )だとします。写像 が次の図式を可換にするとき、 に沿った のセクションと呼びます。
に沿った のセクションの全体を と書きます。セクションのあいだの足し算とスカラー倍が定義できるので、加群 となります。が、このままでは 上の加群にはなりません。以下のようにして、セクションに の要素(関数)を掛け算〈スカラー倍〉できるようにします。([追記 date="投稿翌日"]以下、 を作ろうとしています。 でも同じことだと思いますが、写像に沿ったセクションのほうが幾何的に理解しやすいだろうと。でも、手短に説明ができなくてグダグダです。[/追記])
直積集合 の上に、次の関係 を導入します。
ここで、掛け算 は、
と定義します。
関係 は、 から自由生成されたアーベル群にまで拡張でき、足し算と整合する同値関係になります。同値関係としての による商集合
はアーベル群になりますが、さらに の要素によるスカラー倍を、
(ブラケットは同値類)
と定義して、-加群になります。同値類 を とも書きます。([追記]とりあえずの修正、ここまで。係数環を から に拡張できました。詳細はまたいずれ。[/追記])
上記の手順で作った-加群を と書きます。特に、 を とも書きます。
の微分 は次の形で定義できます。
加群射であることを強調するために係数環も書きました。-加群の圏を とすると、次のようにも書けます。
実際の定義は:
[追記] であることを示すには、拡張したスカラー倍に関する考慮が必要です。が、今回は気にしないで別な機会に説明します。[/追記]
これをもとに、微分作用素 のプロファイルを書くことができるでしょうか?
これを見てわかるように、作用素 の被作用素〈operand〉ごとに戻り値〈return value〉の型が違ってしまうのです。プログラミング言語の型理論では、プロファイルに依存型を含む、という言い方をします。作用素 の余域〈codmain〉がシグマ依存型と呼ばれる型になります。シグマ依存型を使ってプロファイルを書けば:
ここで、 は、可換環 上の加群の圏のホムセットです。シグマ記号は、ホムセットを に渡ってすべて寄せ集めることです。型理論の習慣によりシグマを使いましたが、 や のほうが“感じ”が出るかも知れません。
これで一応、作用素 のプロファイルを書けましたが、幾何的にあまり扱いやすくないので、もう少し調整します。
ベクトルバンドルの圏と引き戻し
多様体 に対して、 上のベクトルバンドルの圏を とします。この圏の射は、底写像が であるバンドル射です(下図)。
すべてのバンドル射を含む圏 と、多様体ごとに定義される圏 は、グロタンディーク構成で結ばれますが、今日はその話は省略します。
は、多様体に圏を対応させますが、多様体の射 には関手が対応します。
から誘導された反変関手 を と略記します。
に対する値 は、ベクトルバンドルの引き戻し〈pullback〉と呼ばれるものです。引き戻しバンドルの具体的な構成は割愛しますが、ここで必要な事実は次です。
- (加群として)
なので、同じ略記 を採用すると、
と短く書けます。実際のところ、 という同一視をおこないます。
加群の圏と引き戻し
多様体の関数環の上の加群の圏を と書きました。ベクトルバンドルからセクションの加群を作ることは、次のプロファイルの関手とみなせます。
関手 の像圏を と書くことにします。 の対象とは、ベクトルバンドルから構成された加群で、射はベクトルバンドル射から誘導された加群射です。
局所セクションまで考えれば、ベクトルバンドルから構成された加群を代数的・位相的に〈層論的に〉特徴付けることができます*2が、今は大域セクションしか考えてないので、セクション関手の像圏という扱いでガマンします。
以下の図式が可換になるような、加群の圏のあいだの関手を考えます。
この図式で出てきた は長ったらしく不格好なので、 と略記することにすれば:
この可換図式が言っている内容を等式的に書き下してみましょう。圏の対象に関する等式は:
この等式は、右辺により左辺を定義しているとみると、 の対象パートの存在が示せます。
圏の射に関する等式は次のようになります。
この等式も、上段の が下段により定義される、と読めます。
関手 は、多様体のあいだの写像 に沿って、逆向きに加群や加群射を引き戻す作用を持ちます。この加群・加群射引き戻し関手は、次節の合成関数の微分公式で使います。
合成関数の微分公式
とします。それぞれの微分は次の形です。
これらのあいだには次の関係があります。合成関数の微分公式ですね*3。
これを示すには、左辺と右辺を計算して一致すればいいわけです。実際の計算の前に注意事項を述べます。
- という同一視は全面的に使います。引き戻しバンドルのセクションと写像に沿ったセクションは同じものとして扱います。([追記]ここでも、拡張したスカラー倍に関する考慮が必要です。計算のなかで、生のセクション と係数拡大したセクション がハッキリと区別されてませんが、スカラー倍をしないときは気にしなくても大丈夫です。詳細は別な機会に。[/追記]
- としますが、自由に選ばれた点ではなくて、 という縛りがあります。
まず、 の見た目がグロテスクなので、一点での値の計算をしておきます。
定義をたどるとこうなります。一点での値はゴツイ式ではないです。
次に、右辺の に引数〈argument〉を渡してみます。
これに対して一点での値を求めます。
これは、左辺の一点での値(以下)です。
そしてそれから
定義や計算をするために、バンドルの圏と加群の圏を行ったり来たりしてました。これは鬱陶しいですね。バンドルの圏を介さないで、加群の圏だけで議論をしたいところです。また、大域セクションだけでは不十分で局所セクションも考慮する必要があります。これらの不満・要望から、加群層での定式化が出てきます。
写像の微分を加群層射と解釈する方針をとると、この記事で説明した以外の“微分”も定義できるようになります。微分の定義は一通りではないので、用途に応じて使い分けることが出来るようになります。微分の概念って、多様多彩なんですね。