Conjectural duality for iterated q-integrals on the projective line minus four points

Let N0N\geq 0, let KK be the field of fractions of Q[A,B,C,D,q]/(AqND)\mathbb{Q}[A,B,C,D,q]/(A-q^{N}D), and let W0W^{0} be the space containing words (u1v1)(ukvk)(u_{1}v_{1})\cdots(u_{k}v_{k}) with letters in {A,B,C,D}\{A,B,C,D\}. For uj,vj{A,B,C,D}u_{j},v_{j}\in\{A,B,C,D\}, define

A(j):=Aq#{hjuhvh{BC,BD,CD}},B(j):=Bq#{hjuhvh{AC,AD}}+#{hjuhvh=CD},C(j):=Cq#{hjuhvh{AB,AD}}+#{hjuhvh=BD},D(j):=Dq#{hjuhvh{AB,AC,BC}}.\begin{aligned} A^{(j)}&:=Aq^{\#\{h\leq j\mid u_{h}v_{h}\in\{BC,BD,CD\}\}},\\ B^{(j)}&:=Bq^{\#\{h\leq j\mid u_{h}v_{h}\notin\{AC,AD\}\}+\#\{h\geq j\mid u_{h}v_{h}=CD\}},\\ C^{(j)}&:=Cq^{\#\{h\leq j\mid u_{h}v_{h}\notin\{AB,AD\}\}+\#\{h\geq j\mid u_{h}v_{h}=BD\}},\\ D^{(j)}&:=Dq^{-\#\{h\geq j\mid u_{h}v_{h}\in\{AB,AC,BC\}\}}. \end{aligned}

Define Lq:W0KL_q:W^0\to K by

Lq((u1v1)(ukvk)):=Iq(A;[u1(1),v1(1)],,[uk(k),vk(k)];D).L_q((u_1v_1)\cdots(u_kv_k)):=I_q(A;[u_1^{(1)},v_1^{(1)}],\dots,[u_k^{(k)},v_k^{(k)}];D).

Here τ\tau denotes the word-reversing involution from the preceding classical duality theorem. Conjectural duality. For every wW0w\in W^{0},

Lq(w)=Lq(τ(w)).L_q(w)=L_q(\tau(w)).

This conjecture proposes that the duality for iterated integrals on the projective line minus four points persists for the corresponding iterated qq-integrals under the relation A=qNDA=q^ND. Its classical limit recovers the real-variable duality, but the conjecture is presented as the main unproved assertion of the paper; no resolution is supplied in the given text.

Sources & referencesView supporting material

Primary source

Minoru Hirose, “Conjectural duality for iterated q-integrals on P^1 minus four generic points”, arXiv:2605.00811 (2026).

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.