28
$\begingroup$

Let $f$ be a homogeneous polynomial of degree $d$ in $n$ variables. Restricted to the unit sphere $S^{n-1}$, it might or might not be a Morse function.

If $f$ is a Morse function of degree $1$, you get everyone's favorite Morse function on the sphere, with two critical points, corresponding to the minimal CW decomposition.

If $f$ is a Morse function of degree $2$, you get everyone's second-favorite Morse function, corresponding to the minimal regular CW decomposition with two points, two lines, two faces, and so on.

If $f$ has degree $d\geq 3$, there are a lot more possibilities. How many?

The space of degree $d$ homogeneous polynomials in $n$ variables can be identified with $\mathbb R^N$ where $N={\left( \begin{array}{c}n+d-1 \\ n-1\end{array}\right)}$. The ones that are Morse functions form an open subset.

About how many connected components does this open subset have for large $d$ and/or $n$?

$\endgroup$
1
  • $\begingroup$ If you consider the case $n=2$, I believe the precise answer to your question should be known for all $d$. V.I. Arnol'd was interested in such type of questions, originally in the case when you replace $S^1$ by $\mathbb R^1$ and homogeneous polynomials by inhomogeneous. Probably one should chase the references to Arnold's article : mathnet.ru/php/… You might also want to have a look on the article of Barannikov "On the space of real polynomials without multiple critical values" $\endgroup$ Mar 30, 2013 at 10:29

1 Answer 1

29
$\begingroup$

I've been trying to answer this question for several years and it turned out to be really hard, even for the $2$-sphere. Below I will discuss this case.

First of all one should ask what is the number $m(k)$ of topological types of (stable) Morse functions on $S^2$ with precisely $k$ saddle points. (such a function has $2k+2$ critical points.) I showed that the generating series

$$ x(t) := \sum_{k\geq 0} \frac{m(k)}{(2k+1)!} t^{2k+1}, $$

is the inverse of an elliptic integral; see this paper. More precisely $x(t)$ is the inverse of the function

$$ x\mapsto t(x)=\int_0^x \frac{ds}{\sqrt{s^4/4-s^2-2sx+1}} ds. $$

This fact leads to a positive answer to a question of V.I. Arnold who conjectured that
$$\log m(k)\sim 2k\log k $$

as $k\to \infty $. I refer you to this paper for details. This shows that $m(k)$ grows rather fast as $k\to \infty$.

Any polynomial $P$ of degree $d$ in $\newcommand{\bR}{\mathbb{R}}$ on $\bR^n$ can be uniquely decomposed as a sum

$$ P= \sum_{0\leq j+2k\leq d} r^{2k} H_{j}, \;\; r^2= (x_1^2+\cdots +x_n^2), $$

where $H_{j}$ is a darmonic polynomial of degree $j$. On $\bR^3$ the space of degree $d$ hormonic polynomials has dimension $2d+1$. If we denote by $U_d$ the subspace of $C^\infty(S^2)$ consisting of the restrictions to $S^2$ of the polynomials of degree $\leq d$ we deduce that

$$\dim U_d=\sum_{0\leq k\leq d} (2k+1)=(d+1)^2. $$

Denote by $K_d$ the expected number of critical points of a random function in $U_d$. I showed that

$$ K_d\sim C\dim U_d\sim Cd^2 $$

as $d\to \infty$ where $C$ is a certain explicit constant; see this paper and this paper.

It turns out that the number of critical points of a random function in $U_d$ is highly concentrated around its mean $K_d$, i.e., the probability that the number of critical points of a random function in $U_d$ is far from the mean $K_d$ is extremely small as $d\to\infty$. In more precise technical terms, the variance of the (random) number of critical points of a (random) function in $U_d$ has the same size as $K_d$, which makes the standard deviation of size $\sqrt{K_d}$, much, much smaller than $K_d$ for $d$ large.

I personally believe, based on some empirical evidence, that the mean is close to the maximum number of critical points in the sense that if we denote by $\mu_d$ the maximum number of critical points of a Morse function in $U_d$, then $\mu_d \sim C'' d^2$ as $d\to\infty$.

My guess is that the number of topological types of functions in $U_d$ as $d\to \infty$ is roughly

$$ \sum_{k=1}^{K_d/2} m(k), $$

where I recall that $m(k)$ denotes the number of topological types of Morse functions with $k$ saddle points, i.e., $2k+2$ critical points.

$\endgroup$
2
  • $\begingroup$ Do you know any upper or lower bounds, even very bad ones? $\endgroup$
    – Will Sawin
    Apr 3, 2013 at 18:28
  • $\begingroup$ The brief answer is I don't have an explicit upper bound on the top of my head but I think I know methods of producing a (really bad) upper bound valid for all polynomials $p\in U_d$ situated outside a semialgebraic subset of $U_d$ of codimension $\geq 1$. This is what many real algebraic geometers do for a living. I recommend a book by Basu, Pollack and Roy for inspiration perso.univ-rennes1.fr/marie-francoise.roy/bpr-ed2-posted1.html $\endgroup$ Apr 3, 2013 at 20:49

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.