[論文レビュー] Quillen property of real algebraic varieties

Mihai Putinar, Claus Scheiderer|arXiv (Cornell University)|Apr 3, 2013

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

ひとこと要約

この論文は、複素空間内の実代数的概形上の多項式の正性と作用素理論の間の関係を確立し、正の多項式が理想に関してヘルミート平方の和として表せるというクィレン性質（Quillen property）を満たす理想については、可換作用素族が子正規（subnormal）であることを示している。主な貢献は、『ダイヤモンド』理想への包含関係の不在という幾何的特徴付けによるクィレン性質の同定であり、これは有限次元の場合の正規性に影響を与え、さらに半代数的集合への一般化を可能にする。

ABSTRACT

Let I be a conjugation-invariant ideal in the complex polynomial ring with variables z_1,...,z_n and their conjugates. The ideal I has the Quillen property if every real valued, strictly positive polynomial on the real zero set of I in C^n is a sum of hermitian squares modulo I. We first relate the Quillen property to the archimedean property from real algebra. Using hereditary calculus, we then quantize and show that the Quillen property implies the subnormality of commuting tuples of Hilbert space operators satisfying the identities in I. In the finite rank case we give a complete geometric characterization of when the identities in $I$ imply normality for a commuting tuple of matrices. This geometric interpretation provides simple means to refute Quillen's property of an ideal. We also generalize these notions and results from real algebraic sets to semi-algebraic sets in C^n.

研究の動機と目的

• 共役作用を保つ理想に対するクィレン性質を調査すること。ここで、実零点集合上で正の実数値多項式が、理想に関してヘルミート平方の和として表される。
• この代数的性質を作用素理論と結びつけ、特にヒルベルト空間上の有界作用素の可換族が理想の関係を満たす場合の子正規性を明らかにすること。
• クィレン性質の幾何的基準を提供すること。具体的には、理想がいかなる『ダイヤモンド』理想またはその退化形に含まれないことが、クィレン性質と同値であることを示すこと。
• クィレン性質を代数的集合から複素空間内の半代数的集合へ一般化すること。
• 幾何的および代数的障害を用いた、クィレン性質の検証または反証のための構成的ツールを提供すること。

提案手法

• 準同型計算（hereditary calculus）を用いて、可換な有界作用素族 T に対して p(T, T*) を定義し、単項式において随伴作用素を左に配置する。
• クィレン性質が、ヘルミート平方による正性証明を介して、このような作用素族の子正規性を示すことを示した。
• アーキメデス性質（archimedean property）を重要な技術的道具として用い、ある c > 0 に対して c - ∑|z_j|² が理想 I に関してヘルミート平方の和として表せることを保証した。
• a ≠ b に対して点 (a,ā), (a,b̄), (b,ā), (b,b̄) で消えることにより定義される『ダイヤモンド理想』I(a,b) を導入し、クィレン性質の幾何的障害として、その包含関係の不在を用いた。
• 有限次元作用素の場合、クィレン性質が幾何的正規性（理想 I がいかなる『ダイヤモンド』理想 I(a,b) またはその退化形 J(a,U) に含まれない）と同値であることを証明した。
• 正性と分解の枠組みを半代数的集合へ拡張することで、代数的集合から半代数的集合への結果の一般化を達成した。

実験結果

リサーチクエスチョン

• RQ1 共役作用を保つ理想の実零点集合上で、すべての正の多項式が理想に関してヘルミート平方の和として表される条件は何か？
• RQ2 クィレン性質は、ヒルベルト空間上の有界線形作用素の可換族の子正規性とどのように関係しているか？
• RQ3 特に有限次元作用素の場合に、実代数的概形 V_R(I) のどの幾何的条件がクィレン性質の成立を特徴づけるか？
• RQ4 クィレン性質を代数的集合から複素空間内の半代数的集合へ拡張することは可能か？また、正性構造はどのように変化するか？
• RQ5 特定の実二次曲線（円や離心の大きい楕円）がクィレン性質に関して異なる挙動を示す理由は何か？これは、アーキメデス性、クィレン性質、子正規性の間の含意関係の失敗をどのように明らかにするか？

主な発見

• クィレン性質は、準同型計算における正性証明を通じて、理想の関係を満たす可換有界作用素族の子正規性を示す。
• 有限次元作用素の場合、クィレン性質は幾何的正規性と同値である：理想 I がいかなる『ダイヤモンド』理想 I(a,b) またはその退化形 J(a,U) に含まれない。
• アーキメデス性質はクィレン性質を含む。さらに、V_R(I) がコンパクトであれば、クィレン性質はアーキメデス性質を含む。
• 単位円上のリース＝フェイジャーの定理は、クィレン性質の特別な場合であり、非負多項式が理想 (z z̄ - 1) に関して単一のヘルミート平方として表される。
• クィレンの元々の単位球面に関する定理が一般化された：球面上で正の多項式は、球面の簡約化された理想に関してヘルミート平方の和として表せる。
• 有限ランクの可換行列族に対して、理想がダイヤモンド理想に含まれないかどうかに基づいて、I に含まれる恒等式が正規性を導く条件を完全に幾何的に特徴づけた。