[論文レビュー] The canonical strip, I

Vasily Golyshev|ArXiv.org|Mar 11, 2009

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

ひとこと要約

本稿では、ファノ多様体に対する正準ストリップ仮説を導入し、ファノ多様体がこの仮説を満たすならば、その埋め込みカルビ・ヤウまたは一般型超曲面のヒルベルト多項式の零点が垂直線 Re(z) = -1/2 上に位置することを示した。これは、ヴィルレガスの「多項式リーマン仮説」をグラスマンニアンや高次元の場合に拡張するものである。主な結果は、ヒルベルト多項式の関数方程式による議論を通じて、埋め込み多様体に対する垂直線仮説を確立するものである。

ABSTRACT

We introduce a canonical strip hypothesis for Fano varieties. We show that the canonical strip hypothesis for a Fano variety implies that the zeros of the Hilbert polynomial of embedded Calabi--Yau and general type hypersurfaces are located on a vertical line. This extends, in particular, Villegas's `polynomial RH' for intersections in projective spaces to the case of CY and general type hyperplane sections in Grassmannians. We state a few conjectures on the Ehrhart polynomials of certain fan polytopes.

研究の動機と目的

• 正則定理の一般化として、ファノ多様体に対する正準ストリップ仮説を定式化し、その性質を調査すること。
• ヴィルレガスの「多項式リーマン仮説」を、ファノ多様体内の埋め込みカルビ・ヤウおよび一般型超曲面に拡張すること。
• 正準除 canonical divisor およびチャーン類との関連で、ヒルベルト多項式の零点の位置を調査すること。
• 滑らかなトーリックファノ多様体のファン多面体のエーリヒャー多項式がすべて Re(z) = -1/2 上に零点を持つという予想を提示すること。
• ルース・ハーヴィッツの基準が、チャーン数の不等式を用いて正準ストリップおよび狭義正準ストリップ仮説を特徴づけることができるかを検討すること。

提案手法

• ヒルベルト多項式 H(z) の根の実部に基づいて、正準ストリップ仮説 (CS)、狭義正準ストリップ (NCS)、正準直線仮説 (CL) を定義する。
• リーマン・ローチ・ヒルツブルーフの公式を用いて、表面および3次元多様体の H(z) を計算し、根をチャーン類 c₁ および c₂ で表現する。
• ファノ多様体 F が (CS) を満たす場合、|−nK_F| 内の一般型またはカルビ・ヤウ的超曲面 X のヒルベルト多項式 H_r(z) が H_r(z) = H_F(z) − H_F(z−n) を満たすことを証明する。
• 関数方程式の補題を確立する：H(z) が H(−1−z) = ±H(z) を満たし、すべての根が左半平面にあるならば、H(z) − H(z−s) のすべての根は Re(z) = (s−1)/2 上にある。
• この補題を応用して、ファノ多様体（例えば、グラスマンニアン）内の埋め込み超曲面が正準直線仮説 (CL) を満たすことを示す。
• ヒルツブルーフの公式を用いて、グラスマンニアン G(k,N) のヒルベルト多項式を計算し、根が z = −i/(n+1) に位置することを確認することで、グラスマンニアンにおける (NCS) を検証する。

実験結果

リサーチクエスチョン

• RQ1 正準ストリップ仮説 (CS) はすべてのファノ多様体で成り立つか、それとも反例が存在するか？
• RQ2 次元 4 以上において、狭義正準ストリップ仮説 (NCS) はチャーン数の不等式によって特徴づけられるか？
• RQ3 次元 1〜5 の滑らかなトーリックファノ多様体のファン多面体のエーリヒャー多項式は、すべて Re(z) = −1/2 上に零点を持つのか？
• RQ4 ヨウの定理または幾何的不等式の階層を用いて、正準ストリップまたは狭義正準ストリップ仮説を証明できるか？
• RQ5 ヒルベルト多項式の根が複素平面上の垂直線上に位置するように保証する一般な関数方程式の条件は存在するか？

主な発見

• 正準ストリップ仮説を満たすファノ多様体 F に対して、|−nK_F| 内の任意の一般型またはカルビ・ヤウ的超曲面 X のヒルベルト多項式 H_r(z) の零点は、垂直線 Re(z) = (n−1)/2 上に位置する。
• 正準直線仮説 (CL) は、ヒルベルト多項式 H(z) = 1/2 h² z² + 2 である埋め込み K3 表面（極線形系 h による）に対して成り立つ。
• デル・ペッツォ表面では、狭義正準ストリップ仮説 (NCS) が成り立つ。これは、c₁² ≤ 3c₂ が成り立ち、等号は P² のみで成立するためである。
• 3次元多様体において、ファノ3次元多様体に対して NCS 仮説が成り立つ。これは、max(−2c₁c₂/c₁³) = −3/4 が P³ で達成されるためである。
• N ≥ 2k を満たすグラスマンニアン G(k,N) に対して正準直線仮説が成り立つ。そのヒルベルト多項式の根は z = −i/(n+1)（i = 1,…,n）に位置する。
• 本稿では、次元 1〜5 の滑らかなトーリックファノ多様体のファン多面体のエーリヒャー多項式がすべて Re(z) = −1/2 上に零点を持つと予想しており、次元 1〜2 および 3 で確認されている。