# The spectrum of the Hodge Laplacian on a Riemannian manifold

The Hodge Laplacian operator on differential forms on a (compact?) Riemannian manifold carries useful information about the topology of the manifold. In particular, the multiplicity of the zero eigenvalue is equal to the betti number.

Does the non-zero spectrum carry similarly useful topological information (in particular, independent of the metric)? More generally, what is known about the spectrum?

What is the spectrum for instance on classical examples like Euclidean space, the flat torus, the spheres or the riemann surfaces?

From the wiki page, I know that on a compact manifold, the spectrum is non negative but this is about the limit of my knowledge.

• mathoverflow.net/questions/224795/… – Neal Sep 9 '19 at 15:24
• Thanks, that's certainly relevant but unless I am misunderstanding the linked question only applies to the case of 0 forms while I am really interested in the operator on higher forms. – Asvin Sep 9 '19 at 15:27

This "book" might interest you: http://math.bu.edu/people/sr/articles/book.pdf I haven't found a book title or an author inside the book, but on page 35 they claim, that even calculating the eigenvalues/eigenforms for the non-flat 2-torus of the laplacian on 1-forms is basically impossible. I don't know whether that is something one would expect.

Unfortunately all I have is the above link, as I only got it from another thread: https://math.stackexchange.com/questions/617557/relation-of-hodge-theorem-to-eigenfunction-basis-of-laplacian

But maybe you will find other information inside the book.

They have a "Hodge Theorem 1.30 for the Laplacian on k-forms" on page 34 that says:

For a closed connected orientable Riemannian manifold the eigenvalues of the Laplace operator on k-forms are all non-negative. There exists an orthonormal basis of $$L^2(\Omega^k(M))$$ consisting of eigenfunctions (or lets call them eigenforms I guess) of the Laplacian on k-forms. The eigenspaces are all finite-dimensional and the eigenvalues accumulate only at infinity.

So the eigenspaces of the Laplacian on k-forms are finite dimensional. Is that common knowledge? I haven't read much more of "the book".

Somewhere else I read that the spectrum of the Laplacian only consists of its eigenvalues (common knowledge?): https://arxiv.org/pdf/1710.09579.pdf on page 11.

This short text might also interest you: https://math.berkeley.edu/~alanw/240papers03/chen.pdf starting on page 8, he explains that one can build up Morse-homology via a deformed Laplacian, where critical points of index k of a morse function correspond to eigenforms of the Laplacian on k-forms (the same k) and the exterior differential d on the eigenforms corresponds to the dual of the connecting-flow-lines counting boundary operator in Morse Homology.

• The book is The Laplacian on a Riemannian Manifold by Steven Rosenberg. It's linked from his web page math.bu.edu/people/sr. – Nate Eldredge Sep 10 '19 at 23:48
• Oh thanks. I guess I'm the donkey, that wasn't able to remove the last parts of the link to get to the website :D. – Sebastian Hebold Sep 11 '19 at 9:12