Elliptic domains of general families of homogeneous polynomials and extreme functions (Q1069516)

The author investigates singularities of the boundary of the elliptic domains for general families of homogeneous polynomials. To be precise, let \(\Lambda\) be an \(\ell\)-dimensional smooth manifold, \(P^ d_ n\) the space of all homogeneous real polynomials of degree d in n variables and a smooth map \(\phi\) : \(\Lambda\) \(\to P^ d_ n\), called a family of homogeneous polynomials of degree d with base \(\Lambda\). The elliptic domain el \(\phi\) is the set of all \(\lambda\in \Lambda\), for which \(\phi\) (\(\lambda)\) is elliptic. The investigation is based on the fact that the singularities of the boundary \(\partial (el \phi)\) can be identified with the singularities of level sets of an extreme function \(\min_{x\in S^{n-1}}\phi (\cdot)(x)\); \(\max_{x\in S^{n-1}}\phi (\cdot)(x)\) \((\in C^{\infty}(\Lambda,{\mathbb{R}}))\) so the author can prove that the domain of ellipticity and its boundary in the neighborhood of a boundary point are diffeomorphic to the subgraph and graph of the maximum function of a suitable family in general position. Furthermore, he classifies the singularities of the boundaries of elliptic domains of families in general position for \(1\leq \ell \leq 7\), and shows that they stabilize for fixed \(\ell \in {\mathbb{N}}\) with increasing d and n. (i.e. they are identical for families of polynomials of all sufficiently large (even) degrees in a sufficiently large number of arguments).