1: \begin{abstract}
2: We consider the Laplacian associated with a general metric
3: in the canonical conformal structure of the
4: noncommutative two torus, and calculate a local expression
5: for the term $a_4$ that appears in its corresponding small-time heat
6: kernel expansion. The final formula involves one variable
7: functions and lengthy two, three and four variable functions
8: of the modular automorphism of the state that encodes the
9: conformal perturbation of the flat metric.
10: We confirm the validity of the calculated expressions by showing
11: that they satisfy a family of conceptually predicted functional relations. By studying
12: these functional relations abstractly, we derive a partial differential system
13: which involves a natural action of cyclic groups of order two, three and four and
14: a flow in parameter space. We
15: discover symmetries of the calculated expressions with respect to
16: the action of the cyclic groups.
17: In passing, we show that the main ingredients of our
18: calculations, which come from a rearrangement lemma
19: and relations between the derivatives up to order four of the
20: conformal factor and those of its logarithm, can be derived by
21: finite differences from the generating function of the Bernoulli
22: numbers and its multiplicative inverse. We then shed light on the significance of
23: exponential polynomials and their smooth fractions in understanding the
24: general structure of the noncommutative geometric invariants appearing in
25: the heat kernel expansion.
26: As an application of our results we obtain the $a_4$ term for noncommutative
27: four tori which split as products of two tori. These four tori are not conformally flat and
28: the $a_4$ term gives a first hint of the Riemann curvature and the higher
29: dimensional modular structure.
30: \end{abstract}
31: