The term a4 in the heat kernel expansion of noncommutative tori

We consider the Laplacian associated with a general metric in the canonical conformal structure of the noncommutative two torus, and calculate a local expression for the term a4 that appears in its corresponding small-time heat kernel expansion. The final formula involves one variable functions and...

Verfasser: Connes, Alain
Fathizadeh, Farzad
Dokumenttypen:Artikel
Medientypen:Text
Erscheinungsdatum:2019
Publikation in MIAMI:24.10.2019
Datum der letzten Änderung:28.10.2019
Quelle:Münster Journal of Mathematics, 12 (2019), S. 239-410
Verlag/Hrsg.: Mathematisches Institut (Universität Münster)
Angaben zur Ausgabe:[Electronic ed.]
Fachgebiet (DDC):510: Mathematik
Lizenz:InC 1.0
Sprache:English
Format:PDF-Dokument
URN:urn:nbn:de:hbz:6-53149724977
Weitere Identifikatoren:DOI: 10.17879/53149724705
Permalink:https://nbn-resolving.de/urn:nbn:de:hbz:6-53149724977
Onlinezugriff:mjm_2019_12_239-410.pdf

We consider the Laplacian associated with a general metric in the canonical conformal structure of the noncommutative two torus, and calculate a local expression for the term a4 that appears in its corresponding small-time heat kernel expansion. The final formula involves one variable functions and lengthy two, three and four variable functions of the modular automorphism of the state that encodes the conformal perturbation of the flat metric. We confirm the validity of the calculated expressions by showing that they satisfy a family of conceptually predicted functional relations. By studying these functional relations abstractly, we derive a partial differential system which involves a natural action of cyclic groups of order 2, 3 and 4 and a flow in parameter space. We discover symmetries of the calculated expressions with respect to the action of the cyclic groups. In passing, we show that the main ingredients of our calculations, which come from a rearrangement lemma and relations between the derivatives up to order 4 of the conformal factor and those of its logarithm, can be derived by finite differences from the generating function of the Bernoulli numbers and its multiplicative inverse. We then shed light on the significance of exponential polynomials and their smooth fractions in understanding the general structure of the noncommutative geometric invariants appearing in the heat kernel expansion. As an application of our results we obtain the a4 term for noncommutative four tori which split as products of two tori. These four tori are not conformally flat and the a4 term gives a first hint of the Riemann curvature and the higher-dimensional modular structure.