Skip to Main Content

Transactions of the American Mathematical Society

Published by the American Mathematical Society, the Transactions of the American Mathematical Society (TRAN) is devoted to research articles of the highest quality in all areas of pure and applied mathematics.

ISSN 1088-6850 (online) ISSN 0002-9947 (print)

The 2020 MCQ for Transactions of the American Mathematical Society is 1.43.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

Algebras of iterated path integrals and fundamental groups
HTML articles powered by AMS MathViewer

by Kuo-tsai Chen PDF
Trans. Amer. Math. Soc. 156 (1971), 359-379 Request permission

Abstract:

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 ${C^\infty }$ manifold $\mathfrak {M}$ with a base point p, we construct an algebra ${\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 ${\pi ^1}$ can be taken as a commutative algebra of functions on the fundamental group ${\pi _1}(\mathfrak {M})$, whose multiplication induces a comultiplication ${\pi ^1} \to {\pi ^1} \otimes {\pi ^1}$, which makes ${\pi ^1}$ a Hopf algebra. The algebra ${\pi ^1}$ 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 ${\pi ^1}$ depends essentially only on the differentiable homotopy type of the manifold. The second half of the paper is devoted to the study of structures of algebras of iterated path integrals. We prove that such algebras can be constructed algebraically from the following data: (a) the commutative algebra A of ${C^\infty }$ functions on $\mathfrak {M}$; (b) the A-module M of ${C^\infty }$ 1-forms on $\mathfrak {M}$; (c) the usual differentiation $d:A \to M$; and (d) the evaluation map at the base point p, $\varepsilon :A \to K$, K being the real (or complex) number field.
References
Similar Articles
  • Retrieve articles in Transactions of the American Mathematical Society with MSC: 53.45, 55.00
  • Retrieve articles in all journals with MSC: 53.45, 55.00
Additional Information
  • © Copyright 1971 American Mathematical Society
  • Journal: Trans. Amer. Math. Soc. 156 (1971), 359-379
  • MSC: Primary 53.45; Secondary 55.00
  • DOI: https://doi.org/10.1090/S0002-9947-1971-0275312-1
  • MathSciNet review: 0275312