Another post reminded me of the following fact. The Poisson summation formula is a special case of the trace formula. Also the Frobenius reciprocity for finite groups follows from another special case of the trace formula, where the groups in question are finite. I find that these two theorems are related in such a way very surprising.