[論文レビュー] Scalar Extension of Abelian and Tannakian Categories

Nicolas Stalder|ArXiv.org|Jun 2, 2008

Algebraic Geometry and Number Theory参考文献 7被引用数 10

ひとこと要約

本稿は、有限体拡張 $F'/F$ における $F$-線型アーベル圏に対する普遍スカラー拡張函手を導入し、$F'$-線型アーベル圏 $\mathscr{A} \otimes_F F'$ と普遍な完全 $F$-線型函手 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$ を構成する。主な貢献は、任意の右完全 $F$-線型函手が $F'$-線型アーベル圏へと一意に $t$ を通して因数分解できるという普遍性である。この性質は、タンナキアン双対性やモノドロミー群論への応用を可能にする。

ABSTRACT

We introduce and develop the notion of scalar extension for abelian categories. Given a field extension F'/F, to every F-linear abelian category A satisfying a suitable finiteness condition we associate an F'-linear abelian category A' and an exact F-linear functor t: A --> A'. This functor is universal among F-linear right exact functors with target an F'-linear abelian category. We discuss various basic properties of this concept, among others compatibilities with multilinear endofunctors such as tensor products, and the permanence of favourable properties of the functors and categories involved. We obtain the notion of scalar extension for Tannakian categories, which allows us to deduce consequences for the algebraic monodromy groups of Tannakian categories.

研究の動機と目的

• $F$-線型アーベル圏に対する有限体拡張 $F'/F$ 沿いの普遍スカラー拡張函手を定義し構成すること。
• $\mathscr{A} \to \mathscr{A} \otimes_F F'$ における函手 $t$ の普遍性を、$F'$-線型アーベル圏への右完全 $F$-線型函手の間で確立すること。
• 構成をタンナキアン圏へ拡張し、代数的モノドロミー群に関する結果を導出すること。
• 全忠実性や商類の下での閉包性といった性質がスカラー拡張でどのように保存されるかを調べること。
• 剛体テンソル圏におけるテンソル積や双対と整合性を持つカテゴリカルな枠組みを提供すること。

提案手法

• $\mathscr{A} \otimes_F F'$ をインダクティブ補完と自己準同型代数へのスカラー拡張を用いて $F'$-線型アーベル圏として構成する。
• 函手 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$ を対象および準同型へのスカラー拡張の標準的拡張として定義する。
• $t$ が普遍性を満たすことを証明する：任意の右完全 $F$-線型函手 $V: \mathscr{A} \to \mathscr{B}$（ただし $\mathscr{B}$ は $F'$-線型アーベル圏）は一意に $t$ を通じて因数分解可能である。
• $\operatorname{mod}$-$E$ と $\mathscr{A}$ 内の $S$-型的対象の同値性を用いて、単純対象がスカラー拡張でどのように分解されるかを分析する。
• 剛体テンソル圏においてスカラー拡張がテンソル積および双対とどのように整合するかを確立する。
• 構成をタンナキアン圏に適用し、$\mathscr{T} \otimes_F F'$ が $F'$ 上のモノドロミー群 $G_\omega(\mathscr{T})$ の有限次元表現の圏と同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、体拡張 $F'/F$ における $F$-線型アーベル圏に対するスカラー拡張を普遍的に定義できるか？
• RQ2 右完全 $F$-線型函手 $V: \mathscr{A} \to \mathscr{B}$（$\mathscr{B}$ は $F'$-線型アーベル圏）が $\mathscr{A} \otimes_F F'$ に一意に拡張可能となる条件は何か？
• RQ3 スカラー拡張函手 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$ が $F'$ 上で全忠実となる条件は何か？また、これは代数幾何におけるテート予想にどのような含意を持つのか？
• RQ4 スカラー拡張はタンナキアン圏におけるテンソル積および双対とどのように作用するか？
• RQ5 タンナキアン圏のモノドロミー群と $\mathscr{A} \otimes_F F'$ の構造との間にはどのような関係があるか？

主な発見

• $F$-有限なアーベル圏 $\mathscr{A}$ に対して、任意の $\mathscr{A} \otimes_F F'$ は $F'$-線型アーベル圏として構成され、右完全 $F$-線型函手に対して普遍性を満たす。
• 普遍函手 $t: \mathscr{A} \to \mathscr{A} \otimes_F F'$ は $F'/F$-全忠実である。これは、基底拡張後にホモロジー空間が同型を与えることを意味する。
• 単純対象 $S$ が自己準同型代数 $E$ を持つとき、$\mathscr{A}$ 内のスカラー拡張 $t(S)$ は $S \otimes_F F'$ に対応し、$t(S)$ の部分対象は $E \otimes_F F'$ の右イデアルと一対一対応する。
• 剛体テンソル圏では、右完全函手は自動的に完全であるため、函手の拡張が簡略化され、テンソル構造と整合性が保証される。
• タンナキアン圏に対しては、$\mathscr{T} \otimes_F F'$ は $F'$ 上のモノドロミー群 $G_\omega(\mathscr{T})$ の有限次元表現の圏と同値であり、非中立的タンナキアン双対性の弱い形をもたらす。
• 構成は本質的なカテゴリカル構造（テンソル積、双対、商類）を保存するため、代数幾何学およびガロア表現への応用が可能となる。