[論文レビュー] Smooth and non-smooth $AF$-algebras and problem on invariant measures

A. M. Vershik|arXiv (Cornell University)|Apr 8, 2013

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

ひとこと要約

本稿は、AF代数のトレースおよび不変測度の構造に基づき、それらを『完全に滑らか』または『完全に非滑らか』に分類する二分法を導入する。滑らかなAF代数（例：無限対称群の群代数）は、完全に滑らかであり、非可換なトレース（エルゴード的不変測度）がボレルパラメータ化可能である。一方、特定の局所有限可解群から得られる非滑らかな代数は、ボレルパラメータ化を持たないポウレン・シンプレックス構造を持つ。主な貢献は、可算分配的ラティスのハッセ図から得られるすべてのAF代数（例えば、高次元ヤング図Yₙ）が完全に滑らかであるという予想である。

ABSTRACT

We separate the $AF$-algebras (correspondingly action of the countable groups on Cantor sets) onto two classes ---- "completely smooth" for which the set of all indecomposable traces (correspondingly list of all invariant ergodic measures) has nice parametrization, and the second class --- "completely non-smooth" for which the set of all traces (correspondingly set of all invariant measures) is Poulsen simplex and therefore there is no suitable parametrization of indecomposable traces, (ergodic measures) e.g.Choquet boundary. Important example of the first type of $AF$-algebra is group algebra of infinite symmetric group, and of the second type --- group algebra of some locally finite solvable group. The questions of recognition of those cases are closely related to the orbit theory of dynamical systems and theory of filtrations of sigma-fields in measure spaces and Borel spaces.

研究の動機と目的

• トレースおよび不変測度の構造に基づき、『完全に滑らか』と『完全に非滑らか』なAF代数を区別すること。
• 非可約トレース（エルゴード的不変測度）の集合がボレルパラメータ化を許容する条件を明確化すること。
• 滑らか／非滑らかの二分法が、ボレル空間および測度空間における軌道理論およびシグマ代数のフィルトレーションとどのように関連するかを明らかにすること。
• 高次元ヤング図（Yₙ for n ≥ 3）に関連するAF代数の滑らか性に関する予想を提示し、その動機を説明すること。
• フィルトレーションと標準性を観点として、K理論、力学系、不変測度を結びつける概念的枠組みを提供すること。

提案手法

• ブラッティリ図における中心測度の概念を用い、AF代数のトレースとの対応を考察する。
• カントール空間上のテイル同値関係および関連するフィルトレーションを分析し、フィルトレーションの標準性によって滑らかさを定義する。
• 異なるブラッティリ図から生じるフィルトレーションを比較するための「ギャップを有するボレル同値関係」の概念を導入する。
• シグマ代数の減少列（フィルトレーション）の理論を応用し、標準的（滑らか）および非標準的（非滑らか）な場合を区別する。
• 分配的ラティスを半順序集合のイデアルとして表現するためのバーキホフの定理を活用し、ハッセ図をブラッティリ図として扱えるようにする。
• 最小イデアルに頻度ベクトルが存在することを根拠に、可算分配的ラティスのハッセ図から得られるすべてのAF代数が完全に滑らかであるという予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 AF代数の非可約トレースの集合がボレルパラメータ化を許容する条件は何か？
• RQ2 カントール空間上のフィルトレーションの標準性または非標準性は、対応するAF代数の滑らかさまたは非滑らかさとどのように関係するか？
• RQ3 n次元ヤング図（Yₙ for n ≥ 3）に関連するAF代数は、n = 2の場合と同様に完全に滑らかであるか？
• RQ4 局所有限群の作用に関する不変測度の構造は、滑らか／非滑らかの二分法によって分類可能か？
• RQ5 非滑らかなAF代数のトレース分類において、チョケット境界およびポウレン・シングレックスの役割は何か？

主な発見

• 無限対称群の群代数は、完全に滑らかなAF代数の代表例であり、非可約トレースはトーマ単体によってパラメータ化可能である。
• 局所有限可解群から得られるAF代数は、完全に非滑らかなAF代数の代表例であり、トレースの集合はポウレン・シングレックスを形成する。
• n = 2の場合、AF代数A(Y₂)の滑らか性に関する予想は真であり、トーマの定理と同値である。
• 本稿の予想は、可算分配的ラティスのハッセ図から得られるすべてのAF代数（例：Yₙ for n ≥ 3）が完全に滑らかであるというものである。
• 本稿では、AF代数のトレース分類問題と古典解析におけるフーリエ双対性との間に概念的双対性を確立した。
• 基礎となる半順序集合における最小イデアルに頻度ベクトルが存在することは、滑らか性に関する予想を証明するための鍵となる要因であると提案する。