Spaces of non-degenerate maps between complex projective spaces (Q2221523): Difference between revisions

For positive integers \(1\leq m\leq n\) and \(d\geq 1\), let \(\mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n)\) denote the space of all holomorphic maps \(f:\mathbb{C}\mathrm{P}^m\to \mathbb{C}\mathrm{P}^n\) of degree \(d\). A map \(f\in \mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n)\) is called degenerate if its image \(f(\mathbb{C}\mathrm{P}^m)\) is contained in a hyperplane of \(\mathbb{C}\mathrm{P}^n\), and let \(_{n}\mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n) \) be the subspace of \(\mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n)\) consisting of all maps \(f\in \mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n)\) such that \(f\) is non-degenerate. In this paper, the author studies the topologies of the two spaces \(_{n}\mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n)\) and \(\mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n)\) from the point of view of homological stability. In particular, when \(m=1\), he proves that the inclusion map \(_{n}\mathrm{Hol}_d(\mathbb{C}\mathrm{P}^1,\mathbb{C}\mathrm{P}^n)\to \mathrm{Hol}_d(\mathbb{C}\mathrm{P}^1,\mathbb{C}\mathrm{P}^n)\) induces an isomorphism on homology \(H_k(\ ;\mathbb{Z})\) for all \(k\leq 2(d-n)\). Moreover, when \(m>1\), he proves that the inclusion map \(_{n}\mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n)\to \mathrm{Hol}_d(\mathbb{C}\mathrm{P}^m,\mathbb{C}\mathrm{P}^n)\) induces an isomorphism on homology \(H_k(\ ;\mathbb{Q})\) for all \(k\leq d(2n-2m+1)-1\). He also obtains a similar result for subspaces of most degenerate, non-degenerate, and degenerate holomorphic maps, and he generalizes some calculations previously obtained by \textit{R. J. Milgram} [Topology 36, No. 5, 1155--1192 (1997; Zbl 0894.57016)].