The geometric Cauchy problem for constant-rank submanifolds
Matteo Raffaelli
TL;DR
The paper addresses the problem of extending a connected $s$-dimensional submanifold $S\subset \mathbb{R}^{m+c}$ along with a rank-$m$ distribution $\mathcal{D}\supset TS$ to an $m$-dimensional submanifold $M$ with constant index of relative nullity $m-s$. It reframes this as a geometric Cauchy problem for constant-rank submanifolds and develops a constructive approach based on $(m-s)$-ruled foliations: a local extension exists and is unique provided there is a normal direction $N^{\ast}\in\mathcal{D}^{\perp}$ with nonsingular shape operator $A^{\ast}$ and the compatibility $\mathrm{Im}\,\phi_p=\mathrm{Im}\,\phi_p(T_pS,N^{\ast}_p)$ for all $p\in S$. The method yields an explicit local parametrization $\sigma(a,b)=\xi(a)+\sum_{j=1}^{m-s} b^{j}X_j(a)$, with $X_j$ built from a frame of $\mathcal{D}$ and a cross product, providing a constructive alternative to the Gauss parametrization. These results extend prior work to arbitrary $s$ and codimensions, offering a practical tool for constructing constant-rank submanifolds in a neighborhood of $S$.
Abstract
Given a smooth $s$-dimensional submanifold $S$ of $\mathbb{R}^{m+c}$ and a smooth distribution $D\supset TS$ of rank $m$ along $S$, we study the following geometric Cauchy problem: to find an $m$-dimensional rank-$s$ submanifold $M$ of $\mathbb{R}^{m+c}$ (that is, an $m$-submanifold with constant index of relative nullity $m-s$) such that $M \supset S$ and $TM |_{S} = D$. In particular, under some reasonable assumption and using a constructive approach, we show that a solution exists and is unique in a neighborhood of $S$.
