[Math] n approach to understanding solution counts to quadratic forms that doesn’t involve modular forms

modular-formsnt.number-theoryquadratic-forms

Given a quadratic form Q in k variables, there is an associated theta series $$\theta_Q(z) = \sum_{x\in \mathbb{Z}^k}q^{Q(x)}$$ where $q = e^{2\pi i z}$ which is a modular form of weight $k/2$. Thus the coefficient on $q^n$ counts the number of solutions in $\mathbb{Z}^k$ to $Q(x) = n$; denote this quantity $r_Q(n)$. The level of these modular forms is related to the level of their corresponding quadratic forms. Since these modular forms live inside finite-dimensional vector spaces, one question to ask is whether there are any linear relationships among them. At least among the ternary forms for which I've looked at this computationally, there often is a great deal of linear dependence among forms of this type that live in the same space, and so there are a lot of linear relationships among the $r_Q(n)$ for various $Q$.

My question is if there are "other reasons" (i.e. not related to modular considerations) to expect that the $r_Q(n)$ for various $Q$ should be related in this fashion. Is there a reason a priori to expect that these theta series should be heavily linearly-dependent on one another? Is there a more combinatorial approach (or an alternative number-theoretic approach) to counting solutions to quadratic forms that could suggest the form that these relationships might take? I'm asking because in the course of my computations with ternary forms I observed that twisting forms by quadratic characters always (at least for all the examples I computed) gave a form that was linearly dependent on untwisted forms that lived in the same space. Is there a reason to suspect why this should always be the case?

Best Answer

Hi There, It would help if you gave me some examples of actual positive ternary forms with specific linear dependencies. The main source of dependencies is the Siegel representation formula, which calculates the weighted average of representation numbers in terms of a product of ``local densities.'' In practice, what this means is that by restricting the target number n to some appropriate arithmetic progression and relating representations by two genera one may get an explicit linear dependence among representation counts. Very much in this spirit is the viewpoint of Jones, given for example in a 1999 paper by Ono and Soundararajan called "Integers Represented by Ternary Quadratic Forms" where they point out that the number of essentially distinct representations of an (eligible) number $N$ by $ x^2 + y^2 + 10 z^2$ is just $ h( -40 N) / 4 $ when $N$ and 10 are coprime. However, the main thing that would surprise me is linear dependence for all n among primitive forms. For instance, Schiemann showed that no two positive ternary forms (inequivalent) have the same theta series.

I'm not sure this facility allows chats back and forth, if you want to try emailing me in person get my address from http://www.ams.org/cml, and for that matter google me as "Will Jagy" in double quotes.

William C. Jagy

JULY: follow-up email sent. I posted something here, JSE felt it might be too revealing. I did not think so, but there is little harm in deleting it and sending you email instead.

Related Question