如何确定K3曲面的betti数和hodge数? 第1页
1
wen-zun-53 网友的相关建议:
我分拆了一下：
【首先你要知道Y.T.Siu在1983年证明了所有K3曲面都是Kahler流形，我们以这个为前提。】
【铺垫】
【1】对任何向量丛,都有,其中是total Chern class. [Hint:(简单的Chern-Weil理论)首先你要知道的曲率诱导到上是什么，然后再用Chern roots.]
【2】用HRR可以得到Gauss Bonnet：对维紧Kahler流形,有,其中为Euler数. [Hint:首先用Chern roots证明 ;然后直接用HRR得到结论.]
【3】对紧复曲面,下面是HRR的特例：
开始操作。
下面都假设是那个K3曲面。
【4】证明的第一Chern class都是0. [Hint:用1.]
【5】证明,,. [Hint:用Hodge分解+Poincare对偶]
【6】证明：.从而得到. [Hint:用Serre对偶.]
【7】证明,从而得到. [Hint:用2和3]
【8】证明:,最后得到,结束.
增补前两个的证明：
1
相关话题
为何这么多人称赞指标定理？同伦与同胚的区别是什么？
如何学习几何学（现代微分几何，包括微分流形，黎曼几何等）？
怎样给别人解释时空弯曲才能更加通俗易懂？
Cauchy定理的证明是否依赖于Jordan曲线定理？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
Cauchy定理的证明是否依赖于Jordan曲线定理？
微分流形与黎曼几何有什么关系？
如何理解物理学图像？有人说，物理学图像常常是指几何图像？
同伦与同胚的区别是什么？
前一个讨论
几乎处处收敛和依测度收敛的区别是什么呢？
下一个讨论
这个不等式缩放怎么证明？
相关的话题
直角坐标与极坐标的互化中，为什么 dxdy=rdrdθ？什么是直？什么是直线？
任何一个群是否都是某个拓扑空间的基本群？
Hatcher的代数拓扑自学有无其他参考?
如何阅读Hatcher的代数拓扑？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
如何看待中科大 26 岁教授陈杲攻克数学复微分几何领域世界难题？
什么是直？什么是直线？
对于当今数学来说，「几何」到底是什么？
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？
《现代数学基础丛书》的封面图有什么数学背景？
如何学习点集拓扑学？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
如何看待 Atiyah 对六维球面 S^6 上没有复结构的证明？
可点缩的空间是否一定以其中某一点作为其强形变收缩核呢？
怎么理解外微分式的连续性？
关于米尔诺怪球的问题？
二重积分经过变量变换后，为什么原有闭区域的边界点也是新区域的边界点？
如何确定K3曲面的betti数和hodge数?
微积分中的隐函数定理为什么那么重要？
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？
想彻底搞明白广义相对论，必须看一遍微分几何吗？
对于当今数学来说，「几何」到底是什么？
能不能说一下 vector space 和 dual vector space 的关联和区别？
Hatcher的代数拓扑自学有无其他参考?
机器学习里面的流形都是怎么用的？
同调群在拓扑以外有什么应用？
如何看待知乎数学优秀回答者 @Yuhang Liu 想要退出数学的想法？