[論文レビュー] Families of zero cycles and divided powers: I. Representability

David Rydh|ArXiv.org|Mar 5, 2008

Algebraic Geometry and Number Theory参考文献 23被引用数 6

ひとこと要約

この論文は、分離代数的空間 $X/S$ 上の $d$ 次零サイクルの族を表す代数的空間 $Γ^d(X/S)$ を構成する。アフィンな場合に、環の除算冪 $\Gamma^d_A(B)$ を用いて行う。主な貢献は、特性がゼロ、または $X/S$ が平坦な場合に、この空間が対称積 $\operatorname{Sym}^d(X/S)$ と一致することを示し、乗法的多項式法の核に関する基礎的結果を証明することである。特に、エタール基底変換では保たれるが、平坦基底変換では保たれない性質を示している。

ABSTRACT

For any separated algebraic space $X/S$ we construct a separated algebraic space $Γ^d(X/S)$ -- the space of divided powers -- which parameterizes zero cycles of degree $d$ on $X$. The space of divided powers for an affine scheme is given by the spectrum of the algebra of divided powers. In characteristic zero or when $X/S$ is flat, the constructed space coincides with the symmetric product $Sym^d(X/S)$. We also prove several fundamental results on the kernels of multiplicative polynomial laws necessary for the construction of $Γ^d(X/S)$.

研究の動機と目的

• 分離代数的空間 $X/S$ 上の $d$ 次零サイクルをパラメータ化する関手的・幾何的構成を提供すること。
• 正標数における古典的チャウ多様体の限界を克服し、非還元的で関手的に良好な代替案を導入すること。
• 乗法的多項式法の核に関する基礎的性質を確立すること。特に、平坦基底変換では可換でないが、エタール基底変換では可換であるという点に焦点を当てる。
• 構成された空間 $\Gamma^d(X/S)$ が代数的空間として代表可能であり、特性がゼロまたは平坦性の下で対称積と一致することを示すこと。

提案手法

• アフィンな場合に、除算冪代数 $\Gamma^d_A(B)$ のスペクトルとして $\Gamma^d(X/S)$ を構成する。
• 関手的性質 $\underline{\Gamma}^d_{X/S}$ とエタール基底変換を用いて、一般の分離代数的空間への代表可能性の拡張を実行する。
• ケイリー・ハミルトン定理を用いて、乗法的多項式法 $F: B \to A$ の核が $A$ に整であることの証明を行う。
• 核が極限、局域化、滑らか基底変換では可換であるが、平坦基底変換では可換でないことを示す。
• エタール被覆を用いた降下技術を適用し、$\underline{\Gamma}^d_{X/S}$ が代数的空間によって代表可能であることを示す。
• ノルムの普遍性とサイクルの加法写像 $\Psi_{X/S}$ を用いて、$\Gamma^d(X/S)$ と対称積との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 正標数において、射影埋め込みに依存しない関手的・非還元的零サイクルパラメータ空間をどのように構成できるか？
• RQ2 対称積 $\operatorname{Sym}^d(X/S)$ と除算冪空間 $\Gamma^d(X/S)$ が一致する正確な条件は何か？
• RQ3 乗法的多項式法の核が平坦基底変換と可換でないのはなぜか？どの種の基底変換では可換になるのか？
• RQ4 任意の分離代数的空間 $X/S$ に対して、空間 $\Gamma^d(X/S)$ が代数的空間として代表可能か？
• RQ5 サイクルの加法写像 $\Psi_{X/S}$ は、$\Gamma^d(X/S)$ 上の普遍族とどのように関係しているか？

主な発見

• $X/S$ が任意の分離代数的空間である場合、空間 $\Gamma^d(X/S)$ は代数的空間として代表可能であり、明示的なエタール被覆構成が与えられる。
• アフィンな場合に、$\Gamma^d(X/S) \cong \mathrm{Spec}(\Gamma^d_A(B))$ が成り立ち、ここで $\Gamma^d_A(B)$ は除算冪環である。
• $X/S$ が平坦または特性がゼロのとき、$\Gamma^d(X/S)$ は対称積 $\operatorname{Sym}^d(X/S)$ と一致する。
• 乗法的多項式法の核は平坦基底変換と可換でないが、エタール基底変換では可換である。
• 非関手的である正標数における対称積の問題を、除算冪空間に置き換えることで解決する。
• 普遍族は、$\Gamma^d(X/S)$ 上でサイクルの加法写像 $\Psi_{X/S}$ と関係しており、平坦な場合に洗練された記述が得られる。