多様体の写像の微分dfと外微分dの関係とは？プルバックから理解する微分形式のつながり

多様体の間の写像f: M→Nに対する微分dfと、微分形式に作用する外微分dは、記号が同じため混同されやすい概念です。しかし、この2つは役割が異なりながらも、微分幾何学において密接に関係しています。この記事では、写像の微分dfと外微分dがどのようにつながっているのかを、具体例を交えながら整理します。

写像の微分dfとは何を表しているのか

多様体Mから多様体Nへの滑らかな写像f: M→Nを考えます。このとき、点p∈Mにおける微分dfは、接空間の間の線形写像として定義されます。

具体的には、df_p: T_pM→T_{f(p)}Nという形で、M上の点pでの接ベクトルを、写像fによってN上の点f(p)での接ベクトルへ送る働きをします。

例えば、通常のユークリッド空間で考える関数f(x,y)=(x^2,y+x)では、dfはヤコビ行列に対応します。つまり、dfは「空間の写像が微小な方向をどのように変化させるか」を表すものです。

一方、外微分dは微分形式に対して作用する演算子です。関数（0形式）から1形式を作ったり、1形式から2形式を作ったりする働きを持ちます。

例えば、関数gに対して外微分dgは、その関数の勾配を表す1形式になります。また、1形式ωに対してdωを計算すると、その形式がどれだけ回転やねじれを持つかを表す2形式になります。

外微分には重要な性質としてd²=0があります。つまり、どのような微分形式でも2回続けて外微分すると必ず0になります。

dfと外微分dは別の概念ですが、写像による微分形式の変換を考えると深く関係します。その中心となる考え方がプルバック（引き戻し）です。

写像f: M→Nがあるとき、N上の微分形式ωをM上の微分形式f*ωへ移すことができます。このf*はプルバックと呼ばれます。

そして、プルバックと外微分には次の重要な関係があります。

d(f*ω)=f*(dω)

これは、写像による引き戻しをしてから外微分しても、外微分してから引き戻ししても結果が同じになるという意味です。

特に1形式では、dfと外微分の関係が分かりやすく現れます。関数h:N→Rを考えると、hの微分dhはN上の1形式になります。

ここでf:M→Nを合成すると、h∘fというM上の関数ができます。この微分を考えると、連鎖律によって次の関係が成立します。

d(h∘f)=dfの作用によってdhを引き戻したもの、つまりd(h∘f)=f*(dh)となります。

これは高校や大学初年度で学ぶ合成関数の微分公式を、多様体上に一般化したものと考えることができます。

微分形式を扱う場合、dfそのものは接空間を移す写像ですが、その双対写像を使うことで余接空間や微分形式を変換できます。

df_p:T_pM→T_{f(p)}Nに対して、双対写像(df_p)*:T*f(p)N→T*pMが存在します。この作用によって、N上の1形式などをM上へ引き戻すことができます。

つまり、微分dfはベクトルを移動させるもの、外微分dは形式を新しい形式へ変換するものですが、dfの双対作用がプルバックを生み、そこに外微分との交換関係が現れるという構造になっています。

dfとdを理解するときは、同じ記号だから同じものだと考えないことが重要です。dfは「写像を微分したもの」、dは「微分形式に作用する演算」です。

ただし、両者は無関係ではありません。写像fによる微分形式の移動を考えるとき、dfの双対作用が必要になり、その結果として外微分との可換性が成り立ちます。

微分幾何学では、この関係がストークスの定理やド・ラームコホモロジーなど、多くの重要な理論の基礎になっています。

多様体間の写像f:M→Nの微分dfは、接ベクトルを別の接空間へ送る線形写像です。一方、外微分dは微分形式を別の次数の微分形式へ変換する演算子です。

両者を結びつけるのがプルバックであり、d(f*ω)=f*(dω)という関係によって、写像による変換と外微分が調和することが分かります。

そのため、多様体論ではdfとdを別々に覚えるだけでなく、写像・接空間・微分形式・プルバックという流れの中で理解することが重要です。