Jiang–Su代数の「入れ方」は一意ではないことが判明:普遍的自由積での埋め込みは区別できる
研究の要点は次の通りです。Jiang–Su代数と呼ばれる特別なC*-代数 Z を、より大きな代数に入れる(埋め込む)方法が必ずしも一つに決まるわけではないことを示しました。具体的には、Z を両側から入れる自然な二つの「標準的な」埋め込みが、ユニタリ作用で近似的に同じものにはできない、つまり「近似ユニタリ同値(approximately unitarily equivalent)」ではないと証明しました。これは、Schafhauser・Tikuisis・White が挙げた問題の一つへの否定的な答えです。
研究者たちが行ったことは次の通りです。対象に取ったのは Z 同士の普遍的な単位付自由積(記号で Z *_{\mathbb C} Z)で、これは既知の性質として準対角(quasidiagonal)なC*-代数です。著者はこの代数に入る二つの標準的な埋め込みが、どんな単位元による共役(ユニタリによる入れ替え)を連続的に近づけても一致させられないことを示しました。さらに、Z の代わりに「行列近似を持つ(MF)代数」で行列サイズが素冪になるような場合にも同様の非一意性を示しています。ここで「近似ユニタリ同値」とは、代数内の一連のユニタリ(逆元を持つ単位的な変換)で片方の埋め込みをもう片方に近づけられることを意味します。
一方で、全く別の文脈では埋め込みが一意になる場合もあります。論文はその対照的結果も示します。もし埋め込み先のC*-代数が「単純(simple)、単位あり、トレースが一つだけ(monotracial)」で、そのトレースによる厳密比較(strict comparison)という技術的条件を満たす、いわゆる自己レス(selfless)でトレース的な代数であれば、Z への二つの単位的埋め込みは「強い漸近ユニタリ同値(strongly asymptotically unitarily equivalent)」になります。これは時間に沿った連続的なユニタリの経路が存在して、経路の末に埋め込みが互いに一致するというより強い同値です。
なぜこの結果が重要かというと、Jiang–Su代数はC*-代数の分類理論で中心的な役割を果たします。埋め込みの一意性は、代数の構造や分類に関する根本的な性質に関わります。逆に、今回示された非一意性は、特定のターゲット代数ではZ の「入れ方」によって代数の性質が変わり得ることを示します。論文はまた、同じ原因がある種の「正の元の厳密比較(strict comparison)」に対する障害を生み出すことを指摘しており、その観点から厳密比較を満たさないC*-代数を構成する手がかりになる可能性があると述べています。純粋に無限(purely infinite)な場合、例えばCuntz代数の埋め込みでは類似の非一意性は起きず、むしろ埋め込みが漸近的に同値になることが既に知られている点も対照的です。
重要な限定事項もあります。本研究の非一意性の主張は、あくまで普遍的単位付自由積や特定のMF代数(行列サイズが素冪のもの)といった具体的なターゲットに対して示されたものです。したがって「すべての」C*-代数に対して埋め込みが非一意であると結論づけるものではありません。逆に、単純で単位あり、単一トレースかつ厳密比較を満たすような正則なターゲットでは強い一意性が得られます。この記事は技術的な証明と詳細な条件を含みますので、さらなる深入りや証明の全容を知りたい場合は原論文を参照してください。