6
$\begingroup$

Let $f,g \in \mathbb{R}[x_0,\dots,x_k]$ be homogeneous polynomials and $X:=Z(f) \subset \mathbb{RP}^k$ be the projective variety defined by $f$. Assume that $X$ is smooth and has codimension $1$. Then it's a folklore statement that $X_\epsilon:=Z(f+\epsilon g)$ is diffeomorphic to $X$ for small $\epsilon$.

Question 1: How is this proved?

Question 2: What is an upper bound for $\epsilon$ such that all $X_\epsilon$ are diffeomorphic to $X$? (Possibly given in terms of $grad(f)$, obtained by the implicit function theorem in some way.)

$\endgroup$
3
  • $\begingroup$ Is it not a consequence of Ehresmann Lemma? $\endgroup$ Commented Jun 8, 2023 at 18:03
  • $\begingroup$ @FrancescoPolizzi I don't know. Can you give me a hint how to apply the Ehresmann Lemma to get the answer to my question 1? $\endgroup$
    – user505117
    Commented Jun 8, 2023 at 19:20
  • $\begingroup$ I added a proof of $(1)$ as an answer. $\endgroup$ Commented Jun 9, 2023 at 8:24

1 Answer 1

6
$\begingroup$

Let me prove $(1)$.

First of all, I guess that $f, \, g$ are homogeneous polynomials of the same degree $d$, otherwise $Z(f+ \varepsilon g)$ is not well-defined as a subvariety of $\mathbb{RP}^k$.

That said, note that the locus $S_d$ of singular hypersurfaces of degree $d$ in $\mathbb{RP}^k$ is closed in the locus of all hypersurfaces, because it is given by a finite number of polynomial equations (obtained imposing the vanishing of the $k+1$ partial derivatives).

Since, by assumption, $Z(f+\varepsilon g)$ is smooth for $\varepsilon =0$ and $S_d$ is closed, it follows that $Z(f + \varepsilon g)$ is smooth for $|\varepsilon|<t$, where $t$ is sufficiently small. A similar continuity argument shows that $Z(f + \varepsilon g)$ has still codimension $1$ for $t$ sufficiently small (and I guess that this "sufficiently small" can be made explicit in terms of grad$(f)$, also answering $(2)$).

Now, set $$\mathscr{X}=\{(x, \, t) \, | \, f(x)+tg(x)=0 \} \subset \mathbb{RP}^k \times (-t, \, t).$$

Then, projecting over the factor $(-t, \,t)$ we have a surjective smooth submersion $F \colon \mathscr{X} \to (-t, \, t)$, whose (compact) fibre $X_{\varepsilon}=F^{-1}(\varepsilon)$ is precisely $Z(f + \varepsilon g)$.

By Ehresmann Lemma, it follows that $F$ is a locally trivial fibration and so all its fibres are diffeomorphic.

$\endgroup$
1
  • $\begingroup$ Does this result hold for non necessarily homogenous polynomials? $\endgroup$
    – user82261
    Commented Oct 11 at 16:30

You must log in to answer this question.