MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


I have a general question. Assume we have a real analytic $n-$dim. manifold $X$ and $M$ a real analytic compact submanifold of $X$ (of dimension less that the dimension of $X$, say $k < n$). Furthermore assume that on $M$ we have a real analytic $l-$form $\Omega$ ($l < k$). Let $\{U_{i}\}$ be a finite covering of $M$ by open sets in $X$ and on each $U_{i}$ we have a real analytic $l-$form $\alpha_{i}$ which restricted on $M$ is the form $\Omega$. Is it possible to use analycity to glue all forms $\alpha_{i}$ together to get one form $\alpha$ on a neighbourhood of the real manifold $M$?

share|cite|improve this question

The question should be posed in this way: given a real analytic $l$-form $\alpha$ on $M$, is there a real analytic extension $\widetilde \alpha$ defined in an open neighborhood of $M$ in $X$? The answer is yes. In fact there is a tubular neighborhood $U$ of $M$ in $X$ and a real analytic bundle map $p : U \to M$ such that $p_{|M} = \text{id}_M$ (this can be constructed by considering the exponential map of the normal bundle of $M$ in $X$ with respect to a real analytic metric on $X$, see Morrey). Then put $\widetilde \alpha = p^*(\alpha)$.

share|cite|improve this answer
is the extension then unique? can one use analicity for uniqueness ? – pascal May 9 '12 at 13:09
this is actually where I am interested in . – pascal May 9 '12 at 13:10
The extension is not strictly unique, perhaps is so up to real analytic homotopy rel. M (depending on which analytic metric you pick). May be, is unique the real analytic homotopy class rel. M of the germ of such forms (but is a very "weak" uniqueness). – Daniele Zuddas May 9 '12 at 13:19
what do you mean by "real analytic homotopoy rel. M" ? – pascal May 9 '12 at 13:54
The fact that there is a real analytic family $\widetilde\alpha_t$, $t \in [0,1]$, connecting any two such extensions (possibly up to passing to a smaller neighborhood), such that $\widetilde\alpha_t = \alpha$ in $M$ for all $t$. – Daniele Zuddas May 9 '12 at 14:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.