Antidiagonal-permutation dominant-coefficient conjecture

For n1n\geq 1, define the reversal permutation

πni=1n/2(i,ni+1)Sn.\pi_n \coloneqq \prod_{i=1}^{\left\lfloor n/2\right\rfloor}(i,n-i+1)\in\mathfrak{S}_n.

Let rnπnr_n^{\pi_n} be the corresponding element of UDY1\mathfrak{U}_{\mathsf{DY}}^1, and let pn,mp_{n,m} denote the coefficient of rn+mπn+mr_{n+m}^{\pi_{n+m}} in the product rnidrmπmr_n^{\mathsf{id}}\circ r_m^{\pi_m}. Antidiagonal-permutation dominant-coefficient conjecture. The identity

r1idrnπn=nrn+1πn+1+rnπnr1id+i=1nrn+1πn+1(i,i+1)r_1^{\mathsf{id}}\circ r_n^{\pi_n}=-n\,r_{n+1}^{\pi_{n+1}}+r_n^{\pi_n}\star r_1^{\mathsf{id}}+\sum_{i=1}^n r_{n+1}^{\pi_{n+1}\circ(i,i+1)}

holds in UDY1\mathfrak{U}_{\mathsf{DY}}^1; moreover, pn,mp_{n,m} is the dominant coefficient of r1idrnπnr_1^{\mathsf{id}}\circ r_n^{\pi_n}, and

pn,m=(1)n(pn1,m+pn,m1)p_{n,m}=(-1)^n\bigl(\lvert p_{n-1,m}\rvert+\lvert p_{n,m-1}\rvert\bigr)

with p1,1=1p_{1,1}=-1, p1,m=mp_{1,m}=-m, and pn,1=0p_{n,1}=0 for n>1n>1. This conjecture proposes a distinguished family of leading coefficients and a recurrence for them; the supplied text gives no evidence of resolution.

Sources & referencesView supporting material

Primary source

Andrea Rivezzi, “On the universal Drinfeld-Yetter algebra”, arXiv:2404.16786 (2024).

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.