[論文レビュー] Logarithmic vector fields along smooth plane cubic curves

Kazushi Ueda, Masahiko Yoshinaga|ArXiv.org|Oct 10, 2007

Advanced Differential Equations and Dynamical Systems参考文献 5被引用数 7

ひとこと要約

本稿では、$j$-不変量が非ゼロであるときかつそのときに限り、滑らかな平面三次曲線における対数ベクトル場の層が曲線を一意に決定することを示すことにより、滑らかな平面三次曲線に対してTorelli型定理を確立する。証明では、この層のジャンピング直線を三次曲線のCayleyan曲線と関連付け、Hesse形式の構造とコhomological双対性を用いて、$j$-不変量が非ゼロであることにより、曲線が層から再構成可能であることを示す。一方、$j$-不変量がゼロの場合は、非同型の曲線に対しても同型の層を持つ非Torelli例が生じる。

ABSTRACT

We study the sheaves of logarithmic vector fields along smooth cubic curves in the projective plane, and prove a Torelli-type theorem in the sense of Dolgachev-Kapranov for those with non-vanishing j-invariants.

研究の動機と目的

• 滑らかな平面三次曲線$D$に沿う対数ベクトル場の層$\mathcal{T}(-\log D)$が$D$を同型を除いて一意に決定する条件を同定すること（Torelli性質）。
• この層を通じて曲線を区別する際の$j$-不変量の役割を分析すること。
• ジャンピング直線とCayleyan曲線の幾何学的性質を用いて、$\mathbb{P}^2$内の滑らかな三次曲線に対してTorelli型結果を確立すること。
• 特に$j(D) = 0$のとき、層$\mathcal{T}(-\log D)$が$D$を再構成できない条件を同定すること。

提案手法

• de Rham–Saitoの補題を用いて、微分形式のモジュール上の複体$df \wedge \cdot$のコホモロジーを分析する。
• $D_0(-\log f)$を$\Omega^2$上での$df \wedge$の核として特定し、対数ベクトル場の自由分解を導出する。
• 条件$a_i \partial_i f \in \alpha \cdot V^*$を用いて、$\mathcal{T}(-\log D)$のジャンピング直線の集合を、$D$のCayleyan曲線と同一視する。
• $\alpha_0\alpha_1\alpha_2 = 0$の形のHesse型三次曲線としてCayleyan曲線を表現し、$j(D) \neq 0$のとき滑らかであり、$j(D) = 0$のとき特異的であることを示す。
• 別の三次曲線$E$への対数層の制限を用い、双対性を介して$H^0(\mathcal{F}|_E)$を、$g$が$J(f)_3$の3次部分に属するかどうかと関連付ける。
• Hesse形式における明示的計算により、$J(f_t)_3$が線形条件$a_{012} + t(a_{000} + a_{111} + a_{222}) = 0$によって定義されることを示し、同型の層を持つ曲線の比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 滑らかな平面三次曲線$D$に沿う対数ベクトル場の層$\mathcal{T}(-\log D)$は、いつ$D$を同型を除いて一意に決定するか？
• RQ2 滑らかな三次曲線の$j$-不変量は、そのCayleyan曲線および$\mathcal{T}(-\log D)$のジャンピング直線の幾何学的性質とどのように関係するか？
• RQ3 滑らかな平面三次曲線に対してTorelli性質が成立しないことはあり得るか？ もしあるならば、どのような条件下で成立しないか？
• RQ4 $j(D) = 0$のとき、層$\mathcal{T}(-\log D)$の構造はどのようなものであり、曲線の再構成にどのように影響するか？
• RQ5 同型の層$\mathcal{T}(-\log D)$を持つが、非同型の滑らかな三次曲線は存在するか？

主な発見

• 層$\mathcal{T}(-\log D)$が滑らかな三次曲線$D$を一意に決定するのは、$D$の$j$-不変量が非ゼロであるときかつそのときに限る。
• $\mathcal{T}(-\log D)$のジャンピング直線の集合は、$D$のCayleyan曲線と一致し、これは双対平面におけるHesse型の三次曲線である。
• $j(D) \neq 0$のとき、Cayleyan曲線は滑らかであり、$D$を3通りの可能性まで決定するが、ジャンピング三次曲線の集合によってこれらが一意に特定される。
• $j(D) = 0$のとき、Cayleyan曲線は一般位置にある3本の直線に退化し、層$\mathcal{T}(-\log D)$はTorelli性質を満たさない。
• すべての$a,b,c \in \mathbb{C}^\times$に対して$az_0^3 + bz_1^3 + cz_2^3 = 0$で定義される滑らかな三次曲線の族は、すべて同じCayleyan曲線$\alpha_0\alpha_1\alpha_2 = 0$を持つため、同型の対数層を持ち、この場合Torelli性質が成立しないことを示している。