[論文レビュー] A Generalised uniqueness theorem and the graded ideal structure of Steinberg algebras

Lisa Orloff Clark, Ruy Exel+1 more|arXiv (Cornell University)|Sep 9, 2016

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

ひとこと要約

本稿は、豊富でハウスドルフな群札に対して関連するシュタインベルク代数の一般化された一意性定理を確立し、群札が離散群へのコサイクルを備えた場合のこれらの代数における階数付きイデアルを特徴づける。主な貢献は、元の位相的動的系における単調的かつ飽和された部分集合との間のラティス同型を、$C^*$-代数における既知の結果を代数的設定に拡張することにある。

ABSTRACT

Given an ample, Hausdorff groupoid $\mathcal{G}$, and a unital commutative ring $R$, we consider the Steinberg algebra $A_R(\mathcal {G})$. First we prove a uniqueness theorem for this algebra and then, when $\mathcal{G}$ is graded by a cocycle, we study graded ideals in $A_R(\mathcal {G})$. Applications are given for two classes of ample groupoids, namely those coming from actions of groups on graphs, and also to groupoids defined in terms of Boolean dynamical systems.

研究の動機と目的

• 豊富でハウスドルフな群札上のシュタインベルク代数に対する一般化された一意性定理を確立すること。
• 群札が離散群へのコサイクルによって階数付けられる場合、シュタインベルク代数における階数付きイデアルを特徴づけること。
• ボレル動的系の$C^*$-代数に関する既知の結果を、シュタインベルク代数の代数的設定に拡張すること。
• カツラの代数$\mathcal{O}_{A,B}$の代数的類似を提供し、ルイヴィットパス代数とカムジャン＝パスク代数のイデアル構造を統一すること。

提案手法

• シュタインベルク代数の同型写像のための一意性条件を、同型の分岐バンドルの内部を用いて定式化すること。
• 同型写像が同型の分岐群バンドルの内部で単射である場合に、その同型写像が単射であることを、一意性定理を用いて証明すること。
• 階数付き群札における単位空間の開不変部分集合を用いて階数付きイデアルを定義すること。
• シュタインベルク代数の階数付きイデアルとボレル動的系の単調的かつ飽和された部分集合との間のラティス同型を構成すること。
• コンパクト性と外部被覆を用いて、イデアルの包含関係をボレル系における飽和性および単調性の性質に関連付けること。
• 特に[7]および[16]から着想を得た$C^*$-代数理論の技術を、シュタインベルク代数の代数的設定に適応すること。

実験結果

リサーチクエスチョン

• RQ1 シュタインベルク代数間の同型写像が単射である条件は何か、そしてそれがどのように代数的に特徴づけられるか。
• RQ2 階数付き群札上のシュタインベルク代数における階数付きイデアルは、単位空間の不変開部分集合とどのように関係するか。
• RQ3 グラフへの群作用から生じるシュタインベルク代数のイデアル構造は何か。
• RQ4 ボレル動的系からのシュタインベルク代数のイデアル構造は、その$C^*$-代数の類似と比べてどう異なるか。
• RQ5 自己相似的作用やボレル系のようなより一般の群札構成から生じる代数を含めるように、一意性定理を一般化できるか。

主な発見

• シュタインベルク代数の同型写像は、同型の分岐群バンドルの内部で単射である場合にかつその場合に限り単射である。これは、ルイヴィットやカムジャン＝パスク代数に対する以前の一意性定理を一般化する。
• 階数付き群札上のシュタインベルク代数における階数付きイデアルは、単位空間の開不変部分集合によって生成されるものに限りない。
• グラフへの群作用に対して得られるシュタインベルク代数は、ルイヴィットパス代数を含み、カツラの代数$\mathcal{O}_{A,B}$の代数的類似を提供する。
• ボレル動的系の場合、シュタインベルク代数の階数付きイデアルとボレル系の単調的かつ飽和された部分集合との間にはラティス同型が存在する。
• シュタインベルク代数$A_K(\mathcal{G}_{\text{tight}}(T))$のイデアル構造は、元のボレル動的系における単調的かつ飽和された部分集合によって完全に決定される。
• 結果は[7, Theorem 10.12]を$C^*$-代数からシュタインベルク代数に拡張し、階数付きイデアルと系の不変量との完全な対応関係を確立する。