Fat Lie Theory

この論文は、リー群とリー代数の表現論における「脂肪（fat）拡張」と「抽象 2 項ホモトピー表現」の間の 1 対 1 対応を確立し、これらを VB-群群・PB-群群・二重群群などの既知の構造と結びつけることで、これらの対象の間の等価性をカテゴリレベルで強化する新たな視点を提供しています。

要約

1. 核心となるアイデア：「太った（Fat）」とは何か？

通常、数学者はある複雑な構造（例えば、ある場所から別の場所へ移動するルール）を研究する時、それを「薄く」して、必要な情報だけを残してシンプルに表そうとします。これを「分裂した（split）」状態と呼びます。

しかし、著者のレナート・オブスターさんは、**「あえて情報を詰め込んで、構造を『太く（Fat）』する」**という新しい視点を持ってきました。

• 普通の視点（薄っぺらい地図）：
  「A 地点から B 地点へ行くには、この道を通れ」というルールだけを書いた地図。シンプルですが、道がどうつながっているかの「厚み」や「背景」が見えません。
• この論文の視点（太った地図）：
  「A 地点から B 地点へ行く道」だけでなく、**「その道を通るための準備運動」や「道の上を歩く人の足元の状態」**まで含めた、情報量の多い「太った」構造。

この「太った構造」を使うと、一見バラバラに見える異なる数学の概念が、実は**「同じものの異なる側面」**であることが驚くほど簡単に見えてきます。

2. 3 つの「同じもの」の正体

この論文の最大の成果は、これまで別々の分野で使われていた 3 つの概念が、実は**「同じ箱の中身」**であることを証明したことです。

1. VB-群群（VB-groupoids）：
   • たとえ： 「ベクトル（矢印）の束」が乗った「移動ルールの集合」。
   • イメージ： 街の地図の上に、各地点から伸びる「矢印（ベクトル）」が乗っている状態。
2. ホモトピー表現（Representations up to homotopy）：
   • たとえ： 「少しゆがんだルール」。
   • イメージ： 厳密なルールではなく、「大体こうなるけど、少しズレがあっても許す」という、柔軟な変換のルール。
3. 太った拡張（Fat extensions）：
   • これこそがこの論文の新しい名前。
   • イメージ： 移動ルールそのものではなく、「そのルールを動かすための『準備運動（ホモトピー）』を含んだ、太ったルールセット」。

著者は、「これら 3 つは、実は**『同じ料理』を、『材料リスト』、『レシピ』、『完成した料理』**という 3 つの違う角度から見たものに過ぎない」と言っています。

3. 「太った」構造がなぜ便利なのか？

なぜわざわざ「太く」する必要があるのでしょうか？

• 柔軟性（ホモトピー）：
  数学の世界では、厳密に一致しなくても「連続的に変形できれば同じ」とみなすことがあります（これをホモトピーと言います）。
  「太った」構造は、この「変形」や「ゆらぎ」を最初から内包しています。そのため、複雑な計算をする際、無理やりルールを揃えようとして破綻するのを防ぎ、自然に問題を解くことができます。
• 新しい道具の発見：
  この「太った構造」を使うと、これまで難しかった「テンソル積（複雑な組み合わせ）」や「変形理論（形が少しずつ変わる様子）」を、非常に自然な言葉で説明できるようになります。

4. 具体的な例：「ジェット群群」とは？

論文の中でよく出てくる「ジェット群群（Jet groupoid）」という概念は、この「太った理論」の代表例です。

• 普通の考え方： 「ある点での接線（瞬間的な方向）」だけを見る。
• 太った考え方： 「その点での接線」だけでなく、**「その接線がどうやって作られたか（1 階の微分情報）」**まで含めて見る。

これにより、リー群群の「変形（デフォーメーション）」という難しい問題を、**「太った構造の共鳴（コホモロジー）」**という、より直感的な言葉で記述できるようになりました。

5. まとめ：この研究の意義

この論文は、数学の「対称性」を扱う分野において、**「情報を削ぎ落とす（シンプルにする）」という従来のアプローチとは逆の、「情報を豊かにする（太くする）」**という新しい視点を提供しました。

• これまで： 「複雑なものを単純化して理解しようとした」。
• これから： 「複雑さそのものを『太った構造』として捉え、その豊かさを活用して、バラバラに見える概念を統一的に理解しようとした」。

これは、料理で言えば「材料を最小限に削ぎ落として味を引き出す」のではなく、**「素材の持つすべての可能性（太さ）を最大限に活かして、新しい料理の組み合わせを生み出す」**ような、創造的なアプローチです。

この「太ったリー理論」は、今後の数学において、より複雑で高度な構造（高次ベクトル束など）を扱う際の、強力な新しい言語となるでしょう。

技術概要

論文「Fat Lie Theory」の技術的サマリー

著者: Lennart Obster
日付: 2026 年 3 月 10 日
分野: 微分幾何学、リー群群・リー代数の表現論

1. 概要と背景

本論文は、リー群群（Lie groupoids）およびリー代数（Lie algebroids）の表現論における新しい視点である「Fat Lie Theory（太いリー理論）」を提案するものである。従来の表現論では、2 項のホモトピーによる表現（2-term representations up to homotopy、略して ruths）や、VB-群群（VB-groupoids）が主要な対象として研究されてきた。これらは既知の圏同値関係によって結びつけられているが、著者はこれらを統一的に記述する「Fat Extension（太い拡大）」という概念を導入し、それらが VB-群群、抽象的な 2 項 ruths、および一般線形 PB-群群（General linear PB-groupoids）と圏同値であることを示す。

特に、VB-群群の「Fat 群群（fat groupoid）」と呼ばれる構造が、これらの対応の中心に位置づけられる。このアプローチは、多重線形テンソル積や変形理論などの応用において、より自然で効率的な枠組みを提供する。

2. 問題設定

リー群群の表現論において、以下の異なる定式化が存在するが、それらの間の関係性、特に「分割された（split）」モデルと「抽象的（intrinsic）」モデルの間の対応、およびそれらの微分（infinitesimal）対応を統一的に理解する枠組みが完全には確立されていなかった。

1. VB-群群: 基底群群上のベクトル束構造を持つ群群。
2. 2 項 ruths: ホモトピーによる表現（ruths）の 2 項バージョン。
3. 一般線形 PB-群群: 構造群として一般線形 2-群群を持つ主束的な群群。
4. 変形複体: リー群群の変形を記述する複体（Adjoint ruth など）。

従来の研究では、これらは個別に扱われるか、特定の条件（分割の選択など）の下でのみ対応づけられていた。本論文は、これらすべてのモデルを「Fat Extension」という単一の概念を通じて、分割の選択に依存しない本質的な同値関係として再定式化することを目的としている。

3. 方法論と主要な概念

3.1 Fat 群群と Fat 拡大

VB-群群 $V_G \Rightarrow V_M$ に対して、そのFat 群群 $\widehat{V}_G \Rightarrow M$ を定義する。これは、$V_G$ の線形二分割（linear bisections）の集合として定義される。
Fat 群群は、基底群群 $G$ への射影 $\widehat{V}_G \to G$ によって、以下の短完全系列をなす：
$$1 \to \mathbf{H}(V_M, C_M) \to \widehat{V}_G \to G \to 1$$
ここで、$\mathbf{H}(V_M, C_M)$ は「可逆なホモトピー束（bundle of invertible homotopies）」であり、2 項複体 $C_M \to V_M$ に依存するリー群束である。

Fat 拡大とは、この構造を抽象化した概念である。すなわち、リー群群 $F_G$ が、2 項複体 $C_M \to V_M$ 上のコチェイン複体表現を持ち、かつ上記の短完全系列を満たし、さらに共役作用が整合的であるとき、$F_G$ を $G$ の Fat 拡大と呼ぶ。

3.2 抽象的な ruths と不変複体

著者は、ruths を「抽象的（intrinsic）」な対象として再定義する。具体的には、群群の nerve 上の関数環 $C_G$ 上の加群として定義し、次数 $+1$ と $-1$ の微分を持つ構造を導入する。
Fat 拡大 $F_G$ に対して、その不変複体（invariant complex） $C_{inv}(F_G; C_M)$ を定義する。これは、Fat 群群上のコチェイン複体の部分複体であり、$\mathbf{H}(V_M, C_M)$ による作用に対して不変な要素からなる。この不変複体が、VB-群群の VB-複体（または projectable complex）と自然に同型になることが示される。

3.3 微分と Van Est 写像

Fat 拡大の微分（Lie 関手による）を議論し、リー群群の Fat 拡大がリー代数の Fat 拡大（Fat algebroid）に写ることを示す。さらに、不変コチェインに対する Van Est 写像を構成し、これが群群のコホモロジーと代数のコホモロジーを結びつけることを証明する。

4. 主要な結果と貢献

4.1 圏の同値性

本論文の中心的な成果は、以下の 4 つの圏がすべて同値であることを示すことである：

1. VB-群群の圏
2. Fat 拡大の圏
3. 抽象的な 2 項 ruths の圏
4. 一般線形 PB-群群の圏

これらの対応は、分割（cleavage）の選択に依存せず、本質的（canonical）な同値として確立される。特に、VB-群群から Fat 拡大への対応は、Fat 群群 $\widehat{V}_G$ を通じて行われ、逆対応は商構成によって得られる。

4.2 一般線形 PB-群群との対応

一般線形 PB-群群（構造群が一般線形厳密リー 2-群群である PB-群群）と Fat 拡大の間の同値が確立される。これは、[GC26] での先行研究を一般化し、より自然な枠組みで再定式化したものである。PB-群群から Fat 拡大への対応は、主束の切断（section）を介して行われる。

4.3 コア拡大（Core Extensions）と二重群群

Fat 拡大は、**コア拡大（core extensions）**という概念と密接に関連している。コア拡大は、二重リー群群（double groupoids）における「コア・トランジティブ（core-transitive）」な構造を記述する。

• 垂直コア・トランジティブな二重群群 $\iff$ 垂直コア拡大
• 一般線形 PB-群群（正則な場合） $\iff$ 一般線形二重群群 $\iff$ Fat 拡大

これは、Brown, Jotz-Lean, Mackenzie などの先行研究の一般化であり、Fat 拡大が二重群群の観点からも理解できることを示している。

4.4 変形理論への応用

Fat 群群の枠組みを用いることで、リー群群の変形複体（deformation complex）が、Fat 拡大の不変複体として記述できることが示される。特に、ジェット群群 $J^1 G$ は $TG$ の Fat 群群と見なせ、その不変複体が変形コホモロジーを与える。これにより、変形理論の新しいモデルが得られ、正則なリー群群や主束の gauge 群群に対する既知の結果が自然に導かれる。

4.5 関手的側面

各圏間の対応が関手として定義され、同値性をなすことが証明される。特に、Fat 拡大の間の射（morphisms）は、不変な 1-コサイクル（multiplicative tensors）として記述され、VB-群群の射と対応する。

5. 意義と将来の展望

• 統一的理解: 表現論の異なる定式化（VB-群群、ruths、PB-群群）を、Fat 拡大という単一の概念で統一的に扱う枠組みを提供した。
• 本質的な記述: 従来の「分割された（split）」モデルに依存しない、本質的な（intrinsic）記述を可能にし、幾何学的な直観を強化した。
• 応用可能性:
  • テンソル積: VB-群群や ruths のテンソル積が、Fat 拡大の枠組みで自然に定義できる（今後の研究 [MOV] で詳細化予定）。
  • 高次元一般化: 高次ベクトル束（higher vector bundles）や高次 ruths への拡張の基礎となる。
  • 変形理論: リー群群の変形を、Fat 群群の観点から再解釈し、新しい計算手法や理解を可能にする。

本論文は、リー群群の表現論における「Fat」な構造の重要性を明らかにし、今後の微分幾何学およびホモトピー論の研究において重要な基盤となるものである。