[論文レビュー] 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問題を拡張すること。
• ℙ²における直線・二次曲線配置のケースを分析し、同型な対数バンドルが同型な配置を意味しない条件を同定すること。
• 対数バンドルから導かれる極化条件と一致する部分導関数を持つ明示的立方多項式gの構成。

提案手法

• 非正規交叉配置に対して、Saitoの一般定義に従い対数微分形式を用いる。
• ジャンピングラインおよび安定性の概念を用いて対数バンドルの構造を分析する。
• 二次曲線および立方多項式の係数に関する線形方程式系に問題を還元する。
• 偏微分方程式の積分技術を用いて、与えられた係数条件から立方多項式gを再構成する。
• 9×9の行列表現を用いて方程式系の解空間を分析し、1次元の解空間であることを示す。
• Hermiteの定理（1868年）に依拠し、二次曲線のネットを立方曲線に関する極二次曲線のネットとして解釈する。

実験結果

リサーチクエスチョン

• RQ1 ℙⁿにおける対数バンドルΩ¹(log 𝒟)の同型類が、配置𝒟を決定する条件は何か？
• RQ2 ℙ²における非同型な直線・二次曲線配置が、同型な対数バンドルを持つことは可能か？
• RQ3 対数バンドルの文脈において、二次曲線と立方多項式の係数を結ぶ方程式系の解空間の次元は何か？
• RQ4 極化条件∂ᵢg = xᵢ∂ᵢfは、対数バンドルの構造にどのように関係するか？
• RQ5 直線・二次曲線配置の対数バンドルがTorelli問題をどれほど失敗する可能性があるか？

主な発見

• 正規交叉をもつℙ²における直線・二次曲線配置について、同型な対数バンドルが配置を同型に決定しないことが、明示的例によって示された。
• 二次曲線と立方多項式の係数を結ぶ方程式系の解空間は次元1であることが判明し、再構成における非一意性を示している。
• 偏微分条件の積分により立方多項式gを明示的に構成でき、∂₀g = x₀∂₀f、∂₁g = x₁∂₁f、∂₂g = x₂∂₂fを満たす解が得られた。
• 構成により、異なる2つの直線・二次曲線配置が同型な対数バンドルを持つことが確認され、配置同士が同型でない場合でも成立する。
• この結果はHermiteの定理と整合しており、二次曲線のネットが立方曲線に関する極二次曲線のネットとして生じることを示している。
• 対角化された二次曲線の場合、対数バンドルはフェルマーの立方曲線のそれと同型であることが説明され、このような配置におけるTorelli問題の非一意性が解明された。