Representations by Certain Sextenary Quadratic Forms Whose Coefficients Are 1, 2, 3 and 6 ()
Received 9 December 2015; accepted 26 March 2016; published 29 March 2016

1. Introduction
The divisor function
is defined for a positive integer i by

The Dedekind eta function and the theta function are defined by

where

and an eta quotient of level N is defined by
(1)
It is important and interesting to determine explicit formulas of the representation number of positive definite quadratic forms.
Here we give the following Lemma, see ( [1] , Theorem 1.64), about the modularity of an eta quotient.
Lemma 1. An eta quotient of level N is a meromorphic modular form of weight
on
having rational coefficients with respect to q if
a) 
b) 
c) 
For
and a nonnegative integer n, we define

Clearly
and without loss of generality we can assume that 
Now, let’s consider sextenary quadratic forms of the form

where
,![]()
We write
to denote the number of representations of n by a sextenary quadratic form
. Its theta function is obviously
![]()
Formulae for
for the nine octonary quadratic forms (2i, 2j, 2k, 2l) = (8, 0, 0, 0), (2, 6, 0, 0), (4, 4, 0, 0), (6, 2, 0, 0), (2, 0, 6, 0), (4, 0, 4, 0), (6, 0, 2, 0), (4, 0, 0, 4), and (0, 4, 4, 0) appear in the literature, (cf. [2] - [12] ). Alaca and Williams have obtained some results on sextenary quadratic forms in terms of the functions
and
, see [13] [14] . There are more works on representation number of sextenary quadratic forms in [15] - [17] . Other methods for representation number have been used in (cf. [7] [10] [12] [18] [19] ). Here, we will classify all fourtuples
for which
is a modular form of weight 8 with level 24. Then we will obtain their representation numbers in terms of the coefficients of Eisenstein series and some eta quotients.
First, by the following Theorem, we characterize the facts that
![]()
are in ![]()
Theorem 1. Let
![]()
where,
,
be a sextenary quadratic form. Then its theta series is of the form
![]()
Moreover, it is in
if and only if
is given in the Table 1. Here we also see that
are either both even or both odd.
Proof. It follows from the Lemma 1, holomorphicity criterion in ( [20] Corollary 2.3, p. 37) and the fact
that
![]()
The condition
is a square of a rational number implies that either
are both even or both odd integers.
Now let,
![]()
![]()
![]()
![]()
the unique newform in ![]()
![]()
![]()
![]()
![]()
![]()
![]()
Theorem 2. The set
![]()
is a basis of
. Moreover, the unique newform in
is
, the unique newform in
is
, the two unique newforms in
are
![]()
![]()
the two unique newforms in
are
![]()
![]()
and the three unique newforms in
are
![]()
![]()
![]()
Proof.
is 32 dimensional,
is 24 dimensional, see ( [21] Chapter 3, p. 87 and Chapter 5, p. 197), and generated by
![]()
![]()
![]()
![]()
![]()
![]()
where
is the unique newform in
;
is the unique newform in
;
is the unique newform in
,
are the unique newforms in
;
are the unique newforms in
and
are the unique newforms in
.
As a consequence of this Theorem, we have obtained the following Corollary.We have used Magma for the calculations.
2. Corollary
The following representation numbers formulae are valid.
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()
![]()