[論文レビュー] 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変換に関して不変であることを示すこと。
• 制限および偏極関手を用いて、1つの図式にFourier-Sato、射影的双対性、球面的双対性、Fourier-Tamarkin変換などのさまざまな変換を統合すること。
• 絡み目やリンクの余接束に関するR³およびS²×R上の層の圏のカテゴリカル同値性を確立し、単純性を保存するとともに、増幅層対応と関連付けること。

提案手法

• Rⁿ×Rにおける点と超平面のインシデント多様体に台を持つカーネル層を用いて、Radon変換関手を定義する。
• 微局所層理論を用いて、層の特異的補足とその変換下での振る舞いを分析する。
• ココマンダーバンドル内の関連するラグランジュ的錐およびLegendrian部分多様体に制限するため、微局所局所化を適用する。
• 導来押し出しと特徴的カーネル層とのテンソル積を用いて、Radon変換をフーリエ型積分変換として構成する。
• 制限および偏極関手を用いて、Radon変換と他の変換（Fourier-Tamarkin、球面的双対性）との関係を確立する。
• カーネルの性質と適切な基底変換を用いて、局所化の後で変換が完全かつ本質的に全射であることを示し、圏の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的な積分変換を一般化するような、層的Radon変換が存在するか？
• RQ2 微局所局所化の後、Radon変換関手が微局所層の圏の同値であるか？
• RQ3 微局所層理論における他の基本的変換（Fourier-Sato、Fourier-Tamarkin）とRadon変換はどのように関係するか？
• RQ4 Radon変換を用いて、R³とS²×Rといった異なる環境空間におけるLegendrian絡み目のカテゴリカル不変量を結びつけることができるか？
• RQ5 Radon変換は層の単純性を保存するか？また、これによりLegendrian絡み目の増幅層対応とどのように関連するか？

主な発見

• 微局所局所化の後、RⁿとSⁿ⁻¹×R上の微局所層の圏の間でRadon変換が圏の同値を誘導する。
• Legendrian部分多様体に関連する層の圏はRadon変換に関して不変であり、これにより新たなカテゴリカル不変量が得られる。
• R³における絡み目Kに対して、商圏Dᵇ_{Λ_K}(R³)/Loc(pt)とDᵇ_{Λ′_K}(S²×R)/Loc(S²)の間でRadon変換が同値を誘導し、単純性を保存する。
• Radon変換はFourier-Tamarkin変換の制限として示され、条件⟨x,y⟩ + t − s ≥ 0を含む明示的なカーネル記述が得られる。
• Fourier-Tamarkin変換はRadon変換の制限として特定され、Radon、Fourier-Sato、射影的双対性、球面的双対性の全図式が制限および偏極関手を用いて統合される。
• Fourier-Tamarkin変換の逆は、カーネルk_{−⟨x,y⟩ + s − t ≥ 0}との畳み込みで与えられ、その可逆性とRadon枠組みとの整合性が確認される。