×

Fredholm index and spectral flow in non-self-adjoint case. (English) Zbl 1284.58012

Spectral flow is a topological invariant introduced by Atiyah, Patodi and Singer for a family of self-adjoint elliptic operators \(\{A(t)\}_{t\in\mathbb{R}}\) of positive order on a closed odd dimensional manifold \(X\). Assuming the invertibility of the limiting operators \(A_{\pm}=\lim_{t\to\pm\infty}A(t)\), the spectral flow \(\mathrm{Sf}(A(t))\) is given by the net number of eigenvalues of \(A(t)\) that cross the origin as \(t\) runs from \(-\infty\) to \(\infty\). Demonstrated by M. F. Atiyah, V. K. Patodi and I. M. Singer [Math. Proc. Camb. Philos. Soc. 77, 43–69 (1975; Zbl 0297.58008)], the elliptic operator \(D_A=\frac{d}{dt}-A(t)\) on the product manifold \(X\times\mathbb{R}\) is Fredholm and the spectral flow \(\mathrm{Sf}(A(t))\) is equal to the Fredholm index of \(D_A\). Statement of this type is referred to as “Fredholm index=spectral flow” theorem and is very useful in some aspect of Floer homology.
The main result of the paper is a “Fredholm index=spectral flow” theorem when the assumption of \(A(t)\) being self-adjoint is dropped. Here, the author employs the definition of the spectral flow extended to non-self-adjoint paths of elliptic operators [C. Zhu, Papers of a workshop in honor of Krzysztof P. Wojciechowski on his 50th birthday, Roskilde, Denmark, May 20–22, 2005. Hackensack, NJ: World Scientific. 493–540 (2006; Zbl 1121.58013)]. Given a family of first order elliptic differential operators (non-self-adjoint) \(\{A(t)\}_{t\in\mathbb{R}}\) on \(X\), the theorem states that \(D_A=\frac{d}{dt}-A(t)\) is Fredholm and its index agrees with the spectral flow of \(\{A(t)\}_{t\in\mathbb{R}}\) provided the following conditions are satisfied:
(1) The coefficients of \(A(t)\) depend smoothly on \(t\) and their derivatives are bounded on \(X\times \mathbb{R}\);
(2) \(D_A\) is elliptic on \(X\times\mathbb{R}\);
(3) The limits \(\lim_{t\to\pm\infty}A(t)\) exist and are hyperbolic, i.e., The spectrum of \(A\) and that of its principal symbol over each co-vector (excluding the zero sections of \(T^*X\)) do not intersect the imaginary axis.
The theorem is proved using functional analysis. The author firstly shows that these conditions are sufficient to ensure the Fredholmness of \(D_A\) as well as well-definedness of the spectral flow in the sense of Zhu. Then, as the spectral flow and the Fredholm index are homotopy invariant, the author perturbs \(\{A(t)\}_{t\in\mathbb{R}}\) by a homotopy and obtains a path of hyperbolic operators, where the “Fredholm index=spectral flow” theorem is easier to show.

MSC:

58J30 Spectral flows
58J20 Index theory and related fixed-point theorems on manifolds
57R58 Floer homology
57R57 Applications of global analysis to structures on manifolds
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Atiyah, M. F., Patodi V. K., Singer, I. M.: Spectral asymmetry and Riemannian geometry. I. Math. Proc. Cambridge Philos. Soc., 77, 43–69 (1975) · Zbl 0297.58008 · doi:10.1017/S0305004100049410
[2] Atiyah, M. F., Patodi, V. K., Singer, I. M.: Spectral asymmetry and Riemannian geometry. III. Math. Proc. Cambridge Philos. Soc., 79(1), 71–99 (1976) · Zbl 0325.58015 · doi:10.1017/S0305004100052105
[3] Robbin, J., Salamon, D.: The spectral flow and the Maslov index. Bull. London Math. Soc., 27(1), 1–33 (1995) · Zbl 0859.58025 · doi:10.1112/blms/27.1.1
[4] Floer, A.: An instanton-invariant for 3-manifolds. Comm. Math. Phys., 118(2), 215–240 (1988) · Zbl 0684.53027 · doi:10.1007/BF01218578
[5] Floer, A.: Symplectic fixed points and holomorphic spheres. Comm. Math. Phys., 120(4), 575–611 (1989) · Zbl 0755.58022 · doi:10.1007/BF01260388
[6] Donaldson, S. K.: Floer homology groups in Yang-Mills theory, with the assistance of M. Furuta and D. Kotschick, volume 147 of Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, 2002
[7] Taubes, V. H.: The Seiberg-Witten equations and the Weinstein conjecture. Geom. Topol., 11, 2117–2202 (2007) · Zbl 1135.57015 · doi:10.2140/gt.2007.11.2117
[8] Kronheimer, P., Mrowka, T.: Monopoles and Three-manifolds, New Mathematical Monographs, volume 10, Cambridge University Press, Cambridge, 2007 · Zbl 1158.57002
[9] Zhu, C.: A generalized Morse index theorem. In: Analysis, Geometry and Topology of Elliptic Operators, World Sci. Publ., Hackensack, 2006, 493–540 · Zbl 1121.58013
[10] Hörmander, L.: The analysis of linear partial differential operators III, Pseudo-differential operators. In: Classics in Mathematics, Springer, Berlin, 2007 · Zbl 1115.35005
[11] Shubin, M. A.: Pseudodifferential Operators and Spectral Theory, second edition, Springer-Verlag, Berlin, 2001 · Zbl 0980.35180
[12] Taylor, M.: Pseudodifferential Operators, Princeton Mathematical Series, vol. 34, Princeton University Press, Princeton, 1981
[13] Grigis, A., Sjöstrand, J.: Microlocal analysis for differential operators, An introduction: London Mathematical Society Lecture Note Series, volume 196, Cambridge University Press, Cambridge, 1994 · Zbl 0804.35001
[14] Agranovich, M. S.: Elliptic operators on closed manifolds. In: Current Problems in Mathematics. Fundamental Directions, Vol. 63 (Russian), Itogi Naukii Tekhniki, Akad. Nauk SSSR Vsesoyuz. Inst. Nauchni Tekhn. Inform., Moscow, 1990, 5–129 · Zbl 0802.58050
[15] Kato, T.: Perturbation theory for linear operators, Classics in Mathematics, Springer-Verlag, Berlin, 1995 · Zbl 0836.47009
[16] Seeley, R. T.: Complex powers of an elliptic operator. In: Singular Integrals (Proc. Sympos. Pure Math., Chicago, Ill., 1966), Amer. Math. Soc., Providence, 1967, 288–307 · Zbl 0159.15504
[17] Rempel, S., Schulze, B.-W.: Index Theory of Elliptic Boundary Problems, Akademie-Verlag, Berlin, 1982 · Zbl 0504.35002
[18] Schwarz, M.: Morse Homology, Progress in Mathematics, vol. 111, Birkhäuser Verlag, Basel, 1993
[19] Phillips, J.: Self-adjoint Fredholm operators and spectral flow. Canad. Math. Bull., 39(4), 460–467 (1996) · Zbl 0878.19001 · doi:10.4153/CMB-1996-054-4
[20] Zhu, C., Long, Y.: Maslov-type index theory for symplectic paths and spectral flow. I. Chinese Ann. Math. Ser. B, 20(4), 413–424 (1999) · Zbl 0959.58016 · doi:10.1142/S0252959999000485
[21] Booss-Bavnbek, B., Lesch, M., Phillips, J.: Unbounded Fredholm operators and spectral flow. Canad. J. Math., 57(2), 225–250 (2005) · Zbl 1085.58018 · doi:10.4153/CJM-2005-010-1
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.