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 was led to prove that the set of composite families $(f_j)_{j \leq k}$ of germs at $0\in \mathbb C^m$ of a holomorphic function (composite = sharing a common divisor belonging to the maximal ideal) is an «algebraic variety» in the sense that it coincides with the intersection of vanishing locii of polynomials in the finite jets of the $f_j$'s. In fact this derives from the same result for formal power series $\mathbb C[[z_1,…,z_m]]$.

This kind of result has been extensively studied for polynomials, leading to Sylvester and Macaulay matrices (my proof involves a sequence of matrices containing those for the part of least homogeneous degree). Since I'm no specialist of elimination theory I wasn't able to find any reference regarding this topic for formal power series (over a field of characteristic $0$), although I'd be quite surprised indeed to learn that this fact is not known.

I'd be thankful to anybody pointing me a name or reference regarding this matter.

share|cite|improve this question
up vote 1 down vote accepted

For those interested in the question, see my paper on the subject , section 6.

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.