[论文解读] 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$-同倫的觀點出發，研究無限維仿射空間的 Hilbert 積分簇，證明 $fib_d(Á^∞)$ 的有理 Voevodsky Motive 為純 Tate，且 $fib_\infty(Á^\infty)$ 與無限 Grassmannian $fib_\infty(\u00c1^\infty)$ 在 $Á^1$-同倫等價。此等價關係表示，有限局部自由簇的模堆疊可作為代數 K-理論的有效 motivic spectrum $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.

研究动机与目标

• 分析無限維仿射空間上 Hilbert 積分簇的 $Á^1$-同倫性質。
• 確定 $fib_d(Á^\infty)$ 的有理 Voevodsky motive 及其結構含義。
• 建立 $fib_\infty(Á^\infty)$ 與無限 Grassmannian $fib_\infty(\u00c1^\infty)$ 之間的 $Á^1$-同倫等價。
• 推導出從有限局部自由簇到層的忘卻函子，在群完備化後會誘導出 $Á^1$-同倫等價。
• 證明配備框架轉移的模堆疊 $fib_{\mathrm{Flat}}$ 可作為代數 K-理論的有效 motivic spectrum $kgl$ 的模型。

提出的方法

• 運用 $Á^1$-同倫技術分析 $Á^\infty$ 上 Hilbert 積分簇的同倫型。
• 應用 Voevodsky 的 motivic 理論計算 $fib_d(Á^\infty)$ 的有理 motivic，證明其為純 Tate。
• 透過幾何與同倫論論證，建立 $fib_\infty(Á^\infty)$ 與無限 Grassmannian 之間的 $Á^1$-同倫等價。
• 利用有限局部自由簇模堆疊的群完備化，將其與 Grassmannian 在 $Á^1$-同倫範疇中連結。
• 對模堆疊 $fib_{\mathrm{Flat}}$ 應用框架轉移，證明其滿足 $kgl$ 的普遍性質。
• 利用 $fib_\infty(Á^\infty)$ 與無限 Grassmannian 之間的等價關係，推導出 motivic spectrum 的模型。

实验结果

研究问题

• RQ1 Hilbert 積分簇 $fib_d(Á^\infty)$ 的有理 Voevodsky motive 是什麼？
• RQ2 $fi b_\infty(Á^\infty)$ 是否與無限 Grassmannian $fi b_\infty(\u00c1^\infty)$ 在 $Á^1$-同倫下等價？
• RQ3 從有限局部自由簇到有限局部自由層的忘卻函子，在群完備化後是否誘導出 $Á^1$-同倫等價？
• RQ4 配備框架轉移的模堆疊 $fi b_{\mathrm{Flat}}$ 是否可作為有效 motivic spectrum $kgl$ 的模型？
• RQ5 Hilbert 積分簇的 $Á^1$-同倫結構與代數 K-理論之間有何關係？

主要发现

• $fi b_d(Á^\infty)$ 的有理 Voevodsky motive 為純 Tate，顯示其 motivic 型態具有高度結構與簡單性。
• $fi b_\infty(Á^\infty)$ 與無限 Grassmannian $fi b_\infty(\u00c1^\infty)$ 在 $Á^1$-同倫下等價，連結了幾何與同倫結構。
• 從有限局部自由簇模堆疊到層模堆疊的忘卻函子，在群完備化後成為 $Á^1$-同倫等價。
• 配備框架轉移的模堆疊 $fi b_{\mathrm{Flat}}$ 是代表代數 K-理論的有效 motivic spectrum $kgl$ 的模型。
• $fi b_\infty(Á^\infty)$ 與無限 Grassmannian 之間的 $Á^1$-同倫等價，提供了 $kgl$ 的新幾何實現。