Generalized Hopf constructions and eigenmaps between spheres (Q1591735)

The author gives two kinds of generalizations of Hopf constructions, which can be used to produce many quadratic eigenmaps between spheres including some well-known examples (e.g., Veronese map) and some new ones. Let \(\mu: \mathbb{R}^p\times \mathbb{R}^p\to \mathbb{R}^n\) be an orthogonal multiplication, and \(k\in\mathbb{N}\). Two kinds of generalizations of Hopf constructions are as follows: (i) the \(kp\)-Hopf construction on \(\mu\) is a map \(F_1: \mathbb{R}^{kp}\equiv \mathbb{R}^p\times\cdots\times \mathbb{R}^p\to \mathbb{R}^{{1\over 2} k(k-1)(n+1)}\) for \(k\geq 2\), defined by \[ F_1(x_1,\dots, x_k)= {1\over \sqrt{k-1}} (|x_i|^2-|x_j|^2, \sqrt{2k} \mu(x_i, x_j))_{1\leq i< j\leq k}; \] (ii) The \(2kp\)-Hopf construction on \(\mu\) is a map \(F_2: \mathbb{R}^{2kp}\equiv \mathbb{R}^p\times\cdots\times\mathbb{R}^p\to\mathbb{R}^{k(2k- 1)n+ k}\), defined by \[ F_2(x_1,\dots x_{2k})= (|x_{2i-1}|^2-|x_{2i}|^2, 2\mu(x_{2i- 1}, x_{2i}), \sqrt{2}\mu(x_t, x_s))_{1\leq i\leq k,1\leq t< s\leq 2k}; \] with \((t,s)\neq (2i- 1,2i)\). Using them, the author proves the following theorem: The generalized Hopf constructions \(F_1\) and \(F_2\) induce, respectively, the following full \(\lambda_2\)-eigenmaps \(f_1: S^{kp-1}\to S^{{k\over 2}(k- 1)n+ k-2}\) and \(f_2: S^{2kp-1}\to S^{k(2k- 1)n+ k-1}\). Moreover, the following nonexistence and existence results for eigenmaps into spheres are shown: (1) There exists no full eigenmap \(S^m\to S^n\) for \(m\geq 8\) and \(n\leq 7\). (2) There exists no full \(\lambda_2\)-eigenmap \(S^m\to S^3\) for any \(m\in \mathbb{N}\). (3) There exist full quadratic eigenmaps \(S^{n-2}\times S^1\to S^{n- 1}\) for \(n= 2s\) \((s\geq 2)\).