[论文解读] Bialynicki-Birula schemes in higher dimensional Hilbert schemes of points and monic functors

Laurent Evain, Mathias Lederer|arXiv (Cornell University)|Sep 10, 2012

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

一句话总结

本文證明了仿射 d-空間上點的 Hilbert 模棧中 Białynicki-Birula 軌跡可自然地賦予一個概形結構——稱為 Białynicki-Birula 概形——方法是證明相關函子的表示性。此外，本文進一步表明，當 torus 作用在第 i 個坐標上具有非正權重時，該概形在第 i 個 Hilbert-Chow 擬態射的零點纖維中具有概形包含關係。主要貢獻在於證明了參數化具有指定首項理想的理想之首一函子的表示性，從而將函子方法延伸至經典 Gröbner 基理論失效的負權重情形。

ABSTRACT

The Bialynicki-Birula strata on the Hilbert scheme $H^n(\mathbb{A}^d)$ are smooth in dimension $d=2$. We prove that there is a schematic structure in higher dimensions, the Bialynicki-Birula scheme, which is natural in the sense that it represents a functor. Let $ ho_i:H^n(\mathbb{A}^d) ightarrow { m Sym}^n(\mathbb{A}^1)$ be the Hilbert-Chow morphism of the ${i}^{th}$ coordinate. We prove that a Bialynicki-Birula scheme associated with an action of a torus $T$ is schematically included in the fiber $ ho_i^{-1}(0)$ if the ${i}^{th}$ weight of $T$ is non-positive. We prove that the monic functors parametrizing families of ideals with a prescribed initial ideal are representable.

研究动机与目标

• 為 d > 2 時仿射 d-空間上點的 Hilbert 模棧中 Białynicki-Birula 軌跡定義自然的概形結構。
• 證明在 torus 作用下，參數化具有固定首項理想的族的理想之函子的表示性。
• 證明當 torus 作用的第 i 個權重為非正時，Białynicki-Birula 概形在第 i 個 Hilbert-Chow 擬態射的纖維中具有概形包含關係。
• 將函子式與計算工具延伸至負權重情形，此情形下傳統 Gröbner 基方法失效。

提出的方法

• 引入參數化在 torus 作用下收斂至固定單項式子概形之族的子概形的 Białynicki-Birula 函子。
• 定義參數化具有指定首項理想的理想之函子的首一函子，其中全序關係需相容於由 torus 作用誘導的權重序。
• 透過一種新穎的方法證明首一函子的表示性，此方法與 Gröbner 基技術不同，特別是在負權重存在時。
• 基於權重函數構造符號序，以定義與 torus 作用相容的全序，並分析理想收斂性。
• 應用 Iversen 的線性化行列式構造，將 Hilbert-Chow 擬態射與乘法算子矩陣關聯。
• 當 ξi ≤ 0 時，對乘法算子 xi 使用嚴格下三角矩陣表示，以證明某些行列式為零，從而推出在 ρ−1_i(0) 中的概形包含關係。

实验结果

研究问题

• RQ1 對於 d > 2 時的 Ad 上點的 Hilbert 模棧，Białynicki-Birula 軌跡能否賦予一個自然的概形結構，使其表示某個函子？
• RQ2 即使權重序包含負權重，參數化具有固定首項理想的理想的函子是否仍具有表示性？
• RQ3 當 torus 作用的第 i 個權重為非正時，與之對應的 Białynicki-Birula 概形是否在第 i 個 Hilbert-Chow 擬態射的纖維中具有概形包含關係？
• RQ4 Białynicki-Birula 軌跡的概形性質與高維度中 Hilbert-Chow 擬態射有何關聯？
• RQ5 在負權重存在時，能否不依賴 Gröbner 基理論而證明首一函子的表示性？

主要发现

• Białynicki-Birula 函子由 Hilbert 模棧 Hn(Ad) 的局部閉子概形表示，從而為軌跡提供了自然的概形結構。
• 參數化具有固定首項理想 I∆ 的首一函子具有表示性，即使權重序中包含負權重。
• 當 torus 作用的第 i 個權重為非正時，Białynicki-Birula 概形在 Hilbert-Chow 擬態射的纖維 ρ−1_i(0) 中具有概形包含關係。
• 當 xi 整除對稱冪中的多項式時，乘法算子 xi 的矩陣行列式為零，這表明其在零點纖維中的概形包含關係。
• 證明構造了一組基，使得乘法算子 xi 的表示為嚴格下三角矩陣，從而確保若 xi 整除任一輸入多項式，則行列式為零。
• 結果表明，Hn(A3) 中某些 Białynicki-Birula 軌跡是不可約的，如通過在 Hilbert 模棧的不同不可約組件中構造分量所示。