Zeta functions and topology of Heisenberg cycles for linear ergodic flows

Nathaniel Butler¹ ; Heath Emerson¹  ; Tyler Schulz¹ 

¹University of Victoria, Victoria, Canada

Groups, geometry, and dynamics, Tome 18 (2024) no. 2, pp. 463-500

Résumé

Placing a Dirac–Schrödinger operator along the orbit of a flow on a compact manifold M defines an R-equivariant spectral triple over the algebra of smooth functions on M. We study some of the properties of these triples, with special attention to their zeta functions. These zeta functions are defined for Re(s)>1 by Trace(fp​H−s), where fp​ is the uniformly continuous function on the real line obtained by restricting the continuous or smooth function f on M to the orbit of a point p∈M, and H=−∂x2∂2​+x2 is the harmonic oscillator. The meromorphic continuation property and pole structure of these zeta functions are related to ergodic time averages in dynamics. In the case of the periodic flow on the circle, one obtains a spectral triple over the smooth irrational torus Aħ∞​⊂Aħ​ already studied by Lesch and Moscovici. We strengthen a result of these authors, showing that the zeta function Trace(aH−s) extends meromorphically to C for any element a of the C∗-algebra Aħ​. Another variant of our construction yields a spectral cycle for Aħ​⊗A1/ħ​ and a spectral triple over a suitable subalgebra with the meromorphic continuation property if ħ satisfies a Diophantine condition. The class of this cycle defines a fundamental class in the sense that it determines a KK-duality between Aħ​ and A1/ħ​. We employ the local index theorem of Connes and Moscovici in order to elaborate an index theorem of Connes for certain classes of differential operators on the line and compute the intersection form on K-theory induced by the fundamental class.

Détail

DOI : 10.4171/ggd/763

Classification : 19K35, 46L80
Mots-clés : K-theory, noncommutative geometry, KK-theory, irrational rotation algebra