[論文レビュー] Convex polytopes and the index of Wiener-Hopf operators

Alexander Alldridge|arXiv (Cornell University)|Feb 18, 2011

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

ひとこと要約

この論文は、凸多面体の錐に付随するウィーナー＝ホプフ C*-代数の K-理論と、その多面体自体の細胞ホモロジーの間に深い関係を確立する。記号写像による代数のフィルトレーションを構成し、アティyah＝ヒルツブルグスペクトル系列の対応する E¹ 項を多面体の細胞複体と特定することで、著者らは代数が KK-収縮可能であることを証明し、コンパクト作用素による商代数が実数直線上の無限に消える連続関数の代数と KK-同値であることを示している。

ABSTRACT

We study the C$^*$-algebra of Wiener-Hopf operators $A_Ω$ on a cone $Ω$ with polyhedral base $P$. As is known, a sequence of symbol maps may be defined, and their kernels give a filtration by ideals of $A_Ω$, with liminary subquotients. One may define $K$-group valued 'index maps' between the subquotients. These form the $E^1$ term of the Atiyah-Hirzebruch type spectral sequence induced by the filtration. We show that this $E^1$ term may, as a complex, be identified with the cellular complex of $P$, considered as CW complex by taking convex faces as cells. It follows that $A_Ω$ is $KK$-contractible, and that $A_Ω/\mathbb K$ and $S$ are $KK$-equivalent. Moreover, the isomorphism class of $A_Ω$ is a complete invariant for the combinatorial type of $P$.

研究の動機と目的

• 凸多面体の錐に付随するウィーナー＝ホプフ C*-代数の K-理論および KK-分類を理解すること。
• 記号写像によって誘導されるフィルトレーションおよびその部分商の構造を分析すること。
• 代数の同型類が、元の多面体の組合せ型を完全に分類可能かどうかを同定すること。
• コンパクト作用素による商代数が C₀(ℝ) と KK-同値であることを確立すること。

提案手法

• 記号写像を用いてウィーナー＝ホプフ C*-代数 $A_{\text{Ω}}$ のフィルトレーションを定義し、核がイデアルをなし、部分商が liminary であることを示す。
• このフィルトレーションに関連するアティyah＝ヒルツブルグスペクトル系列の E¹ 項を、凸面を細胞とする CW 複体として見た多面体 $P$ の細胞複体と特定する。
• 多面体 $P$ が収縮可能であるという事実を用いて、その細胞複体が正則であることを示し、スペクトル系列が $E^2 = 0$ で収束することを導く。
• スペクトル系列を用いて K-理論を計算し、$K_*(A_{\text{Ω}}) = 0$ および $K_*(A_{\text{Ω}}/\text{K}) = K_*(\text{C}_0(\text{ℝ}))$ を示す。
• 普遍係数定理（UCT）およびブートストラップカテゴリーへの属性を活用し、KK-収縮可能性および KK-同値性を結論づける。
• f-ベクトルおよびインデックス写像を介して、$A_{\text{Ω}}$ の同型類が多面体 $P$ の組合せ型に対する完全不変量であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 多面体的底面 $P$ を持つ錐上のウィーナー＝ホプフ代数 $A_{\text{Ω}}$ の K-理論は、多面体 $P$ の位相とどのように関係するか？
• RQ2 記号フィルトレーションによって誘導されるスペクトル系列の $E^1$ 項は、多面体 $P$ の細胞複体と特定できるか？
• RQ3 代数 $A_{\text{Ω}}$ は KK-収縮可能か？ これはその KK-類にどのような意味を持つのか？
• RQ4 代数 $A_{\text{Ω}}$ の同型類は、多面体 $P$ の組合せ型を完全に分類可能か？
• RQ5 $A_{\text{Ω}}/\text{K}$ の KK-類は何か？ そして $C_0(\text{ℝ})$ とどのように関係するか？

主な発見

• 多面体 $P$ を凸面を細胞とする CW 複体として見たとき、ウィーナー＝ホプフ代数 $A_{\text{Ω}}$ のアティyah＝ヒルツブルグスペクトル系列の $E^1$ 項は、$P$ の細胞複体と同型である。
• スペクトル系列は $E^2 = 0$ で収束し、$K_*(A_{\text{Ω}}) = 0$ および $K_*(A_{\text{Ω}}/\text{K}) = K_*(\text{C}_0(\text{ℝ}))$ を意味する。
• C*-代数 $A_{\text{Ω}}$ は KK-収縮可能であり、これはゼロ代数と KK-同値であることを意味する。
• 商代数 $A_{\text{Ω}}/\text{K}$ は $S = \text{C}_0(\text{ℝ})$ と KK-同値である。
• 代数 $A_{\text{Ω}}$ の同型類は、f-ベクトルおよびインデックス写像によって決定される多面体 $P$ の組合せ型に対する完全不変量である。
• インデックス写像 $K_1(A_{\text{Ω}}/\text{K}) \to \text{Z}$ は同型であり、フレドホルムインデックスが $K_1$-群を完全に分類することを確認している。