Modular spectral triples and deformed Fredholm modules

Abstract

AbstractIn the setting of non-type $$\mathop {\mathrm{{II_1}}}$$ II 1 representations, we propose a definition of deformed Fredholm module$$\big [D_{{\mathcal {T}}}|D_{{\mathcal {T}}}|^{-1},\,\mathbf{\cdot }\,\big ]_{{\mathcal {T}}}$$ [ D T | D T | - 1 , · ] T for a modular spectral triple $${{\mathcal {T}}}$$ T , where $$D_{{\mathcal {T}}}$$ D T is the deformed Dirac operator. $$D_{{\mathcal {T}}}$$ D T is assumed to be invertible for the sake of simplicity, and its domain is an “essential” operator system $${{\mathcal {E}}}_{{\mathcal {T}}}$$ E T . According to such a definition, we obtain $$\big [D_{{\mathcal {T}}}|D_{{\mathcal {T}}}|^{-1},\,\mathbf{\cdot }\,\big ]_{{\mathcal {T}}}=|D_{{\mathcal {T}}}|^{-1}d_{{\mathcal {T}}}(\,\mathbf{\cdot }\,)+d_{{\mathcal {T}}}(\,\mathbf{\cdot }\,)|D_{{\mathcal {T}}}|^{-1}$$ [ D T | D T | - 1 , · ] T = | D T | - 1 d T ( · ) + d T ( · ) | D T | - 1 , where $$d_{{\mathcal {T}}}$$ d T is the deformed derivation associated to $$D_{{\mathcal {T}}}$$ D T . Since the “quantum differential” $$1/|D_{{\mathcal {T}}}|$$ 1 / | D T | appears in a symmetric position, such a definition of Fredholm module differs from the usual one even in the undeformed case, that is in the tracial case. Therefore, it seems to be more suitable for the investigation of noncommutative manifolds in which the nontrivial modular structure might play a crucial role. We show that all models in Fidaleo and Suriano (J Funct Anal 275:1484–1531, 2018) of non-type $$\mathop {\mathrm{{II_1}}}$$ II 1 representations of noncommutative 2-tori indeed provide modular spectral triples, and in addition deformed Fredholm modules according to the definition proposed in the present paper. Since the detailed knowledge of the spectrum of the Dirac operator plays a fundamental role in spectral geometry, we provide a characterisation of eigenvalues and eigenvectors of the deformed Dirac operator $$D_{{\mathcal {T}}}$$ D T in terms of the periodic solutions of a particular class of eigenvalue Hill equations.