Divisibility conjecture for an elliptic Dedekind sum

At least 6 years old · documented by

Let aa be an even integer and bb an odd integer, and let s−1(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

4bs−1(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 4bs−1(a;b)=bQ(a;b)4b s_{\sqrt{-1}}(a;b)=bQ(a;b). Its resolution is not given in the supplied text.

References

Primary source

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

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.