[論文レビュー] Sum-product for real Lie groups

Weikun He, Nicolas de Saxcé|arXiv (Cornell University)|Jun 17, 2018

Advanced Algebra and Geometry参考文献 16被引用数 5

ひとこと要約

本稿は、ジョルダン＝ホルダー分解に自明表現を含まない実リー群に対して離散化された和積定理を確立し、特定の幾何的・代数的条件を満たす集合が表現空間内で大きな近傍を生成することを証明する。この結果を用いて、完全リー群における積定理を導出し、商群および部分群から離れた小さな集合が三重積において顕著に拡張されることを示す。これは、SU(2) や半単純群に対する先行研究を一般化するものである。

ABSTRACT

We prove a discretized sum-product theorem for representations of Lie groups whose Jordan-Hölder decomposition does not contain the trivial representation. This expansion result is used to derive a product theorem in perfect Lie groups.

研究の動機と目的

• 実リー群の表現において、ジョルダン＝ホルダー分解に自明表現を含まないものに対して、離散化された和積現象を確立すること。
• 完全リー群において、商群における被覆数が制御され、部分群から離れている集合が三重積で顕著に拡張されることを示す積定理を証明すること。
• 非完全リー群における反例を構成することで、完全性条件の最適性を示すこと。
• ボルガインの離散化された和積定理をリー群の表現および完全リー群の設定に一般化すること。
• 幾何学的および表現論的手段を用いて、非アーベルリー群における近似部分群およびスペクトルギャップ性質を理解するための枠組みを提供すること。

提案手法

• 閉じた連結部分群および部分加群から $ \delta^\varepsilon $-離れている集合の概念を定義し、群および表現空間における幾何的豊かさを保証する。
• 商群 $ G/N $ への射影の被覆数条件を用いる。すべての $ \rho \geq \delta $ に対して $ N(\pi_{G/N}(A), \rho) \geq \delta^\varepsilon \rho^{-\kappa} $ を要求することで、$ A $ の正規部分群に関する構造を制御する。
• リー群のラジカルの冪零クラスに関する帰納法を用い、問題を低ランクの商群に還元し、交換子推移を用いて導来系列における球を上げる。
• 完全リー群では導来代数がリー代数に一致するため、アーベル商が存在せず、これが拡張が発生する上で不可欠であることを活用する。
• 下部中心系列および交換子恒等式の構造を用いて、導来群内の小さな球が集合 $ A $ の積によって生成されることを示し、これにより成長推定が可能になる。
• 非完全リー群においては、$ G/[G,G] $ からの一般化された算術進歩を引き上げることで反例を構成し、$ \dim G - \dim[G,G] > 0 $ の場合に拡張が失敗することを示す。

実験結果

リサーチクエスチョン

• RQ1 実リー群 $ G $ の部分集合 $ A \subset G $ に対して、$ \langle A,X \rangle_s $ が表現空間 $ V $ で大きな近傍を生成するための条件は何か？
• RQ2 三重積に関する $ N(AAA,\delta) \geq \delta^{-\varepsilon} N(A,\delta) $ の形の積定理が成り立つために必要な $ G $ の最小の構造的仮定は何か？
• RQ3 なぜリー群 $ G $ の完全性が、このような拡張が発生するための必要十分条件となるのか？
• RQ4 リー群 $ G $ の表現における和積現象は、コンパクトな半単純リー群におけるスペクトルギャップ性とどのように関係しているか？
• RQ5 非完全リー群における近似部分群を、制御された成長を示すが三重積で拡張しないように構成することは可能か？

主な発見

• 任意の連結実リー群 $ G $ および $ V \in \mathcal{P}(G) $ に対して、ある近傍 $ U \subset G $ が存在し、$ A \subset U $ かつ $ X \subset B_V(0,1) $ が $ \delta^\varepsilon $-離れており、被覆数条件を満たすならば、ある $ s $ に対して $ B_V(0,\delta^{\varepsilon_0}) \subset \langle A,X \rangle_s^{(\delta)} $ が成り立つ。これは有界生成性の証明である。
• 完全リー群において、$ A \subset U $ が $ N(A,\delta) \leq \delta^{-\dim G + \kappa} $ を満たし、$ \delta^\varepsilon $-部分群から離れており、商群で被覆数が制御されているならば、$ N(AAA,\delta) \geq \delta^{-\varepsilon} N(A,\delta) $ が成り立つ。これは顕著な拡張を示している。
• 完全性条件は最適である。非完全かつ simply connected なリー群では、$ N(A,\delta) \approx \delta^{-\dim G + d(1-\kappa)} $、$ N(\pi_{G/N}(A),\rho) \gg \rho^{-\kappa} $、かつ $ A $ が $ \frac{1}{O(1)} $-離れているような集合 $ A \subset U $ を構成可能であるが、この場合 $ N(AAA,\delta) \ll N(A,\delta) $ となる。
• この結果は、ボルガインの離散化された和積定理を実リー群の表現へ一般化したものであり、$ G = \mathbb{R}^* $、$ V = \mathbb{R} $ の場合に古典的結果を回復する。
• コンパクトな半単純リー群におけるスペクトルギャップ性がこの結果の系として導かれる。これはボルガインとガンブルトの $ \mathrm{SU}(2) $ に関する結果を、すべてのこのような群へ拡張するものである。
• 非完全リー群における近似部分群の構成は、アーベル化 $ G/[G,G] $ からの引き上げによって行われ、リー群の設定における中間次元の可測部分群が一般化された算術進歩の離散化類似物であることを示している。