[論文レビュー] On the L^2-Stokes theorem and Hodge theory for singular algebraic varieties

Daniel Grieser, Matthias Lesch|ArXiv.org|Feb 9, 1999

Algebraic Geometry and Number Theory参考文献 7被引用数 4

ひとこと要約

本稿は、孤立特異点をもつ特異代数的多様体に対して、正則部分に誘導されたL^2 de RhamおよびDolbeault複体を用いて、L^2-ストークス定理とホッジ理論を確立する。ラプラシアンは、複素次元nに対し、n−1、n、n+1を除くすべての次数で離散的であることが示され、これらの次数を除いてホッジ定理およびL^2-ストークス定理が成り立つ。一方、実多様体や非コンパクト空間ではL^2-ストークス定理が成立しない可能性があることが示された。

ABSTRACT

For a projective algebraic variety $V$ with isolated singularities, endowed with a metric induced from an embedding, we consider the analysis of the natural partial differential operators on the regular part of $V$. We show that, in the complex case, the Laplacians of the de Rham and Dolbeault complexes are discrete operators except possibly in degrees $n,n\pm 1$, where $n$ is the complex dimension of $V$. We also prove a Hodge theorem on the operator level and the $L^2$--Stokes theorem outside the degrees $n-1,n$. We show that the $L^2$-Stokes theorem may fail to hold in the case of real algebraic varieties, and also discuss the $L^2$-Stokes theorem on more general non-compact spaces.

研究の動機と目的

• 孤立特異点をもつ特異的射影代数的多様体へホッジ理論およびL^2-ストークス定理を拡張すること。
• このような多様体の正則部分におけるde RhamおよびDolbeaultラプラシアンのスペクトル的性質を分析すること。
• 特異点の影響によりL^2-ストークス定理およびホッジ同型が不成立となる次数を特定すること。
• 複素代数的多様体と実代数的多様体におけるL^2-ストークス定理の挙動を対比すること。
• 射影多様体にとどまらず、より一般の非コンパクト空間へL^2-ストークス定理を一般化すること。

提案手法

• 特異点が孤立する射影多様体Vの正則部分を、埋め込みから誘導される計量を備えて分析する。
• de RhamおよびDolbeault複体をL^2設定で研究し、関連するラプラシアンに注目する。
• 複素次元nに対し、n−1、n、n+1を除くすべての次数でラプラシアンの離散性を確立する。
• ホッジ定理は作用素レベルで証明され、L^2調和形式がn−1、nを除くすべての次数におけるコホモロジーを実現することが示される。
• 微分作用素の閉性および稠密性の性質を用いて、n−1、nを除く次数でL^2-ストークス定理を検証する。
• 実代数的多様体およびより一般の非コンパクト空間でL^2-ストークス定理が成立しないことを示す反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 孤立特異点をもつ特異的複素代数的多様体において、L^2-ストークス定理はどの次数で不成立となるか？
• RQ2 de RhamおよびDolbeault複体のラプラシアンは、特異的射影多様体の正則部分で離散的か？
• RQ3 L^2 de RhamおよびDolbeault複体に対してホッジ定理は成り立つか？ また、どの次数で成り立つか？
• RQ4 L^2-ストークス定理は非コンパクト空間や実代数的多様体へ拡張可能か？ その障害は何か？
• RQ5 次数n−1、n、n+1におけるラプラシアンのスペクトル的性質は、他の次数とどのように異なるか？

主な発見

• de RhamおよびDolbeault複体のラプラシアンは、特異的射影多様体の正則部分で、複素次元nに対しn−1、n、n+1を除くすべての次数で離散的作用素である。
• L^2 de RhamおよびDolbeault複体に対してホッジ定理は作用素レベルで成り立ち、調和形式がn−1、nを除くすべての次数におけるコホモロジーを実現する。
• de Rham複体に対してL^2-ストークス定理はn−1、nを除く次数で成立し、dの像がL^2で閉じていることを保証する。
• 実代数的多様体ではL^2-ストークス定理が成立しない可能性があり、明示的な反例によって示された。
• 実ケースや非コンパクト空間におけるL^2-ストークス定理の不成立は、定理の有効性において複素構造およびコンパクト性の重要性を強調する。
• 結果はより一般の非コンパクト空間へ拡張され、幾何的または位相的障害のためL^2-ストークス定理が不成立となる可能性があることが示された。