押し出しと引き戻し、多様体の微分写像で向きが逆になるわけ

滑らかな写像は、多様体の点を送るだけで終わりません。点に付いている接空間ごと送ります。送られた先に現れる線型写像が微分写像です。

向きは 2 つに分かれます。接ベクトルは写像と同じ向きに押し出され、余接ベクトルと微分形式は逆向きに引き戻される。同じ 1 つの $d F_{p}$ から、進む向きの違う 2 つの操作が出てきます。

以下では押し出しを定義から座標表示まで書き下し、ベクトル場には押し出しが効かないことを例で確かめ、引き戻しがなぜ制限なしに働くのかまで扱います^[1]。

接ベクトルは関数を微分する道具

接ベクトルを矢印だと思っていると、微分写像の定義は唐突に見えます。矢印をどこへ運ぶのか、という話に読めてしまうため。

多様体の接ベクトルは、点 $p$ のまわりの滑らかな関数に作用する微分作用素として定義されます。 $X_{p}$ は関数 $f$ を受けとって実数 $X_{p} (f)$ を返し、ライプニッツ則 $X_{p} (f g) = f (p) X_{p} (g) + g (p) X_{p} (f)$ を満たすもの。

この見方をとると、微分写像の定義は「関数を先に運ぶ」という一行で書けます。矢印そのものを運ぶ方法を考える必要がありません。

多様体には外側の空間がないので、矢印を「そのまま平行に持っていく」という操作が使えません。関数への作用に言い直しておくと、この困りごとが消えます。

押し出しの定義

滑らかな写像 $F : M \to N$ と点 $p \in M$ に対し、微分写像

$d F_{p} : T_{p} M \to T_{F (p)} N$

を次で定めます。 $X_{p} \in T_{p} M$ と、 $F (p)$ の近傍で定義された滑らかな関数 $g$ に対して

$(d F_{p} (X_{p})) (g) = X_{p} (g \circ F)$

とする。右辺の $g \circ F$ は $p$ の近傍の関数なので、 $X_{p}$ がそのまま作用できます。

この $d F_{p}$ を押し出しとも呼び、 $F_{*}$ 、 $F_{* p}$ 、 $T_{p} F$ とも書きます^[3]。呼び名も記号も文献で分かれますが、指しているものは同じ対象です。

作用の結果がふたたび微分作用素になることは、 $X_{p}$ の線型性とライプニッツ則からそのまま出ます。 $g$ と $h$ の積を入れて展開すれば、 $F (p)$ での値が前に出てくる形になる。

定義が関数の合成になる理由

$N$ の上の関数 $g$ は、 $F$ を使えば $M$ の上の関数 $g \circ F$ に引き戻せます。関数はいつでも逆向きに運べる。

いっぽう接ベクトル $X_{p}$ は $M$ の点に住んでいるので、 $M$ の上の関数にしか作用できません。そこで $g$ をさきに $M$ 側へ連れてきてから作用させます。

つまり定義は、関数の逆向きの移動をはさんで、接ベクトルを順向きに送る形をしています。この二段構えが、押し出しと引き戻しの関係の原型になる。

関数 $g$ を $N$ から $M$ へ引き戻す

$M$ 側で接ベクトルを作用させる

結果を $N$ 側の接ベクトルとして読む

真ん中の一歩だけが接ベクトルの仕事で、両端は関数の移動です。定義に $F$ が 1 回しか現れないのは、この構造から。

曲線で見ると押し出しは像の速度

接ベクトルを曲線の速度として定義する流儀では、押し出しはもっと直接に読めます。

$c : (- ε, ε) \to M$ を $c (0) = p$ 、 $c^{'} (0) = X_{p}$ となる曲線とすると

$d F_{p} (X_{p}) = (F \circ c)^{'} (0)$

が成り立ちます。曲線を $F$ で送り、その像の速度をとる。それだけです^[5]。

2 つの定義が一致することは、合成関数の微分から出ます。 $\frac{d}{d t} g (F (c (t)))$ を $t = 0$ で計算すると、どちらの流儀でも同じ値になる。

曲線のとり方は 1 通りではありませんが、結果は $c^{'} (0)$ だけで決まります。同じ速度を持つ曲線なら、像の速度も一致する。

例：円を 2 乗写像で送る

$F (x, y) = (x^{2} - y^{2}, 2 x y)$ で半径 $0.9$ の円を送ってみます。

点が円周を 1 周するあいだに、像は 2 周します。速度ベクトルも 2 倍の速さで回る。

長さも変わります。 $∣ c^{'} ∣ = 0.9$ に対して像の速度は $2 \times 0.81 = 1.62$ で、 $2 r$ 倍に伸びている。押し出しは長さも角度も保ちません。

保つのは線型構造だけです。和とスカラー倍を壊さない、というところまでが $d F_{p}$ の役目。

座標で書くとヤコビ行列になる

$M$ の局所座標を $(x^{1}, \dots, x^{m})$ 、 $N$ の局所座標を $(y^{1}, \dots, y^{n})$ とし、 $F$ を $y^{j} = F^{j} (x^{1}, \dots, x^{m})$ と表します。

基底ベクトルの行き先は次のようになります。

$d F_{p} (\frac{\partial}{\partial x ^{i}}_{p}) = \frac{\partial F ^{j}}{\partial x ^{i}} (p) \frac{\partial}{\partial y ^{j}}_{F (p)}$

つまり $d F_{p}$ の行列表示はヤコビ行列そのものです^[1,3]。多様体の言葉に着替えても、手を動かす中身は多変数の微分積分と変わりません。

一般の接ベクトル $X_{p} = X^{i} \partial / \partial x^{i}$ に対しては、成分が

$(d F_{p} (X_{p}))^{j} = \frac{\partial F ^{j}}{\partial x ^{i}} (p) X^{i}$

と出ます。添字 $i$ について和をとる。上の添字と下の添字が 1 つずつ潰れる形です。

座標をとり替えると $F^{j}$ も基底も変わりますが、写像 $d F_{p}$ 自体は変わりません。行列は表示であって、本体ではない。

例：極座標から直交座標へ

$F (r, θ) = (r cos θ, r sin θ)$ のヤコビ行列を書き下します。

$J = (cos θ sin θ - r sin θ r cos θ)$

$\partial / \partial r$ は $(cos θ, sin θ)$ 方向の単位ベクトルへ、 $\partial / \partial θ$ は長さ $r$ の接方向ベクトルへ送られます。

行列式は $r$ です。 $r = 0$ では階数が $1$ に落ち、押し出しは単射でなくなる。原点で極座標が壊れるとは、この 1 点のこと。

$θ$ 方向の基底が原点で潰れるのは、原点では角度が意味を持たないから。座標の欠陥が、微分の階数として目に見える形で出ています。

例：らせんを平面へ落とす

$c (t) = (cos t, sin t, t)$ を $R^{3}$ のらせんとし、 $F (x, y, z) = (x, y)$ を平面への射影とします。

$c^{'} (t) = (- sin t, cos t, 1)$ で、押し出すと $d F (c^{'} (t)) = (- sin t, cos t)$ になります。 $z$ 成分がそのまま落ちる。

長さは $2$ から $1$ へ縮みます。らせんを真上から見たら円になる、という当たり前の事実が、押し出しの言葉で書かれた形。

この $F$ は沈め込みです。どの点でもヤコビ行列の階数が $2$ で、 $T_{p} R^{3} \to T_{F (p)} R^{2}$ は全射になる。

例：球面のパラメータ表示

$F (u, v) = (sin u cos v, sin u sin v, cos u)$ を $(0, π) \times R$ の上で考えます。

$\partial / \partial u$ の像は経線方向の単位ベクトル、 $\partial / \partial v$ の像は緯線方向で長さ $sin u$ のベクトルです。

2 本は直交します。ヤコビ行列の列が直交するので、 $F$ は極から離れたところでははめ込み。

$u \to 0$ で $sin u \to 0$ となり、 $\partial / \partial v$ の像が潰れます。北極が特異点に見えるのは、球面ではなく座標の側の事情です。

格子の像で読むヤコビ行列

$F (x, y) = (x^{2} - y^{2}, 2 x y)$ で、直交する格子がどう送られるかを描きます。

canvas: 絵を作れませんでした

格子は曲がりますが、交点での交わり方は直角のままです。ヤコビ行列が回転と拡大の合成になっているため。

行列 $J$ は、 $2 x$ と $2 y$ で書かれた回転拡大行列の形をしています。そのため角度を変えずに全体を伸ばす。

例：2 乗写像が角度を保つ理由

複素数で書けば $F (z) = z^{2}$ で、微分は $2 z$ の掛け算です。複素数の掛け算は回転と拡大なので、角度が保たれる。

角度を保つ写像を等角写像と呼びます。正則関数の微分が複素数 1 個の掛け算になることが、そのまま幾何の性質になっている例。

原点だけは例外です。 $z = 0$ で微分が $0$ になり、角度は 2 倍に開きます。ここでも階数の落ちる点が特異な振る舞いを引き起こしている。

連鎖律は合成の押し出し

写像を 2 つ続けたときの押し出しは、押し出しを 2 つ続けたものに一致します。

$d (G \circ F)_{p} = d G_{F (p)} \circ d F_{p}$

これが連鎖律です^[4,5]。定義に戻れば一行で出ます。 $X_{p}$ と $P$ 側の関数 $h$ に対し、左辺は $X_{p} (h \circ G \circ F)$ で、右辺も同じ式になる。

線型性：

d F_{p} (a X + bY) = a d F_{p} (X) + b d F_{p} (Y)

合成：

d (G \circ F)_{p} = d G_{F (p)} \circ d F_{p}

恒等写像：

d (id_{M})_{p} = id_{T_{p} M}

接空間をとる操作と押し出しをとる操作を合わせると、圏の言葉でいう関手になります。多様体と滑らかな写像を、ベクトル空間と線型写像へ移す仕組み^[5]。

例：連鎖律を 2 通りで計算する

$F (t) = (cos t, sin t)$ 、 $G (x, y) = x^{2} + y^{2}$ とします。合成は $G \circ F (t) = 1$ で定数。

直接微分すれば $0$ です。連鎖律で計算しても、 $d G = (2 x, 2 y)$ に $d F = (- sin t, cos t)$ を入れて

$2 cos t \cdot (- sin t) + 2 sin t \cdot cos t = 0$

となり、合います。円周上で半径の 2 乗が変わらない事実を、接ベクトルの言葉が拾っている。

例：微分同相の逆は逆の微分

$F$ が微分同相なら $F^{- 1} \circ F = id_{M}$ です。両辺を押し出すと

$d (F^{- 1})_{F (p)} \circ d F_{p} = id_{T_{p} M}$

となります。 $d F_{p}$ は同型で、逆行列が逆写像の微分。

たとえば $F (x) = e^{x}$ なら $d F = e^{x}$ 、 $F^{- 1} (y) = lo g y$ の微分は $1/ y$ です。 $y = e^{x}$ を入れれば積が $1$ になる。

押し出しはベクトル場には効かない

ここまでは 1 点での話でした。各点にベクトルを配ったベクトル場を、 $F$ で送れるかを考えます。

$N$ の点 $q$ に配るベクトルを決めたいのですが、 $q$ の逆像 $F^{- 1} (q)$ が 2 点以上あると、それぞれから違うベクトルが飛んできます。どれを採るかを決める根拠がない。

逆像が空なら、そもそも何も飛んできません。押し出しは点ごとには常に定義できても、場としては定義できないわけです^[2]。

接ベクトル 1 本

$d F_{p} : T_{p} M \to T_{F (p)} N$ が常に定まる。写像の階数も、逆写像の有無も要らない。

ベクトル場ぜんぶ

$F$ が微分同相でないと定まらない。逆像が 2 点以上なら行き先が割れ、空なら決まらない。

この非対称が、微分幾何でベクトル場より微分形式のほうが扱いやすい理由になります。

例：行き先が 2 つに割れる

$F : R \to R$ を $F (x) = x^{2}$ とし、 $M$ 上のベクトル場を $X = \partial / \partial x$ とします。

$q = 1$ の逆像は $x = 1$ と $x = - 1$ の 2 点です。押し出すとそれぞれ $2 \partial / \partial y$ と $- 2 \partial / \partial y$ になる。

同じ点に、向きの逆なベクトルが 2 本届きます。どちらを $q$ でのベクトルにするかを決められません。

例：行き先が空になる

同じ $F (x) = x^{2}$ で $q = - 1$ を見ると、逆像は空集合です。押し出しで値を決める材料がない。

像の外では何も決まらず、像の中では割れる。この 2 つが同時に起きるので、押し出しは場としては働きません。

$F$ 関連という言い方

押し出せないなら、押し出せている状況のほうに名前を付ける手があります。

$M$ のベクトル場 $X$ と $N$ のベクトル場 $Y$ が、すべての $p$ で $d F_{p} (X_{p}) = Y_{F (p)}$ を満たすとき、 $X$ と $Y$ は $F$ 関連であるといいます^[1]。

$F$ が全射で、逆像の上で $d F_{p} (X_{p})$ が $p$ のとり方によらないとき、 $X$ は射影可能であるといい、押し出したベクトル場がただ 1 つ定まります。

逆像の各点から飛んでくるベクトルが、全部そろっているという条件。

微分同相なら射影可能性は自動で満たされます。逆像が 1 点しかないため。

$F$ 関連なベクトル場どうしは、リー括弧をとっても $F$ 関連のままです。押し出せる状況では、代数の構造ごと運べる。

例：回転で関連するベクトル場

$F (x, y) = (x, y, 0)$ で平面を空間の $x y$ 平面へ埋め込みます。平面上の $X = - y \partial / \partial x + x \partial / \partial y$ を考える。

空間側で $Y = - y \partial / \partial x + x \partial / \partial y$ をとれば、 $d F (X_{p}) = Y_{F (p)}$ が成り立ちます。 $X$ と $Y$ は $F$ 関連。

いっぽう $Y$ に $\partial / \partial z$ を足したものは、 $F$ 関連になりません。像の外へ出る成分は、平面側の $X$ からは作れない。

引き戻しの定義

余接ベクトルには逆向きの操作が定まります。 $ω \in T_{F (p)}^{*} N$ に対し

$(F^{*} ω) (X) = ω (d F_{p} (X)), X \in T_{p} M$

とおくと、 $F^{*} ω \in T_{p}^{*} M$ が決まります。これを引き戻しといいます。

定義に $d F_{p}$ を代入しているだけなので、 $F$ の階数も逆写像も要りません。 $d F_{p}$ が使える限り、いつでも定まる。

引き戻しに逆写像が要らない理由

引き戻しが素直に働くのは、 $M$ の点 $p$ を先に決められるからです。 $p$ を決めれば行き先 $F (p)$ は 1 つに決まり、そこから $ω$ を持ってくればよい。

押し出しでは逆に、 $N$ の点を決めても $M$ 側の点が 1 つに決まりません。写像の向きと、値を決めたい向きがそろっているかどうかの違いです^[6]。

写像は 1 本しかないのに、荷物は両方向に流れます。流れる向きが物によって違う、というところが要。

例： $d x$ を極座標へ引き戻す

$F (r, θ) = (r cos θ, r sin θ)$ で、 $N$ 側の $1$ 形式 $d x$ を引き戻します。

$x = r cos θ$ なので

$F^{*} (d x) = cos θ d r - r sin θ d θ$

となります。全微分をとる操作と同じ形。同様に $F^{*} (d y) = sin θ d r + r cos θ d θ$ です。

一般に $F^{*} (d y^{j}) = d (y^{j} \circ F)$ が定義から出ます。座標関数を合成してから微分する、と読めば覚えることは何もありません。

例：球面へ $d z$ を引き戻す

さきの $F (u, v) = (sin u cos v, sin u sin v, cos u)$ で $d z$ を引き戻します。

$z \circ F = cos u$ なので $F^{*} (d z) = - sin u d u$ です。 $v$ の項が消える。

緯線に沿って動いても高さが変わらないことを、この形が言っています。引き戻した形は、球面の側の座標だけで書かれる。

引き戻しを $k$ 形式へ広げる

$N$ 上の $k$ 次微分形式 $ω$ に対し、 $M$ 上の $k$ 次形式 $F^{*} ω$ を

$(F^{*} ω)_{p} (X_{1}, \dots, X_{k}) = ω_{F (p)} (d F_{p} (X_{1}), \dots, d F_{p} (X_{k}))$

で定めます。引数を全部押し出してから $ω$ に食わせる。

線型性：

F^{*} (aω + b η) = a F^{*} ω + b F^{*} η

ウェッジ積：

F^{*} (ω \land η) = F^{*} ω \land F^{*} η

外微分：

F^{*} (d ω) = d (F^{*} ω)

合成：

(G \circ F)^{*} = F^{*} \circ G^{*}

最後の行で $F$ と $G$ の順が入れ替わります。引き戻しは向きを逆にする対応なので、合成の順も逆になる。

$0$ 形式すなわち関数の引き戻しは $F^{*} g = g \circ F$ です。この場合だけは、いちばん最初に出てきた合成そのもの。

例：面積形式を極座標へ引き戻す

$ω = d x \land d y$ を極座標の $F$ で引き戻します。さきに求めた 2 本を掛け合わせる。

$F^{*} ω = (cos θ d r - r sin θ d θ) \land (sin θ d r + r cos θ d θ)$

$d r \land d r = 0$ と $d θ \land d r = - d r \land d θ$ を使うと、 $r cos^{2} θ + r sin^{2} θ$ が残って

$F^{*} (d x \land d y) = r d r \land d θ$

になります。重積分の変数変換に出てくる $r$ は、この引き戻しが吐き出したヤコビアン。

例：球面の面積形式

球面のパラメータ表示で $d x \land d y \land d z$ を引き戻すと $0$ になります。 $2$ 次元の側に $3$ 次形式は置けないため。

代わりに $ω = x d y \land d z + y d z \land d x + z d x \land d y$ を引き戻すと $sin u d u \land d v$ が出ます。

これが球面の面積形式で、積分すれば $4 π$ になります。 $sin u$ の重みは、緯線が極に近づくほど短くなることを表している。

引き戻しは外微分と交換する

$F^{*} (d ω) = d (F^{*} ω)$ は、引き戻しの性質のなかでいちばんよく使われます^[2]。

これが成り立つおかげで、 $F^{*}$ は閉形式を閉形式へ、完全形式を完全形式へ送ります。ド・ラームコホモロジーに写像が誘導されるのも、この一行から。

例：交換を 2 変数で確かめる

$F (u, v) = (u + v, uv)$ とし、 $ω = y d x$ をとります。

先に外微分すると $d ω = d y \land d x$ で、引き戻すと $(u d v + v d u) \land (d u + d v)$ となり、整理して $(u - v) d u \land d v$ です。

先に引き戻すと $F^{*} ω = uv (d u + d v)$ で、外微分すると $(v d u + u d v) \land (d u + d v)$ となり、やはり $(u - v) d u \land d v$ になります。合いました。

例：閉形式が閉形式へ移る

$R^{2} ∖ {0}$ の上の $ω = \frac{- y d x + x d y}{x ^{2} + y ^{2}}$ は閉形式で、完全ではありません。

$F (t) = (cos t, sin t)$ で引き戻すと $F^{*} ω = d t$ になります。 $1$ 次元では $2$ 形式が $0$ なので、閉であることは自動。

円周にそって積分すれば $2 π$ です。 $ω$ が完全でないことが、この積分が $0$ にならないことに現れている。

$F : R^{2} \to R$ を $F (x, y) = x^{2} + y^{2}$ とするとき、 $F$ が沈め込みでない点はどこか。

点はない
原点だけ
単位円の上のすべての点
すべての点

__RESULT__

$d F = (2 x, 2 y)$ は原点でだけ零になります。ほかの点では階数 $1$ で全射なので、沈め込みが崩れるのは原点の 1 点だけ。

階数で写像を分類する

$d F_{p}$ の階数を見ると、写像の局所的な形が決まります。

はめ込み

各点で $d F_{p}$ が単射。 $dim M \leq dim N$ が要ります。局所的には $R^{m}$ を $R^{n}$ の座標平面として置く形になる。

沈め込み

各点で $d F_{p}$ が全射。 $dim M \geq dim N$ が要ります。局所的には座標の一部を落とす射影の形。

微分同相

$F$ が全単射で、 $F$ と $F^{- 1}$ がともに滑らか。各点で $d F_{p}$ は同型になります。

はめ込みは単射とは限りません。微分の階数は各点で見る量なので、離れた 2 点が同じ像を持つことを止められない。

例：8 の字はめ込み

$c (t) = (sin 2 t, sin t)$ 、 $t \in (0, 2 π)$ を考えます。速度は $(2 cos 2 t, cos t)$ で、どの $t$ でも零ベクトルになりません。

したがって $c$ ははめ込みです。ところが $t = π$ の像は原点で、 $t \to 0$ と $t \to 2 π$ の極限も原点に近づく。

像は 8 の字を描き、中央で自分と交わります。はめ込みであることと、像がきれいな部分多様体になることは別の話。

例：ホップ写像は沈め込み

$S^{3} \to S^{2}$ のホップ写像は、どの点でも微分が全射です。 $3$ 次元から $2$ 次元への沈め込み。

逆像はどの点でも円になります。沈め込みの逆像が $1$ 次元の部分多様体になる、という一般の事実の例。

球面を円で埋め尽くす分解が、この写像 1 本から出てきます。押し出しの階数だけを見て、大域的な構造が読める場面。

逆関数定理は局所のことしか言わない

$d F_{p}$ が同型であれば、 $p$ のある近傍で $F$ は微分同相になります。これが多様体版の逆関数定理です^[4]。

大域的な性質は言いません。さきの $F (x, y) = (x^{2} - y^{2}, 2 x y)$ は原点を除いて $d F$ が同型ですが、全体では 2 対 1 の写像。

局所で決まることと大域で決まることを分ける線が、ここに引かれています。微分は局所の道具なので、大域の情報は原理的に届かない。

定数階数定理まで見ておく

はめ込みと沈め込みは、階数が最大の場合です。階数が最大でなくても、各点で同じ値なら似た結論が出ます。

定数階数定理は、階数が $k$ で一定なら適当な座標で $F (x^{1}, \dots, x^{m}) = (x^{1}, \dots, x^{k}, 0, \dots, 0)$ と書けることを言います。

階数が一定でない写像には、この形が使えません。階数が飛ぶ点のまわりでは、局所の形が一定に定まらない。

よくある誤り

接ベクトルを矢印だと思って、押し出しの定義が

g \circ F

になる理由が読めなくなる

ベクトル場も押し出せると思う。微分同相か、射影可能なときに限られます

引き戻しにも条件が要ると思う。微分形式の引き戻しは階数によらず定まります

(G \circ F)^{*} = G^{*} \circ F^{*}

と書く。引き戻しでは順が逆になります

はめ込みなら像が部分多様体だと思う。8 の字が反例です

d F_{p}

が全単射なら

F

も全単射だと思う。逆関数定理が言うのは局所のことだけ

階数が落ちる点を計算し忘れる。極座標の原点や 2 乗写像の原点が典型です

参考文献

Pushforward (differential))

Pullback (differential geometry))

Tangentialabbildung

Tangent bundle, Encyclopedia of Mathematics

Foncteur tangent, Patrick Massot, Université Paris-Saclay

Application tangente et cotangente, Centre de Physique Théorique, Marseille

接ベクトルは写像と同じ向きに押し出され、微分形式は逆向きに引き戻されます。定義がなぜ関数の合成 $g \circ F$ の形になるのかから始め、座標ではヤコビ行列に落ちること、連鎖律が合成の押し出しにあたることを確かめる。ベクトル場のほうは微分同相でなければ押し出せず、行き先が 2 つに割れたり空になったりします。いっぽう微分形式の引き戻しは写像の階数によらず定まる。極座標、2 乗写像による格子の変形、8 の字はめ込みまで計算例つき。