1
$\begingroup$

Theorem. Any $\omega$-nilpotent cover of a recurrent Riemannian manifold is Liouville.

$\omega$-nilpotent ($\Gamma=\bigcup_{i=1}^{\infty}Z_{i}$, $Z_{i}$ normal in $\Gamma$, where $Z_{n+1}$ maps to the center of $\Gamma/Z_{n}$.)

The above theorem comes from a paper of T. Lyons and D. Sullivan. function theory random paths and covering spacesre (Theorem 2).

How to understand the $\omega$-nilpotent cover?

The second derived subgroup of the fundamental group of an open Riemann surface $X$ determines a covering space, is it $\omega$-nilpotent? (i.e. let $G=\pi_{1}(X)$, $G'=[G,G]$, $G''=[G',G']$, is the group $G/G''$ $\omega$-nilpotent?)

$\endgroup$
1
  • 1
    $\begingroup$ For $G$ free, $G/G''$ is free metabelian and hence has trivial center. Hence for $G$ free non-abelian, $G/G''$ is not hypercentral. (Your condition "$\omega$-nilpotent", which I'd call $\omega$-hypercentral, implies hypercentral.) $\endgroup$
    – YCor
    Commented Mar 20, 2019 at 13:28

0

You must log in to answer this question.