Spaces of algebraic maps from real projective spaces to toric varieties (Q296552): Difference between revisions

Given manifolds \(X\) and \(Y\), write \(\text{Map}^\ast(X,Y)\) for the space of bas-point preserving continuous maps from \(X\) to \(Y\). If \(X\) and \(Y\) are complex manifolds, \textit{J. Mostovoy} [Topology 45, No. 2, 281--293 (2006; Zbl 1086.58005); Q. J. Math. 63, No. 1, 181--187 (2012; Zbl 1237.58012)] determined an integer \(n_D\) such that the inclusion map \(j_D : \text{Hol}^\ast_D(X,Y)\to \text{Map}^\ast(X,Y)\) is a homology equivalence through dimension \(n_D\), where \(D=(d_1,\ldots,d_r)\) is a tuple of integers and \(\text{Hol}^\ast_D(X,Y)\) denotes the space of holomorphic maps from \(X\) to \(Y\) of degree \(D\). Recently, \textit{J.\ Mostovoy} and \textit{E.\ Munguia-Villanueva} [Spaces of morphisms from a projective space to a toric variety, preprint, {\url arXiv:1210.2795}] generalized that result to the case of holomorphic maps from a complex projective space \(\mathbb{C}P^m\) to a compact smooth toric variety \(X_\Sigma\) associated to a fan \(\Sigma\). Given algebraic varieties \(X\) and \(Y\), write \(\text{Alg}^\ast_D(X,Y)\) for the space of algebraic (regular) maps from \(X\) to \(Y\) of degree \(D\) and \(A_D(X,Y)\) for the space of tuples of polynomials representing elements of \(\text{Alg}^\ast_D(X,Y)\). For a real projective space \(\mathbb{R}P^m\), the authors study the natural map \(i_D : A_D(m,X_\Sigma)\to \text{Map}^\ast(X,Y)\) and show that the induced map \(i'_D : A_D(m,X_\Sigma;g)\to F(\mathbb{R}R^m,X_\Sigma;g)\simeq\Omega^m X_\Sigma\) is a homology equivalence through a dimension \(n_D(d_1,\ldots,d_r;m)\).