# Tag Info

Accepted

### reference for: no finite set of positive (integer) binary quadratic forms represents all primes

This is indeed correct; I don't know a reference, but here's a proof. Let ${\mathcal D}$ be a finite set of $K$ negative fundamental discriminants. We want to show that the set of primes not ...
• 43.3k
Accepted

### Is the diophantine equation $3x^2+1=py^2$ always solvable for each prime $p\equiv 13\pmod{24}$?

Updated on 2019/08/21: I prove Conjectures 1-3 below. I will use the usual terminology and notations for binary quadratic forms. In particular, I will use the first two pages of Pall: Discriminantal ...
• 99.2k
Accepted

### Infinite cyclic subgroups of $\text{SL}_2(\mathbb{Z})$

The maximal infinite cyclic subgroups are of the form you mentioned (to get all infinite cyclic subgroups you also need to include their finite index subgroups). This follows from Theorem 1.4 in ...
• 4,279
Accepted

### Primes of the form $x^2 + y^2 + 1$

Iwaniec (Acta Arith. 1972) showed that the number of such primes has the order $x/(\log x)^{3/2}$. His result applies more generally to translates of binary quadratic forms. One can also show that ...
• 43.3k

### $x^2+7y^2=2^n$ and sums of four squares

The Diophantine equation $x^2 + 7y^2 = 2^n$ is "trivial" in the sense that its solutions can be described in a very simple way (see boxed formula near the end for solutions in odd numbers ...
• 49.6k
Accepted

### Equidistribution of CM points in the principal genus

This is known, and follows from Theorem 2 in Harcos and Michel's paper The subconvexity problem for Rankin-Selberg $L$-functions and equidistribution of Heegner points. II (Invent. math., vol. 163, ...
• 13.7k

### Equidistribution of CM points in the principal genus

Vesselin Dimitrov gave a nice answer, but let me point out that for the OP's question one does not need the result of Harcos-Michel (2006). Instead, the original work of Duke (1988) or alternatively ...
• 99.2k
Accepted

### A conjecture for primes $p\equiv\pm1\pmod5$

Let us consider $\mathbb{Q}(\sqrt{5})$ as a subfield of $\mathbb{R}$. Let us also consider the positive fundamental unit $\epsilon:=(1+\sqrt{5})/2$, whose square generates the group of totally ...
• 99.2k
Accepted

### The mean value of $y \log{y}$ over the ordinates of the CM points

Let $g : \Gamma \backslash \mathbb{H} \to \mathbb{C}$ be any bounded continuous function. Duke's theorem states that \[\frac{1}{h(D)} \sum_{A \in \mathrm{Cl}_K} g(z_A) = \frac{1}{\mathrm{vol}(\Gamma \...
• 8,179

### Equivalence of binary quadratic forms over $\operatorname{GL}_2(\mathbb{Q}_p)$ or $\operatorname{GL}_2(\mathbb{Z}_p)$

The number of classes of (regular) binary quadratic forms over $\mathbb{Q}_p$ equals $7$ when $p\neq 2$, and it equals $15$ if $p=2$. See Section IV.2.3 of Serre: A course in arithmetic. The number ...
• 99.2k
Accepted

### Representation of integers by principal binary quadratic forms

There are precisely two such proper divisors of $k$, and their product equals $-k$. This result is essentially due to Gauss, see Theorem 1 in Pall: Discriminantal divisors of binary quadratic forms, J....
• 99.2k
Accepted

### Representation of two related integers by the same binary quadratic form

This question can be answered by general theory, at least when $\Delta$ is a fundamental discriminant (so it's not a square times a smaller discriminant). Assuming this, the general procedure for ...
• 19.4k
Accepted

### On binary quadratic forms which are not proper subforms of another binary quadratic form

Yes. It is about equivalence over $SL_2 \mathbb Z.$ Your form $f$ (primitively) represents some value not divisible by the fixed prime $p.$ Indeed, from original coefficients $\langle a,b,c \rangle$ ...
• 25.4k

### asymptotics of numbers represented by certain indefinite binary quadratic forms

This follows from Bernays' generalization of Landau's theorem, the original reference is this: P. Bernays, Uber die Darstellung von positiven, ganzen Zahlen durch die primitiven, binaren ...
• 25.5k

### The mean value of $y \log{y}$ over the ordinates of the CM points

Can we do this by reducing it to a sum over ideals? By Duke's theorem, we can easily deal with the low $y$ terms. Thus we can adjust the boundary condition to $-a < b \leq a < \sqrt{- D /3 }$. ...
• 137k
Accepted

### A class number estimate

This is from Buell, Binary Quadratic Forms, pages 109-119. Note that $h(-16) = h(-4) = 1.$ When $p$ is an odd prime, we use the Legndre symbol in $$h(-4p^2) = \frac{p - (-1|p)}{2}$$ After that, ...
• 25.4k
Accepted

• 1,970
Accepted

### Ray class groups through binary quadratic forms

I guess that the answer is no. The binary forms with discriminant $\Delta \cdot f^2$ describe ring class fields modulo $f$ (see Cox's book), so by taking the limit as $f \to \infty$ something like ...
• 32.2k

### On the notion of primary representation of a natural number by a quadratic form

I'm going to take a more algebraic number theoretic approach to this question. The solutions to $x^2-dy^2=k$ are the integers of norm $k$ in the number field $\mathbb{Z}[\sqrt(d)]$ if $d$ is a ...
• 2,419

Accepted

• 12.8k