Equivariant Contact Darboux Quotients and Perversely Categorified Legendrian Correspondences

技術的要約：等変接触ダルブー商およびパーバース・カテゴリ化されたレジェンドリアン対応

問題提起
本論文は、派生接触幾何学において、列挙不変量を定義し、カテゴリ的構造を線形化するという課題に取り組んでいる。先行研究では、シフトされた接触派生アルチンスタックが滑らかなダルブー・アトラス（Darboux atlas）を持つことが確立されているが、これらの局所モデルは、列挙理論（ドナルドソン・トンプソン不変量など）に必要な等変エタール消滅サイクルを計算するには不十分である。さらに、著者が以前に構築したレジェンドリアン対応のグローバルな非線形2-カテゴリは、派生接触モジュライ空間とマイクロローカル層理論を結びつける線形化された枠組みを欠いている。核心的な困難は、構造的な$\mathbb{G}_m$-作用（ライブ・フロー）に起因する、接触空間の「生成的位相的非連結性（generic topological acyclicity）」にあり、これにより素朴な位相的オイラー標数が消失してしまうことにある。

手法
著者は、派生代数幾何学、等変幾何学、および$\ell$進層理論の組み合わせを用いている。その手法は以下のステップを経て進行する：

1. 等変局所モデル： 本論文は等変接触ダルブー定理を確立する。$-1$-シフトされた接触スタックの派生シンプレクティフィケーションを利用することで、局所的な滑らかなアトラスを、幾何学的商スタック$[\Delta_{\text{loc}}(s)/G]$へと洗練させる。ここで、$\Delta_{\text{loc}}(s)$は相対切断$s$に関連する派生判別集合であり、$G$は簡約な安定化群である。
2. パーバース層の降下： シンプレクティフィケーション上のBBDJS（Beilinson-Bernstein-Deligne-Gabber-Joyce-Schürmann）消滅サイクル・ミニマルモデルを用いて、これらの構造を接触スタックへと降下させる。この降下は、モノドロミー的層に関するVerdierの特殊化同値性に依存している。シンプレクティフィケーション上の$\mathbb{G}_m$-作用は、結果として得られる$\ell$進パーバース層に対して、タメ（tame）な幾何学的モノドロミー自己同型$T$を誘導する。
3. カテゴリの線形化： 非線形なレジェンドリアン・カテゴリを線形化するために、ジョイス（Joyce）の予想の接触版を定式化する。$\ell$進層の6対象関手形式とフーリエ・ミュカイ（Fourier-Mukai）のプルバック・プッシュフォワード関手を用いることで、2-射がモノドロミー的パーバース層のエタール双超コホモロジーによって定義される、線形化された2-カテゴリを構築する。
4. トレース公式による不変量： 位相的非連結性の問題を解決するため、消滅サイクルのパーバース層に作用する捻じれられたモノドロミー作用素$\tau$の$\ell$進グロタンディーク・レフシェッツ・トレースを用いて、列挙不変量を定義する。これにより、接触ベンデンド関数（contact Behrend function）の定義が導かれる。

主要な貢献と結果

• 定理 1.1（等変接触ダルブルー定理）： 代数閉体$K$（標数ゼロ）上のすべての$-1$-シフトされた接触派生アルチンスタックが、接触ダルブー・スキーム$\text{Spec}(A) \simeq \Delta_{\text{loc}}(s)$による滑らかなアトラスを持つことを証明する。簡約な安定化群$G$が存在する場合、当該スタックは滑らかな位相において幾何学的商$[\Delta_{\text{loc}}(s)/G]$と局的に同値である。
• 定理 1.2（モノドロミー的$\ell$進パーバース層）： すべての向き付けられた$-1$-シフトされた接触派生アルチンスタックは、タメな幾何学的モノドロミー自己同型$T$を備えた$\ell$進パーバース層$P_Z$を持つことを確立する。この構造は、シンプレクティフィケーションからのBBDJS消滅サイクルから派生している。
• 定理 1.3（カテゴリ化されたレジェンドリアン・カテゴリ）： $1$-シフトされた接触スタック$X$に対する線形化された2-カテゴリ$\mathcal{LF}_c(X)$を構築する。1-射は固有な向き付けられたレジェンドリアン対応であり、2-射は派生交差上のモノドロミー的パーバース層のエタール双超コホモロジーによって与えられる。また、$0$-シフトされた接触スタックのためのグローバルなカテゴリ化された線形弱2-カテゴリ$\mathcal{LLeg}_0$も構築される。
• 定理 7.2（$\ell$進接触位相的積分）： 接触ドナルドソン・トンプソン（DT）不変量を、接触ベンデンド関数$\nu^{\text{contact}}_Z$の$\ell$進位相的積分として与える公式を提供する。これは、モノドロミー作用素のトレースによって層を重み付けることにより、位相的不連結性を解消するものである。
• 計算例： $A_k$特異点および非退化二次特異点に対する接触ベンデンド関数を計算する。いずれの場合も、局所的な接触多重度は1となる。これは古典的なベンデンド関数の値（例：$A_k$における$k$）とは対照的であり、循環的モノドロミーの交互のトレースが多葉分岐の寄与を打ち消すことを示している。

意義と主張
本論文は、等変局所モデルとモノドロミー的パーバース層の形式論を導入することにより、派生接触幾何学における列挙不変量の定義に対する障害を解決することを主張している。レジェンドリアン・カテゴリを線形化することで、本研究は派生接触モジュライ空間をマイクロローカル層理論へと結びつけ、「ジョイスの予想の接触版」を提供している。

著者は、この枠組みが$\ell$進グロタンディーク・レフシェッツ・トレースを通じて派生列挙不変量を抽出することを可能にし、接触空間に固有の生成的位相的不連結性を事実上回避できると主張している。これらの結果は、モチーフ的接触DT不変量、余係数ホモロジー的ホール代数（CoHAs）、および「接触ナデラー・ザズロス対応」を通じた潜在的な「接触ホモロジー的ミラー対称性」への発展のための基礎を築くものである。本論文は、代数的に定式化された派生シンプレクティック・フィールド理論（SFT）のための、これらが必要な幾何学的およびコホモロジー的基礎であると位置づけている。