模形式理論是現(xiàn)代數學的一個重要分支,它在函數論、李群表示論、數論、幾何、通訊等分支中都有廣泛的應用。模形式可分為解析的與非解析的兩大類,解析模形式起源于20世紀20年代,目前已臻完善,非解析模形式(又稱波動形式)則是較晚發(fā)展起來的,它在現(xiàn)代物理學中有更重要的應用。這兩類模形式在許多方面有類似之處但非解析的情形有其特殊的困難之處。本書從上半平面上的非解析模形式著手,對跡公式的理論與方法進行了系統(tǒng)地介紹,特別是對模形式的國內外研究概貌及研究成果,其中包括作者大量的研究成果給予了詳實的講述。全書共分七章,內容包括:Maass波動形式、Selberg跡公式、GL(2)群上的跡公式、Kuznetsov跡公式、相對跡公式(幾何部分)、相對跡公式(譜分解部分)等,并在附錄中介紹了戶進數域。為了盡可能從相對初等的角度來引導讀者進入這個領域,從而對數論中的模形式與群表示理論有所了解,本書重點討論了模形式與跡公式的最簡單的情況。本書可以作為高等學校數學專業(yè)研究生教材,也可供高等學校數學專業(yè)高年級學生、青年教師,以及數學工作者參考。