# generic manifold

###### Definition.

Let $M\subset {\u2102}^{N}$ be a real submanifold of real dimension $n$. We say that $M$ is a generic manifold if for every $x\in M$ we have

$${T}_{x}(M)+J{T}_{x}(M)={T}_{x}({\u2102}^{N}),$$ |

where $J$ denotes the operator of multiplication by the imaginary unit^{} in
${T}_{x}({\u2102}^{N})$. That is every vector in
${T}_{x}({\u2102}^{N})$ can be written as $X+JY$ where $X,Y\in {T}_{x}(M)$.

For more details about the tangent spaces and the $J$ operator see the entry on CR manifolds (http://planetmath.org/CRSubmanifold). In fact every generic manifold is also CR manifold (the converse is not true however). A basic important result about generic submanifolds is.

###### Theorem.

Let $M\mathrm{\subset}{\mathrm{C}}^{N}$ be a generic submanifold and let
$f\mathrm{:}U\mathrm{\subset}{\mathrm{C}}^{N}\mathrm{\to}\mathrm{C}$ be a holomorphic function^{}
where $U$ is a connected open set such that $M\mathrm{\cap}U\mathrm{\ne}\mathrm{\varnothing}$, and further
suppose that $f\mathit{}\mathrm{(}M\mathrm{\cap}U\mathrm{)}\mathrm{=}\mathrm{\{}\mathrm{0}\mathrm{\}}$, that is $f$ is zero when restricted
to $M$. Then in fact $f\mathrm{\equiv}\mathrm{0}$ on $U$.

For example in ${\u2102}^{1}$ the real line is a generic submanifold, and any holomorphic function which is zero on the real line is zero everywhere (if the
domain of the function is connected and intersects the real line of course). There are of course much stronger uniqueness results for the complex plane^{} so the above is mostly useful for higher dimensions.

## References

- 1 M. Salah Baouendi, Peter Ebenfelt, Linda Preiss Rothschild. , Princeton University Press, Princeton, New Jersey, 1999.

Title | generic manifold |
---|---|

Canonical name | GenericManifold |

Date of creation | 2013-03-22 14:56:03 |

Last modified on | 2013-03-22 14:56:03 |

Owner | jirka (4157) |

Last modified by | jirka (4157) |

Numerical id | 5 |

Author | jirka (4157) |

Entry type | Definition |

Classification | msc 32V05 |

Synonym | generic submanifold |

Related topic | CRSubmanifold |

Related topic | TotallyRealSubmanifold |

Related topic | TangentialCauchyRiemannComplexOfCinftySmoothForms |

Related topic | ACRcomplex |