Math 2.0

Global analysis, analysis on manifolds Definition

Infinitesimal stability

Builds on Smooth manifoldTangent bundleDifferential of a smooth map

Definition

Let MM and NN be smooth manifolds and let f ⁣:M→Nf \colon M \to N be a smooth map. A vector field along ff is a smooth map w ⁣:M→TNw \colon M \to TN with w(p)∈Tf(p)Nw(p) \in T_{f(p)} N for all p∈Mp \in M, where TNTN is the tangent bundle. Let df ⁣:TM→TNdf \colon TM \to TN be the differential of ff. The map ff is infinitesimally stable if every vector field ww along ff has the following form. There are a smooth vector field ξ\xi on MM and a smooth vector field η\eta on NN with w=df∘ξ+η∘f.w = df \circ \xi + \eta \circ f.

Remarks

The two terms are the derivatives at t=0t = 0 of f∘φtf \circ \varphi_t and ψt∘f\psi_t \circ f, where φt\varphi_t and ψt\psi_t are the flows of ξ\xi and η\eta. So the condition says that every first-order deformation of ff is tangent to the orbit of ff under changes of coordinates. Example: a submersion ff is infinitesimally stable. Indeed, each dfpdf_p is surjective, so a choice of complement of ker⁡dfp\ker df_p depending smoothly on pp gives a vector field ξ\xi with df∘ξ=wdf \circ \xi = w, and one takes η=0\eta = 0. Non-example: a constant map f ⁣:S1→ℝf \colon S^1 \to \R with value cc is not infinitesimally stable. Here df=0df = 0 and η∘f\eta \circ f is the constant η(c)\eta(c), so a nonconstant function ww on S1S^1, viewed as a vector field along ff, is not of the required form.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Differential of a smooth map concept
  2. Smooth manifold concept
  3. Tangent bundle concept
  4. Infinitesimal stability definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Singularity_theory
About this page
TagB1S7A7J8H4
URIm2://B1S7A7J8H4
Kinddefinition
WritingW0 stub
MSC58K25, 57R45
DefinesInfinitesimal stability
UsesSmooth manifold, Tangent bundle, Differential of a smooth map

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.