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.
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.
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 study the Cauchy data spaces of the strongly Callias-type operators using maximal domain on manifolds with non-compact boundary, with the aim of understanding the Atiyah-Patodi-Singer index and elliptic boundary value problems.
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 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 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 compute the index of a Callias-type operator with APS boundary condition on a manifold with compact boundary in terms of combination of indexes of induced operators on a compact hypersurface. Our result generalizes the classical Callias-type index theorem to manifolds with compact boundary.
We construct eta- and rho-invariants for Dirac operators, on the universal covering of a closed manifold, that are invariant under the projective action associated to a 2-cocycle of the fundamental group. We prove an Atiyah-Patodi-Singer index theorem in this setting, as well as its higher generalization. Applications concern the classification of positive scalar curvature metrics on closed spin manifolds. We also investigate the properties of these twisted invariants for the signature operator and the relation to the higher invariants.
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…
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…
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 term…
Let $X_0$ be a compact Riemannian manifold with boundary endowed with a oriented, measured even dimensional foliation with purely transverse boundary. Let $X$ be the manifold with cylinder attached and extended foliation. We prove that the $L^2$--measured index of a Dirac type operator is well defined and the following Atiyah Patodi Singer index formula is true $$ind_{L^2,Λ}(D^+) = <\widehat{A}(X,\nabla)Ch(E/S),C_Λ> + 1/2[η_Λ(D^{\mathcal{F}_\partial}) - h^+_Λ+ h^-_Λ].$$ Here $Λ$ is a holonomy invariant transverse measure, $η_Λ(D^{\mathcal{F}_{\partial}})$ is the Ramachandran eta invariant \cit…
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.
We study realizations of pseudodifferential operators acting on sections of vector-bundles on a smooth, compact manifold with boundary, subject to conditions of Atiyah-Patodi-Singer type. Ellipticity and Fredholm property, compositions, adjoints and self-adjointness of such realizations are discussed. We construct regular spectral triples $(\mathcal{A},\mathcal{H},\mathcal{D})$ for manifolds with boundary of arbitrary dimension, where $\mathcal{H}$ is the space of square integrable sections. Starting out from Dirac operators with APS-conditions, these triples are even in case of even dimension…
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 propose a non-perturbative formulation of the Atiyah-Patodi-Singer(APS) index in lattice gauge theory, in which the index is given by the $η$ invariant of the domain-wall Dirac operator. Our definition of the index is always an integer with a finite lattice spacing. To verify this proposal, using the eigenmode set of the free domain-wall fermion, we perturbatively show in the continuum limit that the curvature term in the APS theorem appears as the contribution from the massive bulk extended modes, while the boundary $η$ invariant comes entirely from the massless edge-localized modes.
The Atiyah-Patodi-Singer index theorem describes the bulk-edge correspondence of symmetry protected topological insulators. The mathematical setup for this theorem is, however, not directly related to the physical fermion system, as it imposes on the fermion fields a non-local and unnatural boundary condition known as the "APS boundary condition" by hand. In 2017, we showed that the same integer as the APS index can be obtained from the $η$ invariant of the domain-wall Dirac operator. Recently we gave a mathematical proof that the equivalence is not a coincidence but generally true. In this co…
In this paper we describe the oriented Riemannian four-manifolds $M$ for which the Atiyah-Hitchin-Singer or Eells-Salamon almost complex structure on the twistor space ${\mathcal Z}$ of $M$ determines a harmonic map from ${\mathcal Z}$ into its twistor space.
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 Atiyah-Singer index theorem, a landmark achievement of the early 1960s, brings together ideas in analysis, geometry, and topology. We recount some antecedents and motivations; various forms of the theorem; and some of its implications, which extend to the present.
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 globally hyperbolic manifold with complete spacelike Cauchy hypersurface $Σ\subset M$. Building on past and recent works of Bär and Strohmaier, we extend their Fredholm result of the Atiyah-Singer Dirac operator on compact Lorentzian spaces to the case, where $M$ is diffeomorphic to a product of $Σ$ with a compact time intervall and the hypersurface is a Galois covering with respect to a group $Γ$. We follow the first approach of both authors in this extended setting, where a well-posedness result of the Cauchy problem for the Dirac operator on non-compact manifolds is needed in p…
On a smooth complete Riemannian spin manifold with smooth compact boundary, we demonstrate that the Atiyah-Singer Dirac operator $\mathrm{D}_{\mathcal B}$ in $\mathrm{L}^{2}$ depends Riesz continuously on $\mathrm{L}^{\infty}$ perturbations of local boundary conditions ${\mathcal B}$. The Lipschitz bound for the map ${\mathcal B} \to {\mathrm{D}}_{\mathcal B}(1 + {\mathrm{D}}_{\mathcal B}^2)^{-\frac{1}{2}}$ depends on Lipschitz smoothness and ellipticity of ${\mathcal B}$ and bounds on Ricci curvature and its first derivatives as well as a lower bound on injectivity radius. More generally, we …
We prove that the Atiyah-Singer Dirac operator ${\mathrm D}_{\mathrm g}$ in ${\mathrm L}^2$ depends Riesz continuously on ${\mathrm L}^{\infty}$ perturbations of complete metrics ${\mathrm g}$ on a smooth manifold. The Lipschitz bound for the map ${\mathrm g} \to {\mathrm D}_{\mathrm g}(1 + {\mathrm D}_{\mathrm g}^2)^{-\frac{1}{2}}$ depends on bounds on Ricci curvature and its first derivatives as well as a lower bound on injectivity radius. Our proof uses harmonic analysis techniques related to Calderón's first commutator and the Kato square root problem. We also show perturbation results for…
In this paper, an equality between the Hochs-Mathai type index and the Atiyah-Patodi-Singer type index is established when the manifold and the group action are both non-compact, which generalizes a result of Ma and Zhang for compact group actions. As a technical preparation, a problem concerning the Fredholm property of the global elliptic boundary value problems of the Atiyah-Patodi-Singer type on a non-compact manifold is studied.
The index theorem, discovered by Atiyah and Singer in 1963, is one of most important results in the twentieth century mathematics. It found numerous applications in analysis, geometry and physics. Since it was discovered numerous attempts to generalize it were made, see for example [5, 3, 4, 16, 12] to mention a few; some of these generalizations gave rise to new very productive areas of mathematics. In this lectures we first review the classical Atiyah-Singer index theorem and its generalization to so called transversally elliptic operators (Atiyah, 1974) due to Atiyah and Singer. Then we dis…
The Atiyah-Singer index formula for subelliptic operators on contact manifolds, Part II
通过构造亚椭圆算子的拓扑K理论上圈，给出了切触流形上Heisenberg积分中亚椭圆算子指标问题的一个新的解决方法.它的陈特征标给出了一个可以应用Atiyah-Singer指数公式的上同调类。这样的K-上循环已经由Boutet de Monvel为Toeplitz算子构造，最近，Melrose和Epstein为Hermite算子类构造。我们的建设适用于一般亚椭圆伪微分算子的海森堡演算。与Melrose和Epstein的Hermite指数公式一样，我们构造了切触超平面丛的对称张量的向量丛自同构。这种自同构是直接从算子的可逆海森堡符号构造的，并且在微分算子的情况下很容易计算。
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 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.
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.
A Dirac operator on a complete manifold is Fredholm if it is invertible outside a compact set. Assuming a compact group to act on all relevant structure, and the manifold to have a warped product structure outside such a compact set, we express the equivariant index of such a Dirac operator as an Atiyah-Segal-Singer type contribution from inside this compact set, and a contribution from outside this set. Consequences include equivariant versions of the relative index theorem of Gromov and Lawson, in the case of manifolds with warped product structures at infinity, and the Atiyah-Patodi-Singer …
Extending ideas of Atiyah--Bott--Shapiro and Quillen, we construct a model for differential $\rm KO$-theory whose cocycles are families of Clifford modules with superconnection. The model is built to accommodate an analytic pushforward for bundles of spin manifolds, affording a differential refinement of Atiyah and Singer's families index.
In this paper, using the equivariant version of the Dai-Zhang higher spectral flow, we generalize the variation formula, embedding formula and the adiabatic limit formula for the Atiyah-Patodi-Singer eta invariants to the equivariant Bismut-Cheeger eta forms for a fiberwise compact Lie group action when the kernels of corresponding fiberwise Dirac operators form equivariant vector bundles.
We show that elliptic complexes of (pseudo)differential operators on smooth compact manifolds with boundary can always be complemented to a Fredholm problem by boundary conditions involving global pseudodifferential projections on the boundary (similarly as the spectral boundary conditions of Atiyah, Patodi and Singer for a single operator). We prove that boundary conditions without projections can be chosen if, and only if, the topological Atiyah-Bott obstruction vanishes. These results make use of a Fredholm theory for complexes of operators in algebras of generalized pseudodifferential oper…
On a compact globally hyperbolic Lorentzian spin manifold with smooth spacelike Cauchy boundary the (hyperbolic) Dirac operator is known to be Fredholm when Atiyah-Patodi-Singer boundary conditions are imposed. In this paper we investigate to what extent these boundary conditions can be replaced by more general ones and how the index then changes. There are some differences to the classical case of the elliptic Dirac operator on a Riemannian manifold with boundary.
We survey the Hirzebruch signature theorem as a special case of the Atiyah-Singer index theorem. The family version of the Atiyah-Singer index theorem in the form of the Riemann-Roch-Grothendieck-Quillen (RRGQ) formula is then applied to the complexified signature operators varying along the universal family of elliptic curves. The RRGQ formula allows us to determine a generalized cohomology class on the base of the elliptic fibration that is known in physics as (a measure of) the local and global anomaly. Combining several anomalous operators allows us to cancel the local anomaly on a Jacobia…
