most recent 30 from http://mathoverflow.net 2013-05-21T13:31:21Z http://mathoverflow.net/feeds/question/31813 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/31813/restriction-of-iterated-integrals anton 2010-07-14T09:03:24Z 2010-07-14T10:04:18Z

<p>For a smooth manifold $X$, let $B_s(X)$ denote the space of iterated integrals of length at most $s$. Here we consider iterated integrals as functions on the path space $PX$. Fix a base point $x_0$ and consider the set of paths $PX_{x_0}$ of all paths emanating at $x_0$. Denote the iterated integrals on this space by $B_s(X)_{x_0}$. Let $LX_{x_0}$ be the loop space, i.e., the set of all paths emanating and ending at $x_0$. Let $B_s(X)_{x_0,x_0}$ be the iterated integrals on this space. Clearly, the restriction map $B_s(X)_{x_0}\to B_s(X)_{x_0,x_0}$ is surjective. Now let $B_s(X)_{x_0}^{hom}$ be the subset of iterated integrals which are invariant under homotopies with fixed endpoints. Likewise define the space $B_s(X)_{x_0,x_0}^{hom}$.</p> <p>The QUESTION is, whether the restriction map $$ B_s(X)_{x_0}^{hom}\to B_s(X)_{x_0,x_0}^{hom} $$ again is surjective. In the cases $s=0,1$ this is easily established. It sounds like a question you might find in Chen's papers, but I didn't. But then again, I am not a specialist in this area and no good reader, so I might have overlooked something helpful.</p>