Denoting by the configuration space of distinct points in , with being either Euclidean -space or hyperbolic -space or , by the vector space of homogeneous complex polynomials in the variables of degree , and by the set of all -subsets of , the symmetric group acts on by permuting the points and also acts in a natural way on . With , the space has dimension , which is also the number of elements in . It is thus natural to ask the following question. Is there a family of continuous maps $f_I: C_n(X) \to \mathscr{P}{k,d}I \in ^n_df_I(\sigma.) = f{\sigma.I}()\sigma \in \Sigma_n \in C_n(X) \in C_n(X)f_I()I\in ^n_d$, each defined up to a scalar factor, are linearly independent over ? We provide two closely related smooth candidates for such maps for each of the two cases, Euclidean and hyperbolic, which would be solutions to the above problem provided a linear independence conjecture holds. Our maps are natural extensions of the Atiyah-Sutcliffe maps. Moreover, we get two constructions of actual solutions of the above problem for , as we prove linear independence for these last two constructions. These last two constructions are classical in character, and can be viewed as higher dimensional versions of Lagrange polynomial interpolation. They appear to be new.

生成讲解博客的中文版本

生成AI智能校验的中文版本