[论文解读] Updates on Hirzebruch's 1954 Problem List

D. Kotschick|arXiv (Cornell University)|May 20, 2013

Logic, programming, and type systems参考文献 6被引用 3

一句话总结

本文在Hirzebruch 1954年问题列表的基础上，结合近期进展，重点研究复代数几何中陈数与霍奇数的拓扑不变性。通过单位丛 bordism 环与新定义的陈–霍奇环，作者完全刻画了在定向或非定向同胚与微分同胚下，哪些霍奇数与陈数的有理线性组合是不变的，彻底解决了问题31：此类不变量均由贝蒂数与庞特里亚金数生成，模去Hirzebruch–Riemann–Roch关系。

ABSTRACT

We present updates to the problems on Hirzebruch's 1954 problem list focussing on open problems, and on those where substantial progress has been made in recent years. We discuss some purely topological problems, as well as geometric problems about (almost) complex structures, both algebraic and non-algebraic, about contact structures, and about (complementary pairs of) foliations.

研究动机与目标

• 提供对Hirzebruch 1954年问题列表中开放问题的最新解答与进展，特别是关于复代数几何中特征数的拓扑不变性问题。
• 解决关于光滑复射影簇上陈数与霍奇数在微分同胚与同胚下的不变性问题31。
• 通过构建混合陈–霍奇环，系统性地将霍奇数纳入陈数不变性研究，拓展先前成果。
• 阐明在定向或非定向微分同胚与同胚下，哪些霍奇数与陈数的线性组合是拓扑不变量。
• 纠正早期更新中的遗漏，并突出仍为活跃研究领域的开放性问题。

提出的方法

• 作者使用与ℚ张量积后的单位丛 bordism 环，对具有不同陈数的微分同胚代数簇进行分类，实现对特征类的系统化记录。
• 通过构造涉及方向反转同胚的代数曲面与射影丛的正式差序列，生成具有不同Thom–Milnor数的例子。
• 引入一个新的数学对象——凯勒流形的陈–霍奇环，以同时追踪霍奇数与陈数，推广了单位丛 bordism 环的作用。
• 该方法依赖于对Hirzebruch–Riemann–Roch关系的精细化，以识别霍奇数与陈数之间所有线性依赖关系。
• 结合[Ko09, Ko12]的成果与新合作成果[KS13]，作者通过陈–霍奇环完全刻画了不变量的结构。
• 解法的关键在于证明：任何在定向微分同胚或同胚下不变的霍奇数与陈数的有理线性组合，都必须在加上χ(Ω^p) − Td_p的适当倍数后，简化为贝蒂数与庞特里亚金数的组合。

实验结果

研究问题

• RQ1 哪些霍奇数与陈数的有理线性组合在光滑复射影簇的定向微分同胚或同胚下保持不变？
• RQ2 凯勒流形的霍奇数是否为微分同胚不变量？如果不是，哪些线性组合是？
• RQ3 确定霍奇数与陈数线性组合为拓扑不变量的完整关系集是什么？
• RQ4 如何系统性地对在微分同胚或同胚下保持不变的复代数簇不变量进行分类？
• RQ5 Hirzebruch–Riemann–Roch关系在决定霍奇数与陈数不变量环结构中起什么作用？

主要发现

• 霍奇数与陈数的有理线性组合是定向同胚或微分同胚不变量，当且仅当在加上χ(Ω^p) − Td_p的适当倍数后，可简化为贝蒂数与庞特里亚金数的线性组合。
• 在复维数n ≠ 2时，霍奇数与陈数的有理线性组合是无向同胚或微分同胚不变量，当且仅当在加上χ(Ω^p) − Td_p的适当倍数后，可简化为贝蒂数的线性组合。
• 问题31的解已完全解决：霍奇数与陈数有理线性组合中，唯一的拓扑不变量是由贝蒂数与庞特里亚金数生成的，模去Hirzebruch–Riemann–Roch关系。
• 陈–霍奇环为同时追踪霍奇数与陈数提供了完整的代数框架，解决了霍奇数在丛理论中缺乏不变性的缺陷。
• 结果表明，霍奇数在一般情况下并非微分同胚不变量，这由构造出的具有不同霍奇数但微分同胚的代数簇实例所证实。
• 该框架确认，在复维数2时，c₂与c₁²均为微分同胚不变量，但在更高维中该性质不成立。