Welcome to MathOverflow

Question

7

1

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.

edited May 7 2010 at 14:38

Richard Kent
8,525●2●29●58

asked May 7 2010 at 14:24

David Hansen
8,429●2●19●48

I'm wondering whether there is any motivation for this question other than just curiosity? – Kevin Lin May 7 2010 at 14:31

@Kevin: Rick drew an analogy to certain questions in graph theory (!), which unfortunately I don't remember well enough to repeat here. – David Hansen May 7 2010 at 14:39

1

@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$. – BS Jul 16 2011 at 12:12

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/… – BS Jul 16 2011 at 12:36

Richard Kent · Accepted Answer · 2011-07-16 15:04:41Z UTC

10

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

edited Jul 16 2011 at 15:04

answered May 7 2010 at 14:37

Richard Kent
8,525●2●29●58

	You beat me by 5 seconds! That'll teach me not to spend a minute being careful to spell people's names correctly... – Andy Putman May 7 2010 at 14:40
	:) I was worried that adding the sentence about recent progress would make me the loser. Wheh. – Richard Kent May 7 2010 at 14:41

Andy Putman · Answer 2 · 2010-05-07 14:37:36Z UTC

10

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.

answered May 7 2010 at 14:37

Andy Putman
18.3k●3●55●118

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? – David Hansen May 7 2010 at 14:48

Actually, the original problem is about the Teichmuller metric, and is harder than doing it for WP. – Richard Kent May 7 2010 at 15:20

1

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). – Sam Nead May 7 2010 at 22:00

Covers of Riemann surfaces which become arbitrary close in Teichmuller space

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.