Divisibility conjecture for an elliptic Dedekind sum

From papers

Let aa be an even integer and bb an odd integer, and let s1(a;b)s_{\sqrt{-1}}(a;b) and Q(a;b)Q(a;b) denote the elliptic Dedekind sum and the associated quantity used in the paper. For an integer mm, consider the moduli 6m±16m\pm1. Divisibility conjecture. If aa is even and bb is odd, then

4bs1(a;b)=bQ(a;b)4Z.4b s_{\sqrt{-1}}(a;b)=bQ(a;b)\in4\mathbb{Z}.

More precisely,

(6m±1)Q(a;6m±1)12Z.(6m\pm1)Q(a;6m\pm1)\in12\mathbb{Z}.

This conjecture seeks a more precise divisibility result than the preceding lemma and is motivated by the tabulated values of 4bs1(a;b)=bQ(a;b)4b s_{\sqrt{-1}}(a;b)=bQ(a;b). Its resolution is not given in the supplied text.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Genki Shibukawa, “Some arithmetic properties of an elliptic Dedekind sum”, arXiv:1903.12200 (2019).

Solutions 0

No solutions have been posted yet.