3
votes
0answers
99 views

Curves on hypersurfaces generated by diagonal sums

This is related to an earlier question of mine ((Non-)Existence of curves of low degree on affine and projective varieties). It seems that the question is too difficult for specific surfaces, although ...
11
votes
3answers
289 views

(Non-)Existence of curves of low degree on affine and projective varieties

I am interested in papers that investigates the existence or non-existence of curves of low degree (relative to the degree of the ambient variety). The starting example is that of surfaces and ...
2
votes
1answer
130 views

Integral values of rational map

This question is related to this post on Math.MO. A theorem of B.Segre tells us that if there is one rational point on a non-singular cubic surface $X$ over $\mathbb{Q}$, then the surface is ...
4
votes
0answers
193 views

Counting Special Rational Points on Cubic Surfaces

A paper of Heath-Brown gives an heuristic argument for the density of rational points on two cubic surfaces: $x^3+y^3+z^3=kw^3,k=2,3$, say, the number of rational points of height less than $N$ on ...
6
votes
2answers
586 views

How many integer points does my favorite ellipse go through?

The equation of the ellipse interpolating the six lattice points $(0,0)$, $(1,0)$, $(0,1)$, $(d-1,d)$, $(d,d)$, $(d,d-1)$ in the plane for a fixed $d$ (at least 3) is $$ x^2+y^2 - ...
1
vote
0answers
190 views

Integral points on affine rational curves over $\mathbb{Q}$

Given a rational curve $C:(f_1(t),f_2(t))$, where $f_i(t),i=1,2$ are rational functions with rational coefficients. Question: Is there any criterion(proved or conjectural) for the existence of ...
3
votes
0answers
118 views

Effective Lang-Weil bounds for del Pezzo surfaces

Let $X$ be variety in $\mathbb{P}^N$ over $\mathbb{F}_q$ of dimension $n$ and degree $d$. By the Lang-Weil bounds $ |\# X(\mathbb{F}_q) - q^n| \le (d-1)(d-2)q^{n-1/2} + Cq^{n-1}$for a constant $C$ ...
1
vote
1answer
391 views

Is surface $x^2+z^2=2\cdot y^2$ something of a Möbius strip?

This question is naive. My association with Möbius strip comes from not being able to smoothly extract positive solutions of the diophantine equation $$x^2+z^2=2\cdot y^2$$ I got a parametrization ...
2
votes
0answers
218 views

Algorithm for solutions to quadratic forms over number fields

Are there any know (preferably implemented) algorithms to find solutions to quadratic forms over number fields (or global fields)? I am especially interested in the quaternary case. There exist some ...
11
votes
2answers
753 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 ...
4
votes
2answers
375 views

Are there Heronian triangles that can be decomposed into three smaller ones?

Is there anything known about the existence of Heronian triangles ABC (i.e. with rational side lengths and rational area) that can be decomposed into three Heronian triangles ABD, BCD, CAD? ...
41
votes
3answers
1k views

What is the geometry of an undecidable diophantine equation?

As an arithmetic algebraic geometer of the highest moral fiber, I am trained to look at Diophantine equations in terms of the geometry of the corresponding scheme. For instance, if the Diophantine ...
6
votes
1answer
252 views

Examples of finiteness of rational points for hypersurfaces in $\mathbb P^3_{\mathbb Q}$ of degree $>4$.

Given an homogeneous polynomial $F(X,Y,Z,T)\in \mathbb Q[X,Y,Z,T]$ of degree $>4$, the surface it defines is well-known to be of general type. Suppose, moreover, that this surface doesn't contain ...
8
votes
1answer
339 views

what is the maximum number of rational points of a curve of genus 2 over the rationals

Conjecturally, there exists an integer $n$ such that the number of rational points of a genus $2$ curve over $\mathbf{Q}$ is at most $n$. (This follows from the Bombieri-Lang conjecture.) We are ...
5
votes
5answers
915 views

Impossible Heronian Triangles (Ratio of 2 Sides)

There is no Heronian triangle (or simply consider triangles on an integer lattice which also have integer side lengths) for which one side is half the length of another side. What other "side-side ...
5
votes
1answer
196 views

Existence of a non-trivial zero (in the rational cyclotomic field) of a form

It is well known that if a field K is quasi-algebraically closed (i.e. all forms with coefficients in K of degree d in n > d variables have a non-trivial zero in K) then it has no central divison ...
4
votes
1answer
626 views

Is there a section disjoint from 0, 1 and infinity on the projective line

Let $K$ be a number field with ring of integers $O_K$. Is there a section of $\mathbf{P}^1_{O_K}$ over $O_K$ whose image is disjoint from $0$, $1$ and $\infty$? If $K=\mathbf{Q}$ this is not possible ...
14
votes
0answers
381 views

Torsion points of abelian varieties in the perfect closure of a function field

The following is a problem, which was recently brought to my attention by H. Esnault and A. Langer. Let $K$ be the function field of a smooth curve over the algebraic closure $k$ of the finite field ...
0
votes
1answer
318 views

Bilinear system of Diophantine Equations

$\forall i,j \in$ $\{$$1, \cdots,n$$\},$ let $x_{i},y_{i}$ be unknowns and $n_{ij} \in \mathbb{Z}$ with $i \le j$ be the knowns. Consider the following $\frac{n(n+1)}{2}$ with $n > 2$ ...
3
votes
2answers
348 views

Decision Procedure for Inequalities between Homogeneous Polynomials

Given two polynomials $p_1$ and $p2$ each of which is a multi-variate polynomial with positive integer coefficients, we want to decide if $p_1 \leq p_2$ over all integral values of the variables. The ...
11
votes
5answers
1k views

Analysis of a quadratic diophantine equation

Hi! This is my first post on Math Overflow. I have two equations: $a(3a-1) + b(3b-1) = c(3c-1)$ and $a(3a-1) - b(3b-1) = d(3d-1)$. I'm trying to find properties of $a$ and $b$ that lead to solutions, ...
1
vote
0answers
164 views

Checking local solubility of varieties at “bad” primes

Let $X$ be smooth variety defined over $\mathbb{Q}$. If we want to check that $X$ is locally soluble at a prime $p$, then it suffices to find a non-singular $\mathbb{F}_p$ point, which can be lifted ...
4
votes
1answer
949 views

Solving a Diophantine equation related to Algebraic Geometry, Steiner systems and $q$-binomials?

The short version of my question is: 1)For which positive integers $k, n$ is there a solution to the equation $$k(6k+1)=1+q+q^2+\cdots+q^n$$ with $q$ a prime power? 2) For which positive ...