a991ad73f6ed73d0.tex
1: \begin{definition}
2: \label{def:Hcomp}
3: Let $\Phi: \bar{M} \to N$ be a strongly regular immersion (see \S~ \ref{sc:integrability}) at $\bar{p}$, $v_{m+1},\ldots, v_n$ be an orthonormal adapted basis of the normal bundle and $k$ be the integer defined in \ref{def:k}. Let $N_{m+1},\ldots,N_n$ be a local adapted frame of the normal bundle so that $(N_j)_p=v_j$. By Remark~\ref{rk:nsr} the immersion $\Phi$ is strongly regular at $\bar{p}$ if and only if  $\text{rank}(A^{\perp})=\ell$. Then there exists a partition of $\{m+1,\ldots, m+k\}$ into sub-indices  $h_1<\ldots <h_\ell$ and $i_1<\ldots <i_{m+k-\ell}$ such that the matrix 
4: \begin{equation}
5: \label{eq:hatAper}
6: \hat{A}^{\perp} (\bar{p} )=\left(\begin{array}{ccc}
7: \alpha_{1 h_1} (\bar{p} )& \cdots & \alpha_{1 h_{\ell}}(\bar{p} )\\
8: \vdots & \ddots & \vdots\\
9: \alpha_{\ell  h_1}(\bar{p} )& \cdots & \alpha_{\ell  h_{\ell}}(\bar{p} )
10: \end{array} \right)
11: \end{equation}
12: is invertible. The mean curvature vector of degree $d$ defined in Theorem \ref{th:fvf} is given by
13: $$\mathbf{H}_d= \sum_{j=m+1}^{n} H_d^j  N_j.$$
14: Then we decompose $\mathbf{H}_d$ into the following three components 
15: \begin{equation}
16: \mathbf{H}_d^{v}=\begin{pmatrix} H_d^{m+k+1} \\ \vdots \\ H_d^n \end{pmatrix}^t  , \quad
17: \mathbf{H}_d^h=\begin{pmatrix} H_d^{h_1} \\ \vdots \\ H_d^{h_{\ell}} \end{pmatrix}^t, \quad \text{and} \quad  \mathbf{H}_d^\iota=\begin{pmatrix} H_d^{i_1} \\ \vdots \\ H_d^{i_{m+k-\ell}} \end{pmatrix}^t
18: \label{eq:Hcomp}
19: \end{equation}
20: with respect to $N_{m+1},\ldots, N_n$.
21: \end{definition}
22: