All Questions
14 questions
6
votes
1
answer
438
views
$y^3 = x^4 + x + 2$, and existence of rational points on rank 0 Picard curves
Do there exists rational numbers $x$ and $y$ such that
$$
y^3 = x^4 + x + 2 ?
$$
Context: There are a lot of publications about computing rational points on elliptic and hyperelliptic curves, and ...
- 7,182
48
votes
4
answers
4k
views
Fermat's last theorem over larger fields
Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite.
Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite?
Here $\...
- 11.3k
2
votes
0
answers
87
views
Complexity of finding solutions of trapdoored polynomial?
Related to this question Cryptography signature scheme based on hardness of finding points on varieties.
Working over $K=\mathbb{Q}[x_1,...,x_n,y_1,...y_m]$.
By abuse of notation, for polynomial $f$, ...
- 25.4k
2
votes
0
answers
96
views
Cryptography signature scheme based on hardness of finding points on varieties?
Related to this question Complexity of finding solutions of trapdoored polynomial.
I am trying to build signature scheme based on hardness
of finding points on varieties.
Let $K$ be field and $M=K[x_1,...
- 25.4k
16
votes
3
answers
1k
views
Number of solutions to polynomial congruences
Suppose I have $R$ homogeneous polynomials $F_1, ..., F_R$ with integer coefficients. Let $V$ be the affine variety defined by these polynomials over $\mathbb{C}$. I was wondering if some bound that ...
- 3,625
15
votes
2
answers
2k
views
sum of three cubes and parametric solutions
The first paragraph in the following link asserts that the equation $x^3+y^3+z^3=2$ has finite many parametric solutions over $\mathbb{Q}$, i.e., there are finite many polynomial triples $(x(t),y(t),z(...
- 3,337
13
votes
1
answer
760
views
Infinitely many integer solutions to $X^4+Y^4-18Z^4= -16$
We found infinitely many integer solutions to
$$X^4+Y^4-18Z^4= -16 \qquad (1)$$.
The interesting part in this diophantine equation is the sum of
the reciprocals of the degrees is $3/4 < 1$, which ...
- 25.4k
6
votes
0
answers
437
views
Are there infinitely many integer solutions to $a^4+b^4-c^4=N$?
Is there non-zero integer $N$ such that
$$ a^4+b^4-c^4=N \qquad (1)$$
has infinitely many integer solutions $(a,b,c)$ with $a,b \ne \pm c$?
(1) is a surface, so possible approach is to find genus 0 ...
- 25.4k
5
votes
0
answers
215
views
Integer points of rational function in 2 variables
Is there an algorithm that, given polynomials $P(x)$ and $Q(y)$ with integer coefficients, decides whether there exists integers $x$ and $y$ such that $\frac{P(x)}{Q(y)}$ is an integer?
This is a ...
- 7,182
4
votes
1
answer
579
views
Find all rational solutions of $x^2(x+1)(x^2+1)(x-1)=2(y+1)(y-1)$
Find all rational solutions of
$$x^2(x+1)(x^2+1)(x-1)=2(y+1)(y-1).$$
Clearly the following six solutions hold:
$$(x,y)=(1,1),(-1,-1),(-1,1),(1,-1),(0,1),(0,-1)$$
But how to find all rational ...
- 4,280
1
vote
0
answers
98
views
Hardness of solving $0=\sum_{i=1}^k \operatorname{linear}_i(x_1,\ldots,x_n)^D$ over the rationals
This is related to cryptography and this question
and another question.
In short, we are asking about decomposing multivariate polynomial
as sum of perfect powers of linear polynomials.
Working over $\...
- 25.4k
1
vote
0
answers
152
views
How difficult is to find rational points on these genus 3 curves:
How difficult is to find all rational points on these genus 3 curves:
$$
(a) \quad \quad x^3 + y^3 x +y^2 - y = 0
$$
$$
(b) \quad \quad x^4 - y^3 + x y + x = 0
$$
Short motivation. Consider the ...
- 7,182
1
vote
2
answers
349
views
Rational solutions to $P(x,y)=0$ for $P$ reducible over ${\mathbb C}$
There are facts in Mathematics that are so "obvious" and "well-known" that no-one includes a proper proof. An example is:
Theorem: If polynomial $P(x,y)$ with rational coefficients ...
- 7,182
0
votes
0
answers
96
views
Elementary constraints for the solutions of $z^{n-2}y(y+z)=x^n$?
Related to FLT and this question.
For natural $n > 4 $ define the curve $C_n : z^{n-2}y(y+z)=x^n$.
$C_n$ has the trivial points with $x=0$ for all $n$.
The answer in the linked question shows ...
- 25.4k