[论文解读] Hilbert schemes of points for associative algebras

Michael Larsen, Valery A. Lunts|arXiv (Cornell University)|May 12, 2012

Advanced Topics in Algebra参考文献 4被引用 3

一句话总结

本文为交换环 k 上的有限生成结合代数 𝒜 构造了 n 个点的 Hilbert 模式，该模式参数化余维数为 n 的左理想。引入了一个带有自由 GLₙ 作用的拟仿射‘基于 Hilbert 模式’，其商空间即为所需的 Hilbert 模式，通过显式几何构造证明该商空间在仿射基上是射影的，且不依赖几何不变量理论。

ABSTRACT

For a finitely generated associative algebra $\cA$ over a commutative ring $k$ we construct the Hilbert scheme ${\bf H}^{[n]}_{\cA}$ which parametrizes left ideals in $\cA$ of codimension $n.$

研究动机与目标

• 为交换环 k 上的有限生成结合代数 𝒜 构造 n 个点的 Hilbert 模式。
• 通过几何模空间参数化 𝒜 中余维数为 n 的左理想。
• 引入一个‘基于 Hilbert 模式’，用于参数化在商模中具有选定基的此类理想。
• 证明基于 Hilbert 模式的 GLₙ 作用商空间即为所需的 Hilbert 模式，且该商空间是射影的。
• 提供一种显式构造方法，不依赖几何不变量理论，仅使用代数与几何技巧。

提出的方法

• 定义函子 𝔐̃^{[n]}_𝒜，将其作用于每个 k-概形 X，映射到三元组 (M, v, B) 的等价类集合，其中 M 是 𝒜_X-模的局部自由模，秩为 n，B 是 M 作为 𝒪_X-模的基，v 生成 M 作为 𝒜_X-模。
• 将通用参数空间构造为开子概形 U ⊂ W × V（其中 W = Spec k[t_{ij}^s]，V = Spec k[y₁,…,yₙ]）与表示概形 Rep^{[n]}_𝒜 × V 的交集，其中 Rep^{[n]}_𝒜 参数化 𝒜 的 n 维表示。
• 将基于 Hilbert 模式 𝔥̃^{[n]}_𝒜 定义为概形 U ∩ (Rep^{[n]}_𝒜 × V)，其为拟仿射概形，并带有自然的自由 GLₙ-作用。
• 证明商映射 π: 𝔥̃^{[n]}_𝒜 → 𝔥^{[n]}_𝒜 是 Zariski 局部平凡的 GLₙ-主丛，因此 𝔥^{[n]}_𝒜 是商概形。
• 通过证明其为拟仿射概形在自由 GLₙ-作用下的商，证明 𝔥^{[n]}_𝒜 是仿射基上的射影概形。
• 利用下降理论与等变层理论，建立在商概形上的拟相干层范畴与在全空间上的 GLₙ-等变拟相干层范畴之间的等价关系。

实验结果

研究问题

• RQ1 如何为交换环 k 上的有限生成结合代数 𝒜 构造一个参数化余维数为 n 的左理想的模空间？
• RQ2 非交换代数的 n 个点 Hilbert 模式的几何结构是什么？与交换情形有何不同？
• RQ3 是否可以显式构造 Hilbert 模式而不使用几何不变量理论？
• RQ4 在商模中选择基在构造中起什么作用？其与 GLₙ 作用商的关系如何？
• RQ5 所得到的 Hilbert 模式是否在仿射基上是射影的？若是，在何种条件下成立？

主要发现

• 基于 Hilbert 模式 𝔥̃^{[n]}_𝒜 是拟仿射概形，并带有自由 GLₙ-作用，因此是商概形 𝔥^{[n]}_𝒜 上的主 GLₙ-丛。
• 商概形 𝔥^{[n]}_𝒜 同构于 𝔥̃^{[n]}_𝒜 关于 GLₙ-作用的商，且该商是 k 上的良好定义的概形。
• 当 k 是诺特环时，Hilbert 模式 𝔥^{[n]}_𝒜 是仿射概形上的射影概形，通过构造一个非常 ample 线丛得以证明。
• 该构造是显式的，不依赖几何不变量理论，而是基于表示概形与行列式条件。
• 在 𝔥̃^{[n]}_𝒜 上的普遍族由一个秩为 n 的局部自由 𝒜_X-模给出，该模具有全局生成元与基，满足所需的普遍性质。
• 通过主丛 π 的下降，商概形 𝔥^{[n]}_𝒜 上的拟相干层范畴与基于 Hilbert 模式 𝔥̃^{[n]}_𝒜 上的 GLₙ-等变拟相干层范畴之间存在等价关系。