[論文レビュー] All automorphisms of the Calkin algebra are inner

Ilijas Farah|arXiv (Cornell University)|May 22, 2007

Advanced Operator Algebra Research参考文献 16被引用数 7

ひとこと要約

この論文は、Todorcevicの公理（TA）の下で、可分ヒルベルト空間上のCalkin代数のすべての自己同型が内部的であることを証明し、1977年のBrown–Douglas–Fillmoreの問題を解決する。PhillipsとWeaverの以前の結果（連続体仮説の下で外部自己同型が存在すること）と併せると、Calkin代数自己同型の内部的／外部的二分法がZFCとは独立であることが示され、TAではすべてが内部的であり、CHでは一部が外部的であることが示される。

ABSTRACT

We prove that it is relatively consistent with the usual axioms of mathematics that all automorphisms of the Calkin algebra are inner. Together with a 2006 Phillips--Weaver construction of an outer automorphism using the Continuum Hypothesis, this gives a complete solution to a 1977 problem of Brown-Douglas-Fillmore. We also give a simpler and self-contained proof of the Phillips--Weaver result.

研究の動機と目的

• Calkin代数のすべての自己同型が内部的かどうかという1977年のBrown–Douglas–Fillmoreの問題を解決すること。
• Todorcevicの公理（TA）の下で、すべての自己同型が内部的であることがZFCとは独立に一貫していることを示すこと。
• 連続体仮説を用いたPhillips–Weaverの外部自己同型の構成を自己完結的に再構築すること。
• Calkin代数の自己同型構造が集合論的公理に敏感であることを確立すること。TAでは内部的自己同型のみが存在し、CHでは外部的自己同型が存在する。

提案手法

• Baire Category Theoremの強化であるTodorcevicの公理（TA）を用いて、Calkin代数の自己同型の構造を制約する。
• 有限加法的条件を満たす任意の自己同型が内部的であることを示すために、一様族のユニタリに関する議論を適用する。
• ヒルベルト空間 H の余有限次元部分空間上の部分等長写像による自己同型の表現を用いる。
• 特定のスペクトル不変量を保存する自己同型は、Fredholmインデックス不変量も保存するが、これは内部的自己同型でのみ保存されることを活用する。
• 射影の有限区間における表現を通じた自己同型のリフトを用い、一貫したユニタリ族を構成する。
• 組合せ的構造定理（命題7.1）に依拠して、グローバルなユニタリに引き上げられる部分等長写像を構成し、内部的自己同型を示す。

実験結果

リサーチクエスチョン

• RQ1 ZFCと矛盾しない範囲で、Calkin代数のすべての自己同型が内部的であることは可能か？
• RQ2 外部自己同型の存在は、追加の集合論的公理に依存するか？
• RQ3 さまざまな強制公理の下で、Calkin代数の自己同型群を完全に特徴づけられるか？
• RQ4 Calkin代数において、コンパクト摂動に関するユニタリ同値関係と自己同型同値関係は一致するか？
• RQ5 Calkin代数の自己同型は、単一シフトをその随伴に写すことができるか？

主な発見

• Todorcevicの公理（TA）の下で、可分ヒルベルト空間上のCalkin代数のすべての自己同型は内部的である。
• 結果として完全な二分法が得られる：TAの下ではすべての自己同型が内部的であり、連続体仮説（CH）の下では外部自己同型が存在する。
• 論文は、連続体仮説を用いたPhillips–Weaverの外部自己同型の構成について、自己完結的な証明を提供する。
• TAの下ではCalkin代数の自己同型群は剛体的であり、外部自己同型は存在しない。
• 証明により、Fredholmインデックス構造を保存する任意の自己同型は、インデックス保存の制約により内部的でなければならないことが示される。
• この結果は、TAの下で、B(H) 全体においてコンパクト摂動に関するユニタリ同値と自己同型同値が一致することを示唆する。