C∗-algebra と関連した概念

トポロジーにとっての (可換な) \(C^*\)-algebra は, 代数幾何学にとっての可換環のようなもの, と言って良いだろう。 Gel\('\)fand-Naimark の定理により, コンパクト Hausdorff 空間の圏が affine scheme の圏に対応する。 可換な \(C^*\)-algebra とコンパクト Hausdorff 空間の対応は形式的なものではなく, \(K\)-theory などが, 直接 \(C^*\)-algebra の言葉で表せることが重要である。

よって, 非可換な \(C^*\)-algebra を考えることにより非可換な空間のトポロジーを行う, というアイデアが出てきたのは, 不思議なことではない。

非可換な\(C^*\)-algebra は, 様々なデータから作られる。例えば, locally compact group からは, group \(C^*\)-algebra ができる。Paterson の本 [Pat99] によると, 群から自然に作られたのではない \(C^*\)-algebra の多くのものは, groupoid か inverse semigroup から作られたものとみなすことができるようである。 また Exel の [Exe11] によると, \(C^*\)-algebra の理論では, 組み合せ論small category も重要な役割を果たすようである。 Meyer と Nest の位相空間上の \(C^*\)-algebra の \(K\)理論に関する [MN09] では, finite space も登場する。

\(C^*\)-algebra の拡張や \(C^*\)-algebra に構造を付加したものとしては, 正定値ではないnorm を持つ Krein \(C^*\)-algebra [Kawa] や bialgebra の構造を持つ \(C^*\)-bialgebra [Kawb] などが考えられている。 Real structure を持つ Real \(C^*\)-algebra も [Kel] などで考えられている。

References

[Exe11]

R. Exel. “Semigroupoid \(C^\ast \)-algebras”. In: J. Math. Anal. Appl. 377.1 (2011), pp. 303–318. arXiv: math/0611929. url: https://doi.org/10.1016/j.jmaa.2010.10.061.

[Kawa]

Katsunori Kawamura. Algebra with indefinite involution and its representation in Krein space. arXiv: math/0610059.

[Kawb]

Katsunori Kawamura. Non-existence of universal \(R\)-matrix for some C\(^*\)-bialgebras. arXiv: 0912.3578.

[Kel]

Johannes Kellendonk. Cyclic cohomology for graded \(C^{*,r}\)-algebras and its pairings with van Daele \(K\)-theory. arXiv: 1607.08465.

[MN09]

Ralf Meyer and Ryszard Nest. “\(C^*\)-algebras over topological spaces: the bootstrap class”. In: Münster J. Math. 2 (2009), pp. 215–252. arXiv: 0712.1426.

[Pat99]

Alan L. T. Paterson. Groupoids, inverse semigroups, and their operator algebras. Vol. 170. Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, 1999, pp. xvi+274. isbn: 0-8176-4051-7. url: http://dx.doi.org/10.1007/978-1-4612-1774-9.