Motivación
En la analogía entre los números primos y los nudos, el número primo se piensa a veces como el círculo de longitud $l([p]) = \text{log}\,p$ . Esto es para que puedas expresar la función zeta como $$ \zeta(s) = \sum_{D\ge0} e^{-l(D)s}$$
donde la suma va sobre los divisores efectivos en $\text{Spec}\,\mathbb Z$ y la longitud se extiende allí por aditividad. Del mismo modo, se puede hacer para reescribir la función zeta de Dedekind para otros campos numéricos.
Pregunta
Me pregunto, cuál es el análogo correcto de la fórmula anterior para un colector con métrica? Tal vez:
- integración sobre todas las curvas cerradas de la expresión $e^{-l(D)s}$
- suma sobre sumas positivas de clases de geodésicas cerradas.
Creo haber oído algo sobre la definición 2, pero sospecho que si las dos anteriores se definen correctamente serán las mismas. ¿Es posible formalizar esta definición? ¿Las diferentes formalizaciones conducen a la misma función zeta?
Actualizaciones
Sí, creo que esto debe estar relacionado con los laplacianos, la fórmula de la traza de Selberg y las zetas de los sistemas dinámicos. Lo que he dicho que he oído sobre la definición 2 era probablemente la Selberg zeta pero no puedo decirlo claramente, de ahí las preguntas.