Algebras of Iterated Path Integrals and Fundamental Groups

A method of iterated integration along paths is used to extend deRham cohomology theory to a homotopy theory on the fundamental group level. For every connected <!-- MATH ${C^\infty }$ --> manifold <!-- MATH $\mathfrak{M}$ --> with a base point p, we construct an algebra <!-- MATH ${\pi ^1} = {\pi ^1}(\mathfrak{M},p)$ --> consisting of iterated integrals, whose value along each loop at p depends only on the homotopy class of the loop. Thus can be taken as a commutative algebra of functions on the fundamental group <!-- MATH ${\pi _1}(\mathfrak{M})$ --> , whose multiplication induces a comultiplication <!-- MATH ${\pi ^1} \to {\pi ^1} \otimes {\pi ^1}$ --> , which makes a Hopf algebra. The algebra relates the fundamental group to analysis of the manifold, and we obtain some analytical conditions which are sufficient to make the fundamental group nonabelian or nonsolvable. We also show that depends essentially only on the differentiable homotopy type of the manifold.