[論文レビュー] Analytic cohomology in a Banach space

Imre Patyi|ArXiv.org|Jul 25, 2005

Advanced Banach Space Theory参考文献 6被引用数 4

ひとこと要約

本稿は、無限次元複素バナッハ空間における層コホホロジーの消滅定理を、(S)型と呼ばれる層のクラスを導入することによって確立する。このクラスには、分離可能な複素バナッハ部分多様体の理想層や、正則バナッハベクトル bundle の正則セクションの層が含まれる。擬強凸領域における擬・サブハーモニックな支配の仮定の下で、$ H^q(\Omega, S) $ が $ q \geq 1 $ に対して消えることを証明し、複素解析およびバナッハ空間論の技法を用いて、古典的 Theorem B を無限次元に一般化する。

ABSTRACT

Among other things, we show that the ideal sheaf of a complex Hilbert submanifold of a pseudoconvex open subset of Hilbert space is acyclic over the ambient pseudoconvex open set. We also prove a vanishing theorem for a fairly general class of analytic sheaves over pseudoconvex open sets of a large class of Banach spaces. Some applications are also given.

研究の動機と目的

• 有限次元から無限次元複素バナッハ空間への層コホホロジーの消滅定理 B の拡張。
• 無限次元における正則層の自然なクラスである (S)-層を定義し、研究すること。
• 分離可能な複素バナッハ部分多様体の理想層や、正則バナッハベクトル bundle の正則セクションの層といった、主要な幾何的層のアサイクロイカル性を証明すること。
• 次元のシフトやコホホロジー計算を可能にする、有限次元の場合に類似するグローバルな分解と完全系列の構築。

提案手法

• 無限次元複素幾何における両立層の一般化として、(S)-層のクラスを導入する。
• Lempert が確立した、可算無条件基底を持つバナッハ空間の擬強凸領域における擬・サブハーモニックな支配を用いる。
• Lempert と Patyi の exhaustion 技法を応用し、有限 Leray 覆いを構成し、次元のシフトを可能にする。
• 短完全系列 $ 0 \to K \to \mathcal{O}^{Z_1} \to S \to 0 $ の形で、(S)-層のグローバル分解を構成する。ここで $ K $ と $ S $ は両方とも (S)-層である。
• 擬強凸部分集合上での芽やグローバルセクションに対する、函手 $ \text{Hom}(\mathcal{O}^Z, -) $ を用いて、誘導された系列の完全性を検証する。
• トポロジカルに自明な正則バナッハベクトル bundle が、特定の状況では正則的に自明であるという事実を活用し、分解構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 有限次元における Theorem B に類似して、無限次元複素バナッハ空間における層コホホロジー群 $ H^q(\Omega, S) $ が $ q \geq 1 $ に対して消えるか。
• RQ2 無限次元複素幾何におけるどの層のクラスが、コホホロジー的アサイクロイカル性において、両立層に類似した性質を示すか。
• RQ3 分離可能な複素バナッハ部分多様体上での正則バナッハベクトル bundle の正則セクションの層のゼロ拡張が、アサイクロイカルのままである条件は何か。
• RQ4 バナッハ空間値の正則写像と正則層の完全系列を用いて、無限次元における (S)-層のグローバル分解を構成できるか。
• RQ5 (S)-層のアサイクロイカル性および分解の性質を満たす任意の層が、実際に (S)-層でなければならないか、つまり (S)-層の概念が最大であるか。

主な発見

• 任意の可算無条件基底を持つバナッハ空間 $ X $ と、その擬強凸開集合 $ \Omega \subset X $ に対して、$ S $ が (S)-層であれば、すべての $ q \geq 1 $ に対して層コホホロジー群 $ H^q(\Omega, S) $ は消える。
• 分離可能な複素バナッハ部分多様体 $ M \subset \Omega $ の理想層 $ I^Z $ は (S)-層であり、したがって $ \Omega $ 上でアサイクロイカルである。これは、$ M $ 上の関数が $ \Omega $ に正則に拡張可能であることを示唆する。
• 局所的に自明な正則バナッハベクトル bundle $ E \to M $ の正則セクションの層のゼロ拡張 $ (\mathcal{O}^E)^0 $ は (S)-層であり、したがって $ \Omega $ 上でアサイクロイカルである。これは、$ \mathcal{O}^E $ が $ M $ 上でアサイクロイカルであることを示唆する。
• 任意の (S)-層 $ S $ に対して、バナッハ空間値の正則関数の層によるグローバル分解が存在し、長完全系列 $ \ldots \to \mathcal{O}^{Z_n} \to \mathcal{O}^{Z_{n-1}} \to \cdots \to \mathcal{O}^{Z_1} \to S \to 0 $ の形で与えられる。この系列の完全性は $ \text{Hom}(\mathcal{O}^Z, -) $ によって保たれる。
• 任意の層が (S)-層のアサイクロイカル性および分解の性質を満たすならば、その層自体が (S)-層でなければならない。これは、このクラスがこれらの条件下で最大であることを示している。
• 任意の $ U \supset M $ である開近傍に対して、$ M \subset \omega \subset U $ を満たす擬強凸開集合 $ \omega \subset \Omega $ と、正則なリトラクション $ r: \omega \to M $ が存在する。これは、$ M $ が正則的に局所的にリトラクト可能であることを示している。