C*-algebra approach to the index theory of boundary value problems (original) (raw)
Related papers
2005
We study the C∗-closure A of the algebra of all operators of order and class zero in Boutet de Monvel’s calculus on a compact connected manifold X with boundary ∂X 6= ∅. We find short exact sequences in K-theory 0 → Ki(C(X)) → Ki(A/K) p → K1−i(C0(T ∗X◦)) → 0, i = 0, 1, which split, so that Ki(A/K) ∼= Ki(C(X))⊕K1−i(C0(T ∗X◦)). Using only simple K-theoretic arguments and the Atiyah-Singer Index Theorem, we show that the Fredholm index of an elliptic element in A is given by indA = indt(p([A])), where [A] is the class of A in K1(A/K) and indt is the topological index, a relation first established by Boutet de Monvel by different methods. Math. Subject Classification: 58J32, 19K56, 46L80
Index and Homology and of Pseudodifferential Operators on Manifolds with Boundary
2006
We prove a local index formula for cusp-pseudodifferential operators on a manifold with boundary. This is known to be equivalent to an index formula for manifolds with cylindrical ends, and hence we obtain a new proof of the classical Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary, as well as an extension of Melrose's b-index theorem. Our approach is based on an unpublished paper by Melrose and Nistor "Homology of pseudo-differential operators I. Manifolds with boundary" [39]. We therefore take the opportunity to review some of the results from that paper from the perspective of subsequent research on the Hochschild and cyclic homologies of algebras of pseudodifferential operators and of their applications to index theory.
Index and homology of pseudodifferential operators i. manifolds with boundary
2006
We prove a local index formula for cusp-pseudodifferential operators on a manifold with boundary. This is known to be equivalent to an index formula for manifolds with cylindrical ends, and hence we obtain a new proof of the classical Atiyah-Patodi-Singer index theorem for Dirac operators on manifolds with boundary, as well as an extension of Melrose's b-index theorem. Our approach is based on an unpublished paper by Melrose and Nistor "Homology of pseudo-differential operators I. Manifolds with boundary" [39]. We therefore take the opportunity to review some of the results from that paper from the perspective of subsequent research on the Hochschild and cyclic homologies of algebras of pseudodifferential operators and of their applications to index theory.
A cohomological formula for the Atiyah–Patodi–Singer index on manifolds with boundary
Journal of Topology and Analysis, 2014
The main result of this paper is a new Atiyah–Singer type cohomological formula for the index of Fredholm pseudodifferential operators on a manifold with boundary. The nonlocality of the chosen boundary condition prevents us to apply directly the methods used by Atiyah and Singer in [4, 5]. However, by using the K-theory of C*-algebras associated to some groupoids, which generalizes the classical K-theory of spaces, we are able to understand the computation of the APS index using classic algebraic topology methods (K-theory and cohomology). As in the classic case of Atiyah–Singer ([4, 5]), we use an embedding into a Euclidean space to express the index as the integral of a true form on a true space, the integral being over a C∞-manifold called the singular normal bundle associated to the embedding. Our formula is based on a K-theoretical Atiyah–Patodi–Singer theorem for manifolds with boundary that is inspired by Connes' tangent groupoid approach, it is not a groupoid interpreta...
An index theorem for families of elliptic operators invariant with respect to a bundle of Lie groups
1999
We define the equivariant family index of a family of elliptic operators invariant with respect to the free action of a bundle G of Lie groups. In this paper we concentrate on the issues specific to the case when G is trivial, so the action reduces to the action of a Lie group G. For G simply-connected solvable, we then compute the Chern character of the (equivariant family) index, the result being given by an Atiyah-Singer type formula. We also study traces on the corresponding algebras of pseudodifferential operators and obtain a local index formula for families of invariant operators, if the bundles are trivial. We discuss then two applications, one to higher-eta invariants, which are morphisms Kn(Ψ ∞ inv (Y)) → C, and the other one to Fredholm boundary conditions on a simplex. As ann application of our formalism with traces, we obtain also new proofs of the regularity at s = 0 of η(D 0 , s), the eta function of D 0 , and of the relation η(D 0 , s) = π −1 Tr 1 (D −1 D ′) (here D = D 0 + ∂t, D ′ = [D, t]). The algebras of invariant pseudodifferential operators that we study, ψ ∞ inv (Y) and Ψ ∞ inv (Y), are generalizations of "parameter dependent" algebras of pseudodifferential operators (with parameter in R q), so our results provide also an index theorem for elliptic, parameter dependent pseudodifferential operators. Contents 26 6. Index theory on a simplex 28 References 30
Index theory of hypoelliptic operators on Carnot manifolds
2022
We study the index theory of hypoelliptic operators on Carnot manifolds-manifolds whose Lie algebra of vector fields is equipped with a filtration induced from sub-bundles of the tangent bundle. A Heisenberg pseudodifferential operator, elliptic in the calculus of van Erp-Yuncken, is hypoelliptic and Fredholm. Under some geometric conditions, we compute its Fredholm index by means of operator K-theory. These results extend the work of Baum-van Erp (Acta Mathematica '2014) for co-oriented contact manifolds to a methodology for solving this index problem geometrically on Carnot manifolds. Under the assumption that the Carnot manifold is regular, i.e. has isomorphic osculating Lie algebras in all fibres, and admits a flat coadjoint orbit, the methodology derived from Baum-van Erp's work is developed in full detail. In this case, we develope K-theoretical dualities computing the Fredholm index by means of geometric K-homology a la Baum-Douglas. The duality involves a Hilbert space bundle of flat orbit representations. Explicit solutions to the index problem for Toeplitz operators and operators of the form "∆ H`γ T " are computed in geometric K-homology, extending results of Boutet de Monvel and Baum-van Erp, respectively, from co-oriented contact manifolds to regular polycontact manifolds. The existence and the precise form of the geometric duality constructed for the Heisenberg calculus relies on the representation theory in the flat coadjoint orbits of the osculating Lie groupoid. We address the technical issue of constructing a Hilbert space bundle of representations associated to the flat coadjoint orbits via Kirillov's orbit method. The construction intertwines the index theory of Heisenberg operators to characteristic classes constructed from the Carnot structure further clarifying the two opposite spin c-structures appearing in Baum-van Erp's solution to the index problem on contact manifolds. Contents 1. Introduction 2. Summary of contents 3. Acknowledgements Part 1. Simply connected nilpotent Lie groups 4. Representation theory 5. The fine stratification of the spectrum 6. Flat orbits 7. Automorphisms and their action onĜ 8. The continuous trace algebra structure of the ideal of flat orbits 9. Examples of graded nilpotent Lie groups Part 2. Groupoids and twists 10. Lie groupoids and their C˚-algebras 11. A groupoid description of the flat orbits 12. Locally trivial bundles of nilpotent Lie groups 13. Nistor's Connes-Thom isomorphism and the ideal of flat orbits 14. The Thom-Connes isomorphism and the bundle of flat representations Part 3. Carnot manifolds and associated groupoids 15. Carnot manifolds 16. Examples of Carnot manifolds 17. The parabolic tangent groupoid Part 4. H-elliptic operators on Carnot manifolds 18. The pseudodifferential calculus of van Erp-Yuncken 19. H-ellipticity and the Rockland condition 20. The action of H-elliptic operators on certain Hilbert C˚-modules 21. K-theoretical invariants of H-elliptic operators Part 5. K-homological dualities and index theory on Carnot manifolds 22. Geometric K-homology with coefficients in elliptic complexes 23. Dualities on Carnot manifolds 24. Index theorems for H-elliptic operators 25. An outlook on graded Rockland sequences and their index theory Bibliography Theorem 3. Let X be an F F F-regular Carnot manifold. Then there exists a Hilbert space bundle H Ñ Γ X and a C 0 pΓ X q-linear˚-isomorphism πZ : I X Ñ C 0 pΓ X , KpHqqq. It holds that: i) The Hilbert space bundle H Ñ Γ X and the˚-isomorphism πZ is unique up to a line bundle on Γ X. ii) The inclusion I X ãÑ C˚pT H Xq induces a surjection in K-theory K˚pI X q Ñ K˚pC˚pT H Xqq. iii) There is a line bundle MpHq Ñ Γ X , uniquely determined up to isomorphism, such that for any other such H 1 and π 1 Z , there is an isomorphism H b MpHq-H 1 b MpH 1 q compatible with the pI X , C 0 pΓ X qq-bimodule structure and making the following diagram commutative
C*-algebras and Elliptic Theory
Trends in Mathematics, 2006
The paper "Index Theory for Generalized Dirac Operators on Open Manifolds" by J. Eichhorn is devoted to the index theory on open manifolds. In the first part of the paper, a short review of index theory on open manifolds is given. In the second part, a general relative index theorem admitting compact topological perturbations and Sobolev perturbations of all other ingredients is established. V. Nazaikinskii and B. Sternin in the paper "Lefschetz Theory on Manifolds with Singularities" extend the Lefschetz formula to the case of elliptic operators on the manifolds with singularities using the semiclassical asymptotic method. In the paper "Pseudodifferential Subspaces and Their Applications in Elliptic Theory" by A. Savin and B. Sternin the method of so called pseudodifferential projectors in the theory of elliptic operators is studied. It is very useful for the study of boundary value problems, computation of the fractional part of the spectral AtiyahPatodiSinger eta invariant and analytic realization of topological K-groups with finite coefficients in terms of elliptic operators. In the paper "Residues and Index for Bisingular Operators" F. Nicola and L. Rodino consider an algebra of pseudo-differential operators on the product of two manifolds, which contains, in particular, tensor products of usual pseudo-differential operators. For this algebra the existence of trace functionals like Wodzickis residue is discussed and a homological index formula for the elliptic elements is proved. B. Bojarski and A. Weber in their paper "Correspondences and Index" define a certain class of correspondences of polarized representations of C *-algebras. These correspondences are modeled on the spaces of boundary values of elliptic operators on bordisms between two manifolds. In this situation an index is defined. The additivity of this index is studied in the paper. Noncommutative aspects of Morse theory: In the paper "New L2-invariants of Chain Complexes and Applications" by V.V. Sharko homotopy invariants of free cochain complexes and Hilbert complex are studied. These invariants are applied to calculation of exact values of Morse numbers of smooth manifolds. A. Connes and T. Fack in their paper "Morse Inequalities for Foliations" outline an analytical proof of Morse inequalities for measured foliations obtained by them previously and give some applications. The proof is based on the use of a twisted Laplacian. Riemannian aspects: The paper "A Riemannian Invariant, Euler Structures and Some Topological Applications" by D. Burghelea and S. Haller discusses a numerical invariant associated with a Riemannian metric, a vector field with isolated zeros, and a closed one form which is defined by a geometrically regularized integral. This invariant extends the ChernSimons class from a pair of two Riemannian metrics to a pair of a Riemannian metric and a smooth triangulation. They discuss a generalization of Turaevs Euler structures to manifolds with non-vanishing Euler characteristics and introduce the Poincare dual concept of co-Euler structures. The duality is provided by a geometrically regularized integral and involves the invariant mentioned above. Euler structures have been introduced because they permit to remove the ambiguities in the definition of the Reidemeister torsion. Similarly, co-Euler structures can be used to eliminate the metric dependence of
Index theory for boundary value problems via continuous fields of -algebras
Journal of Functional Analysis, 2009
We prove an index theorem for boundary value problems in Boutet de Monvel's calculus on a compact manifold X with boundary. The basic tool is the tangent semigroupoid T − X generalizing the tangent groupoid defined by Connes in the boundaryless case, and an associated continuous field C * r (T − X) of C * -algebras over [0, 1]. Its fiber in = 0, C * r (T − X), can be identified with the symbol algebra for Boutet de Monvel's calculus; for = 0 the fibers are isomorphic to the algebra K of compact operators. We therefore obtain a natural map K 0 (C * r (T − X)) = K 0 (C 0 (T * X)) → K 0 (K) = Z. Using deformation theory we show that this is the analytic index map. On the other hand, using ideas from noncommutative geometry, we construct the topological index map and prove that it coincides with the analytic index map.