[論文レビュー] Strong algebraization of fixed point properties

Masato Mimura|arXiv (Cornell University)|May 25, 2015

Advanced Topics in Algebra参考文献 13被引用数 5

ひとこと要約

本稿は、有界生成性を仮定せずに、特定の部分群に関する相対的固定点性質から、有限生成群 $G$ の固定点性質を導く、スーパー内因性の合成基準を確立する。この手法は、バスマン非正曲率（NPC）空間における幾何的制御に依拠し、$
\mathrm{SL}(n,\mathbb{Z})$ や関連する算術群のような群に対して、カジラントの性質 (T) および強化されたバナッハ性質 (T) を得る、新たな内因的メカニズムを提供する。

ABSTRACT

The following natural question arises from Shalom's innovational work (1999, Publ. IHES): "Can we establish an intrinsic criterion to synthesize relative fixed point properties into the whole fixed point property without assuming Bounded Generation?" This paper resolves this question in the affirmative. Our criterion works for ones with respect to certain classes of Busemann NPC spaces. It, moreover, suggests a further step toward constructing super-expanders from finite simple groups of Lie type.

研究の動機と目的

• 有界生成性を仮定せずに、相対的固定点性質を統合して全固定点性質を導くシャロムの未解決問題を解決すること。
• 特にバスマン NPC 空間を含むメトリック空間のクラスにおいて、固定点性質の内因的・幾何的基準を構築すること。
• $\mathrm{SL}(n,\mathbb{Z})$ やランク $\geq 3$ のシュタインベルク群のような群に対して、固定点技法の適用範囲を拡大すること、特にヒルベルト空間でない設定において。
• 有限単純 Lie 型群から、内因的な幾何的合成を用いてスーパー拡張子を構成するための枠組みを提供すること。
• 有界軌道アプローチを、非反射的および非スーパー反射的バナッハ空間を含むより広いクラスのメトリック空間に一般化し、固定点挙動の制御を維持すること。

提案手法

• 固定点集合の部分群間での合成プロセスをモデル化するゲーム理論的定式化、$(\mathrm{Game})$ を導入する。
• バスマン NPC 空間の幾何的構造を用いて、群作用下での軌道および固定点集合の収束を制御する。
• 固定点の部分群から全群への伝播を模倣する拡大プロセスを適用し、有界生成性の代わりに幾何的整合性を用いる。
• ${\mathcal{X}}$-有界性および軌道制御の概念を用いて、幾何的補間により相対的性質から固定点性質を導出する。
• 反射的および $L$-埋め込みバナッハ空間などの特定の空間クラスにおいて、固定点性質と有界軌道性質が同値であることに着目する。
• $\ell_q$-誘導および相対的性質 $(\mathrm{FF})$ を適用し、ヒルベルト空間から非ヒルベルトバナッハ空間（$L_1$-空間や非可換 $L_q$-空間を含む）への結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 群 $G$ の固定点性質が、有界生成性を仮定せずに、その部分群の相対的固定点性質から合成可能か。
• RQ2 部分群およびメトリック空間に課される、固定点集合の相対的対応からの合成を可能にする、内因的な幾何的条件は何か。
• RQ3 固定点性質の証明において、有界生成性の代わりにバスマン NPC 空間における幾何的制御をどの程度まで置き換えられるか。
• RQ4 提案された合成基準は、非可換 $L_1$-空間のような非反射的バナッハ空間へどの程度拡張可能か。
• RQ5 この枠組みを用いて、有限単純 Lie 型群から、内因的な幾何的合成を経てスーパー拡張子を構成可能か。

主な発見

• 本稿はシャロムの問いに肯定的な答えを提供する：有界生成性を仮定せずに、全固定点性質を相対的性質から導くスーパー内因的合成基準が存在する。
• この基準は、バスマン NPC 空間（$\mathrm{CAT}(0)$ 空間やさまざまなバナッハ空間を含む）に作用する群に適用可能であり、シャロムの有界生成性による議論を一般化する。
• $n \geq 4$ に対して、$\mathrm{SL}(n,\mathbb{Z})$ は性質 $(\mathrm{F}_{\mathcal{B}_{\mathrm{NC}L_1}})$ を持つ。すなわち、非可換 $L_1$-空間への等長作用に関して固定点性質を有する。
• ニカの結果を用いて、$n \geq 4$ および素数べき $p$ に対して、$\mathrm{SL}(n,\mathbb{F}_p[t])$ に対しても同様の性質が成り立ち、ヒルベルト空間でない設定でも性質の頑健性が確認される。
• 古典的で、縮約可能で、既約なルート系をもつランク $\geq 3$ のシュタインベルク群 $\mathrm{E}(\Phi,A)$ に対しても、この手法は一般化可能であり、広範な適用可能性を示唆する。
• 非可換 $L_q$-空間における $q=1$ に対しても、スーパー反射性の欠如にもかかわらず、関数解析的道具ではなく幾何的制御を用いることで、合成メカニズムは頑健である。