yagibrary

あだ名のやぎと図書館のlibraryを組み合わせてyagibraryです。本から学んだことをみなさんに紹介します。

【読書メモ／良き社会のための経済学】ジャン・ティロール『良き社会のための経済学』序論を読む：今こそ問う「共通善」と経済学の役割

ノーベル経済学賞を受賞したジャン・ティロールの著書『良き社会のための経済学（Economics for the Common Good）』。本書の導入部分である「序論（Introduction）」では、現代社会における市場経済の支配と、それに対する人々の不信感、そして私たちが目指すべき「共通善（Common Good）」について、深い考察が展開されています。この記事では、序論のキーポイントとなる「無知のベール」や「経済学の役割」について分かりやすく解説します。

  • 市場経済の勝利と、失われた「共通善」
    • 高まる不信感と怒り
  • 「無知のベール」から考える理想の社会
    • 「もし自分が、どのような立場で生まれるか分からなかったら？」
    • 個人の利益と公共の利益の調和
  • 経済学が共通善のためにできること
    • 1. 目的と手段を明確に区別する
    • 2. 共通善を達成するためのツール開発を支援する
  • 本書の構成：旅のロードマップ
  • まとめ：経済学は「陰鬱な科学」ではない

市場経済の勝利と、失われた「共通善」

計画経済が崩壊して以降、市場経済は私たちの社会において支配的なモデルとなりました。民営化やグローバリゼーション、自由競争の促進によって市場は拡大し、多くの恩恵をもたらしてきた一方で、人々の心と信頼を完全には掴んでいません。

多くの人々は、重要な公共の指針であるはずの「公共の福祉（共通善）」が、経済秩序の祭壇で犠牲にされたと感じているからです。

高まる不信感と怒り

世界中で、市場の優位性は広範な不信感をもって見られています。金融危機や不平等の拡大、気候変動への対処における指導者層の無能さにより、社会契約の崩壊や人間の尊厳の喪失を嘆く声が上がっています。「世界は売り物ではない」という言葉に象徴されるように、経済的な利益が人間の価値観や持続可能性よりも優先されることへの強い危機感が存在しています。

私たちは、共通善を見失ってしまったのでしょうか？ もしそうなら、経済学はそれを再び追求するためにどのような役割を果たすことができるのでしょうか。

「無知のベール」から考える理想の社会

ティロールは、共通善を定義することに内在する恣意性を排除するために、哲学的な思考実験を提案しています。それが、哲学者ジョン・ロールズらが提唱した「無知のベール（Veil of Ignorance）」です。

「もし自分が、どのような立場で生まれるか分からなかったら？」

自分がまだ生まれておらず、以下のような条件を一切知らないと仮定してみましょう。

  • 自分の性別や健康状態
  • 裕福な家庭に生まれるか、貧しい家庭に生まれるか
  • 教育を十分に受けられる環境か
  • 宗教や民族的背景、育つ地域（大都市か田舎か）

このような「無知のベール」の背後に身を置いた状態で、自問するのです。

「自分にどのような可能性があるかを知った上で、あなたはどのような社会に住みたいだろうか？」

この問いかけは、私たち自身の今の属性や社会における立場から自らを切り離し、公平な視点から社会システムを考えることを要求します。

個人の利益と公共の利益の調和

理想の社会とは、「市民やリーダーが、自発的に個人的利益よりも共通の利益を常に優先する社会」ではありません。人間は、しばしば自己の利益を優先し、インセンティブに反応します。これを無視した過去の全体主義社会（「新しい人間」というソ連の神話に象徴される失敗）は、社会を貧困化させました。

重要なのは、個人が直面するインセンティブを理解し、個人の利益と公共の利益を可能な限り調和させるための「制度」を構築することです。市場経済もまたそれ自体が目的ではなく、共通善を達成するための手段の一つに過ぎません。

経済学が共通善のためにできること

ティロールによれば、経済学は単に私有財産や企業利益を最大化するためのものではなく、国家が自身の価値観を押し付けるための道具でもありません。経済学の本質的な目的は、「世界をより良い場所にすること」であり、公共の利益を促進する制度と政策を特定することにあります。

経済学は、公共の利益の追求に次の2つの方法で貢献できます。

1. 目的と手段を明確に区別する

残念ながら、市場のような制度や特定の権利、経済政策という「手段（道具）」がそれ自体で目的となり、本来の目的を見失ってしまうことがあります。経済学は、公共の利益に具現化された目標についての議論を深め、目的と手段を正しく位置づける役割を果たします。

2. 共通善を達成するためのツール開発を支援する

共通善の定義について社会的な合意が形成されれば、それを具体的に達成するための制度設計や政策ツールを経済学が提供します。たとえば、気候変動対策としての炭素排出量への価格設定や、共有財産である水資源の管理などがこれにあたります。

本書の構成：旅のロードマップ

本書『良き社会のための経済学』は、以下の5つの主要なテーマから構成されています。

テーマ1
社会と経済学の関係
テーマ2
経済学者の専門職
テーマ3
経済的文脈における制度（国家と企業）
テーマ4
マクロ経済的課題（気候変動、労働市場、ユーロ、金融）
テーマ5
産業的課題（競争政策、デジタル革命、イノベーション、公共サービス）

本書は、単に既存の答えを並べるのではなく、私たちの周りの世界をよりよく理解するためのツールを提供することを目的としています。経済学という学問の持つ定量的なアプローチと、個人・集団の行動研究を組み合わせた力を借りて、現代の大きな課題へと向き合っていきます。

まとめ：経済学は「陰鬱な科学」ではない

かつてトマス・カーライルによって「陰鬱な科学」と呼ばれた経済学ですが、ジャン・ティロールの描く経済学は、それとは対極にあります。経済学は、私たちが社会で直面する課題（失業、地球温暖化、不平等など）に対して、具体的な解決策を提示し、より良い公共政策を提案する力を秘めています。

私たちの直感や感情に惑わされることなく、「無知のベール」の向こう側にある誰もが納得できる社会システムを模索すること。それこそが、公共の利益（共通善）のための経済学の使命なのです。

続きを読む

【読書メモ／System Design on AWS 第1章】堅牢なシステムを支える「土台」：システム設計の基本概念とトレードオフ

AWS コンピュータサイエンス 洋書 読書

「システム設計」と聞くと、難解な図解や複雑な数式を思い浮かべるかもしれません。しかし、その本質は非常にシンプルです。それは「あちらを立てれば、こちらが立たず」というトレードオフの中で、最良のバランスを見つけることです。

本記事では、AWSで大規模システムを構築するためのバイブル『System Design on AWS』の第1章をもとに、プログラミング初心者の方でも「なるほど！」と思えるように各用語を噛み砕いて解説します。

この記事の背景

プログラミングを始めたばかりの頃は、「動くものを作る」ことに必死です。しかし、ユーザーが100人、1万人、100万人と増えていくと、ただ動くだけでは足りなくなります。

「急にアクセスが増えて止まった」「データが消えた」「更新したはずなのに古い情報が表示される」……。こうしたトラブルを防ぐために必要なのがシステム設計の知識です。第1章で語られる「土台」の部分を、丁寧に紐解いていきましょう。

1. 通信：サーバー同士の「おしゃべり」

システムは複数のサーバーが協力して動きます。その協力の方法には大きく分けて2種類あります。

同期通信 (Synchronous)

電話のようなものです。相手が返事をするまで、自分は受話器を持ったまま待機（ブロック）します。

  • メリット：すぐに結果がわかるので確実。
  • デメリット：相手の処理が遅いと、自分もずっと待たされる。

非同期通信 (Asynchronous)

メールやLINEのようなものです。メッセージを投げたら、返信を待たずに自分の作業に戻ります。

  • メリット：相手を待たなくていいので、自分の処理がスムーズ。
  • デメリット：いつ返事が来るかわからない。返事が来なかった時の対応（リトライなど）を考えておく必要がある。

2. 一貫性：データの「正しさ」

一貫性とは、どこから見てもデータが同じであることを指します。

なぜ重要か？

例えば、銀行で1万円おろしたのに、別のATMで見たらまだ残高が減っていない（古いデータが見える）としたら大問題ですよね。これが「一貫性がない」状態です。

一貫性のグラデーション（スペクトル）

  • 強い一貫性：更新したら、0.1秒後でも全員が最新版を見れる。最高だけど、実現にはコストがかかり、システムの速度が落ちることもあります。
  • 結果整合性：「そのうち全員に伝わるから、ちょっとの間だけ古いデータが見えても許してね」という考え。SNSの「いいね」数などは、一瞬のズレが命取りにならないので、これで十分なことが多いです。

3. 可用性：システムが「起きている」時間

可用性は、システムがどれだけ元気に動いているかを示す割合です。

「ナイン」の魔法

可用性は「99.9%（3ナイン）」のように「9」の数で数えます。

  • 99%：年間3.6日も止まる。意外と多いですよね。
  • 99.999%：年間わずか5分！これを目指すには、相当な工夫が必要です。

直列と並列のルール

  • 直列：10台のサーバーが順番に並んでいると、どこか1台でも壊れたらアウト。全体の故障率は上がります。
  • 並列：予備のサーバーを横に並べておけば、1台壊れても他がカバーします。「予備を持つ（冗長化）」だけで、可用性は爆発的に上がります。

4. 信頼性：どれくらい「頼りになる」か

可用性と似ていますが、少し違います。

  • 可用性：「今、使える状態か？」
  • 信頼性：「一定期間、壊れずに動いてくれるか？」

例えば、たまにエンジントラブルで止まるけどすぐ直る車は「可用性は高い（すぐ使えるようになる）」かもしれませんが、「信頼性は低い（いつ止まるか不安）」と言えます。MTBF（平均故障間隔）を伸ばすことが、信頼性向上のカギです。

5. スケーラビリティ：リソースの「伸ばし方」

アクセスが増えたときに、どう対応するか？

垂直スケーリング (スケールアップ)

1台のサーバーを「最強のサーバー」に改造することです。

  • イメージ：今あるキッチンのコンロを増やす。
  • 限界：1台のスペックには物理的な上限があり、改造費用も高くなります。

水平スケーリング (スケールアウト)

安いサーバーを「たくさん並べる」ことです。

  • イメージ：同じようなキッチンを3つ作る。
  • 強み：1台がダメになっても他でカバーでき、理論上は無限に増やせます。現代のクラウド設計の主流はこちらです。

6. 保守性：未来の自分への「優しさ」

システムは作って終わりではありません。

  • 運用性：異常があったらすぐ気づけるか？
  • 明快さ：コードを読んだときに「何これ？」とならないか？
  • 修正しやすさ：一部を直したときに、全然関係ないところが壊れないか？

これらを意識することが、長く愛されるシステムを作る秘訣です。

7. 耐障害性：ピンチからの「復旧力」

壊れることを前提に、「壊れてもデータを守る」仕組みです。

  • レプリケーション：あらかじめコピーを作っておく。
  • チェックポイント：「ここまでのデータはセーブしたよ」という記録をこまめに取る。

ここで出てくるRPO（目標復旧時点）とRTO（目標復旧時間）という言葉は覚えておいて損はありません。「どれくらい前のデータまでなら消えても許せるか？」と「何分以内に復旧させるか？」という約束事のことです。

分散システムの「8つの罠（誤謬）」

システムを設計するとき、つい「ネットワークは常に完璧だ」と思い込んでしまいがちですが、それは誤謬（間違い）です。

1. ネットワークは信頼できる（→ いいえ、時々切れます）
2. 遅延はゼロである（→ いいえ、通信には時間がかかります）
3. 帯域幅は無限である（→ いいえ、道は混みます）
4. ネットワークは安全である（→ いいえ、ハッカーが狙っています）
5. トポロジーは変化しない（→ いいえ、サーバーは増減します）
6. 管理者は1人である（→ いいえ、たくさんの人が関わります）
7. 輸送コストはゼロである（→ いいえ、お金がかかります）
8. ネットワークは均質である（→ いいえ、色んな機器が混ざっています）

これらを「当たり前」だと思わずに設計することが、プロへの第一歩です。

究極の選択：トレードオフの正体

システム設計で最も有名なのがCAP定理です。「一貫性」「可用性」「分断耐性」の3つのうち、2つまでしか同時に満たせないというルールです。

しかし、現実はもっと複雑です。そこで出てくるのがPACELC（パセルク）定理です。

  • トラブル時：可用性と一貫性、どっちを取る？
  • 正常な時でも：速さ（レイテンシ）と一貫性、どっちを優先する？

「100%完璧」は存在しません。「今回は速さを優先して、データの正しさは少しだけ待ってもらおう」といった判断をすることが、設計そのものなのです。

まとめ：大切なのは「It Depends（状況による）」

最後に、迷ったときのガイドラインを一つだけ紹介します。

「It Depends（状況による）」

「どの設計が最強ですか？」という質問に、唯一の答えはありません。

  • 銀行なら、一貫性が命。
  • Twitterなら、一貫性より可用性（すぐに見れること）。

それぞれのユースケース（使い道）に合わせて、これまで紹介した概念のバランスを調整していきましょう。

学んだことの整理

テーマ 初心者がまず覚えること
通信 電話（待つ）か、メール（待たない）か
スケーリング 最強の1台を作るか、そこそこの10台を並べるか
トレードオフ 100点満点のシステムはない。バランスが大事。

次にやること

次は、これらの概念が実際にどうやってデータとして保存されるのか、**第2章「リレーショナルデータストア」**で詳しく見ていきましょう！

参考リンク

System Design on AWS: Building and Scaling Enterprise Solutions (English Edition)

System Design on AWS: Building and Scaling Enterprise Solutions (English Edition)

Amazon
System Design on AWS Building and Scaling Enterprise Solutions【電子書籍】[ Jayanth Kumar ]

System Design on AWS Building and Scaling Enterprise Solutions【電子書籍】[ Jayanth Kumar ]

ランキング参加中
読書
ランキング参加中
【公式】2023年開設ブログ
ランキング参加中
初心者グループ
ランキング参加中
プログラミング

【読書メモ：FACTFULNESS 第1章 分断本能】分断本能を超えて

「途上国」と「先進国」。わたしたちは当たり前のようにこの2つの言葉で世界を分けています。しかし、このシンプルな分類は50年以上も前の世界像に基づいたものだとしたら？ ハンス・ロスリング著『FACTFULNESS』第1章「分断本能」は、わたしたちの世界観がいかに時代遅れであるかを突きつけてきます。この記事では、その要点を整理しながら、世界を正しく見るための思考法を紹介します。

あなたの世界観は何年前のもの？

1995年のある日、カロリンスカ医科大学の教授であるハンス・ロスリングは、学生たちにユニセフの年報データを使って各国の乳幼児死亡率を調べさせました。

サウジアラビアは35（1000人あたり）。マレーシアは14。タンザニアは171。

ロスリングが強調したのは、乳幼児死亡率は「社会全体の体温計」だということです。この数字ひとつで、その国の食料事情、水道インフラ、医療アクセス、教育水準が見えてくる。数字は単なる統計ではなく、人々の暮らしそのものを映し出しているのです。

そして授業の最中、ある学生がこう言いました。

「その人たち（途上国の人々）はいつまで経っても、わたしたちのような暮らしをすることはないと思います」

クラスのほとんどがうなずきました。しかしロスリングは驚きませんでした。彼はむしろ、この「分断を強調する意見」を待っていたのです。

1965年と現在 ― 世界は劇的に変わった

ロスリングが示したデータは衝撃的でした。

1965年のチャートでは、世界は確かに「途上国」と「先進国」の2つに分断されていました。「途上国」の枠には125カ国が入り、女性は平均5人以上の子供を産み、乳幼児生存率も低い。一方の「先進国」44カ国では少子・高生存率。その間には2%の人口しかいませんでした。

しかし、現在のデータを見ると世界の姿は一変しています。

  • 全人口の85%が、かつて「先進国」と呼ばれた枠の中に入っている
  • 「途上国」の枠に残っているのは、全人口のわずか6%（13カ国）
  • インドや中国を含む大半の国で、出生率は下がり、乳幼児生存率は劇的に向上

つまり、1965年の地図で今日の世界をナビゲートするようなもの。それが「途上国」「先進国」という分類を使い続けることの危うさなのです。

「分断本能」とは何か

ロスリングはこの思い込みの原因を「分断本能」と名付けました。

人は誰しも、物事を2つのグループに分けたがります。良いか悪いか、正義か悪か、金持ちか貧乏か。世界を2つに分けるのはシンプルで直感的、しかもドラマチックです。メディアもこの本能を刺激します。「極度の貧困層 vs 億万長者」という対比は伝わりやすく、「世界の大多数が少しずつ良い暮らしをし始めている」という話は伝わりにくい。

しかし、データが示す現実は明快です。

  • 世界で最も多くの人が住んでいるのは中所得国
  • 低所得国に暮らしているのは世界人口のわずか9%
  • 人類の75%は、かつて「途上国」と「先進国」の間にあると思われていた中間に暮らしている

世界が分断され、大半の人が惨めで困窮した生活を送っているというのは幻想でしかない。はっきり言って、完全な勘違いだ。

さらに興味深いのは、低所得国の実態も人々のイメージよりはるかに良いということ。低所得国の60%の女子が小学校を卒業し、平均寿命は62歳。多くの人が安全な水にアクセスでき、ワクチンも接種しています。ところが「低所得国の女子の何割が初等教育を修了するか？」という質問に正解できたのは、わずか7%の人だけ。チンパンジーがランダムに選んでも33%は当たるのに、です。

4つのレベルで世界を見る

では「途上国」「先進国」に代えて、どう世界を見ればいいのか。ロスリングが提唱するのは、所得レベルに応じた4つのグループです。

レベル 1日あたりの所得 世界人口 暮らしのイメージ
レベル1 〜2ドル 約10億人 裸足で水汲み、粥だけの食事、子供が病気で亡くなる
レベル2 2〜8ドル 約30億人 サンダル、自転車、灯油ストーブ、子供は学校へ
レベル3 8〜32ドル 約20億人 水道、冷蔵庫、バイク、子供は高校へ
レベル4 32ドル〜 約10億人 車、飛行機、外食、12年以上の教育

大半の人（50億人）はレベル2かレベル3に属しています。極度の貧困（レベル1）にいる人は約10億人で、一方の裕福な消費者（レベル4）も約10億人。世界は「金持ち」と「貧乏人」に二分されているのではなく、大多数がグラデーションの中間にいるのです。

ロスリングはこう述べています。

ドラマチックすぎる「分断された」世界の見方の代わりに、4つのレベルで考える。これこそが、「事実に基づく世界の見方」を支える、ひとつめにして最も重要な柱だ。

分断本能を抑える3つのポイント

ロスリングは、分断本能に騙されないために注意すべき3つのポイントを挙げています。

1. 平均の比較に騙されない

平均だけを見ると分断があるように見えても、分布を見ると重なりがあることが多いです。

たとえば、アメリカの大学入試の数学科目で、男女の平均点を比較すると分断があるように見えます。しかし、点数の分布を見ると、男女のグラフはほとんど重なっています。メキシコとアメリカの所得比較も同様で、平均値だけでは見えない重なりが存在します。

平均の一歩先にある「分布」に注目することで、より正確な全体像をつかむことができます。

2. 極端な数字の比較に騙されない

わたしたちは極端な話に興味を持ちやすく、記憶にも残りやすい。南スーダンの飢餓と自分の豊かな暮らしを比べたり、最悪の独裁政権と最良の民主主義を比べたり。

しかし、両極端な例はほとんどの人に当てはまらないのです。ブラジルでは最も裕福な10%が国全体の所得の41%を得ていますが、4つのレベルに当てはめると、大半はレベル3に属しています。世界的に見ても、格差が大きい国でさえ、分断は見当たりません。

3. 上からの景色に騙されない

レベル4の暮らしをしている人にとって、レベル1〜3はどれも同じように貧しく見えてしまいます。高層ビルの上から見下ろすと、低い建物の高さの違いがわからなくなるのと同じです。

しかし「下界」に住む人にとって、レベル1とレベル2の違いは人生を左右するほど大きい。1日1ドルの暮らしと1日2ドルの暮らしは、わたしたちには小さな差に見えても、当事者にとっては劇的な変化です。自転車ひとつで市場への移動時間が何時間も縮まり、生活が一変する。そのリアリティを想像できるかどうかが問われています。

まとめ ― 分断ではなくグラデーションで世界を見る

『FACTFULNESS』第1章が教えてくれるのは、世界は「分断」ではなく「グラデーション」でできているということです。

要点を振り返ります。

  • 「途上国」vs「先進国」という二分法は50年以上前の世界像に基づいている
  • 世界の75%の人々は中所得国に暮らし、大半は「中間」にいる
  • 4つのレベルで捉えることで、世界をより正確に理解できる
  • 平均値だけでなく分布を見る。極端な例ではなく大多数を見る。上からではなく同じ目線で見る

「知っていると思っている」ことほど危険なものはありません。自分の頭の中にある世界のイメージが、データと一致しているか。そう問いかけ続ける姿勢こそが、ロスリングが本書で最も伝えたかったことではないでしょうか。

FACTFULNESS（ファクトフルネス）10の思い込みを乗り越え、データを基に世界を正しく見る習慣

FACTFULNESS（ファクトフルネス）10の思い込みを乗り越え、データを基に世界を正しく見る習慣

Amazon
FACTFULNESS（ファクトフルネス） 10の思い込みを乗り越え、データを基に世界を正しく見る習慣 [ ハンス・ロスリング ]

FACTFULNESS（ファクトフルネス） 10の思い込みを乗り越え、データを基に世界を正しく見る習慣 [ ハンス・ロスリング ]

前野『微分形式と物理』第0章を読む：ゲージ場の量子論を目指して

https://irobutsu.a.la9.jp/kougi/DFC.pdf

物理学を学んでいると、「微分形式」や「解析力学の洗練された部分」につまずいてしまった経験はないでしょうか。今回は、物理をシンプルに記述するための強力なツールである微分形式について、非常にわかりやすいと評判の前野氏の講義ノート『微分形式と物理』をピックアップします。

この記事ではその「第0章（序）」の内容に絞り、講義の目的や独自ルール（Notation）を整理した学習メモを共有します。

講義の2つの大きな目標

本講義では、大きく以下の2点を目標として設定されています。

  • 微分形式を使って物理を表現すること

学部レベルの物理学では微分形式はあまり表立って使われません。しかし、力学（解析力学）や電磁気学、熱力学などの多様な分野を、非常に簡素かつ見通しの良い形でエレガントに記述できる強力なツールです。

  • 拘束がある系の物理を考えること

本来のメインテーマは「拘束系」の扱いとのことです。拘束系の物理は、素粒子理論や重力理論における「ゲージ理論」を理解するために極めて重要です。最終的な目標は「ゲージ場の量子論」を語ることであると高らかに宣言されています。

なお、あくまで「物理としてどう使うか」に主眼を置くため、数学的な厳密さにはこだわりすぎないというスタンスをとっており、これから物理を学びたい学習者にとって非常に心理的ハードルが低い作りになっています。

特徴的な記法（Notation）を知る

この資料の中で数式を読み解く上で事前に知っておくべき、独自の記法や前提条件（Notation）がいくつか紹介されています。

計量の符号

3次元空間から3+1次元時空へのつながりをスムーズかつ自然にするため、空間方向側の符号を正とする「(-, +, +, +)」の計量（メトリック）を採用しています。

変数のまとめ書き

関数の引数などで x^1, x^2, \dots, x^N のように全ての座標成分を列挙したいときは、煩雑さを避けるためまとめて \{x^\cdot\} と略記します。

これは「考えている次元（ N次元）の全成分」を表します。文脈が空間のみであれば空間成分全体（ x^iの全成分）、時空（3+1次元など）を考えているなら時空成分全体（ x^\muの全成分）のどちらも指し示すことができる便利な略記法です。

独自の「アインシュタインの縮約記法」と可視化

通常通り、「同じ添字が上と下で繰り返されたときは和（シグマ）をとる」というアインシュタインの規約を使用します。

特筆すべき独自ルールとして、さらに視覚的な分かりやすさを重視し、「足し上げられる添字（ダミーインデックス）は文字の色を変え、線でつなぐ」という直感的な表現が取り入れられています。これにより、数式の中でどの添字が生き残り、どれが和をとられているかが一目で分かります。

空間成分と時空成分の使い分け

インデックスとして使う文字によって、和をとる範囲（空間のみか、時間も含むか）を明確に区別します。

  • 英字（ i, j, \dots）: 空間成分（通常は1〜3、または x, y, z）を表す。
  • ギリシャ文字（ \mu, \nu, \dots）: 時空成分（時間成分の0を含めた、0〜3）を表す。

まとめ

第0章は、この講義・資料全体の「目的」と、数式を読む上で大切な「独自の記法（ Notation ）」が非常にていねいに宣言されている部分でした。最終目標である「ゲージ場の量子論」に向けて、拘束系の物理を扱うツールとして「微分形式」を導入するというストーリーに、わくわくさせられますね。

次回は、いよいよ本編である1.1節以降の内容に踏み込んでいきたいと思います！

【微分幾何学】接ベクトル束入門 ― Nakaharaで学ぶファイバー束の第一歩

Nakahara "Geometry, Topology and Physics" の第9.1節をもとに、ファイバー束の導入的な例である接線バンドル（tangent bundle）を解説する。多様体が局所的に \mathbb{R}^m に見えるのと同様に、ファイバー束は局所的に2つの位相空間の直積に見える。

接線バンドルの定義

m 次元多様体 M 上の接線バンドル TM は、すべての点の接空間を集めたものである。

\displaystyle TM \equiv \bigcup_{p \in M} T_pM

チャート U_i に制限したものが：

\displaystyle TU_i \equiv \bigcup_{p \in U_i} T_pM

TU_i の元：点とベクトルのペア

TU_i の元 u は以下の2つの情報で決まる：

  • 点 p \in U_i（多様体上のどこか）
  • ベクトル V \in T_pM（その点での接ベクトル）

すなわち u = (p, V) というペアである。

同一視 (p, V) \mapsto (x^\mu, V^\mu)

Step 1: 点 p を数にする（チャート写像 \varphi_i）

\displaystyle p \xmapsto{\varphi_i} \bigl(x^1(p),\; x^2(p),\; \ldots,\; x^m(p)\bigr) \in \mathbb{R}^m

Step 2: ベクトル V を数にする（座標基底で展開）

チャートから自然に定まる座標基底 \left\{\frac{\partial}{\partial x^\mu}\big|_p\right\} でベクトルを展開する：

\displaystyle V = V^\mu \frac{\partial}{\partial x^\mu}\bigg|_p = V^1 \frac{\partial}{\partial x^1}\bigg|_p + V^2 \frac{\partial}{\partial x^2}\bigg|_p + \cdots + V^m \frac{\partial}{\partial x^m}\bigg|_p

成分 (V^1, V^2, \ldots, V^m) \in \mathbb{R}^m がベクトルの数値表現である。

Step 3: 合わせて同一視

\displaystyle (p, V) \;\longmapsto\; \bigl(\underbrace{x^1, \ldots, x^m}_{p \text{ の座標}},\; \underbrace{V^1, \ldots, V^m}_{V \text{ の成分}}\bigr) \in \mathbb{R}^m \times \mathbb{R}^m

ポイント: チャート \varphi_i を1つ選べば、点の座標もベクトルの成分も両方決まる。だから TU_i \cong \mathbb{R}^m \times \mathbb{R}^m は 2m 次元の多様体。

「同一視」とは何をしているのか？

この同一視は、「抽象的な幾何学的オブジェクト」を「具体的な数の組」に翻訳する写像である。

出発点となるペア (p, V) は、この時点ではまだ抽象的な存在である：

  • p は多様体上の抽象的な「点」（まだ数字ではない）
  • V は T_pM の中の抽象的な「矢印」（まだ数字ではない）

チャート写像 \varphi_i を1つ選ぶと、この2つが同時に数値化される：

操作 入力 出力 使うもの
点を数値化 抽象的な点 p (x^1, \ldots, x^m) \in \mathbb{R}^m チャート写像 \varphi_i
ベクトルを数値化 抽象的なベクトル V (V^1, \ldots, V^m) \in \mathbb{R}^m \varphi_i が誘導する座標基底 \partial/\partial x^\mu

ここで重要なのは、ベクトルの成分 V^\mu もチャート \varphi_i によって決まるという点である。チャートが座標 x^\mu を定めると、それに伴って座標基底 \partial/\partial x^\mu|_p が自然に定まり、ベクトル V の展開係数 V^\mu も自動的に決まる。つまり、チャートを1つ選ぶという1回の操作で、 2m 個の実数がすべて確定する。

具体例：2次元球面 S^2

m = 2 の場合を考える。球面上のチャート U_i に球面座標 (\theta, \phi) を用いるとする。

点の座標化：

\displaystyle p \xmapsto{\varphi_i} (\theta(p),\; \phi(p)) \in \mathbb{R}^2

例えば、北緯45度・東経90度の点なら (\theta, \phi) = (\pi/4,\; \pi/2)。

ベクトルの成分化：

座標基底は \left\{\frac{\partial}{\partial \theta}\big|_p,\; \frac{\partial}{\partial \phi}\big|_p\right\} であり、接ベクトル V は：

\displaystyle V = V^\theta \frac{\partial}{\partial \theta}\bigg|_p + V^\phi \frac{\partial}{\partial \phi}\bigg|_p

例えば、「北向きに3、東向きに2」のベクトルなら (V^\theta, V^\phi) = (3, 2)。

同一視の結果：

\displaystyle (p, V) \;\longmapsto\; (\underbrace{\pi/4,\; \pi/2}_{\text{点の座標}},\; \underbrace{3,\; 2}_{\text{ベクトルの成分}}) \in \mathbb{R}^2 \times \mathbb{R}^2

このように、幾何的な (p, V) が4つの実数に対応する。 TU_i は 2 \times 2 = 4 次元の多様体。

まとめ： 「同一視」とは、チャート \varphi_i を使って抽象的な幾何を \mathbb{R}^{2m} の具体的な数に翻訳する操作であり、これにより TU_i は \mathbb{R}^m \times \mathbb{R}^m と同一視できる。ただし、この翻訳はチャートに依存するため、チャートを変えれば数値表現も変わる（→ 遷移関数の話に繋がる）。

射影写像（Projection Map）

大域的に定義される射影写像：

\displaystyle \pi: TM \longrightarrow M, \quad \pi(p, V) = p

  • ペア (p, V) から点 p だけを取り出す
  • ファイバー： \pi^{-1}(p) = T_pM（点 p での接空間全体）

「 M 上で大域的に定義される」とは？

「大域的に定義される」とは、 M のどの点 p に対しても、特定のチャート（座標系）を選ばずに \pi が一意に定まるということである。

なぜ \pi はチャートに依存しないのか

\pi の定義を改めて見ると：

\displaystyle \pi(p, V) = p

この操作は「ペアの第1成分を取り出す」だけであり、座標 x^\mu や成分 V^\mu を一切使っていない。点 p もベクトル V も、座標を導入する前から多様体上に存在する内在的な幾何学的オブジェクトであり、 \pi はそれらの間の純粋に幾何学的な対応を記述している。

したがって、 \pi はどのチャート U_i の上でも同じように機能し、チャートの境界をまたいでも矛盾が生じない。

対比：局所的にしか定義されないもの

一方、ベクトルの成分 V^\mu はチャートに依存する局所的な量である：

量 大域的？ 理由
点 p \in M ✅ 大域的 座標によらず存在する幾何学的対象
ベクトル V \in T_pM ✅ 大域的 座標によらず存在する幾何学的対象
射影 \pi(p,V) = p ✅ 大域的 座標を使わない純粋に幾何学的な操作
成分 V^\mu ❌ 局所的 チャート U_i の座標基底に依存する
同一視 (p,V) \mapsto (x^\mu, V^\mu) ❌ 局所的 チャート \varphi_i の選び方に依存する

要点： \pi は「どの接ベクトルがどの点に付いているか」を返す操作であり、これは座標の選び方に一切依存しない。だから M 全体で矛盾なく定義できる（＝大域的）。

確認： \pi^{-1}(p) = T_pM

\pi^{-1}(p) は逆像（inverse image）であり、「 \pi によって p に写される TM の元をすべて集めた集合」のことである。

\displaystyle \pi^{-1}(p) = \{ u \in TM \mid \pi(u) = p \}

これが T_pM と一致することを、以下の3ステップで確認する。

Step 1. TM の元の構造を思い出す。

TM = \displaystyle\bigcup_{q \in M} T_qM であるから、 TM の任意の元 u は、ある点 q \in M とベクトル V \in T_qM の組 u = (q, V) と書ける。

Step 2. \pi(u) = p となる条件を調べる。

射影の定義 \pi(q, V) = q より：

\displaystyle \pi(u) = p \iff q = p

つまり、 \pi(u) = p となるのは u の基点が p である場合に限る。

Step 3. 逆像を求める。

q = p と固定すると、 u = (p, V) の中で自由に動けるのはベクトル V \in T_pM だけである。 V は T_pM のすべてのベクトルを取り得るから：

\displaystyle \pi^{-1}(p) = \{ (p, V) \mid V \in T_pM \} = T_pM \quad \square

直感的理解： \pi は「どの点の接空間に属しているか」を教える写像である。逆に、特定の点 p を指定してその逆像を取ると、「 p の接空間に属するすべてのベクトル」が集まる。これがまさに T_pM である。

遷移関数と構造群

チャートの重なり U_i \cap U_j で座標が x^\mu \to y^\mu と変わるとき、ベクトルの成分は：

\displaystyle \tilde{V}^\nu = \frac{\partial y^\nu}{\partial x^\mu} V^\mu

このヤコビ行列 \left(\frac{\partial y^\nu}{\partial x^\mu}\right) が遷移関数であり、これは正則行列なので GL(m, \mathbb{R}) の元。

GL(m, \mathbb{R}) が接線バンドルの構造群（structure group）。

補足：非特異であることと GL(m, \mathbb{R}) の元であること

GL(m, \mathbb{R}) の定義

一般線型群 GL(m, \mathbb{R}) は以下のように定義される：

\displaystyle GL(m, \mathbb{R}) \equiv \{ A \in \mathrm{Mat}(m \times m,\, \mathbb{R}) \mid \det A \neq 0 \}

すなわち、 m \times m の実行列のうち行列式がゼロでないもの全体の集合である。

線形代数の基本定理により、以下はすべて同値である：

\displaystyle \text{行列 } A \text{ が非特異（正則）} \iff \det A \neq 0 \iff A^{-1} \text{ が存在する}

したがって、「非特異であること」と「 GL(m, \mathbb{R}) の元であること」は同値である。

なぜヤコビ行列は非特異なのか？

座標変換 x^\mu \to y^\nu が「良い座標変換」であるためには、逆変換 y^\nu \to x^\mu が存在しなければならない（微分同相写像である必要がある）。

逆関数定理により：

\displaystyle \text{座標変換が局所的に可逆} \iff \det\left(\frac{\partial y^\nu}{\partial x^\mu}\right) \neq 0

もし \det = 0 なら、変換先で座標が「つぶれて」しまい、独立な座標系として機能しない。多様体の定義上、チャート間の遷移写像は微分同相であることが要求されるため、ヤコビ行列の行列式は必ずゼロでない。

構造群としての意味

チャートを U_i から U_j に変えるたびに、接ベクトルの成分はヤコビ行列で線形に変換される：

\displaystyle \tilde{V}^\nu = \underbrace{\frac{\partial y^\nu}{\partial x^\mu}}_{\in\, GL(m,\,\mathbb{R})} V^\mu

ファイバー束の言葉では、チャートを切り替えるたびにファイバーの「座標」が GL(m, \mathbb{R}) の元で回される。この「回し方」を支配する群が構造群であり、接線バンドルの場合は GL(m, \mathbb{R}) がその役割を果たす。

切断（Section）＝ ベクトル場

切断の定義

接線バンドル TM の切断（section または cross section）とは、滑らかな写像

\displaystyle s: M \longrightarrow TM

であって、以下の条件を満たすものをいう：

\displaystyle \pi \circ s = \mathrm{id}_M

\pi \circ s = \mathrm{id}_M は何を意味するのか？

この条件を具体的に追いかけてみよう。任意の点 p \in M に対して：

\displaystyle (\pi \circ s)(p) = \pi(s(p)) = p

s(p) は TM の元であるから、これはあるペア (q, V)（点 q と接ベクトル V \in T_qM）である。射影は \pi(q, V) = q であったから：

\displaystyle \pi(s(p)) = q = p

つまり、 s が点 p に割り当てるベクトルは、必ず点 p 自身の接空間 T_pM に属していなければならない。

この条件がないと、 s は点 p に対して別の点 q \neq p の接ベクトルを割り当てることもできてしまう。 \pi \circ s = \mathrm{id}_M は「割り当てるベクトルが正しい点に付いている」ことを保証する制約である。

図式的に書くと：

\displaystyle p \xrightarrow{s} \underbrace{(p,\, V(p))}_{\in\, TM} \xrightarrow{\pi} p

s で TM に持ち上げて、 \pi で射影して戻ると、元の点 p に戻る。

なぜベクトル場は切断なのか

多様体上のベクトル場 X とは、各点 p \in M に接ベクトル X|_p \in T_pM を滑らかに割り当てる操作のことである。これを写像として書くと：

\displaystyle X: M \longrightarrow TM, \quad p \longmapsto (p,\, X|_p)

この写像は \pi \circ X = \mathrm{id}_M を自動的に満たす（各点 p に T_pM のベクトルを割り当てているから）。

ベクトル場 ＝ 接線バンドルの切断

逆に、 \pi \circ s = \mathrm{id}_M を満たす任意の滑らかな写像 s: M \to TM は、各点 p にベクトル s(p) \in T_pM を割り当てるので、ベクトル場を定める。つまり両者は完全に同じものである。

大域的切断 vs 局所的切断

種類 定義域 意味
大域的切断 s: M \to TM 多様体 M 全体で定義されたベクトル場
局所的切断 s_i: U_i \to TU_i チャート U_i の上だけで定義されたベクトル場

大域的な切断は常に存在するとは限らない。例えば、 S^2（2次元球面）ではゼロでない大域的ベクトル場は存在しない（毛玉定理 / Hairy Ball Theorem）。これはファイバー束のトポロジーが非自明である場合に起こる現象であり、接線バンドルの大域的な構造が局所的な構造（直積）とは異なることを示す重要な例である。

まとめ

用語 意味
基底空間（base space） M
全空間（total space） TM
ファイバー（fibre） T_pM \cong \mathbb{R}^m
射影（projection） \pi: TM \to M
構造群（structure group） GL(m, \mathbb{R})
切断（section） ベクトル場 s: M \to TM

接ベクトル束 (Tangent Bundle) 入門 ― Nakahara "Geometry, Topology and Physics" 9.1節を読む

はじめに

微分幾何学におけるファイバー束 (Fibre Bundle) の理論は、ゲージ理論や一般相対性理論など現代物理学の基盤をなす数学的枠組みです。しかし、その一般的な定義はかなり抽象的で、初学者にはとっつきにくいものがあります。

中原幹夫 (Mikio Nakahara) の名著 "Geometry, Topology and Physics" では、ファイバー束の概念を導入するにあたり、まず最も身近な例である接ベクトル束 (Tangent Bundle) を「動機づけとなる例」として丁寧に解説しています。この記事では、同書の9.1節の内容に沿って、接ベクトル束の定義、局所自明性、構造群、断面（ベクトル場）といった概念を数式を交えて解説します。

接ベクトル束の定義

m 次元多様体 M を考えます。各点 p \in M には接空間 T_p M が付随しています。接ベクトル束 (Tangent Bundle) TM は、これらすべての接空間を集めた空間として定義されます：


\displaystyle TM \equiv \bigcup_{p \in M} T_p M

直感的に言えば、 TM は「多様体 M の各点に、その点における速度ベクトルの空間をくっつけた空間」です。

ここで M は底空間 (base space)、各点の接空間 T_p M \cong \mathbb{R}^m はファイバー (fibre) と呼ばれます。

局所自明性：束の「ほどき方」

ファイバー束を理解するうえで鍵となるのが局所自明性 (local triviality) です。まず直感的なイメージから入りましょう。

たとえ話：地図帳とメモ用紙

地球儀（多様体 M）の各地点に、その場所の風向き・風速を記録するメモ用紙（ファイバー \mathbb{R}^m）を1枚ずつ貼り付けることを想像してください。地球全体で見ると、メモ用紙は球面に沿って曲がっており、平らに広げることはできません。しかし、地図帳のように一部分だけ切り出せば、その領域ではメモ用紙をきれいに平らに並べて「場所 × メモの内容」という形に整理できます。

これがファイバー束の本質です：大域的には複雑にねじれうるが、十分小さな領域ではつねに「底空間 × ファイバー」という直積に分解できる。

局所自明性のイメージ図：球面上の接平面を局所的に直積に分解する様子
▲ 局所自明性のイメージ：球面（多様体）上のファイバーを、局所的に「底空間 × ファイバー」の直積へほどく

数学的な定式化

では数式に落とし込みましょう。多様体 M の開被覆 \{U_i\} を取り（「地図帳の各ページ」にあたる）、座標 x^\mu = \varphi_i(p) を導入します。 U_i の上にあるファイバーだけを集めたものを TU_i と書きます：


\displaystyle TU_i \equiv \bigcup_{p \in U_i} T_p M

TU_i の1つの元は、「どの点にいるか」と「その点でどの方向を向いているか」の2つの情報のペア (p,\; V) です。座標を入れると、点は m 個の数 x^\mu(p) で、ベクトルも m 個の成分 V^\mu(p) で表せます：


\displaystyle V = V^\mu(p) \frac{\partial}{\partial x^\mu}\bigg|_p

つまり、 TU_i の元は 2m 個の数の組 (x^1, \ldots, x^m,\; V^1, \ldots, V^m) で完全に指定できます。これはまさに直積空間そのものです：


\displaystyle TU_i \cong U_i \times \mathbb{R}^m

この同一視が局所自明化 (local trivialization) です。地図帳の各ページ（ U_i）の上では束がきれいに「ほどけて」いるわけです。

しかし、地球儀全体を1枚の平面地図には展開できないのと同じように、束を大域的に直積に分解できるとは限りません。各ページの「貼り合わせ方」にねじれが生じることがあり、そのねじれの情報を担うのが後述する遷移関数です。

射影と断面

射影 (Projection)

自然な射影 (projection) \pi: TM \to M を定義できます。局所的には、任意の u \in TU_i に対して：


\displaystyle \pi(u) = p

ここで p はベクトル u が定義されている U_i 上の点です。射影によってベクトルの情報は失われ、底空間の点だけが取り出されます。この射影は座標系の選び方に依存せず、大域的に定義されます。

点 p の逆像 \pi^{-1}(p) = T_p M が、点 p におけるファイバーです。

断面 (Section) ＝ ベクトル場

射影の逆を考えましょう。多様体の各点にベクトルを対応させる写像、すなわちベクトル場 X \in \mathcal{X}(M) は、接ベクトル束の断面 (section, cross section) として定式化されます。

形式的に、断面 s: M \to TM は滑らかな写像であり、以下の条件を満たします：


\displaystyle \pi \circ s = \mathrm{id}_M

この条件は「 s で持ち上げた後に射影 \pi で落としたら、元の点に戻る」ことを言っています。つまり、各点 p に対して s(p) \in T_p M であることを保証しています。

断面が特定のチャート U_i 上でのみ定義されている場合、これを局所断面 (local section) と呼びます。

ファイバー束の構造図：射影πと断面sの関係
▲ ファイバー束の構造：底空間 M からファイバーが立ち上がり、射影 π で落とし、断面 s で持ち上げる

遷移関数と構造群

ファイバー束の構造において最も重要な概念が遷移関数 (transition function) と構造群 (structure group) です。

座標変換がファイバーを「回転」させる

2つのチャート U_i と U_j が重なっている領域 U_i \cap U_j \neq \emptyset を考えます。それぞれの座標を x^\mu, y^\nu とします。同一のベクトル V \in T_p M は、2つの座標系でそれぞれ異なる成分表示を持ちます：


\displaystyle V = V^\mu \frac{\partial}{\partial x^\mu}\bigg|_p = \tilde{V}^\nu \frac{\partial}{\partial y^\nu}\bigg|_p

これらの成分は、座標変換のヤコビアンによって関係付けられます：


\displaystyle \tilde{V}^\nu = \frac{\partial y^\nu}{\partial x^\mu}(p) \, V^\mu

この式が遷移関数の具体例です。座標変換に伴って、ファイバーの座標（ベクトルの成分）が線形変換を受けるのです。

構造群 GL(m, \mathbb{R})

座標系が有効であるためには、ヤコビ行列


\displaystyle G^\nu{}_\mu \equiv \frac{\partial y^\nu}{\partial x^\mu}

が非退化 (non-singular) でなければなりません。つまり、この行列は一般線形群 GL(m, \mathbb{R}) に属します。

この GL(m, \mathbb{R}) が、接ベクトル束 TM の構造群 (structure group) です。構造群は、座標変換の際にファイバーの座標を「回転」させる役割を果たします。ファイバー束が「ねじれて」いるかどうかは、この遷移関数がどれだけ非自明かによって決まります。

具体例で理解する

自明束（円筒）と非自明束（メビウスの帯）の比較
▲ 自明束（円筒、左）と非自明束（メビウスの帯、右）の対比

\mathbb{R}^n の接ベクトル束

最も単純な例として、 M = \mathbb{R}^n を考えましょう。 \mathbb{R}^n は1つの座標系で覆えるため、座標変換が不要です。したがって遷移関数は恒等変換となり、接ベクトル束は大域的に自明です：


\displaystyle T\mathbb{R}^n \cong \mathbb{R}^n \times \mathbb{R}^n

球面 S^2 の接ベクトル束

一方、2次元球面 S^2 は1つのチャートでは覆えません。北極と南極を除いた2つのチャート（ステレオ投影）が必要で、重なり部分での遷移関数は非自明になります。実は TS^2 は自明束ではありません。これは「毛玉定理 (Hairy Ball Theorem)」として知られ、「 S^2 上に消えない連続的なベクトル場は存在しない」ことを意味します。つまり、大域的な断面が存在しないのです。

まとめ：ファイバー束の一般論への架け橋

接ベクトル束を通じて、ファイバー束の5つの基本的構成要素が見えてきます：

要素 接ベクトル束での実現
底空間 M 多様体 M
全空間 E 接ベクトル束 TM
ファイバー F 接空間 T_p M \cong \mathbb{R}^m
射影 \pi \pi: TM \to M, \pi(p, V) = p
構造群 G GL(m, \mathbb{R})

9.2節以降では、これらの要素を抽象化し、一般のファイバー束の定義（局所自明化、遷移関数の整合条件（コサイクル条件）など）が展開されます。そして主束 (principal bundle)、接続 (connection)、曲率 (curvature) といった概念へと進んでいきます。

接ベクトル束という「最も身近な仲間」を通じてファイバー束の全体像を掴むことが、この壮大な理論への最良の第一歩と言えるでしょう。

参考文献:
Nakahara, M. (2003). Geometry, Topology and Physics (2nd ed.). Taylor & Francis. Chapter 9, Section 9.1.

理論物理学のための幾何学とトポロジーII [原著第2版]

理論物理学のための幾何学とトポロジーII [原著第2版]

Amazon
理論物理学のための幾何学とトポロジーII ［原著第2版］ [ 中原幹夫 ]

理論物理学のための幾何学とトポロジーII ［原著第2版］ [ 中原幹夫 ]

【arXiv解説／A geometrical invitation to BMS group theory】BMS群理論への幾何学的招待：キャロル幾何学からのアプローチ

arxiv.org

はじめに：無限の彼方にある対称性

20世紀半ば、一般相対性理論の研究者たちはある奇妙な発見に直面しました。ヘルマン・ボンディ (Hermann Bondi)、ファン・デル・バーグ (M. G. J. van der Burg)、そしてA. W. K. メッツナー (A. W. K. Metzner)、そしてライナー・ザックス (Rainer Sachs) という物理学者たちが、重力が存在する時空の「果て」（漸近的平坦な時空の無限遠）における対称性を調べたときのことです。彼らの目的は、重力波が無限遠でどのように振る舞うかを理解することでした。

彼らは当然、そこには私たちに馴染み深い「ポアンカレ群」（回転、並進、ローレンツ変換を含む10次元の対称性）が現れると期待していました。なぜなら、重力源から十分離れれば時空は平坦になり、そこでは特殊相対性理論の対称性が回復するはずだと直感されるからです。しかし、計算の結果現れたのは、ポアンカレ群を含むものの、はるかに巨大な無限次元の対称性だったのです。これがBMS群 (Bondi-Metzner-Sachs Group) です。

長らく「解析上の厄介者」あるいは「物理的実体のない数学的構造」とみなされてきたBMS群ですが、近年、アンドリュー・ストロミンジャー (Andrew Strominger) らの研究により劇的な復権を果たしました。BMS対称性は、量子重力理論における散乱行列（S行列）の対称性であり、重力の記憶効果 (Gravitational Memory Effect) やソフト・グラビトン定理 (Soft Graviton Theorem) と密接に関連していることが明らかになったのです。この発見は、赤外発散という古い問題に新たな光を当てると同時に、ホログラフィー原理の平坦時空版（Celestial Holography）への道を切り開きました。

この記事では、最新の論文 "A geometrical invitation to BMS group theory" (arXiv:2602.12965v1) に基づき、BMS群を「キャロル幾何学 (Carrollian Geometry)」という独自の視点から解説します。光速 c \to 0 の極限で現れるこの奇妙な幾何学が、なぜ重力のホログラフィーや量子論において重要なのか、数式を交えて紐解いていきましょう。

1. キャロル幾何学：光速ゼロの世界

私たちが住む世界は、光速 c が有限の相対論的な世界です。この極限として、光速無限大 c \to \infty を取ると、直感的なニュートン力学の世界（ガリレイ幾何学）が現れます。そこでは時間は絶対的であり、空間の距離は相対的です。では逆に、光速をゼロ c \to 0 に近づけたらどうなるでしょうか？

そこで現れるのがキャロル幾何学です。名前の由来は『不思議の国のアリス』の著者ルイス・キャロル。彼の小説に登場する「赤の女王」が言った「同じ場所にとどまるためには、全力で走り続けなければならない」という言葉が、この幾何学の因果律の性質（光円錐が閉じてしまい、因果的につながりを持てない）を象徴しているためです。物理的には、隣り合う点同士すらも因果的に切り離された、極端な状態を表します。

弱キャロル構造 (Weak Carrollian Structure)

キャロル時空 \mathcal{M} は、 (d+1)次元多様体上に定義された以下の2つの構造によって定義されます。

  1. オブザーバー場 (Field of observers) n: 時空上のどこでも消えないベクトル場 n = n^\mu \partial_\mu。これは時間の流れ（世界線）を定義します。
  2. キャロル計量 (Carrollian metric) \gamma: 正定値半定符号の計量テンソルで、その核（kernel）は n によって張られます。


\displaystyle \gamma_{\mu\nu} n^\nu = 0

\displaystyle \gamma_{\mu\nu} V^\mu V^\nu \ge 0

この定義からわかるように、キャロル計量は空間的な距離を測るものであり、時間方向 ( n方向) に対しては退化しています。ランクは d です。これはガリレイ時空において時間間隔が絶対的で空間計量が退化しているのと対照的（双対的）です。

具体的な座標系 (u, x^i) を導入すると、アダプテッド座標系では以下のように書けます。


\displaystyle n = \frac{\partial}{\partial u}

\displaystyle ds^2 = \gamma_{ij} dx^i dx^j
ここで u はキャロル時間、 x^i は空間座標です。

キャロル幾何学における相対性原理はこう表現できます：
「同時性は相対的だが、静止は絶対的である」
（ガリレイ幾何学では「運動は相対的だが、同時性は絶対的」でした。）

強キャロル構造 (Strong Carrollian Structure)

さらに、アフィン接続 \nabla を導入することで、より強い構造を定義できます。接続 \nabla がキャロル構造と両立するためには、以下の条件が必要です。


\displaystyle \nabla_\rho n^\mu = 0, \quad \nabla_\rho \gamma_{\mu\nu} = 0

これは、計量適合接続（レビ・チビタ接続）のキャロル版と言えます。ただし、キャロル計量が退化しているため、計量とベクトル場を指定しただけでは接続は一意に定まりません。ねじれのない（Torsion-free）接続を仮定したとしても、自由度が残ります。この自由度は、物理的には「重力場」に対応するものと考えることができます。

平坦なキャロル時空 \mathbb{R} \times \mathbb{R}^d では、接続係数がすべてゼロとなる座標系が存在します。その場合、キャロル変換（等長変換）は以下の形になります。


\displaystyle u' = u + \vec{b} \cdot \vec{x} + a

\displaystyle \vec{x}' = R \vec{x} + \vec{c}
ここで \vec{b} はキャロル・ブースト、 a は時間並進、 R は回転、 \vec{c} は空間並進を表します。キャロル・ブーストは u' = u + \vec{b} \cdot \vec{x} という形をしており、これはガリレイ変換 x' = x - vt と対照的です。

2. ヌル無限遠とBMS群

なぜキャロル幾何学が重力理論に登場するのでしょうか？それは、漸近的平坦な時空の「果て」、すなわちヌル無限遠 (Null Infinity, \mathscr{I}) の幾何学が、まさにキャロル幾何学だからです。

ミンコフスキー時空のような漸近的平坦時空の共形コンパクト化を考えると、その境界 \mathscr{I} は \mathbb{R} \times S^d (時間は実数、空間は球面) のトポロジーを持ちます。通常、ヌル無限遠は光的な超曲面ですが、共形変換によって有限の距離に手繰り寄せられたこの境界上では、計量は退化し、キャロル構造を持ちます。

共形キャロル構造とBMS変換

BMS群は、 \mathscr{I} 上の共形キャロル構造 (Conformal Carrollian Structure) を保つ変換群として定義されます。これはペンローズ (Penrose) やゲロシュ (Geroch) によって提唱された定義と等価ですが、より幾何学的に直感的な定義です。

共形キャロル構造とは、正の関数（共形因子） \Omega(x) によるスケーリングに対して同値なクラス [n, \gamma] です。


\displaystyle n \sim \Omega^{-1} n, \quad \gamma \sim \Omega^2 \gamma
ここで n はヌル無限遠の生成子（ヌル測地線の接ベクトル）、 \gamma はその断面（カット）上の計量です。

この構造を保つ変換、すなわち共形キャロル等長変換がBMS変換です。具体的には、座標 (u, x^i) （ uはリターデッド時間、 x^iは球面の座標）において、変換 (u, x) \mapsto (u', x') は以下の形を取ります（論文中の式(19)）：


\displaystyle u' = \Omega(x) (u + \mathcal{T}(x))

\displaystyle x'^i = G^i(x)

ここで各項の意味は以下の通りです：

  1. G(x): 球面 S^d 上の共形変換。これはローレンツ群 SO(d+1, 1) の作用に対応します。
  2. \Omega(x): 共形変換 G に伴う共形因子 ( \bar{\gamma}' = \Omega^2 \bar{\gamma})。
  3. \mathcal{T}(x): 超並進 (Supertranslation) と呼ばれる関数。これは球面上の滑らかな関数 C^\infty(S^d) です。

この変換式は、BMS対称性が「ローレンツ変換（共形変換）」と「超並進」の合成であることを如実に示しています。ローレンツ変換によって球面上の点が移動し ( x \to x'), それに伴って時間の進み方が変わり ( u \to \Omega u), さらに場所ごとに異なる時間のズレ ( \Omega \mathcal{T}) が加わる、という構造です。

3. BMS群の構造：無限次元リー代数

群論的に見ると、 d+2次元時空のBMS群 BMS_{d+2} は、ローレンツ群 SO(d+1, 1) と超並進群 C^\infty(S^d) の半直積として記述されます。


\displaystyle BMS_{d+2} \cong SO(d+1, 1) \ltimes C^\infty(S^d)

BMS代数の交換関係

この半直積構造は、リー代数のレベルでの交換関係を見るとより鮮明になります。BMS代数 \mathfrak{bms}_{d+2} の生成子は、ローレンツ変換の生成子 J(\bar{Y}) と、超並進の生成子 \mathcal{T} \partial_u です。ここで \bar{Y} は球面上の共形キリングベクトル場です。

論文中の式(21)によれば、交換関係は以下の通りです：


\displaystyle [J(\bar{Y}_1), J(\bar{Y}_2)] = J([\bar{Y}_1, \bar{Y}_2])

\displaystyle [J(\bar{Y}), \mathcal{T} \partial_u] = (Y^i \partial_i \mathcal{T} - \frac{1}{d} \bar{\nabla}_i Y^i \mathcal{T}) \partial_u

\displaystyle [\mathcal{T}_1 \partial_u, \mathcal{T}_2 \partial_u = 0]

第2の式は、ローレンツ変換が超並進に対して非自明に作用することを表しています。具体的には、超並進パラメータ \mathcal{T} は、ローレンツ変換の下で「スケーリング次元 -1 の共形プライマリ場」として振る舞います。第3の式は、超並進同士が可換であること、つまり超並進群がアーベル群であることを示しています。

最大正規部分群と純粋並進

ザックス (Sachs) は1962年、超並進群 C^\infty(S^d) がBMS群の最大正規部分群であることを示しました。これにより、以下の正準的な完全列が存在します。


\displaystyle 0 \to C^\infty(S^d) \to BMS_{d+2} \to SO(d+1, 1) \to 0

一方、通常の並進群（ミンコフスキー時空の平行移動に対応する \mathbb{R}^{d+1, 1}）は、超並進群の中で唯一、ローレンツ変換に対して不変な有限次元部分空間として特定されます。


\displaystyle \mathbb{R}^{d+1, 1} \subset C^\infty(S^d)

具体的には、通常の並進 \mathcal{T}(x) は、球面上の2階微分方程式（共形不変方程式）の解として特徴づけられます（式(31)）：


\displaystyle (\bar{\nabla}_{(i} \bar{\nabla}_{j)} - \frac{1}{d} \bar{\gamma}_{ij} \bar{\nabla}^2) \mathcal{T}(x) = 0
この式の解は、球面調和展開における l=0, 1 のモードに対応します。 l \ge 2 の高次モードが「純粋な超並進」であり、これが重力の自由度と結びついています。

4. 重力の真空とGood Cuts

BMS群には、ポアンカレ群 ISO(d+1, 1) が部分群として含まれていますが、その埋め込み方は一意ではありません。これは、「重力の真空」が一意に定まらないことを意味します。

Good Cut (良い切断)

ヌル無限遠 \mathscr{I} の断面（同時刻面）を「カット (cut)」と呼びます。ミンコフスキー時空内部の点 p から出る未来光円錐が \mathscr{I} と交わる断面は、特に性質の良いカットとなり、これをGood Cutと呼びます。

幾何学的には、Good Cutはフラットなキャロル時空 \mathbb{R} \times \mathbb{R}^d における「回転放物面」に対応します。これは非常に直感的な幾何学的描像です。同時刻面 u=const を平面と見なすと、Good Cutはその上の放物面として記述されます（式(49)）：


\displaystyle u = a + \vec{b} \cdot \vec{x} + c |\vec{x}|^2
ここで (a, \vec{b}, c) はパラメータであり、これらはミンコフスキー時空の点の座標 X^\mu と一対一に対応します。
つまり、平坦な時空の点は、無限遠における放物面としてホログラフィックに再構成できるのです。これを「ミンコフスキー時空のホログラフィック再構成 (Holographic reconstruction)」と呼びます。

重力波メモリ効果と真空の遷移

通常の場の量子論では真空は一つですが、BMS対称性を持つ理論では、超並進によって移り合う無数の真空が存在します。これらは「Good Cut」の選び方に相当します。


\displaystyle \text{真空} \xrightarrow{\text{超並進}} \text{別の真空}

重力波が通過すると、時空は元の真空には戻らず、別の真空へと遷移します。この真空のズレが、観測可能な永久的な変化として残るのが重力波メモリ効果 (Gravitational Memory Effect) です。
具体的には、重力波のバーストが通過した後、二つの慣性系観測者の間の距離が恒久的にずれる現象として観測されます。この「ズレ」は、まさに超並進パラメータ \mathcal{T}(x) によって記述される変位そのものです。
BMS群の観点からは、メモリ効果は「超並進対称性の自発的破れ」に伴うゴールドストン・モード（ソフト・グラビトン）の励起として理解されます。

5. BMS粒子の表現論：HardとSoft

ウィグナー (Wigner) はポアンカレ群のユニタリ表現として粒子を分類しました（質量とスピン）。同様に、BMS群のユニタリ表現を考えることで、「BMS粒子」を分類できます。これはマッカーシー (McCarthy) によって1970年代に先駆的に研究されました。

誘導表現と超運動量 (Supermomentum)

BMS群は半直積群であるため、ウィグナーの誘導表現（Little Group Method）を拡張して適用できます。まず、超並進群のユニタリ表現を考えます。超並進群は可換群なので、その既約表現は1次元であり、指標（character）によってラベル付けされます。この指標を超運動量 \mathcal{P} と呼びます。

超運動量 \mathcal{P} は、超並進 \mathcal{T} の双対空間（分布の空間）の元であり、ペアリングは以下のように定義されます（式(50)）：


\displaystyle \langle \mathcal{P}, \mathcal{T} \rangle = \int_{S^d} d^d x \sqrt{\bar{\gamma}(x)} \mathcal{P}(x) \mathcal{T}(x)

BMS粒子の分類は、この超運動量のローレンツ群作用に対する軌道（orbit）と、その軌道上の点を不変にする部分群（固定部分群、Little Group）によって行われます。

  1. Hard Representations（ハード表現）:
    通常のポアンカレ粒子（質量 m > 0 または m=0）に対応する表現です。これらは、特定の方向 q^A(x) を向いた運動量 p^A = \omega q^A(x) に対応する「ハードな」超運動量によって特徴づけられます。
    具体的には、超運動量はデルタ関数的な分布となります：
    \displaystyle \mathcal{P}(y) = \omega \delta^{(d)}(y - x)

    ハード粒子の場合、超運動量の固定部分群 l_\mathcal{P} は、通常の運動量の固定部分群 l_p （質量ありなら回転群、質量なしならユークリッド群）と一致します。
    特筆すべきは、ハード表現は重力の真空の選び方に依存しないという点です。どの真空を選んでも、同じ波動関数がポアンカレ粒子としてもBMS粒子としても解釈可能です。


  2. Soft Representations（ソフト表現）:
    通常の運動量がゼロ ( p^\mu = 0) である場合に対応します。しかし、超運動量そのものはゼロではありません。これは「ソフト・グラビトン」に対応し、赤外発散の問題と深く関わっています。
    ソフト表現は、並進群 \mathbb{R}^{d+1, 1} が自明に作用する表現、すなわちKomar群 BMS_{d+2} / \mathbb{R}^{d+1, 1} の表現となります。
    ソフト超運動量 \mathcal{P} は、ある関数 \mathcal{N} に対してGJMS演算子 \hat{P}_{d+2} を作用させた形で書けます（式(55)）。
    \displaystyle \mathcal{P} = \hat{P}_{d+2} \mathcal{N}

    ここでGJMS演算子 \hat{P}_{d+2} は、共形不変な高階微分演算子であり、例えば4次元 ( d=2) では \hat{P}_4 = \bar{\nabla}^2 (\bar{\nabla}^2 + 2) のような形をしています。


  3. Generic Representations（ジェネリック表現）:
    上記以外の一​​般的な表現。これらは通常の場の量子論では現れないエキゾチックな状態ですが、重力の非線形性が強い領域では重要になる可能性があります。
    ジェネリックな超運動量は、ハード部分とソフト部分に一意に分解できることが知られています（式(56)）：
    \displaystyle \mathcal{P}(x) = P_p(x) + \hat{P}_{d+2} \mathcal{N}(x)

    ここで P_p はハード超運動量、 \hat{P}_{d+2} \mathcal{N} はソフト超運動量です。
    この分解は非線形であり、2つの超運動量の和 \mathcal{P}_1 + \mathcal{P}_2 を考えると、ハード部分は単純に和になりますが、ソフト部分には余剰項 \mathcal{S}(x) が現れます（式(57)）。
    \displaystyle \mathcal{P}_{tot} = P_{p_1+p_2} + \hat{P}_{d+2}(\mathcal{N}_1 + \mathcal{N}_2 + \mathcal{S})

    この \mathcal{S}(x) は、ワインバーグのソフト・グラビトン因子と直接関係しており、重力の赤外発散の本質を捉えていると考えられています。

質量殻の幾何学

BMS粒子の「質量殻」（軌道）は、ポアンカレ粒子の場合と同様に有限次元多様体となります。これは、無限次元の対称性を持ちながらも、その表現空間（ヒルベルト空間）は比較的扱いやすい構造を持っていることを示唆しています。

結論

BMS群は、単なる数学的な好奇心の対象から、重力の量子論的性質を理解するための核心的なツールへと変貌を遂げました。キャロル幾何学という言語を用いることで、この対称性は「光速ゼロの極限における共形対称性」として直感的に理解できるようになります。

「真空は一つではない」「対称性は無限にある」。これらの事実は、私たちが時空というものをどう捉えるべきか、その根本的な再考を迫っています。アリスが鏡の国で見たように、重力のホログラフィックな境界（Boundaryland）には、私たちがまだ知り得ない豊かな数理的構造が広がっており、そこには重力の量子化への鍵が隠されているのかもしれません。

    • -

参考文献:
Bekaert, X., Herfray, Y., Mele, L., & Parrini, N. (2026). A geometrical invitation to BMS group theory. arXiv:2602.12965v1 [hep-th].