[论文解读] Pushforwards of Measures on Real Varieties under Maps with Rational Singularities

Andrew Reiser|arXiv (Cornell University)|Jan 1, 2018

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

一句话总结

该论文证明了，若 X 是一个 Gorenstein 的实代数簇，ϕ: X → Y 是一个平坦态射，且其纤维具有有理奇点，Y 为光滑流形，则 X 上任意紧支集光滑测度在 ϕ 下的推出在 Y 上任意光滑测度下均有连续密度。该结果通过 o-极小几何与奇点解耦技术，将 Aizenbud 与 Avni 的 p-进结果推广至阿基米德情形。

ABSTRACT

Let $X,Y$ be algebraic varieties defined over $\Bbb R$. Assume $Y$ is smooth and $X$ is Gorenstein. Suppose $φ:X o Y$ is a flat $\Bbb R$-morphism such that all the fibers have rational singularities. We show that the pushforward of any smooth, compactly supported measure on $X$ has a continuous density with respect to any smooth measure with non-vanishing density on $Y$. This extends a result of Aizenbud and Avni from the $p$-adic case to the archimedean case.

研究动机与目标

• 将 Aizenbud 与 Avni 在 p-进情形下关于测度推出的结论推广至阿基米德情形。
• 建立在具有有理奇点纤维的平坦态射下，紧支集光滑测度推出密度的连续性。
• 分析具有受控奇点的态射下，实代数簇上测度的行为。
• 通过 o-极小技术，弥合代数几何中 p-进与阿基米德测度理论之间的鸿沟。
• 在测度推出的情境下，提供有理奇点的实分析类比。

提出的方法

• 利用 o-极小几何控制代数簇中出现的可定义集与可定义函数的驯服性与正则性。
• 应用奇点解耦技术，将问题约化至一个局部模型，在该模型中，通过迹映射控制有理奇点。
• 运用 Radon-Nikodym 定理定义密度，并通过局部半代数逼近证明其连续性。
• 通过构造一个态射为半代数且目标为仿射的情形，将整体问题约化为局部模型。
• 利用平坦态射在有理奇点纤维下诱导 canonical 层上的同构这一事实，确保迹映射的相容性。
• 应用复解析对偶性与 Stein 空间理论，验证解析范畴中迹映射的同构性，确保有理奇点性质得以保持。

实验结果

研究问题

• RQ1 在何种条件下，实代数簇上紧支集光滑测度在平坦态射下的推出具有连续密度？
• RQ2 平坦态射纤维中的有理奇点如何影响推出测度的正则性？
• RQ3 能否将 p-进情形下关于具有连续密度的测度推出的结论推广至阿基米德情形？
• RQ4 o-极小几何在确保实代数几何中密度连续性方面起到何种作用？
• RQ5 奇点解耦与迹映射在多大程度上刻画了平坦态射下测度的行为？

主要发现

• 在平坦态射 ϕ: X → Y 下，X 上任意紧支集光滑测度的推出在 Y 上任意光滑测度下均有连续密度，其中 X 为 Gorenstein 且 Y 为光滑流形。
• 当 X 为 Gorenstein 且 Y 为光滑时，该结果成立，将先前的 p-进结果推广至阿基米德情形。
• 通过 o-极小逼近与奇点解耦技术，建立了密度的连续性，确保推出测度具有驯服行为。
• 关键技术工具是奇点解耦下迹映射 Rπ∗Ω̃X → ΩX 的同构，该同构刻画了有理奇点。
• 证明将整体问题约化为局部模型，其中态射为半代数且目标为仿射，利用了有理奇点的结构。
• 密度的连续性源于 Radon-Nikodym 导数在存在处处非零微分形式的 Zariski 开集上为局部连续函数这一事实。