A Note on the Peter-Weyl Theorem

この論文は、コンパクト群の表現論における古典的概念を導入し、大きな非自明なコンパクト開部分群を持つ局所コンパクト群上の関数が、局所的に既知の代表関数と同一の関数によって近似可能であることを示すことで、ペーター・ウェイルの定理の新たな一般化を達成しています。

要約

1. 背景：音楽と「分解」の魔法

まず、この研究の土台にある「ピーター・ウェイルの定理」を理解しましょう。

• 昔の発見（フーリエ）：
  19 世紀、フーリエは「どんな複雑な波形（音や振動）も、単純な『サイン波』や『コサイン波』を足し合わせることで、限りなく近づけて表現できる」と発見しました。これは、複雑な曲を「ド・レ・ミ」という単純な音の組み合わせで説明できるようなものです。
• ピーター・ウェイルの定理：
  20 世紀、ピーターとウェイルは、この考え方を「コンパクト群（ある意味で『閉じた、有限の大きさを持つ』数学的な空間）」という複雑な形に拡張しました。
  • イメージ： 丸いドーナツ（トーラス）のような形をした空間で、どんな複雑な模様や関数（数式）も、その空間の「基本となる単純なパターン（代表関数）」を組み合わせるだけで、ほぼ完璧に再現できる、という定理です。

しかし、問題があります。
ピーター・ウェイルの定理は、「閉じた空間（コンパクト群）」でしか機能しません。しかし、現実の数学や物理、特に「p 進数（p-adic numbers）」と呼ばれる世界では、空間が「閉じている」のではなく、「局所的には閉じているが、全体は無限に広がっている（局所コンパクト）」という形をとることがあります。

この論文は、**「無限に広がる空間でも、ピーター・ウェイルの定理の『魔法』を使えないか？」**という問いに答えています。

---

2. 論文の核心：「切り貼り」のテクニック

著者たちは、局所コンパクトな群（無限に広がる空間）でも、ある条件を満たせばピーター・ウェイルの定理を応用できると証明しました。その条件とは、**「その空間の中に、大きくて『閉じた（コンパクトな）』小さな部屋（部分群）が、開いた扉のように存在すること」**です。

アナロジー：巨大なモザイク画とタイル

この論文のアイデアを、**「巨大なモザイク画」**に例えてみましょう。

1. 全体像（局所コンパクト群）：
   想像してください。床一面に広がる、無限に続く巨大なモザイク画があるとします。これは「局所コンパクト群」です。全体は無限なので、一度に全部を描くのは不可能です。
2. 小さな部屋（コンパクト開部分群）：
   しかし、この床には「正方形のタイル」が敷き詰められており、そのタイル自体は「閉じた空間（コンパクト）」です。しかも、このタイルは「開いた扉」のように、隣接するタイルと区切られています。
3. ピーター・ウェイルの魔法（代表関数）：
   ピーター・ウェイルの定理は、「この『正方形のタイル』の上にある模様は、単純なパターンを組み合わせれば完璧に再現できる」と言っています。
4. 著者の工夫（リフトと貼り合わせ）：
   著者たちは、以下のような手順で巨大なモザイク画全体を再現する方法を見つけました。
   • ステップ 1（切り取り）： 無限に広がる床から、必要な部分だけを「正方形のタイル」ごとに切り取ります。
   • ステップ 2（魔法の適用）： 切り取ったタイルの上にある模様に対して、ピーター・ウェイルの定理を使って、単純なパターンで近似（再現）します。
   • ステップ 3（リフト：持ち上げ）： ここで重要なのが**「リフト（Lift）」という操作です。タイルの上で計算した単純なパターンを、元の「無限の床」に戻すとき、「タイルの中は元の模様を再現し、タイルの外は真っ黒（0）」**というように扱います。
   • ステップ 4（貼り合わせ）： 切り取ったすべてのタイルに対してこの作業を行い、それらを足し合わせます。

結果：
タイル同士が隣り合っているため、隙間なく、あるいは重なり合う部分も調整しながら、元の「無限に広がる複雑な模様」を、単純なパターンの組み合わせで近似できる、というのがこの論文の結論です。

---

3. 具体的な例：p 進数の世界

この理論が実際にどこで使えるか、著者は**「p 進数（Qp）」**という例を挙げています。

• p 進数（Qp）： これは通常の数字とは全く異なる世界ですが、整数の「p 進数版」である**「p 進整数（Zp）」**という集合を含んでいます。
• 特徴： p 進整数（Zp）は、p 進数の世界の中では「コンパクト（閉じた空間）」であり、かつ「開いた部分（扉が開いている状態）」でもあります。
• 応用： この Zp という「小さな部屋」を使って、p 進数全体の複雑な関数を、先ほどの「タイルの貼り合わせ」方式で近似できることが示されました。

---

4. 重要な注意点：つながっている空間には使えない

この論文は、「つながった空間（連結な空間）」にはこの方法は使えないことも明確にしています。

• 例： 直線（実数直線）や、円（トーラス）は「つながっています」。
• 理由： もし直線の中に「開いた部屋（コンパクトな部分）」を作ろうとすると、その部屋と外の空間が切り離されてしまい、直線としての「つながり」が壊れてしまいます。
• 結論： この「切り貼り」のテクニックが有効なのは、空間が「ブロック（タイル）の集合」のように、離れていて、かつそれぞれのブロックが閉じた形をしている場合に限られます。

---

まとめ：この論文が何をしたのか

一言で言えば、**「ピーター・ウェイルの定理という『強力な道具』を、より広い『無限の空間』でも使えるように改造した」**という研究です。

• 元の道具： 閉じた箱（コンパクト群）の中にある複雑なものを、単純な部品で再現する。
• 改造後： 無限に広がる部屋（局所コンパクト群）の中に、閉じた箱（コンパクト開部分群）がいくつも並んでいる場合、それぞれの箱で単純な部品を作り、それを「リフト（持ち上げて）」して貼り合わせることで、全体を再現できる。

これは、p 進数解析や、数論、物理学など、複雑な対称性を持つ無限の空間を扱う分野において、計算や解析を劇的に簡単にするための新しい「設計図」を提供するものと言えます。

著者たちは、この「切り貼り」のアプローチが、数学の新しい地平を開くことを示唆しています。

技術概要

以下は、Yanga Bavuma, Francesco G. Russo, Elizabeth Stevenson による論文「A NOTE ON THE PETER-WEYL THEOREM（ペーター - ワイルの定理に関する注）」の技術的な要約です。

1. 研究の背景と問題設定

背景:
ペーター - ワイルの定理（Peter-Weyl Theorem）は、コンパクト群上の連続関数が、より単純な「代表関数（representative functions）」の線形結合によって近似可能であることを示す、表現論における重要な結果です。これは、コンパクト群におけるフーリエ級数展開の一般化と見なされます。

問題:
従来のペーター - ワイルの定理は、定義域が「コンパクト群」である場合にのみ適用されます。しかし、p 進数体 $\mathbb{Q}_p$ のような局所コンパクト群（ただしコンパクトではない）において、同様の近似定理を確立することは、特にコンパクトな開部分群を持つ場合、未解決の課題または一般化の余地がありました。
本研究の目的は、コンパクトな開部分群を持つ局所コンパクト群に対して、ペーター - ワイルの定理に相当する近似定理を確立することです。

2. 手法とアプローチ

本研究では、以下の数学的構成と論理展開を用いています。

• 位相群と表現の基礎:
  • 位相群、位相ベクトル空間、$G$-加群、および強作用素位相における表現の定義を整理しました。
  • ハール測度（Haar measure）の存在と一意性（定数倍を除く）を確認し、コンパクト群における正規化ハール測度を定義しました。
• リフティング演算子（Lifting Operator）の導入:
  • 局所コンパクト群 $G$ がコンパクトな開部分群 $H$ を持つと仮定します。
  • $H$ 上で定義された関数 $k$ を $G$ 全体に「持ち上げる」演算子 $\ell_G$ を定義しました。これは、$x \in H$ なら $k(x)$ を取り、$x \notin H$ なら $0$ となる関数です。
  • 部分群 $H$ が開集合であるため、この操作によって得られる関数は $G$ 上で連続であることが保証されます（Remark 3.2）。
• 持ち上げられた代表関数（Lifted Representative Functions）:
  • $H$ 上の代表関数 $R(H, K)$ の元を $G$ へ持ち上げ、さらに $G$ によるシフト（右乗算）と線形結合をとった空間 $\hat{R}(G, K)$ を定義しました。
  • これらの関数は、$H$ の剰余類（cosets）上で局所的に代表関数と一致し、それ以外では 0 となる構造を持ちます。
• 近似の構成:
  • 任意のコンパクト台を持つ連続関数 $f \in C_c(G, K)$ を、$G/H$ の剰余類で分割します。
  • 各剰余類 $Hg_i$ 上の関数 $f_i$ を、$H$ へシフトして $H$ 上の関数とみなし、従来のペーター - ワイルの定理を用いて $H$ 上の代表関数列で近似します。
  • 近似された関数を再び $G$ へ持ち上げ、シフトを元に戻すことで、$G$ 上の近似関数列を構成します。

3. 主要な結果

定理 3.6（$L^2(G, K)$ 上の近似）:
$G$ を非自明なコンパクトな開部分群 $H$ を持つ局所コンパクト群とする。このとき、持ち上げられた代表関数の空間 $\hat{R}(G, K)$ は、$L^2(G, K)$ において稠密（dense）である。

証明の要点:

1. ハール測度の正規化: $H$ 上の測度が 1 になるように $G$ 上のハール測度を調整し、$H$ 上の $L^2$ ノルムと $G$ 上の $L^2$ ノルムが、持ち上げ操作によって保存されることを示しました（Lemma 3.5）。
2. 局所近似から大域的近似へ: 関数 $f$ を有限個の剰余類に分割し、各部分で $H$ 上のペーター - ワイル定理を適用して近似します。
3. 収束性: 各部分の近似誤差を小さくすることで、全体としての $L^2$ ノルムにおける収束（$N \to \infty$ で誤差が 0 に収束）を証明しました。

4. 具体例と適用範囲

• 適用例: $p$ 進数体 $\mathbb{Q}_p$（$G$）とその整数環 $\mathbb{Z}_p$（$H$）。$\mathbb{Z}_p$ は $\mathbb{Q}_p$ 内の非自明なコンパクト開部分群であるため、この定理が直接適用可能です。
• 適用不可能なケース:
  • 連結な非コンパクト局所コンパクト群（例：$\mathbb{R}^n$）。連結な群は、非自明なコンパクト開部分群を持たないため（開集合と閉集合の分割が生じるため）、この定理の前提を満たしません。
  • 離散位相を持つ群（自明な部分群の場合のみ）。

5. 意義と貢献

• 理論的拡張: ペーター - ワイルの定理を、コンパクト群から「コンパクトな開部分群を持つ局所コンパクト群」へと一般化しました。これにより、$p$ 進解析や p 進リー群の表現論におけるフーリエ解析的な手法の基盤が強化されました。
• 局所と大域の橋渡し: 大域構造が複雑な群であっても、局所的なコンパクト部分群の構造を利用することで、関数の近似が可能であることを示しました。
• 応用可能性: この結果は、数論的対象（$\mathbb{Q}_p$ など）における調和解析や、その上の関数空間の構造理解に寄与します。特に、コンパクト群の理論を局所コンパクト群へ拡張する際の具体的な構成法（リフティング）を提供した点が重要です。

総じて、この論文は、コンパクト群の古典的な結果を、特定の構造（コンパクト開部分群の存在）を持つより広いクラスの群へ体系的に拡張する重要なステップを提供しています。