[論文レビュー] Derived Categories of Twisted Sheaves on Elliptic Threefolds

Andrei Căldăraru|ArXiv.org|Dec 11, 2000

Algebraic structures and combinatorial models参考文献 8被引用数 20

ひとこと要約

この論文は、断面を持たない一般の楕円的三重被覆 $ X \to S $ の一貫層の導来圏と、その相対ヤコビアンの小さな解消 $ \bar{J} $ 上のねじれた層（アズマヤ代数上の加群）の導来圏との間で、導来同値性を確立する。主な貢献は、普遍層が存在しない（半安定層と特異点のため）状況において、ねじれた層を用いたフーリエ＝ムカイ型の同値性を構成することにある。

ABSTRACT

We construct an equivalence between the derived category of sheaves on an elliptic threefold without a section and a derived category of twisted sheaves (modules over an Azumaya algebra) on any small resolution of its relative Jacobian.

研究の動機と目的

• 断面を持たない楕円的三重被覆上のランク1、次数0の層のモジュライ問題の失敗を解消し、普遍層の存在を妨げる要因を特定すること。
• 断面を持たないような楕円的三重被覆上の一貫層の導来圏と、その相対ヤコビアンの小さな解消上のねじれた層の導来圏との間で導来同値性を構成すること。
• アズマヤ代数とブローラー類を組み合わせることで、古典的フーリエ＝ムカイ同値性を非ファインモジュライ問題へ拡張すること。
• この同値性がヤコビアンの自己同型によって引き起こされるものでないことを示し、ブローラー類がそのべきに写らないことから、それが本質的にグローバルな現象であることを証明すること。

提案手法

• 楕円的ファイブレーション $ f: X \to S $ のファイバー上でのランク1、次数0の半安定層のモジュライ空間として相対ヤコビアン $ J \to S $ を構成し、自然な断面を持つことを確認する。
• 代数的小さな解消が存在しない可能性があるため、解析的小さな解消 $ \bar{J} $ を用いて $ J $ の特異点を解消する。
• 局所的な普遍層の非一意性に起因する、普遍層の存在障害をブローラー類 $ \alpha \in \mathrm{Br}(\bar{J}) $ として同定する。
• $ X^k $、すなわち $ X \to S $ のファイバー上のランク1、次数 $ k $ の層の相対モジュライ空間はファインモジュライ問題であるため、普遍層が存在することを用いる。
• $ X \times_S X^k $ 上の普遍層を介して $ \mathbf{D}_{\mathrm{coh}}^b(X) \cong \mathbf{D}_{\mathrm{coh}}^b(X^k) $ を確立し、ブローラー類 $ \alpha^k $ を用いて $ X^k $ を $ \bar{J} $ 上のねじれた層と特定する。
• $ X^k $ に対応するブローラー類 $ \beta $ が $ \mathrm{Br}(\bar{J}) $ 内で $ \beta = \alpha^k $ を満たすことを証明し、最終的な導来同値性 $ \mathbf{D}_{\mathrm{coh}}^b(\bar{J}, \alpha) \cong \mathbf{D}_{\mathrm{coh}}^b(X) $ を得る。

実験結果

リサーチクエスチョン

• RQ1 断面を持たない楕円的三重被覆と、その相対ヤコビアンの解消上でのねじれた層の導来圏との間に導来同値性を確立できるか？
• RQ2 モジュライ問題がファインでない場合、普遍層の存在障害は何か？
• RQ3 非ファインモジュライ問題に起因するブローラー類 $ \alpha \in \mathrm{Br}(\bar{J}) $ は、元の楕円的三重被覆 $ X $ の幾何にどのように関係するか？
• RQ4 $ X $ と $ \bar{J} $ 間の導来同値性が、$ \bar{J} $ の自己同型によって引き起こされるものかどうか、あるいは本質的にグローバルな現象であるか？
• RQ5 この同値性は、特にトーリー問題とミラー対称性に関連して、カバリ＝ヤウ三様体にどのような意味を持つのか？

主な発見

• 一般の断面を持たない楕円的三重被覆 $ X $ の一貫層の導来圏は、その相対ヤコビアンの小さな解消 $ \bar{J} $ 上のねじれた層の導来圏と同値であり、そのねじれはブローラー類 $ \alpha $ で与えられる。
• ブローラー類 $ \alpha \in \mathrm{Br}(\bar{J}) $ は元のファイブレーション $ X \to S $ に対応し、Ogg-Shafarevich理論により、$ X $ に5-断面が存在する場合には位数5をとる。
• 同値性 $ \mathbf{D}_{\mathrm{coh}}^b(X) \cong \mathbf{D}_{\mathrm{coh}}^b(\bar{J}, \alpha) $ は $ \bar{J} $ の自己同型によって引き起こされない。なぜなら、$ \alpha $ を $ \alpha^2 $ に写す自己同型が存在しないからであり、これはそれが本質的にグローバルな現象であることを示している。
• この同値性は $ X^k $、すなわちランク1、次数 $ k $ の層の相対モジュライ空間に持ち上がり、$ \mathbf{D}_{\mathrm{coh}}^b(X) \cong \mathbf{D}_{\mathrm{coh}}^b(\bar{J}, \alpha^k) $ を与える。$ X $ がカバリ＝ヤウであれば $ X^k $ もカバリ＝ヤウである。
• この同値性により $ K_{X^k} = 0 $ かつ $ H^{2,0}(X^k) = 0 $ が従い、$ X^k $ がカバリ＝ヤウであることが確認され、カバリ＝ヤウ三様体のトーリー問題に対する反例を提供する。
• この構成は、アズマヤ代数上の加群の導来圏を含むフーリエ＝ムカイ変換の具体的な例を提供し、古典的結果を非ファインモジュライ問題へ拡張する。