Spaces of algebraic maps from real projective spaces to toric varieties (Q296552)

From MaRDI portal
Revision as of 06:35, 13 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Spaces of algebraic maps from real projective spaces to toric varieties
scientific article

    Statements

    Spaces of algebraic maps from real projective spaces to toric varieties (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 June 2016
    0 references
    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)\).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    algebraic map
    0 references
    fan
    0 references
    homogenous coordinate
    0 references
    primitive element
    0 references
    rational polyhedral cone
    0 references
    simplicial resolution
    0 references
    toric variety
    0 references
    Vassiliev spectral sequence
    0 references