Self homotopy groups with large nilpotency classes

We demonstrate that for any n>0 there exists a compact connected Lie group G such that the self homotopy group [G,G] has the nilpotency class greater than n, where [G,G] is a nilpotent group for a compact connected Lie group G.     

An asymptotic formula for the ranks of homotopy groups

Let X be a finite simply connected CW complex of dimension n. The loop space homology H_∗(ΩX;Q) is the universal enveloping algebra of a graded Lie algebra LX isomorphic with π∗−1(X)⊗Q. Let QX⊂LX be a minimal generating subspace, and set .Theorem: If dimLX=∞ and , then

     

Rational torus-equivariant stable homotopy I: Calculating groups of stable maps

We construct an abelian category A(G) of sheaves over a category of closed subgroups of the r-torus G and show that it is of finite injective dimension. It can be used as a model for rational G-spectra in the sense that there is a homology theory

     

Algebraic models for equivariant homotopy theory over Abelian compact Lie groups

We describe some algebraic models for equivariant rational and p-adic homotopy theory over Abelian compact Lie groups. Received: 12 February 2001; in final form: 15 August 2001 / Published online: 28 February 2002     

Evaluation maps in rational homotopy

In the rational category of nilpotent complexes, let E be an H-space acting on a space X. With mild hypotheses we show that the action on the base point factors through a map Γ_E:S_E→X, where S_E is a finite product of odd-dimensional spheres and Γ_E is a homotopy monomorphism. Among others, the following consequences are obtained: if and only if is essential and if and only if X satisfies a strong splitting condition.     

Localization and completion of nilpotent groups of automorphisms

We study nilpotent subgroups of automorphism groups in the category of groups and the homotopy category of spaces. We establish localization and completion theorems for nilpotent groups of automorphisms of nilpotent groups. We then apply these algebraic theorems to prove analogous results for certain groups of self-homotopy equivalences of spaces.     

Rational obstruction theory and rational homotopy sets

We develop an obstruction theory for homotopy of homomorphisms between minimal differential graded algebras. We assume that has an obstruction decomposition given by and that f and g are homotopic on . An obstruction is then obtained as a vector space homomorphism . We investigate the relationship between the condition that f and g are homotopic and the condition that the obstruction is zero. The obstruction theory is then applied to study the set of homotopy classes . This enables us to give a fairly complete answer to a conjecture of Copeland-Shar on the size of the homotopy set [A,B] whenA and B are rational spaces. In addition, we give examples of minimal algebras (and hence of rational spaces) that have few homotopy classes of self-maps. Received February 22, 1999; in final form July 7, 1999 / Published online September 14, 2000     

Rational homotopy of the (homotopy) fixed point sets of circle actions

In this paper, when G is the circle S¹ and M is a G-space, we study the rational homotopy type of the fixed point set MG, the homotopy fixed point set MhG, and the natural injection MG→MhG.     

Genus and symmetry in homotopy theory

Research supported (in part) by a grant from the City University of New York PSC-CUNY Research Award Program.     

Cohomology rings and formality properties of nilpotent groups

We analyze k-stage formality and relate resonance with this type of formality properties. For instance, we show that, for a finitely generated nilpotent group that is k-stage formal, the resonance varieties are trivial up to degree k. We also show that the cohomology ring, truncated up to degree k+1, of a finitely generated nilpotent, k-stage formal group is generated in degree 1; this criterion is necessary and sufficient for a finitely generated, 2-step nilpotent group to be k-stage formal. We compute resonance varieties for Heisenberg-type groups and deduce the degree of partial formality for this class of groups.     

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     

Rational homotopy groups of generalised symmetric spaces

Abstract. We obtain explicit formulas for the rational homotopy groups of generalised symmetric spaces, i.e., the homogeneous spaces for which the isotropy subgroup appears as the fixed point group of some finite order automorphism of the group. In particular, this gives explicit formulas for the rational homotopy groups of all classical compact symmetric spaces. Received: 18 March 2002 / Published online: 14 February 2003 The author is supported by the {\it DFG Graduiertenkolleg “Mathematik im Bereich ihrer Wechselwirkung mit der Physik”} and is a member of EDGE, Research Training Network HPRN-CT-2000-00101, supported by The European Human Potential Programme.     

Splitting off rational parts in homotopy types

It is known algebraically that any abelian group is a direct sum of a divisible group and a reduced group (see Theorem 21.3 of [L. Fuchs, Infinite Abelian Groups, vol. I, Academic Press, New York-London, 1970]). In this paper, conditions to split off rational parts in homotopy types from a given space are studied in terms of a variant of Hurewicz map, say and generalised Gottlieb groups. This yields decomposition theorems on rational homotopy types of Hopf spaces, T-spaces and Gottlieb spaces, which has been known in various situations, especially for spaces with finiteness conditions.     

Separated Lie models and the homotopy Lie algebra

A simply connected topological space X has homotopy Lie algebra π_∗(ΩX)⊗Q. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property that we call being separated. The homology of a separated dgL has a particular form which lends itself to calculations.     

Twisted conjugacy classes in nilpotent groups

Let N be a finitely generated nilpotent group. We show that there is an algorithm that for any automorphism φ∈Aut(N) computes its Reidemeister number R(φ). It is proved that any free nilpotent group N_rc of rank r and class c belongs to class R_∞ if any of the following conditions holds: r=2 and c≥4; r=3 and c≥12; r≥4 and c≥2r.     

Classification of homotopy Wall's manifolds

Complete PL and topological classification and partial smooth classification of manifolds homotopy equivalent to a Wall's manifold (defined as a mapping torus of a Dold manifold), introduced by Wall in his 1960 Annals paper on cobordism, have been done by determining: (1) the normal invariants of Wall's manifolds, (2) the surgery obstruction of a normal invariant and (3) the action of the Wall surgery obstruction groups on the smooth, PL and homeomorphism classes of homotopy Wall's manifolds (to be made precise in the body of the paper). Consequently classification results of automorphisms (self homeomorphisms, and self PL-homeomorphisms) of Dold manifolds follow.     

Lifting homotopy T-algebra maps to strict maps

The settings for homotopical algebra—categories such as simplicial groups, simplicial rings, _A∞$A_{\infty }$ spaces, _E∞$E_{\infty }$ ring spectra, etc.—are often equivalent to categories of algebras over some monad or triple T. In such cases, T is acting on a nice simplicial model category in such a way that T descends to a monad on the homotopy category and defines a category of homotopy T-algebras. In this setting there is a forgetful functor from the homotopy category of T-algebras to the category of homotopy T-algebras.     

On the homotopy type of complete intersections

The homotopy classification problem for complete intersections is settled when the complex dimension is larger than the total degree.