The multiple genus two Cauchy sum leading-term formula

About 1 year old · traced to

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 1≤a≤m1\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)=0∞∏a=1mX~12i12(a)X~13i13(a)X~23i23(a)(−1)i23(1)+⋯+i23(m)4−∑a=1m(i12(a)+i13(a)+i23(a))×Γ(2∑a=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.

References

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.