2 problems

Kanai's conjecture. If the distribution $\mathbb{H}$ is $\mathcal{C}^1$, then $(M,g)$ is locally symmetric.

A nilflow is a flow generated by a one-parameter subgroup on a nilmanifold; a flow is geometrically rigid when continuous conjugacies within the relevant smooth class are smooth. C…