General SectionDiagonal odd-regular ternary quadratic forms☆
Introduction
In this paper, a quadratic form always refers to a positive definite (non-classic) integral quadratic form that is primitive in the sense that the coefficients of the quadratic form are coprime, that is, In terminology introduced by Dickson in 1927 [1], a quadratic form f is called regular if it represents every integer which is represented by its genus. Jones [5] showed that there are exactly 102 diagonal regular ternary quadratic forms in his unpublished thesis (cf. [6]). Watson proved that there are only finitely many equivalence classes of regular ternary quadratic forms in his thesis [20]. Jagy, Kaplansky and Schiemann [4] succeeded Watson's study on regular quadratic forms and provide the list of 913 candidates of regular ternary quadratic forms. All but 22 of them are already proved to be regular at that time. Oh [15] proved the regularities of eight forms among remaining 22 candidates. A conditional proof for the remaining 14 candidates under the Generalized Riemann Hypothesis was given by Lemke Oliver [13].
For a positive integer d and a nonnegative integer a, define a set In [16], the notion of -regularity is introduced. A positive definite integral quadratic form f is called -regular if the following two conditions hold;
- (i)
f represents every integer in the set which is represented by its genus;
- (ii)
the genus of f represents at least one integer in .
Kaplansky [9] showed that there are at most 23 ternary quadratic forms that represent all odd positive integers. He proved that 19 of those forms represent all odd positive integers. Jagy [3] dealt with one candidate. The remaining three candidates are Rouse [19] proved that, under the assumption of Generalized Riemann Hypothesis, each of these three forms represents all odd positive integers. There are three diagonal ternary quadratic forms representing all odd positive integers which are and by definition, all of these forms are odd-regular. Note that the above three forms are regular and thus contained in the list of 102 diagonal regular ternary quadratic forms given in [5] (cf. [6]).
In this article, we show that there are at most 147 diagonal odd-regular ternary quadratic forms and prove the regularities of all but six candidates. Since all diagonal regular ternary quadratic forms are odd-regular, we actually show that there are at most 45 diagonal odd-regular ternary quadratic forms which are not regular and prove the odd-regularities of 39 forms. To bound the discriminant of a diagonal odd-regular ternary quadratic forms, we compute some quantities on the representation of primes in an arithmetic progression by a binary quadratic form.
In 1840, Dirichlet conjectured that any binary quadratic form representing an integer in a given arithmetic progression represents infinitely many primes in that arithmetic progression. The conjecture was proved by Meyer [14]. Later in 2003, Halter-Koch [2, Proposition 1] showed that if a binary quadratic form represents an integer in a given arithmetic progression, then the set of primes in the arithmetic progression represented by the binary quadratic form has positive Dirichlet density.
For the remainder of the paper, we adapt the geometric language of quadratic spaces and lattices, generally following [12] and [18]. Let R be the ring of rational integers or the ring of p-adic integers for a prime p and let F be the field of fractions of R. An R-lattice is a finitely generated R-submodule of a quadratic space over F. We let be the symmetric bilinear form associated to the quadratic map Q so that for every . For a -lattice , the matrix presentation of L is the matrix and the corresponding quadratic form is defined as The determinant of the matrix is called the discriminant of L and will be denoted by dL. If L admits an orthogonal basis , then we simply write For an integer a and a -lattice L, we write if a is represented by L and otherwise. The set of all nonnegative integers represented by L will be denoted by . The scale ideal and norm ideal of L is denoted by and , respectively. Throughout the paper, we always assume that every -lattice is positive definite and primitive in the sense that . So the scale ideal is or . We denote by the genus of L. The number of isometry classes in is called the class number of L and denoted by . In this article, we abuse the notation when we explicitly write down the isometry classes in . For example, we just write when the class number of L is two and the genus mate of L is M. We write when a is represented by the genus of L. For an odd prime p, we denote by a non-square unit in . Any unexplained notations and terminologies can be found in [12] or [18].
Section snippets
Stability
For a positive integer m and a -lattice L, let Then is a sublattice of L and it is called Watson transformation of L modulo m. We denote by the primitive -lattice obtained from by scaling the quadratic space by a suitable rational number.
Lemma 2.1 Let p be an odd prime. Let L be a diagonal odd-regular ternary -lattice such that the unimodular component of is anisotropic. Then is also a diagonal odd-regular ternary -lattice.
Proof Let
Representations of odd primes in an arithmetic progression
For relatively prime positive integers u and v, we define a set to be the set of all odd primes in the arithmetic progression . Notice that v may be greater than u. A binary quadratic form M is called -universal if it represents every element of . For the following two lemmas, we let M be a positive definite primitive integral binary quadratic form and put so that . The product of all odd prime divisors of D will be denoted by .
Diagonal stable odd-regular ternary quadratic forms
In this section, we prove that there are exactly eight diagonal stable odd-regular ternary quadratic forms which are not regular. We fix some notations that will be used throughout the section. We denote by the k-th odd prime so that is the set of odd primes. Clearly, we have . Let be a diagonal stable odd-regular ternary quadratic form and let T be the set of all odd primes at which L is anisotropic. It is well known that T
Diagonal odd-regular ternary quadratic forms
In this section, we prove that there are at most 37 diagonal odd-regular ternary quadratic forms which are not stable and not regular. And we show the odd-regularities of 31 forms among 37 candidates. We first introduce the notion of missing primes. Let be a diagonal odd-regular ternary quadratic form and let be the stable odd-regular ternary quadratic form obtained from by taking transformations, if necessary, repeatedly. It might happen that there is an odd
References (20)
- et al.
Representation of primes in arithmetic progression by binary quadratic forms
J. Number Theory
(1993) - et al.
Regular ternary triangular forms
J. Number Theory
(2020) Ternary quadratic forms and congruences
Ann. Math.
(1927)Representation of prime powers in arithmetical progressions by binary quadratic forms
Les XXIIèmes Journées Arithmetiques
J. Théor. Nr. Bordx.
(2003)Five regular or nearly-regular ternary quadratic forms
Acta Arith.
(1996)- et al.
There are 913 regular ternary forms
Mathematika
(1997) Representation by positive ternary quadratic forms
(1928)- et al.
Regular and semi-regular positive ternary quadratic forms
Acta Math.
(1940) - et al.
Ternary universal sums of generalized polygonal numbers
Int. J. Number Theory
(2019) Ternary positive forms that represent all odd positive integers
Acta Arith.
(1995)
Cited by (0)
- ☆
This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (NRF-2019R1A6A3A01096245).