All Questions
14 questions
8
votes
4
answers
870
views
A cubic equation, and integers of the form $a^2+32b^2$
I am trying to determine whether there are any integers $x,y,z$ such that
$$
1+2 x+x^2 y+4 y^2+2 z^2 = 0. \quad\quad\quad (1)
$$
It is clear that $x$ is odd. We can consider this equation as quadratic ...
0
votes
0
answers
145
views
Positive definite quadratic form algorithm
Let $f(x,y)= ax^2+bxy+cy^2$, or similarly denote it by $(a,b,c)$. This question is about the case $(1,0,p)$ where $p$ is prime. Suppose I have one solution $\bar{x}_1=(x_0,y_0)$ for $f(x,y)=m$ for ...
0
votes
1
answer
419
views
Integers representable as binary quadratic forms
It is known that odd prime $p$ can be represented as $p=x^2+y^2$ if and only if $p \equiv 1$ mod $4$, represented as $p=x^2+2y^2$ if and only if $p \equiv 1$ or $3$ mod $8$, represented as $p=x^2+3y^2$...
2
votes
0
answers
276
views
Correspondence between class group of binary quadratic forms and the narrow class group via Dirichlet composition: an elementary approach?
I have been trying to explore and learn about connections between the form class group and the ideal class group. To be on the same page, we define the form class group of a negative discriminant $D \...
6
votes
0
answers
211
views
some problems on sum of two squares
During my experiments with "Mathematica" I arrived to the following observations. My question is that are they interesting, known, solved or not. If they are known could you please give me a reference....
0
votes
1
answer
104
views
Elementary description to count of perfect squares - II
What can we say about growth of smallest gap $g(a)$ which is the smallest $|x-y|$ where $0\leq x,y\leq\Big\lfloor\frac a2\Big\rfloor$ and $\sqrt{x(a-x)},\sqrt{y(a-y)}\in\Bbb Z$?
Is $g(a)=1\iff a=b^2+...
0
votes
1
answer
133
views
Elementary description to count of perfect squares - I
Is there an elementary description of $$N(a)=\Big|\Big\{x\in\{0,1,\dots,\Big\lfloor\frac a2\Big\rfloor-1,\Big\lfloor\frac a2\Big\rfloor\Big\}:\sqrt{x(a-x)}\in\Bbb Z\}\Big|$$ and though likely non-...
3
votes
1
answer
344
views
Equivalence of binary quadratic forms over $\operatorname{GL}_2(\mathbb{Q}_p)$ or $\operatorname{GL}_2(\mathbb{Z}_p)$
Let $f(x,y) = ax^2 + bxy + cy^2$ be a binary quadratic form with integer coefficients and non-zero discriminant $\Delta(f)$. It is well-known that $f$ is $\operatorname{GL}_2(\mathbb{R})$-equivalent (...
1
vote
0
answers
101
views
Counting 'admissible' binary quadratic forms
Let $f(x,y) = f_2 x^2 + f_1 xy + f_0 y^2$ be a primitive, positive definite, and reduced binary quadratic form. Put $k_f$ for the fundamental discriminant associated to $f$. That is, $k_f$ is square-...
3
votes
0
answers
111
views
On covering with Idoneal integers
$d\in\Bbb N$ is an idoneal integer if $N\in\Bbb N_{>1}$ can be written uniquely as $N=x^2\pm dy^2$ then $N=2^mp^n$ where $p$ is odd prime and $n\geq0$ and $m\geq0$ holds.
Let the $65$ known ...
13
votes
2
answers
1k
views
Upper bound on answer for Pell equation
A user on MSE, @martin , asked https://math.stackexchange.com/questions/1611411/pell-equations-upper-bound about an upper bound for $x$ in $x^2 - p y^2 = 1,$ when $p$ is prime. I checked, it appears ...
5
votes
0
answers
376
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 = Q(...
2
votes
1
answer
339
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 ...
6
votes
2
answers
563
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 ...