[論文レビュー] Free Semigroupoid Algebras

David W. Kribs, S. C. Power|ArXiv.org|Sep 24, 2003

Advanced Operator Algebra Research参考文献 13被引用数 91

ひとこと要約

この論文は、可算有向グラフから得られる部分等長作用素と射影によって生成される弱オペレータ位相で閉じた代数としての自由半群族代数を導入し、グラフ同型に基づく完全なユニタリ不変量を確立する。主な結果は、2つのこのような代数がユニタリ同値であることと、それらの基盤となる有向グラフが同型であることとが同値であることである。これは、古典的なトープリッツ代数とポペスクの自由半群代数を、豊富な構造的性質および不変部分空間理論を持つ非自己随伴作用素代数の広範な枠組みに統合するものである。

ABSTRACT

Every countable directed graph generates a Fock space Hilbert space and a family of partial isometries. These operators also arise from the left regular representations of free semigroupoids derived from directed graphs. We develop a structure theory for the weak operator topology closed algebras generated by these representations, which we call free semigroupoid algebras. We characterize semisimplicity in terms of the graph and show explicitly in the case of finite graphs how the Jacobson radical is determined. We provide a diverse collection of examples including; algebras with free behaviour, and examples which can be represented as matrix function algebras. We show how these algebras can be presented and decomposed in terms of amalgamated free products. We determine the commutant, consider invariant subspaces, obtain a Beurling theorem for them, conduct an eigenvalue analysis, give an elementary proof of reflexivity, and discuss hyper-reflexivity. Our main theorem shows the graph to be a complete unitary invariant for the algebra. This classification theorem makes use of an analysis of unitarily implemented automorphisms. We give a graph-theoretic description of when these algebras are partly free, in the sense that they contain a copy of a free semigroup algebra.

研究の動機と目的

• 有向グラフからの自由半群族の左正則表現によって生成される弱オペレータ位相で閉じた代数の包括的な構造理論を構築すること。
• 古典的な作用素代数、例えば解析的トープリッツ代数やポペスクの自由半群代数を、一つの枠組みに統合すること。
• 有限グラフにおける半単純性の特徴づけとジャコブソン根の計算。
• グラフ同型を用いたこれらの作用素代数の完全なユニタリ不変量を確立すること。
• ブルイング型定理とフーリエ展開を用いて、可縮性、超可縮性、および不変部分空間構造を探索すること。

提案手法

• 可算有向グラフから再帰的な木構造のパスを用いて一般化されたフォック空間ヒルバート空間を構成する。
• 辺と頂点に対して部分的生成作用素 $L_e$ と射影 $L_x$ を定義し、これらが自由半群族代数 $\mathfrak{L}_G$ の生成子をなす。
• 自由半群族の左正則表現を用いて、代数 $\mathfrak{L}_G$ を有界作用素の弱オペレータ位相で閉じた代数として実現する。
• 右正則表現 $\rho_G$ との双対性を確立し、$\mathfrak{L}_G' = \mathfrak{R}_G$ および $\mathfrak{R}_G' = \mathfrak{L}_G$ を示し、$\mathfrak{L}_G$ が自身の第二可換子であることを示す。
• フォック空間上のフーリエ展開を用いて $\mathfrak{L}_G$ の要素を分析し、構造的性質を導出する。
• 強二重サイクル性質や成分上の推移的性質などのグラフ論的条件を用いて、可縮性、超可縮性、および直交する像をもつ等長作用素の存在を分析する。

実験結果

リサーチクエスチョン

• RQ1 自由半群族代数 $\mathfrak{L}_G$ が半単純であるのはいつか？ これはグラフ構造とどのように関係するか？
• RQ2 有限グラフにおける $\mathfrak{L}_G$ のジャコブソン根の構造は何か？ また、弱オペレータ位相で閉じているか？
• RQ3 どのようなグラフ論的条件下で $\mathfrak{L}_G$ は自由半群代数 $\mathfrak{L}_2$ のコピーを含むか？
• RQ4 $\mathfrak{L}_G$ が超可縮であるのはいつか？ また、距離定数の最良の既知の上限は何か？
• RQ5 $\mathfrak{L}_G$ の完全なユニタリ不変量は何か？ そして、自己同型とグラフ同型とはどのように関係するか？

主な発見

• 自由半群族代数 $\mathfrak{L}_G$ は、各連結成分のすべての辺がサイクル上にあるときに限り半単純である。
• 有限グラフにおいて、$\mathfrak{L}_G$ のジャコブソン根は弱オペレータ位相で閉じておらず、べき零で、サイクル上にない辺に対応する部分的等長作用素 $L_e$ によって生成される。
• 代数 $\mathfrak{L}_G$ は、有向グラフ $G$ と $H$ が同型であることと、$\mathfrak{L}_G$ と $\mathfrak{L}_H$ がユニタリ同値であることとが同値であることから、グラフが完全なユニタリ不変量である。
• トランスポーズグラフ $G^t$ が強二重サイクル性質を満たす限り、代数 $\mathfrak{L}_G$ は距離定数が3以下である超可縮性を示す。
• 二つの等長作用素が直交する像をもつことは、$G^t$ が強二重サイクル性質を満たすことと同値であり、このことは超可縮性を示唆する。
• 可縮性の初等的証明が与えられ、フーリエ展開技法を用いて不変部分空間に関するブルイング型定理が確立された。