[论文解读] Log differentiable spaces and manifolds with corners

W. D. Gillam, Samouil Molcho|arXiv (Cornell University)|Jul 24, 2015

Algebraic Geometry and Number Theory参考文献 20被引用 11

一句话总结

本文發展了對數可微空間的一般理論，將對數幾何從代數幾何推廣至微分幾何，並建立了一套利用組合與幾何技術解決帶角流形與對數光滑空間奇點的框架。主要貢獻是對fs對數可微空間的奇點解析定理，證明存在一個局部投影、滿射、對數光滑的態射，從一個自由對數空間出發，且在自由區域上是同構。

ABSTRACT

We develop a general theory of log spaces, in which one can make sense of the basic notions of logarithmic geometry, in the sense of Fontaine-Illusie-Kato. Many of our general constructions with log spaces are new, even in the algebraic setting. In the differentiable setting, our theory yields a framework for treating manifolds with corners generalizing recent work of Kottke-Melrose. We give a treatment of the theory of fans, which are to monoids as schemes are to rings. By adapting similar results from logarithmic algebraic geometry, we prove a general result on resolution of toric singularities which can be used to resolve singularities of a wide class of "log smooth" spaces.

研究动机与目标

• 將對數幾何從代數設定推廣至微分幾何，特別是針對帶角流形。
• 形式化一個對數可微空間的範疇，支援函子性構造（如纖積與基變換）。
• 發展扇與么半群空間的理論，作為微分設定下對數幾何的組合模型。
• 建立對數光滑與fs對數可微空間的奇點解析定理。
• 透過將其嵌入更廣泛的對數幾何背景中，推廣Kottke-Melrose與Joyce的框架。

提出的方法

• 使用乘法下的么半群對象 R+ 定義對數可微空間，推廣帶角流形的概念。
• 引入「對數空間的邊界」概念，同時推廣Joyce的帶角流形邊界與 торic 除子。
• 構造飽和函子 X ↦ X^sat，產生在所有來自飽和對數空間的態射中終極的飽和對數空間。
• 利用Kato的精化範疇構造終極對象，進而產生解析態射。
• 應用fs尖銳么半群空間的「標準解析」（透過理想之爆破），並在PLDS（分段線性可微空間）範疇中實現。
• 透過基變換與實現定理，證明解析態射的對數光滑性與同胚性質。

实验结果

研究问题

• RQ1 如何系統性地將對數幾何從代數設定推廣至微分設定？
• RQ2 在帶角流形之間，何種態射的正確定義能保持對數幾何結構（如對數切叢）？
• RQ3 是否能在不依賴形式光滑性的前提下，在微分範疇中實現對數光滑空間的奇點解析？
• RQ4 扇與么半群空間如何作為對數可微空間的組合模型？
• RQ5 邊界構造在統一微分與代數幾何中不同邊界概念的過程中扮演何種角色？

主要发现

• 本文為任意fs對數可微空間 X 構造了一個終極解析態射 r: X′ → X，其為局部投影、滿射、對數光滑，且在 X 的自由區域上是同構。
• 對於一個細緻正向的對數可微空間 X，其解析空間 X′ 是一個帶角流形，且解析態射 r: X′ → X 是局部投影、滿射、對數光滑的PLDS態射。
• 解析態射透過fs尖銳么半群空間的標準解析構造，並在PLDS範疇中透過理想爆破實現。
• 飽和過程 X ↦ X^sat 建立了一個在所有來自飽和對數空間的態射中終極的飽和對數空間，且此態射為對數光滑並同胚。
• 從扇到PLDS的實現函子保持關鍵性質：對數光滑性、滿射性，以及與基變換的相容性。
• 該理論統一並推廣了先前的框架：它將Kottke-Melrose的b-映射視為內部b-映射，並在更廣泛的對數幾何範疇中嵌入Joyce的帶角流形。