Some examples of homotopy Π-algebras

The homotopy Π-algebra of a pointed topological space, X, consists of the homotopy groups of X together with the additional structure of the primary homotopy operations. We extend two well-known results for homotopy groups to homotopy Π-algebras and look at some examples illustrating the depth of structure on homotopy groups; from graded group to graded Lie ring, to Π-algebra and beyond. We also describe an abstract Π-algebra and give three abstract Π-algebra structures on the homotopy groups of the loop space of X which can be realized as the homotopy Π-algebras of three different spaces.     

Continuous group actions on profinite spaces

For a profinite group, we construct a model structure on profinite spaces and profinite spectra with a continuous action. This yields descent spectral sequences for the homotopy groups of homotopy fixed point spaces and for stable homotopy groups of homotopy orbit spaces. Our main example is the Galois action on profinite étale topological types of varieties over a field. One motivation is to understand Grothendieck’s section conjecture in terms of homotopy fixed points.     

Spaces of Maps into Classifying Spaces for Equivariant Crossed Complexes, II: The General Topological Group Case

The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of homotopy coherence theory for crossed complexes, using detailed results on the appropriate Eilenberg–Zilber theory, and of its relation to simplicial homotopy coherence. Again, our results give information not just on the homotopy classification of certain equivariant maps, but also on the weak equivariant homotopy type of the corresponding equivariant function spaces.     

Weak Graph Map Homotopy and Its Applications∗

The authors introduce a notion of a weak graph map homotopy (they call it M-homotopy), discuss its properties and applications. They prove that the weak graph map homotopy equivalence between graphs coincides with the graph homotopy equivalence defined by Yau et al in 2001. The difference between them is that the weak graph map homotopy transformation is defined in terms of maps, while the graph homotopy transformation is defined by means of combinatorial operations. They discuss its advantages over the graph homotopy transformation. As its applications, they investigate the mapping class group of a graph and the 1-order MP-homotopy group of a pointed simple graph. Moreover, they show that the 1-order MP-homotopy group of a pointed simple graph is invariant up to the weak graph map homotopy equivalence.     

Rational homotopy theory for non-simply connected spaces

We construct an algebraic rational homotopy theory for all connected CW spaces (with arbitrary fundamental group) whose universal cover is rationally of finite type. This construction extends the classical theory in the simply connected case and has two basic properties: (1) it induces a natural equivalence of the corresponding homotopy category to the homotopy category of spaces whose universal cover is rational and of finite type and (2) in the algebraic category, homotopy equivalences are isomorphisms. This algebraisation introduces a new homotopy invariant: a rational vector bundle with a distinguished class of linear connections.

     

Higher homotopy of groups definable in o-minimal structures

It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy groups of L. As a consequence, we obtain that all abelian definably compact groups of a given dimension are definably homotopy equivalent, and that their universal covers are contractible.     

Fundamental group of homotopy colimits

We give a general version of theorems due to Seifert-van Kampen and Brown about the fundamental group of topological spaces. We consider here the fundamental group of a general homotopy colimit of spaces. This includes unions, direct limits and quotient spaces as special cases. The fundamental group of the homotopy colimit is determined by the induced diagram of fundamental groupoids via a simple commutation formula. We use this framework to discuss homotopy (co-)limits of groups and groupoids as well as the useful Classification Lemma 6.4. Immediate consequences include the fundamental group of a quotient spaces by a group action and of more general colimits. The Bass-Serre and Haefliger's decompositions of groups acting on simplicial complexes is shown to follow effortlessly. An algebraic notion of the homotopy colimit of a diagram of groups is treated in some detail.     

The homotopy categorical crossed module of a CW-complex

Crossed modules have longstanding uses in homotopy theory and the cohomology of groups. The corresponding notion in the setting of categorical groups, that is, categorical crosses modules, allowed the development of a low-dimensional categorical group cohomology. Now, its relevance is also shown here to homotopy types by associating, to any pointed CW-complex (X,∗), a categorical crossed module that algebraically represents the homotopy 3-type of X.     

Geometric approach to stable homotopy groups of spheres. The Adams–Hopf invariants

In this paper, a geometric approach to stable homotopy groups of spheres based on the Pontryagin–Thom construction is proposed. From this approach, a new proof of the Hopf-invariant-one theorem of J. F. Adams for all dimensions except 15, 31, 63, and 127 is obtained. It is proved that for n > 127, in the stable homotopy group of spheres Π _n , there is no element with Hopf invariant one. The new proof is based on geometric topology methods. The Pontryagin–Thom theorem (in the form proposed by R. Wells) about the representation of stable homotopy groups of the real, projective, infinite-dimensional space (these groups are mapped onto 2-components of stable homotopy groups of spheres by the Kahn–Priddy theorem) by cobordism classes of immersions of codimension 1 of closed manifolds (generally speaking, nonoriented) is considered. The Hopf invariant is expressed as a characteristic class of the dihedral group for the self-intersection manifold of an immersed codimension-1 manifold that represents the given element in the stable homotopy group. In the new proof, the geometric control principle (by M. Gromov) for immersions in the given regular homotopy classes based on the Smale–Hirsch immersion theorem is required. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 3–15, 2007.     

Commutativity of localized self-homotopy groups of symplectic groups

The self-homotopy group of a topological group G is the set of homotopy classes of self-maps of G equipped with the group structure inherited from G. We determine the set of primes p such that the p-localization of the self-homotopy group of Sp(n) is commutative. As a consequence, we see that this group detects the homotopy commutativity of p-localized Sp(n) by its commutativity almost all cases.     

The Borsuk�CUlam theorem for homotopy spherical space forms

In this work, we show for which odd-dimensional homotopy spherical space forms the Borsuk–Ulam theorem holds. These spaces are the quotient of a homotopy odd-dimensional sphere by a free action of a finite group. Also, the types of these spaces which admit a free involution are characterized. The case of even-dimensional homotopy spherical space forms is basically known.     

The group of homotopy equivalences of products of spheres and of Lie groups

We investigate the group of self homotopy equivalences of a space X which induce the identity homomorphism on all homotopy groups. We obtain results on the structure of provided the p-localization of X has the homotopy type of a p-local product of odd-dimensional spheres. In particular, we show that is a semidirect product of certain homotopy groups . We also show that has a central series whose successive quotients are , which are direct sums of homotopy groups of p-local spheres. This leads to a determination of the order of the p-torsion subgroup of and an upper bound for its p-exponent. These results apply to any Lie group G at a regular prime p. We derive some general properties of and give numerous explicit calculations. Received: 14 April 2001; in final form: 10 September 2001 / Published online: 17 June 2002     

On the homotopy type of the regular group of a realW *-algebra

In this paper we determine the homotopy groups of the group of invertible elements of a purely realW ^*-algebra of typeII ₁. It turns out that the homotopy groups are periodic with period 4.     

Homotopy types of line arrangements

Summary We prove that the complement of a real affine line arrangement inC ² is homotopy equivalent to the canonical 2-complex associated with Randell's presentation of the fundamental group. This provides a much smaller model for the homotopy type of the complement of a real affine 2- or central 3-arrangement than the Salvetti complex and its cousins. As an application we prove that these exist (infinitely many) pairs of central arrangements inC ³ with different underlying matroids whose complements are homotopy equivalent. We also show that two real 3-arrangements whose oriented matroids are connected by a sequence of flips are homotopy equivalent.Oblatum 17-X-1991 & 8-VII-1992Author partially supported by NSF grant DMS-9004202     

Polyhedra dominating finitely many different homotopy types

In 1968 K. Borsuk asked: Is it true that every finite polyhedron dominates only finitely many different shapes? In this question the notions of shape and shape domination can be replaced by the notions of homotopy type and homotopy domination.We obtained earlier a negative answer to the Borsuk question and next results that the examples of such polyhedra are not rare. In particular, there exist polyhedra with nilpotent fundamental groups dominating infinitely many different homotopy types. On the other hand, we proved that every polyhedron with finite fundamental group dominates only finitely many different homotopy types. Here we obtain next positive results that the same is true for some classes of polyhedra with Abelian fundamental groups and for nilpotent polyhedra. Therefore we also get that every finitely generated, nilpotent torsion-free group has only finitely many r-images up to isomorphism.     

Topological automorphic forms on U(1, 1)

The homotopy type and homotopy groups of some spectra TAF _GU of topological automorphic forms associated to a unitary similitude group GU of type (1, 1) are explicitly described in quasi-split cases. The spectrum TAF _GU is shown to be closely related to the spectrum TMF in these cases, and homotopy groups of some of these spectra are explicitly computed.     

Homotopy simplicial faces and the homology of realizations of simplicial topological spaces

The notion of a differential module with homotopy simplicial faces is introduced, which is a homotopy analog of the notion of a differential module with simplicial faces. The homotopy invariance of the structure of a differential module with homotopy simplicial faces is proved. Relationships between the construction of a differential module with homotopy simplicial faces and the theories of A _∞-algebras and D _∞-differential modules are found. Applications of the method of homotopy simplicial faces to describing the homology of realizations of simplicial topological spaces are presented.     

Homotopy type of gauge groups of quaternionic line bundles over spheres

Let P be a principal S³-bundle over a sphere Sn, with n?4. Let GP be the gauge group of P. The homotopy type of GP when n=4 was studied by A. Kono in [A. Kono, A note on the homotopy type of certain gauge groups, Proc. Roy. Soc. Edinburgh Sect. A 117 (1991) 295-297]. In this paper we extend his result and we study the homotopy type of the gauge group of these bundles for all n?25.     

R-nilpotency in homotopy equivalences

We study the monoid of self homotopy equivalences of anR-nilpotent space, with the goal of understanding the actions of a cyclic group of orderp on a simply-connected homologically finite space with uniquelyp-divisible homotopy groups. This work was supported in part by the National Science Foundation.