MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I recently found out about Chen's iterated integrals for paths in a differentiable manifold, and I was wondering if an analogous construction exists for free loops, i.e. a set of variables one computes from a free loop and which uniquely determine this loop up to reparametrizations and insertions/deletions of trees.

Another thing I was wondering is whether it is on some way possible to write down a Haar measure for integration over path/loop space using these iterated integrals. If I discretize the problem I'm working on by replacing the manifold $\mathbb R^n$ by a cubic lattice, I find I have to sum over all loops not containing tree parts on this lattice, each loop having the same weight. How does this translate to a continuous manifold using these iterated integrals (if it translates at all)?

Thanks for any help people have to offer.

share|cite|improve this question
I don't understand the first part of the question. A loop is a path so all iterated integrals of 1-forms over a loop determine the loop up to reparametrization. Can you be more precise? Thanks. – Manuel Rivera Aug 1 '13 at 21:46
Not exactly the same, no. A free loop (i.e. without base-point) can be represented by many paths (choose a base-point and consider the path going from that point around the loop once). All iterated integrals indeed determine the loop, but if you have two different sets of such iterated integrals, they could still describe the same free loop, just with different choice of base-point. – David Vercauteren Aug 6 '13 at 17:45

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.