There has been a couple of interesting talks recently here at Princeton. Somehow the term ‘extremal length’ came up in all of them. Due to my vast ignorance, I knew nothing about this before, but it sounded cool (and even somewhat systolic); hence I looked a little bit into that and would like to say a few words about it here.
One can find a rigorous exposition on extremal length in the book Quasiconformal mappings in the plane.
Let be a simply connected Jordan domain in . is a conformal factor on . Recall from my last post, is a Lebesgue measurable function inducing a metric on where
and for any ( is an interval) with , we have the length of :
.
Call this metric on and denote metric space .
Given any set of rectifiable curves in (possibly with endpoints on ), each comes with a unit speed parametrization. Consider the “-width” of the set :
.
Let be the set of conformal factors with norm (i.e. having the total volume of normalized to ).
Definition: The extremal length of is given by
Remark: In fact I think it would be more natural to just use instead of since it’s called a “length”…but since the standard notion is to sup over all , not necessarily normalized, and having the -width squared divide by the volume of , I can’t use conflicting notation. One should note that in our case it’s just the square of sup of width.
Definition:The metric where this extremal is achieved is called an extremal metric for the family .
The most important fact about extremal length (also what makes it an interesting quantity to study) is that it’s a conformal invariant:
Theorem: Given bi-holomorphic, then for any set of normalized curves in , we can define after renormalizing curves in we have:
Sketch of a proof: (For simplicity we assume all curves in are rectifiable, which is not always the case i.e. for bad maps the length might blow up when the curve approach this case should be treated with more care)
This is indeed not hard to see, first we note that for any we can define by having
It’s easy to see that (merely change of variables).
In the same way, for any rectifiable curve.
Hence we have
.
On the other hand, we know that is a bijection from to , deducing
Establishes the claim.
One might wonder how on earth should this be applied, i.e. what kind of are useful to consider. Here we emphasis on the simple case where is a rectangle (Of course I would first look at this case because of the unresolved issues from the last post :-P ):
Theorem: Let , be the set of all curves starting at a point in the left edge , ending on with finite length. Then and the Euclidean metric is an extremal metric.
Sketch of the proof: It suffice to show that any metric with has at least one horizontal line segment with . (Because if so, and we know for the Euclidean length)
The average length of over is
By Cauchy-Schwartz this is less than
Since the shortest curve cannot be longer than the average curve, we have .
Hence
Note it’s almost the same argument as in the proof of systolic inequality on the 2-torus.
Corollary: Rectangles with different eccentricity are not conformally equivalent (i.e. one cannot find a bi-homomorphic map between them sending each edge to an edge).
Remark: I was not aware of this a few days ago and somehow had the silly thought that there are conformal maps between any pair of rectangles while discussing with Guangbo >.< then tried to see what would those maps look like and was of course not able to do so. (there are obviously Riemann maps between the rectangles, but they don't send conners to conners, i.e. can't be extended to a conformal map on the closed rectangle).
An add-on: While I came across a paper of Odes Schramm, applying the techniques of extremal length, the following theorem seemed really cool.
Let be a finite planar graph with vertex set and edges . For each vertex we assign a simply connected domain .
Theorem: We can scale and translate each to so that form a packing (i.e. are disjoint) and the contact graph of is . (i.e. iff .
Note: This is vastly stronger than producing a circle packing with prescribed structure.
[…] Extremal length and conformal geometry […]
LikeLike
[…] Extremal length and conformal geometry […]
LikeLike