おわりに：『ナブラ解体新書』はいかにして生まれたか

長い旅路を終えた読者の皆さんに、まずは心からの敬意を表したいと思います。

本書を閉じるにあたり、この奇妙で、いささか強引な構成を持つ『ナブラ解体新書』がいかにして生まれたのか、少しだけ舞台裏の話をさせてください。

ことの発端は、筆者自身の苦い記憶にあります。多くの物理学徒と同じように、筆者もまた「ベクトル解析」の泥沼で溺れかけた一人でした。円柱座標や球座標の $\mathrm{rot}$ や $\mathrm{div}$ を前に、「なぜこんな形になるのか」という問いは「とにかく公式を暗記せよ」という圧力に封殺されました。微分形式がその特効薬になりうることは耳にしていましたが、数学書の公理的アプローチは当時の筆者には抽象度が高すぎました。

「この消化不良を一発で解決する、なにか小ずるい、『銀の弾丸』はないものか」——そう考えていた筆者に、第一のブレイクスルーが訪れました。個人的な話になりますが、当時の筆者は量子力学の勉強になかなかのめり込んでおり、Dirac の「ブラ・ケット記法」の扱いに慣れ親しんでいました。状態ベクトル（縦ベクトル）を双対ベクトル（横ベクトル）として寝かせ、行列の積として自然に計算していく、あの感覚です。

ただし、筆者にとって重要だったのは、ブラ・ケット記法が「内積を計算する便利な記号」だったことではありません。むしろ逆です。ブラは本来、ケットを食べる双対ベクトルです。横ベクトルが縦ベクトルを食べるという双対ペアリングと、計量によって二つのベクトルを比べる内積は、本来は別の操作です。ところが物理数学の記法では、この二つがしばしば同じような見た目で現れ、いつのまにか区別が潰れてしまう。Dirac 自身も、そのあまりにも有名な著作で、“set up a second set of vectors, which mathematicians call the dual vectors” と述べています。にもかかわらず、教育の現場では、ブラはしばしば「内積記号の左半分」のように扱われてしまう。筆者はここに、当時は憤りを覚えていたほどです。

そんな折、ふと、この感覚を古典的な3次元ユークリッド空間の $dx,dy,dz$ にそのまま応用してみたらどうだろうか、と考えました。そう考えたとき、本書の最初の核が定まりました。積分記号の尻尾の $dx$ を「変位ベクトルから成分を抽出する横ベクトル（行列）」として定義し直せば、「ベクトルを食べる関数（1-form）」という抽象概念を、誰もが知る「行列の掛け算」へと瞬時に変換できるのです。少なくとも、学生時代の筆者にとっては、これがベクトル解析を理解するための決定的な足場になりました。

これは内積ではありません。変位ベクトルを食べる測定器です。計量による同一視は、そのあとに来るべきものです。これは筆者個人の理解にとっては、まさに『銀の弾丸』でした。ベクトル解析の公式が、行列の足し引きや掛け算のルールから、すべて手を動かして導き出せるようになったのです。

しかし、これだけでは本書を書き始める動機にはまだ足りませんでした。そこで第二のブレイクスルーをもたらしてくれたのが、W. L. Burke が提唱した「計量導入の遅延（put the metric later and later into the course）」という教育的哲学でした。

Burke の意図は、おそらく、長さ・角度・内積を入れる前から成立する構造を、計量に依存する構造から切り離して見せることにあったのだと思います。外微分 $d$、ウェッジ積、境界、ストークス型の構造は、計量を入れる前からかなりのところまで動きます。一般相対論やベクトル解析では、最初から計量を前面に出すと、外微分、境界、保存則、座標変換、そしてホッジ・スターによる計量依存の変換が一つに混ざって見えます。Burke はそこに、かなり早い段階で問題意識を抱いていたのだろうと思います。

もちろん、これは筆者なりの受け取り方です。Burke 自身が、筆者と同じように「双対と内積を分けたい」と考えていたとは思いません。それでも、計量を急いで導入すると、本来別々に見えるはずの構造が一つに潰れてしまう、という点で、筆者は Burke の問題意識に強く共感しました。

Dirac から受け取ったのは、「双対を内積に潰すな」という感覚でした。Burke から受け取ったのは、「計量を急いで入れると、計量なしで見える構造まで見えなくなる」という感覚でした。本書は、この二つの感覚が筆者の中で結びつき、$dx$ を測定器として置き、引き戻しを計量から分離し、その後で計量とホッジ・スターを導入する、という形に落ち着いたものです。

筆者にとって、とりわけ重要だったのは、まず座標変換と引き戻しを、長さや角度の話から切り離して扱えると示すことでした。座標変換こそ、ベクトル解析の鬼門です。そこに単位ベクトル、スケール因子、面積要素、計量を一度に流し込むから、何が何に由来するのかが見えなくなる。本書では、まず引き戻しをヤコビアンの行列計算として処理し、その後で計量とホッジ・スターを導入する、という順序を選びました。そして筆者は、この順序そのものを、読者を巻き込む「目次構成の教育的エンターテインメント」にしてやろう、と決意しました。

第1章から第5章までは、計量という概念を形式的に定義せず、実空間 $(x,y,z)$ における素朴な長さ・面積の直観に基づいた代数で押し通しました。より進んだ立場から見れば「面積には計量が必要だ」と言いたくなる場面でしょうが、本書の序盤では $xyz$ のデカルト座標に固定し、ピタゴラスの定理が成り立つ範囲で、素朴な面積・体積の直観をあえて使いました。計量 $g = J^T J$ が真に必要になるのは、パラメータ空間のような目盛りの歪んだ座標系へ一般化するときである——その事実を、第6章で行列計算を通じて発見的に導き出しました。

そして迎えた第6章の冒頭。「筆者もそろそろ飽きてきた」と冗談めかして、内積を正式に定義しました。同時に、計量 $g = J^T J$ の意味を明らかにし、ホッジ・スター $\ast$ を「微分形式とベクトル解析を繫ぐ型変換アダプタ」として位置づけました。この発見的構成を通じて、「$df$ は計量に依存しないが、通常の勾配ベクトル・回転・発散として読むには計量やホッジ・スターが必要である」という構造を、読者に納得してもらうための仕掛けでした。

これらのアイデアのうち、Burke の「計量遅延」哲学や Flanders の微分形式の物理応用は、いずれも既存の英語文献に書かれています。本書の内容に数学的な新規性はありません。ただ、$dx$ を行列として定義し全編を通じて行列計算で押し切るこの構成は、筆者の知る限り洋書にも見当たりません。東アジアの学生が記号計算に妙に訓練されているだけなのだろうか——などと茶化しつつ、いずれにせよ筆者が自分自身のために書いたものを整理したに過ぎません。本書が立っている巨人たちの肩については、巻末の参考文献を見ていただければと思います。

本書は、ベクトル解析に挫折したかつての筆者自身に向けて書いた「サバイバルガイド」です。もはやベクトル解析を飛び越え、「双対」「外微分」「引き戻し」「計量」「ホッジ・スター $\ast$」といった強力なツールと、デカルト座標の限界を知ったあなたなら、すでに次の世界への扉を開いています。

ここから先は蛇足です。けれども、本書を閉じる前に、どうしても表明しておきたい筆者の信念があります。

本書は、微分形式という一見すると抽象的な道具を、できるかぎり行列計算へ落とし込むことで進んできました。$dx$ を横ベクトルとして読むことも、ウェッジ積を反対称な行列の計算として扱うことも、ホッジ・スターを計量行列から作る辞書として読むことも、すべてそのための仕掛けでした。

振り返ってみると、これは単なる筆者個人の便法ではなく、少なくとも入試数学をかなり本気で通過してきた理系学生がすでに身につけている代数的訓練を、大学数学の入口で「悪用」する試みでもあったのかもしれません。日本の難関入試は、良くも悪くも、式を変形し、文字を置き換え、パラメータを追い、条件を整理する能力を学生に叩き込みます。微分積分学ですら例外ではありません。典型的には、置換積分や媒介変数表示の処理は、ほとんど代数的な記号操作として訓練されます。

そのような訓練はしばしば過剰で、無意味な技巧にも見えるでしょう。けれども、これを無意味だ、抽象論への妨げだ、と嘆くのではなく、身体化された強力な武器として活用する余地があるのです。

その表れとして、本書は読者にかなり多くの手計算を求めます。しかもその多くは、極限を評価したり、関数の収束を調べたりする解析的な計算というより、記号を並べ替え、成分を追い、行列を掛け、外積を展開する代数的な計算です。これは、読者を低く見積もっていないということでもあります。読者はこの程度の記号操作には耐えられるはずだ、と筆者は期待しています。あるいは、少し買いかぶっているのかもしれません。

大学数学は、あまりにも早く集合論的「定義」へ飛ぶことがあります。もちろん、抽象的な定義には強さがあります。ブルバキ的な構造の整理には、今でも学ぶべきものがあります。しかし、すでに手に入れている代数的な身体を使って、抽象概念を一度、具体的な操作として掴む道もあるはずです。本書は、その道をかなり極端な形で試したものでした。$dx=(1\ 0\ 0)$ という断言は、その象徴です。

本書の構成は、決して唯一の正解ではありません。おそらく不格好で、ところどころ強引で、標準的な教科書から見れば遠回りに見えるでしょう。それでも、もし読者がこの本を通じて、抽象的な記号を自分の手で動かせるものとして感じられたなら、本書の役目は果たされたことになります。

『ナブラ解体新書』が、あなたの物理学と数学の旅において、すでに持っている代数的な手を捨てず、より高く、より遠くへ進むための強靭な足場となることを、著者として心から願っています。

注（第三のブレイクスルー）

本書には、Dirac のブラ・ケット記法、Burke の計量遅延に続く、第三のブレイクスルーがあります。生成AI、すなわち LLM の登場です。

LLM がもたらした本当の利点は、正解を教えてくれたことではありません。むしろ、筆者の中にあった未整理の違和感、説明案、反論、言い換えを、何度でも文章として外部化し、比較し、捨てる自由を与えてくれたことでした。ひとりでノートに閉じ込めていれば数年かかっても形にならなかったであろう断片を、草稿として並べ、崩し、また組み直すことができた。実際、本書が現在の形にたどり着くまでに要した時間は数ヶ月に過ぎません。その意味で、LLM は本書の執筆を可能にした強力な壁打ち相手でした。

とはいえ、これは「LLM のおかげで楽に書けました」という美談ではありません。むしろ、LLM は放っておくとすぐ標準理論へ話を回収します。$dx$ は余接基底です。外微分は多様体上の自然な演算です。Hodge star は計量と向きから定まります。はい、その通りです。しかし筆者が書きたかったのは、その正しい説明へ行く前に、なぜ初学者がそこで置き去りにされるのかを、行列計算と有限セルの手触りでたどる本でした。

したがって執筆中の筆者は、しばしば LLM に向かって「まだ多様体へ行くな」「まず $dx=(1\ 0\ 0)$ と書け」「まず有限マス目を数えろ」「そこで計量を入れるな」と言い続けることになりました。便利な道具を使っているはずなのに、かえって自分がトンデモを書いているのではないかと不安になる、奇妙な作業でもありました。

生成AIは、多くの草稿や言い換えを出力しました。しかし、本書に残った文章は、すべて筆者が選び、削り、直し、時には標準的すぎる説明から引き剥がしたものです。もし本書に、標準理論へすぐには帰りたがらない妙な粘りや、余計なメタ発言があるなら、それは筆者の癖です。そして、もし数学的な誤りが残っているなら、それもまた LLM ではなく、筆者の責任です。