[論文レビュー] The space of generically étale families

David Rydh, Roy Skjelnes|Mar 12, 2007

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

ひとこと要約

本稿では、分離代数的空間 $X\to S$ 内のランク $n$ の閉部分空間の一般にエタールな族をパラメトライズする空間 $\mathscr{G}^{n}_{X}$ を、対称テンソルと爆破を用いた明示的な代数的構成により構成する。主な貢献は、ヒルベルト汎域に依存せずに、構成から直接得られる普遍性であり、$\mathscr{G}^{n}_{X}$ がヒルベルト汎域内のエタール族の開部分空間のスキーム的閉包と自然に同型であることが示されている。

ABSTRACT

We construct a space $G^n_X$ and a rank $n$, generically etale family of closed subspaces in a separated ambient space $X$. The constructed pair satisfies a universal property of generically etale families of closed subspaces in $X$. This universal property is derived directly from the construction and does in particular not use the Hilbert scheme. The constructed space $G^n_X$ is by its universal property canonically identified with a closed subspace of the Hilbert scheme.

研究の動機と目的

• 分離代数的空間 $X\to S$ 内の一般にエタールなランク $n$ の閉部分空間族を普遍的にパラメトライズする空間 $\mathscr{G}^n_X$ を構成すること。
• $\mathscr{G}^n_X$ の普遍性を、ヒルベルト汎域を用いずに、構成から直接得ること。
• $\mathscr{G}^n_X$ がヒルベルト汎域内のエタール族の開部分空間のスキーム的閉包と自然に同型であることを示すこと。
• 爆破とノルム写像を用いて、$\mathscr{G}^n_X$ 上の普遍族を独立的かつ抽象的にグローバルに構成すること。

提案手法

• テンソル代数内の明示的恒等式を用いて、対称テンソルと反転写像を介して代数準同型 $\mathscr{A} \to \mathscr{R}$ を定義する。
• $\mathscr{R}$ を、対称テンソル $\alpha^2(x)$ の非消滅部分集合における商代数の局所化として定義し、エタール性を保証する。
• トレース写像と普遍性を用いて、$\mathscr{R}$ が $\mathscr{A}$-加群として自由であり、$x_1,\dots,x_n$ の像からなる基底を持つことを証明する。
• 対称積内の標準的イデアルの爆破を用いて、グローバルに構成を拡張し、グローバル・デリーニュのノルム写像を用いて平坦性を保証する。
• 爆破を用いた判別式とその部分集合の解析により、普遍族 $\mathscr{Z}_X \to \mathscr{G}^n_X$ が一般にエタールであることを示す。
• 任意の基底 $T$ 上の一般にエタールな族が $\mathscr{G}^n_X$ を一意に因数分解できることを検証することで、普遍性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト汎域に依存せずに、一般にエタールな閉部分空間族の普遍空間を構成できるか。
• RQ2 $\mathscr{G}^n_X$ 上の普遍族の背後にある代数的構造は何か。また、それを明示的に記述できるか。
• RQ3 $\mathscr{G}^n_X$ の構成は、ヒルベルト汎域内のエタール部分空間のスキーム的閉包とどのように関係しているか。
• RQ4 対称テンソルと反転写像は、普遍族のエタール性と自由加群構造を制御するために果たす役割は何か。
• RQ5 $\mathscr{G}^n_X$ の普遍性は、補助的なモジュライ理論的道具を用いずに、構成から直接得られるか。

主な発見

• $\mathscr{G}^n_X$ は、対称積の標準的イデアルに沿った爆破を用いて、ヒルベルト汎域の閉部分空間として構成される。
• 普遍族 $\mathscr{Z}_X \to \mathscr{G}^n_X$ は、普遍性を満たす：任意の基底 $T$ 上のランク $n$ の一般にエタールな閉部分空間族は、一意に $\mathscr{G}^n_X$ を介して因数分解される。
• $\mathscr{G}^n_X$ の構成はヒルベルト汎域に依存せず、その普遍性は対称テンソル内の代数的恒等式から直接得られる。
• $\mathscr{A} \to \mathscr{R}$ の代数拡大はエタールであり、$\mathscr{R}$ は $\mathscr{A}$ 上ランク $n$ の自由加群であり、$x_1,\dots,x_n$ の像が基底をなす。
• $\mathscr{G}^n_X$ は、ヒルベルト汎域 $\mathscr{H}^n_X$ 内のエタール族の開部分空間 $\mathscr{U}^n_X$ のスキーム的閉包と自然に同型であり、これがヒルベルト汎域のコンパクト化としての役割を果たすことが確認された。
• 構成はエタール基底変換と整合しており、グローバル・デリーニュのノルム写像を用いて、普遍族の平坦性が保証される。