Consider a proper, isometric action by a unimodular locally compact group $G$ on a Riemannian manifold $M$ with boundary, such that $M/G$ is compact. Then an equivariant Dirac-type operator $D$ on $M$ under a suitable boundary condition has an equivariant index $\operatorname{index}_G(D)$ in the $K$-theory of the reduced group $C^*$-algebra $C^*_rG$ of $G$. This is a common generalisation of the Baum-Connes analytic assembly map and the (equivariant) Atiyah-Patodi-Singer index. In part I of this series, a numerical index $\operatorname{index}_g(D)$ was defined for an element $g \in G$, in terms of a parametrix of $D$ and a trace associated to $g$. An Atiyah-Patodi-Singer type index formula was obtained for this index. In this paper, we show that, under certain conditions, $τ_g(\operatorname{index}_G(D)) = \operatorname{index}_g(D)$, for a trace $τ_g$ defined by the orbital integral over the conjugacy class of $g$. This implies that the index theorem from part I yields information about the $K$-theoretic index $\operatorname{index}_G(D)$. It also shows that $\operatorname{index}_g(D)$ is a homotopy-invariant quantity.
We give a cohomological formula for the index of a fully elliptic pseudodifferential operator on a manifold with boundary. As in the classic case of Atiyah-Singer, we use an embedding into an euclidean space to express the index as the integral of a cohomology class depending in this case on a noncommutative symbol, the integral being over a $C^\infty$-manifold called the singular normal bundle associated to the embedding. The formula is based on a K-theoretical Atiyah-Patodi-Singer theorem for manifolds with boundary that is drawn from Connes' tangent groupoid approach.
We prove an Atiyah-Patodi-Singer index theorem for Dirac operators twisted by C*-vector bundles. We use it to derive a general product formula for eta-forms and to define and study new rho-invariants generalizing Lott's higher rho-form. The higher Atiyah-Patodi-Singer index theorem of Leichtnam-Piazza can be recovered by applying the theorem to Dirac operators twisted by the Mishenko-Fomenko bundle associated to the reduced C*-algebra of the fundamental group.
We define generalized Atiyah-Patodi-Singer boundary conditions of product type for Dirac operators associated to C*-vector bundles on the product of a compact manifold with boundary and a closed manifold. We prove a product formula for the K-theoretic index classes, which we use to generalize the product formula for the topological signature to higher signatures.
Let $Γ$ be a finitely generated discrete group satisfying the rapid decay condition. We give a new proof of the higher Atiyah-Patodi-Singer theorem on a Galois $Γ$-coverings, thus providing an explicit formula for the higher index associated to a group cocycle $c\in Z^k (Γ;\mathbb{C})$ which is of polynomial growth with respect to a word-metric. Our new proof employs relative K-theory and relative cyclic cohomology in an essential way.
We investigate an extension of ideas of Atiyah-Patodi-Singer (APS) to a noncommutative geometry setting framed in terms of Kasparov modules. We use a mapping cone construction to relate odd index pairings to even index pairings with APS boundary conditions in the setting of KK-theory, generalising the commutative theory. We find that Cuntz-Kreiger systems provide a natural class of examples for our construction and the index pairings coming from APS boundary conditions yield complete K-theoretic information about certain graph C*-algebras.
Consider a proper, isometric action by a unimodular locally compact group $G$ on a Riemannian manifold $M$ with boundary, such that $M/G$ is compact. For an equivariant, elliptic operator $D$ on $M$, and an element $g \in G$, we define a numerical index $\operatorname{index}_g(D)$, in terms of a parametrix for $D$ and a trace associated to $g$. We prove an equivariant Atiyah-Patodi-Singer index theorem for this index. We first state general analytic conditions under which this theorem holds, and then show that these conditions are satisfied if $g=e$ is the identity element; if $G$ is a finitel…
In this paper, we define the eta cochain form and prove its regularity when the kernel of a family of Dirac operators is a vector bundle. We decompose the eta form as a pairing of the eta cochain form with the Chern character of an idempotent matrix and we also decompose the Chern character of the index bundle for a fibration with boundary as a pairing of the family Chern-Connes character for a manifold with boundary with the Chern character of an idempotent matrix. We define the family $b$-Chern-Connes character and then we prove that it is entire and give its variation formula. By this varia…
We study the index of the APS boundary value problem for a strongly Callias-type operator D on a complete Riemannian manifold $M$. We show that this index is equal to an index on a simpler manifold whose boundary is a disjoint union of two complete manifolds $N_0$ and $N_1$. If the dimension of $M$ is odd we show that the latter index depends only on the restrictions $A_0$ and $A_1$ of $D$ to $N_0$ and $N_1$ and thus is an invariant of the boundary. We use this invariant to define the relative eta-invariant $η(A_1,A_0)$. We show that even though in our situation the eta-invariants of $A_1$ and…
The Atiyah-Singer index theorem gives a topological formula for the index of an elliptic differential operator. Enlightening from Alain Connes' tangent groupoid proof of the index theorem and van Erp's research for the Heisenberg index theory on contact manifolds, we give an explicit construction of a series of maps, whose induced map in K-theory is the Heisenberg Atiyah-Singer index map on contact manifolds. Our methods derive from Higson's construction for symbol class in K-theory.
We formulate and prove a lattice version of the Atiyah-Singer index theorem. The main theorem gives a $K$-theoretic formula for an index-type invariant of operators on lattice approximations of closed integral affine manifolds. We apply the main theorem to an index problem of Wilson-Dirac operators in lattice gauge theory.
The aim of this work is to give an algebraic weak version of the Atiyah-Singer index theorem. We compute then a few small examples with the elliptic differential operator of order $\leq 1$ coming from the Atiyah class in $\mathrm{Ext}^1_{\mathcal{O}_X}(\mathcal{O}_X,Ω^1_{X/k})$, where $X \longrightarrow \mathrm{Spec}(k)$ is a smooth projective scheme over a perfect field $k$.
K-theory allows us to define an analytical condition for the existence of `false' gauge field copies through the use of the Atiyah-Singer index theorem. After establishing that result we discuss a possible extension of the same result without the help of the index theorem and suggest possible related lines of work.
We show that the R/Z part of the analytically defined eta invariant of Atiyah-Patodi-Singer for a Dirac operator on an odd dimensional closed spin manifold can be expressed purely geometrically through a stable Chern-Simons current on a higher dimensional sphere. As a preliminary application, we discuss the relation with the Atiyah-Patodi-Singer R/Z index theorem for unitary flat vector bundles, and prove an R refinement in the case where the Dirac operator is replaced by the Signature operator. We also extend the above discussion to the case of eta invariants associated to Hermitian vector bu…
We prove an analogue for odd dimensional manifolds with boundary, in the $b$-calculus setting, of the higher Atiyah-Patodi-Singer index theorem by Getzler and Wu, thus obtain a natural counterpart of the eta invariant for even dimensional closed manifolds.
We prove an analogue for even dimensional manifolds of the Atiyah-Patodi-Singer twisted index theorem for trivialized flat bundles. We show that the eta invariant appearing in this result coincides with the eta invariant by Dai and Zhang up to an integer. We also obtain the odd dimensional counterpart for manifolds with boundary of the relative index pairing by Lesch, Moscovici and Pflaum.
We define a class of boundary value problems on manifolds with fibered boundary. This class is in a certain sense a deformation between the classical boundary value problems and the Atiyah-Patodi-Singer problems in subspaces. The boundary conditions in this theory are taken as elements of the C^*-algebra generated by pseudodifferential operators and families of pseudodifferential operators in the fibers. We prove the Fredholm property for elliptic boundary value problems. This class also contains nonlocal boundary value problems of math.KT/0108107. We compute a topological obstruction (similar…
We generalise the Atiyah-Segal-Singer fixed point theorem to noncompact manifolds. Using $KK$-theory, we extend the equivariant index to the noncompact setting, and obtain a fixed point formula for it. The fixed point formula is the explicit cohomological expression from Atiyah-Segal-Singer's result. In the noncompact case, however, we show in examples that this expression yields characters of infinite-dimensional representations. In one example, we realise characters of discrete series representations on the regular elements of a maximal torus, in terms of the index we define. Further results…
Let $Γ$ be a discrete finitely generated group. Let $\hat{M}\to T$ be a $Γ$-equivariant fibration, with fibers diffeomorphic to a fixed even dimensional manifold with boundary $Z$. We assume that $Γ\to \hat{M}\to \hat{M}/Γ$ is a Galois covering of a compact manifold with boundary. Let $(D^+ (θ))_{θ\in T}$ be a $Γ$-equivariant family of Dirac-type operators. Under the assumption that the boundary family is $L^2$-invertible, we define an index class in the K-theory of the cross-product algebra, $K_0 (C^0 (T)\rtimes_r Γ)$. If, in addition, $Γ$ is of polynomial growth, we define higher indeces by …
A families index theorem in K-theory is given for the setting of Atiyah, Patodi and Singer of a family of Dirac operators with spectral boundary condition. This result is deduced from such a K-theory index theorem for the calculus of cusp, or more generally fibred cusp, pseudodifferential operators on the fibres (with boundary) of a fibration; a version of Poincare duality is also shown in this setting, identifying the stable Fredholm families with elements of a bivariant K-group.
In his book (II.5), Connes gives a proof of the Atiyah-Singer index theorem for closed manifolds by using deformation groupoids and appropiate actions of these on R^N. Following these ideas, we prove an index theorem for manifolds with boundary.
This expository paper is an introductory text on topological K-theory and the Atiyah-Singer index theorem, suitable for graduate students or advanced undegraduates already possessing a background in algebraic topology. The bulk of the material presented here is distilled from Atiyah's classic "K-Theory" text, as well as his series of seminal papers "The Index of Elliptic Operators" with Singer. Additional topics include equivariant K-theory, the G-index theorem, and Bott's paper "The Index Theorem for Homogeneous Differential Operators". It also includes an appendix with a proof of Bott period…
In this expository paper, we revisit the results of Atiyah-Singer and de Concini-Procesi-Vergne concerning the structure of the K-theory groups K_G(T_G M).
For a unitary representation of the fundamental group of a compact smooth manifold, Atiyah, Patodi, Singer defined the so called alpha-invariant of the representation using Chern-Simons invariants. In this article using traces on C*-algebras, we define intrinsically(i.e without using Chern character) an element in KK-theory with real coefficients theory whose pullback by the representation is the alpha-invariant.
We formulate and prove a generalization of the Atiyah-Singer family index theorem in the context of the theory of spaces of manifolds à la Madsen, Tillmann, Weiss, Galatius and Randal-Williams. Our results are for Dirac-type operators linear over arbitrary $C^*$-algebras.
We give a proof of the cobordism invariance of the index of elliptic pseudodifferential operators on sigma-compact manifolds, where, in the non-compact case, the operators are assumed to be multiplication outside a compact set. We show that, if the principal symbol class of such an elliptic operator on the boundary of a manifold X has a suitable extension to K^1(TX), then its index is zero. This condition is incorporated into the definition of a cobordism group for non-compact manifolds, called here ``cobordism of symbols''. Our proof is topological, in that we use properties of the push-forwa…
