Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA physicist-friendly reformulation of the Atiyah-Patodi-Singer index and its mathematical justification
342
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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 $eta$ 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 contribution to the proceedings of LATTICE 2019, we try to explain the whole story in a physicist-friendly way.
rate research
Read More
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 $eta$ 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 $eta$ invariant comes entirely from the massless edge-localized modes.
Atiyah-Singer index theorem on a lattice without boundary is well understood owing to the seminal work by Hasenfratz et al. But its extension to the system with boundary (the so-called Atiyah- Patodi-Singer index theorem), which plays a crucial role in T-anomaly cancellation between bulk- and edge-modes in 3+1 dimensional topological matters, is known only in the continuum theory and no lattice realization has been made so far. In this work, we try to non-perturbatively define an alternative index from the lattice domain-wall fermion in 3+1 dimensions. We will show that this new index in the continuum limit, converges to the Atiyah-Patodi-Singer index defined on a manifold with boundary, which coincides with the surface of the domain-wall.
The Atiyah-Patodi-Singer(APS) index theorem attracts attention for understanding physics on the surface of materials in topological phases. The mathematical set-up for this theorem is, however, not directly related to the physical fermion system, as it imposes on the fermion fields a non-local boundary condition known as the APS boundary condition by hand, which is unlikely to be realized in the materials. In this work, we attempt to reformulate the APS index in a physicist-friendly way for a simple set-up with $U(1)$ or $SU(N)$ gauge group on a flat four-dimensional Euclidean space. We find that the same index as APS is obtained from the domain-wall fermion Dirac operator with a local boundary condition, which is naturally given by the kink structure in the mass term. As the boundary condition does not depend on the gauge fields, our new definition of the index is easy to compute with the standard Fujikawa method.
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 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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
