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.     

Complete intersections in rational homotopy theory

We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure theorem and that modules have multiply periodic resolutions.     

Some algebraic constructions in rational homotopy theory

In this note we describe constructions in the category of differential graded commutative algebras over the rational numbers Q which are analogs of the space F(X, Y) of continuous maps of X to Y, the component F(X, Y,ƒ) containing ƒ ε F(X, Y), fibrations, induced fibrations, the space Γ(π) of sections of a fibration π: E → X, and the component Γ(π,σ) containing σ ε Γ (π). As a focus, we address the problem of expressing π^*(F(X, Y, ƒ)) = Hom(π_*(F(X,Y, ƒ)),Q) in terms of differential graded algebra models for X and Y.     

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     

Obstructions to nonnegative curvature and rational homotopy theory

We establish a link between rational homotopy theory and the problem which vector bundles admit a complete Riemannian metric of nonnegative sectional curvature. As an application, we show for a large class of simply-connected nonnegatively curved manifolds that, if lies in the class and is a torus of positive dimension, then ``most' vector bundles over admit no complete nonnegatively curved metrics.

     

Nevanlinna theory and iteration of rational maps

In 1993, J. Silverman [7] studied finiteness questions for integer points in the orbits of rational functions on the projective line. This paper proves the complex hyperbolicity analogs of Silvermans results.The first author is supported in part by NSA under grant number MSPF-02G-175. The United State Government is authorized to reproduce and distribute reprints notwithstanding any copyright notation hereon.Acknowledgments. The authors wish to thank the referee for many helpful comments and suggestions.     

Connecting rational homotopy type singularities

Let N be a compact simply connected smooth Riemannian manifold and, for p ∈ {2,3,...}, W ^1,p (R ^p+1, N) be the Sobolev space of measurable maps from R ^p+1 into N whose gradients are in L ^p . The restriction of u to almost every p-dimensional sphere S in R ^p+1 is in W ^1,p (S, N) and defines an homotopy class in π _p (N) (White 1988). Evaluating a fixed element z of Hom(π _p (N), R) on this homotopy class thus gives a real number Φ _z,u (S). The main result of the paper is that any W ^1,p -weakly convergent limit u of a sequence of smooth maps in C ^∞(R ^p+1, N), Φ _z,u has a rectifiable Poincaré dual . Here Γ is a a countable union of C ¹ curves in R ^p+1 with Hausdorff -measurable orientation and density function θ: Γ→R. The intersection number between and S evaluates Φ _z,u (S), for almost every p-sphere S. Moreover, we exhibit a non-negative integer n _z , depending only on homotopy operation z, such that even though the mass may be infinite. We also provide cases of N, p and z for which this rational power p/(p + n _z ) is optimal. The construction of this Poincaré dual is based on 1-dimensional “bubbling” described by the notion of “scans” which was introduced in Hardt and Rivière (2003). We also describe how to generalize these results to R ^m for any m ⩾ p + 1, in which case the bubbling is described by an (m–p)-rectifiable set with orientation and density function determined by restrictions of the mappings to almost every oriented Euclidean p-sphere.     

A model for the homotopy theory of homotopy theory

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory', or more precisely that the category of such models has a well-behaved internal hom-object.

     

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.     

Singular cochains and rational homotopy type

Rational homotopy types of simply connected topological spaces have been classified by weak equivalence classes of commutative cochain algebras (Sullivan) and by isomorphism classes of minimal commutative A _∞-algebras (Kadeishvili). We classify rational homotopy types of the space X by using the (noncommutative) singular cochain complex C*(X, Q), with additional structure given by the homotopies introduced by Baues, {E _1,k } and {F _p,q}. We show that if we modify the resulting B _∞-algebra structure on this algebra by requiring that its bar construction be a Hopf algebra up to a homotopy, then weak equivalence classes of such algebras classify rational homotopy types. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 43, Topology and Its Applications, 2006.     

The homotopy type of rational functions

During the preparation of this work each of the authors was supported by an NSF grant, the second author by an NSF-PYI award, and the first and fourth authors by the S.F.B. 170 in G?ttingen     

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.