ある種の非可換な関係式(xy = yx が成立しない式)は有限次元の空間では表現しきれない. それらを無限次元の空間に表現する道具として作用素環と呼ばれる数学的対象が知られている. 本研究では作用素環(特にC*環)の分類理論から得られる成果を統一的に分類戦略としてまとめ, 数理物理や指数定理などへ応用する事が目的である. 実際, この方向性でPowers-Sakai予想やKirchbergの期待値問題などが解決できていた. 本研究ではこれらの散在的な成功例を線で繋ぐ何らかの統一的な視点を目指し, 具体的な分類戦略の応用として数理物理において古くから知られる相互モデルの問題を明らかにしたい.
