塞爾伯格跡公式

在數學中，塞爾伯格跡公式是非交換調和分析的重要定理之一。此公式表達了齊性空間  的函數空間上某類算子的跡數，其中  是李群而  是其離散子群。

塞爾伯格在1956年處理了緊黎曼曲面上的拉普拉斯算子的情形。藉由拉普拉斯算子及其冪次，塞爾伯格定義了。此時的公式相似於解析數論關注的「明確公式」：黎曼曲面上的測地線在公式中扮演素數在明確公式裡的角色。

一般而言，塞爾伯格跡公式聯繫了負常數曲率緊曲面上的拉普拉斯算子的譜，以及該曲面上的週期測地線長度。對於環面，塞爾伯格跡公式化為泊松求和公式。

定義
設  為緊緻、負常曲率曲面，這類曲面可以表為上半平面  對  的某離散子群  的商。

考慮  上的拉普拉斯算子

由於  為緊曲面，該算子有離散譜；換言之，下式定義的特徵值   至多可數

事實上，更可將其由小至大排列：

對應的特徵函數 ，並滿足以下週期條件：

行變元代換

於是特徵值可依  排列。

跡公式
塞爾伯格跡公式寫作

和式中的  取遍所有雙曲共軛類。所取函數  須滿足下述性質：
 在帶狀區域  上為解析函數，在此  為某常數。
 偶性：。
 滿足估計：，在此  為某常數。

函數  是  的傅里葉變換：
 。

後續發展
為了計算赫克算子作用於尖點形式上的跡，出現了 Eichler-塞爾伯格跡公式。志村五郎後來採取的方法省去了跡公式中的分析技巧。拋物上同調也為非緊黎曼曲面與模曲線的尖點問題提供了純粹的代數框架。最後， 為緊的情形可藉阿蒂亞-辛格指標定理處理，然而，一旦取  為算術子群，便不免要處理非緊的情形。

在1960年代，塞爾伯格跡公式由蘇聯的蓋爾芳特學派、普林斯頓大學的 Harish-Chandra（हरीश चन्द्र）、羅伯特·郎蘭茲與日本的窪田富男接手推動。非緊情形的連續譜是郎蘭茲發展艾森斯坦級數理論的動機之一。拉普拉斯算子與赫克算子的跡公式表明了賦值向量環之妙用。

亞瑟-塞爾伯格跡公式適用於一般的半單群（或約化群）。此公式的一側稱為譜側，與群的表示相關；另一側稱為幾何側，與函數之軌道積分相關。群表示通常帶有重要的數論信息，而軌道積分則較容易操作。亞瑟-塞爾伯格跡公式是證明郎蘭茲函子性猜想的重要進路之一。

文獻
 葉揚波《模形式與跡公式》，北京大學出版社，2001年。 ISBN 7-301-04586-7
 A. Selberg, Harmonic Analysis and Discontinuous Groups in Weakly Symmetric Riemannian Spaces With Applications to Dirichlet Series, Journal of the Indian Mathematical Society 20 (1956) 47-87. 
 H.P. McKean, Selberg's Trace Formula as Applied to a Compact Riemannian Surface, Communications in Pure and Applied Mathematics 25 (1972) 225-246. 勘誤見 : Communications in Pure and Applied Mathematics 27 (1974) p.134
 D. Hejhal, The Selberg Trace Formula and the Riemann Zeta Function, Duke Mathematics Journal 43 (1976) 441-482
 D. Hejhal, The Selberg Trace Formula For PSL(2,R), Volume I, Springer Lecture Notes 548 (1976), ISBN . 
 A.B. Venkov, Spectral Theory of Automorphic Functions, the Selberg Zeta Function, and Some Problems of Analytic Number Theory and Mathematical Physics, Russian Mathematical Surveys 34 (1979) 79-153.
 P. Cartier and A. Voros, Une Nouvelle Interprétation de la formule des traces de Selberg, dans The Grothendieck Festschrift, volume 87 of Progress in Mathematics, Birkhäuser (1990) 1-67.
  Matthew R. Watkins, Selberg trace formula and zeta functions 

S
S
S
S
S