Laplace operator
"M" をリーマン多様体、"E" を "M" 上のベクトルバンドルとすると、"E" に値を持つ "i" -形式に作用するラプラス作用素が存在する。"i" -形式上のラプラス作用素の固有値を λ"j" とすると、大きな "s" に対してゼータ函数 ζ"i" が次のように定義される。