[論文レビュー] Harnack-Thom Theorem for higher cycle groups

Jyh-Haur Teh|arXiv (Cornell University)|Sep 7, 2005

Finite Group Theory Research参考文献 12被引用数 3

ひとこと要約

本稿は、Borel-Mooreホモロジーを単体的ホモロジーの代わりに用いることで、古典的Harnack-Thom定理を実準射影的多様体へ一般化する。Z2係数を用いたLawsonホモロジー群のランクとその削減された実対応物との関係を確立する。WeilによるPicard多様体の構成と、サイクル群のホモトピー的修正を用いてファイブレーションを形成し、そのホモトピー列を用いて除数サイクル群のホモトピー群を計算する。これにより、特異的でない実射影的多様体のPicard数が、その除数の削減された実Lawsonホモロジー群のランクと関連づけられる。

ABSTRACT

We generalize the Harnack-Thom Theorem to relate the rank of the Lawson homology groups with Z2-coefficients of a real quasiprojective variety with the rank of its reduced real Lawson homology groups. In the case of zero-cycle group, we recover the classical Harnack-Thom Theorem and generalize the classical version to include real quasiprojective varieties in which Borel-Moore homology is used instead of singular homology. We use the Weil’s construction of Picard varieties to construct reduced real Picard varieties. We modify some cycle groups homotopically to produce fibrations and use the homotopy sequences induced by these fibrations to compute the homotopy groups of some cycle groups of divisors. The Picard number of a nonsingular real projective variety is related to the rank of its reduced real Lawson homology groups of divisors. 1

研究の動機と目的

• 単体的ホモロジーの代わりにBorel-Mooreホモロジーを用いることで、古典的Harnack-Thom定理を実準射影的多様体へ拡張すること。
• Z2係数を用いたLawsonホモロジー群のランクとその削減された実対応物との関係を確立すること。
• 実代数的多様体に対してWeilの方法を用いて削減された実Picard多様体を定義・構成すること。
• ホモトピー的に修正されたファイブレーションから導かれるホモトピー列を用いて、除数サイクル群のホモトピー群を計算すること。
• 特異的でない実射影的多様体のPicard数が、その削減された実Lawsonホモロジー群の除数群のランクとどのように関連するかを明らかにすること。

提案手法

• WeilによるPicard多様体の構成を用いて、実準射影的多様体の削減された実Picard多様体を定義する。
• サイクル群をホモトピー的に修正して、ホモトピー群の計算を可能にするファイブレーションを生成する。
• これらのファイブレーションから誘導されるホモトピー完全列を用いて、除数サイクル群のホモトピー型を分析する。
• LawsonホモロジーにZ2係数を導入することで、古典的Harnack-Thom定理を実準射影的設定へ一般化する。
• 非コンパactsな実準射影的多様体を扱えるよう、単体的ホモロジーの代わりにBorel-Mooreホモロジーを用いる。
• 導出されたホモトピー計算を通じて、特異的でない実射影的多様体のPicard数とその削減された実Lawsonホモロジー群の除数群のランクとの関係を特定する。

実験結果

リサーチクエスチョン

• RQ1 Borel-Mooreホモロジーを用いることで、Harnack-Thom定理を実準射影的多様体へどのように一般化できるか。
• RQ2 実準射影的多様体において、Z2係数を用いたLawsonホモロジー群のランクとその削減された実対応物との関係は何か。
• RQ3 Weilの方法を用いて、実代数的多様体の削減された実Picard多様体をどのように構成できるか。
• RQ4 ホモトピー的に修正されたサイクル群ファイブレーションが、除数サイクル群のホモトピー群の計算に果たす役割は何か。
• RQ5 特異的でない実射影的多様体のPicard数が、その削減された実Lawsonホモロジー群の除数群のランクとどのように関連するか。

主な発見

• 本稿は、単体的ホモロジーの代わりにBorel-Mooreホモロジーを用いることで、古典的Harnack-Thom定理を実準射影的多様体へ一般化した。
• 実準射影的多様体のZ2係数を用いたLawsonホモロジー群のランクは、その削減された実Lawsonホモロジー群のランクと関連している。
• Weilの方法を用いて削減された実Picard多様体が構成され、これにより削減された実サイクル群の幾何的実現が得られた。
• サイクル群のホモトピー的修正により得られるファイブレーションのホモトピー列を用いて、除数サイクル群のホモトピー群が計算可能となった。
• 特異的でない実射影的多様体のPicard数は、その削減された実Lawsonホモロジー群の除数群のランクに等しい。
• この枠組みにより、古典的な結果が実準射影的設定へ自然に拡張され、ホモロジー的不変量と算術的・幾何的データが統合された。