如何确定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
相关话题
有哪些适合初学微分几何，抽象代数，群论的note或者教材？有哪些适合初学微分几何，抽象代数，群论的note或者教材？
环面为什么可以表示成商集？
为什么三维欧氏空间中的紧致曲面必有正曲率的点？
想彻底搞明白广义相对论，必须看一遍微分几何吗？
Cauchy定理的证明是否依赖于Jordan曲线定理？
如何看待知乎数学优秀回答者 @Yuhang Liu 想要退出数学的想法？
如何理解微分几何中的『联络』?
《现代数学基础丛书》的封面图有什么数学背景？
为何要引入同伦群，同伦群可以解决什么问题？
前一个讨论
几乎处处收敛和依测度收敛的区别是什么呢？
下一个讨论
这个不等式缩放怎么证明？
相关的话题
格林公式教材上的证明是否存在漏洞？如何评价一线大厂资深 APP 性能优化系列之异步优化与拓扑排序？
SO(2)左乘作用在SO(3)上，轨道空间是什么样子的?
曲率处处不为零的闭曲线只能是闭凸曲线吗？
关于米尔诺怪球的问题？
任何一个群是否都是某个拓扑空间的基本群？
为什么拓扑的连续映射不倒着定义？
拓扑领域有哪些美妙的工作？
二维流形中的类光曲线是否必为测地线？
如何理解物理学图像？有人说，物理学图像常常是指几何图像？
李导数与协变导数有什么联系？
我感觉陈维桓的微分几何书里面曲率的定义不太清楚，你们觉得呢，曲率的定义究竟应该是什么样？
怎么用清晰的具象的语言来描述黎曼度量的意义与定义？
同调群在拓扑以外有什么应用？
给定曲率下界，平面上什么曲线所围面积最大？
构造微分流形这个概念的动机是什么？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
如何看待 Atiyah 对六维球面 S^6 上没有复结构的证明？
如何看待 Atiyah 对六维球面 S^6 上没有复结构的证明？
广义相对论为何选择了流形？
覆叠空间理论中的“纤维”有什么直观解释么？
如何看待中科大 26 岁教授陈杲攻克数学复微分几何领域世界难题？
如何理解物理学图像？有人说，物理学图像常常是指几何图像？
如何理解物理学图像？有人说，物理学图像常常是指几何图像？
任何一个群是否都是某个拓扑空间的基本群？
如何确定K3曲面的betti数和hodge数?
怎么用清晰的具象的语言来描述黎曼度量的意义与定义？
为什么拓扑的连续映射不倒着定义？
想要学习流形的话需要哪些预备知识？
如何学习几何学（现代微分几何，包括微分流形，黎曼几何等）？