The binary-quadratic-forms tag has no wiki summary.
5
votes
0answers
91 views
References for Gauss Composition using Galois Cohomology
Note: I have already posted this on stackexchange, but have not yet gotten a response.
What are some good references for the Gauss composition law on binary quadratic forms in terms of Galois ...
3
votes
1answer
187 views
Representing primes explicitly with binary quadratic forms
This is probably quite naïve, maybe even stackexchange-worthy.
Consider a quadratic form such as $Q(x,y) = 3x^2+y^2$. We know that, for primes $p \equiv 1 \pmod{3}$, there exist integer solutions to ...
5
votes
0answers
211 views
primes represented by indefinite quadratic forms
Let $Q$ be an indefinite binary quadratic form with discriminant $D$ and one class per genus (keep the example $x^2 - 2y^2$ in mind). If one asks about the set $P = \{ p : p \text{ prime and } p = ...
0
votes
2answers
208 views
Classification of these Binary Quadratic Forms
What are necessary and sufficient conditions on a binary quadratic form $ax^2+bxy+cy^2$, with integer coefficients and solution set in integers, to be equivalent to $x^2-y^2$, and separately to ...
2
votes
1answer
201 views
Question about Gauss composition law over PID.
Let $m$ be a square free integer, $\mathbb{Q}(\sqrt{m})$ a quadratic field extension of $\mathbb{Q}$, $\Delta$ is its discriminant and $O_{\mathbb{Q}(\sqrt{m})/\mathbb{Q}}$ its ring of integers. We ...
5
votes
1answer
455 views
Heegner Points and Binary Quadratic Forms
I've been trying to read Gross' paper on Heegner points on $X_0(N)$ and I am stuck on a few details. The definition he is working with is that a heegner points is a pair $y=(E,E')$, where $E$ and $E'$ ...
1
vote
2answers
260 views
Number of solutions of a binary quadratic form.
Given a binary quadratic form with negative discriminant, such as $3x^{2} + y^{2} = k$, is there an efficient algorithm to compute a value $k$ (or all the values) for which the form has exactly $n$ ...
7
votes
1answer
506 views
Representations by positive definite binary quadratic forms
It's known that the number of representations of an integer $k$ by sum of two squares is
$$
4\;\sum_{d|k}\left(\frac{-4}{d}\right)
$$
or
$$
4\sum_{d|k,\; d \textrm{ odd}} (-1)^{\frac{d-1}{2}}= ...
4
votes
1answer
494 views
What is the identity class of the set of equivalence classes of binary cubic forms of discriminant $D$ ?
Let $\Delta = \sigma + 4 m$ be the fundamental discriminant of a quadratic field, where $\sigma \in \{ 0, 1 \}$. The binary quadratic form $Q(x, y) = A x^2 + B x y + C y^2$ of discriminant $\Delta$ ...
5
votes
2answers
410 views
If the discriminant of a binary quadratic form has high valuation, is the form “almost a square”.
For a binary quadratic form $ax^2+bxy+cy^2$ over a field (characteristic not 2), the discriminant $b^2-4ac$ is 0 if and only if that form is the square of a linear form. I am curious about an ...
4
votes
2answers
802 views
Canonical form for a pair of quadratic forms
Could anyone recommend a reference to a canonical form for a pair of quadratic forms over R (not necessarily positively definite)? This is probably related to the Weierstrass elementary divisors (but ...
0
votes
1answer
322 views
Symmetric Power and Gauss quadratic form
Gauss in his book "Disquisitiones arithmeticae" considered only forms $ax^2+bxy+cy^2$ where $b$ is even, apparently because he had some notion of integral matrix in his mind even though he did not ...
12
votes
3answers
831 views
representability of consecutive integers by a binary quadratic form
I have two related questions on the representability of integers
by quadratic forms in two variables :
(1) Let $f: {\mathbb Z} \times {\mathbb Z} \to {\mathbb Z} $ be such a quadratic
form, i.e. we ...
14
votes
4answers
1k views
Binary Quadratic Forms in Characteristic 2
One of the reasons why the classical theory of binary quadratic forms
is hardly known anymore is that it is roughly equivalent to the theory
of ideals in quadratic orders. There is a well known ...
