[論文レビュー] Toric Residues

David A. Cox|arXiv (Cornell University)|Oct 19, 1994

Algebraic Geometry and Number Theory被引用数 54

ひとこと要約

この論文は、可換代数およびドレーポールコhomologyの道具を用いて、射影空間から任意の射影的トーリック多様体への古典的剰余理論を一般化する。主な貢献は、トーリック剰余が特定の交線数に等しいことを確立することで、古典的剰余-ヤコビアン対応をトーリック幾何学へと拡張することにある。

ABSTRACT

In ${\bf C}^{n+1}$, one can show that the residue of $n+1$ homogeneous forms of the same degree equals the integral of a certain $(n,n)$ form over ${\bf P}^n$. Furthermore, the Jacobian of the forms has nonzero residue equal to a certain intersection number. In this paper, we generalize these results to an arbitrary projective toric variety. In particular, we define a toric version of the Jacobian and show that it has the correct properties, and we give various integral formulas for the toric residue. We also review some commutative algebra results of Batyrev and Danilov and discuss the relation between the trace map and the Dolbeault isomorphism.

研究の動機と目的

• 射影空間から任意の射影的トーリック多様体への古典的剰余理論の拡張。
• キーレジデュアル性質を保つトーリックヤコビアン行列式の類似物の定義。
• トーリック多様体上の(n,n)-形式の積分として表されるトーリック剰余を導出する。
• トーリック設定におけるトレース写像とドレーポール同型の関係を明確化する。
• バチレフとダニロフの可換代数的結果を、トーリック剰余の文脈で統合・解釈する。

提案手法

• 射影的トーリック多様体上のn+1個の同次形式に対して、トーリック版ヤコビアン行列式を定義する。
• ファンの構造とトーリック除部分の性質を用いて、トーリック剰余を計算する正規(n,n)-形式を構成する。
• 正則層から標準層へのトレース写像を適用し、剰余をコhomological不変量と関連付ける。
• ドレーポール同型を用いて、剰余をH^{n,n}(X)におけるコhomology類として解釈する。
• バチレフとダニロフのトーリック幾何における標準層と双対性に関する結果を活用し、剰余の不変性および双対性を確立する。
• トーリック剰余が特定の交線数に等しいことを示し、古典的状況を一般化する。

実験結果

リサーチクエスチョン

• RQ1 C^{n+1}におけるn+1個の同次形式の古典的剰余は、どのように任意の射影的トーリック多様体へ一般化できるか？
• RQ2 キーレジデュアル性質を保つ、ヤコビアン行列式の正しいトーリック類似物は何か？
• RQ3 トーリック多様体上の微分形式の積分として、どのようにトーリック剰余を表現できるか？
• RQ4 トーリック設定におけるトレース写像とドレーポール同型の関係は何か？
• RQ5 トーリック剰余の交線的性質は、トーリック幾何における標準層と双対性とどのように関係するか？

主な発見

• 射影的トーリック多様体上に存在するn+1個の同次形式のトーリック剰余は、その多様体全体での正規(n,n)-形式の積分に等しい。
• トーリックヤコビアンが定義され、適切な変換性を持つことが示され、剰余がトーリック自己同型に対して不変で定義可能であることが保証された。
• 剰余は特定の交線数に等しく、P^nにおける古典的結果を一般化する。
• 正則層上のトレース写像は、ドレーポール同型を介して剰余に対応し、コhomological構造と代数的構造を結びつける。
• バチレフとダニロフの可換代数的枠組みが、トーリック剰余の文脈に拡張され、代数的および幾何的視点を統合した。