塞尔伯格迹公式
在数学中，塞尔伯格迹公式是非交换调和分析的重要定理之一。此公式表达了齐性空间G/ Γ 的函数空间上某类算子的迹数，其中G是李群而 Γ 是其离散子群。
塞尔伯格在1956年处理了紧黎曼曲面上的拉普拉斯算子的情形。借由拉普拉斯算子及其幂次，塞尔伯格定义了塞尔伯格ζ函数。此时的公式相似于解析数论关注的“明确公式”：黎曼曲面上的测地线在公式中扮演素数在明确公式里的角色。
一般而言，塞尔伯格迹公式联系了负常数曲率紧曲面上的拉普拉斯算子的谱，以及该曲面上的周期测地线长度。对于环面，塞尔伯格迹公式化为泊松求和公式。
定义设X为紧致、负常曲率曲面，这类曲面可以表为上半平面 对 的某离散子群 Γ 的商。
考虑X上的拉普拉斯算子
由于X为紧曲面，该算子有离散谱；换言之，下式定义的特征值 至多可数
事实上，更可将其由小至大排列：
<IMG class=tex alt=" 0 = lambda_0 对应的特征函数 ，并满足以下周期条件：
行变元代换
于是特征值可依 排列。
迹公式塞尔伯格迹公式写作
和式中的 {T} 取遍所有双曲共轭类。所取函数h须满足下述性质：
在带状区域 上为解析函数，在此 δ > 0 为某常数。 偶性：h( −r) =h(r)。 满足估计：，在此M> 0 为某常数。 函数g是h的傅里叶变换：
后续发展为了计算赫克算子作用于尖点形式上的迹，出现了 Eichler-塞尔伯格迹公式。志村五郎后来采取的方法省去了迹公式中的分析技巧。抛物上同调也为非紧黎曼曲面与模曲线的尖点问题提供了纯粹的代数框架。最后， 为紧的情形可藉阿蒂亚-辛格指标定理处理，然而，一旦取 Γ 为算术子群，便不免要处理非紧的情形。
在1960年代，塞尔伯格迹公式由苏联的盖尔芳特学派、普林斯顿大学的हरीश चन्द्र、罗伯特·郎兰兹与日本的洼田富男接手推动。非紧情形的连续谱是郎兰兹发展艾森斯坦级数理论的动机之一。拉普拉斯算子与赫克算子的迹公式表明了赋值向量环之妙用。
亚瑟-塞尔伯格迹公式适用于一般的半单群（或约化群）。此公式的一侧称为谱侧，与群的表示相关；另一侧称为几何侧，与函数之轨道积分相关。群表示通常带有重要的数论信息，而轨道积分则较容易操作。亚瑟-塞尔伯格迹公式是证明郎兰兹函子性猜想的重要进路之一。