[論文レビュー] Kernel algebras and generalized Fourier-Mukai transforms

Alexander Polishchuk|ArXiv.org|Oct 8, 2008

Algebraic structures and combinatorial models参考文献 19被引用数 7

ひとこと要約

この論文は、$X \times X$ 上の層の圏に畳み込みモノイド構造を備えた代数的対象（核代数）を導入し、非可換な設定へとフーリエ＝ムカイ変換や導来モラータ理論を一般化する。純粋な核代数（層のアーベル部分圏を保存するもの）は、それらの加群圏の導来同値を与えることを確立し、アーベル多様体上のねじれD-加群と一般化された1-モチーフのローモンのフーリエ双対性を統一的に扱う。

ABSTRACT

We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting categories, such as D-modules, equivariant sheaves and their twisted versions, arise as categories of modules over kernel algebras. We develop the techniques of constructing derived equivalences between these module categories. As one application we generalize the results of math.AG/9901009 concerning modules over algebras of twisted differential operators on abelian varieties. As another application we recover and generalize the results of Laumon in alg-geom/9603004 concerning an analog of the Fourier transform for derived categories of quasicoherent sheaves on a dual pair of generalized 1-motives.

研究の動機と目的

• 可換代数的幾何学を超えて、D-加群やG-equivariant層などの非可換幾何的カテゴリにまで積分変換技法を拡張すること。
• dgカテゴリに依存せずに、核代数上の加群圏の導来同値を構成するための枠組みを構築すること。
• アーベル多様体上のねじれ微分作用素に関する既存の結果と、一般化された1-モチーフのフーリエ双対性を一般化すること。
• 群oids作用に伴う核代数を用いて、商スタック上の層とG-equivariant層の統一的取り扱いを提供すること。
• 核代数上の加群のセーチ型分解が、整合的な代数的作用を引き継ぐ条件を特定し、明示的な計算を可能にすること。

提案手法

• 畳み込みをモノイド構造とする$X \times X$ 上の層の圏における代数的対象として核代数を定義し、単位を$\Delta_*\mathcal{O}_X$ とする。
• 関連する積分変換が準同型層のアーベル圏を保存する「純粋な」核代数の概念を導入する。
• アフィンな移行写像を持つ適合開被覆$(U_i)$を用いて、核代数上の加群のセーチ型分解を構成する。
• 核代数構造と整合するための同型写像$\sigma: \mathcal{A} \circ_X \Delta(\mathfrak{U}) \to \Delta(\mathfrak{U}) \circ_X \mathcal{A}$ を確立する。
• 有限群スキームや形式群などの群oids作用から核代数を構成し、$D_{qc}(X)$ 上でその加群圏がG-equivariant層と同値であることを示す。
• 一般化された1-モチーフ$[G \to E]$ 及びその双対$[G' \to E']$ にこの枠組みを適用し、それらの層が核代数$\mathcal{A}(A)$ および$\mathcal{A}(\hat{A})$ を介してアーベル多様体上のねじれG-equivariant層に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 積分変換および導来モラータ理論を、D-加群やねじれ層などの非可換幾何的カテゴリへどのように一般化できるか。
• RQ2 核代数がその加群圏の間で導来同値を誘導するための条件は何か。また、このような同値を明示的に構成する方法は何か。
• RQ3 適合するセーチ分解を用いた核代数により、一般化された1-モチーフのフーリエ＝ムカイ双対性を回復・拡張できるか。
• RQ4 準同型層の導来圏上の群oids作用が核代数を生じる仕組みは何か。その加群の幾何的解釈は何か。
• RQ5 核代数上の加群のセーチ分解が、核代数と整合的な作用を引き継ぐ条件は何か。

主な発見

• 純粋な核代数は、それらの加群圏の間で導来同値を与える。これはオルロフの積分変換定理と[Ric]の導来モラータ理論を両方一般化する。
• $X$ 上の$G$-equivariant層の圏は、$D_{qc}(X)$ 上の$G$-作用を積分変換で構成した純粋な核代数上の加群圏と同値である。
• ねじれ$G$-equivariant層は、自己同型とラインバンドルによるテンソル積を組み合わせた作用に関連する核代数上の加群として現れる。
• 一般化された1-モチーフ$K = [G \to E]$ 上の層は、アーベル多様体$A \subset E$ 上の純粋な核代数$\mathcal{A}(K)$ 上の加群と同値であり、同様に双対$\mathbb{D}(K)$ に対しても$\hat{A}$ 上で同様の同値が成り立つ。
• 核代数$\mathcal{A}(K)$ と$\mathcal{A}(\mathbb{D}(K))$ は、$A$ および$\hat{A}$ 上の標準的フーリエ＝ムカイ変換によって関連づけられ、一般化された双対性を確立する。
• 核代数と適合するアフィン開被覆に対して、加群のセーチ分解は核代数と整合的な作用を引き継ぎ、$\mathcal{O}^\bullet(X, \mathfrak{U})$ を用いた明示的分解が可能になる。