所員 -小澤 登高-

名前 小澤 登高 (Ozawa, Narutaka )
教授
E-Mail narutaka (emailアドレスには@kurims.kyoto-u.ac.jp をつけてください)
研究内容 作用素環と離散群の研究
紹 介
 私は作用素環と離散群の関わりを研究している。(離散)群とは, 任意の対象の対称性を記述するための数学言語である。例えば, ある結晶が与えられたとき,その結晶構造を変えない変換(回転操作, 鏡映操作,反転操作など)全体を考えたものが群である。 人間には線形的な構造の方が理解しやすいので, 群の各要素を適当な(線形)空間上の作用素とみなして取り扱うことにする。 さらに,そうした作用素全体が生成する代数系を考え, 適当な位相で完備化すれば作用素環と呼ばれる対象ができる。 (考える位相の違いにより, $\mathrm{C}^*$環とvon Neumann環の二種類が存在する。) 位相の存在により,群論のような代数的な問題に対しても 解析的なテクニックを使えるところが作用素環論の特徴である。 作用素環の研究はそもそもは, John von Neumannが量子力学の数学的取り扱いを目指して始めたものであったが, 現在では数理物理だけでなく,群論やエルゴード理論などに幅広い応用がある。 私の研究は双方向的で,これらの分野への作用素環論の応用と その逆を同時に扱っている。 伝統的な作用素環論の他にも,作用素論,Banach環論,Banach空間論[3],群表現の摂動理論,離散距離幾何学等の研究を行っている。
 現在の作用素環論において最も重要な未解決問題は「Connesの埋め込み予想」である。 この予想は任意のvon Neumann環が適当な意味で有限次元環で近似できるというものである。この予想をConnesが述べた時点(1970年代半ば)ではvon Neumann環の技術的な問題に過ぎなかったが,その後,作用素環論におけるいくつかの見掛けの全く異なる重要予想と同値であることが判明している。私はこの予想に対する新たなアプローチを研究し,この予想が量子情報理論におけるTsirelson問題と同値であることを示した[1,2]。Tsirelson問題は,2人の独立した観測者の間に起こりうる量子相関に対する2つの異なる定式化が実は一致するという予想である。これまでの研究により,この予想は本質的には自由群$F_r$の直積群$F_r\times F_r$のユニタリ表現に関する問題であるということが明らかになっている。さらに,上記のConnesの埋め込み予想は非可換実代数幾何学におけるある予想と同値であることが知られているが[2],私は非可換実代数幾何学を利用して,離散群$G$の実群環${\mathbb R}[G]$や群$G$そのものを研究している[2,6]。非可換実代数幾何学は最近研究され始めた分野であって,実群環などの非可換実代数における等式や不等式を扱う分野である。その表現論を通して作用素環論を利用できるところが私にとっての魅力である。
 平成26年度は特に,群作用素環の研究を行った[5,8,9]。論文[5]では,離散従順群の左正則表現は全て区分対角的かという30年来の重要未解決問題に取り組み,初等的従順群という大きなクラスに対して肯定的に解決した。これは$\mathrm{C}^*$環の分類理論における近年の発展の成果を離散群の研究に応用したものである。論文[8]では,離散群$\mathrm{C}^*$環がいつ単純であるかという長年の問題に対して,境界作用を用いる画期的な研究方針を導入し,この方面で得られていたこれまでの成果を一新する大きな成果を得た。論文[9]では,von Neumann両加群の理論を発展させることにより,局所コンパクト量子群とその群von Neumann環の間の関係を明らかにした。
  1. N. P. Brown and N. Ozawa; C^*-algebras and finite-dimensional approximations. Graduate Studies in Mathematics, 88. American Mathematical Society, 2008, 509 pp.
  2. N. Ozawa; Tsirelson's problem and asymptotically commuting unitary matrices. J. Math. Phys., 54 (2013), 032202 (8 pages).
  3. N. Ozawa; About the Connes Embedding Conjecture. Algebraic approaches. Jpn. J. Math., 8 (2013), 147--183.
  4. G. Godefroy and N. Ozawa; Free Banach spaces and the approximation properties. Proc. Amer. Math. Soc., 142 (2014), 1681--1687.
  5. Y. Choi, I. Farah, and N. Ozawa; A nonseparable amenable operator algebra which is not isomorphic to a $\mathrm{C}^*$-algebra. Forum Math. Sigma, 2 (2014), e2 (12 pages).
  6. N. Ozawa, M. R{\o}rdam, and Y. Sato; Elementary amenable groups are quasidiagonal. Geom. Funct. Anal., 25 (2015), 307--316.
  7. N. Ozawa; Noncommutative real algebraic geometry of Kazhdan's property (T). J. Inst. Math. Jussieu, to appear.
  8. N. Ozawa and G. Pisier; A continuum of $\mathrm{C}^*$-norms on $B(H) \otimes B(H)$ and related tensor products. Glasg. Math. J., to appear.
  9. E. Breuillard, M. Kalantar, M. Kennedy, and N. Ozawa; $\mathrm{C}^*$-simplicity and the unique trace property for discrete groups. Preprint.
  10. R. Okayasu, N. Ozawa, and R. Tomatsu; Haagerup approximation property via bimodules.