9
$\begingroup$

Let $q=e^{2\pi i/m}$, $a\in\mathbb{R}$ and $1\leq j\leq m-1$. I would like to prove that: $$(a-1)\sum_{n=0}^{m-1} q^n\frac{\prod_{k=0}^{j-2} (q^{n+k+1}-a)}{\prod_{k=0}^{j} (aq^{n+k}-1)}=0.$$

For $j=1$ I can prove it by induction: the left-hand side of the expression factors as $$\frac{\prod_{1<d|m}\Phi_d}{aq^m-1}$$ where $\Phi_d$ is the $d$th cyclotomic polynomial and the product runs over all divisors of $m$ (besides $1$). For larger values of $j$ I cannot guess a formula. For small values of $m$ I have checked that it is true.

I can also verify this identity for several values of $a$, such as $0,1$ and $\infty$. The $(a-1)$ in the numerator is necessary as without it there is a pole at $a=1$.

Is this a known identity? Can anyone point me towards a proof of the general case?

$\endgroup$
3
  • 1
    $\begingroup$ What is the numerator when $j=1$? Or is the "j-2" a typo? $\endgroup$ Oct 20, 2014 at 23:31
  • $\begingroup$ Neat problem! Does this arise somewhere specific? $\endgroup$
    – Alex R.
    Oct 21, 2014 at 0:05
  • 1
    $\begingroup$ When $j=1$ the product in the numerator is $1$ (the empty product). This can be used to verify the unitarity of a certain parameter-dependent solution to the Yang-Baxter equation. $\endgroup$ Oct 21, 2014 at 15:17

1 Answer 1

5
$\begingroup$

Perhaps, this can be simplified; but here is some (more or less general) computation. One can easily see how far it can be generalized.

Every term of the sum reads $$ q^n\frac{\prod_{k=0}^{j-2}(q^{n+k+1}-a)}{\prod_{k=0}^j(aq^{n+k}-1)} =q^n\frac{(-1)^{j+1}\prod_{k=1}^{j-1}(a-q^{n+k})} {q^{n(j+1)}q^{j(j+1)/2}\prod_{k=0}^j(a-q^{-n-k})} =Cq^{-nj}\frac{\prod_{k=1}^{j-1}(a-q^{n+k})\prod_{k=1}^{m-j-1}(a-q^{-n+k})} {\prod_{k=0}^{m-1}(a-q^{-n-k})}\\ =\frac{C}{(a^m-1)}\cdot t_n^j\prod_{k=1}^{j-1}(a-t_n^{-1}q^k)\prod_{k=1}^{m-j-1}(a-t_nq^k) $$ here $C=(-1)^{j+1}q^{-j(j+1)/2}$ is a constant and $t_n=q^{-n}$. Thus we need to show that the sum of the values of Laurent polynomial $$ P(t)=t^j\prod_{k=1}^{j-1}(a-t^{-1}q^k)\prod_{k=1}^{m-j-1}(a-tq^k) $$ at all $m$th degree roots of unity vanishes. In fact, expanding the brackets, we see that $P$ is a usual polynomial, and all its monomials have degrees from $1$ to $m-1$; Thus the claim follows from $\sum_{n=0}^{m-1}q^{nk}=0$ for all $k=1,2,\dots,m-1$.

REMARK. Since the numerator is a polynomial in $a$, the identity also holds for all complex $a$, and even the poles at the roots of unity cancel.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.