[論文レビュー] Dualizable abelian fibrations

Davesh Maulik, Junliang Shen+1 more|arXiv (Cornell University)|Feb 22, 2026

Geometry and complex manifolds被引用数 0

ひとこと要約

双可約アーベルファイブラションの枠組みを規定し、 Fourier–Mukai 手法で分解定理・perverse フィルター・モチーフ構造を研究する。P=C、P=W、Hitchin型系への適用。

ABSTRACT

In his proof of the fundamental lemma of the Langlands program, Ngô initiated the study of the decomposition theorem for abelian fibrations. When an abelian fibration admits a duality structure, the decomposition theorem and the perverse filtration on cohomology exhibit rich structures. The purpose of these notes is to describe a framework for dualizable abelian fibrations and to discuss some recent progress and applications.

研究の動機と目的

• アーベルスキームの一般化として、双可約アーベルファイブレーションを動機づけ定義する。
• 双写像とポインカレ核が Fourier 変換を生み、分解定理を支配することを説明する。
• Fourier 変換と整合するモチーフ分解および perverse 分解の構成を示す。
• P=C および P=W 現象、普遍的なコンパクト化ヤン Jacobian、パラボリック Hitchin 系への適用を実証する。

提案手法

• アーベルスキームに対する Beauville–Deninger–Murre 理論を検討し、ポインカレ線束を用いた Fourier–Mukai 変換を再考する。
• 双可約アーベルファイブレーションを定義する公理 A–D（公理 A: 双写像、B: 全サポート、C/C+: ポインカレ拡張、D: 収束）を導入する。
• Fourier 変換 F および F^{-1} を構築・利用して motivic 分解 h(A)=⊕h_i(A) を得、 Fourier 停留性を証明する。
• コホモロジー上の乗法的分解を確立し、双対側の畳み込みが F および F^{-1} を介してカップ積と対応することを示す。
• 公理が満たされる例（コンパクト化ヤブジェンファイブレーション、普遍的な細部までのコンパクト化ヤブジェン、パラボリック Hitchin 系）を提供する。
• toy model（P=C）と限界（完全サポートを伴わない Hitchin 系）を論じ、枠組みを補足する。

実験結果

リサーチクエスチョン

• RQ1 特異ファイバーを持つアーベルファイブレーションに対して、 Fourier 変換が分解定理を支配する双写像が定義できるか。
• RQ2 ポインカレデータが基底上で拡張され、完全な Fourier–Mukai 双対性を生み出す条件は何か。
• RQ3 perverse フィルtration が乗法的になり、 Fourier 変換を介してカップ積と整合するのはいつか。
• RQ4 双可約アーベルファイブレーションは非アーベル解析の現在の理論を超えて、 moduli 空間における P=C および P=W 現象をどのように実現するか。
• RQ5 普遍的な細部までのコンパクト化ヤブジェン、パラボリック Hitchin 系など、どの幾何的ファミリーが双可約性と乗法的分解を示すか。

主な発見

• dual fibration からの Fourier 変換はカップ積と整合するモチーフ Beauville 分解を提供する。
• Fourier 変換はアーベルスキーム上で cohomology に乗法的分解を誘導し、適切な公理の下で双可約ファイブラションにもこの安定性が拡張される。
• δ-正則性を持つコンパクト化ヤビジャンファイブレーションは双可約構造を与え、その双対は自己双対となり、双対性に基づく分解を可能にする。
• パラボリック Hitchin 系は双可約アーベルファイブレーションを生み出し、より広い予想へ結びつき、度数変化を伴う具体的な双対を提供する。
• 普遍的な細部までのコンパクト化ヤブジェンは非退化安定条件の下で双対を認め、双対は他の非退化安定条件に対応する。
• P=C の玩具モデルは、縦断的クラスの perverse 的配置が Fourier データによる固有の Chern 線度によって決まることを示す。