丘成桐讲演：几何：魅力及应用.pptVIP

2001/05/18 Surface parametrizations IMA Workshop on Computer Graphics 拓扑和几何的现代发展 欧拉 (1707-1783) 多面体的欧拉公式，组合几何，变分分析，几何与力学，极小曲面。 高斯 (1777-1855) 双曲几何 ( 和罗巴切夫斯基 ( 1792-1856), 波尔约 (1802-1829)一起 )，高斯曲率的内蕴 定义。 ) 高斯(1817) 我越来越确信几何的必然性无法被验证，至少现在无法被人类或为了人类而验证。我们或许能在未来领悟到那无法知晓的空间的本质。 我们无法把几何和纯粹是先验的算术归为一类。几何和力学却不可分割。 黎曼(1826-1866) 在抽象定义的空间上引入黎曼度量 在无穷小近似下就是欧氏几何。然而只在一阶近似下是等同的。 二阶近似由度量的曲率张量来衡量。 导致了几何学的革命。 克里斯托费尔，列维-齐维塔，比安基……，发展了这类抽象空间上的微积分。 黎 曼 面 后来人们意识到对二维空间，每个黎曼度量都可以写成 如果引入复数 度量可写成 黎 曼 面 这样的复坐标在相差一个全纯变换的意义下是唯一的。 具有这样复坐标的抽象二维空间称为黎曼面。 此概念应用于计算机图形学。 高斯曲率 黎曼面的高斯曲率为 黎曼面给出称为复流形的首个例子。 问题：如何重新发现度量？ 有一个黎曼面，即给出一个复坐标 z。 有一个定义在黎曼面上的曲率函数 K。 高斯曲率 黎曼度量的曲率 在高维情形，黎曼度量的曲率远不是一个数量函数，它依赖于空间在某个截面上是如何弯曲的，称为曲率张量。 可以对全部曲率张量缩并，得到一个小的张量，称为里奇张量。记为 。 里奇张量是一个对称张量，其迹称为数量曲率。 记为 。 爱因斯坦方程 黎曼几何被爱因斯坦(在格罗斯曼、希尔伯特帮助下)用来描述广义相对论。广义相对论融合了狭义相对论和引力。 爱因斯坦方程 这里 是物质张量（引力由度量 的全部的曲率张量来描述）。 爱因斯坦方程对几何学家们启发深刻。这是一个高度非线性理论。（ 是引力位势，是未知量）。 时 空 一般地，我们不能期望由爱因斯坦方程定义的时空有很多的对称性。 因而，很多经典力学中的守恒量在广义相对论无法直接定义。这里包括质量、动量、角动量等。 对于广义相对论中的孤立物理系统，时空在无穷远处基本上是平坦地，因而具渐进对称性。这给出了总质量、总动量和总角动量的定义。 正 质 量 一个复杂的问题是在某些合理的条件下,证明总质量是正的。 这对应着几何中，在某些数量曲率的限制下，研究三维流形的几何。 萧恩和丘成桐用经典的变分方法证明了正质量猜想：研究空间中的极小曲面。 后来威腾用狄拉克方程和超引力重新证明了正质量猜想。 求解爱因斯坦方程 广义相对论中困难的问题是如何求解爱因斯坦方程。 物质张量为零 的情形。 黎曼几何中一个非常有趣的问题：能否找到一个闭空间，没有物质却有引力？ 当空间具超对称性时，该问题较容易。 求解爱因斯坦方程 例如, 当空间具复坐标 黎曼度量并可写成 这种情况下，有一个重要的量 有拓扑意义。 由陈省身引入，刻画着空间的整体拓扑，称为第一陈类。 空间容许真空解要求第一陈类为零。 卡拉比-丘成桐空间 第一陈类为零可以在代数意义下验证。 丘成桐证明了第一陈类为零的复曲面上存在具超对称的真空爱因斯坦方程的解。这是卡拉比猜想的一部分。 这类空间称为卡拉比-丘成桐空间。 椭圆曲线 也是一个卡拉比-丘成桐空间。 柏拉图多面体和某些卡拉比-丘成桐空间有着紧密地联系。 卡拉比-丘成桐空间 记 X 为一五次卡拉比-丘成桐空间，其由射影空间中的下述齐次多项式定义: 简单地说，X上d 次有理曲线是一个d 次多项式 解 记 是X上 d 次有理曲线的个数。 如何计算 一百多年来一直困扰着数学家们。物理学中 的镜