5
$\begingroup$

A quadratic form is a polynomial $p(x_1,\dots,x_n)$ of the form $ p(x_1,\dots,x_n)=\sum_{i \leq j}a_{ij}x_ix_j. $ For example, $p_1(x,y,z,w)=x^2+y^2+z^2+w^2$ and $3x^2-5y^2$ are quadratic forms. I'm not sure this is relevant here, but for any such $p$ there is a symmetric matrix $A$ such that $p(\vec x)= (\vec x)^T A(\vec x)$, where we think of $\vec x$ as a column vector.

$p$ is positive definite iff $p(\vec x)>0$ whenever $\vec x\ne 0$.

The form is integer valued iff $p(\vec a)\in{\mathbb Z}$ whenever $\vec a\in {\mathbb Z}^n$.

For short, let's say "form" instead of "positive definite integer valued quadratic form". A form is universal iff it represents every positive integer, i.e., for all $m>0$ there is $\vec a\in{\mathbb Z}^n$ with $p(\vec a)=m$. For example, $p_1$ above is universal.

I read that no form in 3 or fewer variables is universal, and I was hoping for a proof (or at least a reference if the proof is too long/convoluted for it to be written here). I was also wondering whether the requirement of positive-definiteness is relevant here, and whether this is only for forms $p$ where the matrix $A$ above has integer entries.

  • 0
    @Qiaochu, user63$1$2: Thanks, I should have noticed this. @Hans: You are right, I edited the title.2011-05-18

1 Answers 1

4

John Conway gives a proof (that no form in 3 or fewer variables is universal) in 2 paragraphs on page 142 of his book, The Sensual Quadratic Form. But the two paragraphs depend on $p$-adic squareclasses and other bits of theory developed elsewhere in the book.

  • 0
    Thanks! I had heard of the book years ago, it is time I read it.2011-05-18