We show that higher order invariants of smooth functions can be written as linear combinations of full invariants times iterated integrals. The non-uniqueness of such a presentation is captured in the kernel of the ensuing map from the tensor product. This kernel is computed explicitly. As a consequence, it turns out that higher order invariants are a free module of the algebra of full invariants.

The $j$-function acts as a parametrization of the classical modular curve. Its values at complex multiplication (CM) points are called singular moduli and are algebraic integers. A Shimura curve is a generalization of the modular curve and, if the Shimura curve has genus~$0$, a rational parameterizing function exists and when evaluated at a CM point is again algebraic over~$\mathbf{Q}$. This paper shows that the coordinate maps given by N.~Elkies for the Shimura curves associated to the quaternion algebras with discriminants $6$ and $10$ are Borcherds lifts of vector-valued modular forms. This property is then used to explicitly compute the rational norms of singular moduli on these curves. This method not only verifies conjectural values for the rational CM points, but also provides a way of algebraically calculating the norms of CM points with arbitrarily large negative discriminant.

We construct analogues of theta series, Eisenstein series and Poincar\'e series for function fields of one variable over finite fields, and prove their basic properties.

A theory of renormalization of divergent integrals over torus periods on $\GL(3)$ is given, based on a relative truncation. It is shown that the renormalized periods of Eisenstein series have unexpected functional equations.