[論文レビュー] $L^\infty$ cohomology is intersection cohomology

Guillaume Valette|arXiv (Cornell University)|Dec 3, 2009

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

ひとこと要約

この論文は、コンパクトなサブアナリティックな擬多様体の非特異部における $L^∞$ コホモロジーと、最大の perverse におけるその交差コホモロジーの間で、de Rham 型の同型を確立する。サブアナリティックな特異的チェーンへの積分と、サブアナリティック集合の計量構造を用いて、特異点における計量的仮定を必要とせず、特異空間の位相的不変量を $L^∞$ コホモロジーが捉えることを証明する。これは、従来の $L^2$ 結果を $L^∞$ の設定に拡張するものである。

ABSTRACT

Let $X$ be any subanalytic compact pseudomanifold. We show a De Rham theorem for $L^\infty$ forms. We prove that the cohomology of $L^\infty$ forms is isomorphic to intersection cohomology in the maximal perversity.

研究の動機と目的

• コンパクトなサブアナリティックな擬多様体の非特異部分における $L^\infty$ 微分形式の de Rham 定理を確立すること。
• 最大の perverse における $L^\infty$ コホモロジーが交差ホモロジーと同型であることを示し、以前の $L^2$ 結果を一般化すること。
• $L^\infty$ コホモロジー類の幾何的実現を、サブアナリティックな特異的チェーンへの積分によって行い、同型が実現されることを証明すること。
• サブアナリティック集合の鋭い計量構造を活用することで、特異点における計量的仮定を排除し、一般のコンパクトなサブアナリティックな擬多様体に対して結果を得ること。
• 特異なサブアナリティックな多様体におけるホッジ理論の基盤を築くために、自然な形式のクラス（$L^\infty$ 形式）を特定し、それが有限次元で位相的に意味のあるコホモロジーを与えること。

提案手法

• $L^\infty$ コホモロジーを、形式および外微分がノルムで有界である $C^\infty$ 微分形式の複体のコホモロジーとして定義する。
• サブアナリティック集合の理論と、実解析的プアセューシリーズの体 $k(0_+)$ への拡張を用いて、特異点付近の計量構造を分析する。
• 転送原理（Łoś の定理）を適用し、$k(0_+)$ の一般ファイバーにおける幾何的性質を、小さな正の実数パラメータへと持ち上げることで、特異点付近での一様性を保証する。
• 一般ファイバーにおいて、局所的にサブアナリティックな微分同相写像を一様にリプシッツ的（bi-Lipschitz）に構成し、特異集合の局所幾何を制御し、形式の有界性を保証する。
• サブアナリティックな特異的チェーンへの $L^\infty$ 形式の積分を通じて、$L^\infty$ コホモロジーと交差ホモロジーの同型を実現する。
• $k(0_+)^n$ へのグローバルにサブアナリティックな集合の拡張は、その集合上に lying するプアセュー弧のgermの集合に対応することを用い、特異的挙動のモデル理論的解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 特異点における計量的錐構造を仮定せずに、$L^\infty$ コホモロジーを特異空間の交差ホモロジーを計算するために使用できるか？
• RQ2 サブアナリティックなチェーンへの積分によって、$L^\infty$ コホモロジー類が幾何的に実現可能か？
• RQ3 すべてのコンパクトなサブアナリティックな擬多様体において、$L^\infty$ コホモロジーと交差ホモロジーの同型が一様に確立可能か？
• RQ4 プアセューシリーズと一般ファイバーの使用により、追加の計量的仮定なしに特異点を一様に取り扱えるか？
• RQ5 $L^\infty$ コホモロジーが、特異なサブアナリティック多様体におけるホッジ理論の基盤として機能できるか？

主な発見

• コンパクトなサブアナリティックな擬多様体の非特異部分における $L^\infty$ コホモロジーは、最大の perverse における交差コホモロジーと同型である。
• 同型は、サブアナリティックな特異的チェーンへの $L^\infty$ 形式の積分によって明示的に実現される。
• 証明は、サブアナリティック特異点の鋭い計量的記述に依拠しており、特異点における従来の計量的仮定を排除できる。
• $L^\infty$ コホモロジー群は有限生成であり、一様な有界性とサブアナリティック構造の結果として得られる。
• $k(0_+)$ からの転送原理により、一般ファイバーにおける幾何的性質が、小さな正の実数パラメータにおいて一様な挙動を示すことを保証する。
• この結果は、チーラーの $L^2$ de Rham 定理を $L^∞$ の設定に一般化し、より広いクラスの特異空間に微分幾何的道具を適用できる範囲を拡張する。