You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Urs Schreiber asked this question on the nForum:
This may just show my ignorance, but I am wondering how to see the following:
For and , the expression
is independent of a if k is even:
In a roundabout way this follows from the modular transformation law of conformal characters of the U(1) WZW model.
But what’s an elementary arithmetic way to see this?
(If the exponent had another factor of “2”, then it would follow easily, also for odd , by modular arithmetic, now in the other sense of “modular”. But the question is for the exponent as given.)
https://nforum.ncatlab.org/discussion/19005/a-trig-identity/