维环面到球面间可微映射的同伦类.docVIP

二维环面到球面间可微映射的同伦类 Question：证明球面到环面的可微映射(S^2到T^2的映射)只有一个同伦类,即都同伦于常值映射(也叫都零伦).??? ?????? 一个证法是借助复迭空间概念,另一个方法是直接用环面T^2的二阶同伦群平凡直接得到结论. ?????? 反过来，很自然地想到环面到球面可微映射的同伦分类问题。 ?????? 最简单的一种情形是非满射情形.因为拓扑空间到球面空间的非满连续映射都是零伦的(这是尤承业老师拓扑书上4.1节的一道习题)。 ?????? 我最开始想的是所有映射都是零伦的,理由大致是在环面和球面上赋予适当的黎曼度量,使得原来的映射等价于某个三维欧氏空间中浸入环面的高斯映射,将单位球面上的归一化体积形式pull back到环面上,得到环面上的Gauss Bonnet积分,积分值自然等于环面欧拉数倍数零.由映射度的积分定义，这个映射的映射度亦为零.再由Hopf有名的定理,定向闭曲面到二维球面的同伦类由映射度唯一确定（这里只是用Hopf定理特殊情形，Hopf的定理对n维定向闭流形到球面空间的同伦类分类都有效）得到环面到球面可微映射都是零伦的. ??????? 当然以上一段说的是错误的。 ??????? 早上去办公室问了一下师兄，他感觉不对，理由是环面到球面的映射一般地不能用三维欧氏空间中环面的高斯映射实现。不过一时也没找到很好的反例。 ???