5
$\begingroup$

Is it true that the fundamental group of a compact finite dimensional Alexandrov space with curvature bounded below is finitely generated?

$\endgroup$
1

1 Answer 1

4
$\begingroup$

Under these hypotheses the systole of $X$ is clearly bounded from below, and the usual comparison arguments would give an upper bound on the number of points in an $\epsilon$-net in $X$. Then every loop can be discretized and the finite-generation follows.

$\endgroup$
3
  • $\begingroup$ Thank you very much. May I ask in addition whether the stronger statement is true: the minimal number of generators of the fundamental group is bounded above by a constant depending only on dimension, diameter, and a lower bound on curvature? $\endgroup$
    – asv
    May 10, 2018 at 5:47
  • 1
    $\begingroup$ I am not sure. You might want to try to run this by Anton Petrunin. $\endgroup$ May 10, 2018 at 8:57
  • $\begingroup$ It is possible that this would follow from a 2017 publication by Sabourau where he provides a specific lower bound for the systole, modulo suitable hypotheses on $X$. @orbits $\endgroup$ May 10, 2018 at 11:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.