有限射影と無限射影が共存する代数の亜群モデルを構成
A groupoid model for Rørdam's finite-infinite $C^*$-algebra
この論文をやさしく読む
ひとことで言うと
有限と無限の射影が共存する既知のC*代数を、亜群という別の数学的構造で具体化しています。
何に役立つ？
作用素代数の性質を、亜群の構造と結び付けて理解する例になります。特に従順性と比較性を区別する材料になります。
この研究の面白いところ
多くの整った位相的性質を備え、従順でもある亜群が、比較性を持たないという組み合わせを構成しています。
どこまで分かった？
特定のRørdamの例に対するモデル構成です。すべての従順な亜群について比較性がないと主張しているわけではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有限射影と無限射影を含む、単純・核的・可分なC*代数のRørdamの例について、亜群モデルを構成する。この亜群モデルは、Rørdamの元の手法における帰納極限構成のために慎重に選んだモデルの、交差積を用いた構成から生じる。このモデルが極限にCartan部分代数を与えることを示す。 特に、この手順によって、単位空間がコンパクトで、局所コンパクト、第二可算、Hausdorff、エタール、従順、極小、位相的に主な亜群が得られる。そのC*代数は無限射影とゼロでない有限射影を含む。したがって、この亜群は従順であるにもかかわらず、比較性を持たない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We construct a groupoid model for Rordam's example of a simple, nuclear, separable $C^*$-algebra containing a finite and an infinite projection. This groupoid model arises from a (crossed product of a) carefully chosen model for the inductive limit construction in Rordam's original approach, which we show to yield a Cartan subalgebra of the limit. In particular, this procedure yields a locally compact, second countable, Hausdorff, étale, amenable, minimal and topologically principal groupoid whose unit space is compact, and whose $C^*$-algebra contains an infinite and a non-zero finite projection. Hence, this groupoid is amenable, and yet does not have comparison.
著者のコメント
27 pages
arXiv ID: 2610.01543 ／ 要約の誤りについて