如何确定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
相关话题
几何分析是不是一个被普遍公认的独立的学科，如果是，为何AMS的学科分类里面里面找不到几何分析？有没有讲纤维丛和示性类比较不错的书或notes？
直角坐标与极坐标的互化中，为什么 dxdy=rdrdθ？
如何证明环面T2不能嵌入到球面S2中?
直角坐标与极坐标的互化中，为什么 dxdy=rdrdθ？
SO(2)左乘作用在SO(3)上，轨道空间是什么样子的?
怎么用清晰的具象的语言来描述黎曼度量的意义与定义？
机器学习里面的流形都是怎么用的？
怎么理解 Mayer-Vietoris 序列？
怎么理解 Mayer-Vietoris 序列？
前一个讨论
几乎处处收敛和依测度收敛的区别是什么呢？
下一个讨论
这个不等式缩放怎么证明？
相关的话题
二维流形中的类光曲线是否必为测地线？想彻底搞明白广义相对论，必须看一遍微分几何吗？
如何看待 Atiyah 对六维球面 S^6 上没有复结构的证明？
任何一个群是否都是某个拓扑空间的基本群？
orbifold和groupoid有没有人了解？
民科有没有可能拿到诺贝尔奖？
直角坐标与极坐标的互化中，为什么 dxdy=rdrdθ？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
什么是 Finsler Geometry？它与 Riemann 几何有什么关系？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
orbifold和groupoid有没有人了解？
算子代数是一门怎样的数学分支？学习算子代数需要怎样的基础？
关于米尔诺怪球的问题？
如何确定K3曲面的betti数和hodge数?
数学学习或研究中，你见过哪些有意思的反例？
数学学习或研究中，你见过哪些有意思的反例？
通过将圆环“切开”并“展开”，圆环面积是否可以转化为梯形面积？
为什么拓扑的连续映射不倒着定义？
一个关于T2与紧性的拓扑问题，如何证明？
研究生中常微分方程与动力系统专业需不需要接触微分几何的东西啊？
有没有办法从数学上定义脸蛋的光滑性？
图论和拓扑有什么区别？
拓扑学（点集拓扑和代数拓扑基础）和范畴论有什么双语教材？
请问主曲率为常数的曲面只有平面，球面和圆柱面吗？
物理工作者最看不习惯的数学方法是什么？
如何评价一线大厂资深 APP 性能优化系列之异步优化与拓扑排序？
拓扑学（点集拓扑和代数拓扑基础）和范畴论有什么双语教材？
几何分析是不是一个被普遍公认的独立的学科，如果是，为何AMS的学科分类里面里面找不到几何分析？
如何判别一个方程所表征的曲线是否封闭？
想要学习流形的话需要哪些预备知识？