[논문 리뷰] Motivic and cohomological stabilisation of the Quot scheme of points

Michele Graffeo, Sergej Monavari외 2명|arXiv (Cornell University)|2026. 01. 28.

Algebraic Geometry and Number Theory인용 수 0

한 줄 요약

저자들은 배경 차원이 무한대로 커질 때 아핀 공간의 점들에 대한 Quot 스킴의 모티브(motivic) 및 코호몰로지 안정화 결과를 증명하고, 모티브를 무한 그라스만 다양체들로 표현하며 극한에서의 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 스킴의 점들에 대한 안정화 현상을 동기 부여하고 연구한다.
• 다 Varieties의 Grothendieck 링에서 punctual Quot 스킴의 극한을 이해하기 위한 모티브 프레임워크를 제공한다.
• 극한 모티브를 무한 그라스만으로 연결하고 관련 코호몰로지 불변량을 계산한다.
• A^∞에서 Quot 스킴의 코호호 Pandharipande의 질문에 대해 모티브적 및 코호몰로지적 극한을 비교하여 대답한다.

제안 방법

• 아핀 공간에서 punctual 및 linear Quot 스킴을 정의하고 다룬다.
• Hilbert–Samuel 함수로 층화하고 선형 로커스를 분석하여 명시적 모티브 표현을 얻는다.
• ind-scheme에 대한 일반화된 Białynicki-Birula 분해를 사용하여 층의 기여를 제어한다.
• Grothendieck 링의 L-adic 완비에서 극한을 계산하고 명시적 공식을 추출한다.
• punctual 모티브를 [Gr(d−1, ∞)]와 Lefschetz 모티브 합으로 연결하고 층화로부터 Poincaré 시퀀스를 도출한다.
• 결과를 nested Hilbert scheme의 경우로 확장하고 무한 체 Variety와 한정한다.

실험 결과

연구 질문

• RQ1 배경 차원이 무한대로 갈 때 punctual Quot 스킴의 모티브가 안정화되는가, 그렇다면 극한 표현은 무엇인가?
• RQ2 A^n에서 Quot 스킴의 Poincaré 다항식이 무한 그라스만으로 표현되는 computable한 극한으로 안정화되는가?
• RQ3 Nested Hilbert scheme에 대해 모티브적 및 코호몰로지적 안정화 현상을 기술할 수 있으며 무한 체 Variety로 수렴하는가?
• RQ4 극한의 코호호지 구조가 Pandharipande의 H*(Quot^d(O^⊕r_{A^∞}))와 같은 예측과 일치하는가?

주요 결과

• The motive of the punctual Quot scheme stabilises: [Quot^d(O^⊕r_{A^∞})_0] = [Gr(d−1, ∞)] · ∑_{i=0}^{r−1} L^{di} in the completed Grothendieck ring.
• The limit of the LQuot (linear locus) motive exists and equals [Gr(d−1, ∞)] · ∑_{i=0}^{r−1} L^{di}.
• Poincaré polynomial of Quot^d(O^⊕r_{A^n}) stabilises and is computable in terms of the infinite Grassmannian; explicit formula given: P(Quot^d(O^⊕r_{A^∞}), z) = (∏_{k=1}^{d−1} 1/(1−z^{2k})) · ∑_{i=0}^{r−1} z^{2di}.
• For the nested Hilbert scheme, the motive stabilises to the motive of the infinite flag variety, and the cohomology ring stabilises to a polynomial ring in Tate generators with explicit degrees.
• There is evidence supporting a positive answer to Pandharipande’s question by showing the limiting cohomology rings agree with the expected graded structures.
• The mixed Hodge structure on the relevant cohomology is pure of Tate type for the linear locus, with torsion-free integral cohomology in the considered limits.