[論文レビュー] The motive of the Hilbert scheme of infinite affine space

Marc Hoyois, Joachim Jelisiejew+2 more|arXiv (Cornell University)|Feb 26, 2020

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

ひとこと要約

本稿は、$Á^1$-ホモトピー的視点から無限次元アフィン空間のヒルベルト・スケールを研究し、$fib_d(Á^∞)$ の有理ヴェドウスキー・モチーフが純粋テート型であり、$fib_\infty(Á^\infty)$ が $Á^1$-ホモトピー同値である無限グラスマンニアンであることを証明する。この同値性は、有限局所有理的スキームのモジュライスタックが代数的K理論の有効モチービックスペクトル $kgl$ をモデル化することを示唆する。

ABSTRACT

We study the Hilbert schemes $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ and $\mathrm{Hilb}_\infty(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint. We show in particular that the rational Voevodsky motive of $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is pure Tate and that $\mathrm{Hilb}_\infty(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-homotopy equivalent to the infinite Grassmannian $\mathrm{Gr}_\infty(\mathbb{A}^\infty)$. We deduce that the forgetful functor $\mathrm{FFlat} o\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-homotopy equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory.

研究の動機と目的

• 無限次元アフィン空間上のヒルベルト・スケールの$Á^1$-ホモトピー的性質を分析すること。
• $fib_d(Á^\infty)$ の有理ヴェドウスキー・モチーフを特定し、その構造的含意を明らかにすること。
• $fib_\infty(Á^\infty)$ と無限グラスマンニアン $fib_\infty(\u00c1^\infty)$ の間の$Á^1$-ホモトピー同値性を確立すること。
• 有限局所有理的スキームから層への忘却関手が、群的完成化後に$Á^1$-ホモトピー同値性をもたらすことを示すこと。
• フレームド転送を備えたモジュライスタック $fib_{\mathrm{Flat}}$ が、代数的K理論の有効モチービックスペクトル $kgl$ をモデル化することを示すこと。

提案手法

• ヒルベルト・スケールのホモトピー型を分析するために、$Á^1$-ホモトピー的技法を用いる。
• ヴェドウスキーのモチーフ理論を適用して、$fib_d(Á^\infty)$ の有理モチーフを計算し、それが純粋テート型であることを示す。
• 幾何的およびホモトピー的議論を用いて、$fib_\infty(Á^\infty)$ と無限グラスマンニアンとの間の$Á^1$-ホモトピー同値性を確立する。
• 有限局所有理的スキームのモジュライスタックの群的完成化を用いて、$Á^1$-ホモトピー圏におけるグラスマンニアンとの関係を確立する。
• モジュライスタック $fib_{\mathrm{Flat}}$ にフレームド転送を適用し、$kgl$ の普遍性を満たすことを示す。
• 無限ヒルベルト・スケール $fib_\infty(Á^\infty)$ と無限グラスマンニアンとの$Á^1$-ホモトピー同値性を活用して、モチービックスペクトルのモデルを導出する。

実験結果

リサーチクエスチョン

• RQ1 $fib_d(Á^\infty)$ の有理ヴェドウスキー・モチーフは何か？
• RQ2 無限ヒルベルト・スケール $fib_\infty(Á^\infty)$ は無限グラスマンニアンと$Á^1$-ホモトピー同値か？
• RQ3 有限局所有理的スキームから有限局所有理的層への忘却関手は、群的完成化後に$Á^1$-ホモトピー同値性をもたらすか？
• RQ4 フレームド転送を備えたモジュライスタック $fib_{\mathrm{Flat}}$ は、有効モチービックスペクトル $kgl$ をモデル化できるか？
• RQ5 ヒルベルト・スケールの$Á^1$-ホモトピー的構造は、代数的K理論とどのように関係するか？

主な発見

• $fib_d(Á^\infty)$ の有理ヴェドウスキー・モチーフは純粋テート型であり、非常に構造的で単純なモチービック型であることを示唆する。
• 無限ヒルベルト・スケール $fib_\infty(Á^\infty)$ は無限グラスマンニアン $fib_\infty(\u00c1^\infty)$ と$Á^1$-ホモトピー同値であり、幾何的およびホモトピー的構造を結びつける。
• 有限局所有理的スキームのモジュライスタックから層への忘却関手は、群的完成化後に$Á^1$-ホモトピー同値性をもたらす。
• フレームド転送を備えたモジュライスタック $fib_{\mathrm{Flat}}$ は、代数的K理論を表す有効モチービックスペクトル $kgl$ のモデルである。
• $fib_\infty(Á^\infty)$ と無限グラスマンニアンとの$Á^1$-ホモトピー同値性は、$kgl$ の新しい幾何的実現を提供する。