A connection between Lipschitz and Kazhdan constants for groups of homeomorphisms of the real line

この論文は、実数直線上の双リプシッツ同相写像による作用に関するリプシッツ定数とカズダン定数の関係を用いて、相対的性質 (T) を持つ群の作用に対する障害を示し、半直積群$\mathbb{F}_2\ltimes\mathbb{Z}^2$のリプシッツ定数の下限や順序付け可能な群のペアのカズダン定数の上限を導出する。

要約

この論文は、数学の「群（グループ）」という抽象的な概念と、実数直線（数直線）の上での「動き」の関係について、非常に面白い発見をしたものです。専門用語を避け、日常の比喩を使って説明してみましょう。

1. 物語の舞台：「硬いグループ」と「柔らかい動き」

まず、2 つのキャラクターを登場させましょう。

• キャラクターA：「硬いグループ（Property (T) を持つ群）」
  これは、非常に結束力が強く、崩れにくいグループです。メンバー同士が強く結びついており、外部から少しの力（変化）を加えられても、その形を維持しようとする「頑固さ」を持っています。数学的には「ケザダン定数（Kazhdan constant）」という数値で、この頑固さの度合いを測ります。数値が高いほど、グループは「硬く」、簡単には変形できません。

• キャラクターB：「実数直線（R）上の動き」
  これは、数直線上を動く「変形」です。例えば、ゴムひもを伸ばしたり縮めたりする動きです。

  • リプシッツ定数（Lipschitz constant）： この動きが「どれくらい伸び縮みするか」を表す数値です。1 に近いほど、元の形をほとんど変えずに滑らかに動きます（リプシッツ定数＝1 なら、ただの平行移動で、形は全く変わりません）。
  • グループの動き： このグループが、数直線上の点を動かすことを考えます。

2. 論文の核心：「硬いグループ」は「滑らかな動き」ができない

この論文の最大の発見は、「頑固で硬いグループ（A）」は、数直線上で「ほとんど形を変えない滑らかな動き（B）」をすることはできない、という事実を証明したことです。

• イメージ：
  硬い鉄の塊（硬いグループ）を、柔らかいゴムひも（数直線）の上で、ゴムひもを引っ張らずに（伸び縮みさせずに）滑らかに動かそうとすると、どうなるでしょうか？
  鉄の塊は「崩れない」ように固まっているので、ゴムひもを無理やり動かそうとすると、ゴムひもは大きく伸び縮みしてしまいます。つまり、「硬いグループ」が数直線を動かすとき、必ず「大きな伸び縮み（リプシッツ定数の増大）」を伴うのです。

もし、あるグループが「ほとんど伸び縮みしない（リプシッツ定数が 1 に近い）」動きで数直線上を動けるなら、そのグループは実は「硬い（頑固な）」グループではない、とわかります。逆に、「硬いグループ」なら、必ず「大きな伸び縮み」が必要だと論文は言っています。

3. 具体的な例：「F2 ⋉Z2」という特殊なグループ

著者は、具体的なグループ「F2 ⋉Z2（F2 と Z2 の組み合わせ）」を例に挙げました。
このグループは、数学的には「硬い（Property (T) を持つ）」ことが知られていますが、数直線上で動くこともできます。

• 発見：
  このグループが数直線上を動かすとき、その「伸び縮み（リプシッツ定数）」は、約 1.24 以上にならなければなりません。
  つまり、「1.0001 くらいで滑らかに動く」ようなことは絶対に許されないのです。必ず「24% 以上」の伸び縮みが発生する、という「下限（最低ライン）」が計算されました。

4. 逆の視点：「順序付け可能なグループ」の限界

もう一つの面白い結論は、**「順序付け可能なグループ（左順序群）」**に関するものです。
これは、グループの要素に「大小関係（A < B < C）」を無理なく定義できるグループのことです。

• 問い： 「硬いグループ（Property (T) を持つ）」の中に、「順序付け可能なグループ」はあるだろうか？
  これは数学の長年の未解決問題の一つです。

• 論文の答え：
  著者は直接「ある/ない」を答えませんでしたが、**「もしそのようなグループが存在するとしても、その『硬さ（ケザダン定数）』には限界がある」**ことを示しました。
  生成元の数（グループを作るための基本パーツの数）が増えると、そのグループが持てる「硬さ」には上限が決まってしまうのです。
  簡単に言えば、「あまりに硬すぎると、順序付け可能なグループにはなれない」という制約が見つかりました。

まとめ：この論文が伝えたかったこと

1. 硬いグループは、滑らかに動けない： 数学的に「頑固で崩れにくい（Property (T)）」グループは、数直線上で「ほとんど形を変えない（リプシッツ定数が 1 に近い）」動きをすることは不可能です。必ずある程度の「歪み（伸び縮み）」が必要です。
2. 数値で証明した： 単に「できない」だけでなく、「どれくらいの歪みが必要か」という具体的な数値（下限）を計算しました。
3. 新しい制限が見つかった： もし「順序付け可能な硬いグループ」が存在するとしたら、その硬さには「生成元の数」に応じた限界があることがわかりました。

一言で言うと：
「数学の『頑固なグループ』は、数直線の上で『優雅に滑らかに動く』ことは許されない。必ず『激しく歪む』必要がある」という、グループと空間の間の新しいルールを発見した論文です。

技術概要

論文「実直線上の同相写像群におけるリプシッツ定数とカズダン定数の関係」の技術的サマリー

著者: Ignacio Vergara
概要: この論文は、相対的 Property (T) を持つ群が、実直線 $\mathbb{R}$ 上の双リプシッツ同相写像（bi-Lipschitz homeomorphisms）として忠実に作用することに対する障害を明らかにするものである。具体的には、リプシッツ定数とカズダン定数の間に定量的な関係式を導出しており、これを応用して半直積群 $F_2 \ltimes \mathbb{Z}^2$ の作用に関する具体的な下限値や、順序付け可能群（orderable groups）のカズダン定数に関する上限値を得ている。

---

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

1.1 背景

• Property (T): 有限生成群 $G$ が Property (T) を持つとは、任意のユニタリ表現において、生成集合 $S$ に対する「ほぼ不変ベクトル」が真に不変ベクトルに近づく性質を指す。
• 実直線への作用: 有限生成群 $G$ が向きを保つ同相写像として $\mathbb{R}$ に忠実に作用するかどうかは、$G$ が左順序付け可能（left-orderable）であることと同値であることが知られている。
• 未解決問題: Property (T) を持つ群が、$\mathbb{R}$ 上に忠実に作用しうるか（特に、順序付け可能群が Property (T) を満たすか）は長年の未解決問題である。多くの Property (T) 群は順序付け不可能であることが示されているが、一般論は不明。

1.2 問題

Property (T) を持つ群（または相対的 Property (T) を持つ対 $(G, \Gamma)$）が、$\mathbb{R}$ 上の双リプシッツ同相写像（有界変位を持つもの）のなす群 $\text{BiLip}^+_{bd}(\mathbb{R})$ に作用する場合、その作用のリプシッツ定数（$\text{BiLip}(f)$）にはどのような制約があるか？
特に、リプシッツ定数が 1 に限りなく近づける（つまり、等長変換に限りなく近づく）ような作用が可能か？

---

2. 主要な手法と理論的枠組み

2.1 超極限（Ultralimits）による極限作用の構成

• 命題 1.2: もし、リプシッツ定数が 1 に収束する一連の単射準同型 $\theta_n: G \to \text{BiLip}^+_{bd}(\mathbb{R})$ が存在すれば、$G$ は $\mathbb{R}$ への非自明な準同型（平移作用）を持つ。
• 手法: 超フィルターを用いて、リプシッツ定数が 1 に収束する作用列の極限をとる。この極限作用は等長変換（平移）となり、$G$ が無限アーベル商を持つことを示す。Property (T) 群は無限アーベル商を持たないため、矛盾が生じる。これにより、Property (T) 群のリプシッツ定数は 1 から一定の距離を保つ必要があることが示唆される。

2.2 $L^p$ 空間上の表現とカズダン定数

• Koopman 表現: 群 $G$ の $\mathbb{R}$ への作用から、$L^p(\mathbb{R})$ 上の直交表現（Koopman 表現）を構成する。
• Mazur 写像: $L^2$ 空間と $L^p$ 空間（$p \ge 2$）の間の Mazur 写像を用いて、$L^2$ 上の Property (T) の性質を $L^p$ 上の表現へ転写する。
• 定量的評価: Property (T) の定義（ユニタリ表現における不等式）を、$L^p$ 空間上の表現における不等式に変換し、リプシッツ定数とカズダン定数の関係を導出する。

---

3. 主要な結果

3.1 主定理（Theorem 1.4）

有限生成部分群 $G \subset \text{BiLip}^+_{bd}(\mathbb{R})$ と、その部分群 $\Gamma$（大域的不動点を持たない）が相対的 Property (T) を満たす場合、任意の有限生成集合 $S \subset G$ に対して以下の不等式が成り立つ：
$$\max_{g \in S} \text{BiLip}(g) \ge \Phi(\kappa(G, \Gamma, S))$$
ここで、$\kappa(G, \Gamma, S)$ はカズダン定数、$\Phi: [0, \sqrt{2}) \to [1, \infty)$ は以下の関数である：
$$\Phi(t) = \max \left\{ e^{2t}, 4(2-t^2)^{-2} \right\}$$

• 意味: カズダン定数が大きい（Property (T) が強い）ほど、作用のリプシッツ定数は 1 から遠ざかる（より歪んだ作用が必要になる）。

3.2 半直積群 $F_2 \ltimes \mathbb{Z}^2$ への応用（Theorem 1.6）

• 対象: 自由群 $F_2$ と整数格子 $\mathbb{Z}^2$ の半直積 $F_2 \ltimes \mathbb{Z}^2$。この対 $(F_2 \ltimes \mathbb{Z}^2, \mathbb{Z}^2)$ は相対的 Property (T) を持つ。
• 結果: この群が $\mathbb{R}$ に作用し、$\mathbb{Z}^2$ が大域的不動点を持たない場合、特定の生成集合 $S = \{R, T, e_1, e_2\}$ に対して、以下のリプシッツ定数の下限が得られる：
  $$\max_{g \in S} \text{BiLip}(g) \ge \exp\left( \frac{\sqrt{26}-4}{5} \right) \approx 1.24$$
• 手法: Shalom の Property (T) の定量的評価（$SL_2(\mathbb{Z}) \ltimes \mathbb{Z}^2$ に関する結果）を $F_2 \ltimes \mathbb{Z}^2$ に適応し、カズダン定数の下限 $\kappa \ge \frac{\sqrt{26}-4}{10}$ を導出した上で、主定理を適用した。

3.3 順序付け可能群への帰結（Corollary 1.8）

• 定理: $G$ が有限生成の順序付け可能群であり、$(G, \Gamma)$ が Property (T) を持つ場合、任意の有限対称生成集合 $S$ に対して、カズダン定数は以下の上限を持つ：
  $$\kappa(G, \Gamma, S) \le \Phi^{-1}(|S|)$$
• 意義: もし Property (T) を持つ順序付け可能群が存在するならば、そのカズダン定数は生成元の数 $|S|$ によって制約される。これは、カズダン定数が非常に大きい（強い Property (T)）ような順序付け可能群は存在しないことを示唆している。

---

4. 論文の構成と証明の要点

1. 第 2 章: 超極限を用いた命題 1.2 の証明。リプシッツ定数が 1 に収束する作用列から平移作用を導き、Property (T) 群との矛盾を指摘。
2. 第 3 章: $L^p$ 空間上の表現と Mazur 写像の性質を整理。Property (T) が $L^p$ 表現にも同様の不等式を満たすことを示す（Proposition 3.3）。
3. 第 4 章: 主定理（Theorem 1.4）の証明。
   • $L^2$ 表現（$p=2$）を用いた評価：$\kappa \le \sqrt{2}(1 - \text{BiLip}^{-1/2})^{1/2}$
   • $L^p$ 表現（$p \to \infty$）を用いた評価：$\kappa \le \frac{1}{2} \log(\text{BiLip})$
   • これらを組み合わせ、関数 $\Phi$ を定義。
4. 第 5 章: $F_2 \ltimes \mathbb{Z}^2$ の具体例。
   • 射影値測度（projection-valued measure）を用いて、$Z^2$ 部分群の不変ベクトルの存在を確率測度の不変性と関連付ける。
   • Shalom の手法を応用し、$F_2 \ltimes \mathbb{Z}^2$ のカズダン定数の具体的な下限を計算。
5. 第 6 章: 順序付け可能群への応用。Deroin-Kleptsyn-Navas-Parwani の定理（順序付け可能群は $\text{BiLip}^+_{bd}(\mathbb{R})$ に埋め込める）と主定理を組み合わせ、カズダン定数の上限を導出。

---

5. 学術的意義と結論

• 定量的な制約の確立: Property (T) と実直線への作用（特にリプシッツ性）の関係を、定量的な不等式として初めて明確に定式化した。
• 新しい不変量: リプシッツ定数とカズダン定数の間の関数関係 $\Phi$ は、群の幾何学的性質と表現論的性質を結びつける新しい不変量として機能する。
• 未解決問題へのアプローチ: 「Property (T) を持つ順序付け可能群は存在するか」という問題に直接答えるものではないが、もし存在するならばそのカズダン定数には厳しい上限があることを示し、この問題に対する新たな制約条件を提供した。
• 具体的な数値: $F_2 \ltimes \mathbb{Z}^2$ に対して、リプシッツ定数が約 1.24 以上でなければならないという具体的な下限を示した。

この論文は、幾何学的群論、表現論、および実解析（$L^p$ 空間理論）を巧みに融合させ、群の作用の「硬さ（rigidity）」を定量化する重要な成果である。