[论文解读] Harnack-Thom Theorem for higher cycle groups

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

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

一句话总结

本文通过将Z2系数下的Lawson同调群的秩与它们的约化实 counterparts 相关联，将经典的Harnack-Thom定理推广到实拟射影代数簇。作者利用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同调群的秩与其约化实 counterparts 之间的关系。
• 通过Weil方法定义并构造实代数簇的约化实Picard簇。
• 利用由同伦修正的纤维丛导出的同伦序列，计算除子循环群的同伦群。
• 通过推导出的同伦计算，将非奇异实射影簇的Picard数与其实约化实Lawson同调群的秩联系起来。

提出的方法

• 利用Weil构造Picard簇的方法，为实拟射影簇定义约化实Picard簇。
• 对循环群进行同伦修正，以生成可计算同伦群的纤维丛。
• 利用这些纤维丛诱导的同伦正合序列，分析除子循环群的同伦型。
• 在Lawson同调中使用Z2系数，将经典Harnack-Thom定理推广至实拟射影设定。
• 使用Borel-Moore同调替代奇异同调，以适应非紧致的实拟射影簇。
• 通过推导出的同伦计算，将非奇异实射影簇的Picard数与其实约化实Lawson同调群的秩联系起来。

实验结果

研究问题

• RQ1 如何通过使用Borel-Moore同调，将Harnack-Thom定理推广至实拟射影簇？
• RQ2 在实拟射影簇中，Z2系数下Lawson同调群的秩与其约化实 counterparts 之间存在何种关系？
• RQ3 如何通过Weil方法为实代数簇构造约化实Picard簇？
• RQ4 同伦修正的循环群纤维丛在计算除子循环群同伦群中起什么作用？
• RQ5 非奇异实射影簇的Picard数与其实约化实Lawson同调群的秩之间存在何种联系？

主要发现

• 本文通过用Borel-Moore同调替代奇异同调，将经典的Harnack-Thom定理推广至实拟射影簇。
• 实拟射影簇的Z2系数下Lawson同调群的秩，与其实约化实Lawson同调群的秩相关联。
• 通过Weil方法构造了约化实Picard簇，为实约化循环群提供了几何实现。
• 对循环群进行同伦修正，可产生纤维丛，其同伦序列使除子循环群的同伦群得以计算。
• 非奇异实射影簇的Picard数等于其实约化实Lawson同调群的秩。
• 该框架成功地将经典结果推广至实拟射影设定，统一了同调不变量与算术与几何数据。