[論文レビュー] A remark on Kähler forms on symmetric products of Riemann surfaces

Tim Perutz|ArXiv.org|Jan 31, 2005

Geometric and Algebraic Topology被引用数 5

ひとこと要約

本稿は、リーマン面の $n$ 階対称積上の特異的ケーラー形式 $\operatorname{Sym}^{n}(ω)$ が、そのコホモロジー類と一致する真のケーラー形式に滑らかにできると確立している。この滑らか化は、対角部分集合の近傍以外では元の形式と等しい。この結果は、バロウチャスの正則化技法を用いて得られ、ヘーガード・フロアホモロジーの解析的枠組みと整合するグローバルに定義されたケーラー形式の存在を保証する。

ABSTRACT

Users of Heegaard Floer homology may be reassured to know that it can be made to conform exactly to the standard analytic pattern of Lagrangian Floer homology. This follows from the following remark, which we prove using an argument of J. Varouchas: the natural singular Kähler form $\sym^n(ω)$ on the $n$th symmetric product of a Kähler curve $(Σ,ω)$ admits a cohomologous smoothing to a Kähler form which equals $\sym^n(ω)$ away from a chosen neighbourhood of the diagonal.

研究の動機と目的

• ホロモーフィックディスクのエネルギーの上限とコホモロジー的解釈を保証することで、ヘーガード・フロアホモロジーにおける技術的ギャップを解消すること。
• リーマン面 $\operatorname{Sym}^n(\Sigma)$ 上の自然な特異的ケーラー形式が、滑らかでコホモロジー類を保つケーラー滑らか化を許容すること。
• バロウチャスの分岐被覆に関する結果を拡張し、押し出しケーラー形式の局所的からグローバルへの滑らか化を提供すること。
• リーマン面の対称積の文脈におけるラグランジュフロアホモロジーの厳密な解析的基盤を提供すること。
• 対角部分集合の近傍を除き、積形式と一致するグローバルに定義されたケーラー形式を構成することで、ヘーガード・フロア理論における標準的解析技法の使用を可能にすること。

提案手法

• リッヒベルクとドメリの正則化最大法を用い、特異的擬・強調関数を滑らかにするためにバロウチャスの補題の原理を応用する。
• 対称積上の連続的ケーラー・コサイクルに対してグローバルな滑らか化を適用し、開被覆を精緻化し、コンパクト台付き関数によるポテンシャルの修正を行う。
• 対角部分集合の近傍を除き、$\pi_*(\omega^{\times r})$ と一致する $\operatorname{Sym}^r(\Sigma)$ 上の滑らかなケーラー形式 $\eta$ を構成する。
• 全空間の分岐被覆から基底にまで局所的ケーラー・ポテンシャルを $dd^c$-補題を用いて持ち上げる。
• コンパクト台付き補正項を用いた分区関数の議論により、コホモロジーを保存しながら形式を滑らかにする。
• 補正項 $dd^c\chi$ のコホモロジー類が消えることにより、形式 $\eta$ が $\pi_*[\omega^{\times r}]$ とコホモロジー類を共有し、閉形式かつ正定値であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 リーマン面の対称積上に自然に定義された特異的ケーラー形式 $\operatorname{Sym}^n(\omega)$ は、そのコホモロジー類を変更せずに、真のケーラー形式に滑らかにできるか？
• RQ2 分岐被覆によるケーラー形式の押し出しは、コホモロジー類と分岐分岐集合の外で元の形式と一致する滑らか化を許容するか？
• RQ3 グローバルに定義されたケーラー形式を用いて、$\operatorname{Sym}^g(\Sigma)$ 上でラグランジュフロアホモロジーの解析的枠組みをヘーガード・フロアホモロジーに適用できるか？
• RQ4 対角部分集合の近傍を除き、積形式 $\omega^{\times r}$ と一致し、コホモロジー類を保つ $\operatorname{Sym}^r(\Sigma)$ 上の滑らかなケーラー形式を構成することは可能か？
• RQ5 正則化最大法は、対称積から生じる複素軌道多様体上のケーラー形式を滑らかにするためにどのように適合可能か？

主な発見

• $\operatorname{Sym}^r(\Sigma)$ 上に、対角部分集合の近傍を除き $\eta = \pi_*(\omega^{\times r})$ と一致する滑らかなケーラー形式 $\eta$ が存在する。
• 形式 $\eta$ は $H^2(\operatorname{Sym}^r(\Sigma); \mathbb{R})$ 内で $\pi_*[\omega^{\times r}]$ とコホモロジー類を共有しており、ホロモーフィックディスクのエネルギーにコホモロジー的解釈が可能である。
• 滑らか化に伴う補正項 $dd^c\chi$ のコホモロジー類はゼロであり、元の形式のコホモロジー構造が保たれる。
• この構成により、$\operatorname{Sym}^g(\Sigma)$ 内のラグランジュトーラス $\mathbb{T}_\alpha$ および $\mathbb{T}_\beta$ が滑らか化された形式 $\eta$ に対してもラグランジュ的であることが保証され、ヘーガード・フロアホモロジーの幾何的設定が維持される。
• この手法は、複素多様体の分岐被覆に一般に適用可能であり、ケーラー形式の押し出しを滑らかにする体系的な方法を提供する。
• この結果により、ヘーガード・フロアホモロジーがこの滑らか化手順を介して、ラグランジュフロアホモロジーの標準的解析的パターンと完全に一致することが確認された。