[論文レビュー] Isomorphisms of Non-Commutative Domain Algebras

Alvaro Arias, Frédéric Latrémolière|arXiv (Cornell University)|Feb 2, 2009

Holomorphic and Operator Theory参考文献 15被引用数 8

ひとこと要約

この論文は、複素変数関数論および作用素論の道具を用いて非可換ドメイン代数を分類し、特定の条件下で、このような代数間の等長的同型が生成子の線形同値を示すことを確立している。さらに、非コンパクトな自己同型群を有するℂⁿ内の新しい有界領域を同定し、リーマンドメインの文献で以前に分類されていなかった新しい例を含む。

ABSTRACT

Noncommutative domain algebras were introduced by Popescu as the non-selfadjoint operator algebras generated by weighted shifts on the Full Fock space. This paper uses results from several complex variables to classify many noncommutative domain algebras, and it uses results from operator theory to obtain new bounded domains in hermitian spaces with non-compact automorphic group.

研究の動機と目的

• 非可換ドメイン代数の同型問題を解くこと。非可換自己随伴作用素代数の一種であり、フル・フォック空間上の重み付きシフトによって生成される。
• 特にカルタンの補題とスナダの定理を用いた複素変数関数論の技法を用いて、これらの代数を分類すること。
• 複素幾何学における既知の分類を拡張し、ℂⁿ内の非コンパクトな自己同型群を有する新しい有界領域を同定すること。
• ディスク代数が非可換ドメイン代数の広いクラス内の特別なケースとして特徴づけられることを示すこと。
• 1次元表現が類似しているにもかかわらず、非同型である非可換ドメイン代数が存在することを示すこと。

提案手法

• 完全に収縮的単位元ホモモーフィズムを有する非可換ドメイン代数とℂᵐ内の領域との間で、反変ファンクターを構成する。
• 非可換ドメイン代数に関連するℂⁿ内の領域にカルタンの補題とスナダの定理を適用し、同型条件を導出する。
• 2次元における自己同型群が非コンパクトである領域のチュレンの特徴づけを用いて、低次元における分類結果を精緻化する。
• 等長的同型の双対写像を分析し、ゼロの特徴が保存される場合、生成子が線形同値であることを示す。
• デイビソンとピットズの非可換代数の自己同型に関する結果を活用し、非コンパクトな自己同型群を有する新しい領域を構成する。
• 行列ノルムの条件を用いて、T₁T₁* + ⋯ + TₙTₙ* ≤ I を満たす領域ℂᵏ²ⁿを定義・分析し、その自己同型群が非コンパクトであることを示す。

実験結果

リサーチクエスチョン

• RQ1 2つの非可換ドメイン代数間の等長的同型が、生成子の線形変換によって誘導される条件は何か？
• RQ2 ℂⁿ内のどの有界領域が非可換ドメイン代数に関連する非可換ドメインとして現れ、非コンパクトな自己同型群を有するか？
• RQ3 ディスク代数は非可換ドメイン代数のクラス内でどのように一意に特徴づけられるか？
• RQ4 1次元表現によって区別できない非同型の非可換ドメイン代数は存在するか？
• RQ5 非可換ドメイン代数から、非コンパクトな自己同型群を有するℂⁿ内の新しい有界領域の族をどのように構成できるか？

主な発見

• 2つの非可換ドメイン代数間の等長的同型がゼロの特徴を自分自身に写す場合、生成子は線形変換によって関連づけられる。
• f = X₁ + X₂ + X₁X₂ および g = X₁ + X₂ + ½X₁X₂ + ½X₂X₁ によって定義される非可換ドメイン代数は、類似しているが同型ではない。
• ディスク代数は、古典的ディスク代数 A(𝔻) に等長的同型である唯一の非可換ドメイン代数である。
• T₁T₁* + ⋯ + TₙTₙ* ≤ I という条件によって定義される領域 𝔻ᵏ(𝒜ₙ) ⊂ ℂⁿᵏ² は、すべての n, k ∈ ℕ に対して非コンパクトな自己同型群を有する。
• ℂ⁸内の領域 𝔻²(𝒜₂) は、2×2行列 T₁ および T₂ の成分を含む不等式系によって明示的に記述され、その自己同型群が非コンパクトであることが示されている。
• 𝐷ᵏ(𝒜ₙ) のような構成された領域は、非コンパクトな自己同型群を有する既知の領域族に含まれないため、非可換ドメイン代数から新しい幾何的対象が発見されたことを示している。