[論文レビュー] On taking twists of Fourier-Mukai transforms

Rina Anno, Timothy Logvinenko|arXiv (Cornell University)|Apr 18, 2010

Computer Graphics and Visualization Techniques参考文献 2被引用数 2

ひとこと要約

この論文は、スキームの導来圏間のフーリエ＝ムカイ変換の随伴余単位のねじれ（コーン）を、対応する変換のカーネル間の写像を構成することによって明示的に記述する。従来の結果を一般化し、スキームの固有性条件を緩和することで、カーネルが固有部分スキームからの押し出しである場合、非固有な多様体に対しても球面的ねじれを直接計算可能にする。

ABSTRACT

Abstract. We show that the adjunction counit of a Fourier-Mukai transform Φ: D(X1) → D(X2) arises from a map of the kernels of the corresponding Fourier-Mukai transforms in a very general setting of X1,2 being proper separable schemes of finite type over a field. We write down this map of kernels explicitly – facilitating the computation of the twist (the cone of the adjunction counit) of Φ. We also give another description of this map, better suited to computing cones in the case when the kernel of Φ is a pushforward from a subscheme D ⊂ X1 ×X2. Moreoever, we show that we can replace the condition of properness of the spaces X1,2 by that of D being proper over X1,2 and still have this description apply as-is. This can be used, for instance, to compute spherical twists on non-proper varieties directly and in full generality. 1.

研究の動機と目的

• フーリエ＝ムカイ変換のねじれを、カーネル間の写像を用いて明示的に記述すること。
• カーネルの台の固有性に置き換えることで、固有でないスキームへのねじれ記述の一般化。
• カーネルに基づく構成を用いて、非固有多様体上での球面的ねじれの直接計算を可能にすること。
• カーネル写像の2つの補足的記述—一般の場合と部分スキームからの押し出しに特化した場合—を提供すること。

提案手法

• 論文は、随伴余単位を実現するフーリエ＝ムカイ変換のカーネル間の自然な写像を構成する。
• 有限型のスキームの一般設定において、導来圏とdg強化を用いて写像を定義する。
• カーネルが部分スキーム D ⊂ X1 × X2 からの押し出しである場合、D の幾何的性質を用いてカーネル写像の精緻な記述を提供する。
• X1 と X2 が固有でなくても、D が X1 および X2 に対して固有であれば、構成は依然有効である。
• 導来引き戻しと押し出しを用いて、カーネル写像を導来圏における随伴余単位に関連付ける。
• カーネル写像の核の余核を分析することにより、変換のコーン（ねじれ）の明示的計算が可能になる。

実験結果

リサーチクエスチョン

• RQ1 フーリエ＝ムカイ変換のねじれは、そのカーネルの観点からどのように明示的に記述できるか？
• RQ2 非固有スキームへの標準的なねじれ記述は拡張可能か？
• RQ3 カーネルの台がこのような記述を可能にする役割は何か？
• RQ4 カーネルが部分スキームからの押し出しとして得られる場合、カーネル写像はどのように振る舞うか？
• RQ5 このカーネルに基づくアプローチを用いて、非固有多様体上での球面的ねじれを直接計算可能か？

主な発見

• フーリエ＝ムカイ変換の随伴余単位は、対応する変換のカーネル間の標準的写像から生じる。
• このカーネル写像は、体上有限型スキームの一般設定において、ねじれ（随伴余単位のコーン）を明示的に計算する。
• X1 と X2 が固有でなくても、カーネルの台 D が X1 および X2 に対して固有であれば、記述は依然有効である。
• カーネルが部分スキーム D からの押し出しである場合、カーネル写像の精緻な記述が提供され、明示的計算に適している。
• この枠組みにより、カーネルの台の固有性を活用して、非固有多様体上での球面的ねじれの直接計算が可能になる。
• 結果として、フーリエ＝ムカイ変換およびそのねじれの適用範囲が、古典的な固有設定を超えて拡張される。