Fernando Coda Marques与Andre Neves 解决Willmore猜想
申明: 本文转自Matheus’ Weblog, 原文题目为The Willmore conjecture after Fernando Coda Marques and Andre Neves, 原文作者:matheuscmss. 先翻译至此, 希望有更多的人感兴趣.
—-正文开始—-
在过去的5个月中, 我很高兴地看到有人宣称解决了数学几个领域中的重要的问题和猜想.例如:
- Ian Agol 宣称证明了3维拓扑中的 virtual Haken 猜想 (参考 D. Calegari 博客的三篇日志).
- Fernando Codá Marques and André Neves 宣称证明了 Willmore 猜想 (参考 F.Morgan 的这篇文章—非正式的阐述了这一47年之久的猜想)
- Alex Eskin, Maxim Kontsevich and Anton Zorich 最近完成了关于Kontsevich-Zorich 闭上链 的Lyapunov指数和公式的证明 (该公式由M.Kontsevich于15年前在这篇文章中提出)
- Alex Eskin and Maryam Mirzakhani最近宣称证明了Abel微分构成的模空间(非齐次)中的一个
特别是, 鉴于我已经和Fernando Codá Marques, André Neves, Anton Zorich and Alex Eskin见过几面, 在此我很高兴(也有点冒失地)对他们杰出的工作表示赞美! (事实上, 该文除了证明了一个漂亮的结论, 而且也是简明的. 上述列表中的第一, 第三, 第四分别有95, 106以及152页长.:-)下面我将在本博客中写一些日志来对前面提到的后三项作些注记. 更确切的说, 今天的这篇日志将完全用来说明由Fernado 和 André (这里我将用名字来称呼他们, 因为我认为他们会不介意) 解决的Willomroe猜想. 而后, 将在另(一篇?)日志中讨论Alex, Anton 和 M. Kontsevich 关于Kontsevich-Zorich 闭上链的Lyapunov 指数和的文章. 最后, 我将完成这一”系列”日志, 并用(几篇?)日志来完成Alex 和 M.Mirzakhani证明的Ratner-型定理, 这些日志将基于前几周Alex在Luminy/Marseille授课的笔记(由我记录).
在转入正题之前, 先让我作一些申明和评论. 首先, 写作今天这篇日志之所以被极大地简化了, 是由于Fernado和André在他们文章的第二节对其证明思想写了一个非常清晰的大纲. 特别是, 今天我将跟随着他们的大纲, 但同时请注意, 我可能在这个过程中犯一些错误 (当然, 这样的错误应该由我一人承担). 第二, 第三条的文章将是Pascal Hubert于2012年10月在布尔巴基研讨班(Séminaire Bourbaki)的报告主题. 特别是, 他将为此写一个严格的讲义, 于是我关于这个主题的日志应当被视为Pascal笔记的非正式版本. 最后, 关于上面提到的第四条, Alex Eskin在他的主页(参考这里)挂了一个非常好的笔记(关于他开设的小课程(不到一个学期)的). 事实上, Alex的笔记读起来也是令人愉悦的, 从而我立马改变了一开始把我原始的笔记写到这里的初衷, 这样我将做些Alex和M. Mirzakhani用到的技巧的评论, 例如, 我将试着贴出我从J.-F. Quint开设的小课程(也请参考 Luminy/Marseille)记的笔记中所谓的”指数漂移”(exponential drift)想法(来源于他和Y. Benoist的著名文章).
在说完这些评论之后, 让我们(从下段)开始对Willmore猜想以及Fernado和André对其解决的讨论.
引言
假设 $\widetilde{\Sigma}\hookrightarrow\mathbb{R}^3$ 是 ${\mathbb{R}^3}$ 一个闭的(即紧致且无边界)浸入曲面. 在 ${\widetilde{\Sigma}}$ 的所有比较简单的几何不变量中, 我们可以选取(每点 ${p\in\widetilde{\Sigma}}$ 的)高斯曲率 ${\widetilde{K}=\widetilde{K}(p)}$ 以及平均曲率 ${\widetilde{H}=\widetilde{H}(p)}$, 他们是所谓的第二基本型 ${\widetilde{A}=\widetilde{A}(p):T_p\widetilde{\Sigma}\rightarrow T_p\widetilde{\Sigma}}$ 的行列式(determinant)和迹(trace) (一个 ${2\times2}$ 的线性变换/矩阵的特征值是 ${\widetilde{\Sigma}}$ 在 $p$ 点的主曲率(principal curvatures)). 关于这些概念的阐述, 一本非常好的参考书是 M. do Carmo 的经典著作: 曲线与曲面的微分几何(Differential geometry of curves and surfaces).
用这种(微分几何的)语言, Willmore 能量(Willmore Energy) ${\widetilde{\mathcal{W}}(\widetilde{\Sigma})}$ 定义为
\[
\widetilde{\mathcal{W}}(\widetilde{\Sigma}) = \int_{\widetilde{\Sigma}} \widetilde{H}^2\,d\widetilde{\Sigma}
\]
其中 ${d\widetilde{\Sigma}}$ 是 ${\widetilde{\Sigma}}$ 的面积元.
Willmore 能量自然的出现在某些物理(在弹性壳(elastic shells))和生物(细胞膜(cell membranes))的研究中, 在那里, 有时也被称为扭曲能量(bending energy).
在数学中, 我们知道它在 ${\mathbb{R}^3}$中的共形变换下是不变的(参考 W. Blaschke), 而且它有一个非常自然的几何(变分)结构,即在所有浸入闭曲面 ${\widetilde{\Sigma}\hookrightarrow\mathbb{R}^{3}}$ 中他何时达到最小?
这里, 可以证明对所有浸入闭曲面 ${\widetilde{\Sigma}\hookrightarrow\mathbb{R}^3}$, 有
\[
\widetilde{\mathcal{W}}(\widetilde{\Sigma})\geq 4\pi = \widetilde{\mathcal{W}}(S^2(r))
\]
其中, ${S^2(r)\subset\mathbb{R}^3}$ 是半径为 ${r>0}$ 的 (??标准球面, 原文这里缺失). 而且 ${\widetilde{\mathcal{W}}(\widetilde{\Sigma})= 4\pi}$ 当且仅当 ${\widetilde{\Sigma}}$ 是一个球面(标准球面, 非拓扑球面). 换言之, 在 ${\mathbb{R}^3}$ 中的标准球是在所有浸入闭曲面中使Willmore能量极小者. 事实上, 这一事实的证明并不困难:
- 记 ${K_1\geq k_2}$ 为曲面的主曲率, 回忆平均曲率是${\widetilde{H}=(k_1+k_2)/2}$, 而高斯曲率是 ${\widetilde{K}=k_1k_2}$. 利用恒等式 ${(k_1+k_2)^2=(k_1-k_2)^2+4k_1k_2}$, 有
\[
\widetilde{\mathcal{W}}(\widetilde{\Sigma})=\int_{\widetilde{\Sigma}} \widetilde{H}^2\,d\widetilde{\Sigma} = \frac{1}{4}\int_{\widetilde{\Sigma}} (k_1-k_2)^2\,d\widetilde{\Sigma}+\int_{\widetilde{\Sigma}} \widetilde{K}\,d\widetilde{\Sigma}\geq \int_{\widetilde{\Sigma}} \widetilde{K}\,d\widetilde{\Sigma}
\]
另一方面, 由高斯-博内定理(Gauss-Bonnet theorem), ${\int_{\widetilde{\Sigma}} \widetilde{K}\,d\widetilde{\Sigma}=2\pi\chi(\widetilde{\Sigma})}$. 因此, 假设 ${\widetilde{\Sigma}}$ 是拓扑球面, 即它的亏格 $g=0$, 从而欧拉示性数为 ${\chi(\widetilde{\Sigma})=2-2g=2}$, 我们可以得到
\[
\widetilde{\mathcal{W}}(\widetilde{\Sigma})\geq \int_{\widetilde{\Sigma}} \widetilde{K}\,d\widetilde{\Sigma}=4\pi
\]
而且等号成立当且仅当
\[
\frac{1}{4}\int_{\widetilde{\Sigma}} (k_1-k_2)^2\,d\widetilde{\Sigma}=0
\]
即 ${k_1=k_2}$ 对 ${\widetilde{\Sigma}}$ 上所有点都成立. 即, 所有点都是平点, 这样就说明 ${\widetilde{\mathcal{W}}(\widetilde{\Sigma})=4\pi}$ 成立当且仅当 ${\widetilde{\Sigma}}$ 是个标准球. - 一般地(即, 当 ${\widetilde{\Sigma}}$ 的亏格 $g\geq1$ 时), 前面的计算不再有效, 因为 ${\int_{\widetilde{\Sigma}} \widetilde{K}\,d\widetilde{\Sigma}=2\pi\chi(\widetilde{\Sigma})=2\pi(2-2g)\leq 0}$, 即依赖于高斯-博内定理而得到 ${\widetilde{\mathcal{W}}(\widetilde{\Sigma})\geq \int_{\widetilde{\Sigma}} \widetilde{K}\,d\widetilde{\Sigma}}$ 的估计, 比平凡的界 ${\widetilde{\mathcal{W}}(\widetilde{\Sigma})= \int_{\widetilde{\Sigma}} H^2\,d\widetilde{\Sigma}\geq0}$ 要弱. 然而我们可以取而代之用 Chern-Lashof 不等式
\[
\int_{\widetilde{\Sigma}} |\widetilde{K}|\,d\widetilde{\Sigma}\geq 2\pi(2+2g)
\]
来克服这点: 事实上, 若记 ${a:=\int_{\{\widetilde{K}>0\}} \widetilde{K}\,d\widetilde{\Sigma}}$ 和 ${b:=\int_{\{\widetilde{K}\leq0\}} \widetilde{K}\,d\widetilde{\Sigma}}$, 则我们有
\[a+b=\int_{\widetilde{\Sigma}} \widetilde{K}\,d\widetilde{\Sigma}=(2-2g)2\pi
\]
以及
\[
a-b=\int_{\widetilde{\Sigma}} |\widetilde{K}|\,d\widetilde{\Sigma}\geq 2\pi(2+2g)
\]
于是 ${a\geq 4\pi}$. 现在, 我们对区域 ${\{\widetilde{K}>0\}}$ 可以用 ${(k_1+k_2)^2=(k_1-k_2)^2+4k_1k_2}$ 得到
\[
4\pi\leq a\leq \int_{\{\widetilde{K}>0\}} \widetilde{K}\,d\widetilde{\Sigma} + \frac{1}{4}\int_{\{\widetilde{K}>0\}} (k_1-k_2)^2\,d\widetilde{\Sigma}\leq \widetilde{\mathcal{W}}(\widetilde{\Sigma})
\]
定理 1 (Willmore 猜想, (1965)). 对所有的浸入环面${\widetilde{\Sigma}\hookrightarrow\mathbb{R}^3}$, 都有
\[{\widetilde{W}(\widetilde{\Sigma})\geq 2\pi^2(>4\pi)}.\]
对旋转环面 ${\widetilde{\Sigma}_c}$ 等式 ${\widetilde{W}(\widetilde{\Sigma}_c)=2\pi^2}$ 成立, 这个环面由一个半径为 $1$, 其中心离轴向(z轴)距离为 ${\sqrt{2}}$ 的圆绕 z轴 旋转而得. 其方程可以写成:
\[
(u,v)\mapsto ((\sqrt{2}+\cos u)\cos v, (\sqrt{2}+\cos u) \sin v, \sin u)\in\mathbb{R}^3.
\]
关于等号取得时的这个环面, 可以参考P.Nylander的一篇日志, 那里有它的一个准确图形.这个旋转环面${\widetilde{\Sigma}_c}$是Clifford环面${\Sigma_c=S^1(1/\sqrt{2})\times S^1(1/\sqrt{2})\subset S^3}$在球极投影${\pi:S^3-\{(0,0,0,1)\}\rightarrow\mathbb{R}^3}$下的像, 即, ${\widetilde{\Sigma}_c=\pi(\Sigma_c)}$.
更一般地, Willmore猜想可以视为关于通过球极投影$\pi$而浸入(immersed)到$S^3$的闭曲面的一个问题. 事实上, 给定${\Sigma\subset S^3}$, 通过令 ${\widetilde{\Sigma}=\pi(\Sigma)}$, 我们有
\[
\widetilde{W}(\widetilde{\Sigma}) = \int_{\widetilde{\Sigma}} \widetilde{H}^2\,d\widetilde{\Sigma} = \int_{\Sigma}(1+H^2)\,d\Sigma:=\mathcal{W}(\Sigma)
\]
其中, $H$ 是${\Sigma\subset S^3}$的平均曲率. 因此, 极小化${\mathcal{W}(\widetilde{\Sigma})}$等价于极小化${\mathcal{W}(\Sigma)}$. 正因为如此, 我们也将${\mathcal{W}(\Sigma)}$称为${\Sigma\subset S^3}$的Willmore能量(泛函).尽管这个看法看似很平凡, 但是他却表明了一个极有意义的事实:Willmore猜想是一个变分(极小化)问题. 例如, 我们考虑一列曲面$M_i$收敛于Willmore能量的下确界, 并通过沿着这列$M_i$取某种”极限”而构造一个曲面$M$极小化Willmore能量, 那么${M_i\subset S^3}$就比${M_i\subset\mathbb{R}^3}$好, 因为 $S^3$是紧致的, 而${\mathbb{R}^3}$并不是紧致的.
关于Willmore猜想, 我们已经有些已知的结果:
- P.Li 和 S.-T. Yau 证明如果一个浸入${f:\Sigma\rightarrow S^3}$ 覆盖某个点 ${x\in S^3}$ 至少 ${k\geq 1}$ 次, 那么${\mathcal{W}(\Sigma)\geq 4\pi k}$. 特别地, 如果$\Sigma$是一个浸入而非嵌入曲面(即 $K > 1$ 在某点$x\in S^3$), 那么 ${\mathcal{W}(\Sigma)\geq 8\pi>2\pi^2}$. 换言之, 对嵌入曲面${\Sigma\hookrightarrow S^3}$, 我们只需要估计 ${\mathcal{W}(\Sigma)}$;
- L. Simon 证明存在一个缓慢极小化Willmore能量泛函(而后, 这个结果被M. Bauer和E.Kuwert推广到高亏格情形);
- Willmore能量泛函${\mathcal{W}}$的临界点$\Sigma$称为Willmore曲面, 这个泛函的Euler-Lagrange方程是
\[
\Delta H + 2(H^2-K)H=0
\]
其中$\Delta$是$\Sigma$上的拉普拉斯(Laplacian), $K$是曲面$\Sigma$的高斯曲率. 从这个方程(有时称之为Willmore方程), 我们看到$S^3$中的极小曲面(参考B. Lawson在这篇文章中构造的例子), 即${H\equiv 0}$, 是Willmore曲面, 但是并不是所有的Willmore曲面都是如此(参考R. Bryant, U.Pinkall的文章). 关于Willmore方程分析方面更多的信息, 请参考 T. Rivière 的文章.
在最近一篇突破性的文章中, Fernando Codá Marques 和 André Neves 证明了如下定理:
定理 2 (F. C. Marques and A. Neves). 假设$ {\Sigma\hookrightarrow S^3} $是一个亏格${g\geq 1}$的嵌入闭曲面, 那么
\[
\mathcal{W}(\Sigma)\geq 2\pi^2.
\]
而且, ${\mathcal{W}(\Sigma)=2\pi^2}$当且仅当$\Sigma$和Clifford环面 ${\Sigma_c}$共形.
由上面的1., 这个深刻的结果蕴含WIllmore猜想成立.关于thm:2的证明, Fernando 和 André 首先利用极小-极大定理(参考下面的thm:3)把一般情形下的$\Sigma$化归为极小曲面${\Sigma}$.
注记 1. 这里, 在$0$-次逼近中, 这个化归背后的”原理”是Willmore能量
\[
\mathcal{W}(\Sigma)=\int_{\Sigma}(1+H^2)\,d\Sigma = \int_{\Sigma}1 \,d\Sigma=\textrm{area}(\Sigma)
\]
在$\Sigma$是极小曲面时与面积泛函一致, 而极小曲面的面积泛函的研究是微分几何中一个经典的课题.
粗略来说, 给定一个一般的嵌入闭曲面${\Sigma\subset S^3}$, 其亏格${g\geq 1}$, 他们考虑它的”极小-极大同伦类”(min-max homotopy class)$\pi$以及对应的宽度(width)$L(\pi)$. 非正式地说, 对紧致3为流形$M^3$中一个2-维曲面, 我们可以描述它的广义同伦类(general homotopy classes)以及它们的宽度如下:
给定${n\geq 1}$, 令${I^n=[0,1]^n} $是${\mathbb{R}^n}$中的单位方体, 令$\Phi$是一个定义在$I^n$上的(连续)映射, 使得对每点$x\in I^n$, ${\Phi(x)}$是$M^3$中一个紧致无边曲面. 我们称两个这样的映射$\Phi_0$和$\Phi_1$是同伦的(相对于$\partial I^n$)如果存在一个定义在$I^{n+1}=I\times I^n$上的连续映射$\Psi$, 使得- 对所有的${y=(t,x)\in I^{n+1}=I\times I^n}$, ${\Psi(y)}$是$M^3$的一个紧致无边曲面;
- 对所有的$x\in I^n$有 ${\Psi(0,x)=\Phi_0(x)}$以及${\Psi(1,x)=\Phi_1(x)}$;
- 对所有的${t\in I}, {x\in\partial I^n}$, 有${\Psi(t,x)=\Phi_0(x)=\Phi_1(x)}$.
在如下的两个图中, 我们演示了低维情形下同伦的概念, 即 $M=S^2$(而不是一个三维流形)以及映射$\Phi$取值于曲线(而不是曲面). 在第一个图中, 我们取$n=0$, 因此 $I^0=\set{0}$, 我们分别用绿线和红线表示$I^0$在映射$\Phi_0$和$\Phi_1$下的像. 而在第二个图中, 我们令$n=1$, 于是$I^1=I$, 同样$\Phi_0$和$\Phi_1$的像用绿色和红色区分. 而$\partial I$的边界是两条平凡(离散)”曲线”, 对应于$S^2$的北极点和南极点.
从 $I^0=\{0\}$到$S^2$上曲线的两个同伦映射${\Phi_0}$和${\Phi_1}$ 
从 $I^1=I$到$S^2$上曲线的两个同伦映射${\Phi_0}$和${\Phi_1}$, 这里, 同伦相对于边界$\partial I=\{0,1\}$(它的像在$\Phi_0$和$\Phi_1$下是两条退化的曲线N和S) $\Phi_0$的同伦类$\Pi$似乎所有同伦于$\Phi_0$的$\Phi_1$的集合, 而$\Pi$的宽度$L(\Pi)$是
\[
L(\Pi) = \inf\limits_{\Phi_1\in\Pi}\sup\limits_{x\in I^n} \textrm{area}(\Phi_1(x))
\]注记 2. 在Fernando 和 André文章中, 同伦类(以及他们的宽度)的正式定义依赖于一些几何测度论的概念, 例如(积分)流(integral currents), 变层(varifolds), 以及积分流中的平坦度量和平坦拓扑(基于(mass)的概念). 特别地, 上面提到的映射$\Phi$将每一个$x\in I^n$与一个没有边界的积分流$\Phi(x)$对应, 而且假设$\Phi$在平坦拓扑下是连续的. 类似地, 同伦$\Psi$在质量拓扑(mass topology)下也是连续的. 详情请参考 Fernando 和 André 的第4, 7节.
例子 1. 对${s\in I=[0,1]}$, ${\Phi_{(0)}(s):=\{x_4=2s-1\}\subset S^3}$的$\Pi_0$同伦类(粗略地可看成上面第二个图中蓝圆圈所对应的曲线簇), 可以证明(直观地)${L(\Pi_0)=4\pi}$.
注记 3. 从某种意义上说, 上例中的同伦类$\Pi_0$可以看成同伦群${\pi_1(\mathcal{S},0)}$中的一个元素, 其中${\pi_1(\mathcal{S},0)}$是$S^3$中全体曲面组成的空间, 而${0}$ 是平凡曲面(面积为零).
在$\Sigma$是嵌入到$S^3$中亏格为$g\geq1$的闭曲面的情形, Fernando和André关联了某个5-维极小-极大同伦类$\Pi$(即, 他们考虑了关于$\Sigma$的某个$\Pi$的定义在$I^5$上的同伦类)他们证明如下的极小-极大定理(min-max Theorem):
定理 3 (F. C. Marques, A. Neves). 令$\Sigma\subset S^3$是一个亏格为$g\geq1$的嵌入闭曲面. 则, 存在一个极小嵌入曲面${\widehat{\Sigma}\subset S^3}$其亏格$g\geq1$(可能不是连通的, 而且可能有重数(multiplicities))使得
\[
4\pi< \textrm{area}(\widehat{\Sigma})=L(\Pi)\leq\mathcal{W}(\Sigma)
\]
其中$\Pi$是$\Sigma$的极小-极大同伦类(min-max homotopy class of ${\Sigma}$).
正如我们已经提到的, 这就使得他们可以将thm2关于一般${\Sigma\subset S^3}$的证明划归为对极小曲面${\widehat{\Sigma}\subset S^3}$面积的研究. 这里, Fernando和André证明了
定理 4 (F. C. Marques,A. Neves). 令${\widehat{\Sigma}\subset S^3}$是一个亏格$g\geq1$的嵌入、闭、极小曲面. 则
\[
\textrm{area}(\widehat{\Sigma})\geq 2\pi^2.
\]
而且${\textrm{area}(\widehat{\Sigma})=2\pi^2}$成立, 当且仅当${\widehat{\Sigma}}$和Clifford环面${\Sigma_c}$等距.
当然, 利用thm:3和thm:4, thm:2中的不等式${\mathcal{W}(\Sigma)\geq 2\pi^2}$”几乎”成立. 事实上, 我们说”几乎”, 是因为如果亏格$g\geq1$的极小曲面${\widehat{\Sigma}}$是连通的, 而且重数为1, 那么thm:1就可以得到. 当然, 这在一般情形不一定正确, 但是, 我们将在这篇日志的结尾处看到, thm:2可以很容易地从thm:3和thm:4推出. 但同时, ${\mathcal{W}(\Sigma)=2\pi^2}$可以表征Clifford环面$\Sigma_c$并不是像上面叙述的那样可以作为thm:3和thm:4的直接推论, 尽管如此, 我们将看到它其实是蕴含在这些定理的证明之中.在任何晴空下, 在讲完这些有Fernando 和 André得到的主要结果的亮点之后, 我们转入对thm:2, thm:3和thm:4的证明的一般策略的描述(请同时参考他们文章的第2节).
定理3的证明策略
待续…
本作品采用创作共用版权协议, 要求署名、非商业用途和保持一致. 转载本站内容必须也遵循署名-非商业用途-保持一致的创作共用协议.
- 记 ${K_1\geq k_2}$ 为曲面的主曲率, 回忆平均曲率是${\widetilde{H}=(k_1+k_2)/2}$, 而高斯曲率是 ${\widetilde{K}=k_1k_2}$. 利用恒等式 ${(k_1+k_2)^2=(k_1-k_2)^2+4k_1k_2}$, 有
发表回复