この記事は日曜数学Advent Calender 20日目の記事です。まずはじめに投稿が遅れてしまったことをお詫びいたします。 adventar.org 前日19日はa33554432さんの複雑さとは何かを考える - 機械のように今を輝き、少女のようにここを定義せよでした。 先週の記事 unaoya-pi.hatenablog.com の続編として、Waldspurgerによる定理と相対跡公式を用いた証明を紹介する予定でしたが、予定を変更して保型形式と群の表現がどのように対応するかという話を紹介します。これは定理を理解するためのより基本的な内容です。今後数回にわたって準備を行った後、定理について紹介したいと思いますのでしばらくお付き合いください。 この記事を書くにあたり 高瀬幸一著 保型形式とユニタリ表現 https://www.sugakushobo.co.jp/903342_52_ma