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 boundary. An application of the theorem is to count the zero modes of the Dirac operator in the background of a caloron (periodic instanton).
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 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 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.
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…
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 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.
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.
In this paper, we obtain two Lichnerowicz type formulas for the Dirac-Witten operators. And we give the proof of Kastler-Kalau-Walze type theorems for the Dirac-Witten operators on 4-dimensional and 6- dimensional compact manifolds with (resp.without) boundary
The aim of this paper is to prove a normal form Theorem for Dirac-Jacobi bundles using the recent techniques from Bursztyn, Lima and Meinrenken. As the most important consequence, we can prove the splitting theorems of Jacobi pairs which was proposed by Dazord, Lichnerowicz and Marle. As an application we provide a alternative proof of the splitting theorem of homogeneous Poisson structures.
In this paper, we prove two Kastler-Kalau-Walze type theorems for conformal perturbations of twisted Dirac operators and conformal perturbations of twisted signature operators on four-dimensional manifolds with (resp. without) boundary.
In this paper, we give a Lichnerowicz type formula for the J-twist D_J of the Dirac operator. And we prove a Kastler-Kalau-Walze type theorem for the J-twist D_J of the Dirac operator on 3-dimensional and 4-dimensional almost product Riemannian spin manifold with boundary.
In this paper, we define lower dimensional volumes of compact Riemannian manifolds with boundary. For five dimensional spin manifolds with boundary, we prove a Kastler-Kalau-Walze type theorem associated with one-form perturbations of Dirac operators in this case.
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…
The index theorems relate the gauge field and metric on a manifold to the solution of the Dirac equation on it. In the standard approach, the Dirac operator must be massless in order to make the chirality operator well-defined. In physics, however, the index theorem appears as a consequence of chiral anomaly, which is an explicit breaking of the symmetry. It is then natural to ask if we can understand the index theorems in a massive fermion system which does not have chiral symmetry. In this review, we discuss how to reformulate the chiral anomaly and index theorems with massive Dirac operator…
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…
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.
The k-Dirac operator is a differential operator which is natural to geometric structure of a parabolic type. We will give a set of initial conditions for this operator. In the proof of the claim we will need to adapt some parts from the theory of exterior differential systems to the setting of weighted differential operators.
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…
Let $M$ be a closed spin manifold and let $N$ be a closed manifold. For maps $f\colon M\to N$ and Riemannian metrics $g$ on $M$ and $h$ on $N$, we consider the Dirac operator $D^f_{g,h}$ of the twisted Dirac bundle $ΣM\otimes_{\mathbb{R}} f^*TN$. To this Dirac operator one can associate an index in $KO^{-dim(M)}(pt)$. If $M$ is $2$-dimensional, one gets a lower bound for the dimension of the kernel of $D^f_{g,h}$ out of this index. We investigate the question whether this lower bound is obtained for generic tupels $(f,g,h)$.
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.
We study perturbed Dirac operators of the form $ D_s= D + s\A :Γ(E^0)\rightarrow Γ(E^1)$ over a compact Riemannian manifold $(X, g)$ with symbol $c$ and special bundle maps $\A : E^0\rightarrow E^1$ for $s>>0$. Under a simple algebraic criterion on the pair $(c, \A)$, solutions of $D_sψ=0$ concentrate as $s\to\infty$ around the singular set $Z_\A$ of $\A$. We prove a spectral separation property of the deformed Laplacians $D_s^*D_s$ and $D_s D_s^*$, for $s>>0$. As a corollary we prove an index localization theorem.
We consider a hyperbolic Dirac-type operator with growing potential on a a spatially non-compact globally hyperbolic manifold. We show that the Atiyah-Patodi-Singer boundary value problem for such operator is Fredholm and obtain a formula for this index in terms of the local integrals and the relative eta-invariant introduced by Braverman and Shi. This extends recent results of Bär and Strohmaier, who studied the index of a hyperbolic Dirac operator on a spatially compact globally hyperbolic manifold.
We study the qualitative behavior of nonlinear Dirac equations arising in quantum field theory on complete Riemannian manifolds. In particular, we derive monotonicity formulas and Liouville theorems for solutions of these equations. Finally, we extend our analysis to Dirac-harmonic maps with curvature term.
We consider the index of a Dirac operator on a compact even dimensional manifold with a domain wall. The latter is defined as a co-dimension one submanifold where the connection jumps. We formulate and prove an analog of the Atiyah-Patodi-Singer theorem that relates the index to the bulk integral of Pontryagin density and $η$-invariants of auxiliary Dirac operators on the domain wall. Thus the index is expressed through the global chiral anomaly in the volume and the parity anomaly on the wall.
