所員 -小澤 登高-

名前 小澤 登高 (Ozawa, Narutaka )
教授
E-Mail narutaka (emailアドレスには@kurims.kyoto-u.ac.jp をつけてください)
研究内容 作用素環と離散群の研究
紹 介
 私は作用素環と離散群の関わりを研究している。(離散)群とは, 任意の対象の対称性を記述するための数学言語である。例えば, ある結晶が与えられたとき,その結晶構造を変えない変換(回転操作, 鏡映操作,反転操作など)全体を考えたものが群である。 人間には線形的な構造の方が理解しやすいので, 群の各要素を適当な(線形)空間上の作用素とみなして取り扱うことにする。 さらに,そうした作用素全体が生成する代数系を考え, 適当な位相で完備化すれば作用素環と呼ばれる対象ができる。 (考える位相の違いにより, $\mathrm{C}^*$環とvon Neumann環の二種類が存在する。) 位相の存在により,群論のような代数的な問題に対しても 解析的なテクニックを使えるところが作用素環論の特徴である。 作用素環の研究はそもそもは, John von Neumannが量子力学の数学的取り扱いを目指して始めたものであったが, 現在では数理物理だけでなく,群論やエルゴード理論などに幅広い応用がある。 私の研究は双方向的で,これらの分野への作用素環論の応用と その逆を同時に扱っている。 伝統的な作用素環論の他にも,作用素論,Banach環論,Banach空間論,群表現の摂動理論,離散距離幾何学等の研究を行っている。
 現在の作用素環論において最も重要な未解決問題は「Connesの埋め込み予想」である。 この予想は任意のvon Neumann環が適当な意味で有限次元環で近似できるというものである。この予想をConnesが述べた時点(1970年代半ば)ではvon Neumann環の技術的な問題に過ぎなかったが,その後,作用素環論におけるいくつかの見掛けの全く異なる重要予想と同値であることが判明している。私はこの予想に対する新たなアプローチを研究し,この予想が量子情報理論におけるTsirelson問題と同値であることを示した[1]。Tsirelson問題は,2人の独立した観測者の間に起こりうる量子相関に対する2つの異なる定式化が実は一致するという予想である。これまでの研究により,この予想は本質的には自由群$F_r$の直積群$F_r\times F_r$のユニタリ表現に関する問題であるということが明らかになっている。さらに,上記のConnesの埋め込み予想は非可換実代数幾何学におけるある予想と同値であることが知られているが[1],私は非可換実代数幾何学を利用して,離散群$G$の実群環${\mathbb R}[G]$や群$G$そのものを研究している[1,3]。非可換実代数幾何学は最近研究され始めた分野であって,実群環などの非可換実代数における等式や不等式などを扱う分野である。その表現論を通して作用素環論を利用できるところが私にとっての魅力である。
 平成28年度は前年度([7],[8])に引き続き主に、離散群の関数解析学的手法による研究を行った。離散群の代数学的性質ははっきりとしたものなので摂動などをすることにより大きく影響を受けることが多い。そこである種の摂動に対して安定的な解析学的性質を見出し、それを梃子として離散群の代数的性質を調べるといった研究を行った。特にパリ高等師範大学のエルシュラー教授との共同研究([9])において、離散群が無限巡回群を因子として持つような有限指数部分群を含むための十分条件をランダム・ウォークの言葉を用いて記述することができた。
  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; About the Connes Embedding Conjecture. Algebraic approaches. Jpn. J. Math., 8 (2013), 147--183.
  3. N. Ozawa, M. R{\o}rdam, and Y. Sato; Elementary amenable groups are quasidiagonal. Geom. Funct. Anal., 25 (2015), 307--316.
  4. N. Ozawa; Noncommutative real algebraic geometry of Kazhdan's property (T). J. Inst. Math. Jussieu, 15 (2016), 85--90.
  5. N. Ozawa and G. Pisier; A continuum of $\mathrm{C}^*$-norms on $B(H) \otimes B(H)$ and related tensor products. Glasg. Math. J., 58 (2016), 433--443.
  6. E. Breuillard, M. Kalantar, M. Kennedy, and N. Ozawa; $\mathrm{C}^*$-simplicity and the unique trace property for discrete groups. Preprint.
  7. R. Okayasu, N. Ozawa, and R. Tomatsu; Haagerup approximation property via bimodules. Math. Scand., to appear.
  8. N. Ozawa; A functional analysis proof of Gromov's polynomial growth theorem. Ann. Sci. Éc. Norm. Supér. (4), accepted.
  9. A. Erschler and N. Ozawa; Finite-dimensional representations constructed from random walks. Preprint. arXiv:1609.08585