Abstract:Let $(M, g)$ be a compact real analytic Riemannian manifold and $\pi \colon \widetilde{M} \to M$ its universal cover. Assume that $\widetilde{M}$ can be realised as a manifold definable in an o-minimal structure $\Sigma$ expanding $\mathbb{R}_{\mathrm{an}}$ in such a way that the pullback metric $\widetilde{g}:=\pi^*g$ is $\Sigma$-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 $\Sigma$-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 $\pi_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.

On the non-analyticity locus of an arc-analytic function

On real analytic functions on closed subanalytic domains

Checking real analyticity on surfaces

Real analytic functions and monomial curves

Globally subanalytic arc-symmetric sets

$A$-analyticity of separatricies of foliations

A proof of Kurdyka's conjecture on arc-analytic functions

A $2$-dimensional real Banach space with constant of analyticity less than one

Local topological algebraicity of analytic function germs

Analytic functions on tubes of non-Archimedean analytic spaces

Global Complexification of Real Analytic Restricted Log-Exp-Analytic Functions

Blow-Analytic Equivalence versus contact-bi-Lipschitz Equivalence

Automatic meromorphy in non-archimedean geometry

Flattening and subanalytic sets in rigid analytic geometry

The Bergman spaces of generalized analytic functions on the upper half-plane

The image of random analytic functions: coverage of the complex plane via branching processes

The Nadler-Quinn problem on accessible points of arc-like continua

On the metric Kollár-Pardon problem

On quasianalytic local rings

Topics in global real analytic geometry