[論文レビュー] Unbounded Symmetric Homogeneous Domains in Spaces of Operators

Lawrence A. Harris|arXiv (Cornell University)|Jan 30, 1995

Advanced Topics in Algebra参考文献 22被引用数 5

ひとこと要約

この論文は、ヒルバート空間上の有界線形作用素の空間における非有界対称同次領域を調査し、アフィン自己同型と対称の合成がこれらの領域上で推移的に作用することを確立している。また、トレースクラス条件の下で、こうした領域におけるリウヴィルの定理およびリーマンの除去可能特異点定理を証明し、特定の作用素領域における正則写像が線形等長写像、またはユニタリ作用素およびJ-ユニタリ作用素による左・右乗算によって誘導されることを示しており、古典的な結果を無限次元設定に一般化している。

ABSTRACT

We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem holds for domains of linear fractional transformations, and, with an additional trace class condition, so does the Riemann removable singularities theorem. We also show that every biholomorphic mapping of the operator domain $I < Z^*Z$ is a linear isometry when the space of operators is a complex Jordan subalgebra of ${\cal L}(H)$ with the removable singularity property and that every biholomorphic mapping of the operator domain $I + Z_1^*Z_1 < Z_2^*Z_2$ is a linear map obtained by multiplication on the left and right by J-unitary and unitary operators, respectively. Readers interested only in the finite dimensional case may identify our spaces of operators with spaces of square and rectangular matrices.

研究の動機と目的

• ヒルバート空間上の有界線形作用素の空間における非有界対称同次領域を特徴付けること。
• これらの領域上でアフィン自己同型と対称の合成が推移的に作用することを確立すること。
• 作用素空間における線形分数的変換の領域に対して、リウヴィルの定理およびリーマンの除去可能特異点定理を拡張すること。
• 特定の作用素領域、例えば $I < Z^*Z$ および $I + Z_1^*Z_1 < Z_2^*Z_2$ における正則写像の正確な構造を同定すること。
• 特に複素ジョルダン部分代数 $\mathcal{L}(H)$ における有限次元結果を無限次元作用素代数に一般化すること。

提案手法

• 作用素空間における線形分数的変換の定義域を作用素論的構成によって定義すること。
• 対称領域の理論およびジョルダン代数構造を用いて、自己同型群と対称性を分析すること。
• トレースクラス条件を適用して、無限次元設定における正則関数に関する古典的定理を拡張すること。
• ユニタリ作用素およびJ-ユニタリ作用素による左・右乗算への構造的分解を用いて、特定の領域における正則写像を分析すること。
• 基礎となる作用素代数の特異点除去性を用いて、正則写像の特異点を制御すること。
• 有限次元に制限した際、作用素空間を行列代数と同一視することで、無限次元ケースを有限次元行列類似物に還元すること。

実験結果

リサーチクエスチョン

• RQ1 ヒルバート空間上の有界線形作用素の空間における非有界対称同次領域の構造は何か？
• RQ2 アフィン自己同型と対称の合成は、これらの領域上でどのように作用するのか。その作用は推移的か？
• RQ3 作用素空間における線形分数的変換の領域上で、リウヴィルの定理が成り立つ条件は何か？
• RQ4 リーマンの除去可能特異点定理は、こうした作用素領域へどのように拡張可能か。トレースクラス条件は果たす役割は何か？
• RQ5 作用素代数における領域 $I < Z^*Z$ および $I + Z_1^*Z_1 < Z_2^*Z_2$ における正則写像の正確な形は何か？

主な発見

• 作用素空間における非有界対称同次領域上で、アフィン自己同型と対称の合成が推移的に作用する。
• トレースクラス条件を満たす限り、作用素空間における線形分数的変換の領域に対してリウヴィルの定理が成り立つ。
• 同じトレースクラス条件の下で、リーマンの除去可能特異点定理がこれらの領域へ拡張され、孤立特異点を持つ正則関数は有界であり、除去可能であることが保証される。
• 基礎となる空間が $\mathcal{L}(H)$ の複素ジョルダン部分代数であり、特異点除去性を有する場合、領域 $I < Z^*Z$ における任意の正則写像は線形等長写像である。
• 領域 $I + Z_1^*Z_1 < Z_2^*Z_2$ における任意の正則写像は、J-ユニタリ作用素による左乗算とユニタリ作用素による右乗算によって誘導される。
• 有限次元の場合、結果は正方行列および長方形行列の空間に対応する類似した命題に特殊化される。