Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Let n, m $\in \mathbb{N}$.

I'm trying to show that

$M(n,m) = \{[z_0 : z_1 : … : z_n] \in \mathbb{C}P^n | \sum^{n}_{i=0} z^m_i = 0\}$

is a submanifold and codim(M(n,m))=2.

My idea was to use the regular value theorem.

Thanks in advance.

share|cite|improve this question
What went wrong with your idea? – Berci Nov 1 '12 at 18:11
I guess f should be $f(z) =\sum^{n}_{i=0} z^m_i $, where $z \in \mathbb{C}P^n $. At first: How can I show that f is differentiable? – thomas.en Nov 1 '12 at 18:31
Well, the same $f$ is differentiabe from $\Bbb C^n$, as all its partial derivatives exist and are continuous. – Berci Nov 1 '12 at 19:03
The codimension is meant over $\Bbb R$, isn't it? – Berci Nov 1 '12 at 19:33
Yes, that's right, codimension over $\mathbb{R}$. Ok, so if f is differentiable, I have to show that 0 is a regular value. How do I see that? And if I take $z=0$ then, f(z)=0, so 0 has to be a regular point. But isn't the rank of the Jacobian matrix 0 for z=0? – thomas.en Nov 1 '12 at 21:11

Your Answer


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

Browse other questions tagged or ask your own question.