On amenability constants of Fourier algebras: new bounds and new examples

離散群におけるフーリエ代数のアメナビリティ定数について、非可換フーリエ解析を用いてより鋭い上界を導き、これにより有限群の直積や退化したケース以外の新規な群の例でその定数を明示的に計算可能にしたほか、 Runde の下界が等式となるという予想を支持する新たな証拠を提供しています。

要約

この論文は、数学の「調和解析（Harmonic Analysis）」という分野における、「群（Group）」という抽象的な数学的対象と、その「フーリエ代数（Fourier Algebra）」という関数の集まりの性質について書かれたものです。

専門用語が多くて難しそうですが、実は**「複雑なパズルの解き方」や「建物の構造」**に例えると、とても面白い話になります。

以下に、この論文の核心を、専門知識がなくてもわかるように、比喩を使って解説します。

---

🏗️ 1. 物語の舞台：「群」という巨大な都市

まず、**「群（Group）」**を想像してください。これは、ルールに従って要素を組み合わせられる（足したり掛けたりできる）数学的な「都市」のようなものです。

• 有限な群：小さな村。人数が決まっている。
• 無限な群：果てしない大都市。

この都市には、**「フーリエ代数（A(G)）」**という、その都市の「音」や「波」を記録した図書館があります。この図書館の性質を調べることで、都市（群）の構造がどうなっているかがわかります。

📏 2. 問題の核心：「アメンナビリティ定数」という「揺れやすさの指標」

この図書館には、「アメンナビリティ定数（Amenability Constant）」という、「その都市がどれだけ『安定しているか（揺れにくいか）』」を表す数値があります。

• 値が小さい（1 に近い）：都市は非常に安定しており、秩序だっている（アメンナブル）。
• 値が大きい：都市は少し不安定で、複雑な動きをしている。
• 無限大：都市は崩壊しており、秩序がない（非アメンナブル）。

過去の知見：

• 小さな村（有限な群）の場合、この数値を正確に計算する「魔法の公式」が昔からありました。
• しかし、果てしない大都市（無限な群）の場合、この数値を正確に計算する方法は誰も知りませんでした。「たぶんこのくらいだろう」という**「おおよその見積もり（上限と下限）」**しかありませんでした。

🔍 3. この論文の新しい発見：「より鋭いメス」と「新しい地図」

この論文の著者たちは、「無限な群」に対しても、より正確な見積もり（上限）を見つけ出し、さらに具体的な都市の例で「正確な数値」を計算することに成功しました。

🧩 発見その 1：「小さな断片」を見れば全体がわかる

定理 1.3（可算飽和性）
「果てしない大都市（無限な群）の安定性を調べるのに、都市全体を調べる必要はありません。**『数えられる程度の小さな地区（可算部分群）』**を見つければ、その地区の安定性こそが、都市全体の安定性と同じなのです。」

• 比喩：巨大な森の生態系を調べるのに、森全体を歩く必要はありません。森の「小さな一角」を詳しく調べれば、その森全体の性質がわかる、という驚くべき発見です。これにより、無限に複雑な問題を、扱いやすい「有限または可算な問題」に落とし込むことができました。

📐 発見その 2：「より鋭い上限」の発見

以前は「この群の安定性は、最大で『最大次数』以下だ」という大まかな見積もりしかありませんでした。しかし、著者たちは**「非可換フーリエ解析」という新しい道具を使い、「実はもっと低い値に収まるはずだ」という、より鋭い（厳しい）上限**を見つけ出しました。

• 比喩：「この建物は高さが 100m 以下だろう」と言われていたのが、「実は 80m 以下だ」と、より正確に予測できるようになった感じです。

🏆 発見その 3：「ヘーゼンベルク群」という新しい例

これまで、正確な数値が計算できたのは「有限な群の組み合わせ」だけでした。しかし、著者たちは**「ヘーゼンベルク群（Heisenberg Group）」**という、整数や p 進数（数学の特殊な数体系）から作られた新しい都市の例を提示しました。

• 結果：これらの新しい都市についても、安定性の数値を**「p - 1 + 1/p」**というきれいな式で計算できました。
• 意味：これは、これまで「計算不可能だと思われていた」領域に、新しい計算可能な例が加わったことを意味します。

🧪 4. 最大の目標：「ランデの予想」の証明

この研究の最大の目的は、**「ランデの予想（Conjecture 1.2）」**という仮説を裏付けることです。

• 予想の内容：「安定性の数値（AM）」と、「反対角線という別の計算方法（AD）」は、実はいつも同じ値であるはずだ。

• これまでの状況：有限な群では一致することがわかっていましたが、無限な群では「一致するはずだ」という理論的な根拠はあっても、具体的な証拠（実例）が少なかったのです。

• この論文の貢献：今回見つけた新しい都市（ヘーゼンベルク群など）でも、「安定性の数値」と「別の計算方法」がぴったり一致することを確認しました。

• 比喩：「A という方法と B という方法で測れば、いつも同じ長さがでるはずだ」という予想に対し、「これまで A と B が一致した例は少なかったが、今回、新しい 3 つの例でも A と B がぴったり一致した！これで予想はもっと信頼できる！」と言っている状態です。

🎯 5. まとめ：なぜこれが重要なのか？

この論文は、数学の「パズル」の重要なピースを埋めました。

1. 方法論の革新：無限の群を、小さな部分群に分解して調べる手法を確立し、より正確な計算を可能にしました。
2. 新しい証拠：これまで「計算不能」と思われていた複雑な群について、正確な数値を導き出し、重要な予想（ランデの予想）を強力に支持する証拠を提供しました。
3. 未来への扉：この新しい計算手法を使えば、今後さらに多くの「複雑な群」の性質を解明できる可能性があります。

一言で言えば：
「無限に複雑な数学の都市の『安定性』を測る新しい、より正確なメジャー（ものさし）を発明し、これまで測れなかった新しい都市の正確な値を初めて計算した、という画期的な研究です。」

この研究は、数学の基礎的な理解を深めるだけでなく、将来、より複雑な構造を持つシステム（物理や情報科学など）を解析する際にも役立つ可能性を秘めています。

技術概要

1. 問題設定と背景

可換性定数 $AM(A)$ とフーリエ代数 $A(G)$

• フーリエ代数 $A(G)$: 局所コンパクト群 $G$ 上の連続関数のバナッハ代数であり、そのノルムは $G$ のユニタリ表現論を符号化しています。$A(G)$ は $G$ の位相構造と群構造の両方を記憶します（Walter の定理）。
• 可換性（Amenability）: $A(G)$ が可換であるための必要十分条件は、$G$ が「実質的に可換（virtually abelian）」であることです（Forrest & Runde, 2005）。
• 可換性定数 $AM(A)$: 可換なバナッハ代数 $A$ に対して定義される数値的指標です。$A$ が可換であることと $AM(A) < \infty$ は同値ですが、$AM(A)$ の具体的な値は $A$ の構造に関するより深い情報を提供します。

既存の知見と未解決問題

• 有限群の場合: Johnson (1994) は、$G$ が有限群の場合、$AM(A(G))$ の明示的な公式を導出しました。
  $$AM(A(G)) = \frac{1}{|G|} \sum_{\pi \in \hat{G}} (d_\pi)^3$$
  ここで $d_\pi$ は既約表現 $\pi$ の次数です。
• 無限群の場合: 無限非可換群に対しては、$AM(A(G))$ を計算する一般公式は知られていません。Runde (2006) は以下の上下界を与えました。
  $$1 \le AD(G) \le AM(A(G)) \le \maxdeg(G)$$
  ここで、$AD(G)$ は「フーリエ・ステイツアルゴリズムの反対角部分集合のノルム」であり、$\maxdeg(G)$ は $G$ の既約ユニタリ表現の次数の上限です。
• 核心的な問い（Question 1.1）: $AM(A(G_1 \times G_2)) = AM(A(G_1)) AM(A(G_2))$ か？
  これに対する反例は知られていませんが、一般論としての証明もありません。
• Choi の予想（Conjecture 1.2）: 最初の著者（Choi）は、すべての局所コンパクト群 $G$ に対して $AM(A(G)) = AD(G)$ であると予想しています。もしこれが真であれば、Question 1.1 に対する肯定的な回答が得られます。

本研究の目的
無限群、特に離散群に対して、$AM(A(G))$ を明示的に計算可能な新たな群の例を提示し、Choi の予想を支持する新たな証拠を提供すること。また、Runde の上限をより鋭いものに改善すること。

---

2. 手法と理論的枠組み

本研究は、非可換フーリエ解析、作用素空間理論、および群の表現論を組み合わせています。

1. より鋭い上限の導出（Theorem 4.1）:

   • 離散群 $G$ が実質的に可換（virtually abelian）である場合、Runde の上限 $\maxdeg(G)$ を改善した式を導出しました。
   • 従来の Johnson の公式（有限群用）は無限群には適用できませんが、著者らは非可換フーリエ変換と逆フーリエ変換、およびPlancherel 測度を用いることで、無限離散群に対しても同様の鋭い上限を証明しました。
   • 鍵となるのは、$A(G) \hat{\otimes} A(G)$ のノルムと $A(G \times G)$ のノルムの関係を、表現の次数と可換部分群の構造を用いて評価することです。

2. 可算部分群への還元（Theorem 1.3）:

   • 任意の離散群 $G$ に対して、$AM(A(G)) = AM(A(\Gamma))$ となる可算部分群 $\Gamma$ が存在することを示しました。
   • この結果により、無限離散群の可換性定数の研究を可算群に限定することが可能となり、Plancherel 公式などの解析的ツールを適用しやすくなりました。

3. プロ有限群の近似（Proposition 5.5）:

   • コンパクト群（特にプロ有限群）のフーリエ代数の可換性定数を、有限群の逆極限として近似する手法を用いました。これにより、離散群の結果をコンパクト群へ拡張する道筋を作っています。

---

3. 主要な結果と定理

A. 一般結果と改善された上限

• Theorem 4.1（離散群における鋭い上限）:
  $G$ が離散かつ実質的に可換な群であるとき、
  $$AM(A(G)) \le 1 + (\maxdeg(G) - 1) \left( 1 - \frac{1}{|[G, G]|} \right)$$
  が成り立ちます。ここで $[G, G]$ は交換子部分群です。

  • 有限群の場合、この式は Johnson の公式から直接導かれますが、著者らは無限離散群に対してもこれを証明しました。
  • この上限は、$G$ が非可換であれば $\maxdeg(G)$ よりも厳密に小さくなります。

• Theorem 1.8（2 つの次数しか持たない表現を持つ群）:
  $G$ が可算群で、その既約表現の次数の集合が $\{1, d\}$ （$d \in \mathbb{N}$）のみである場合、
  $$AM(A(G)) = AD(G) = 1 + (d - 1) \left( 1 - \frac{1}{|[G, G]|} \right)$$
  が成り立ちます。

  • これにより、$AM(A(G)) = AD(G)$ が証明され、Choi の予想がこれらの群に対して真であることが示されました。

• Theorem 1.9（最小値の特性）:
  離散非可換群 $G$ に対して、$|G : Z(G)| = 4$ （中心に対する指数が 4）であるとき、$AM(A(G)) = 3/2$ となります。これは $AM(A(G))$ が取りうる最小値です。

B. 新たな具体例（Theorem 1.7）

著者らは、ヘイゼンベルグ群の商として定義される新たな群のクラスを構成しました。

• 対象: $H_{rp}(\mathbb{Z})$ （整数上のヘイゼンベルグ群の商）と $H_{rp}(\mathbb{Z}_p)$ （$p$ 進整数上のヘイゼンベルグ群の商）。
• 結果:
  • $AM(A(H_{rp}(\mathbb{Z}))) = AD(H_{rp}(\mathbb{Z})) = p - 1 + p^{-1}$
  • $AM(A(H_{rp}(\mathbb{Z}_p))) = AD(H_{rp}(\mathbb{Z}_p)) = p - 1 + p^{-1}$
• 重要性: これらの群は、以前知られていた「有限群と実質的に可換な群の直積」という形式には属しません。したがって、Choi の予想がより広範な自然な群のクラスで成り立つことを示す強力な証拠となりました。

---

4. 意義と貢献

1. Choi の予想（Conjecture 1.2）への強力な支持:
   以前は、$AM(A(G)) = AD(G)$ が成り立つことが知られていたのは、有限群や「実質的に可換かつ $AD(G) = \maxdeg(G)$ となる群（AD-maximal）」に限られていました。本研究は、これらとは異なる構造を持つ自然な群（ヘイゼンベルグ群の商）に対して等式が成立することを初めて示し、予想の普遍性を裏付けました。

2. 無限群への理論的拡張:
   有限群の Johnson の公式を、非可換フーリエ解析を用いて無限離散群（実質的に可換な場合）へ一般化しました。これにより、無限群の可換性定数の計算可能性が大幅に向上しました。

3. 積群に関する疑問（Question 1.1）への示唆:
   $AD(G)$ が直積に対して乗法的（multiplicative）であることが知られています。$AM(A(G)) = AD(G)$ が成り立てば、$AM(A(G_1 \times G_2)) = AM(A(G_1))AM(A(G_2))$ も成り立ちます。本研究で得られた新たな例は、この積の性質が広く成立する可能性を示唆しています。

4. 手法の革新:

   • 離散群の可算部分群への還元（Theorem 1.3）を用いることで、無限群の問題を扱いやすい可算群に帰着させるアプローチを確立しました。
   • プロ有限群のフーリエ代数を有限群の極限として扱うことで、コンパクト群への結果の拡張を可能にしました。

5. 結論

この論文は、フーリエ代数の可換性定数に関する長年の未解決問題に対し、理論的な上限の改善と、具体的な計算可能な群の例の発見という二つの側面から大きな進展をもたらしました。特に、Choi の予想が「有限群と直積で表せる群」以外の自然な群（ヘイゼンベルグ群の商など）でも成立することを示した点は、この分野における重要なマイルストーンです。今後の課題として、より一般的な局所コンパクト群（特に非離散群）への拡張や、積群に関する一般論の確立が期待されています。