The iterated-derivative toric residue conjecture

About 27 years old · traced to

Let AA be a configuration, let ff be a rational AA-hypergeometric function in variables x1,…,xsx_1,\dots,x_s, and let a facial subset be a subset of AA arising as a face of the configuration. A toric residue is the residue construction associated with such configuration data. The iterated-derivative toric residue conjecture. Every rational AA-hypergeometric function ff has an iterated derivative

∂i1+⋯+is∂x1i1⋯∂xsisf\frac{\partial^{i_1+\cdots+i_s}}{\partial x_1^{i_1}\cdots\partial x_s^{i_s}}f

which is a toric residue defined by some facial subset of AA. Families of examples and computer experiments support this conjecture, but the source gives no proof or resolution.

References

Primary source

Eduardo Cattani, Alicia Dickenstein and Bernd Sturmfels, “Rational Hypergeometric Functions”, arXiv:math/9911030 (1999).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.