Skip to main content
added 1 character in body
Source Link
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

It looks like the lower bound is $0$ if $d$ is even and $1$ if $d$ is odd.

Construction. Suppose $d=2p$. Take the curve $F=(z_1^2+z_2^2+z_3^2)^p=0$. It doesn't have real points at all. Taking a small perturbation $F'$ of the polynomial $F$ we get a smooth curve $F'=0$ also disjoint from the real plane.

Suppose $d=2p+1$. Take $F=(z_1^2+z_2^2+z_3^2)^p(z_1+iz_2)$. Note, the curve $F=0$, even though singular, intersects the real plane transversely at one point $(0:0:1)$. So, after a small perturbation, we get a curve intersecting the real plane in one point.

Lower bound. Let us now prove that if $d=2p+1$, there is always at least one point of intersection of the curve with the real plane. It is enough to prove this for a generic curve. So suppose $F=0$ is such a curve. Let $\overline F$ be the conjugated polynomial. Then since $F$ is generic, the curves $F=0$ and $\overline F=0$ intersect in $(2p+1)^2$ genericdistinct points. Consider the action of conjugation on $\mathbb CP^2$ on this set. It is an involution, so it should have a fixed point since $(2p+1)^2$ is odd. Such a fixed point lies on the real plane.

It looks like the lower bound is $0$ if $d$ is even and $1$ if $d$ is odd.

Construction. Suppose $d=2p$. Take the curve $F=(z_1^2+z_2^2+z_3^2)^p=0$. It doesn't have real points at all. Taking a small perturbation $F'$ of the polynomial $F$ we get a smooth curve $F'=0$ also disjoint from the real plane.

Suppose $d=2p+1$. Take $F=(z_1^2+z_2^2+z_3^2)^p(z_1+iz_2)$. Note, the curve $F=0$, even though singular, intersects the real plane transversely at one point $(0:0:1)$. So, after a small perturbation, we get a curve intersecting the real plane in one point.

Lower bound. Let us now prove that if $d=2p+1$, there is always at least one point of intersection of the curve with the real plane. It is enough to prove this for a generic curve. So suppose $F=0$ is such a curve. Let $\overline F$ be the conjugated polynomial. Then since $F$ is generic, the curves $F=0$ and $\overline F=0$ intersect in $(2p+1)^2$ generic points. Consider the action of conjugation on $\mathbb CP^2$ on this set. It is an involution, so it should have a fixed point since $(2p+1)^2$ is odd. Such a fixed point lies on the real plane.

It looks like the lower bound is $0$ if $d$ is even and $1$ if $d$ is odd.

Construction. Suppose $d=2p$. Take the curve $F=(z_1^2+z_2^2+z_3^2)^p=0$. It doesn't have real points at all. Taking a small perturbation $F'$ of the polynomial $F$ we get a smooth curve $F'=0$ also disjoint from the real plane.

Suppose $d=2p+1$. Take $F=(z_1^2+z_2^2+z_3^2)^p(z_1+iz_2)$. Note, the curve $F=0$, even though singular, intersects the real plane transversely at one point $(0:0:1)$. So, after a small perturbation, we get a curve intersecting the real plane in one point.

Lower bound. Let us now prove that if $d=2p+1$, there is always at least one point of intersection of the curve with the real plane. It is enough to prove this for a generic curve. So suppose $F=0$ is such a curve. Let $\overline F$ be the conjugated polynomial. Then since $F$ is generic, the curves $F=0$ and $\overline F=0$ intersect in $(2p+1)^2$ distinct points. Consider the action of conjugation on $\mathbb CP^2$ on this set. It is an involution, so it should have a fixed point since $(2p+1)^2$ is odd. Such a fixed point lies on the real plane.

Source Link
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

It looks like the lower bound is $0$ if $d$ is even and $1$ if $d$ is odd.

Construction. Suppose $d=2p$. Take the curve $F=(z_1^2+z_2^2+z_3^2)^p=0$. It doesn't have real points at all. Taking a small perturbation $F'$ of the polynomial $F$ we get a smooth curve $F'=0$ also disjoint from the real plane.

Suppose $d=2p+1$. Take $F=(z_1^2+z_2^2+z_3^2)^p(z_1+iz_2)$. Note, the curve $F=0$, even though singular, intersects the real plane transversely at one point $(0:0:1)$. So, after a small perturbation, we get a curve intersecting the real plane in one point.

Lower bound. Let us now prove that if $d=2p+1$, there is always at least one point of intersection of the curve with the real plane. It is enough to prove this for a generic curve. So suppose $F=0$ is such a curve. Let $\overline F$ be the conjugated polynomial. Then since $F$ is generic, the curves $F=0$ and $\overline F=0$ intersect in $(2p+1)^2$ generic points. Consider the action of conjugation on $\mathbb CP^2$ on this set. It is an involution, so it should have a fixed point since $(2p+1)^2$ is odd. Such a fixed point lies on the real plane.