Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0108107

Index defects in the theory of nonlocal boundary value problems and the eta invariant

A. Savin·B. Sternin
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study elliptic theory on manifolds with boundary represented as a covering space. Firstly, we consider boundary value problems, where the boundary conditions are allowed to mix the values of functions in the fibers of the covering. We show that elliptic elements define Fredholm operators and prove an index formula. For the identity covering, our formula reduces to the Atiyah-Bott index formula for classical boundary value problems. Secondly, we consider Atiyah-Patodi-Singer boundary value problems for operators adapted to the covering. We show that the corresponding symbols have a natural homotopy invariant. This invariant is equal to the index of the corresponding spectral problem plus the relative eta-invariant. The computation of this invariant in topological terms is one of the main results of the paper. For a trivial covering, we recover the mod n-index theorem of Freed-Melrose. Finally, we prove the Poincare duality and isomorphisms in K-theory of singular spaces corresponding to our manifolds. The isomorphisms are defined in terms of the two classes of elliptic operators from the above. Thus, the two elliptic theories are dual.

Explore related subjects

math.KTmath.DGmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

A. Savin, B. Sternin. 2005-03-13. Index defects in the theory of nonlocal boundary value problems and the eta invariant. https://arxiv.org/abs/math/0108107

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A secondary index map on relative K-homology

We introduce a secondary index map from relative K-homology to the K-theory of a relative structure algebra. We prove an algebraic Mayer-Vietoris sequence for the relative structure algebra, and prove compatibility of the secondary index map with the Mayer-Vietoris boundary map. As an application, we compute the secondary index of the Dirac operator on an even-dimensional spin manifold with collared metric having uniformly positive scalar curvature on the boundary. This computation leads to a refinement of the delocalized APS-index theorem.

math.KT↗
arXiv2026

Higher Noncommutative Motives and Higher K-theory

We construct higher additive noncommutative motives of stable $(\infty,n)$-categories, extending the additive motives of Blumberg, Gepner, and Tabuada and the secondary theory of Mazel-Gee and Stern. We formulate a notion of exact sequences and establish the universal property of the resulting additive motives. We give two equivalent constructions: a localization of enriched presheaves and a weighted Waldhausen $S$-construction on complete exact flags. We then compute their Hom objects, obtaining ordinary K-theory at the first level and lower additive motives recursively at higher levels. Our results recover the classical and secondary theories, provide coherent multiplicative structures, and yield an endofunctor on the category of Stefanich rings. In short, higher motives are higher K-theory.

math.KT↗
arXiv2026

Perfect Forms and Torsion Bounds in Algebraic $K$-Theory over Totally Real and CM Fields

We extend the method of Van Woerden \cite{woerden} to totally real and CM number fields to obtain an upper bound for the number of $\GLo-$equivalence classes of perfect forms. Moreover, by considering appropriate barycentric subdivisions of the Voronoi tessellation, we extend these estimates to the number of $\GLo$-orbits of $k$-dimensional faces of the Voronoi tessellation. As a consequence, we improve the asymptotic order of the bounds for the torsion part of $K_m(\rint)$ obtained by Soulé \cite{soule_hermitian_bounds} and Houriet \cite{Juliet_PHD}. We emphasise the improvement of the general bound for $F=\mathbb Q$, unchanged since Soulé's work, and the independence of the discriminant exponent from the field degree for totally real and CM fields.

math.KT↗