[論文レビュー] Discrete Cocompact subgroups of G_53 and related C*-algebras

Paul Milnes, Samuel Walters|ArXiv.org|May 11, 2001

Advanced Operator Algebra Research参考文献 7被引用数 4

ひとこと要約

この論文は、特定の制約を満たす整数 $α, \beta, \gamma, \delta, \epsilon$ をパラメータとする、5次元の冪零Lie群 $Γ_{5,3}$ のすべての離散的でココンパクトな部分群を同型型で分類する。その後、それらの群 $C^*$-代数を解析し、ヘイゼンベルク $C^*$-代数と無理数回転代数上の行列代数の $C^*$-半単純積としての構造を特定し、$K$-群とトレース不変量を計算し、同型型による分類について考察する。

ABSTRACT

The discrete cocompact subgroups of the 5-dimensional Lie group G_53 are determined up to isomorphism. Each of their group C*-algebras is studied by determining all of its simple infinite dimensional quotient C*-algebras. The K-groups and trace invariants of the latter are also obtained.

研究の動機と目的

• 5次元の冪零Lie群 $\mathbf{G}_{5,3}$ のすべての離散的でココンパクトな部分群を同型型で分類すること。
• これらの部分群に付随する群 $C^*$-代数の構造を、その単純かつ無限次元な商の特定によって特定すること。
• これらの単純商の $K$-群とトレース不変量を計算し、分類の目的に用いること。
• パrameters $\alpha, \beta, \gamma, \delta, \epsilon$ が $C^*$-代数構造によって一意に特定されるかどうかを調査すること。

提案手法

• $Γ_{5,3}$ の交換関係構造を用いて、$e_1, e_2, e_3, e_4, e_5$ という生成元を特定する。
• 整数パラメータが制約 $\alpha, \gamma, \delta > 0$, $0 \leq \epsilon \leq \gcd(\gamma,\delta)/2$, および $0 \leq \beta \leq \gcd(\alpha,\gamma,\delta,\epsilon)/2$ を満たすように、$\mathbb{Z}^5$ から $\mathrm{H}_{5,3}(\alpha,\beta,\gamma,\delta,\epsilon)$ への群同型 $\pi$ を構成する。
• 交換関係を符号化する公式を用いて、$\mathrm{H}_{5,3}(\alpha,\beta,\gamma,\delta,\epsilon)$ 内の乗法を $\alpha, \beta, \gamma, \delta, \epsilon$ を用いて表現する。
• 群 $C^*$-代数を解析し、ヘイゼンベルク $C^*$-代数と無理数回転代数上の行列代数の $C^*$-半単純積としての構造を特定する。
• 標準的な $K$-理論技法を用いて、単純商の $K$-群を計算する。
• 特に構造 $\mathbb{Z} + \mathbb{Z}\theta + \mathbb{Z}\gamma\delta\theta^2$ に注目して、$C^*$-代数のトレース空間を分析し、トレース不変量を特定する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbf{G}_{5,3}$ のすべての同型型の離散的でココンパクトな部分群は何か？
• RQ2 これらの部分群の群 $C^*$-代数は、その単純かつ無限次元な商にどのように分解できるか？
• RQ3 これらの単純商の $K$-群とトレース不変量は何か？
• RQ4 パrameters $\alpha, \beta, \gamma, \delta, \epsilon$ は、$C^*$-代数の同型型によって一意に特定されるか？
• RQ5 $K$-理論とトレース不変量によって、単純商の分類が完全に特定可能か？

主な発見

• $\mathbf{G}_{5,3}$ のすべての離散的でココンパクトな部分群は、整数 $\alpha, \gamma, \delta > 0$, $0 \leq \epsilon \leq \gcd(\gamma,\delta)/2$, および $0 \leq \beta \leq \gcd(\alpha,\gamma,\delta,\epsilon)/2$ を満たす $\mathrm{H}_{5,3}(\alpha,\beta,\gamma,\delta,\epsilon)$ に同型である。
• それぞれの群 $C^*$-代数には、ヘイゼンベルク $C^*$-代数と無理数回転代数上の行列代数の $C^*$-半単純積としての単純かつ無限次元な商が存在する。
• 単純商の $K$-群は $K_0 = \mathbb{Z} \oplus \mathbb{Z}$ および $K_1 = \mathbb{Z} \oplus \mathbb{Z}$ として計算され、半単純積の構造から明示的な生成元が得られる。
• 単純商のトレース不変量は $\mathbb{Z} + \mathbb{Z}\theta + \mathbb{Z}\gamma\delta\theta^2$ で与えられ、ここで $\theta$ は無理数回転代数のパラメータである。
• $\theta$ が四次的でない場合、トレース不変量が等しいのは、$\theta_2 = \pm \theta_1 \mod 1$ かつ $\gamma_2\delta_2\theta_2^2 = \pm \gamma_1\delta_1\theta_1^2 + m\theta_1 \mod 1$ を満たす整数 $m$ が存在するときである。
• 標準的変換の議論により、$\gamma$ と $\delta$ は $C^*$-代数構造によって一意に特定されることが示唆されるが、混合不変量のため、完全な分類は妨げられている。