7
$\begingroup$

Suppose $S$ and $S'$ are two compact Riemann surfaces of genus $g$. Does there exist a sequence of genera $g_i \to \infty$ and covers $S_i, S_{i}'$ of $S,S'$, both of genus $g_i$, such that $d(S_i,S_{i}')\to 0$? Here $d$ a "natural" distance function on Teichmuller space, of which I suppose there are many, but for definiteness let's take it to be induced by the Teichmuller metric.

This question was asked to me by Rick Kenyon last year, and some brief thought on it got me nowhere.

$\endgroup$
4
  • $\begingroup$ I'm wondering whether there is any motivation for this question other than just curiosity? $\endgroup$ May 7, 2010 at 14:31
  • $\begingroup$ @Kevin: Rick drew an analogy to certain questions in graph theory (!), which unfortunately I don't remember well enough to repeat here. $\endgroup$ May 7, 2010 at 14:39
  • 1
    $\begingroup$ @David : I guess the kind of graph theory analogous result is that any two finite connected $d$-regular graphs (for some $d>2$) have a common finite covering (Angluin's theorem). Actually, there is a simple group-theoretic proof, using that a finite connected $d$-regular graph is the same thing as a conjugacy class of finite index torsion-free subgroup of the free product $\mathbb{Z}/2\star \mathbb{Z}/d$. $\endgroup$
    – BS.
    Jul 16, 2011 at 12:12
  • $\begingroup$ ADDED : there is a more general result that any two finite graphs having the same universal cover have a finite common cover (Leighton's theorem). This extends to colored graphs, see math.columbia.edu/~neumann/preprints/leighton1.5.pdf $\endgroup$
    – BS.
    Jul 16, 2011 at 12:36

2 Answers 2

10
$\begingroup$

This is the Ehrenpreis Conjecture, and is still open.

Jeremy Kahn and Vlad Markovic have made some progress recently.

UPDATE: Kahn and Markovic have now announced a proof of the entire conjecture. See http://arxiv.org/abs/1101.1330

$\endgroup$
2
  • $\begingroup$ You beat me by 5 seconds! That'll teach me not to spend a minute being careful to spell people's names correctly... $\endgroup$ May 7, 2010 at 14:40
  • $\begingroup$ :) I was worried that adding the sentence about recent progress would make me the loser. Wheh. $\endgroup$ May 7, 2010 at 14:41
10
$\begingroup$

At least for the Weil-Petersson metric on Teichmuller space, this is a well-known open problem known as the Ehrenpreis conjecture. It has a rather fearsome reputation.

$\endgroup$
3
  • $\begingroup$ I arbitrarily selected Richard's answer, and upvoted both. Should this conjecture be "metric-independent"? That is, if you know it for the WP metric, can you easily deduce it for the Teichmuller metric as well? $\endgroup$ May 7, 2010 at 14:48
  • $\begingroup$ Actually, the original problem is about the Teichmuller metric, and is harder than doing it for WP. $\endgroup$ May 7, 2010 at 15:20
  • 1
    $\begingroup$ Kahn and Markovic have solved the problem with respect to the "normalized WP metric" (which is the natural version of the WP metric to take). $\endgroup$
    – Sam Nead
    May 7, 2010 at 22:00

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.