The binary-quadratic-forms tag has no wiki summary.

**0**

votes

**0**answers

47 views

### Does the Diophantine equation $(x^2+ay^2)(u^2+bv^2) = p^2+cq^2$ admit a complete solution?

In this MSE question/thread, I have been discussing the equation
$$
(x^2+ay^2)(u^2+bv^2) = p^2+cq^2, \tag{$\star$}
$$
where $x,a,y,u,b,v,p,c,q$ are integers. I posed a conjecture which turned out to ...

**6**

votes

**0**answers

97 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

**1**answer

200 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

**0**answers

233 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

**2**answers

264 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

**1**answer

216 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

**1**answer

476 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

**2**answers

282 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

**1**answer

551 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

**1**answer

515 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

**2**answers

427 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

**2**answers

823 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

**1**answer

328 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

**3**answers

854 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

**4**answers

2k 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 ...