Title:Hypergeometric function and Modular Curvature II. Connes-Moscovici functional relation after Lesch's work

Abstract:In this paper, we initiate a systematic approach for the variational calculus used in the study of modular geometry on noncommutative (two) tori. We introduce several transformations on the space of spectral functions that implement basic operations in the variational calculus and show how the transformations permute the hypergeometric functions defined in the previous paper, which are building blocks for spectral functions arising from pseudo-differential calculus. Such symmetries on the hypergeometric family lead to new recurrence relations in addition to those found in the previous work. As for applications, we compute, on noncommutative tori of all dimensions, the first variation of the Einstein-Hilbert and the Osgood-Phillips-Sarnak functional (later one holds only in dimension two) in two ways to extend the Connes-Moscovici type functional relation to a continuous family in the dimension parameter. Thanks to the new recurrence relations, we are able to reduce the all the relations derived from the variational calculus to the same initial relations of the hypergeometric family and therefore the verification is no longer relies on the assistant of computer algebra systems.