[論文レビュー] Every sum system is divisible

Masaki Izumi|ArXiv.org|Aug 12, 2007

Mathematical Dynamics and Fractals参考文献 6被引用数 3

ひとこと要約

この論文は、すべての和系が可除であることを証明しており、これに先行する結果を組み合わせることで、和系から得られるすべての積系および一般化されたCCRフローが、タイプIまたはタイプIIIであることが示される。証明の根幹は、一般化されたCCRフローにおける$C_0$-半群の生成子の定義域を分析することにあり、実部加法的および虚部加法的が扱いやすい位相を持つ部分空間をなすことが示され、一般化されたタイプI基準の確立が可能になる。

ABSTRACT

We show that every sum system is divisible. Combined with B. V. R. Bhat and R. Srinivasan's result, this shows that every product system arising from a sum system (and every generalized CCR flow) is either of type I or type III. A necessarily and sufficient condition for such a product system to be of type I is obtained.

研究の動機と目的

• 和系から生じる積系の分類における重要なギャップを解消するため、すべての和系が可除であることを確立すること。
• 従来、可除な和系に限って知られていたタイプI／タイプIII二分法を、すべての和系にまで拡張すること。
• 実部加法的および虚部加法的の位相的構造を分析することで、和系から生じる積系に対する一般化されたタイプI基準を提供すること。
• 一般化されたCCRフローと和系の間の関係を強化するため、可除性が普遍的に成り立つことを証明すること。

提案手法

• 与えられた和系から導かれる一般化されたCCRフローに関連する$C_0$-半群の生成子の定義域を分析する。
• 生成子$B$の定義域$D(B)$の直交補空間$\mathcal{K}$を、$D(A^*)$上のグラフ内積を用いて定義する。
• スペクトル解析を適用し、$s > C = \lim_{t\to\infty} \frac{\log\|T_t\|}{t}$を満たす$s$に対して、$s$が$B$のリゾルベント集合に属するならば、$\dim \mathcal{K} = \dim K_{\mathbb{R}}$でない限り、$B$は$s > C$に固有値を持たないことを示す。
• 微分方程式$p'' = p$の$L^2$-解が指数関数的であるのに対し、$M(s)p = 0$を満たすと矛盾が生じることを示すために、$M(s): D(A^*) \to K_{\mathbb{R}}$を$M(s)f = \int_0^\infty e^{-sx}f(x)dx - s\int_0^\infty e^{-sx}f'(x)dx$により構成する。
• 背理法を用いる：もし$\dim \mathcal{K} > \dim K_{\mathbb{R}}$ならば、$p \in \mathcal{K} \setminus \{0\}$で$M(s)p = 0$を満たすものが存在し、これにより微分方程式$p'' = p$が得られるが、その$L^2$-解は指数関数的であり、$M(s)p = 0$と矛盾する。
• 結論として$\dim \mathcal{K^} = \dim K_{\mathbb{R}}$が得られ、したがって摂動対のインデックスが$\dim K_{\mathbb{R}}$に等しいことが示され、すべての和系が可除であることが証明される。

実験結果

リサーチクエスチョン

• RQ1 タイプI／タイプIII二分法が成り立つためにこれまで可除性が要求されていたが、すべての和系が可除であるかどうか？
• RQ2 一般化されたCCRフローのタイプI基準を、有限インデックスに限らないすべての和系にまで拡張できるか？
• RQ3 実部加法的および虚部加法的の位相的構造と、それによって生じる積系のタイプ分類の関係は何か？
• RQ4 積系がタイプIIIである場合、非同型な和系が同じ一般化されたCCRフローから得られても、それらのフローはコycle共役となるか？

主な発見

• すべての和系が可除であることが、$\mathcal{K}$が$D(A^*)$における$D(B)$の直交補空間であるという事実を用いて$\dim \mathcal{K} = \dim K_{\mathbb{R}}$を示すことにより証明された。
• 任意の$C_0$-半群の摂動対$(\{S_t\}, \{T_t\})$のインデックスは$\dim K_{\mathbb{R}}$に等しく、スカラーの場合を超えたインデックス公式の一般化が確認された。
• すべての和系が可除であるため、和系から生じる積系におけるタイプI／タイプIII二分法は今や普遍的に成立する。
• 一般化されたCCRフローがタイプIであるための必要十分条件は、関連する和系が可除であることとタイプI基準を満たすことであるが、今や一般に有効である。
• 積系がタイプIIIである場合、同じ一般化されたCCRフローから得られる二つの和系が同型でないことがあるが、それらはコycle共役なフローを与える。
• 証明により、実部加法的および虚部加法的の空間が扱いやすい位相を持つ部分空間を含むことが示され、タイプI基準の完全な一般化が可能になった。