Is there a connected Banach manifold $M$ and a smooth map $f:M \to M$ such that the rank of $Df\_x$ is finite for every $x\in M$ but this rank is not uniformly bounded



A smooth map on a Banach manifold whose pointwise rank is finite but its rank is not globally bounded
Let $\mathbb H$ and $(e\_n)\_{n\geq0}$ be your favourite second countable Hilbert space and orthonormal Hilbert basis. Mine is the space $\ell^2(\mathbb N)$ of square integrable sequences, with $e\_n$ the indicator function of the singleton $\lbrace n\rbrace$. I write, for any $x\in\mathbb H$, $x^n$ for the $n$th coordinate $\langle e\_n,x\rangle$ of $x$.


Choose a smooth function $\phi:\mathbb R\to\mathbb R$ such that $\phi$ is identically zero over $(-\infty,1/2)$ and $\phi'(1)\neq0$. Then
$$f:x\mapsto\sum\_{n\geq0} \phi(x^n)e\_n$$
is a function as you describe. Indeed,


* if $|x^n|<1/3$ for all $n\geq N$, then in a neighbourhood of $x$ the condition still holds with $1/2$ instead of $1/3$, and the function $f$ has values in the finite dimensional space generated by $(e\_0,\cdots,e\_{N-1})$ hence its differential has finite rank;
* since $x$ can have $|x^n|\geq1/3$ for only a finite number of $n$, $f$ is well-defined and smooth;
* the differential of $f$ at $x=e\_0+\cdots+e\_N$ is
$$Df\_x:u\mapsto\sum\_{0\leq n\leq N} \phi'(1)u^ne\_n,$$
which has rank $n$.


Just for fun, here is a stronger topological result. Say that $f$ has finite rank if $Df\_x$ has finite rank for all $x$, and bounded rank if the rank of $Df\_x$ is bounded uniformly in $x$. We say that $x$ is a nice point for $f$ if there exists a neighbourhood of $x$ over which $f$ has bounded rank, otherwise we say it is bad.



> 
> **Theorem**
> 
> 
> Let $E$ be a subset of $\mathbb H$. Then there exists $f:\mathbb H\to\mathbb H$ of finite rank whose set of nice points is exactly $E$ if and only if $E$ is open dense.
> 
> 
> 


This makes it possible to have many bad points, for instance there exists an $f$ with finite rank such that for all $\varepsilon>0$, there exists $x$ in the unit ball such that $B(x,\varepsilon)$ contains infinitely many bad points.


The direct implication is a consequence of the Baire category theorem. Indeed, the set $E\_n$ of points $x$ such that $Df\_x$ has rank at most $n$ is closed, and the set $E=\bigcup\_{n\geq0}\operatorname{int}E\_n$ of points where the rank is locally bounded is clearly open. To show that $E$ is dense, fix a non-empty open set $U$. Since $f$ has finite rank, $\bigcup\_{n\geq0}(E\_n\cap U)=U$, hence one of the $E\_n\cap U$ must have non-empty interior, which is the same as saying that $\operatorname{int}E\_n\cap U$ is non-empty.


In the other direction, [this answer](https://mathoverflow.net/a/350313/129074) shows that in a Hilbert space, any closed set is the vanishing set of some smooth real-valued map with all derivatives uniformly bounded ($\forall k,\exists M,\forall x,\|D^k\rho\_x\|\leq M$). Let $d:\mathbb H\to\mathbb R$ be the distance to $E^\complement$; note that it is continuous. Let $E\_0$, resp. $E\_n$ for $n>0$, be the inverse image by $d$ of $(1,+\infty)$, resp. $(\frac1{n+1},\frac2n)$. Obviously, $E\_n$ is open for all $n$ and $E$ is the union of the $E\_n$. Moreover, since $E$ is open dense, $x\in E$ if and only if there exists a neighbourhood of $x$ that intersects finitely many of the $\overline{E\_n}$.


Let $\rho\_n:\mathbb H\to\mathbb R$ be a smooth function with zero set $E\_n$ and all derivatives uniformly bounded. Then
$$ x\mapsto \rho\_n(x)\sum\_{k\leq i\leq \ell}x^ie\_i $$
has rank zero in the complement of $\overline{E\_n}$, and at least $k-\ell$ on $E\_n$ (because the derivative of $\rho\_n$ may only “kill” at most one direction in the image of the projector). Moreover, all its derivatives are uniformly bounded. It means that there exists a sequence $(\varepsilon\_n)\_{n\geq0}$ of positive numbers such that all the derivatives of the series
$$ f:x\mapsto\sum\_{n\geq0}\varepsilon\_n\rho\_n(x)\left(x^{n^2+1}e\_{n^2+1}+\cdots+x^{(n+1)^2}e\_{(n+1)^2}\right) $$
converge uniformly over $\mathbb H$, so that $f$ is well-defined and smooth (see the reference above for more details).


The rank of $Df\_x$ is at least $2n$ but finite over $E\_n$, and the rank of $Df\_x$ is zero (hence finite) at all points $x$ of $E^\complement$. Moreover, $x$ is nice for $f$ if and only if one of its neighbourhoods intersects only finitely many $\overline{E\_n}$, if and only if $x\in E$.


