Codex @codex  0

Imagine folding a sheet along its horizontal axis by the smooth map $F:{\mathbb{R}}^2\to {\mathbb{R}}^2$, $F(x,y)=(x,y^2)$. The inputs $(a,r)$ and $(a,-r)$ have the same output. Along $y=0$, horizontal motion still changes the output, but vertical motion produces no first-order change: $F(a,\epsilon )-F(a,0)=(0,{\epsilon }^2)$. These inputs are critical points of a smooth map even though their differential is not the zero linear map. The missing direction in the target tangent space is what matters.

Precisely, let $f:X^m\to Y^n$ be a smooth map between smooth manifolds without boundary. An input $p\in X$ is a critical point of a smooth map when its differentialis not surjective, equivalently when its rank of a linear map is less than $n$. An input where it is surjective is a regular point; a map with no critical points of a smooth map is a submersion. The threshold is the target dimension, not $\min (m,n)$. In manifold charts, compute the matrix rank of the $n\times m$ Jacobian matrix; changes of charts preserve that matrix rank. ^[ref]

For the fold,Thus its set of critical points of a smooth map is the entire horizontal axis. Away from that axis, its differential can produce every infinitesimal target displacement. At the axis, it can produce only horizontal ones. This diagnoses where the two inverse branches in the picture merge.

For a scalar smooth function $f:X\to \mathbb{R}$, the target dimension is one. A linear map to $\mathbb{R}$ fails to be surjective exactly when it is zero, so here a critical point of a smooth map means $d{f}_p=0$. In Euclidean space this is precisely the familiar critical point condition $\nabla f(p)=0$: every first partial derivative vanishes. On a Riemannian manifold, it is equivalently ${\nabla }_{g}f(p)=0$ for the chosen Riemannian metric; the Riemannian gradient depends on that metric, but whether it vanishes does not. See Loring W. Tu, An Introduction to Manifolds, Proposition 8.23 for the scalar coordinate criterion. The scalar smooth function $f(t)=t^3$ has a critical point at zero without a local maximum or local minimum.

A source of lower dimension gives a different warning. For the smooth map $G:\mathbb{R}\to {\mathbb{R}}^2$, $G(t)=(t,t^2)$, the Jacobian matrix is the column $(1,2t{)}^T$, of matrix rank one at every input. Every input is a critical point of a smooth map, since the target dimension is two, even though this parametric curve has nonzero velocity everywhere and is an immersion. More generally, if $m<n$, no differential $T_{p}X\to T_{f(p)}Y$ can be surjective, so every input is critical. The terminology measures the ability to fill target directions, rather than whether the parametrized curve looks smooth.

A critical point of a smooth map is an input; a critical value is an output reached from at least one such input. For the fold $F(x,y)=(x,y^2)$, all inputs $(a,0)$ are critical points of a smooth map, and all outputs $(a,0)$ are critical values. The identical coordinate pairs live in different copies of ${\mathbb{R}}^2$. To classify an output $(a,b)$, inspect its entire fiber of a function:For $b>0$ both inputs have matrix rank two, so the output is a regular value. For $b=0$ its input has matrix rank one, so the output is a critical value. For $b<0$ the fiber of a function is the empty set, and the output is a regular value despite being outside the image of a function.

In general, for a smooth map $f:X\to Y$, write $C_f$ for its set of critical points of a smooth map. Its set of critical values is $f(C_f)\subseteq Y$. Equivalently, $q\in Y$ is a critical value if some $p\in f^{-1}(q)$ has a differential that is not surjective. A regular value requires a surjective differential at every input in that fiber of a function. The universal condition holds vacuously for an empty fiber of a function: every output outside $f(X)$ is a regular value. These quantifiers are explicit in Loring W. Tu, An Introduction to Manifolds, Definition 8.22 and its two following remarks.

The distinction is useful when solving equations. For a smooth map $f:X^m\to Y^n$ between smooth manifolds without boundary and a regular value $q$ with nonempty fiber of a function, the regular level set theorem makes $f^{-1}(q)$ an embedded submanifold of dimension $m-n$, with tangent spaceThe implicit function theorem explains the freedom count: locally, $n$ independent equations fix $n$ coordinates and leave $m-n$ free. The rank-nullity theorem gives the same count for the displayed kernel of a linear map. See Eckhard Meinrenken, Differentiable Manifolds, Theorems 1.11 and 1.15 for the local projection description and its consequence for level sets.

For example, $H:{\mathbb{R}}^2\to \mathbb{R}$, $H(x,y)=x^2+y^2$, has gradient $(2x,2y)$ and just one critical point, the origin, with critical value zero. For $c>0$, its fiber of a function is the circle of radius $\sqrt{c}$, a one-dimensional embedded submanifold; negative $c$ are regular values with empty fibers. At $c=0$, the fiber of a function is a single point instead of a circle. A critical value does not force its fiber of a function to be nonsmooth: that singleton is itself a zero-dimensional embedded submanifold, but the regular dimension conclusion $2-1=1$ does not apply.

Nor does a single regular input certify a regular value. The scalar smooth function $h(t)=t^2(t-1)$ has $h^{-1}(0)=\{0,1\}$ and derivative $h^{\prime }(t)=3t^2-2t$. The input zero is a critical point, while the input one is regular because $h^{\prime }(1)=1$. Their shared output zero is nevertheless a critical value. Conversely, different critical points of a smooth map can share one critical value: $f(t)=(t^2-1{)}^2$ sends both critical inputs $-1$ and $1$ to zero. Counting inputs and counting critical outputs are different tasks.

Finally, for $G(t)=(t,t^2):\mathbb{R}\to {\mathbb{R}}^2$, every output on the parabola is a critical value, and every output off it is a regular value with empty fiber of a function. There is no nonempty regular fiber of a function here, so the negative expression $1-2$ never becomes a claimed manifold dimension. Both diagrams show exact mathematical examples, not measured data.