On the metric Kollár-Pardon problem

Abstract

Let $(M, g)$ be a compact real analytic Riemannian manifold and $π\colon \widetilde{M} \to M$ its universal cover. Assume that $\widetilde{M}$ can be realised as a manifold definable in an o-minimal structure $Σ$ expanding $\mathbb{R}_{\mathrm{an}}$ in such a way that the pullback metric $\widetilde{g}:=π^*g$ is $Σ$-definable. For instance, this is the case when $\widetilde{M}$ can be realised as a semi-algebraic submanifold in $\mathbb{R}^n$ in such a way that the coefficients of the metric $\widetilde{g}$ are semi-algebraic. We show that there exists a definable smooth map $\widetilde{M} \to \widetilde{K}$ to a compact simply connected $Σ$-definable space $\widetilde{K}$ such that its regular fibres are Riemann locally homogeneous with respect to the metric $\widetilde{g}$. We deduce that under these assumptions $π_1(M)$ is quasi-isometric to a locally homogeneous space. In the case when $M$ is aspherical we show that $(\widetilde{M}, \widetilde{g})$ is a homogeneous Riemannian manifold. A similar result in the setting of complex algebraic geometry was earlier conjectured by Kollár and Pardon (\cite{KP}). Using our results, we prove the conjecture of Kollár-Pardon in the special case of smooth aspherical varieties admitting a bi-definable Kähler metric and discuss the analogues of this conjecture in other branches of geometry.

Theorems & Definitions (50)

• Conjecture 1: Kollár-Pardon, KP
• Theorem A
• Theorem B
• Theorem C: Corollary \ref{['KP special']}
• Definition 1
• Definition 2
• Theorem 2.1
• Remark 1
• Definition 3
• Lemma 2.2