なぜ理系大学生（特に数学科）はリー群が大事なのか？ | 西園寺総合商社 +6σ【SGT＆BDジャパン】in 東京

代数なのか、幾何なのか、はたまた解析なのか・・・・

そんなことを迷っている人間に対して、

リー群やれ！

と言われるのはどうしてか？

1. なぜ「微分幾何・位相幾何」系なのか？

「多様体と基本群の組み合わせとしてのリー群」は、連続的に滑らかに変形できる空間（多様体）の上で、微分積分などの解析的な道具を使って対称性（群）を調べる学問、すなわちリー理論（Lie Theory）の領域です。

「直交方向に、元の場所に戻ってくる2通りのルート」というイメージは、最も基本的なリー群であるトーラス（ $T^2 = S^1 \times S^1$ ）上で完璧に機能します。トーラスの表面には、縦方向の1周ルートと、横方向（直交方向）の1周ルートがあり、これらは互いに交わりますが、連続的に変形して片方をもう片方に一致させることはできません（これらが独立したトポロジーの「穴」を表現しています）。これを群論的に表現すると、トーラスの基本群は $\pi_1(T^2) \cong \mathbb{Z} \oplus \mathbb{Z}$ となり、2つの独立した閉じた変換の組み合わせとして空間全体の構造を記述できます。

さらに、リー群特有の「2種類の閉じた変換」として物理学や幾何学で最も重要なのが、3次元回転群 $SO(3)$ の基本群です。

1周（ $360^\circ$ ）の回転：元の位置に戻りますが、空間全体に「ねじれ」を残し、1点に縮めることができないルートです。
2周（ $720^\circ$ ）の回転：驚くべきことに、このルートは連続的に変形して「全く回転しなかった状態（1点）」に縮めることができます（ディラックのベルトのトリックなどと呼ばれます）。

つまり、 $SO(3)$ の世界では「元の場所に戻るルート」にはトポロジー的に「ねじれが残るルート」と「ねじれが解消されるルート」のちょうど2種類しか存在せず、その基本群は $\pi_1(SO(3)) \cong \mathbb{Z}/2\mathbb{Z}$ となります。空間上の連続な経路（ルート）を描き、それを「変形できるか否か」で分類するこの営みは、まさに位相幾何と微分幾何の真骨頂です。

2. では、代数幾何ではどうなるのか？

「じゃあ代数幾何は無関係なのか？」というと、全くそんなことはありません。代数幾何にも、リー群に完璧に対応する「代数群（Algebraic Group）」という概念が存在します。

しかし、代数幾何では「連続的なルート（経路）を描く」という微分幾何的な技が使えません。なぜなら、代数幾何は実数や複素数だけでなく、有限体（離散的な数の世界）の上でも方程式の解の集合を空間として考えるからです。点がパラパラに散らばっている有限体の世界では「滑らかなルート」を引くことが不可能なのです。

そこで代数幾何は、ルートを描く代わりに「ガロア理論」を幾何学的にアップグレードして、このトポロジーの問題を解決します。

微分幾何のアプローチ（ルートを描く）：空間内で閉じたループを描き、それが1点に縮められるかを調べる（基本群）。
代数幾何のアプローチ（被覆空間を被せる）：ルートを描く代わりに、元の方程式に新しい変数（方程式の根）を添加し、元の空間の上に「何枚重ねの空間（被覆空間）」を作れるかを調べる（エタール基本群）。

つまり、微分幾何における「直交する2つのルート」というトポロジーの情報は、代数幾何においては「方程式の解の対称性（ガロア群）がどのように振る舞うか」という代数的な情報に完全に翻訳（ワープ）されます。

3. ここでの「ローカル・グローバル往来のコア技」

このリー群や基本群の文脈において、ローカルとグローバルを強烈に結びつけるコア技が存在します。それが「普遍被覆（Universal Covering）」と「リー代数（Lie Algebra）」です。

普遍被覆（トポロジーの巻き戻し）：トーラス上で「ぐるぐる回るルート」を群として捉えましたが、これを無限に広がる平面 $\mathbb{R}^2$ 上の「格子点の移動」に展開する技です。閉じたルート（グローバルなトポロジー）を、平坦な空間での単純な平行移動（代数的な作用）に変換します。
リー代数（微小な動きからの全体復元）：単位元（元の場所）のほんの少し隣、つまり「ローカルな微分の世界（接空間）」の代数構造（リー代数）を調べるだけで、指数写像（ $\exp$ ）という魔法の関数を通じて、元のリー群という「グローバルな形」をほぼ完全に復元してしまいます。

微分幾何とトポロジーの強力なタッグにより、「ローカルな微分（リー代数）」と「グローバルなループの絡まり（基本群）」が組み合わさって、空間全体の対称性を完全に掌握しているわけです。

＝＝＝

＠西園寺貴文（憧れはゴルゴ13）#+6σの男

"make you feel, make you think."

SGT&BD
(Saionji General Trading & Business Development)

新たなるハイクラスエリート層はここから生まれる

Lose Yourself , Change Yourself.（変えることのできるものについて、それを変えるだけの勇気を我らに与えたまえ。変えることのできないものについては、それを受け入れられる冷静さを与えたまえ。そして、変えることのできるものと、変えることのできないものとを、見分ける知恵を与えたまえ。）

説明しよう！西園寺貴文とは、常識と大衆に反逆する「社会不適合者」である！平日の昼間っからスタバでゴロゴロするかと思えば、そのまま軽いノリでソー◯をお風呂代わりに利用。挙句の果てには気分で空港に向かい、当日券でそのままどこかへ飛んでしまうという自由を履き違えたピーターパンである！「働かざること山の如し」。彼がただのニートと違う点はたった１つだけ！そう。それは「圧倒的な書く力」である。ペンは剣よりも強し。ペンを握った男の「逆転」ヒップホッパー的反逆人生。そして「ここ」は、そんな西園寺貴文の生き方を後続の者たちへと伝承する、極めてアンダーグラウンドな世界である。 U-18、厳禁。低脳、厳禁。情弱、厳禁。