第一陈类大于零的复流形也叫作法诺流形,这类流形比第一陈类小于零的流形相对来得少,其内容也远不如后者丰富,例如复一维情形只有一个球面,而复二维的流形从拓扑来看也只是复投影空间吹大几个点。
更有意思的是代数几何中研究这类流形的工具也远比微分几何的方法强大,特别是1979年森重文(mori)在法诺流形上用有限域的技巧发现的有理曲线存在性,这是迄今为止微分几何方法一直无法超越的天才发明。
以此为工具,代数几何学家对法诺流形几何的了解走在了微分几何研究的前面。
这种情况与第一陈类小于和等于零的情形形成了鲜明的对比,这两类流形包含比法诺流形丰富得多的例子,而由于丘成桐证明的卡拉比猜想,在这些流形的研究中,微分几何的方法和工具更强大也更有效。
这里我们还要注意到,正如唐纳森等人在他们的文章中所阐述的,K-稳定性并不是一个容易验证的条件,其实用性也与丘成桐所证明的卡拉比猜想相差甚远。
目前他们所证明的丘成桐猜想唯一有意思的推论还是丘成桐所指出的,K-稳定形可以推出切丛的稳定性。
所以即使K-稳定性等价于Kahler-Einstein度量的存在性的猜想得到证明,其重要性也需要在日后的应用中才能得到检验。
而丘成桐本人则在勾画了他的猜想的证明纲领后,便将题目交给了他的学生和朋友,一方面他认为他的猜想虽然重要,但与他证明的卡拉比猜想相比还是有很大的距离,另一方面他认为弦理论引发的数学问题要比他自己的猜想更具挑战性,也有更大的潜力。
事实上,他和他的学生与博士后在calabi-Yau流形上的工作已经在近代数学中开创了一个新的重要研究方向。至于丘成桐猜想证明的正确性和其在几何学中的前景,只有他这个开创者和专家才有资格来评判了。