A generalization of Watson transformation and representations of ternary quadratic forms

Abstract

Let $L$ be a positive definite (non-classic) ternary $\z$-lattice and let $p$ be a prime such that a $\frac 12\z_p$-modular component of $L_p$ is nonzero isotropic and $4\cdot dL$ is not divisible by $p$. For a nonnegative integer $m$, let ${\mathcal{G}}_{L,p}(m)$ be the genus with discriminant $p^m\cdot dL$ on the quadratic space $L^{p^m}\otimes \q$ such that for each lattice $T\in {\mathcal{G}}_{L,p}(m)$, a $\frac 12\z_p$-modular component of $T_p$ is nonzero isotropic, and $T_q$ is isometric to $(L^{p^m}{)}_q$ for any prime $q$ different from $p$. Let $r(n,M)$ be the number of representations of an integer $n$ by a $\z$-lattice $M$. In this article, we show that if $m\le 2$ and $n$ is divisible by $p$ only when $m=2$, then for any $T\in {\mathcal{G}}_{L,p}(m)$, $r(n,T)$ can be written as a linear summation of $r(pn,S_i)$ and $r(p^{3}n,S_i)$ for $S_i\in {\mathcal{G}}_{L,p}(m+1)$ with an extra term in some special case. We provide a simple criterion on when the extra term is necessary, and we compute the extra term explicitly. We also give a recursive relation to compute $r(n,T)$, for any $T\in {\mathcal{G}}_{L,p}(m)$, by using the number of representations of some integers by lattices in ${\mathcal{G}}_{L,p}(m+1)$ for an arbitrary integer $m$.

Cited by in corpus (1)

• The number of representations of squares by integral ternary quadratic forms (II)