[论文解读] On the construction of some Buchsbaum varieties and the Hilbert scheme of elliptic scrolls in P^5

Dolores Bazan, Emilia Mezzetti|ArXiv.org|May 17, 2000

Algebraic Geometry and Number Theory参考文献 3被引用 6

一句话总结

本文將Buchsbaum簇構造為P⁵上從平凡叢到Ω(2)扭轉余切叢的態射的退化點集，專注於橢圓正則曲面。本文建立從格拉斯曼簇G(2,14)到P⁵中橢圓曲面的Hilbert概形H的支配有理映射，顯示一般纖維的次數為四，並描述了與具有單次三次曲線的曲面相關的特殊線性複形族的幾何性質。

ABSTRACT

We study the degeneracy loci of general bundle morphisms from the direct sum of m copies of the structural sheaf on $P^n$ to $Ω(2)$, also from the point of view of the classical geometrical interpretation of the sections of $Ω(2)$ as linear line complexes. We consider in particular the case of $P^5$ with m=2, 3. For n=5 and m=3 we give an explicit description of the Hilbert scheme H of elliptic normal scrolls in $P^5$, by defining a natural rational map from the Grassmannian G(2,14) to H, which results to be dominant with general fibre of degree four.

研究动机与目标

• 研究一般態射O^⊕m → Ω_P^n(2)的退化點集作為算術Buchsbaum簇。
• 分析n=5且m=2,3的情形，特別聚焦於作為退化點集的橢圓正則曲面。
• 透過自然有理映射ρ: G(2,14) ⇢ H描述P⁵中橢圓正則曲面的Hilbert概形H，其中H為P⁵中橢圓曲面的Hilbert概形。
• 確定ρ的支配性及其纖維結構，特別是與單次三次曲線及特殊線性複形族的關係。
• 描述何時線性複形族的奇點集的余維數為2而非3，這是由於第二類特殊複形所致。

提出的方法

• 使用Eagon-Northcott複形構造退化點集X的結構層O_X的局部自由解析。
• 應用Ω_P^n(2)截面的經典幾何性質，將其解釋為P^n中的線性複形，以詮釋態射φ: O^⊕m → Ω_P^n(2)。
• 當n=5且m=3時，證明若退化點集X具有預期維數2，則X為六次橢圓正則曲面。
• 定義自然有理映射ρ: G(2,14) ⇢ H，其中H為P⁵中橢圓曲面的Hilbert概形，使用態射空間O^3 → Ω_P^5(2)。
• 透過研究具有給定橢圓曲面X作為奇點曲面的線性複形族數量，分析ρ的纖維。
• 使用幾何投影與纖維分析（例如p_k: X → P³）研究包含X中直線的特殊複形的結構。

实验结果

研究问题

• RQ1 有理映射ρ: G(2,14) ⇢ H（將態射映射至其退化點集）是否支配？其一般纖維的次數為何？
• RQ2 P⁵中橢圓曲面上的單次三次曲線的數量與類型如何影響以該曲面為奇點曲面的線性複形族的結構？
• RQ3 在何種條件下，線性複形族的奇點集余維數為2而非3？何種幾何配置會導致此現象？
• RQ4 能否顯式構造出四個以給定橢圓曲面X ⊂ P⁵為奇點曲面的線性複形族？當X具有一個或兩個單次三次曲線時，它們有何差異？
• RQ5 第二類特殊複形在線性複形族的奇點集中起何作用？它們如何影響奇點集的余維數？

主要发现

• 有理映射ρ: G(2,14) ⇢ H是支配的，一般纖維次數為四，確認了Fano所知的經典結果。
• 對於任意P⁵中僅具有兩個不同單次三次曲線的橢圓正則曲面X，恰好存在四個一般線性複形族，以X為奇點曲面。
• 當X僅有一個單次三次曲線或具有單參數族的單次三次曲線時，四個線性複形族中的一個包含第二類特殊複形，導致奇點集的余維數為2而非3。
• 此類線性複形族的奇點集為X與包含於族中的第二類特殊複形的奇點3維空間的並集。
• 對於類型2的曲面X（具有唯一單次三次曲線生成平面π），π中每條直線均屬於以X為奇點曲面的一般線性複形族Δ中的所有複形。
• 對於類型3的曲面X（同構於γ × P¹，其中γ為平面π中的三次曲線），存在一個單參數族{H_k}的特殊複形，每個H_k均以X中的一條直線k為奇點直線。