[论文解读] Rational Hypergeometric Functions

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

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

一句话总结

本文研究与 торические 品种相关的有理超几何函数，证明其分母为结果式（resultants）的乘积——这些结果式是Cayley构型的特殊判别式。研究确立了每个 торический 结果式都会出现在某个有理超几何函数的分母中，并通过 торический 余数理论，证实了对 торические 超曲面和三维 торические 品种的猜想。

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.

研究动机与目标

• 理解在 торических 品种上定义的有理超几何函数的分母结构。
• 研究哪些判别式——与环面轨道闭包在射影对偶意义下对应——可作为有理超几何函数分母出现。
• 检验并证明一个猜想：所有此类分母均为来自Cayley构型的结果式的乘积。
• 确立 торический 余数在连接结果式代数结构与有理超几何函数分母之间的角色。
• 在特定情形下验证猜想： торические 超曲面和维度不超过三的 торические 品种。

提出的方法

• 作者使用与 торических 品种相关的多重超几何函数，这些函数最初由 Gel'fand、Kapranov 和 Zelevinsky 定义。
• 他们分析这些函数的奇点，将其识别为与环面轨道闭包对偶的判别式。
• 应用 торический 余数理论，将结果式的代数结构与有理超几何函数的分母联系起来。
• 论文采用代数几何与 торической 几何中的组合技术，刻画分母的支集。
• 通过显式构造与对偶性质，证明了对 торических 超曲面和维度 ≤3 的 торические 品种的猜想。
• 分析依赖于在 Cayley 构型背景下，判别式与环面轨道闭包之间的射影对偶性。

实验结果

研究问题

• RQ1 哪些判别式可作为在 торических 品种上定义的有理超几何函数的分母出现？
• RQ2 每个有理超几何函数的分母是否都是Cayley构型中结果式的乘积？
• RQ3 所有 торические 结果式是否都会出现在某个有理超几何函数的分母中？
• RQ4 торический 余数如何与有理超几何函数分母的结构相关联？
• RQ5 超几何函数的奇点与环面轨道闭包几何之间的确切关系是什么？

主要发现

• 任何有理超几何函数的分母均为结果式的乘积，从而证实了本文的核心猜想。
• 所有 торические 结果式均作为某个有理超几何函数的分母出现，该结论通过 торический 余数理论得以证明。
• 对 торических 超曲面和维度不超过三的 торические 品种，该猜想已得到证明。
• 有理超几何函数的奇点被证明为与环面轨道闭包对偶的判别式。
• 本研究建立了结果式代数结构与有理超几何函数解析结构之间的深刻联系。
• 研究结果表明，并非所有来自 торических 品种的潜在判别式都会实际作为分母出现，从而缩小了可能分母的类别。