Abstract
In many applied problems one seeks to identify and count the critical points of a particular eigenvalue of a smooth parametric family of self-adjoint matrices, with the parameter space often being known and simple, such as a torus. Among particular settings where such a question arises are the Floquet–Bloch decomposition of periodic Schrödinger operators, topology of potential energy surfaces in quantum chemistry, spectral optimization problems such as minimal spectral partitions of manifolds, as well as nodal statistics of graph eigenfunctions. In contrast to the classical Morse theory dealing with smooth functions, the eigenvalues of families of self-adjoint matrices are not smooth at the points corresponding to repeated eigenvalues (called, depending on the application and on the dimension of the parameter space, the diabolical/Dirac/Weyl points or the conical intersections). This work develops a procedure for associating a Morse polynomial to a point of eigenvalue multiplicity; it utilizes the assumptions of smoothness and self-adjointness of the family to provide concrete answers. In particular, we define the notions of non-degenerate topologically critical point and generalized Morse family, establish that generalized Morse families are generic in an appropriate sense, establish a differential first-order conditions for criticality, as well as compute the local contribution of a topologically critical point to the Morse polynomial. Remarkably, the non-smooth contribution to the Morse polynomial turns out to depend only on the size of the eigenvalue multiplicity and the relative position of the eigenvalue of interest and not on the particulars of the operator family; it is expressed in terms of the homologies of Grassmannians.
Similar content being viewed by others
Notes
The particulars of the operator depend on what is being conducted: electrons, light, sound, etc.
Throughout the paper, we use integer coefficient homology, unless specified otherwise.
Note that this equivalence is not immediate and is established in the beginning of the proof of Theorem 3.2 below.
The similarity is natural since our Theorem 1.12 reproduces the classical Morse inequalities if one sets \(n=1\).
This is usually a stepping stone to defining the Clarke subdifferential, but we will limit ourselves to Clarke directional derivative which is both simpler and sufficient for our needs.
Note that there is a misprint in the direction of the inequality in [42, Sect. 6].
The reason for this codimension to be equal to \(\dim \mathrm{Sym}_{\nu}(\mathbb{F}) - 1\) is as follows: Symmetric matrices with non-repeated eigenvalues can be encoded by their eigenvalues and unit eigenvectors. When an eigenvalue is repeated \(\nu \) times, there is a loss of \(\nu -1\) parameters from the eigenvalues plus an extra freedom of choice of an orthonormal basis in the corresponding eigenspace. Thus the desired codimension is equal to \(\nu -1\) plus the dimension of the space of orthonormal bases of \(\mathbb{F}^{\nu}\), adding up to \(\dim \mathrm{Sym}_{\nu}(\mathbb{F}) - 1\).
The definition of a nondepraved point in [35, Sec. I.2.3] contains three conditions. Conditions (c) and (a) of [35, Sec. I.2.3] correspond to parts (1) and (2) of Proposition 4.7, respectively. The third condition — condition (b) of [35, Sec. I.2.3] — holds automatically in our case because \(x\) is non-degenerate as a smooth critical point of \(\lambda _{k}\big|_{S}\), by condition (S) assumed in Theorem 1.12). Thus we omit here the general description of condition (b), which is rather technical.
We also mention that [35] uses the term “critical” for the points \(y\) that are critical when the function in question is restricted to their respective stratum of constant multiplicity.
From properties of isometries and the inclusion \(\mathbf{E}^{\mathcal{R}}_{k} \subset \mathbf{E}_{k}\) it can be seen that \((\mathcal{U}^{*}\mathcal{U}_{\mathcal{R}})^{*} \mathcal{U}^{*} \mathcal{U}_{\mathcal{R}} = I_{\nu _{\mathcal{R}}}\).
Note that in equation (4.10) the same notation ⊥ is used for two different operations: on one hand, for the operation of taking orthogonal complement for subspaces \(\mathbb{F}^{\nu}\) and, on the other hand, for the operation of taking orthogonal complement for subspaces of \(\mathrm{Sym}_{\nu}\).
And in fact only for them [61].
The word “weak” here is used to distinguish it from the jet version of the Thom transversality theorem which is usually called strong [7].
For bundles whose fibers are stratified spaces, smoothness is defined in the usual way — as smoothness of trivializing maps. Smooth maps between stratified submanifolds are maps which are restrictions of smooth maps on the corresponding ambient manifolds, see [35, p. 13].
Here we use that the codimension of the set of \(n_{1}\times n_{2}\) matrices of rank \(r\) is equal to \((n_{1}-r)(n_{2}-r)\).
The constant is independent of \(F\) but may depend on the norm used for \(F\); in case of the operator norm, Weyl inequality yields \(C=2\).
Namely, \(\Phi (R,0)=0\) for all \(R\).
A particularly convenient form for this task can be found in [12, Thm 4.3].
An analogous result for cohomologies can be found in [58].
References
Agrachev, A.A.: Spaces of symmetric operators with multiple ground states. Funkc. Anal. Prilozh. 45, 1–15 (2011). English translation: Funct. Anal. Appl. 45(4), 241–251 (2011)
Agrachev, A.A., Pallaschke, D., Scholtes, S.: On Morse theory for piecewise smooth functions. J. Dyn. Control Syst. 3, 449–469 (1997)
Alon, L., Goresky, M.: Morse theory for discrete magnetic operators and nodal count distribution for graphs. J. Spectr. Theory 13, 1225–1260 (2023). Preprint: arXiv:2212.00830
Alon, L., Goresky, M.: Nodal count for a random signing of a graph with disjoint cycles. Preprint (2024). arXiv:2403.01033
Andrews, G.E.: The Theory of Partitions. Encyclopedia of Mathematics and Its Applications, vol. 2. Addison-Wesley, Reading (1976)
Arnold, V.I.: Modes and quasimodes. Funkc. Anal. Prilož. 6, 12–20 (1972). English translation: Funct. Anal. Appl. 6(2), 94–101 (1972)
Arnold, V.I., Gusein-Zade, S.M., Varchenko, A.N.: Singularities of Differentiable Maps. Volume 1: Classification of Critical Points, Caustics and Wave Fronts. Modern Birkhäuser Classics. Springer, New York (2012). Reprint of the 1985 edition
Band, R., Berkolaiko, G., Raz, H., Smilansky, U.: The number of nodal domains on quantum graphs as a stability index of graph partitions. Commun. Math. Phys. 311, 815–838 (2012)
Banyaga, A., Hurtubise, D.: Lectures on Morse Homology. Kluwer Texts in the Mathematical Sciences, vol. 29. Kluwer Academic, Dordrecht (2004)
Berkolaiko, G.: Nodal count of graph eigenfunctions via magnetic perturbation. Anal. PDE 6, 1213–1233 (2013). Preprint: arXiv:1110.5373
Berkolaiko, G., Comech, A.: Symmetry and Dirac points in graphene spectrum. J. Spectr. Theory 8, 1099–1147 (2018). Preprint: arXiv:1412.8096
Berkolaiko, G., Kennedy, J.B., Kurasov, P., Mugnolo, D.: Surgery principles for the spectral analysis of quantum graphs. Trans. Am. Math. Soc. 372, 5153–5197 (2019)
Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Ergebnisse der Mathematik und Ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 36. Springer, Berlin (1998). Translated from the 1987 French original, Revised by the authors
Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)
Bronšteĭn, M.D.: Smoothness of roots of polynomials depending on parameters. Sib. Mat. Zh. 20, 493–501, 690 (1979). English translation: Sib. Math. J. 20(3), 347–352 (1980)
Casian, L., Kodama, Y.: On the cohomology of real Grassmann manifolds. Preprint (2013). arXiv:1309.5520 [math.AG]
Castro Neto, A., Guinea, F., Peres, N., Novoselov, K., Geim, A.: The electronic properties of graphene. Rev. Mod. Phys. 81, 109–162 (2009)
Chern, S.-S.: Topics in Differential Geometry. The Institute for Advanced Study, Princeton (1951)
Clarke, F.H.: Optimization and Nonsmooth Analysis, 2nd edn. Classics in Applied Mathematics, vol. 5. SIAM, Philadelphia (1990)
Colin de Verdière, Y.: Magnetic interpretation of the nodal defect on graphs. Anal. PDE 6, 1235–1242 (2013). Preprint: arXiv:1201.1110
Cox, S.J.: Extremal eigenvalue problems for the Laplacian. In: Recent Advances in Partial Differential Equations (El Escorial, 1992). RAM Res. Appl. Math., vol. 30, pp. 37–53. Masson, Paris (1994)
Davis, J.F., Kirk, P.: Lecture Notes in Algebraic Topology. Graduate Studies in Mathematics, vol. 35. Am. Math. Soc., Providence (2001)
Dold, A.: Lectures on Algebraic Topology, 2nd edn. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 200. Springer, Berlin (1980)
Domcke, W., Yarkony, D.R., Köppel, H.: Conical Intersections: Electronic Structure, Dynamics and Spectroscopy. World Scientific, Singapore (2004)
Duffie, D.: Dynamic Asset Pricing Theory, 3rd edn. Princeton University Press, Princeton (2001)
Ehresmann, C.: Sur la topologie de certains espaces homogènes. Ann. Math. (2) 35, 396–443 (1934)
Ehresmann, C.: Sur la topologie de certaines variétés algébriques réelles. J. Math. Pures Appl. (9) 16, 69–100 (1937) (in French)
Esteban, M.J., Lewin, M., Séré, E.: Dirac–Coulomb operators with general charge distribution II. The lowest eigenvalue. Proc. Lond. Math. Soc. 123, 345–383 (2021)
Fefferman, C.L., Weinstein, M.I.: Honeycomb lattice potentials and Dirac points. J. Am. Math. Soc. 25, 1169��1220 (2012)
Feldman, E.A.: The geometry of immersions. I. Trans. Am. Math. Soc. 120, 185–224 (1965)
Filonov, N., Kachkovskiy, I.: On the structure of band edges of 2-dimensional periodic elliptic operators. Acta Math. 221, 59–80 (2018)
Fomenko, A., Fuchs, D.: Homotopical Topology, 2nd edn. Graduate Texts in Mathematics, vol. 273. Springer, Cham (2016)
Fomenko, A., Fuks, D.: A Course in Homotopical Topology. Nauka, Moscow (1989) (in Russian)
Geoghegan, R.: Topological Methods in Group Theory. Graduate Texts in Mathematics, vol. 243. Springer, New York (2008)
Goresky, M., MacPherson, R.: Stratified Morse Theory. Results in Mathematics and Related Areas (3), vol. 14. Springer, Berlin (1988)
Greub, W., Halperin, S., Vanstone, R.: Connections, Curvature, and Cohomology. Volume III: Cohomology of Principal Bundles and Homogeneous Spaces. Pure and Applied Mathematics, vol. 47. Academic Press, New York (1976)
Grushin, V.: Multiparameter perturbation theory of Fredholm operators applied to Bloch functions. Math. Notes 86, 767–774 (2009)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Helffer, B., Hoffmann-Ostenhof, T.: On a magnetic characterization of spectral minimal partitions. J. Eur. Math. Soc. 15, 2081–2092 (2013)
Henrot, A.: Extremum Problems for Eigenvalues of Elliptic Operators. Frontiers in Mathematics. Birkhäuser, Basel (2006)
Henrot, A. (ed.): Shape Optimization and Spectral Theory De Gruyter Open, Warsaw (2017)
Hiriart-Urruty, J.-B., Lewis, A.S.: The Clarke and Michel–Penot subdifferentials of the eigenvalues of a symmetric matrix. Comput. Optim. Appl. 13, 13–23 (1999)
Hirsch, M.W.: Differential Topology. Graduate Texts in Mathematics, vol. 33. Springer, New York (1994). Corrected reprint of the 1976 original
Husemoller, D.: Fibre Bundles, 3rd edn. Graduate Texts in Mathematics, vol. 20. Springer, New York (1994)
Iversen, B.: Cohomology of Sheaves. Universitext. Springer, Berlin (1986)
Iwamoto, H.: On integral invariants and Betti numbers of symmetric Riemannian manifolds. I. J. Math. Soc. Jpn. 1, 91–110 (1949)
Kac, V., Cheung, P.: Quantum Calculus. Universitext. Springer, New York (2002)
Kato, T.: Perturbation Theory for Linear Operators. Classics in Mathematics. Springer, Berlin (1995). Reprint of the 1980 edition
Kuchment, P.: An overview of periodic elliptic operators. Bull. Am. Math. Soc. (N.S.) 53, 343–414 (2016)
Matsika, S.: Electronic structure methods for the description of nonadiabatic effects and conical intersections. Chem. Rev. 121, 9407–9449 (2021)
Milnor, J.: Morse Theory, Based on Lecture Notes by M. Spivak and R. Wells. Annals of Mathematics Studies, vol. 51. Princeton University Press, Princeton (1963)
Milnor, J.W., Stasheff, J.D.: Characteristic Classes. Annals of Mathematics Studies, vol. 76. Princeton University Press, Princeton; University of Tokyo Press, Tokyo (1974)
Mishra, B.: Algorithmic Algebra. Texts and Monographs in Computer Science. Springer, New York (1993)
Montroll, E.W.: Dynamics of a square lattice. 1. Frequency spectrum. J. Chem. Phys. 15, 575–591 (1947)
Motreanu, D., Panagiotopoulos, P.D.: Minimax Theorems and Qualitative Properties of the Solutions of Hemivariational Inequalities. Nonconvex Optimization and Its Applications, vol. 29. Kluwer Academic, Dordrecht (1999)
Narici, L., Beckenstein, E.: Topological Vector Spaces, 2nd edn. Pure and Applied Mathematics, vol. 296. CRC Press, Boca Raton (2011)
Price, H.: Simulating four-dimensional physics in the laboratory. Phys. Today 75, 38–44 (2022)
Rudjak, J.B.: On the Thom–Dold isomorphism for nonorientable vector bundles. Dokl. Akad. Nauk SSSR 255, 1323–1325 (1980)
Sklyarenko, E.G.: The Thom isomorphism for nonorientable bundles. Fundam. Prikl. Mat. 9, 55–103 (2003). (in Russian). Translation in J. Math. Sci. (N.Y.) 136(5), 4166–4200 (2006)
Smollett, M.: The frequency spectrum of a 2-dimensional ionic lattice. Proc. R. Soc. Lond. A 65, 109–115 (1952)
Trotman, D.J.A.: Stability of transversality to a stratification implies Whitney \((a)\)-regularity. Invent. Math. 50, 273–277 (1978/79)
Valero, C.: Morse theory for eigenvalue functions of symmetric tensors. J. Topol. Anal. 1, 417–429 (2009)
Van Hove, L.: The occurence of singularities in the elastic frequency distribution of a crystal. Phys. Rev. 89, 1189–1193 (1953)
von Neuman, J., Wigner, E.: Über merkwürdige diskrete Eigenwerte. Über das Verhalten von Eigenwerten bei adiabatischen Prozessen. Phys. Z. 30, 467–470 (1929)
Whitney, H.: Tangents to an analytic variety. Ann. Math. (2) 81, 496–549 (1965)
Acknowledgements
We are grateful to numerous colleagues who aided us with helpful advice and friendly encouragement. Among them are Andrei Agrachev, Lior Alon, Ram Band, Mark Goresky, Yuji Kodama, Khazhgali Kozhasov, Peter Kuchment, Sergei Kuksin, Sergei Lanzat, Antonio Lerario, Jacob Shapiro, Stephen Shipman, Frank Sottile, Bena Tshishiku, and Carlos Valero. We also thank anonymous reviewers for many insightful comments that improved our paper.
Funding
GB was partially supported by NSF grants DMS-1815075 and DMS-2247473. IZ was partially supported by NSF grant DMS-2105528 and Simons Foundation Collaboration Grant for Mathematicians 524213.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Hellmann–Feynman Theorem
In this section we review the mathematical formulation of the formula that is known in physics as Hellmann–Feynman Theorem or first-order perturbation theory. We base our formulation on [48, Thm II.5.4] (see also [37]).
Theorem A.1
Let \(T: \mathbb{R}\to \mathrm{Sym}_{n}(\mathcal{F})\) be differentiable at \(x=0\). Let \(\lambda \) be an eigenvalue of \(T(0)\) of multiplicity \(\nu \), \(\mathbf{E}\subset \mathcal{F}^{n}\) be its eigenspace. Then, for small enough \(x\), there are exactly \(\nu \) eigenvalues of \(T(x)\) close to \(\lambda \) and they are given by
where \(\{\mu _{j}\}\) are the eigenvalues of the \(\nu \times \nu \) matrix \(\big(T'(0)\big)_{\mathbf{E}}\), see (1.4).
Appendix B: Twisted Thom space homologies from Poincaré–Lefschetz duality
The Poincaré–Lefschetz duality (see, e.g. [38, Theorem 3.43]) states that if \(Y\) is compact orientable \(n\)-dimensional manifold with boundary \(\partial Y\), then
There is also a twisted analogueFootnote 21 of Poincaré–Lefschetz duality for non-oriented manifolds: if \(Y\) is compact non-orientable \(n\)-dimensional manifold with boundary \(\partial Y\), then
Here, the twisted homology \(H_{*}(Y;\widetilde{\mathbb{Z}})\) was already introduced in Sect. 6. To define twisted cohomology groups, denote by \(\widetilde{Y}\) the orientation cover of \(Y\) and by \(\tau \) the corresponding orientation-reversing involution. \(H^{*}(Y;\widetilde{\mathbb{Z}})\) are the cohomologies of the cochain complex defined on the spaces of cochains \(c\) satisfying \(c\bigl(\tau (\alpha )\bigr)=-c(\alpha )\) for every chain \(\alpha \) in \(\widetilde{Y}\) (see [38, Se. 3H] for a more general point of view). Such cochains will be called skew-symmetric cochains. Note that the space of skew-symmetric cochains can be identified with the dual space to the space of skew-symmetric chains, as expected.
(a) Assume now that \(\nu \) is even. Then the base \(\operatorname{Gr}(i-1,\nu -1)\) of the vector bundle \(\widehat{E}_{i,\nu}\) is non-orientable and, since the vector bundle is also non-orientable, the total space \(\mathcal{B}(\widehat{E}_{i,\nu})\) is orientable. By the usual Poincaré–Lefschetz duality (B.1),
where \(\dim \widehat{E}_{i, \nu}\) is the dimension of the total space \(\mathcal{B}(\widehat{E}_{i,\nu})\). In the last identification we used that the base \(\mathrm{Gr}(i-1,\nu -1)\) is the deformation retract of the total space of the bundle.
Further, since \(\operatorname{Gr}(i-1,\nu -1)\) is non-orientable when \(\nu \) is even, we use the twisted analog of Poincaré duality for nonorientable manifolds (see [38, Theorem 3H.6] as well as (B.2) with \(\partial Y=\emptyset \)) to get
where we used
(b) Consider the case of odd \(\nu \). Then the base \(\operatorname{Gr}(i-1,\nu -1)\) is orientable, the bundle is non-orientable and therefore the total space \(\mathcal{B}(\widehat{E}_{i,\nu})\) is non-orientable. By the twisted Poincaré-Lefschetz duality (B.2),
The orientation double cover \(\widetilde{E}_{i,\nu}\) of \(\widehat{E}_{i,\nu}\) can be constructed from the tautological bundle of the oriented Grassmannian \(\widetilde{\operatorname{Gr}}_{\mathbb{R}}(i-1,\nu -1)\) in the same way as \(\widehat{E}_{i,\nu}\) was constructed from the tautological bundle of the Grassmannian \(\operatorname{Gr}_{\mathbb{R}}(i-1,\nu -1)\) by relations (6.2) and (6.5). In particular, \(\widetilde{E}_{i,\nu}\) is a bundle of rank \(s(i)\) over the oriented Grassmannian \(\widetilde{\operatorname{Gr}}_{\mathbb{R}}(i-1,\nu -1)\). Therefore, retracting the unit ball bundle \(\mathcal{B}(\widetilde{E}_{i,\nu})\) of \(\widetilde{E}_{i,\nu}\) to its base, we get that the integer cohomology groups of \(\mathcal{B}(\widetilde{E}_{i,\nu})\) are isomorphic to the integer cohomology groups of the oriented Grassmannian \(\widetilde{\operatorname{Gr}}_{\mathbb{R}}(i-1,\nu -1)\), i.e.
Moreover, the retraction can be made to preserve the spaces of skew-symmetric chains, which implies that
When \(\nu \) is odd, \(\operatorname{Gr}_{\mathbb{R}}(i-1,\nu -1)\) is orientable and so is \(\widetilde{\operatorname{Gr}}_{\mathbb{R}}(i-1,\nu -1)\). Moreover, the map from the usual Poincaré duality (see [38, Thm. 3.30] as well as (B.1) with \(\partial T = \emptyset \)) applied to \(\widetilde{\operatorname{Gr}}_{\mathbb{R}}(i-1,\nu -1)\) sends the equivalence classes of skew-symmetric cochains to the corresponding skew-symmetric chains. Thus, we arrive to
To summarize, we get the corresponding line in (1.13) whether \(\nu \) is even or odd.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Berkolaiko, G., Zelenko, I. Morse inequalities for ordered eigenvalues of generic self-adjoint families. Invent. math. 238, 283–330 (2024). https://doi.org/10.1007/s00222-024-01284-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-024-01284-y