Principal bundles on two-dimensional CW-complexes with disconnected structure group

Given any topological group G, the topological classification of principal G-bundles over a finite CW-complex X is long known to be given by the set of free homotopy classes of maps from X to the corresponding classifying space BG. This classical result has been long-used to provide such classification in terms of explicit characteristic classes. However, even when X has dimension 2, there is a case in which such explicit classification has not been explicitly considered. This is the case where G is a Lie group, whose group of components acts nontrivially on its fundamental group $\pi_1G$ . Here, we deal with this case and obtain the classification, in terms of characteristic classes, of principal G-bundles over a finite CW-complex of dimension 2, with G is a Lie group such that $\pi_0G$ is abelian.

Closed geodesics on surfaces without conjugate points

We obtain Margulis-type asymptotic estimates for the number of free homotopy classes of closed geodesics on certain manifolds without conjugate points. Our results cover all compact surfaces of genus at least 2 without conjugate points.

Realization of homotopy classes of torus homeomorphisms by the simplest structurally stable diffeomorphisms

According to Thurston’s classification, the set of homotopy classes of orientation-preserving homeomorphisms of orientable surfaces is split into four disjoint subsets. A homotopy class from each subset is characterized by the existence of a homeomorphism called Thurston’s canonical form, namely: a periodic homeomorphism, a reducible nonperiodic homeomorphism of algebraically finite order, a reducible homeomorphism that is not a homeomorphism of an algebraically finite order, and a pseudo-Anosov homeomorphism. Thurston’s canonical forms are not structurally stable diffeomorphisms. Therefore, the problem naturally arises of constructing the simplest (in a certain sense) structurally stable diffeomorphisms in each homotopy class. In this paper, the problem posed is solved for torus homeomorphisms. In each homotopy class, structurally stable representatives are analytically constructed, namely, a gradient-like diffeomorphism, a Morse-Smale diffeomorphism with an orientable heteroclinic, and an Anosov diffeomorphism, which is a particular case of a pseudo-Anosov diffeomorphism.

Determination of the Homotopy Type of a Morse – Smale Diffeomorphism on a 2-torus by Heteroclinic Intersection

According to the Nielsen – Thurston classification, the set of homotopy classes of orientation-preserving homeomorphisms of orientable surfaces is split into four disjoint subsets. Each subset consists of homotopy classes of homeomorphisms of one of the following types: $T_{1}$) periodic homeomorphism; $T_{2}$) reducible non-periodic homeomorphism of algebraically finite order; $T_{3}$) a reducible homeomorphism that is not a homeomorphism of algebraically finite order; $T_{4}$) pseudo-Anosov homeomorphism. It is known that the homotopic types of homeomorphisms of torus are $T_{1}$, $T_{2}$, $T_{4}$ only. Moreover, all representatives of the class $T_{4}$ have chaotic dynamics, while in each homotopy class of types $T_{1}$ and $T_{2}$ there are regular diffeomorphisms, in particular, Morse – Smale diffeomorphisms with a finite number of heteroclinic orbits. The author has found a criterion that allows one to uniquely determine the homotopy type of a Morse – Smale diffeomorphism with a finite number of heteroclinic orbits on a two-dimensional torus. For this, all heteroclinic domains of such a diffeomorphism are divided into trivial (contained in the disk) and non-trivial. It is proved that if the heteroclinic points of a Morse – Smale diffeomorphism are contained only in the trivial domains then such diffeomorphism has the homotopic type $T_{1}$. The orbit space of non-trivial heteroclinic domains consists of a finite number of two-dimensional tori, where the saddle separatrices participating in heteroclinic intersections are projected as transversally intersecting knots. That whether the Morse – Smale diffeomorphisms belong to types $T_{1}$ or $T_{2}$ is uniquely determined by the total intersection index of such knots.

Open finite-to-one functions on open topological graphs

The paper describes homotopy classes of open continuous functions on finite open topological graphs