The goal for most of the posts in this blog has been to take out some very simple parts of certain papers/subjects and “blow them up” to a point where anybody (myself included) can understand. Ideally the simple parts should give some inspirations and ideas towards the more general subject. This one is on the same vein. This one is based on parts of professor Guth’s minimax paper.
In an earlier post, we talked about the extremal length where one is able to bound the “largest possible minimum length” (i.e. the “maximum minimum length“) of a family of rectifiable curves under conformal transformation. When combined with the uniformization theorem in for surfaces, this becomes a powerful tool for understanding arbitrary Riemannian metrics (and for conformal classes of metrics in higher dimensions).
However, in ‘real life’ we often find what we really want to bound is, instead, the “minimum maximum length” of a family of curves, for example:
Question: Let be the unit disc. Given any family of arcs with endpoints on and foliates , then how short can the logest arc in possibly be?
In other words, let be the collection of all possible such foliations as above, what is
After playing around a little bit with those foliations, we should expect one of the fibres to be at least as long as the diameter ( i.e. no foliation has smaller maximum length leaf than foliating by straight lines ). Hence we should have
This is indeed easy to prove:
Proof: Consider the map where , switches the end-points of each arc in . It is easy to check that is a continuous, orientation reversing homeomorphism of the circle (conjugate to a reflection). Let be its fixed points, be the two arcs in connecting to .
be the antipodal map on .
Suppose then one of is longer than , say it’s .
Then we have
Hence has a fixed point in , i.e. .
There is a fibre in with endpoints , the fibre must have length
The remaining case is trivial: if then both and gets mapped into themselves orientation-reversingly, hence fixed points still exists.
Establishes the claim.
Instead of the disc, we may look at circles that sweep out the sphere (hence to avoid the end-point complications):
Theorem: Any one-parameter family of circles that foliates (except two points) must have the largest circle being longer than the equator.
This is merely applying the same argument, i.e. one of the circles needs to contain a pair of antipodal points hence must be longer than the equator.
In order for easier generalization to higher dimensions, with slight modifications, this can be formulated as:
Theorem: For any having non-zero degree, there is where is larger than the equator.
Hence in higher dimensions we can try to prove the same statement for largest image of a lever -sphere under . However before we do that I would like to highlight some intergal geometry machineries that are new to me but seemingly constantly used in proving those kinds of estimates. We shall get some idea of the method by showing:
Theorem: Let be equipped with the round metric. be a ‘flat’ -dimensional plane. Then any -chain in the same dimensional homology class as must have volume at least as large as .
Proof: Let be the set of all -planes in (i.e. the Grassmannian).
There is a standard way to associate a measure on :
Let be the Haar measure on , fix some .
Since acts on , for open set , we set
–The measure of a collection of planes is the measure of linear transformations that takes the given plane to an element of the set.
Now we are able to integrate over all -planes!
For almost all , since is -plane, we have . ( not only when they are ‘parallel’ )
Since in , for almost all , intersects at least as much as does. We conclude that for almost all .
Fact: There exists constant such that for any -chain ,
The fact is obtained by diving the chain into fine cubes, observe that both volume and expectation are additive and translation invariant. Therefore we only need to show this for infinitesimal cubes (or balls) near . We won’t work out the details here.
Hence in our case, since for almost all we have , the expectation .
We therefore deduce
Establishes the theorem.
Remark: I found this intergal geometry method used here being very handy: in the old days I always try to give lower bounds on volume of stuff by intersecting it with planes and then pretend the ‘stuff’ were orthogonal to the plane, which is the worst case in terms of having small volume. An example of such bound can be found in the knot distorsion post where in order to lower bound the length we look at its intersection number with a family of parallel planes and then integrate the intersection.
This is like looking from one particular direction and record how many times did a curve go through each height, of course one would never get the exact length if we know the curve already. What if we are allowed to look from all directions?
I always wondered if we know the intersection number with not only a set of parallel planes but planes in all directions, then are there anything we can do to better bound the volume? Here I found the perfect answer to my question: by integrating over the Grassmannian, we are able to get the exact volume from how much it intersect each plane!
We get some systolic estimates as direct corollaries of the above theorem, for example:
Corollary: where carries the round metric with total volume .
Back to our minimax problems, we state the higher dimensional version:
Wish: For any map where carries the standard round metric, there exists some with
where is the -dimensional equator.
But what we have is that there is a (small) positive constant s.t. implies
(shown by an inductive application of the isomperimetric inequality on , which is obtained from applying intergal geometry methods)