We prove the non-existence of special generic maps on $3$-dimensional complex projective space as our new result and a corollary by several methods.
Special generic maps are generalizations of Morse functions with exactly two singular points on spheres and canonical projections of unit spheres are special generic. Our paper focuses on such maps on closed and simply-connected manifolds of classes containing the $3$-dimensional complex projective space.
The differentiable structures of spheres admitting special generic maps are known to be restricted strongly. Special generic maps on closed and simply-connected manifolds and projective spaces have been studied by various people including the author. The (non-)existence and construction are main problems. Studies on such maps on closed and simply-connected manifolds whose dimensions are greater than $5$ have been difficult.
We prove the non-existence of special generic maps on complex projective space as our extended new result. Simplest special generic maps are Morse functions with exactly two singular points on spheres, or Morse functions in Reeb's theorem, and canonical projections of unit spheres. Manifolds represented as connected sums of products of manifolds diffeomorphic to unit spheres admit such maps in considerable cases. Real and complex projective spaces have been shown to admit no such maps in most cases by the author. This gives a complete answer for complex projective spaces as a corollary to a mo…
We study the homotopy types of certain spaces closely related to the spaces of algebraic (rational) maps from the $m$ dimensional real projective space into the $n$ dimensional complex projective space for $2\leq m\leq 2n$ (we conjecture this relation to be a homotopy equivalence). In an earlier article we proved that the homotopy types of the terms of the natural degree filtration approximate closer and closer the homotopy type of the space of continuous maps and obtained bounds that describe the closeness of the approximation in terms of the degrees of the maps. Here we improve the estimates…
Spaces in the genus of infinite quaternionic projective space which admit essential maps from infinite complex projective space are classified. In these cases the sets of homotopy classes of maps are described explicitly. These results strengthen the classical theorem of McGibbon and Rector on maximal torus admissibility for spaces in the genus of infinite quaternionic projective space. An interpretation of these results in the context of Adams-Wilkerson embedding in integral $K$-theory is also given.
We show that the space $\tilde{A}_{d}(m,n)$ consisting of all real projective classes of $(n+1)$-tuples of real coefficients homogeneous polynomials of degree $d$ in $(m+1)$ variables, without common real roots except zero, has the same homology as the space $ \Map(\RP^m,\Bbb \RP^n)$ of continuous maps from the $m$-dimensional real projective space $\RP^m$ into the $n$ real dimensional projective space $\RP^n$ up to dimension %in dimensions smaller than $(n-m)(d+1)-1$. This considerably improves the main result of \cite{AKY1}.
We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy equivalence. In this paper we prove that the homotopy types of the terms of the natural "degree" filtration approximate closer and closer the homotopy type of the space of continuous maps and obtain bounds that describe the closeness of the approximation in terms of the degree. Moreover, we compute the homotopy groups of the spaces in low dimensions.
For the model two-complex $K$ of the group presentation $\mathcal{P}=\langle x,y\,|\,x^{k+1}yxy \rangle$, with $k\geq1$ odd, we describe representatives for all free and based homotopy classes of maps from $K$ into the real projective plane and we classify the homotopy classes containing only surjective maps. With this approach we get an answer, for maps into the real projective plane, for a classical question in topological root theory, which is known so far, in dimension two, only for maps into the sphere, the torus and the Klein bottle. The answer follows by proving that for all $k\geq1$ od…
For maps from $S^3$ and $\RP^3$ into $S^2$ and $\RP^2$, we study the problem of minimizing the root set by deforming the maps through homotopies. After presenting the classification of the homotopy classes of such maps, we prove that the minimal root set for a non null-homotopic map is either a circle or the disjoint union of two circle, according its range is $S^2$ or $\RP^2$, respectively.
We prove the projective plane $\rp^2$ is an absolute extensor of a finite-dimensional metric space $X$ if and only if the cohomological dimension mod 2 of $X$ does not exceed 1. This solves one of the remaining difficult problems (posed by A.N.Dranishnikov) in extension theory. One of the main tools is the computation of the fundamental group of the function space $\Map(\rp^n,\rp^{n+1})$ (based at inclusion) as being isomorphic to either $\Z_4$ or $\Z_2\oplus\Z_2$ for $n\ge 1$. Double surgery and the above fact yield the proof.
We study co-H-maps from a suspension to the suspension of the projective plane and provide examples of non-suspension 3-cell co-H-spaces. These (infinitely many) examples are related to the homotopy groups of the 3-sphere. For each element of order 2 in $π_n(S^3)$, there is a corresponding non-suspension co-H-space of cells in dimensions 2, 3 and n+2. Our ideas are to study Hopf invariants in combinatorial way by using the Cohen groups.
In this paper we continue to study (`strong') Nielsen coincidence numbers (which were introduced recently for pairs of maps between manifolds of arbitrary dimensions) and the corresponding minimum numbers of coincidence points and pathcomponents. We explore compatibilities with fibrations and, more specifically, with covering maps, paying special attention to selfcoincidence questions. As a sample application we calculate each of these numbers for all maps from spheres to (real, complex, or quaternionic) projective spaces. Our results turn out to be intimately related to recent work of D Gonca…
The problem of approximating the infinite dimensional space of all continuous maps from an algebraic variety $X$ to an algebraic variety $Y$ by finite dimensional spaces of algebraic maps arises in several areas of geometry and mathematical physics. An often considered formulation of the problem (sometimes called the Atiyah-Jones problem after \cite{AJ}) is to determine a (preferably optimal) integer $n_D$ such that the inclusion from this finite dimensional algebraic space into the corresponding infinite dimensional one induces isomorphisms of homology (or homotopy) groups through dimension $…
It is shown that only countably many spaces in the genus of $\hpinfty$, the infinite quaternionic projective space, can admit essential maps from $\cpinfty$, the infinite complex projective space. Examples of countably many homotopically distinct spaces in the genus of $\hpinfty$ which admit essential maps from $\cpinfty$ are constructed. These results strengthen a theorem of McGibbon and Rector which states that among the uncountably many homotopy types in its genus, $\hpinfty$ is the only one which admits a maximal torus.
For real projective spaces, (a) the Euclidean immersion dimension, (b) the existence of axial maps, and (c) the topological complexity are known to be three facets of the same problem. But when it comes to embedding dimension, the classical work of Berrick, Feder and Gitler leaves a small indeterminacy when trying to identify the existence of Euclidean embeddings of these manifolds with the existence of symmetric axial maps. As an alternative we show that the symmetrized version of (c) captures, in a sharp way, the embedding problem. Extensions to the case of even torsion lens spaces and compl…
The primary goal of this paper is to find a homotopy theoretic approximation to moduli spaces of holomorphic maps Riemann surfaces into complex projective space. There is a similar treatment of a partial compactification of these moduli spaces of consisting of irreducible stable maps in the sense of Gromov-Witten theory. The arguments follow those from a paper of G. Segal on the topology of the space of rational functions.
We will give a geometric description of the nth transversal homotopy monoid of k-dimensional complex projective space, where we stratify by lower dimensional complex projective spaces in the usual way. Transversal homotopy monoids are defined as classes of based transversal maps into Whitney stratified spaces up to equivalence through such maps. We will show the nth transversal homotopy monoid of k-dimensional complex projective space is isomorphic to isotopy classes of certain filtrations of the n-sphere. The required filtrations are by nested closed subspaces $X_0 \subset ... \subset X_k=S^n…
In this paper, we compute the BP-cohomology of complex projective Stiefel manifolds. The method involves the homotopy fixed point spectral sequence, and works for complex oriented cohomology theories. We also use these calculations and BP-operations to prove new results about equivariant maps between Stiefel manifolds.
We survey and expand on the work of Segal, Milgram and the author on the topology of spaces of maps of positive genus curves into $n$-th complex projective space, $n\geq 1$ (in both the holomorphic and continuous categories). Both based and unbased maps are studied and in particular we compute the fundamental groups of the spaces in question. The relevant case when $n=1$ is given by a non-trivial extension which we fully determine.
We present in this paper a framework which leverages the underlying topology of a data set, in order to produce appropriate coordinate representations. In particular, we show how to construct maps to real and complex projective spaces, given appropriate persistent cohomology classes. An initial map is obtained in two steps: First, the persistent cohomology of a sparse filtration is used to compute systems of transition functions for (real and complex) line bundles over neighborhoods of the data. Next, the transition functions are used to produce explicit classifying maps for the induced bundle…
In this paper we investigate Abel maps on normal surface singularities described in \cite{NNI}. We investigate the affine version of the class of the images of Abel maps on normal surface singularities. More precisely we consider the projective clousure of the image of an Abel map, its dual projective variety and we substract from its degree the multiplicity of the infinite hyperplane on the dual variety. In the case of generic singularities we prove explicit combinatorial formulas of this invariant, in the general case we prove an upper bound.
