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

The following assertion appears plausible to me: Let $f(z,w,u)$ and $g(z,w,u)$ be holomorphic in $z$, $w$, and $u$. Suppose that $f(z_0,w_0,u_0) = g(z_0,w_0,u_0) = 0$ and that $f$ and $g$ are non-degenerate in the sense that none of $f(z,w_0,u_0)$, $f(z_0,w,u_0)$,...,$g(z_0,w_0,u)$ are identically zero. Then there exists $w(u)$ and $z(u)$ defined near $u_0$ such that $f(z(u),w(u),u) = g(z(u),w(u),u) = 0$. Note that I am not imposing any uniqueness or regularity requirements on $z(u)$ and $w(u)$.

Is this true? What is a good reference for this?

share|cite|improve this question
Taking $f=z+w+u$, $g=z+w+2u$, $z_0=w_0=u_0=0$ gives a counterexample. Is there an extra hypothesis that should be added? – Julian Rosen Nov 17 '12 at 17:37
Holomorphic implicit function theorem? – Vít Tuček Nov 17 '12 at 17:46
@Julian Rosen: Thanks, that's indeed a relevant counter-example.If you want to add that as an answer I can accept it. – Yakov Shlapentokh-Rothman Nov 17 '12 at 18:06
@robot: In the application I have in mind it is not easy to check the hypothesis for the implicit function theorem. – Yakov Shlapentokh-Rothman Nov 17 '12 at 18:06
up vote 2 down vote accepted

In general, $S:=\{(z,w,u):f=g\}$ will have codimension 1. If we arrange for $S$ to be contained entirely in the fiber over $u_0$, then the desired functions $z(u)$, $w(u)$ won't exist.

In particular, if fix $z_0$, $w_0$, find $h(z,w)$ holomorphic with $h(z_0,w_0)=0$, then we can take $u_0=0$, $f(z,w,u)=h(z,w)+u$, $g(z,w,u)=h(z,w)+2u$ (we will need some condition on $h$ so that $f$ and $g$ are non-degenerate).

share|cite|improve this answer

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.