[论文解读] Logarithmic Bundles Of Hypersurface Arrangements In P^n

Elena Angelini|arXiv (Cornell University)|Apr 21, 2013

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

本文建立了 $ olimits\mathbf{P}^n$ 中超曲面排列的对数丛的长度 1 分解，当所有超曲面的次数均为 $d$ 且 $ olimits\ell \geq \binom{n+d}{d} + 3$ 时，实现了排列的 Torelli 型重构。证明了当排列的 Veronese 变换分量满足特定条件时，此类排列是 Torelli 排列，并对两对二次曲面提供了完整分类：两对这样的二次曲面具有同构的对数丛，当且仅当它们具有相同的切超平面。

ABSTRACT

Let D = {D_{1},...,D_{l}} be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space P^n and let Ω^{1}_{P^n}(log D) be the logarithmic bundle attached to it. Following [1], we show that Ω^{1}_{P^n}(log D) admits a resolution of lenght 1 which explicitly depends on the degrees and on the equations of D_{1},...,D_{l}. Then we prove a Torelli type theorem when all the D_{i}'s have the same degree d and l >= {{n+d} \choose {d}}+3: indeed, we recover the components of D as unstable smooth hypersurfaces of Ω^{1}_{P^n}(log D). Finally we analyze the cases of one quadric and a pair of quadrics, which yield examples of non-Torelli arrangements. In particular, through a duality argument, we prove that two pairs of quadrics have isomorphic logarithmic bundles if and only if they have the same tangent hyperplanes.

研究动机与目标

• 为具有法向交叉的超曲面排列的对数丛 $\Omega^1_{\mathbf{P}^n}(\log\mathcal{D})$ 建立长度 1 的分解。
• 研究对数丛的 Torelli 问题，具体而言，判断排列 $\mathcal{D}$ 是否能从 $\Omega^1_{\mathbf{P}^n}(\log\mathcal{D})$ 重构。
• 对非 Torelli 排列进行分类，特别是针对一个或两个二次曲面，并确定对数丛同构的条件。
• 通过基于对偶性的方法，将关于超平面排列的已知结果推广到高次超曲面。
• 通过其在对偶空间中的切超平面，刻画成对二次曲面的对数丛的同构类。

提出的方法

• 利用超曲面 $D_1, \ldots, D_\ell$ 的次数和定义方程，构造 $\Omega^1_{\mathbf{P}^n}(\log\mathcal{D})$ 的长度 1 分解。
• 将该分解应用于重新推导超平面排列的已知结果，表明与 Dolgachev–Kapranov 及 Vallès 的先前工作一致。
• 使用不稳定超曲面的概念——这是超平面情形下不稳定超平面的推广——从对数丛中重构 $\mathcal{D}$ 的分量。
• 使用 $d$ 次 Veronese 嵌入，将超曲面映射到 $\mathbf{P}^{\binom{n+d}{d}-1}$ 中的点，从而以线性系统的方式研究排列。
• 通过同时对角化和对偶性分析成对的二次曲面，将同构问题简化为在对偶射影空间中比较其对偶二次曲面。
• 推导出明确的代数条件（例如关系式 (45)–(48)），以确定何时两个对数丛同构，特别是针对二次曲面对。

实验结果

研究问题

• RQ1 在什么条件下，$ olimits\mathbf{P}^n$ 中超曲面排列 $\mathcal{D}$ 的分量可从对数丛 $\Omega^1_{\mathbf{P}^n}(\log\mathcal{D})$ 重构？
• RQ2 在什么情况下，对数丛 $\Omega^1_{\mathbf{P}^n}(\log\mathcal{D})$ 足够确定排列 $\mathcal{D}$ 的同构类（即 $\mathcal{D}$ 是 Torelli 排列）？
• RQ3 对于 $\ell$ 个相同次数 $d$ 的光滑超曲面的排列，使得 $\mathcal{D}$ 为 Torelli 的最小 $\ell$ 是多少？以及存在哪些例外情况？
• RQ4 在什么情况下，$ olimits\mathbf{P}^n$ 中的两对光滑二次曲面会产生同构的对数丛？
• RQ5 两个二次曲面的切超平面如何与它们的对数丛的同构类相关联？

主要发现

• 对数丛 $\Omega^1_{\mathbf{P}^n}(\log\mathcal{D})$ 具有长度 1 的分解，其显式依赖于超曲面 $D_1, \ldots, D_\ell$ 的次数和方程。
• 对于 $\ell \geq \binom{n+d}{d} + 3$ 个相同次数 $d$ 的超曲面排列，除了涉及 Veronese 嵌入的一个特殊情况外，$\mathcal{D}$ 的分量均可作为 $\Omega^1_{\mathbf{P}^n}(\log\mathcal{D})$ 的不稳定超曲面被重构。
• 单个二次曲面无法构成 Torelli 排列，因为对数丛不能唯一确定该二次曲面。
• 对于二次曲面对，$\Omega^1_{\mathbf{P}^n}(\log\mathcal{D}_1) \cong \Omega^1_{\mathbf{P}^n}(\log\mathcal{D}_2)$ 当且仅当两对具有相同的切超平面。
• 一对二次曲面对的对数丛的同构类完全由其在对偶射影空间中公共切超平面的配置决定。
• 在 $ olimits\mathbf{P}^2$ 中，成对二次曲面对的归一化对数丛的模空间的维数等于确定四条直线（切超平面）所需的参数个数，从而通过切线确认了分类结果。