en>SmackBot: Delink dates and general fixes

2010-09-25T14:08:59Z

Delink dates and general fixes

New page

{{Other uses|Unfolding (geometry)}}
{{Cleanup|date=April 2008}}

In mathematics, an '''unfolding''' of a [[function (mathematics)|function]] is a certain family of functions.

Let <math>M</math> be a [[smooth manifold]] and consider a smooth mapping <math> f : M \to \mathbb{R}.</math> Let us assume that for given <math> x_0 \in M</math> and <math>y_0 \in \mathbb{R}</math> we have <math> f(x_0) = y_0 </math>. Let <math> N </math> be a smooth <math>k</math>-dimensional manifold, and consider the family of mapping (parameterised by <math>N</math>) given by <math> F : M \times N \to \mathbb{R} .</math> We say that <math>F</math> is a <math>k</math>-parameter unfolding of <math>f</math> if <math>F(x,0) = f(x)</math> for all <math>x.</math> In other words the functions <math> f : M \to \mathbb{R} </math> and <math> F : M \times \{0\} \to \mathbb{R}</math> are the same: the function <math>f</math> is contained in, or is unfolded by, the family <math>F.</math>

Let <math> f : \mathbb{R}^2 \to \mathbb{R}</math> be given by <math>f(x,y) = x^2 + y^5.</math> An example of an unfolding of <math>f</math> would be <math> F : \mathbb{R}^2 \times \mathbb{R}^3 \to \mathbb{R}</math> given by
:<math>F((x,y),(a,b,c)) = x^2 + y^5 + ay + by^2 + cy^3.</math>
As is the case with unfoldings, <math>x</math> and <math>y</math> are called variables and <math>a,</math> <math>b, </math> and <math>c</math> are called parameters - since they parameterise the unfolding.

In practice we require that the unfoldings have certain nice properties. In <math>\mathbb{R}</math> notice that <math>f</math> is a smooth mapping from <math>M</math> to <math>\mathbb{R}</math> and so belongs to the [[function space]] <math>C^{\infty}(M,\mathbb{R}).</math> As we vary the parameters of the unfolding we get different elements of the function space. Thus, the unfolding induces a function <math>\Phi : N \to C^{\infty}(M,\mathbb{R}).</math> The space <math> \mbox{diff}(M) \times \mbox{diff}(\mathbb{R}),</math> where <math>\mbox{diff}(M)</math> denotes the [[group (mathematics)|group]] of [[diffeomorphism]]s of <math>M</math> etc., [[group action|acts]] on <math>C^{\infty}(M,\mathbb{R}).</math> The action is given by <math>(\phi,\psi) \cdot f = \psi \circ f \circ \phi^{-1}.</math> If <math>g</math> lies in the [[group orbit|orbit]] of <math>f</math> under this action then there is a diffeomorphic change of coordinates in <math>M</math> and <math>\mathbb{R}</math> which takes <math>g</math> to <math>f</math> (and vice versa). One nice property that we may like to impose is that
:<math> \mbox{Im}(\Phi) \pitchfork \mbox{orb}(f) </math>
where "<math>\pitchfork</math>" denotes "[[Transversality (mathematics)|transverse]] to". This property ensures that as we vary the unfolding parameters we can predict - by knowing how the orbit [[foliation|foliate]] <math>C^{\infty}(M,\mathbb{R})</math> - how the resulting functions will vary.

There is an idea of a versal unfolding. Every versal unfolding has the property that
<math> \mbox{Im}(\Phi) \pitchfork \mbox{orb}(f) </math>, but the converse is false. Let <math>x_1,\ldots,x_n</math> be local coordinates on <math>M</math>, and let <math>\mathcal{O}(x_1,\ldots,x_n)</math> denote the [[ring (mathematics)|ring]] of smooth functions. We define the [[Jacobian ideal]] of <math>f,</math> denoted by <math>J_f</math> as follows:
:<math> J_f := \left\langle \frac{\partial f}{\partial x_1}, \ldots, \frac{\partial f}{\partial x_n} \right\rangle. </math>
Then a [[basis (mathematics)|basis]] for a versal unfolding of <math>f</math> is given by [[quotient ring|quotient]]
:<math> \frac{\mathcal{O}(x_1,\ldots,x_n)}{J_f}</math>
This quotient is known as the local algebra of <math>f.</math> The dimension of the local algebra is called the Milnor number of <math>f</math>. The minimum number of unfolding parameters for a versal unfolding is equal to the Milnor number; that is not to say that every unfolding with that many parameters will be versal! Consider the function <math>f(x,y) = x^2 + y^5.</math> A calculation shows that
:<math> \frac{\mathcal{O}(x,y)}{\langle 2x, 5y^4 \rangle} = \{y,y^2,y^3\} \ . </math>
This means that <math>\{y,y^2,y^3\}</math> give a basis for a versal unfolding, and that
:<math>F((x,y),(a,b,c)) = x^2 + y^5 + ay + by^2 + cy^3</math>
is a versal unfolding. A versal unfolding with the minimum possible number of unfolding parameters is called a miniversal unfolding.

Sometimes unfoldings are called deformations, versal unfoldings are called versal deformations, etc.

An important object associated to an unfolding is its bifurcation set. This set lives in the parameter space of the unfolding, and gives all parameter values for which the resulting function has degenerate singularities.

== References ==
* V. I. Arnold, S. M. Gussein-Zade & A. N. Varchenko, Singularities of differentiable maps, Volume 1, Birkhäuser, (1985).
* J. W. Bruce & P. J. Giblin, Curves & singularities, second edition, Cambridge University press, (1992).

[[Category:Functions and mappings]]
[[Category:Singularity theory]]

Matching distance - Revision history

en>SmackBot: Delink dates and general fixes