[論文レビュー] Motivic and cohomological stabilisation of the Quot scheme of points

Michele Graffeo, Sergej Monavari+2 more|arXiv (Cornell University)|Jan 28, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

著者らは、環境次元が無限大に発展するにつれてアフィンスペース上の点のQuot schemeのモチーフ的およびコーヘモロジー的安定化を証明し、モチーフを無限Grassmanniansで表し、極限でPoincaré多項式とコーホモロジー環を計算する。

ABSTRACT

We prove that the motive of the punctual Quot scheme $\mathrm{Quot}^d(\mathscr O^{\oplus r}_{\mathbb A^n})_0$ stabilises, when $n o \infty$, to $[\mathrm{Gr}(d-1,\infty)]\cdot \sum_{i=0}^{r-1}\mathbb L^{di}$. We similarly show that the Poincaré polynomial of the Quot scheme $ \mathrm{Quot}^d(\mathscr O^{\oplus r}_{\mathbb A^n})$ stabilises and we compute the limit in terms of the infinite Grassmannian. Finally, we prove that the motive of the nested Hilbert scheme stabilises to the motive of the infinite flag variety and we compute the cohomology ring in the limit. These results provide affirmative evidence to a question of Pandharipande concerning the cohomology of Quot schemes on $\mathbb A^\infty$.

研究の動機と目的

• 環境次元が増加するにつれて点のQuot schemesの安定化現象を動機づけて研究する。
• .varietiesのGrothendieck環における点のQuot schemeの極限を理解するためのモチーフ的枠組みを提供する。
• 極限モチーフを無限Grassmanniansと結びつけ、関連するコーホモロジ的不変量を計算する。
• PandharipandeのA^∞上のQuot schemesのコーホモロジーに関する問いに対して、モチーフ的およびコーホモロジー的極限を比較することで答える。

提案手法

• アフィンスペース上のポイント効果のQuot schemes（punctual および linear Quot schemes）を定義し、操作する。
• Hilbert–Samuel関数で層別化し、線形領域を分析して明示的なモチーフ表現を得る。
• ind-schemeに対する一般化Białynicki–Birula分解を用いて層の寄与を制御する。
• Grothendieck環のL-adic完備で極限を計算し、明示的な式を抽出する。
• punctualモチーフを[Gr(d−1, ∞)]とLefschetzモチーフの和に関連付け、階層分解からPoincaré系列を推定する。
• 結果をnested Hilbert scheme場合へ拡張し、無限フラグ多様体と同一視する。

実験結果

リサーチクエスチョン

• RQ1 環境次元が無限大へと増加する際にpunctual Quot schemeのモチーフは安定し、その極限表現は何か。
• RQ2 A^n上のQuot schemesのPoincaré多項式は無限Grassmanniansに関する可算可能な極限へ安定するか。
• RQ3 nested Hilbert schemeについてモチーフ的およびコーホモロジー的安定化現象を記述でき、無限フラグ多様体へ収束するか。
• RQ4 pandharipandeのH*(Quot^d(O^⊕r_{A^∞}))の予想と類似した予測と一致するか、極限コーホモロジー構造が満たされるか。

主な発見

• punctual Quot schemeのモチーフは安定化する： [Quot^d(O^⊕r_{A^∞})_0] = [Gr(d−1, ∞)] · ∑_{i=0}^{r−1} L^{di} in the completed Grothendieck ring.
• LQuot（線形領域）のモチーフの極限が存在し、[Gr(d−1, ∞)] · ∑_{i=0}^{r−1} L^{di} に等しい。
• Quot^d(O^⊕r_{A^n})のPoincaré多項式は安定化し、無限Grassmannianに関して計算可能である；明示的な式は次のとおり：P(Quot^d(O^⊕r_{A^∞}), z) = (∏_{k=1}^{d−1} 1/(1−z^{2k})) · ∑_{i=0}^{r−1} z^{2di}。
• nested Hilbert schemeについて、モチーフは無限フラグ多様体のモチーフへ安定化し、コーホモロジー環はTate生成子の多項式環へ安定化する（次数は明示的である）。
• limitingコーホモロジー環がPandharipandeの問いの期待と一致するような階級構造に依存する予想を支持する証拝がある。
• 関連するコーホモロジーの混成Hodge構造は線形領域に対してPure of Tate typeであり、上記の極限で積分的なtorsion-freeコーホモロジーを持つ。