[Paper Review] An Introduction to Harmonic Manifolds and the Lichnerowicz Conjecture

Peter Kreyssig|arXiv (Cornell University)|Jul 3, 2010

Geometric Analysis and Curvature Flows27 references8 citations

TL;DR

This paper provides a self-contained introduction to harmonic manifolds and establishes Z. I. Szabó's proof of the Lichnerowicz conjecture for compact simply connected manifolds, demonstrating that such manifolds are either flat or locally symmetric of rank one. The work relies on Riemannian geometry, Laplace equation properties, and ODE techniques to show that global harmonicity implies strong structural constraints, resolving a long-standing conjecture in this class of manifolds.

ABSTRACT

The title is self-explanatory. We aim to give an easy to read and self-contained introduction to the field of harmonic manifolds. Only basic knowledge of Riemannian geometry is required. After we gave the definition of harmonicity and derived some properties, we concentrate on Z. I. Szabó's proof of Lichnerowicz's conjecture in the class of compact simply connected manifolds.

Motivation & Objective

• To provide a self-contained, accessible introduction to harmonic manifolds using only basic Riemannian geometry.
• To clarify the equivalence of various harmonicity notions—infinitesimal, local, global, and strong—under completeness and topological conditions.
• To present and explain Z. I. Szabó’s proof of the Lichnerowicz conjecture in the class of compact simply connected manifolds.
• To highlight the significance of the conjecture in connecting harmonic properties to local symmetry and constant curvature.
• To discuss recent developments, including non-symmetric globally harmonic manifolds in dimensions ≥7, and open questions in dimension 6.

Proposed method

• Defining harmonicity via the existence of non-constant radially symmetric harmonic functions and relating it to constant mean curvature of small geodesic spheres.
• Using the equivalence of harmonicity to the validity of the mean value theorem, as established by Willmore.
• Applying the Kazdan-DeTurck theorem to equate local, global, and infinitesimal harmonicity in complete manifolds.
• Employing ODE techniques to show that the density function of a harmonic manifold satisfies a linear ODE with constant coefficients, implying finite-dimensional orbit spaces under translation.
• Using Fourier analysis and trigonometric polynomial structure to deduce that periodic solutions must be finite cosine sums with integer frequencies.
• Applying Gauss-Lucas theorem to analyze the roots of characteristic polynomials of the ODE, linking them to curvature constraints and symmetry.

Experimental results

Research questions

• RQ1 Under what conditions is a harmonic manifold necessarily locally symmetric or flat?
• RQ2 How do different notions of harmonicity—local, global, strong—relate in complete Riemannian manifolds?
• RQ3 What structural constraints does global harmonicity impose on the density function and curvature tensor?
• RQ4 Can the Lichnerowicz conjecture be extended beyond compact simply connected manifolds, particularly in dimension 6?
• RQ5 Are there non-symmetric globally harmonic manifolds in every dimension ≥7, and what conditions force symmetry?

Key findings

• Z. I. Szabó proved that every compact simply connected globally harmonic manifold is either flat or locally symmetric of rank one, confirming the Lichnerowicz conjecture in this class.
• The density function of a harmonic manifold satisfies a linear ODE with constant coefficients, implying that its translates span a finite-dimensional space.
• For smooth, $2\pi$-periodic, even functions with finite-dimensional translate span, the function must be a finite sum of cosines with integer frequencies.
• The curvature tensor of a 5-dimensional locally harmonic manifold is parallel, implying constant sectional curvature due to Ledger’s formulae.
• There exist globally harmonic manifolds in dimensions ≥7 that are not locally symmetric, constructed as one-dimensional extensions of Heisenberg-type groups.
• In the homogeneous case, simply connected globally harmonic spaces are either flat, rank-one symmetric, or isometric to the non-symmetric Damek-Ricci spaces.