[論文レビュー] Free Group Actions from the Viewpoint of Dynamical Systems

Stefan Wagner|arXiv (Cornell University)|Nov 23, 2011

Advanced Operator Algebra Research参考文献 19被引用数 8

ひとこと要約

本稿は、力学系および表現論を用いて微分幾何学における自由群作用の新しい代数的特徴付けを提示する。群作用の自由性を、テンソル積と表現の一般化された切断に沿った評価写像の上への性質に関連付けることで、自由作用が関連するベクトル bundle の「完全な」ファイバーに対応することを確立する。これにより、$C^*$-代数および非可換幾何学を用いた主 bundle の非可換幾何的枠組みが得られる。

ABSTRACT

In this paper we present a new characterization of free group actions (in classical differential geometry), involving dynamical systems and representations of the corresponding transformation groups. In fact, given a dynamical system, we provide conditions including the existence of "sufficiently many" representations of the transformation group which ensure that the corresponding action of that group on the spectrum of the algebra is free. In particular, the case of compact abelian groups is discussed very carefully. We further present an application to the structure theory of C*-algebras and an application to the noncommutative geometry of principal bundles.

研究の動機と目的

• 多様体上の滑らかな群作用が自由であるかどうかを判定するための新しい代数的基準を、関連する力学系の構造を用いて提供すること。
• ユニタリ局所凸代数のスペクトルに関する表現論的条件を用いて、古典的微分幾何学と非可換幾何学を橋渡しすること。
• 自由作用が生じる $C^*$-代数的力学系の条件を同定することにより、主 bundle の概念を非可換設定に拡張すること。
• 群の表現に関連する一般化された切断空間に沿った評価写像の上への性質を用いて、自由性の幾何的解釈を定式化すること。

提案手法

• $(A, G, \alpha)$ をユニタリ局所凸代数 $A$、位相群 $G$、および連続群準同型 $\alpha: G \to \operatorname{Aut}(A)$ からなる力学系と定義し、$A$ 上への作用を誘導する。
• 群 $G$ の点を分離する表現の族 $(\pi_j, V_j)$ に対して、評価写像 $\operatorname{ev}^j_\chi: (A \otimes V_j)^G \to V_j$ がすべての $\chi \in \Gamma_A$ に対して全射であることを要請することで、「自由力学系」の概念を導入する。
• 一般化された切断空間 $\Gamma_A V_j := (A \otimes V_j)^G$ を構成し、これを軌道空間 $\Gamma_A / G$ 上のおそらく特異なベクトル bundle と解釈する。
• 誘導された作用 $\sigma: \Gamma_A \times G \to \Gamma_A$, $ (\chi, g) \mapsto \chi \circ \alpha(g) $ が自由であることは、各 $\Gamma_A V_j$ のファイバーが完全（すなわち $V_j$ に同型）であることと同値であることを示す。
• コンパクトアーベル群のケースにこの枠組みを適用し、双対群の表現を用い、各型成分に可逆元が存在するならば上への性質が成り立つことを示す。
• 滑らかな指数法則および $C^\infty(M, \mathbb{R})$ のスペクトル論を用いて、多様体 $M$ 上の滑らかな実数値関数の代数のスペクトル $\Gamma_A$ が評価文字 $m \mapsto \delta_m$ を通じて $M$ 自身と位相的に同相であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 力学系 $(A, G, \alpha)$ に対して、そのスペクトル $\Gamma_A$ 上への $G$ の作用が自由であるための代数的条件は何か？
• RQ2 群 $G$ の表現および一般化された切断に沿った評価写像の上への性質を用いて、群作用の自由性をどのように特徴付けられるか？
• RQ3 一般化された切断 $\Gamma_A V_j = (A \otimes V_j)^G$ が常に完全なファイバー（$V_j$ に同型）を持つための条件は何か？ これは自由性を示唆する。
• RQ4 この力学系の枠組みを用いて、古典的な主 bundle の概念を非可換幾何学へ一般化できるか？
• RQ5 多様体上の滑らかな関数の代数のスペクトルは、多様体自体とどのように関係しているか？ これは力学系の幾何的解釈にどのような意味を持つのか？

主な発見

• 多様体 $M$ 上の滑らかな実数値関数の代数 $\Gamma_{C^\infty(M,\mathbb{R})}$ のスペクトルは、評価写像 $m \mapsto \delta_m$ を通じて $M$ 自身と位相的に同相であることが示され、位相的同定が確立される。
• 任意の $\chi: C^\infty(M,\mathbb{R}) \to \mathbb{R}$ である文字は、一意に定まる点 $m \in M$ における評価であるため、スペクトルは正確に多様体そのものである。
• 滑らかな複素数値関数に対しては、任意の $\chi: C^\infty(M,\mathbb{C}) \to \mathbb{C}$ に対しても、点 $m \in M$ における評価であることが示され、この結果は複素代数へ拡張される。
• 誘導された作用 $\sigma: \Gamma_A \times G \to \Gamma_A$ が自由であることは、すべての $j \in J$ および $\chi \in \Gamma_A$ に対して評価写像 $\operatorname{ev}^j_\chi: (A \otimes V_j)^G \to V_j$ が全射であることと同値であり、自由性の表現論的基準が得られる。
• コンパクトアーベル群の場合は、各型成分に可逆元が存在するという条件に簡略化され、これは作用が自由であることを保証し、自然な非可換主 bundle の定義へとつながる。
• この枠組みにより、一般化されたベクトル bundle $\Gamma_A V_j$ のファイバーの完全性（ファイバーが完全であること）を用いて、自由性の幾何的解釈が得られ、力学系と非可換幾何における幾何的構造が結びつけられる。