[論文レビュー] Rational Hypergeometric Functions

Eduardo Cattani, Alicia Dickenstein+1 more|ArXiv.org|Nov 4, 1999

Algebraic Geometry and Number Theory参考文献 11被引用数 10

ひとこと要約

この論文は、トーリック多様体に関連する有理超幾何関数を調査し、その分母がケイリー構成からの特別な判別式である結果式の積であることを証明している。すべてのトーリック結果式が、ある有理超幾何関数の分母に現れることを示し、トーリック超曲面および3次元のトーリック多様体について、トーリック残留理論を用いてその予想を確認した。

ABSTRACT

Multivariate hypergeometric functions associated with toric varieties were introduced by Gel'fand, Kapranov and Zelevinsky. Singularities of such functions are discriminants, that is, divisors projectively dual to torus orbit closures. We show that most of these potential denominators never appear in rational hypergeometric functions. We conjecture that the denominator of any rational hypergeometric function is a product of resultants, that is, a product of special discriminants arising from Cayley configurations. This conjecture is proved for toric hypersurfaces and for toric varieties of dimension at most three. Toric residues are applied to show that every toric resultant appears in the denominator of some rational hypergeometric function.

研究の動機と目的

• トーリック多様体上で定義された有理超幾何関数の分母の構造を理解すること。
• トーラス軌道閉包の射影双対となる判別式が、有理超幾何関数の分母として現れる可能性があるものについて調査すること。
• すべてのこのような分母がケイリー構成から生じる結果式の積であるという予想を検証し、証明すること。
• トーリック残留が結果式と有理超幾何関数の分母の構造をどのように結びつけるかを確立すること。
• 具体的なケースであるトーリック超曲面および次元が3以下であるトーリック多様体における予想の検証を行う。

提案手法

• 著者たちは、ゲルファンド、カプラノフ、ゼレヴィンスキーによって元来定義された、トーリック多様体に関連する多変数超幾何関数を用いる。
• これらの関数の特異点を分析し、それらがトーラス軌道閉包の双対となる判別式であることを同定する。
• トーリック残留理論を用いて、結果式の代数的構造と有理超幾何関数の分母との関係を結ぶ。
• 代数幾何およびトーリック幾何からの組合せ的技法を用いて、分母の台を特徴付ける。
• 明示的構成と双対性の性質を用いて、トーリック超曲面および次元 ≤3 のトーリック多様体についてその予想を証明する。
• 分析は、ケイリー構成の文脈における判別式とトーラス軌道閉包の間の射影双対性に依拠している。

実験結果

リサーチクエスチョン

• RQ1 どの判別式がトーリック多様体上の有理超幾何関数の分母として現れ得るか？
• RQ2 有理超幾何関数の分母は、すべてケイリー構成から生じる結果式の積であるか？
• RQ3 すべてのトーリック結果式が、ある有理超幾何関数の分母に現れるか？
• RQ4 トーリック残留は、有理超幾何関数の分母の構造とどのように関係するか？
• RQ5 超幾何関数の特異点とトーラス軌道閉包の幾何学的性質との正確な関係は何か？

主な発見

• 任意の有理超幾何関数の分母は、結果式の積であることが示され、本論文の主要な予想が確認された。
• トーリック残留理論を用いて、すべてのトーリック結果式が、ある有理超幾何関数の分母として現れることを示した。
• トーリック超曲面および次元が3以下のトーリック多様体について、その予想が証明された。
• 有理超幾何関数の特異点が、トーラス軌道閉包の双対となる判別式であることが示された。
• 結果式の代数的構造と有理超幾何関数の解析的構造との間に深い関係が確立された。
• 結果は、トーリック多様体から得られる可能性のあるすべての判別式が実際に分母として現れるわけではないことを示しており、分母の候補のクラスを狭めた。