We prove a $\unicode[STIX]{x1D6E4}$-equivariant version of the algebraic index theorem, where $\unicode[STIX]{x1D6E4}$ is a discrete group of automorphisms of a formal deformation of a symplectic manifold. The particular cases of this result are the algebraic version of the transversal index theorem related to the theorem of A. Connes and H. Moscovici for hypo-elliptic operators and the index theorem for the extension of the algebra of pseudodifferential operators by a group of diffeomorphisms of the underlying manifold due to A. Savin, B. Sternin, E. Schrohe and D. Perrot.

We extend the Atiyah, Patodi, and Singer index theorem for first-order differential operators from the context of manifolds with cylindrical ends to manifolds with periodic ends. This theorem provides a natural complement to Taubes’ Fredholm theory for general end-periodic operators. Our index theorem is expressed in terms of a new periodic eta-invariant that equals the Atiyah–Patodi–Singer eta-invariant in the cylindrical setting. We apply this periodic eta-invariant to the study of moduli spaces of Riemannian metrics of positive scalar curvature.

We generalize the relative index theorem of Gromov and Lawson, using coarse geometry.

We prove an index theorem for families of pseudodifferential operators generalizing those studied by C. Callias, N. Anghel and others. Specifically, we consider operators on a manifold with boundary equipped with an asymptotically conic (scattering) metric, which have the form D + iΦ, where D is elliptic pseudodifferential with Hermitian symbols, and Φ is a Hermitian bundle endomorphism which is invertible at the boundary and commutes with the symbol of D there. The index of such operators is completely determined by the symbolic data over the boundary. We use the scattering calculus of R. Melrose in order to prove our results using methods of topological K-theory, and we devote special attention to the case in which D is a family of Dirac operators, in which case our theorem specializes to give family versions of the previously known index formulas.

This paper is comprised of two related parts. First we discuss which k-graph algebras have faithful traces. We characterise the existence of a faithful semifinite lower-semicontinuous gauge-invariant trace on C* (Λ) in terms of the existence of a faithful graph trace on Λ.

Second, for k-graphs with faithful gauge invariant trace, we construct a smooth (k,∞)-summable semifinite spectral triple. We use the semifinite local index theorem to compute the pairing with K-theory. This numerical pairing can be obtained by applying the trace to a KK-pairing with values in the K-theory of the fixed point algebra of the Tk action. As with graph algebras, the index pairing is an invariant for a finer structure than the isomorphism class of the algebra.

In this paper we give a relation between the Futaki invariant for a compact complex manifold $M$ and the holonomy of a determinant line bundle over a loop in the base space of any principal $G$-bundle, where $G$ is the identity component of the maximal compact subgroup of the complex Lie group consisting of all biholomorphic automorphisms of $M$. Using the property of the Futaki invariant, we show that the holonomy is an obstruction to the existence of the Einstein–Kähler metrics on $M$. Our main result is Theorem 2.1.

AMS 2000 Mathematics subject classification: Primary 32Q20. Secondary 58J28; 58J52