Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

March 7, 2006

Hilbert Uniformization of Moduli Space

Posted by Urs Schreiber

Currently I am staying at the Weizmann Institute where I am visiting Ofer Aharony and Micha Berkooz (I had reported about their last visit to Hamburg here). But at the moment I am still occupied with the internal mental post-production of the elliptic workshop. Here I want to list some literature on an interesting result by C. Bödigheimer which could be relevant for the program of realizing elliptic objects in terms of transport 2-functors.

In that approach, as in the Stolz/Teichner conception of elliptic objects, you want to be able to compose the (Riemann) surface over which the transport takes place out of many topologically disk-shaped little pieces, using composition and identification of boundaries. For bare surfaces this is more or less straightforward, for conformal surfaces, however, this is subtle.

Stolz/Teichner suggest to handle this issue by equipping every little piece of conformal surface suitably with “collars” along which gluing can be performed. While straightforward, the resulting construction might seem a little intricate.

Prof. Bödigheimer pointed out a result he has been working on over the years, which may suggest a rather elegant way to handle this issue, one that should seamlessly lend itself to incorporation in 2-functorial transport over Riemann surfaces.

The idea is to find something like a “normal form” of a representative for an equivalence class of Riemann surfaces obtained by piecing together trivial (“uniform”) surfaces using appropriate combinatorics.

(I haven’t seen this one, though. For some strange reason my current equipment does not allow me to view these files.)

In this approach, one builds all Riemann surfaces (possibly with some restriction on the number of boundaries etc.) by choosing a couple of annuli, cutting radial slits into them and identifying left and right sides of these slits among each other.

Alternativley, one can think of the wedges obtained by slicing these annuli, after a conformal transformation, as a collection of standard rectangles in the complex plane, with certain combinatorial prescription for how to glue them. From this point of view the “normal form” for Riemann surfaces becomes particularly nice, being more or less just an n×m array of standard conformal rectangles with combinatoric data describing their composition along horizontal and vertical boundaries. No auxiliary collars are needed, gluing is exactly along the rectangle’s boundaries.

Every Riemann manifold with at least one (marked) ingoing and at least one outgoing boundary circle can be represented this way.

There is a particularly nice procedure for decomposing any given conformal surface (with at least two boundary circles) canonically into a collection of conformal rectangles with combinatoric identifications (section 6 in the above linked document):

On every such surface, there is precisely one real-valued function Φ which

• is harmonic

• has no singularities or critical points on the boundary

• takes the value 0 on all boundary curves labelled “incoming”

• takes the value 1 on all boundary curves labelled “outgoing”.

Using any representative of the conformal metric on the surface, we can form the gradient of that function and consider the flow induced by that gradient. Flow lines will

•start either at an incoming boundary or at at critical point of Φ

and

•end either at an outgoing boundary or at at critical point of Φ.

The critical points of Φ together with the set of flow lines which start or end at any critial point form a graph, and this graph, one can show, partitions the Riemann surface into regions which are conformally equivalent to rectangles
[0,1 ]×[a,b]⊂ℂ.

There are a couple of results concerning the nature of the space of these “normal forms” for Riemann surfaces by students of Bödigheimer. For instance the recent

2 Comments & 0 Trackbacks

Re: Hilbert Uniformization of Moduli Space

I have nothing much to say except that it’s great how you’re marching forwards, tying together our String(n) stuff with our 2-connection stuff and Stolz and Teichner’s work on elliptic cohomology! Getting a really nice bicategory of Riemann surfaces with corners is probably part of what’s needed.

I’ve been working on something superficially quite different - a paper with Alissa Crans and Derek Wise on Exotic Statistics for Loops in 4d BF Theory. This paper will appear on the arXiv soon. If you think about it, you’ll see that it’s secretly about the 2-category whose 2-morphisms are 2-tangles: surfaces in 4d spacetime. And, as you know, a solution of 4d BF theory automatically gives a 2-connection (A,B). So, it’s probably just another aspect of the same big picture… though I’ve been too busy with the details to think much about how it fits into the big picture!