Analytic detection in homotopy groups of smooth manifolds

I. S. Zubov

Contemporary Mathematics. Fundamental Directions, Algebra, Geometry, and Topology, Tome 66 (2020) no. 4, pp. 544-557.

Résumé

In this paper, for the mapping of a sphere into a compact orientable manifold $S^n \to M,$ $n\geq 1,$ we solve the problem of determining whether it represents a nontrivial element in the homotopy group of the manifold $\pi_n(M).$ For this purpose, we consistently use the theory of iterated integrals developed by K.-T. Chen. It should be noted that the iterated integrals as repeated integration were previously meaningfully used by Lappo-Danilevsky to represent solutions of systems of linear differential equations and by Whitehead for the analytical description of the Hopf invariant for mappings $f: S^{2n-1}\to S^n,$ $n\geq2.$ We give a brief description of Chen's theory, representing Whitehead's and Haefliger's formulas for the Hopf invariant and generalized Hopf invariant. Examples of calculating these invariants using the technique of iterated integrals are given. Further, it is shown how one can detect any element of the fundamental group of a Riemann surface using iterated integrals of holomorphic forms. This required to prove that the intersection of the terms of the lower central series of the fundamental group of a Riemann surface is a unit group.

Bibliographie

[1] B. A. Dubrovin, “Kadomtsev–Petviashvili equation and relations between periods of holomorphic differentials on Riemann surfaces”, Bull. Acad. Sci. USSR. Ser. Math., 45:5 (1981), 1015–1028 (in Russian) | MR | Zbl

[2] I. A. Lappo-Danilevsky, Application of Functions From Matrices to the Theory of Linear Systems of Ordinary Differential Equations, GITTL, M., 1957 (in Russian)

[3] V. A. Leksin, “The Lappo-Danilevskii method and trivial intersections of radicals in lower central series terms for certain fundamental groups”, Math. Notes, 79:4 (2006), 577–580 (in Russian) | Zbl

[4] S. P. Novikov, “Analytical generalized Hopf invariant. Multivalued functionals”, Progr. Math. Sci., 39:5 (1984) (in Russian) | MR | Zbl

[5] A. Hatcher, Algebraic Topology, Russian translation, MTsNMO, M., 2011

[6] R. M. Hain, Iterated Integrals and Algebraic Cycles, Russian translation, Nauka, M., 1988 | MR

[7] Chen K.-T., “Algebras of iterated path integrals and fundamental groups”, Trans. Am. Math. Soc., 156 (1971), 359–379 | DOI | MR | Zbl

[8] Chen K.-T., “Iterated integrals of differential forms and loop space homology”, Ann. of Math. (2), 97 (1973), 217–246 | DOI | MR | Zbl

[9] Chen K.-T., “Iterated path integrals”, Bull. Am. Math. Soc., 83:5 (1977), 831–879 | DOI | MR | Zbl

[10] Haefliger A., “Whitehead products and differential forms”, Differential Topology, Foliations and Gelfand—Fuks Cohomology, Springer, Berlin—Heidelberg, 1978, 13–24 | DOI | MR

[11] Hain R. M., “On a generalization of Hilbert's 21st problem”, Ann. Sci. Éc. Norm. Supér. (4), 19:4 (1986), 609–627 | DOI | MR | Zbl

[12] Manin Yu. I., “Non-commutative generalized Dedekind symbols”, Pure Appl. Math. Q, 10:1 (2014), 245–258 | DOI | MR | Zbl

[13] Marin I., Residual nilpotence for generalizations of pure braid groups, 2011, arXiv: 1111.5601 [math.GR] | MR

[14] Whitehead J. H. C., “An expression of Hopf's invariant as an integral”, Proc. Natl. Acad. Sci. USA, 33:5 (1947), 117–123 | DOI | MR | Zbl

[15] Zubov I. S., “Analytic detection of non-trivial elements in fundamental groups of Riemann surfaces”, J. Phys. Conf. Ser., 1203 (2019), 012099 | DOI