We compute the index of the Dirac operator on spin Riemannian manifolds with conical singularities, acting from $L^p(Σ^+)$ to $L^q(Σ^-)$ with $p,q>1$. When $1+\frac{n}{p}-\frac{n}{q}>0$ we obtain the usual Atiyah-Patodi-Singer formula, but with a spectral cut at $\frac{n+1}{2}-\frac{n}{q}$ instead of 0 in the definition of the eta invariant. In particular we reprove Chou's formula for the $L^2$ index. For $1+\frac{n}{p}-\frac{n}{q}\leq 0$ the index formula contains an extra term related to the Calderón projector.
We construct Gaussian Harmonic forms of finite Gaussian weighted $L^2$-norm on non-compact surfaces that detect each asymptotically conical end. As an application we prove an extension of the index estimates of self-shrinkers in $[11]$ under the existence of such ends. We show that the Morse index of a self-shrinker is greater or equal to $\frac{2g+r-1}{3}$, where $r$ is the number of asymptotically conical ends.
We study the stability of coassociative 4-folds with conical singularities under perturbations of the ambient G_2 structure by defining an integer invariant of a coassociative cone which we call the stability index. The stability index of a coassociative cone is determined by the spectrum of the curl operator acting on its link. We explicitly calculate the stability index for cones on group orbits. We also describe the stability index for cones fibered by 2-planes over algebraic curves using the degree and genus of the curve and the spectrum of the Laplacian on the link. Finally we apply our r…
We develop the deformation theory of instantons on asymptotically conical $G_2$-manifolds, where an asymptotic connection at infinity is fixed. A spinorial approach is adopted to relate the space of deformations to the kernel of a twisted Dirac operator on the $G_2$-manifold and to the eigenvalues of a twisted Dirac operator on the nearly Kähler link. This framework is then used to calculate the virtual dimension of the moduli spaces of $G_2$-instantons on which several known examples live. One such example considered is the $G_2$-instanton of Günaydin-Nicolai, which lives on $R^7$. As an appl…
We prove existence results for Dirac-harmonic maps using index theoretical tools. They are mainly interesting if the source manifold has dimension 1 or 2 modulo 8. Our solutions are uncoupled in the sense that the underlying map between the source and target manifolds is a harmonic map.
We derive a formula for the index of a Dirac operator on a compact, even-dimensional incomplete edge space satisfying a "geometric Witt condition". We accomplish this by cutting off to a smooth manifold with boundary, applying the Atiyah-Patodi-Singer index theorem, and taking a limit. We deduce corollaries related to the existence of positive scalar curvature metrics on incomplete edge spaces.
This text is a revised version of the authors Habilitationsschrift which was submitted to the University of Augsburg, 1993. Fuchs type differential operators are used to model the analysis on manifolds with cone--like singularities, or more general, stratified spaces. This book provides a self--contained treatment of the analysis of the heat equation and index theory for these operators. Major topics are short--time asymptotics, $η$-- and $ζ$--functions, (relative) index theorems. Another chapter is devoted to the discussion of deficiency indices and Dirac Schrödinger operators.
We prove that the indices of fibered-cusp and $d$-Dirac operators on a spin manifold with fibered boundary coincide if the associated family of Dirac operators on the fibers of the boundary is invertible. This answers a question raised by Piazza. Under this invertibility assumption, our method yields an index formula for the Dirac operator of horn-cone and of fibered horn metrics.
We study families of Dirac-type operators, with compatible perturbations, associated to wedge metrics on stratified spaces. We define a closed domain and, under an assumption of invertible boundary families, prove that the operators are self-adjoint and Fredholm with compact resolvents and trace-class heat kernels. We establish a formula for the Chern character of their index.
We investigate the problem of calculating the Fredholm index of a geometric Dirac operator subject to local (e.g. Dirichlet and Neumann) and non-local (APS) boundary conditions posed on the strata of a manifold with corners. The boundary strata of the manifold with corners can intersect in higher codimension. To calculate the index we introduce a glueing construction and a corresponding Lie groupoid. We describe the Dirac operator subject to mixed boundary conditions via an equivariant family of Dirac operators on the fibers of the Lie groupoid. Using a heat kernel method with rescaling we der…
We first show that existence results due to Kazdan-Warner and Cruz-Vitório can be extended to the category of manifolds with an isolated conical singularity. More precisely, we check that, under suitable conditions on the link manifold, any bounded and smooth function which is negative somewhere is the scalar curvature of some conical metric (with the boundary being minimal whenever it is non-empty). By way of comparison, we complement this analysis by indicating how index theory, as developed by Albin-Gell-Redman, may be used to transfer to this conical setting some of the classical obstructi…
We consider a Dirac-type operator $D_P$ on a vector bundle $V$ over a compact Riemannian manifold $(M,g)$ with a nonempty boundary. The operator $D_P$ is specified by a boundary condition $P(u|_{\p M})=0$ where $P$ is a projector which may be a non-local, i.e. a pseudodifferential operator. We assume the existence of a chirality operator which decomposes $L^2(M, V)$ into two orthogonal subspaces $X_+ \oplus X_-$. Under certain conditions, the operator $D_P$ restricted to $X_+$ and $ X_-$ defines a pair of Fredholm operators which maps $X_+\to X_-$ and $X_-\to X_+$ correspondingly, giving rise …
We prove the Fredholmness of Dirac operators of monopoles with Dirac-type singularities on oriented complete Riemannian $3$-folds, and we also calculate the $L^2$-indices of them.
We give a local formula for the index of a transverse Dirac-type operator on a compact manifold with a Riemannian foliation, under the assumption that the Molino sheaf is a sheaf of abelian Lie algebras.
We generalize the transgression formula for the eta form of Bismut, Cheeger and Berline, Getzler, Vergne for vertical Dirac operators on a fibre bundle with odd dimensional fibres where the Dirac operators have locally at most one eigenvalue of multiplicity one crossing zero transversally.
We calculate the equivariant index formula for an infinite dimensional Clifford module canonically associated to any Riemannian manifold. It encompasses the fractional index formula of the projective Dirac operator by Mathai--Melrose--Singer.
For closed manifolds endowed with a Riemannian foliation of codimension $4$, one can define a transversal Seiberg-Witten map. We show that there is a finite dimensional approximation for such a map. By such a method and under the condition that $H^1_b(M)\cap H^1(M,\mathbb Z)$ is a lattice of $H^1_b(M)$, we can define a foliated version of Bauer-Furuta invariant. Moreover, if the basic cohomological group is of zero dimension, we can give an estimate for the index of transversal Dirac operator of a foliated spin structure. Furthermore, under the condition that $H^\pm_b(M)=1$, we show the vanish…
In this paper we prove a formula for the analytic index of a basic Dirac-type operator on a Riemannian foliation, solving a problem that has been open for many years. We also consider more general indices given by twisting the basic Dirac operator by a representation of the orthogonal group. The formula is a sum of integrals over blowups of the strata of the foliation and also involves eta invariants of associated elliptic operators. As a special case, a Gauss-Bonnet formula for the basic Euler characteristic is obtained using two independent proofs.
An expression is found for the $L^2$-index of a Dirac operator coupled to a connection on a $U_n$ vector bundle over $S^1\times{\mathbb R}^3$. Boundary conditions for the connection are given which ensure the coupled Dirac operator is Fredholm. Callias' index theorem is used to calculate the index when the connection is independent of the coordinate on $S^1$. An excision theorem due to Gromov, Lawson, and Anghel reduces the index theorem to this special case. The index formula can be expressed using the adiabatic limit of the $η$-invariant of a Dirac operator canonically associated to the boun…
Using the Arthur-Selberg trace formula we express the index of a Dirac operator on an arithmetic quotient over a totally real field with at least two real embeddings as the integral over the index form plus a sum of orbital integrals. For the Euler operator these orbital integrals are shown to vanish for products of rank one spaces. In this case the index theorem looks exactly as in the compact case.
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.
An integer valued topological index of a Dirac operator is introduced for a pair of a 4n+2 dimensional open Spin^c manifold and a section of the determinant line bundle satisfying some property. We show a relation between the index and an index of a Dirac operator of its characteristic submanifold, by a localization of K-class.
This is an expository paper which gives a proof of the Atiyah-Singer index theorem for Dirac operators, presenting the theorem as a computation of the K-homology of a point. This paper and its follow up ("K-homology and index theory II: Elliptic Operators") was written to clear up basic points about index theory that are generally accepted as valid, but for which no proof has been published. Some of these points are needed for the solution of the Heisenberg-elliptic index problem in our paper "K-homology and index theory on contact manifolds" Acta. Math. 2014.
Let X be a compact manifold with boundary, and suppose that the boundary is the total space of a fibration with base Y and fibre Z. Let D be a generalized Dirac operator associated to a Phi-metric g on X. Under the assumption that D is fully elliptic we prove an index formula for D. The proof is in two steps: first, using results of Melrose and Rochon, we show that the index is unchanged if we pass to a certain b-metric h(s), with s a positive real number. Next we write the b- (i.e. the APS) index formula for h(s); the Phi-index formula follows by analyzing the limiting behaviour as s goes to …
We introduce a mathematician-friendly formulation of the physicist-friendly derivation of the Atiyah-Patodi-Singer index of our previous paper. Our viewpoint sheds some new light on the interplay among the Atiyah-Patodi-Singer boundary condition, domain-wall fermions, and edge modes.
We consider a generalized APS boundary problem for a G-invariant Dirac-type operator, which is not of product type near the boundary. We establish a delocalized version (a so-called Kirillov formula) of the equivariant index theorem for this operator. We obtain more explicit formulas for different geometric Dirac-type operators. In particular, we get a formula for the equivariant signature of a local system over a manifold with boundary. In case of a trivial local system, our formula can be viewed as a new way to compute the infinitesimal equivariant eta-invariant of S. Goette. We explicitly c…
We study the index theory of a class of perturbed Dirac operators on non-compact manifolds of the form $\mathsf{D}+\mathrm{i}\mathsf{c}(X)$, where $\mathsf{c}(X)$ is a Clifford multiplication operator by an orbital vector field with respect to the action of a compact Lie group. Our main result is that the index class of such an operator factors as a KK-product of certain KK-theory classes defined by $\mathsf{D}$ and $X$. As a corollary we obtain the excision and cobordism-invariance properties first established by Braverman. An index theorem of Braverman relates the index of $\mathsf{D}+\mathr…
Recently, for a family of ungraded Dirac operators over some space $B$ J. Lott constructed an index gerbe. In the present paper we show (in analogy to the holonomy formula for the determinant bundle in the graded case) that the holonomy of the index gerbe (a priori a hermitean line bundle with connection over the free loop space $LB$) coincides with an adiabatic limit of determinant bundles of an associated family of graded Dirac operators over $LB$.
Consider a spin manifold M, equipped with a line bundle L and an action of a compact Lie group G. We can attach to this data a family Theta(k) of distributions on the dual of the Lie algebra of G. The aim of this paper is to study the asymptotic behaviour of Theta(k) when k is large, and M possibly non compact, and to explore a functorial consequence of this formula for reduced spaces.
We define an equivariant index of Spin$^c$-Dirac operators on possibly noncompact manifolds, acted on by compact, connected Lie groups. The main result in this paper is that the index decomposes into irreducible representations according to the quantisation commutes with reduction principle.
Several proofs have been published of the Mod Z gluing formula for the eta-invariant of a Dirac operator. However, so far the integer contribution to the gluing formula for the eta-invariant is left obscure in the literature. In this article we present a gluing formula for the eta-invariant which expresses the integer contribution as a triple index involving the boundary conditions and the Calderon projectors of the two parts of the decomposition. The main ingredients of our presentation are the Scott-Wojciechowski theorem for the determinant of a Dirac operator on a manifold with boundary and…
Let $D$ be a (generalized) Dirac operator on a non-compact complete Riemannian manifold $M$ acted on by a compact Lie group $G$. Let $v:M --> Lie(G)$ be an equivariant map, such that the corresponding vector field on $M$ does not vanish outside of a compact subset. These data define an element of $K$-theory of the transversal cotangent bundle to $M$. Hence a topological index of the pair $(D,v)$ is defined as an element of the completed ring of characters of $G$. We define an analytic index of $(D,v)$ as an index space of certain deformation of $D$ and we prove that the analytic and topologica…
