[论文解读] n-dimensional Fano varieties of wild representation type

Rosa M. Miró-Roig Joan Pons-Llopis|arXiv (Cornell University)|Nov 16, 2010

Algebraic Geometry and Number Theory被引用 6

一句话总结

该论文首次构造了所有 n ≥ 2 的 n 维 Fano 代数簇的野生表示型示例，具体为 ℙⁿ 在有限个点上的 Fano 滑移（blow-ups）。通过直接求积线丛之间满同态的核的拉回，证明了存在秩为 r 的简单、不可约的 ACM 向量丛族，其维数随 r² 增长，从而确认了野生表示型。在 del Pezzo 曲面情形（n=2），这些丛被证明是 Ulrich 丛，且在特定极化下 μ-稳定。

ABSTRACT

The aim of this work is to provide the first examples of $n$-dimensional varieties of wild representation type, for arbitrary $n\geq 2$. More precisely, we prove that all Fano blow-ups of $\PP^n$ at a finite number of points are of wild representation type exhibiting families of dimension of order $r^2$ of simple (hence, indecomposable) ACM rank $r$ vector bundles for any $r\geq n$. In the two dimensional case, the vector bundles that we construct are moreover Ulrich bundles and $μ$-stable with respect to certain ample divisor.

研究动机与目标

• 为所有 n ≥ 2 提供 n 维 Fano 代数簇的野生表示型的首个示例。
• 在 ℙⁿ 的有限个点处的 Fano 滑移上构造大量简单、不可约的 ACM 向量丛族。
• 证明这些丛族的维数随 r² 增长，从而确认野生表示型。
• 在 del Pezzo 曲面情形（n=2）下，建立所构造的丛为 Ulrich 丛，并在特定充分线丛下为 μ-稳定。
• 通过 Serre 对应关系表明，这些 Ulrich 丛可由指定长度的零维概形通过扩张序列构造得出。

提出的方法

• 将 ACM 向量丛构造为 ℙⁿ 上直接求积线丛之间满同态的核的拉回。
• 利用拉回构造将 ℙⁿ 到 Fano 滑移 X = Bl_Zℙⁿ 的态射上拉，保持 ACM 与简单性性质。
• 应用 Serre 对应关系，将 del Pezzo 曲面上的 Ulrich 丛与指定长度的零维概形 Z 关联。
• 分析理想层 sheaf I_{Z|X} 的极小自由解析，以计算此类丛的模空间维数。
• 基于 Hilbert 概形与 Grassmannian 的维数计数论证，计算丛族的维数为 r² + 1。
• 通过分析丛在某些充分线丛 H_n（n 足够大）上的限制行为，验证 μ-稳定性。

实验结果

研究问题

• RQ1 对所有 n ≥ 2，是否存在 n 维 Fano 代数簇的野生表示型？
• RQ2 能否在 ℙⁿ 的有限个点处的 Fano 滑移上构造出秩为 r 的简单、不可约的 ACM 向量丛族？
• RQ3 这些丛族的维数是否随 r² 增长，从而确认野生表示型？
• RQ4 在 del Pezzo 曲面情形下，所构造的丛是否满足 Ulrich 条件，并在特定极化下表现出 μ-稳定性？
• RQ5 能否通过 Serre 对应关系，从指定长度的零维概形恢复 Ulrich 丛的构造？

主要发现

• 对任意 n ≥ 2 和 r ≥ n，ℙⁿ 在有限个点上的 Fano 滑移 X = Bl_Zℙⁿ 具有简单、不可约的 ACM 向量丛族，其维数为：当 n 为偶数时为 (n+2)n−44r²−cr+c²+1，当 n 为奇数时为 ((n+2)n−4)r²−2cr+c²+1。
• 当 n=2（即 del Pezzo 曲面）时，所构造的丛形成一个 (r² + 1) 维的简单、不可约 Ulrich 丛族，其秩为 r。
• 这些 Ulrich 丛的陈类为 c₁ = rH，c₂ = (dr² + (2−d)r)/2，其中 d 为 del Pezzo 曲面的次数。
• 这些丛关于反 canonical 极化 H = −K_X 是 μ-半稳定，且关于 H_n = (n−3)e₀ + H（当 n 足够大时）是 μ-稳定。
• 该构造与 Serre 对应关系相容：Ulrich 丛可表示为 𝒪_X^{r−1} 到 I_{Z|X}(rH) 的扩张，其中 Z 是长度为 m(r) = (dr² + (2−d)r)/2 的零维概形。
• 通过 Hilbert 概形与 Grassmannian 上的维数计数，计算出此类丛的模空间维数为 r² + 1。