Mutual invadability near evolutionarily singular strategies for multivariate traits, with special reference to the...

Over the last two decades evolutionary branching has emerged as a possible mathematical paradigm for explaining the origination of phenotypic diversity. Although branching is well understood for one-dimensional trait spaces, a similarly detailed understanding for higher dimensional trait spaces is sadly lacking. This note aims at getting a research program of the ground leading to such an understanding. In particular, we show that, as long as the evolutionary trajectory stays within the reign of the local quadratic approximation of the fitness function, any initial small scale polymorphism around an attracting invadable evolutionarily singular strategy (ess) will evolve towards a dimorphism. That is, provided the trajectory does not pass the boundary of the domain of dimorphic coexistence and falls back to monomorphism (after which it moves again towards the singular strategy and from there on to a small scale polymorphism, etc.). To reach these results we analyze in some detail the behavior of the solutions of the coupled Lande-equations purportedly satisfied by the phenotypic clusters of a quasi-n-morphism, and give a precise characterisation of the local geometry of the set D in trait space squared harbouring protected dimorphisms. Intriguingly, in higher dimensional trait spaces an attracting invadable ess needs not connect to D. However, for the practically important subset of strongly attracting ess-es (i.e., ess-es that robustly locally attract the monomorphic evolutionary dynamics for all possible non-degenerate mutational or genetic covariance matrices) invadability implies that the ess does connect to D, just as in 1-dimensional trait spaces. Another matter is that in principle there exists the possibility that the dimorphic evolutionary trajectory reverts to monomorphism still within the reign of the local quadratic approximation for the invasion fitnesses. Such locally unsustainable branching cannot occur in 1- and 2-dimensional trait spaces, but can do so in higher dimensional ones. For the latter trait spaces we give a condition excluding locally unsustainable branching which is far stricter than the one of strong convergence, yet holds good for a relevant collection of published models. It remains an open problem whether locally unsustainable branching can occur around general strongly attracting invadable ess-es.