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

**6**

votes

**0**answers

96 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

227 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

255 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

212 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

471 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

277 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

542 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

511 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

424 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

818 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

326 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

844 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

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