The de Rham cohomology of a Lie group modulo a dense subgroup

この論文は、リー群$G$の稠密部分群$H$に対する（微分幾何的）ド・ラムコホモロジーが、$\mathfrak h$を$\mathfrak g$の特定のイデアルとして、リー代数コホモロジー$\mathfrak g/\mathfrak h$と一致することを示しています。

要約

タイトル：「見えない壁」のある世界の形を、代数で解き明かす

1. 問題の舞台：「隙間だらけ」の空間

まず、想像してみてください。
大きな部屋（リー群 $G$）があって、その中に、非常に細かく、かつ至る所に点在する「砂粒」の集まり（部分群 $H$）があるとします。

• 通常のケース： もしこの砂粒の集まりが「壁」のように連続して閉じていれば、部屋をその壁で区切ったとき、きれいな部屋（商空間 $G/H$）ができます。
• この論文のケース： しかし、この砂粒の集まりは**「密」**です。つまり、部屋のどこを見ても、必ず砂粒が転がっています。壁というより、部屋全体が砂で埋め尽くされているような状態です。

通常の数学のルール（位相幾何学）では、このように「隙間なく埋め尽くされた」部分で部屋を分けると、「区切り」が全く見えなくなります。部屋は「何もない空間（自明な位相）」になってしまい、形を定義することが不可能になります。「ここが壁で、ここが部屋」という区別が、目に見えないのです。

2. 発想の転換：「微分幾何学」から「ディフェオロジー」へ

ここで著者たちは、既存のルールを捨てて、新しい視点（ディフェオロジー）を採用します。

• 従来の視点： 「形」を見るには、目に見える境界線（位相）が必要だ。
• 新しい視点（ディフェオロジー）： 「滑らかさ」に注目する。
  • 砂粒がどこにでも散らばっていても、その砂粒の「動き方」や「つながり方」に規則性があるなら、そこには「形」があると考えます。
  • 例えば、砂粒が「滑らかに動くことができる経路」を定義することで、目に見えない壁の向こう側にも、立派な「幾何学的な構造」が存在するとみなすのです。

3. 発見：「形」は「数式」そのものだった

この新しい視点で、密な部分群 $H$ で割った空間 $G/H$ の「形（コホモロジー）」を調べると、驚くべき結果が得られました。

「この見えない空間の形は、実は『代数』そのものだった！」

具体的には、以下のことがわかりました。

• 複雑な幾何学的な空間 $G/H$ の「形」を調べる代わりに、
• 単に、その空間を構成する「微分方程式の係数（リー代数）」を少し加工した**「代数の計算」**をするだけで、その形が完全に再現できる。

比喩で言うと：

• 通常、建物の形を知るには、実際に建物を測量する必要があります。
• しかし、この論文は**「建物の設計図（代数）」さえあれば、建物がどんな形をしているか（コホモロジー）が、測量しなくても計算でわかってしまう」**と言っています。
• しかも、その設計図は、建物の一部（$H$）が「密」に散らばっているという、一見すると測量不能な状況でも、そのまま機能します。

4. 具体的な例： irrational winding（無理数巻き）

最も有名な例は、**「トーラス（ドーナツ型）」**です。

• ドーナツの表面を、ある角度（無理数倍）でぐるぐる巻きにする線（$H$）を考えます。
• この線は、ドーナツの表面のどこにでも行きますが、決して元の点に戻りません（密な部分群）。
• 通常、この線でドーナツを切ると、どうなるかわかりません。
• しかし、この論文の理論によると、その結果得られる「見えない空間」の形は、**「円（1 次元の輪）」**と同じ形をしていると計算されます。
• 実際、この空間は「クワシ・サークル（擬円）」と呼ばれ、その性質は代数計算によって正確に記述できます。

5. なぜこれが重要なのか？

• 従来の限界： これまで、密な部分群で割った空間は「形がない（位相が自明）」とされ、幾何学的な研究対象として無視されていました。
• この論文の貢献： 「形がない」のではなく、「幾何学的な形が代数の形に隠れている」ことを発見しました。
• 応用： 物理や工学で、複雑な対称性を持つシステム（例：量子力学や結晶構造）を扱う際、この「代数で幾何学を計算する」手法は、非常に強力なツールになります。

まとめ

この論文は、**「目に見えない、隙間だらけの空間でも、その『滑らかさ』のルール（代数）さえ守っていれば、立派な『形』を持っている」**と教えてくれます。

まるで、**「砂漠の砂粒一つ一つはバラバラに見えるが、風の流れ（代数）を見れば、そこには巨大な砂丘の形が浮かび上がっている」**ような発見です。

著者たちは、この「見えない形」を、複雑な測量ではなく、シンプルで美しい**「代数の計算式」**として読み解くことに成功しました。これが、この論文が「代数的な問題（C'est un problème d'algèbre）」であると言われる所以です。

技術概要

論文「密な部分群による剰余としてのリー群のド・ラムコホモロジー」の技術的サマリー

著者: Brant Clark, François Ziegler
概要: この論文は、リー群 $G$ とその密な部分群 $H$ に対する商空間 $G/H$ のド・ラムコホモロジーを、微分幾何学（特にディフェオロジカル空間の理論）を用いて再考し、リー代数コホモロジーとの同型を証明するものである。従来の位相空間論的なアプローチでは、$H$ が密な場合、商空間 $G/H$ の商位相は自明（トポロジーが離散的でない限り）となり、通常の微分形式の理論が機能しなくなるという問題がある。著者らは、ディフェオロジカル空間の枠組みを用いることで、この「退化」した空間に対しても意味のあるコホモロジーを定義し、それが $G/H$ のリー代数構造（$g/h$）のコホモロジーに完全に一致することを示した。

---

1. 問題設定と背景

• 従来の課題: リー群 $G$ の非閉部分群 $H$ に対して、集合としての商 $G/H$ に通常の商位相を定義すると、$H$ が密な場合、商位相は自明（任意の非空開集合が全体になる）となり、ハウスドルフ空間ですらなくなる。このため、通常の微分幾何学やド・ラムコホモロジーを適用することは不可能、あるいは無意味（自明なコホモロジーしか得られない）となる。
• 既存のアプローチ: 非可換幾何学（周期巡回コホモロジーなど）を用いて、滑らかな関数環の代わりに代数的な構造を調べる方法があるが、これは本質的に代数的なアプローチである。
• 本研究の目的: Souriau らによって提唱された「ディフェオロジカル空間（diffeological spaces）」の枠組みを用いる。この枠組みでは、任意の部分空間や商空間に対して「滑らかさ（プロット）」を定義でき、その上でド・ラム複体とコホモロジーを構成できる。このアプローチを用いて、密な部分群による商空間 $G/H$ の幾何学的な不変量を明らかにする。

2. 方法論

• ディフェオロジカル空間の導入:
  • 多様体を「チャート」で定義する代わりに、「プロット（滑らかなマップ $U \to X$）」の集合で定義する。
  • 商空間 $G/H$ に対して、自然な射 $\Pi: G \to G/H$ が滑らかになるように最も細かいディフェオロジカル（商ディフェオロジカル）を定義する。
  • この空間上の $k$-形式は、すべてのプロットに対して通常の微分形式を対応させる関数として定義される。
• 不変形式の同定:
  • 商空間 $G/H$ 上の形式は、$G$ 上の形式の中で、右不変かつ $H$ のリー代数 $\mathfrak{h}$ に対して水平（$h$-horizontal）であるものと同型になることを示す（Proposition 3.1）。
  • ここで $\mathfrak{h} = \{Z \in \mathfrak{g} : \exp(tZ) \in H, \forall t \in \mathbb{R}\}$ と定義される。
• リー代数コホモロジーへの帰着:
  • 右不変形式を反転写像を用いて左不変形式に変換し、チェヴァリー・エレンバーグ（Chevalley-Eilenberg）複体と対応させる。
  • $H$ が密であるという条件から、$\mathfrak{h}$ が $\mathfrak{g}$ のイデアルであること、および $\mathfrak{g}/\mathfrak{h}$ が可換であること（あるいは特定の条件下で）が導かれる。
  • これにより、$G/H$ のド・ラム複体が、商リー代数 $\mathfrak{g}/\mathfrak{h}$ のチェヴァリー・エレンバーグ複体と同型になることが証明される。

3. 主要な結果

定理 (0.2):
$H$ をリー群 $G$ の密な部分群とし、$\mathfrak{h}$ を上記のように定義された $\mathfrak{g}$ の部分空間とする。このとき、$\mathfrak{h}$ は $\mathfrak{g}$ のイデアルであり、以下の同型が成り立つ。
$$(\Omega^\bullet(G/H), d) \cong (\Lambda^\bullet(\mathfrak{g}/\mathfrak{h})^*, d)$$
したがって、ド・ラムコホモロジーはリー代数コホモロジーと一致する。
$$H^\bullet_{dR}(G/H) \cong H^\bullet(\mathfrak{g}/\mathfrak{h})$$

系 (0.4) の具体例:

1. $H$ が D-連結の場合: $G/H$ のコホモロジーは、$\mathfrak{g}/\mathfrak{h}$ の全外積代数 $\Lambda^\bullet(\mathfrak{g}/\mathfrak{h})^*$ となる（$\mathfrak{g}/\mathfrak{h}$ は可換）。
2. $H$ が D-離散の場合: $\mathfrak{h} = \{0\}$ となるため、$H^\bullet_{dR}(G/H) \cong H^\bullet(\mathfrak{g})$ となる。任意のリー代数コホモロジー環がこの形で実現可能。
3. ベクトル空間 $V$ に対する離散な加法部分群 $A$ の場合: $H^\bullet_{dR}(V/A) \cong \Lambda^\bullet V^*$ となる。

代表的な例:

• 2 次元トーラス $G = S^1 \times S^1$ に対する無理数巻き込み（irrational winding）$H$ の場合、$G/H$ は「擬円（quasicircle）」と呼ばれる。通常の位相では自明なコホモロジーしか持たないが、ディフェオロジカルなアプローチでは、円 $S^1$ と同じコホモロジー $H^0 \cong \mathbb{R}, H^1 \cong \mathbb{R}$ を持つことが示される。

4. 意義と貢献

• 位相的「欠陥」の克服: 密な部分群による商空間は、従来の位相幾何学では「病んだ（pathological）」空間として扱われ、幾何学的な情報を失っていた。ディフェオロジカル空間の理論を用いることで、この空間に本質的な幾何学的構造（ド・ラムコホモロジー）を再付与することに成功した。
• 代数的・幾何学的な統一: 結果が純粋にリー代数のコホモロジー（$\mathfrak{g}/\mathfrak{h}$）で記述されることは、この空間の幾何学が完全に代数構造によって支配されていることを示している。これは、コンパクトなリー群と閉部分群に対する古典的な結果（$H^\bullet_{dR}(G/H) \cong H^\bullet(\mathfrak{g}, \mathfrak{h})$）を、密な部分群のケースに拡張するものとして位置づけられる。
• 他のコホモロジー理論との対比:
  • 非可換幾何学（周期巡回コホモロジー）では、同じ空間（例：擬円）に対して異なるコホモロジー（$\mathbb{R} \oplus \mathbb{R}^2 \oplus \mathbb{R}$ など）が得られることが知られている。
  • 一方、ディフェオロジカル・ド・ラムコホモロジーは、より「幾何学的な直感」に近い結果（円のコホモロジーなど）を与える。
  • また、ディフェオロジカル・チェココホモロジーとは異なり、ここでは離散群 $A$ のコホモロジー $H^\bullet(A, \mathbb{R})$ が現れるわけではない（これは $V/A$ が $K(A,1)$ 空間として振る舞う場合の話であり、ド・ラムコホモロジーとは異なる）。
• 新しい視点の提供: この結果は、$G/H$ が「多様体」ではない場合でも、その「滑らかな構造」がリー代数の構造を通じて完全に記述可能であることを示しており、微分幾何学の適用範囲を大幅に拡大している。

5. 結論

この論文は、ディフェオロジカル空間の理論をリー群の商空間に応用する画期的な成果である。密な部分群による商空間という、従来の位相幾何学では扱いきれなかった対象に対して、リー代数コホモロジーという明確な代数的対象を対応させる同型定理を確立した。これにより、非閉部分群による商空間の「幾何学的な実体」が、そのリー代数の構造に還元されるという深い洞察が得られた。