Sur la topologie de l’espace des opérateurs pseudodifférentiels inversibles d’ordre 0

Rochon, Frédéric

Annales de l'Institut Fourier, Tome 58 (2008), p. 29-62 / Harvested from Numdam

Résumé

Les groupes d’homotopie du groupe (stabilisé) $G^{0}(X)$ des opérateurs pseudodifférentiels inversibles d’ordre zéro agissant sur une variété compacte sans bord $X$ sont calculés en termes de la $K$-théorie du fibré cosphérique $S^{*}X$. Du même coup, on montre que le sous-groupe des perturbations compactes inversibles de l’identité est faiblement rétractile dans $G^{0}(X)$. Les résultats sont aussi adaptés au cas des opérateurs suspendus. Des applications à la théorie de l’indice et pour le déterminant résiduel de Simon Scott sont aussi données.

Abstract

The homotopy groups of the (stabilized) group $G^{0}(X)$ of invertible pseudodifferential operators of order zero acting on a smooth compact manifold $X$ are given in terms of the $K$-theory of the cosphere bundle $S^{*}X$. At the same time, it is shown that the subgroup of invertible compact perturbations of the identity is weakly retractible in $G^{0}(X)$. The results are also adapted to the case of suspended operators. This gives applications in index theory and for the residue determinant of Simon Scott.

Détail

Publié le : 2008-01-01

MR 2401215 | Zbl 1154.58014

DOI : https://doi.org/10.5802/aif.2343
Classification:  58B05,  58B15
Mots clés: opérateurs pseudodifférentiels, groupes d’homotopie, $K$-théorie, déterminant résiduel

Bibliographie

[1] Atiyah, M. F. K-theory, Benjamin (1967) | MR 224083 | Zbl 0159.53302

[2] Atiyah, M. F.; Patodi, V. K.; Singer, I. M. Spectral asymmetry and Riemann geometry, I, Math. Proc. Cambridge Philos. Soc, Tome 77 (1975), pp. 43-69 | Article | MR 397797 | Zbl 0297.58008

[3] Atiyah, M. F.; Patodi, V. K.; Singer, I. M. Spectral asymmetry and Riemann geometry, III, Math. Proc. Cambridge Philos. Soc, Tome 79 (1976), pp. 71-99 | Article | MR 397799 | Zbl 0325.58015

[4] Atiyah, M. F.; Singer, I. M. The index of elliptic operators : I, Ann. of Math., Tome 87 (1968), pp. 484-530 | Article | MR 236950 | Zbl 0164.24001

[5] Atiyah, M. F.; Singer, I. M. The index of elliptic operators. IV, Ann. of Math. (2), Tome 93 (1971), pp. 119-138 | Article | MR 279833 | Zbl 0212.28603

[6] Bott, R.; Tu, L. W. Differential forms in algebraic topology, Springer-Verlag, Berlin (1982) no. 82 | MR 658304 | Zbl 0496.55001

[7] Friedlander, L.; Guillemin, V. Determinants of zeroth order operators (2006) (preprint, math.SP/0601743)

[8] Gilkey, P. B. The residue of the global $\eta $ function at the origin, Adv. in Math., Tome 40 (1981) no. 3, pp. 290-307 | Article | MR 624667 | Zbl 0469.58015

[9] Guillemin, V. A new proof of Weyl’s formula on the asymptotic distribution of eigenvalues, Adv. Math., Tome 102 (1985), pp. 184-201 | Article | Zbl 0559.58025

[10] Kontsevich, M.; Vishik, S. Geometry of determinants of elliptic operators, Func. Anal. on the Eve of the XXI century, Vol I, Pogress in mathematics, Tome 131 (1994), pp. 173-197 | MR 1373003 | Zbl 0920.58061

[11] Lauter, R.; Moroianu, S. Fredholm theory for degenerate pseudodifferential operators on manifold with fibred boundaries, Comm. Partial Differential Equations, Tome 26 (2001), pp. 233-283 | Article | MR 1842432 | Zbl 0988.58011

[12] Lauter, R.; Moroianu, S. Homology of pseudodifferential operators on manifolds with fibered cusps, T. Am. Soc., Tome 355 (2003), pp. 3009-3046 | Article | MR 1974673 | Zbl 1024.58012

[13] Lauter, R.; Moroianu, S. An index formula on manifolds with fibered cusp ends, J. Geom. Analysis, Tome 15 (2005), pp. 261-283 | MR 2152483 | Zbl 1102.58012

[14] Leichtnam, E.; Mazzeo, R.; Piazza, P. The index of Dirac operators on manifolds with fibred boundary (à paraître dans les Proceedings of the Joint BeNeLuxFra Conference in Mathematics, Ghent, May 20-22, 2005, Bulletin of the Belgian Mathematical Society – Simon Stevin) | Zbl 1126.58009

[15] Lesch, M.; Moscovici, H.; Pflaum, M. Relative pairing in cyclic cohomology and divisor flows (2006) (preprint, math.KT/0603500)

[16] Lescure, J.-M.; Paycha, S. Uniqueness of multiplicative determinants on elliptic pseudodifferential operators (à paraître dans les Proceedings of the London Mathematical Society) | Zbl 05166589

[17] Mazzeo, R.; Melrose, R. B. Pseudodifferential operators on manifolds with fibred boundaries, Asian J. Math., Tome 2 (1999) no. 4, pp. 833-866 | MR 1734130 | Zbl 01531011

[18] Melrose, R. B. Lectures on microlocal analysis (Fall 2005, http ://www-math.mit.edu/ rbm/18.157-F05.html)

[19] Melrose, R. B. The eta invariant and families of pseudodifferential operators, Math. Res. Lett., Tome 2 (1995) no. 5, pp. 541-561 | MR 1359962 | Zbl 0934.58025

[20] Melrose, R. B. Geometric scattering theory, Cambridge University Press, Cambridge (1995) | MR 1350074 | Zbl 0849.58071

[21] Melrose, R. B.; Nistor, V. Homology of pseudodifferential operators I. Manifold with boundary (Preprint)

[22] Melrose, R. B.; Rochon, F. Boundaries, eta invariant and the determinant bundle (2006) (preprint, math.DG/0607480)

[23] Melrose, R. B.; Rochon, F. Index in K-theory of families of fibred cusp operators, K-theory, Tome 37 (2006), pp. 25-104 | Article | MR 2274670 | Zbl 05125374

[24] Melrose, R. B.; Rochon, F. Periodicity and the determinant bundle (2006) (math.DG/0606382, à paraître dans Commun. Math. Phys.) | Zbl 1130.58013

[25] Moroianu, S. Fibered cusp versus d-index theory (à paraître dans Rendiconti del Seminario Matematico della Università di Padova) | Numdam | Zbl 1142.53039

[26] Moroianu, S. K-theory of suspended pseudo-differential operators, K-theory, Tome 28 (2003), pp. 167-181 | Article | MR 1995875 | Zbl 1025.19005

[27] Moroianu, S. Homology of adiabatic pseudo-differential operators, Nagoya Math. J, Tome 175 (2004), pp. 171-221 | MR 2085316 | Zbl 02138460

[28] Nye, T. M. W.; Singer, M. A. An $L^{2}$-index theorem for Dirac operators on $\mathbb{S}^{1}\times \mathbb{R}^{3}$, Journal of Functional Analysis, Tome 177 (2000), pp. 203-218 | Article | MR 1789949 | Zbl 0973.58012

[29] Okikiolu, K. The multiplicative anomaly for determinants of elliptic operators, Duke Math. J., Tome 79 (1995), pp. 723-750 | Article | MR 1355182 | Zbl 0851.58048

[30] Paycha, S.; Scott, S. A Laurent expansion for regularized integrals of holomorphic symbols (preprint, à paraître dans Geom. and Funct. Anal) | Zbl 05166595

[31] Rochon, F. Bott periodicity for fibred cusp operators, J. Geom. Anal., Tome 15 (2005) no. 4, pp. 685-722 | MR 2203168 | Zbl 1092.58014

[32] Scott, S. The residue determinant, Comm. Part. Diff. Eqn., Tome 30 (2005), pp. 483-507 | Article | MR 2153505 | Zbl 02202554

[33] Seeley, R. T. Complex powers of an elliptic operator, (Proc. Sympos. Pure Math., Vol. X) Amer. Math. Soc. (1966), pp. 288-307 | MR 237943 | Zbl 0159.15504

[34] Steenrod, N. The topology of fibre bundles, Princeton University Press, New Jersey (1999) | MR 1688579 | Zbl 0054.07103

[35] Wodzicki, M. Spectral asymmetry and zeta functions, Invent. math., Tome 66 (1982), pp. 115-135 | Article | MR 652650 | Zbl 0489.58030

[36] Wodzicki, M. Local invariants of spectral asymmetry, Invent. math., Tome 75 (1984), pp. 143-177 | Article | MR 728144 | Zbl 0538.58038

[37] Wodzicki, M. Non-commutative residue, Chapter I. Fundamentals, K-theory, Arithmetic and Geometry Springer Lecture notes, Tome 1289 (1987), pp. 320-399 | Article | MR 923140 | Zbl 0649.58033