Monday, 10 December 2007

ds.dynamical systems - What is the "category of bifurcations"?

While reading the introduction to this paper by Curtis McMullen, I came to the following (bold added):




In this paper we show that every bifurcation set contains a copy of the boundary of the Mandelbrot set or its degree d generalization. The Mandelbrot sets Md are thus universal; they are initial objects in the category of bifurcations, providing a lower bound on the complexity of B(f) for all families ft.




(Here ft is a family of rational functions mapping P1 to itself and depending holomorphically on a parameter t ranging over some complex manifold, and the bifurcation set (or locus) B(f) is the set of t at which the dynamics of ft undergo a discontinuous change. For a positive integer dgeq2, Md is the set of t for which the function zmapstozd+t has a connected Julia set, and partialMd, the boundary of Md, is the bifurcation locus for the family zmapstozd+tt.)



Even without knowing exactly what the "category of bifurcations" is, I can see an analogy between the claim about Mandelbrot sets and the concept of initial objects, but presumably something more definite is intended. My question is thus how to interpret the second sentence quoted from McMullen's paper, or more simply: what is the "category of bifurcations"?

No comments:

Post a Comment