[論文レビュー] Universality and stability of cohomology rings of Hilbert schemes of points on surfaces

Wei-Ping Li, Zhenbo Qin+1 more|arXiv (Cornell University)|Jul 19, 2001

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

ひとこと要約

本稿は、射影的表面 $X$ 上の $n$ 個の点のヒルベルト scheme $X^{[n]}$ のコホモロジー環に対する普遍的な公式を確立し、それが $X$ のコホモロジー環とその標準クラスにのみ依存することを示している。$n$ にわたる安定性を証明し、すべての $X^{[n]}$ コホモロジー構造をエンコードするヒルベルト環を構成しており、表面間のコホモロジー同型が標準クラスを保存する場合には同型が保たれることを示している。

ABSTRACT

We prove that the cohomology ring structure of the Hilbert scheme $X^{[n]}$ of n points on a projective surface X is determined in a universal way by the cohomology ring of X. In particular, if there exists an isomorphism of cohomology rings for two projective surfaces X and Y which matches the canonical classes, then the cohomology rings of the Hilbert schemes $X^{[n]}$ and $Y^{[n]}$ are isomorphic for every n. We further establish a remarkable stability of the cohomology rings of $X^{[n]}$ as n varies. This enables us to construct a Hilbert ring which depends on the ring $H^*(X)$ only and which encodes all the structures of the cohomology rings of $X^{[n]}$ for each n. In addition, we determine the structure of the Hilbert ring.

研究の動機と目的

• ヒルベルトスキーム $X^{[n]}$ のコホモロジー環構造が、表面 $X$ のコホモロジー環によって普遍的に決定されるかどうかを特定すること。
• 表面 $X$ と $Y$ 間のコホモロジー同型が標準クラスを保存する場合、$X^{[n]}$ と $Y^{[n]}$ のコホモロジー環に同型が誘導されるかどうかを調査すること。
• $n$ の変化に伴う $X^{[n]}$ コホモロジー環の安定性の性質を確立すること。
• $H^*(X)$ のみからすべての $X^{[n]}$ をエンコードするヒルベルト環を構成すること。
• このヒルベルト環の代数的構造を $H^*(X)$ の用語で特徴づけること。

提案手法

• コホモロジーにおける普遍的公式の使用により、$X^{[n]}$ の環構造を $H^*(X)$ で表現すること。
• 対称積およびヒルベルトスキームのコホモロジーにおける安定性現象の応用。
• $H^*(X)$ から構成される形式的代数的対象としてのヒルベルト環の構成により、すべての $X^{[n]}$ コホモロジー情報をエンコードすること。
• 表面間の同型における整合性を保つために、標準クラスの一致を用いること。
• 表面の幾何的・位相的不変量を用いて、$X^{[n]}$ コホモロジーにおける普遍的関係を導出すること。
• コホモロジー同型が標準クラスを保存する場合のファンクター性と不変性を用いて、普遍性の証明を行うこと。

実験結果

リサーチクエスチョン

• RQ1 表面の具体的な幾何構造に依存せず、$X$ のコホモロジー環のみによって $X^{[n]}$ のコホモロジー環が普遍的に決定可能か？
• RQ2 $H^*(X)$ と $H^*(Y)$ の間に同型が存在し、それが標準クラスを保存する場合、すべての $n$ に対して $H^*(X^{[n]})$ と $H^*(Y^{[n]})$ の間に同型が誘導されるか？
• RQ3 $n$ が増加するに従って、$X^{[n]}$ のコホモロジー環に一様な構造的パターンが存在するか、$X$ に依存しないか？
• RQ4 $H^*(X)$ のみからすべての $X^{[n]}$ のコホモロジー環データを捉えるのに適した代数的構造は何か？
• RQ5 ヒルベルト環はどのように構成され、$H^*(X)$ の用語でその定義的性質は何か？

主な発見

• $X^{[n]}$ のコホモロジー環は、$X$ のコホモロジー環とその標準クラスによって普遍的に決定される。
• 2つの表面 $X$ と $Y$ が同型なコホモロジー環を持ち、その標準クラスも一致するならば、すべての $n$ に対して $X^{[n]}$ と $Y^{[n]}$ のコホモロジー環は同型である。
• $n$ の変化に伴って $X^{[n]}$ のコホモロジー環は安定性を示し、一様な記述が可能になる。
• 与えられた表面 $X$ に対して、すべての $X^{[n]}$ のコホモロジー構造をエンコードするヒルベルト環が構成され、$H^*(X)$ のみに依存する。
• ヒルベルト環の構造は明示的に特定され、ヒルベルトスキームのコホモロジー理論における普遍的対象であることが示された。