[論文レビュー] A characterization of weak (semi-)projectivity for commutative C*-algebras

Dominic Enders|arXiv (Cornell University)|Feb 16, 2011

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

ひとこと要約

この論文は、可換 C*-代数における弱（半）射影性の特徴付けを完成させる。弱（半）射影的である $C(X)$ のスペクトル $X$ は、次元が高々1次元でなければならないことを証明している。2次元円板 $
\mathbb{D}^2$ から $X$ への連続写像に基づくリフト障害の議論を用いて、$X$ が AANR で $
\dim(X) > 1$ であるならば、既知の解けないリフト問題を構成でき、矛盾に導く。主な結果は、$C(X)$ が弱（半）射影的であることと、$X$ が AAR（AANR）で $
\dim(X) \leq 1$ であることが同値であることである。本研究は、Sørensen と Thiel の結果を弱い場合にまで拡張している。

ABSTRACT

We show that the spectrum X of a weakly semiprojective, commutative C*-algebra C(X) is at most one dimensional. This completes the work of Sørensen and Thiel on the characterization of weak (semi-)projectivity for commutative C*-algebras.

研究の動機と目的

• 弱（半）射影的可換 C*-代数の分類を完成させ、そのスペクトルにかかる位相的制約を特定すること。
• 弱（半）射影性が有限次元スペクトル（特に次元 ≤1）を意味するかどうかという未解決問題を解消すること。
• Sørensen と Thiel が半射影性について行った枠組みを、より弱い概念である弱（半）射影性へと拡張すること。
• 次元の上限が鋭いかを示すために、$
  \dim(X) > 1$ のときのリフト障害を構成すること。

提案手法

• 境界 $S^1$ 上で $|f(z) - z| < \sqrt{3}/2$ となるような、$
  \mathbb{D}^2 \to \mathbb{D}^2$ への連続自己写像 $f$ を構成し、$f$ が境界で恒等写像に近いことを保証する。
• 写像 $f$ が $S^1$ に写す像に基づき、最小・最大の径方向距離を用いて定義される領域で $r$ が定数となるような、径方向のリトラクション $r: \mathbb{D}^2 \to \mathbb{D}^2$ を定義する。
• 写像 $g: \mathbb{D}^2 \to \mathbb{D}^2$ を $g(z) = r(z)z$ で定義し、$\|g \circ f - \text{id}_{\mathbb{D}^2}\|_\infty < 1$ を満たすことで、$g \circ f$ が弱い意味で恒等写像にホモトープであることを示す。
• AANR で $
  \dim(X) > 1$ である $X$ の場合、$
  \mathbb{D}^2$ から $X$ への写像の存在を用いて、既知の解けないリフト問題を $C(X)$ に埋め込む。
• 背理法を用いる：$C(X)$ が弱半射影的で $
  \dim(X) > 1$ ならば、そのようなリフトが存在するはずだが、それは既知の方法では不可能である。
• 正規作用素 $N$ とコンパクト作用素 $K$ に対して $
  \text{dist}(S^{\oplus k}, \{N+K\}) = 1$ であるという事実を用いて、リフトが存在しないことを示し、結果として $
  \dim(X) \leq 1$ でなければならない。

実験結果

リサーチクエスチョン

• RQ1 弱半射影的可換 C*-代数 $C(X)$ のスペクトル $X$ が満たすべき位相的制約は何か？
• RQ2 弱（半）射影的である場合、$C(X)$ のスペクトル $X$ の次元が1を超えることは可能か？
• RQ3 連続写像 $\mathbb{D}^2 \to X$ が弱い左逆を持つならば、弱（半）射影的状況においてリフト障害を構成するのに十分か？
• RQ4 可換 C*-代数における弱（半）射影性の特徴付けには、スペクトルが AANR で次元が1以下でなければならないか？
• RQ5 Sørensen と Thiel が得た半射影性に関する結果は、弱（半）射影的状況にまで拡張可能か？

主な発見

• 弱半射影的可換 C*-代数 $C(X)$ のスペクトル $X$ は $
  \dim(X) \leq 1$ を満たさなければならない。これは分類を完全なものにする。
• もし $X$ が AANR で $
  \dim(X) > 1$ ならば、$C(X)$ は弱半射影的にはなり得ない。なぜなら、それでは解けないリフト問題を解けるようになるからである。
• 弱射影的 $C(X)$ のスペクトル $X$ は AAR で $
  \dim(X) \leq 1$ でなければならない。これは弱射影性を完全に特徴づける。
• 写像 $f: \mathbb{D}^2 \to X$ が $S^1$ 上で $|f(z) - z| < \sqrt{3}/2$ を満たすならば、$\|g \circ f - \text{id}\|_\infty < 1$ を満たす写像 $g: \mathbb{D}^2 \to \mathbb{D}^2$ が存在する。これは障害の議論において核となる。
• $C(\mathbb{D}^2) \to B/J_n \otimes M_k$ で目標が $\varphi^{\oplus k}$ であるリフト問題は、$
  \text{dist}(S^{\oplus k}, \{N+K\}) = 1$ のとき解けない。これは次元が高い $X$ に対して弱（半）射影性を阻害する。
• 結果として、$C(X) \otimes M_k$ が弱（半）射影的であるならば、$X$ は AANR で $
  \dim(X) \leq 1$ でなければならない。従って $C(X)$ 自身も弱（半）射影的である。