[論文レビュー] $L^2$-theory for the $\bar{\partial}$-operator on complex spaces with isolated singularities

Jean Ruppenthal|arXiv (Cornell University)|Oct 11, 2011

Advanced Mathematical Physics Problems参考文献 11被引用数 3

ひとこと要約

この論文は、特異点をもつ複素空間上の $ar{\partial}$-作用素の $L^2$-理論を、特異点の解消を用いて $L^2$-コホモロジーの滑らかで明示的なモデルを構成することによって精緻化する。$(0,q)$-形式と $(n,q)$-形式の $L^2$-コホモロジーの間の明示的同型を確立し、コホモロジーの正則線束の上での引き戻しと双対性を用いて $L^2$-コホモロジーの標準的実現を達成する。

ABSTRACT

We present a refined, improved $L^2$-theory for the $\bar{\partial}$-operator for $(0,q)$ and $(n,q)$-forms on Hermitian complex spaces of pure dimension $n$ with isolated singularities. The general philosophy is to use a resolution of singularities to obtain a regular model of the $L^2$-cohomology.

研究の動機と目的

• 特異点をもつヘルミート複素空間上の $\/bar{\partial}$-作用素の精緻化された $L^2$-コホモロジー理論を構築すること。
• 特異点の解消と標準的層を活用して、$L^2$-コホモロジーの滑らかで明示的なモデルを構築すること。
• 微分形式の引き戻しと押し出しを用いて、$L^2$-コホモロジーの同型を明示的に実現すること。
• $(0,q)$-形式の $L^2$-コホモロジーと解消上での正則線束のコホモロジーの間の標準的同型を確立すること。
• 仮定 $D = Z - |Z|$ のもとで、$\overline{\partial}_{s}$-複体が標準的層 $\mathcal{K}_X^s$ の細分離であることを証明すること。

提案手法

• 特異点をもつ複素空間 $X$ への解消 $\pi: M \to X$ を用い、特異点の逆像 $Z = \pi^{-1}(\operatorname{Sing}X)$ をもつ正常交差を持つものと仮定し、$D = Z - |Z|$ を仮定する。
• $(n,0)$-形式の $L^2$-空間上で $\overline{\partial}_s$-作用素の核として、$\operatorname{Sing}X$ におけるディリクレ境界条件を満たすものとして、標準的層 $\mathcal{K}_X^s$ を定義する。
• 仮定 $D = Z - |Z|$ のもとで、同型 $\mathcal{K}_X^s \cong \pi_*(\mathcal{K}_M \otimes \mathcal{O}(-D))$ を確立する。
• Takegoshi の消滅定理を適用して、$q \geq 1$ のとき $R^q\pi_*(\mathcal{K}_M \otimes \mathcal{O}(|Z| - Z)) = 0$ が成り立つことを示し、Leray のスペクトル系列の適用を可能にする。
• 双対性と引き戻しによって誘導される自然なペアリングと同型を用いて、$L^2$-コホモロジー群の間の可換図式を構成する。
• 調和代表元と切り上げ関数を用いて、コンパクトな台を持つ性質を保ちながら、形式のレベルでコホモロジー同型を明示的に実現する。

実験結果

リサーチクエスチョン

• RQ1 特異点をもつ複素空間上の $ar{\partial}$-作用素の $L^2$-コホモロジーは、特異点の解消を用いてどのように明示的にモデル化できるか？
• RQ2 標準的層 $\mathcal{K}_X^s$ が $\pi_*(\mathcal{K}_M \otimes \mathcal{O}(-Z + |Z|))$ の形に表現可能となる条件は何か？
• RQ3 $(0,q)$-形式の $L^2$-コホモロジーと正則線束のコホモロジーの間の同型は、引き戻しと双対性を用いて明示的に実現可能か？
• RQ4 $\overline{\partial}_s$-複体は、$\mathcal{K}_X^s$ を細分離として解消するために果たす役割は何か？
• RQ5 仮定 $D = Z - |Z|$ が、解消 $\pi: M \to X$ を用いた $L^2$-コホモロジーの標準的実現をどのように可能にするか？

主な発見

• 標準的層 $\mathcal{K}_X^s$ は $D = Z - |Z|$ を用いて $\pi_*(\mathcal{K}_M \otimes \mathcal{O}(-D))$ と同型であり、$L^2$-コホモロジーの整合的で局所自由なモデルを提供する。
• $\overline{\partial}_s$-複体は $\mathcal{K}_X^s$ の細分離をなしており、$L^2$-コホモロジーが適切に定義され、計算可能であることを保証する。
• $X$ 上の $(0,q)$-形式の $L^2$-コホモロジーは、写像 $i_q$ を通じて解消 $M$ 上の $\mathcal{O}(Z - |Z|)$ のコホモロジーと標準的に同型である。
• 同型 $i_q: H^q_E(\widetilde{\Omega}, \mathcal{O}(Z - |Z|)) \to H^{0,q}_{\max}(\widetilde{\Omega}, L_{Z - |Z|})$ は、コンパクトな台を持つ形式の引き戻しによって明示的に実現される。
• 自然なペアリングにより、$H^{n,p}_{\min}(\widetilde{\Omega}, L_{|Z| - Z})^*$ と $H^{0,q}_{\max}(\Omega^*)$ の間の同型が誘導され、$L^2$-設定における双対性が確立される。
• $i_q$ の単射性は、$i_q[a] = 0$ ならば $[a] = 0$ が $H^q_E(\widetilde{\Omega}, \mathcal{O}(Z - |Z|))$ 内で成り立つことを示すことで証明され、切り上げ関数とコンパクトな台を持つ $\overline{\partial}$-解を用いる。