Lichnerowicz conjecture

In mathematics, the Lichnerowicz conjecture is a generalization of a conjecture introduced by Lichnerowicz (1944). Lichnerowicz's original conjecture was that locally harmonic 4-manifolds are locally symmetric, and was proved by Walker (1949). The Lichnerowicz conjecture usually refers to the generalization that locally harmonic manifolds are flat or rank-1 locally symmetric.