[论文解读] The Torelli problem for Logarithmic bundles of hypersurface arrangements in the projective space

Elena Angelini|arXiv (Cornell University)|Jun 5, 2015

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

一句话总结

本文研究了在射影空间中关于超平面排列的对数丛的Torelli问题，重点关注直线、圆锥曲线及高次超平面。文章建立了在何种条件下对数丛可唯一确定排列（至同构），证明了在ℙ²中具有横截相交的直线-圆锥曲线排列，其同构的对数丛不能唯一确定排列，并通过三次多项式与极化条件给出了显式构造。

ABSTRACT

Let $ \mathcal{D} = \{D_{1}, \ldots, D_{\ell}\} $ be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space $ \mathbb{P}^{n} $ and let $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ be the logarithmic bundle attached to it. Our aim is to study the injectivity of the correspondence $ \mathcal{D} \longrightarrow Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $. In order to do that, we first show that $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $ admits a resolution of length $ 1 $ depending on the degrees and on the equations of $ D_{1}, \ldots, D_{\ell} $. Then, we prove a Torelli type theorem when $ \mathcal{D} $ has a sufficiently large number of components of the same degree $ d $, by recovering them as unstable smooth irreducible degree-$d$ hypersurfaces of $ Ω^{1}_{\mathbb{P}^{n}}(log \mathcal{D}) $. The cases of one quadric and a pair of quadrics in $ \mathbb{P}^{n} $ are not Torelli; in particular, through a duality argument, we prove that the isomorphism class of the logarithmic bundle attached to a pair of quadrics is determined by the tangent hyperplanes to the pair. Finally, by describing the moduli spaces containing $ Ω^{1}_{\mathbb{P}^{2}}(log \mathcal{D}) $, we show that some line-conic arrangements are not of Torelli type.

研究动机与目标

• 确定对数丛Ω¹(log 𝒟)的同构类在何种条件下唯一确定射影空间中超平面排列𝒟。
• 将Torelli问题从超平面排列推广至圆锥曲线及更高次超平面。
• 分析ℙ²中直线-圆锥曲线排列的情形，识别出同构的对数丛不蕴含同构排列的条件。
• 通过三次多项式显式构造满足对数丛导出的极化条件的偏导数关系。

提出的方法

• 使用Saito对非横截相交排列的一般对数微分形式定义。
• 应用跳跃线与稳定性概念分析对数丛的结构。
• 将问题约化为求解圆锥曲线与三次多项式系数的线性方程组。
• 采用偏微分方程的积分技术，从给定系数条件重构三次多项式g。
• 使用矩阵表示（9×9）分析方程组的解空间，表明解空间维数为一。
• 依赖Hermite定理（1868年）将圆锥曲线的线性系解释为关于三次曲线的极化圆锥曲线。

实验结果

研究问题

• RQ1 在何种条件下，对数丛Ω¹(log 𝒟)的同构类可确定ℙⁿ中的排列𝒟？
• RQ2 ℙ²中两个非同构的直线-圆锥曲线排列能否具有同构的对数丛？
• RQ3 在对数丛背景下，连接圆锥曲线与三次多项式系数的方程组的解空间维数是多少？
• RQ4 极化条件∂ᵢg = xᵢ∂ᵢf如何反映对数丛的结构？
• RQ5 直线-圆锥曲线排列的对数丛在多大程度上不满足Torelli性质？

主要发现

• 对于ℙ²中具有横截相交的直线-圆锥曲线排列，同构的对数丛不蕴含同构的排列，通过显式例子得以证明。
• 连接圆锥曲线与三次多项式系数的方程组的解空间维数为一，表明重构过程存在非唯一性。
• 可通过积分偏微分条件显式构造三次多项式g，所得解满足∂₀g = x₀∂₀f，∂₁g = x₁∂₁f，∂₂g = x₂∂₂f。
• 该构造证实，两个不同的直线-圆锥曲线排列可产生同构的对数丛，即使排列本身不同构。
• 结果与Hermite定理一致，表明圆锥曲线的线性系可作为关于三次曲线的极化圆锥曲线线性系。
• 在对角化圆锥曲线的情形下，对数丛同构于Fermat三次曲线的对数丛，解释了此类排列在Torelli问题中的非唯一性。