3
$\begingroup$

Is there any general theory to find the numbers represented by ternary forms of the type

$q(x,y,z)=ax^2+bx^2-abz^2,$

when $a,b$ are prime?

By doing an internet search, the closest I found was the paper [1], that deals with quadratic forms when the discriminant is not a square.

For instance, consider the indefinite diagonal ternary form $$q(x,y,z)= 2 x^2 + 5 y^2 - 10 z^2$$

Based on numerical experience, I found that any number of the form 5t+2 is represented either by $q$ or $-q$, this is, for any t, there exist $x,y,z$ such that $q(x,y,z) = 5t+2$ or $q(x,y,z) = -5t-2$. Is there any general method that works?

[1] On Representation of Integers by Indefinite Ternary Quadratic Forms of Quadratfrei Forms of Quadrature Determinant, Arnold E. Ross, American Journal of Mathematics, Vol. 55, No. 1 (1933), pp. 293-302

(p.s.: a similar question, concerning only the above example was posted in stack exchange Mathematics)

$\endgroup$
2
  • $\begingroup$ math.stackexchange.com/questions/1569643/…. You'd better wait for 2-3 days before posting the general case here, maybe somebody answers on SE in a general way. $\endgroup$
    – Wolfgang
    Dec 11, 2015 at 10:44
  • $\begingroup$ Sorry, I was unsure in the beginning if this was a MO question or not, that is why. I can withdraw the post there. $\endgroup$
    – Campello
    Dec 11, 2015 at 11:55

1 Answer 1

6
$\begingroup$

For your form $$q(x,y,z)=ax^2+bx^2-abz^2,$$ everything is completely predictable by congruences as long as $\gcd(a,b) = 1$ and both $a,b$ are squarefree.

Oh, your original form $2 x^2 + 5 y^2 - 10 z^2$ integrally represents all numbers that are neither $4^k (8n+1)$ nor $25^k (5n \pm 1).$ For the negative of the form, switch to $4^k (8n-1),$ so between them there is no $2$-adic obstruction.

I found the most important bit in Watson's book, page 111. Watson defines his discriminant $d$ the same way I do except mine is positive, anyway take the Hessian matrix of second partial derivatives of the function, take its determinant, then divide by two. (for him also negate). For a diagonal ternary $U x^2 + V y^2 + W z^2$ we get $d = 4 UVW.$

For all ternary forms, a genus has class number $1$ whenever $d$ is not divisible by any $p^3$ for odd prime $p,$ or by $64.$

For diagonal form $U x^2 + V y^2 + W z^2,$ class number $1$ if no $p^3$ and $UVW$ is not divisible by $16.$

We get a stronger result if we are told the form is indefinite; an indefinite ternary genus has class number $1$ whenever $d$ is not divisible by any $p^3$ for odd prime $p,$ or by $512.$

For indefinite diagonal form $U x^2 + V y^2 + W z^2,$ class number $1$ if no $p^3$ and $UVW$ is not divisible by $128.$

Therefore the two examples on pages 252-253 of CASSELS illustrate that these bounds are sharp. From Jones and Pall (1939), positive $x^2 + y^2 + 16 z^2$ has another class in the genus, $ 2 x^2 + 2 y^2 + 5 z^2 + 2 y z + 2 z x $ which is spinor regular.

From Siegel about 1951, indefinite $x^2 - 2 y^2 + 64 z^2$ has another class in the genus, $ 4 x^2 - 2 y^2 + 17 z^2 + 4 z x $

Here is an example of mine, I am very proud of it. Of course, it may be published somewhere as well. Two indefinite forms in the same genus, where all the usual properties can be proved by elementary techniques, $$ x^2 + 100 y^2 - 5 z^2, $$ $$ 4 x^2 + 25 y^2 - 5 z^2. $$ We know these are in the same genus because the binary forms $x^2 + 100 y^2$ and $4 x^2 + 25 y^2$ are in the same genus of positive binaries. We know they are not equivalent because the second one does not integrally represent $1,$ or any $T^2,$ where all prime factors $p$ of $T$ satisfy $p \equiv \pm 1 \pmod 5.$ The second one does represent $q^2,$ with prime $q \equiv \pm 3 \pmod 5.$ The first one represents all squares, but does not primitively represent any $m^2,$ for any $m \equiv \pm 3 \pmod 5.$ These are the three basic properties of spinor exceptions and primitive spinor exceptions, see page 352 in Exceptional Integers for Genera of Integral Ternary Positive Definite Quadratic Forms, Rainer Schulze-Pillot, Duke Mathematical Journal, volume 102, (2000), number 2, pages 351-357. This kind of thing is the same for positive and indefinite ternaries, other things differ; we don't always get elementary proofs (factoring, representing useful primes by certain binary forms) of these simple properties, so examples are nice.

$\endgroup$
2
  • $\begingroup$ Thank you very much. This is a very complete answer. Is there an 'automatic' way of finding the progressions excluded by the form - supposing it is unique in it genus? $\endgroup$
    – Campello
    Dec 14, 2015 at 23:03
  • $\begingroup$ @Campello, yes, I suppose. For each odd prime dividing the discriminant, which is $4 a^2 b^2$ for you, check whether the form represents four things: a residue $\pmod p,$ a nonresidue, then $p$ times a residue and $p$ times a nonresidue. If this works, that prime does not matter at all. For the prime $2$ it would be all $1,3,5,7 \pmod 8$ and $2,6,10,14 \pmod {16}.$ Well, I sent you my 100-page writeup, that is a good start. You also need to be able to deal with anisotropy, which we see in the $4^k$ and $25^k$ terms in the obstructions for your $2,5,-10$ example. $\endgroup$
    – Will Jagy
    Dec 14, 2015 at 23:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.