[论文解读] Constant scalar curvature metrics on toric surfaces

Simon Donaldson|ArXiv.org|May 1, 2008

Geometry and complex manifolds参考文献 3被引用 6

一句话总结

本文通過證明泛函 $ L_{A,\tau} $ 的正性條件——等價於不存在非仿射凸函數且其泛函值非正——是阿布雷方程解存在的充分條件，從而確立了在 торических 表面上存在常數標量曲率凱勒度量。主要貢獻在於對解建立了先驗 $ C^\infty $ 和 $ M $-條件估計，從而解決了二維情形下常數標量曲率的存在性猜想。

ABSTRACT

This paper completes a programme to determine which toric surfaces admit Kahler metrics of constant scalar curvature/

研究动机与目标

• 證明在 торических 表面上存在常數標量曲率凱勒度量，從而確認先前工作中的猜想。
• 在 $ L_{A,\sigma} $ 的正性條件下，建立阿布雷方程解的先驗 $ L^\infty $ 和 $ C^\infty $ 估計。
• 證明解滿足 $ M $-條件，該條件控制解在邊界和頂點附近的導數增長。
• 排除曲率在邊或頂點附近無界化而解在內部仍保持有界的爆破情形。

提出的方法

• 使用積分不等式和 $ L^\infty $ 估計，依賴正性假設，將解 $ u $ 的界用泛函 $ L_{A,\sigma} $ 表示。
• 在邊和頂點附近進行爆破分析，將解與具有摺疊或尖點的顯式模型解進行比較。
• 引入 $ M $-條件以控制 $ u $ 的導數增長，確保解在邊界處仍保持正則性。
• 在邊和頂點區域使用反證法，表明曲率無界化意味著內部解 $ u $ 同樣無界。
• 使用歸一化的凸函數與定量正性條件 $ \int_{\partial P} f d\sigma \leq C L_{A,\sigma} f $，推導出一致有界性。
• 分析模型解在摺疊和頂點附近的漸近行為，表明僅當 $ u $ 已經無界時，曲率才會爆破。

实验结果

研究问题

• RQ1 在什麼條件下，泛函 $ L_{A,\sigma} $ 對於 торических 表面上的阿布雷方程存在解？
• RQ2 是否可以利用 $ L_{A,\sigma}(f) > 0 $ 對所有非仿射凸函數 $ f $ 的正性條件，推導出解的統一先驗估計？
• RQ3 當標量曲率為常數時，解在邊或頂點附近的曲率與正則性如何變化？
• RQ4 是否可能在邊界邊或頂點附近出現曲率爆破，而解 $ u $ 在內部仍保持有界？
• RQ5 具有摺疊或尖點的模型解如何反映實際解在奇點附近的行為？

主要发现

• 在 торических 表面上存在常數標量曲率凱勒度量，等價於 $ L_{A,\sigma} $ 對所有非仿射凸函數的正性。
• 正性條件等價於存在統一常數 $ C $，使得對所有歸一化的凸函數 $ f $，有 $ \int_{\partial P} f d\sigma \leq C L_{A,\sigma} f $。
• 阿布雷方程的解滿足先驗 $ M $-條件，該條件控制導數的增長，並確保解在邊界處具有 $ C^\infty $ 正則性。
• 邊或頂點附近的曲率爆破僅在解 $ u $ 內部已無界時才可能發生，這與 $ L^\infty $ 估計矛盾。
• 具有摺疊的模型解（如 $ H_\epsilon \times S^2 $）表明，即使直徑增長、注入半徑縮小，曲率仍可有界，但前提是 $ u $ 保持有界。
• 證明排除了以顯式奇異解為模型的爆破極限，除非 $ u $ 已經無界，從而完成緊緻性論證。