[論文レビュー] Rigidity in the invariant theory of compact groups

Michael Larsen|ArXiv.org|Dec 15, 2002

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

ひとこと要約

本稿は、コンpakto Lie群 $G$ と忠実な複素表現 $V$ に関連する Sato-Tate 測度 $\mu_{G,V}$ が、すべての Sato-Tate 測度の空間内で孤立しているための必要十分条件を確立する。$G$ が連結で半単純であり、$V$ が既約である場合、$\mu_{G,V}$ は孤立点であることが示され、他の表現からの測度の近似は不可能である。この結果は、閉部分群の構造的有限性定理と、不変次元に基づくグラフ論的最小性議論に依拠している。

ABSTRACT

A compact Lie group G and a faithful complex representation V determine a Sato-Tate measure, defined as the direct image of Haar measure on G with respect to the character of V. We give a necessary and sufficient condition for a Sato-Tate measure to be an isolated point in the set of such measures, regarded as a subset of the space of distributions. In particular we prove that the Sato-Tate measure of a connected and semisimple group with respect to an irreducible representation is an isolated point.

研究の動機と目的

• 複素数上でのすべての Sato-Tate 測度の空間内で、Sato-Tate 測度 $\mu_{G,V}$ が他の測度の極限でない、すなわち孤立している条件を特定すること。
• 表現論的データ $\mu_{G,V}$ が、同型を除いて一意にペア $(G,V)$ を決定する構造的条件を理解すること。
• 有限群や部分群からの測度による近似の失敗、特に $G$ の単位成分の半単純性との関係を分析すること。
• モーメント関数 $F_{G,V}(a,b) = \dim(V^{\otimes a} \otimes V^{*\otimes b})^G$ の振る舞いに基づく孤立性の基準を確立すること。

提案手法

• グラフ論的最小性議論を用いる：部分群包含関係とモーメントの差異に基づき、赤と青の矢印を備えた有向グラフを、ペア $(G,V)$ 上に構成する。
• コンパクト Lie 群の閉部分群の共役類に関する有限性結果を適用し、考慮すべき可能な部分群の数を有界化する。
• Sato-Tate 関数 $F_{G,V}$ の収束を扱うために、$\mathbb{N}^{\mathbb{N} \times \mathbb{N}}$ 上の Tychonoff 位相を用い、モーメントをシーケンスとして扱う。
• 固定点のない群作用に関する Jordan の定理を適用し、非半単純でトーラスでない単位成分をもつ群は、ゼロにおける原子を持つトレース測度をもつ既約表現をもてないと示す。
• 関数 $F_{G,V}(a,b)$ がテンソル積内の $G$-不変ベクトルを数えることと、極限測度 $\mu$ に対する積分とを比較し、差異を検出する。
• 導来部分群 $D$ と $G^\circ$ の中心 $Z^\circ$ の構造を活用し、$G^\circ$ が有限部分群によってどのように近似可能かを分析する。

実験結果

リサーチクエスチョン

• RQ1 Sato-Tate 測度 $\mu_{G,V}$ が、複素数上の分布の空間内で、他のすべての Sato-Tate 測度から孤立している条件は何か？
• RQ2 $\mu_{G,V}$ が有限群や真の部分群からの測度の極限でないのはいつか？
• RQ3 $G$ と $V$ のどのような構造的性質が、$\mu_{G,V}$ が他の表現からの測度によって近似できないことを保証するか？
• RQ4 $\mu_{G,V}$ の孤立性は、単位成分 $G^\circ$ が半単純であることと同値であるか、特に $V$ が既約である場合にそうか？
• RQ5 非トーラス的群からの Sato-Tate 測度が、有限群からの測度の極限として現れ得るか？

主な発見

• Sato-Tate 測度 $\mu_{G,V}$ が孤立しているのは、単位成分 $G^\circ$ が半単純であり、$V$ が既約である場合に限り、かつそのときに限る。
• $G$ が連結で半単純であり、$V$ が既約である場合、$\mu_{G,V}$ は Sato-Tate 測度の空間内で孤立点である。
• $G^\circ$ がトーラスでない限り、$\mu_{G,V}$ は有限群からの測度の極限にはなり得ない。
• 任意のペア $(G,V)$ に対して、$D$ が非自明（すなわち $G^\circ$ が半単純でない）ならば、すべての $G$ の有限部分群が、そのうちの一つの部分群に共役であるような有限個の真の部分群の集合が存在する。
• $\mu_{G,V}$ が有限群からの測度の極限であるならば、$G^\circ$ はトーラスでなければならない。そうでなければ、最小性議論におけるモーメントの差異から矛盾が生じる。
• 連結半単純群 $G$ と既約 $V$ に対して、トレース測度 $\mu_{G,V}$ は原子を持たず、特にハール測度ゼロの集合上でトレースがゼロとなる。これは、固定点のない元をもつ非自明な成分群作用を除外する。