计算机辅助严格证明费马四次超曲面上存在里奇平坦度量

2026-11-12，Michael R. Douglas 在 arXiv（hep-th）发表论文，给出 Fermat 四次超曲面上 Ricci 平坦 Kähler 度量的构造性计算机辅助存在性证明。该证明独立于 Yau 定理，方法结合三步：用数值技术得到近似 Ricci 平坦度量、以不动点定理证明存在性、并验证数值给出不动点定理所需的界。作者还给出该度量的显式且精确的解析近似，称该方法具有一般性，并讨论了将其应用于其他流形的计算问题。这是该事件的首篇报道，暂无与早先报道矛盾之处。

AI 根据报道生成 · 57 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。