[论文解读] Radon Transform for Sheaves

Honghao Gao|arXiv (Cornell University)|Dec 18, 2017

Advanced Numerical Analysis Techniques参考文献 15被引用 3

一句话总结

本文在微局部层范畴上引入了层论意义上的Radon变换函子，证明其在微局部化后成为等价。研究发现，沿Legendrian子流形微局部支持的层范畴在Radon变换下保持不变，从而在R³与S²×R之间建立了纽结和链结不变量的联系，该等价关系保持了简洁性，并与增强-层对应关系相联系。

ABSTRACT

We define the Radon transform functor for sheaves and prove that it is an equivalence after suitable microlocal localizations. As a result, the sheaf category associated to a Legendrian is invariant under the Radon transform. We also manage to place the Radon transform and other transforms in microlocal sheaf theory altogether in a diagram.

研究动机与目标

• 在微局部层理论的背景下，定义层的Radon变换函子。
• 证明该变换在适当的微局部化后，诱导出微局部层范畴之间的等价。
• 证明与Legendrian子流形相关的层范畴在Radon变换下保持不变。
• 通过限制与极化函子，将傅里叶-萨托变换、射影对偶、球面对偶、傅里叶-塔马克林变换等各类变换统一于一个图示之中。
• 在R³与S²×R上，为纽结与链结的余切丛建立层范畴之间的范畴等价，保持简洁性，并与增强-层对应关系相联系。

提出的方法

• 通过在Rⁿ×R中的点与超平面的关联簇上支持的核层来定义Radon变换函子。
• 利用微局部层理论分析层的奇异上同调支持及其在变换下的行为。
• 应用微局部化，将研究限制在余切丛中的相关拉格朗日子锥与Legendrian子流形上。
• 通过导出前推与特征核层的张量积，将Radon变换构造为一种傅里叶型积分变换。
• 通过限制与极化函子，建立Radon变换与其他变换（如傅里叶-塔马克林变换、球面对偶）之间的关系。
• 通过核的性质与恰当基变换，证明在局部化后变换是全忠实且本质满射，从而证明范畴等价。

实验结果

研究问题

• RQ1 是否存在一种推广经典积分变换的层论意义上的Radon变换？
• RQ2 在微局部化后，Radon变换函子是否在微局部层范畴上成为等价？
• RQ3 Radon变换如何与微局部层理论中的其他基本变换（如傅里叶-萨托变换、傅里叶-塔马克林变换）相关联？
• RQ4 Radon变换能否用于关联不同环境空间（如R³与S²×R）中Legendrian纽结的范畴不变量？
• RQ5 Radon变换是否保持层的简洁性？这与Legendrian纽结的增强-层对应关系有何关联？

主要发现

• 在微局部化后，Radon变换在Rⁿ与Sⁿ⁻¹×R的微局部层范畴之间诱导出范畴等价。
• 与Legendrian子流形相关的层范畴在Radon变换下保持不变，从而提供了一种子范畴不变量。
• 对于R³中的纽结或链结K，Radon变换在商范畴Dᵇ_{Λ_K}(R³)/Loc(pt)与Dᵇ_{Λ′_K}(S²×R)/Loc(S²)之间诱导出等价，且保持简洁性。
• Radon变换被证明是傅里叶-塔马克林变换的限制，其核显式描述为条件⟨x,y⟩ + t − s ≥ 0。
• 傅里叶-塔马克林变换被识别为Radon变换的限制，且Radon、傅里叶-萨托、射影对偶、球面对偶的完整变换图示通过限制与极化函子得以统一。
• 傅里叶-塔马克林变换的逆由卷积核k_{−⟨x,y⟩ + s − t ≥ 0}给出，从而确认其可逆性，并与Radon框架兼容。