如何确定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
相关话题
可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？对于当今数学来说，「几何」到底是什么？
想彻底搞明白广义相对论，必须看一遍微分几何吗？
任何一个群是否都是某个拓扑空间的基本群？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
微分流形与黎曼几何有什么关系？
可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？
如何看待知乎数学优秀回答者 @Yuhang Liu 想要退出数学的想法？
梯子沿着垂直的墙下滑，扫过的区域的边界是怎样的？
前一个讨论
几乎处处收敛和依测度收敛的区别是什么呢？
下一个讨论
这个不等式缩放怎么证明？
相关的话题
怎么理解外微分式的连续性？所谓的魔术绳结实际是拓扑结构，可是这种拓扑结构如何证明其可解（就是能不剪断绳子解开）？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
如何确定K3曲面的betti数和hodge数?
可点缩的空间是否一定以其中某一点作为其强形变收缩核呢？
同调群在拓扑以外有什么应用？
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
对于当今数学来说，「几何」到底是什么？
如何学习几何学（现代微分几何，包括微分流形，黎曼几何等）？
格林公式教材上的证明是否存在漏洞？
如何学习点集拓扑学？
怎样给别人解释时空弯曲才能更加通俗易懂？
有没有讲纤维丛和示性类比较不错的书或notes？
如何证明半径为 a 的圆内的一条闭曲线必有一点点曲率大于 1/a？
Cauchy定理的证明是否依赖于Jordan曲线定理？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
SO(2)左乘作用在SO(3)上，轨道空间是什么样子的?
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
代数拓扑为什么研究同调？
如何看待中科大 26 岁教授陈杲攻克数学复微分几何领域世界难题？
请问一条满足: 法向量和法向量二阶导数平行的空间曲线是什么曲线？
微分几何在统计或者理论的计量经济学中有什么应用？
怎么用清晰的具象的语言来描述黎曼度量的意义与定义？
在微分流形上如何证明单位球面可定向?
梯子沿着垂直的墙下滑，扫过的区域的边界是怎样的？
有没有办法从数学上定义脸蛋的光滑性？
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
构造微分流形这个概念的动机是什么？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
能将三角形面积分为两块面积比值是 k 的所有直线形成的包络线是什么样的？