[論文レビュー] Semigroup C*-algebras of $ax+b$-semigroups

Xin Li|arXiv (Cornell University)|Jun 24, 2013

Advanced Operator Algebra Research被引用数 4

ひとこと要約

本稿は、代数的整数環から、noetherian、整閉な環、無限体上のアフィン多様体の座標環を含む広範な整域のクラスへと、$ax+b$-半群のC*-代数に関するK理論、イデアル構造、純粋無限性の結果を一般化する。左および右正則表現間のK理論の同型を確立し、有限高さの素イデアルの冪集合を用いて原始的イデアル空間を計算し、ややきつい環論的条件のもとで強い純粋無限性およびUCTキルヒベルク代数の性質を証明する。

ABSTRACT

We study semigroup C*-algebras of $ax+b$-semigroups over integral domains. The goal is to generalize several results about C*-algebras of $ax+b$-semigroups over rings of algebraic integers. We prove results concerning K-theory and structural properties like the ideal structure or pure infiniteness. Our methods allow us to treat $ax+b$-semigroups over a large class of integral domains containing all noetherian, integrally closed domains and coordinate rings of affine varieties over infinite fields.

研究の動機と目的

• 代数的整数環から、より広い整域のクラスへと$ax+b$-半群C*-代数のK理論的および構造的結果を一般化すること。
• 特定のC*-代数的性質を引き起こす環論的性質（例えば、クルール次元、noetherian、整閉性）を同定すること。
• 数体の環にとどまらず、アフィン多様体の座標環やその他の整域へと半群C*-代数の理解を拡張すること。
• イデアル構造および純粋無限性の観点から、左および右正則表現の違いを調査すること。
• 左正則C*-代数がUCTキルヒベルク代数または強く純粋無限的であるための条件を確立すること。

提案手法

• 整域$R$上の$ax+b$-半群$R \rtimes R^\times$の左および右正則表現を用いて、半群C*-代数$C^*_\lambda(R \rtimes R^\times)$および$C^*_\rho(R \rtimes R^\times)$を構成する。
• 除因子類群によるK理論的分解を適用する：Krull環の場合、$K_*(C^*_\lambda(R \rtimes R^\times)) \cong \bigoplus_{\mathfrak{k} \in C(R)} K_*(C^*(\mathfrak{a}_\mathfrak{k} \rtimes R^*))$。
• 可算性および非自明性の条件下で、原始的イデアル空間を$2^{\mathcal{P}_{\text{fin}}(R)}$として特徴づけ、パワー・コフイニット位相を用いる。
• 商体の可換性と独立性条件を用いて、全半群C*-代数と縮約半群C*-代数を関連付ける。
• Li、Cuntz、Eilers–Liらのring C*-代数および半群C*-代数の理論からの結果を応用し、純粋無限性およびUCT性を導出する。
• 独立性条件および純粋無限性の確認のため、イデアル包含および非単元条件を満たす$R^\times \setminus R^*$の元を構成する。

実験結果

リサーチクエスチョン

• RQ1 一般のクルール環上での$ax+b$-半群C*-代数のK理論はどのように振る舞い、左および右正則表現はどのように比較できるか？
• RQ2 無限大または非有限高さの1次素イデアルをもつ可算クルール環$R$に対して、$C^*_\lambda(R \rtimes R^\times)$の原始的イデアル空間の構造は何か？
• RQ3 $C^*_\lambda(R \rtimes R^\times)$が純粋無限的または強く純粋無限的であるための条件は何か？
• RQ4 イデアル構造または純粋無限性の観点から、左および右の半群C*-代数は区別可能か？
• RQ5 独立性条件が成立しない場合（例えば、整閉でない順序の場合）、K理論および構造にどのような影響があるか？

主な発見

• 可算クルール環$R$に対して、$K_*(C^*_\lambda(R \rtimes R^\times)) \cong \bigoplus_{\mathfrak{k} \in C(R)} K_*(C^*(\mathfrak{a}_\mathfrak{k} \rtimes R^*))$および$K_*(C^*_\rho(R \rtimes R^\times)) \cong \bigoplus_{\mathfrak{k} \in C(R)} K_*(C^*(\mathfrak{a}_{\mathfrak{k}^{-1}} \rtimes R^*))$が成り立ち、両表現の$K_*$群は同型である。
• 可算かつ$\mathcal{P}_{\text{fin}}(R)$が無限大、または$\mathcal{P}_{\text{inf}}(R) \neq \emptyset$である条件のもとで、$C^*_\lambda(R \rtimes R^\times)$の原始的イデアル空間は、パワー・コフイニット位相を備えた冪集合$2^{\mathcal{P}_{\text{fin}}(R)}$と順序同型である。
• $R$がヤコブソン根基が自明な可算非体整域であるとき、$C^*_\lambda(R \rtimes R^\times)$は強く純粋無限的（すなわち、$\mathcal{O}_\infty$-吸収的）である。
• $R$に無限大体が含まれる場合、$C^*_\lambda(R \rtimes R^\times)$はユニタリUCTキルヒベルク代数であり、$K_*$-分解$\bigoplus_{[I] \in Q^\times \setminus \mathcal{I}(R \subseteq Q)} K_*(C^*_\lambda(I \rtimes Q^\times_I))$をもつ。
• $\mathbb{Z}[i\sqrt{3}]$のような独立性条件を満たさない環では、$K_*(C^*_\lambda(R \rtimes R^\times)) \cong K_*(C^*_\rho(R \rtimes R^\times))$が依然として成り立つが、構造的差異は存在する。
• 右半群C*-代数$C^*_\rho(R \rtimes R^\times)$は、常に純粋無限的でない。なぜなら、$C^*_\rho(Q^\times)$（非自明な可換C*-代数）へは単射をもつからである。