The multiple genus two Cauchy sum leading-term formula

For a positive integer mm, let X~12(a),X~13(a),X~23(a)\widetilde X_{12}^{(a)},\widetilde X_{13}^{(a)},\widetilde X_{23}^{(a)} for 1am1\leq a\leq m be the formal variables associated with the multiple genus two Cauchy sum, and let κ~\widetilde\kappa be the parameter at which the leading term is taken. Write i(a)=(i12(a),i13(a),i23(a))\vec i^{(a)}=(i_{12}^{(a)},i_{13}^{(a)},i_{23}^{(a)}) with all indices nonnegative. The multiple genus two Cauchy sum leading-term formula. The leading term at λ~=κ~\widetilde\lambda=\widetilde\kappa is

Ω(X~12(1),X~13(1),X~23(1),,X~12(m),X~13(m),X~23(m)κ~)=i(1),,i(m)=0a=1mX~12i12(a)X~13i13(a)X~23i23(a)(1)i23(1)++i23(m)4a=1m(i12(a)+i13(a)+i23(a))×Γ(2a=1m(i12(a)+i13(a)+i23(a))+2)Γ(32)mΓ(a=1m(i12(a)+i13(a)+2i23(a))+2)a=1mΓ(i12(a)+i13(a)+i23(a)+32)×Γ(a=1m(i12(a)+i23(a))+1)Γ(a=1m(i13(a)+i23(a))+1)a=1mΓ(i12(a)+1)Γ(i13(a)+1)Γ(i23(a)+1).\begin{aligned} \Omega_-&\big(\widetilde X_{12}^{(1)},\widetilde X_{13}^{(1)},\widetilde X_{23}^{(1)},\ldots,\widetilde X_{12}^{(m)},\widetilde X_{13}^{(m)},\widetilde X_{23}^{(m)}\mid\widetilde\kappa\big) \\ &=\sum_{\vec i^{(1)},\ldots,\vec i^{(m)}=0}^{\infty}\prod_{a=1}^{m}\widetilde X_{12}^{i_{12}^{(a)}}\widetilde X_{13}^{i_{13}^{(a)}}\widetilde X_{23}^{i_{23}^{(a)}}(-1)^{i_{23}^{(1)}+\cdots+i_{23}^{(m)}}4^{-\sum_{a=1}^{m}(i_{12}^{(a)}+i_{13}^{(a)}+i_{23}^{(a)})} \\ &\quad\times\frac{\Gamma\left(2\sum_{a=1}^{m}(i_{12}^{(a)}+i_{13}^{(a)}+i_{23}^{(a)})+2\right)\Gamma\left(\frac32\right)^m}{\Gamma\left(\sum_{a=1}^{m}(i_{12}^{(a)}+i_{13}^{(a)}+2i_{23}^{(a)})+2\right)\prod_{a=1}^{m}\Gamma\left(i_{12}^{(a)}+i_{13}^{(a)}+i_{23}^{(a)}+\frac32\right)} \\ &\quad\times\frac{\Gamma\left(\sum_{a=1}^{m}(i_{12}^{(a)}+i_{23}^{(a)})+1\right)\Gamma\left(\sum_{a=1}^{m}(i_{13}^{(a)}+i_{23}^{(a)})+1\right)}{\prod_{a=1}^{m}\Gamma(i_{12}^{(a)}+1)\Gamma(i_{13}^{(a)}+1)\Gamma(i_{23}^{(a)}+1)}. \end{aligned}

This series is an AA-hypergeometric function in the sense of Gelfand, Kapranov, and Zelevinsky. The parser supplies no evidence that the asserted formula has been proved or disproved, so its status remains open.

Sources & referencesView supporting material

Primary source

S. Arthamonov, Sh. Shakirov and W. Yan, “Cauchy identities for genus 2 Schur polynomials”, arXiv:2506.18338 (2025).

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.