The structure of projective maps between real projective manifolds

In this paper we study the set of projective maps between compact properly convex real projective manifolds. We show that this set contains only finitely many distinct homotopy classes and each homotopy class has the structure of a real projective manifold. When domain is irreducible and the target is strictly convex, our results imply that each non-trivial homotopy class contains at most one projective map. These results are motivated by the theory of holomorphic maps between compact complex manifolds.     

Homotopy classes of proper maps out of vector bundles

In this paper, we classify the homotopy classes of proper maps $$E\rightarrow \mathbb {R}^k$$, where E is a vector bundle over a compact Hausdorff space. As a corollary, we compute the homotopy classes of proper maps $$\mathbb {R}^n \rightarrow \mathbb {R}^k$$. We find a stability range of such maps. We conclude with some remarks on framed submanifolds of non-compact manifolds, the relationship with proper homotopy classes of maps, and the Pontryagin–Thom construction.     

Real algebraic morphisms represent few homotopy classes

We study the problem of representing homotopy classes of maps between real algebraic varieties of regular maps.     

Coincidence Properties for Maps from the Torus to the Klein Bottle

The authors study the coincidence theory for pairs of maps from the Torus to the Klein bottle. Reidemeister classes and the Nielsen number are computed, and it is shown that any given pair of maps satisfies the Wecken property. The 1-parameter Wecken property is studied and a partial negative answer is derived. That is for all pairs of coincidence free maps a countable family of pairs of maps in the homotopy class is constructed such that no two members may be joined by a coincidence free homotopy.     

Harmonic Hopf constructions and isoparametric gradient maps

This note provides a complete answer to a problem of Ding-Fan-Li on the homotopy classes of harmonic Hopf constructions. Moreover, it gives applications to isoparametric gradient maps.     

Homotopy Classification of Categorical Torsors

The long-known results of Schreier on group extensions are here raised to a categorical level by giving a factor set theory for torsors under a categorical group (G,) over a small category . We show a natural bijection between the set of equivalence classes of such torsors and [B({}),B(G,)], the set of homotopy classes of continuous maps between the corresponding classifying spaces. These results are applied to algebraically interpret the set of homotopy classes of maps from a CW-complex X to a path-connected CW-complex Y with _i (Y)=0 for all i1,2.     

Homotopical smallness and closeness

The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of universal covering spaces for non-semi-locally simply connected spaces, in particular to the properties of being homotopically Hausdorff and homotopically path Hausdorff. The definitions of notions in question and their role in homotopy theory are supplemented by examples, extensional classifications, universal constructions and known applications.     

Locale同伦理论

本文引入了locale连续映射同伦的概念,建立了locale同伦范畴,构造性地证明了任一locale连续映射都同伦等价于一个locale包含映射。通过引入locale H群的概念(它是locale群概念的自然推广),建立了locale同伦范畴到群同态范畴的一个反变函子。特别地,我们建立了locale同伦群范畴上的基本群函子,证明了locale L上以p为基点的基本群同构于L的谱空间pt(L)上以p为基点的基本群。因此,基本群函子是locale范畴中的一个同伦不变量。     

Algebraic maps from spheres to spheres

Some homotopy classes of the unit spheres are explicitly represented by entire rational maps. Project supported by the National Natural Science Foundation of China (Grant No. 19531050), the Special Foundation of the Chinese Academy of Sciences, Hong Kong Qiu-Shi Foundation and the Education Foundation of Tsinghua University.     

On a conjecture of ōshima

The set of homotopy classes of self maps of a compact, connected Lie group G is a group by the pointwise multiplication which we denote by H(G), and it is known to be nilpotent. ōshima [H. ōshima, Self homotopy group of the exceptional Lie group G₂, J. Math. Kyoto Univ. 40 (1) (2000) 177-184] conjectured: if G is simple, then H(G) is nilpotent of class ?rankG. We show this is true for PU(p) which is the first high rank example.     

Homotopic equivalence of rational proper holomorphic discs of bounded symmetric domains of type I

We characterize homotopy classes of rational proper holomorphic Shilov maps from the unit disc to bounded symmetric domains of type I through rational proper holomorphic Shilov discs. This characterization generalizes results of D'Angelo–Huo–Xiao and D'Angelo–Lebl, where the codomains are the unit balls.     

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     

Maps from a Simply Connected Space to Flag Manifold G／T

In this paper the classification of maps from a simply connected space X to a flag manifold G/T is studied. As an application, the structure of the homotopy set for self-maps of flag manifolds is determined.     

On relations between gradient and classical equivariant homotopy groups of spheres

We investigate relations between stable equivariant homotopy groups of spheres in classical and gradient categories. To this end, the auxiliary category of orthogonal equivariant maps, a natural enlargement of the category of gradient maps, is used. Our result allows for describing stable equivariant homotopy groups of spheres in the category of orthogonal maps in terms of classical stable equivariant groups of spheres with shifted stems. We conjecture that stable equivariant homotopy groups of spheres for orthogonal maps and for gradient maps are isomorphic.     

Simple homotopy types and finite spaces

We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial collapse. More precisely, we show that a collapse X↘Y of finite spaces induces a simplicial collapse K(X)↘K(Y) of their associated simplicial complexes. Moreover, a simplicial collapse K↘L induces a collapse X(K)↘X(L) of the associated finite spaces. This establishes a one-to-one correspondence between simple homotopy types of finite simplicial complexes and simple equivalence classes of finite spaces. We also prove a similar result for maps: We give a complete characterization of the class of maps between finite spaces which induce simple homotopy equivalences between the associated polyhedra. This class describes all maps coming from simple homotopy equivalences at the level of complexes. The advantage of this theory is that the elementary move of finite spaces is much simpler than the elementary move of simplicial complexes: It consists of removing (or adding) just a single point of the space.     

Localization with respect to a class of maps II — Equivariant cellularization and its application

We present an example of a homotopical localization functor which is not a localization with respect to any set of maps. Our example arises from equivariant homotopy theory. The technique of equivariant cellularization is developed and applied to the proof of the main result.     

Regularity results for real analytic homotopies

Summary In this paper, we study two main features of the homotopy curves which we follow when we use the homotopy method for solving the zeros of analytic maps. First, we prove that near the solution the curve behaves nicely. Secondly, we prove that the set of starting points which give smooth homotopy curves is open and dense. The second property is of particular importance in computer implementation.This research was supported by the National Science Foundation under Grants MCS 78-02420 (Li) and MCS-7818858 (Mallet-Paret) and MCS-7818221 (Yorke), by the Army Research office under Grant DAAG-29-80-C-0040 (Li and Yorke)     

From graphs to ortholattices and equivariant maps

A functor is constructed from the category of graphs and graph homomorphisms to the category of spaces with involutions and equivariant homotopy classes of maps. This can sometimes be used to prove lower bounds on chromatic numbers, and was inspired by Lovász's proof of Kneser's conjecture. Ortholattices occur as an intermediate step between graphs and spaces, and the correspondence between graphs and ortholattices is analyzed.     

Coincidence Wecken homotopies versus Wecken homotopies relative to a fixed homotopy in one of the maps

We study the 1-parameter Wecken problem versus the restricted Wecken problem, for coincidence free pairs of maps between surfaces. For this we use properties of the function space between two surfaces and of the pure braid group on two strings of a surface. When the target surface is either the 2-sphere or the torus it is known that the two problems are the same. We classify most pairs of homotopy classes of maps according to the answer of the two problems are either the same or different when the target is either projective space or the Klein bottle. Some partial results are given for surfaces of negative Euler characteristic.