0
$\begingroup$

If I have a general d-dimension cubic form $C_0(x)$ with coefficients in $\mathbb{R}$ is it possible to find a cubic form $C_1(x)$ with coefficients in $\mathbb{R}$ such that for all $x\in\mathbb{R}^{d}$ the following are satisfied:

i) $C_1(x)=Q(x)L(x)$ where $Q(x)$ and $L(x)$ are quadratic and linear forms respectivly. ii)$\left|C_0(x)-C_1(x)\right|<\delta$ for some $\delta>0$.

Or is it possible that one can approximate $C_0(x)$ by $C_1(x)$ in some other way?

$\endgroup$
2
  • 1
    $\begingroup$ I think there's a quantifier problem--do you mean, given $C_0$, there exists $C_1$ and $\delta>0$ such that for all $x$...? $\endgroup$ Commented May 11, 2011 at 17:44
  • 8
    $\begingroup$ Cubics which factor are contained in a Zariski-closed subset inside the space of all cubics. So the general cubic will be "far away" from those that factor. For example if you stay on the hyperplane L(x) = 0, then you would expect C_0(x) to get very large as x goes to infinity but C_1(x) will always be 0. $\endgroup$
    – mdeland
    Commented May 11, 2011 at 17:56

2 Answers 2

0
$\begingroup$

I would expect not. The reason being that if this is anything like true (products of quadratic forms and and linear forms being dense in the ordinary "strong" or norm topology - presumably what you mean) then more would be true than that. So for a proof one could either write down an equation that the coefficients of such products would satisfy (making them not Zariski dense). Or say something about the products being the image of an algebraic morphism, hence a constructible set. If this is even Zariski dense, it is huge.

$\endgroup$
1
$\begingroup$

Let $x = (x_1, ... x_d)$ and change coordinates so that $L(x) = x_1$. Since $C_0$ is irreducible it is, in particular, not divisible by $x_1$. Then, as mdeland says, staying on the hyperplane $x_1 = 0$, we see that $C_0$ is some nonzero form in the other variables which can get arbitrarily large.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .