Category Theory
Zulip Server
Archive

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.


Stream: learning: questions

Topic: Urs Schreiber's question about a trig identity


view this post on Zulip Madeleine Birchfield (Mar 15 2025 at 14:47):

Urs Schreiber asked this question on the nForum:

This may just show my ignorance, but I am wondering how to see the following:

For kN>0k \in \mathbb{N}_{> 0} and aNa \in \mathbb{N}, the expression

Sk(a):=n=0k1eπik(n+a)2S_k(a) := \sum_{n=0}^{k−1} e^{\frac{πi}{k} (n+a)^2}

is independent of a if k is even:

k  is  even  a(Sk(a)=Sk(0)).k \; \mathrm{is} \; \mathrm{even} \; \Rightarrow \forall_a(S k(a)=S k(0)).

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 kk, 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/