Let X be a closed Riemannian manifold and let H\hookrightarrow X be an embedded hypersurface. Let X=X_+ \cup_H X_- be a decomposition of X into two manifolds with boundary, with X_+ \cap X_- = H. In this expository article, surgery -- or gluing -- formulæfor several geometric and spectral invariants associated to a Dirac-type operator ð_X on X are presented. Considered in detail are: the index of ð_X, the index bundle and the determinant bundle associated to a family of such operators, the eta invariant and the analytic torsion. In each case the precise form of the surgery theorems, as well as the different techniques used to prove them, are surveyed.
We show that for generic Riemannian metrics on a simply-connected closed spin manifold of dimension at least 5 the dimension of the space of harmonic spinors is no larger than it must be by the index theorem. The same result holds for periodic fundamental groups of odd order. The proof is based on a surgery theorem for the Dirac spectrum which says that if one performs surgery of codimension at least 3 on a closed Riemannian spin manifold, then the Dirac spectrum changes arbitrarily little provided the metric on the manifold after surgery is chosen properly.
We propose a geometric approach to construct the Cauchy evolution operator for the Lorentzian Dirac operator on Cauchy-compact globally hyperbolic 4-manifolds. We realise the Cauchy evolution operator as the sum of two invariantly defined oscillatory integrals -- the positive and negative Dirac propagators -- global in space and in time, with distinguished complex-valued geometric phase functions. As applications, we relate the Cauchy evolution operators with the Feynman propagator and construct Cauchy surfaces covariances of quasifree Hadamard states.
We review the work of the authors and their collaborators on the decomposition of the zeta-determinant of the Dirac operator into the contribution coming from different parts of a manifold.
We prove that the mass endomorphism associated to the Dirac operator on a Riemannian manifold is non-zero for generic Riemannian metrics. The proof involves a study of the mass endomorphism under surgery, its behavior near metrics with harmonic spinors, and analytic perturbation arguments.
In this note we specialize and illustrate the ideas developed in the paper math.DG/0201112 of the first author ("Index theory, eta forms, and Deligne cohomology ") in the case of the determinant line bundle. We discuss the surgery formula in the adiabatic limit using the adiabatic decomposition formula of the zeta regularized determinant of the Dirac Laplacian obtained by the second author and K. Wojciechowski.
On a compact spin manifold we study the space of Riemannian metrics for which the Dirac operator is invertible. The first main result is a surgery theorem stating that such a metric can be extended over the trace of a surgery of codimension at least three. We then prove that if non-empty the space of metrics with invertible Dirac operators is disconnected in dimensions $n \equiv 0,1,3,7 \mod 8$, $n \geq 5$. As a corollary follows results on the existence of metrics with harmonic spinors by Hitchin and Bär. Finally we use computations of the eta invariant by Botvinnik and Gilkey to find metrics…
Let $G$ be a compact connected Lie group, and $M$ a compact Hamiltonian $G$-space, with moment map $J$. For each $G$-equivariant Hermitian vector bundle $E$ over $M$, one has an associated twisted Spin-C Dirac operator, whose equivariant index is a symplectic invariant of $E$. In the present paper, we study gluing properties of the equivariant index under "symplectic cutting" operations. Our main application is a proof of the Guillemin-Sternberg conjecture, which says that if $E=L$ is a quantizing line bundle and $0$ a regular value of $J$, the multiplicity of the trivial representation in the…
We prove that for cobordant closed spin manifolds of dimension $n\geq 3$ the associated spaces of metrics with invertible Dirac operator are homotopy equivalent. This is the spinorial counterpart of a similar result on positive scalar curvature of Chernysh/Walsh and generalizes the surgery result of Ammann-Dahl-Humbert on the existence of metrics with invertible Dirac operator under surgery. We also give a relative statement of this homotopy equivalence.
Let M be a compact manifold with a fixed spin structure χ. The Atiyah-Singer index theorem implies that for any metric g on M the dimension of the kernel of the Dirac operator is bounded from below by a topological quantity depending only on M and χ. We show that for generic metrics on M this bound is attained.
Let $M$ be a compact manifold with a metric $g$ and with a fixed spin structure $χ$. Let $λ\_1^+(g)$ be the first non-negative eigenvalue of the Dirac operator on $(M,g,χ)$. We set $$τ(M,χ):= \sup \inf λ\_1^+(g)$$ where the infimum runs over all metrics $g$ of volume 1 in a conformal class $[g\_0]$ on $M$ and where the supremum runs over all conformal classes $[g\_0]$ on $M$. Let $(M^#,χ^#)$ be obtained from $(M,χ)$ by 0-dimensional surgery. We prove that $$τ(M^#,χ^#)\geq τ(M,χ).$$ As a corollary we can calculate $τ(M,χ)$ for any Riemann surface $M$.
We investigate the Dolbeault operator on a pair of pants, i.e., an elementary cobordism between a circle and the disjoint union of two circles. This operator induces a canonical selfadjoint Dirac operator $D_t$ on each regular level set $C_t$ of a fixed Morse function defining this cobordism. We show that as we approach the critical level set $C_0$ from above and from below these operators converge in the gap topology to (different) selfadjoint operators $D_\pm$ that we describe explicitly. We also relate the Atiyah-Patodi-Singer index of the Dolbeault operator on the cobordism to the spectral…
We associate to a compact spin manifold M a real-valued invariant τ(M) by taking the supremum over all conformal classes over the infimum inside each conformal class of the first positive Dirac eigenvalue, normalized to volume 1. This invariant is a spinorial analogue of Schoen's $σ$-constant, also known as the smooth Yamabe number. We prove that if N is obtained from M by surgery of codimension at least 2, then $τ(N) \geq \min\{τ(M),Λ_n\}$ with $Λ_n>0$. Various topological conclusions can be drawn, in particular that τis a spin-bordism invariant below $Λ_n$. Below $Λ_n$, the values of $τ$ can…
In this article, we prove that on any compact spin manifold of dimension m congruent 0,6,7 mod 8, there exists a metric, for which the associated Dirac operator has at least one eigenvalue of multiplicity at least two. We prove this by catching the desired metric in a subspace of Riemannian metrics with a loop that is not homotopically trivial. We show how this can be done on the sphere with a loop of metrics induced by a family of rotations. Finally, we transport this loop to an arbitrary manifold (of suitable dimension) by extending some known results about surgery theory on spin manifolds.
The main result of this paper is a new and direct proof of the natural transformation from the surgery exact sequence in topology to the analytic K-theory sequence of Higson and Roe. Our approach makes crucial use of analytic properties and new index theorems for the signature operator on Galois coverings with boundary. These are of independent interest and form the second main theme of the paper. The main technical novelty is the use of large scale index theory for Dirac type operators that are perturbed by lower order operators.
In this paper we prove the existence of a natural mapping from the surgery exact sequence for topological manifolds to the analytic surgery exact sequence of N. Higson and J. Roe. This generalizes the fundamental result of Higson and Roe, but in the treatment given by Piazza and Schick, from smooth manifolds to topological manifolds. Crucial to our treatment is the Lipschitz signature operator of Teleman. We also give a generalization to the equivariant setting of the product defined by Siegel in his Ph.D. thesis. Geometric applications are given to stability results for rho classes. We also o…
This manuscript attempts to present a way in which the classical construction of the Dirac operator can be carried over to the setting of diffeology. A more specific aim is to describe a procedure for gluing together two usual Dirac operators and to explain in what sense the result is again a Dirac operator. Since versions of cut-and-paste (surgery) operations have already appeared in the context of Atiyah-Singer theory, we specify that our gluing procedure is designed to lead to spaces that are not smooth manifolds in any ordinary sense, and since much attention has been paid in recent years …
We establish existence of the eta-invariant as well as of the Atiyah-Patodi-Singer and the Cheeger-Gromov rho-invariants for a class of Dirac operators on an incomplete edge space. Our analysis applies in particular to the signature, the Gauss-Bonnet and the spin Dirac operator. We derive an analogue of the Atiyah-Patodi-Singer index theorem for incomplete edge spaces and their non-compact infinite Galois coverings with edge singular boundary. Our arguments employ microlocal analysis of the heat kernel asymptotics on incomplete edge spaces and the classical argument of Atiyah-Patodi-Singer. As…
Let M be a closed spin manifold of dimension at least three with a fixed topological spin structure. For any Riemannian metric, we can construct the associated Dirac operator. The spectrum of this Dirac operator depends on the metric of course. In 2005, Dahl conjectured that M can be given a metric, for which a finite part of the spectrum consists of arbitrarily prescribed eigenvalues of arbitrary (finite) multiplicity. The only constraints one has to respect are the exception of the zero eigenvalue (due to the Atiyah-Singer index theorem) and in certain dimensions, the quaternionic structure …
