Just kidding! I don’t know what any of the words in the title of this post mean except for “scary”, “math”, and “and.” Today, the French postdoc Brice Loustau, visiting for a month, gave a talk on this subject to three of us (including his collaborator). My math big brother missed the talk and asked if I took notes, so I thought I’d put up a preliminary copy here for him, and then come back and edit it for readability for whoever reads this blog who is interested in math (if you exist…)

This talk is really about the **correspondence between the moduli space of the character variety and the moduli space of flat connections**. I also didn’t know what most of those words meant until the talk itself.

Generally, we might have a homomorphism , where is a discrete group and G is a Lie group. For instance, Teichmuller theory is the study of these homomorphisms when is the fundamental group of a surface, and G is . In Brice’s current work, he and Jonah are considering G as .

How is Teichmuller theory connected to character varieties? Well, if you have a surface S with negative Euler characteristic, and hence endowed with a hyperbolic structure, we have , where is a discrete subgroup of and the fundamental group of S. A surface can have a whole bunch of hyperbolic structures, and those are represented by the character variety.

See, if I have , then the image of is a subgroup , which is discrete (given some conditions on ….) and is exactly the from above, giving me a hyperbolic structure.

The **character variety** of a surface S is , where indicates equivalence up to conjugation by an element of . Conjugate homomorphisms give isometric hyperbolic structures in Teichmuller space.

Let’s next talk about flat connections. A **connection **on a vector bundle E is a linear operator , that is, it takes in a smooth section in and outputs a smooth 1-form that gives values in E, subject to the Leibniz rule:

.

Basically, connections are like derivatives, and we like them because they let us differentiate sections. And we sort of use derivative notation with them, too. For instance, if and X is a vector field on S, so , then , and we write it as .

The **flat **adjective has to do with **curvature**, which has lots of details that we won’t get into.

So **to build our correspondence**, given a homomorphism , we need to construct a rank n complex vector bundle on S with a flat connection.

Building the vector bundle is actual pretty easy. Let . How does act on this product? In the only way it can: – so it acts by deck transformations in the first coordinate, and by the homomorphism and multiplication on the second.

Now we need to say it comes equipped with a flat connection. We’ll define it. Let be a section, and be a local frame to E from U an open subset of S. Then we can write, for any x in U, , where the . There’s a bunch of work to show that this is flat, but we’re not doing that.

So badaboom! We got half of the correspondence between character varieties and flat connections. Going the other way, from flat connections to character varieties, is apparently pretty easy by using the **holonomy of a connection****, **but we ran out of time.